title: A study and design of localization system for mobile robot based on ROS

abstract: In recent years, the mobile robot has been the concern of numerous researcher since they are widely applied in various fields of daily life. This paper applies a virtual robot operating system (ROS) platform to develop a localization system for robot motion. The proposed system is based on the combination of relative and absolute measurement methods, in which the data from the encoder, digital compass, and laser scanner sensor are fused using the extended Kalman filter (EKF). The system also successfully eliminates the errors caused by the environment as well as the error accumulation. The experimental results show good accuracy and stability of position and orientation which can be further applied for the robot working in the indoor environment.


title: Birkhoff-James Orthogonality in the Trace Norm, with Applications to Quantum Resource Theories

abstract: We develop numerous results that characterize when a complex Hermitian matrix is Birkhoff-James orthogonal, in the trace norm, to a (Hermitian) positive semidefinite matrix or set of positive semidefinite matrices. For example, we develop a simple-to-test criterion that determines which Hermitian matrices are Birkhoff-James orthogonal, in the trace norm, to the set of all positive semidefinite diagonal matrices. We then explore applications of our work in the theory of quantum resources. For example, we characterize exactly which quantum states have modified trace distance of coherence equal to 1 (the maximal possible value), and we establish a connection between the modified trace distance of 2-entanglement and the NPPT bound entanglement problem.


title: Photothermal properties of stable aggregates of gold nanorods

abstract: Aggregation of the nanoparticles is a natural phenomena due to various biological and physical parameters but these aggregates are highly unstable. If aggregates would have been stable then it might be useful for some biomedical applications. To study the optical properties and photothermal heat generation of stable aggregates of the metal nanopartilces, we present a forced synthesis of aggregates of small gold nanorods in a mixture of Dulbecco's Modified Eagle's medium (DMEM) and Bovine Serum Albumin (BSA). We synthesised hexadecyltrimethylammonium bromide (CTAB) coated gold nanorods and then prepared the stable aggregates to study the optical characteristics of these aggregates. Absorption spectra of aggregates show the redshift compared to the monodispersive gold nanorods and confirm that the shape and size of aggregate depend on the amount of BSA in DMEM as well as on the concentration of CTAB in the stock solution of the gold nanorods suspension. The higher concentration of the BSA in DMEM and lower concentration of CTAB of monodispersive gold nanorod suspension causes greater redshift. We tuned the well defined plasmonic absorption resonance peaks of the aggregates of gold nanorods up to the second biological therapeutic window. We studied the stability of the synthesised aggregates of gold nanorods for up to one week and found that the aggregates were stable for atleast one week. A photothermal study of these aggregates was also carried out using high power broadband near-infrared light source. Aggregates were also photothermally stable which warrants their repeated use for such applications. The photothermal conversion efficiency of the these stable gold nanorod aggregates were higher than its monodispersive form of the nanorods.


title: No True State-of-the-Art? OOD Detection Methods are Inconsistent across Datasets

abstract: Out-of-distribution detection is an important component of reliable ML systems. Prior literature has proposed various methods (e.g., MSP (Hendrycks & Gimpel, 2017), ODIN (Liang et al., 2018), Mahalanobis (Lee et al., 2018)), claiming they are state-of-the-art by showing they outperform previous methods on a selected set of in-distribution (ID) and out-of-distribution (OOD) datasets. In this work, we show that none of these methods are inherently better at OOD detection than others on a standardized set of 16 (ID, OOD) pairs. We give possible explanations for these inconsistencies with simple toy datasets where whether one method outperforms another depends on the structure of the ID and OOD datasets in question. Finally, we show that a method outperforming another on a certain (ID, OOD) pair may not do so in a low-data regime. In the low-data regime, we propose a distance-based method, Pairwise OOD detection (POD), which is based on Siamese networks and improves over Mahalanobis by sidestepping the expensive covariance estimation step. Our results suggest that the OOD detection problem may be too broad, and we should consider more specific structures for leverage.


title: Uniformly bounded multiplicities, polynomial identities and coisotropic actions

abstract: Let $G_{\mathbb{R}}$ be a real reductive Lie group and $G'_{\mathbb{R}}$ a reductive subgroup of $G_{\mathbb{R}}$ such that $\mathfrak{g'}$ is algebraic in $\mathfrak{g}$. In this paper, we consider restrictions of irreducible representations of $G_{\mathbb{R}}$ to $G'_{\mathbb{R}}$ and induced representations of irreducible representations of $G'_{\mathbb{R}}$ to $G_{\mathbb{R}}$. Our main concern is when such a representation has uniformly bounded multiplicities, i.e. the multiplicities in the representation are (essentially) bounded. We give characterizations of the uniform boundedness by polynomial identities and coisotropic actions. For the restriction of (cohomologically) parabolically induced representations, we find a sufficient condition for the uniform boundedness by spherical actions and some fiber condition. This result gives an affirmative answer to a conjecture by T. Kobayashi. Our results can be applied to $(\mathfrak{g}, K)$-modules, Casselman--Wallach representations, unitary representations and objects in the BGG category $\mathcal{O}$. We also treat with an upper bound of cohomological multiplicities.


title: Family of $\mathscr{D}$-modules and representations with a boundedness property

abstract: In the representation theory of real reductive Lie groups, many objects have finiteness properties. For example, the lengths of Verma modules and principal series representations are finite, and more precisely, they are bounded. In this paper, we introduce a notion of uniformly bounded families of holonomic $\mathscr{D}$-modules to explain and find such boundedness properties. A uniform bounded family has good properties. For instance, the lengths of modules in the family are bounded and the uniform boundedness is preserved by direct images and inverse images. By the Beilinson--Bernstein correspondence, we can deduce several boundedness results about the representation theory of complex reductive Lie algebras from corresponding results of uniformly bounded families of $\mathscr{D}$-modules. In this paper, we concentrate on proving fundamental properties of uniformly bounded families, and preparing abstract results for applications to the branching problem and harmonic analysis.


title: Defects in ZIF-8 crystallization and their impact on mechanical properties

abstract: The growth process of metal-organic frameworks (MOFs) defines their properties for functional applications. However, it is very plausible that defects may occur during the crystallization of even seemingly perfect MOFs, such as ZIF-8, and yet, direct probing of such structural defects has been challenging due to the lack of techniques to locally examine individual nanocrystals. Now, we directly study local defects - such as missing linkers or metal vacancies - in ZIF-8 nano- and microcrystals with near-field infrared nanospectroscopy combined with density function theory calculations. We have tracked the chemical changes during crystallization and found that structural defects like zinc-rich regions gradually disappear with the ripening of the crystals, while missing linker defects prevail. The resulting open metal sites reduce the Young's modulus, as measured with tip force microscopy and supported by theoretical modelling, but also open the door for defect engineering to tune the adsorption and catalytic performance of ZIF-8.


title: CoG: a Two-View Co-training Framework for Defending Adversarial Attacks on Graph

abstract: Graph neural networks exhibit remarkable performance in graph data analysis. However, the robustness of GNN models remains a challenge. As a result, they are not reliable enough to be deployed in critical applications. Recent studies demonstrate that GNNs could be easily fooled with adversarial perturbations, especially structural perturbations. Such vulnerability is attributed to the excessive dependence on the structure information to make predictions. To achieve better robustness, it is desirable to build the prediction of GNNs with more comprehensive features. Graph data, in most cases, has two views of information, namely structure information and feature information. In this paper, we propose CoG, a simple yet effective co-training framework to combine these two views for the purpose of robustness. CoG trains sub-models from the feature view and the structure view independently and allows them to distill knowledge from each other by adding their most confident unlabeled data into the training set. The orthogonality of these two views diversifies the sub-models, thus enhancing the robustness of their ensemble. We evaluate our framework on three popular datasets, and results show that CoG significantly improves the robustness of graph models against adversarial attacks without sacrificing their performance on clean data. We also show that CoG still achieves good robustness when both node features and graph structures are perturbed.


title: Parallel iterative methods for variational integration applied to navigation problems

abstract: Discrete variational methods have shown an excellent performance in numerical simulations of different mechanical systems. In this paper, we introduce an iterative method for discrete variational methods appropriate for boundary value problems. More concretely, we explore a parallelization strategy that leverages the power of multicore CPUs and GPUs (graphics cards). We study this parallel method for first-order and second-order Lagrangians and we illustrate its excellent behavior in some interesting applications, namely Zermelo's navigation problem, a fuel-optimal navigation problem, and an interpolation problem.


title: Local limit theorems for inhomogeneous Markov chains

abstract: We prove the Local Limit Theorems for bounded additive functionals of uniformly elliptic inhomogeneous Markov arrays. As an application we obtain the precise asymptotics in the large deviation regime for bounded additive functionals of uniformly elliptic Markov chains. The proofs rely on new reduction theorems for Markov arrays.


title: Alternative Sample Mass Measurement Technique for OSIRIS-REX Sample Collection Phase

abstract: The Origins, Spectral Interpretation, Resource Identification, and Security-Regolith Explorer (OSIRIS-REx) spacecraft is the third NASA New Frontiers Program mission and arrived at the near-Earth asteroid (101955) Bennu in December 2018. Following completion of sample collection in October 2020, otherwise known as Touch-And-Go (TAG), the OSIRIS-REx spacecraft was set to verify its collected sample mass requirement (> 60g of material). The thoroughly tested Sample Mass Measurement (SMM) method was to be used for this verification. Imaging of the Touch-And-Go Sample Acquisition Mechanism (TAGSAM) was received shortly following the TAG event, intended to ensure mechanism health prior to moving forward with the SMM activity. These images displayed sample leakage, prompting discussion for alternative paths forward. Risk of continued sample loss and a desire to retain as much material as possible lead the team to pursue an accelerated sample stow schedule and forgo the planned SMM activity. Once the sample was safely stowed in the return capsule an alternative SMM method was proposed. The alternative SMM technique utilized reaction wheel momentum data from identical TAGSAM movements prior to and following the TAG event to estimate changes in spacecraft moment of inertia. Conservation of momentum was used to isolate the sample mass from this inertia change. Using this new method, the spacecraft team was able to successfully estimate collected sample mass to be 250.37 +/- 101 g.


title: Dualities in quantum integrable many-body systems and integrable probabilities -- I

abstract: In this study we map the dualities observed in the framework of integrable probabilities into the dualities familiar in a realm of integrable many-body systems. The dualities between the pairs of stochastic processes involve one representative from Macdonald-Schur family, while the second representative is from stochastic higher spin six-vertex model of TASEP family. We argue that these dualities are counterparts and generalizations of the familiar quantum-quantum (QQ) dualities between pairs of integrable systems. One integrable system from QQ dual pair belongs to the family of inhomogeneous XXZ spin chains, while the second to the Calogero-Moser-Ruijsenaars-Schneider (CM-RS) family. The wave functions of the Hamiltonian system from CM-RS family are known to be related to solutions to (q)KZ equations at the inhomogeneous spin chain side. When the wave function gets substituted by the measure, bilinear in wave functions, a similar correspondence holds true. As an example, we have elaborated in some details a new duality between the discrete-time inhomogeneous multispecies TASEP model on the circle and the quantum Goldfish model from the RS family. We present the precise map of the inhomogeneous multispecies TASEP and 5-vertex model to the trigonometric and rational Goldfish models respectively, where the TASEP local jump rates get identified as the coordinates in the Goldfish model. Some comments concerning the relation of dualities in the stochastic processes with the dualities in SUSY gauge models with surface operators included are made.

categories: math-ph cond-mat.stat-mech hep-th math.MP math.PR nlin.SI


title: The bi-modal $^7$Li distribution of the Milky Way's thin-disk dwarf stars: The role of Galactic-scale events and stellar evolution

abstract: The lithium abundance, A(Li), in stellar atmospheres suffers from various enhancement and depletion processes during the star's lifetime. While several studies have demonstrated that these processes are linked to the physics of stellar formation and evolution, the role that Galactic-scale events play in the galactic A(Li) evolution is not yet well understood. We aim to demonstrate that the observed A(Li) bi-modal distribution, in particular in the FGK-dwarf population, is not a statistical artefact and that the two populations connect through a region with a low number of stars. We also want to investigate the role that Galactic-scale events play in shaping the A(Li) distribution of stars in the thin disk. We use statistical techniques along with a Galactic chemical evolution model for A(Li) that includes most of the well-known $^7$Li production and depletion channels. We confirm that the FGK main-sequence stars belonging to the Milky Way's thin disk present a bi-modal A(Li) distribution. We demonstrate that this bi-modality can be generated by a particular Milky Way star formation history profile combined with the stellar evolution's $^7$Li depletion mechanisms. We show that A(Li) evolution can be used as an additional proxy for the star formation history of our Galaxy.


title: On certain representations of pricing functionals

abstract: We revisit two classical problems: the determination of the law of the underlying with respect to a risk-neutral measure on the basis of option prices, and the pricing of options with convex payoffs in terms of prices of call options with the same maturity (all options are European). The formulation of both problems is expressed in a language loosely inspired by the theory of inverse problems, and several proofs of the corresponding solutions are provided that do not rely on any special assumptions on the law of the underlying and that may, in some cases, extend results currently available in the literature.


title: SphereFace Revived: Unifying Hyperspherical Face Recognition

abstract: This paper addresses the deep face recognition problem under an open-set protocol, where ideal face features are expected to have smaller maximal intra-class distance than minimal inter-class distance under a suitably chosen metric space. To this end, hyperspherical face recognition, as a promising line of research, has attracted increasing attention and gradually become a major focus in face recognition research. As one of the earliest works in hyperspherical face recognition, SphereFace explicitly proposed to learn face embeddings with large inter-class angular margin. However, SphereFace still suffers from severe training instability which limits its application in practice. In order to address this problem, we introduce a unified framework to understand large angular margin in hyperspherical face recognition. Under this framework, we extend the study of SphereFace and propose an improved variant with substantially better training stability -- SphereFace-R. Specifically, we propose two novel ways to implement the multiplicative margin, and study SphereFace-R under three different feature normalization schemes (no feature normalization, hard feature normalization and soft feature normalization). We also propose an implementation strategy -- "characteristic gradient detachment" -- to stabilize training. Extensive experiments on SphereFace-R show that it is consistently better than or competitive with state-of-the-art methods.


title: PQ-Transformer: Jointly Parsing 3D Objects and Layouts from Point Clouds

abstract: 3D scene understanding from point clouds plays a vital role for various robotic applications. Unfortunately, current state-of-the-art methods use separate neural networks for different tasks like object detection or room layout estimation. Such a scheme has two limitations: 1) Storing and running several networks for different tasks are expensive for typical robotic platforms. 2) The intrinsic structure of separate outputs are ignored and potentially violated. To this end, we propose the first transformer architecture that predicts 3D objects and layouts simultaneously, using point cloud inputs. Unlike existing methods that either estimate layout keypoints or edges, we directly parameterize room layout as a set of quads. As such, the proposed architecture is termed as P(oint)Q(uad)-Transformer. Along with the novel quad representation, we propose a tailored physical constraint loss function that discourages object-layout interference. The quantitative and qualitative evaluations on the public benchmark ScanNet show that the proposed PQ-Transformer succeeds to jointly parse 3D objects and layouts, running at a quasi-real-time (8.91 FPS) rate without efficiency-oriented optimization. Moreover, the new physical constraint loss can improve strong baselines, and the F1-score of the room layout is significantly promoted from 37.9% to 57.9%.


title: Quantum Entanglement and Axion Physics

abstract: The axion particle is the outcome of the proposed Peccei-Quinn mechanism for solving the strong CP problem. Axion is also a popular dark matter candidate. Thus there is an increased interest in establishing its existence. Axions couple to two photons and most experiments search for the transition of an axion into a photon, in the presence of a magnetic field. In our study we examine the coupling of the axion into a pair of entangled photons. The presence of a magnetic field changes the polarization correlations of the entagled photons, thus offering an unambiguous signature for axion existence


title: Modeling of A Realistic DC Source in A CVSR

abstract: Continuously Variable Series Reactor (CVSR) can adjust the total reactance in an ac circuit using the saturation characteristic of the ferromagnetic core, shared by an ac and a dc winding. The bias magnetic flux produced by the dc winding can regulate the equivalent ac inductance in order to control power flow, damp oscillations, or limit fault currents. Gyrator-Capacitor approach is used to model the interface between the magnetic and the electric circuits. Two different dc control source models are considered: the usual ideal dc source and a realistic dc source composed of a power electronics-based converter and an ac voltage source. This paper investigates CVSR's behaviour in terms of induced voltage across ac winding, flux densities (B) throughout the CVSR core, and power interchange with the dc control circuit during normal conditions in both cases.


title: MovieCuts: A New Dataset and Benchmark for Cut Type Recognition

abstract: Understanding movies and their structural patterns is a crucial task in decoding the craft of video editing. While previous works have developed tools for general analysis, such as detecting characters or recognizing cinematography properties at the shot level, less effort has been devoted to understanding the most basic video edit, the Cut. This paper introduces the Cut type recognition task, which requires modeling multi-modal information. To ignite research in this new task, we construct a large-scale dataset called MovieCuts, which contains 173,967 video clips labeled with ten cut types defined by professionals in the movie industry. We benchmark a set of audio-visual approaches, including some dealing with the problem's multi-modal nature. Our best model achieves 47.7% mAP, which suggests that the task is challenging and that attaining highly accurate Cut type recognition is an open research problem. Advances in automatic Cut-type recognition can unleash new experiences in the video editing industry, such as movie analysis for education, video re-editing, virtual cinematography, machine-assisted trailer generation, machine-assisted video editing, among others. Our data and code are publicly available: https://github.com/PardoAlejo/MovieCuts}{https://github.com/PardoAlejo/MovieCuts.


title: The Long Period of 3He-rich Solar Energetic Particles Measured by Solar Orbiter on 2020 November 17-23

abstract: We report observations of a relatively long period of 3He-rich solar energetic particles (SEPs) measured by Solar Orbiter. The period consists of several well-resolved ion injections. The high-resolution STEREO-A imaging observations reveal that the injections coincide with EUV jets/brightenings near the east limb, not far from the nominal magnetic connection of Solar Orbiter. The jets originated in two adjacent, large, and complex active regions as observed by the Solar Dynamics Observatory when the regions rotated to the Earth's view. It appears that the sustained ion injections were related to the complex configuration of the sunspot group and the long period of 3He-rich SEPs to the longitudinal extent covered by the group during the analyzed time period.


title: Entropy and Black Holes in the Very Early Universe

abstract: Model independent arguments following from the Covariant Entropy Principle imply that causal diamonds in the very early universe were entirely filled with a single equilibrated system with finite entropy. A universe where this condition persists forever has no localized excitations. Our own universe appears to be headed toward such a state. Within a few hundred times its current age it will approach a state where our local group of galaxies sit in empty de Sitter space. Eventually, the local group collapse into a black hole, which evaporates. Localized excitations in de Sitter space are low entropy constrained states of the vacuum ensemble. The origin of these constraints must be in the early universe: the apparent horizon must expand after some initial period, in a constrained state that is the origin of all localized excitations in the universe. We argue that in global FRW coordinates, this corresponds to slow roll inflation that ends in a dilute gas of tiny black holes, with mass determined by the inflationary scale. We then review arguments that these black holes can account for the Hot Big Bang, baryogenesis, a distinctive pattern of CMB fluctuations, and possibly primordial black hole dark matter consisting of larger black holes that survive until the matter dominated era. The more complicated question of whether these small black holes can evolve in a way that is consistent with all observational constraints requires computer simulations that have not yet been done.


title: Connected holonomy is lower semicontinuous

abstract: In this article, we show that the map assigning to a metric its restricted holonomy class (conjugacy class of the connected component of the holonomy representation) is lower semicontinuous on the space of $C^2$ metrics on any fixed manifold.


title: A Priority-Aware Replanning and Resequencing Framework for Coordination of Connected and Automated Vehicles

abstract: Deriving optimal control strategies for coordination of connected and automated vehicles (CAVs) often requires re-evaluating the strategies in order to respond to unexpected changes in the presence of disturbances and uncertainties. In this paper, we first extend a decentralized framework that we developed earlier for coordination of CAVs at a signal-free intersection to incorporate replanning. Then, we further enhance the framework by introducing a priority-aware resequencing mechanism which designates the order of decision making of CAVs based on theory from the job-shop scheduling problem. Our enhanced framework relaxes the first-come-first-serve decision order which has been used extensively in these problems. We illustrate the effectiveness of our proposed approach through numerical simulations.


title: Machine Learning for Naval Architecture, Ocean and Marine Engineering

abstract: Machine Learning (ML) based algorithms have found significant impact in many fields of engineering and sciences, where datasets are available from experiments and high fidelity numerical simulations. Those datasets are generally utilized in a machine learning model to extract information about the underlying physics and derive functional relationships mapping input variables to target quantities of interest. Commonplace machine learning algorithms utilized in Scientific Machine Learning (SciML) include neural networks, regression trees, random forests, support vector machines, etc. The focus of this article is to review the applications of ML in naval architecture, ocean, and marine engineering problems; and identify priority directions of research. We discuss the applications of machine learning algorithms for different problems such as wave height prediction, calculation of wind loads on ships, damage detection of offshore platforms, calculation of ship added resistance, and various other applications in coastal and marine environments. The details of the data sets including the source of data-sets utilized in the ML model development are included. The features used as the inputs to the ML models are presented in detail and finally, the methods employed in optimization of the ML models were also discussed. Based on this comprehensive analysis we point out future directions of research that may be fruitful for the application of ML to the ocean and marine engineering problems.


title: Boosting quantum key distribution via the end-to-end physical control

abstract: Quantum key distribution (QKD) is a cornerstone of the secure quantum encryption. Building on the quantum irreversibility, we develop a technique reborning the existing QKDs into protocols that are unrestricted in distance and have unprecedented high rates enhanced up to the standard protocols communication speeds. The core of our method is the continuous end-to-end physical control of information leaks in the quantum channel. Contrary to the existing long-distance QKD offerings, our technique does not require any trust nodes.


title: Relativistic spin dynamics conditioned by dark matter axions

abstract: The relativistic spin dynamics defined by the pseudoscalar field of dark matter axions is rigorously determined. The relativistic Hamiltonian in the Foldy-Wouthuysen representation is derived. It agrees with the previously obtained nonrelativistic Hamiltonians and the relativistic classical estimation of the axion wind effect. In the relativistic Hamiltonian, the biggest term describes the extraordinary (three orders of magnitude) enhancement of the axion wind effect in storage ring experiments as compared with experiments with immobile particles. This term defines the spin rotation about the longitudinal axis. The effects caused by the axion-induced oscillating EDM and the axion wind consist in the spin rotations about the different horizontal axes and phases of stimulating oscillations differ by $\pi/2$. Experiments in a search for dark matter axions has been discussed. The two experimental designs for axion search experiments in storage rings have been elaborated.


title: Observation of a symmetry-protected topological time crystal with superconducting qubits

abstract: We report the observation of a symmetry-protected topological time crystal, which is implemented with an array of programmable superconducting qubits. Unlike the time crystals reported in previous experiments, where spontaneous breaking of the discrete time translational symmetry occurs for local observables throughout the whole system, the topological time crystal observed in our experiment breaks the time translational symmetry only at the boundaries and has trivial dynamics in the bulk. More concretely, we observe robust long-lived temporal correlations and sub-harmonic temporal response for the edge spins up to 40 driving cycles. We demonstrate that the sub-harmonic response is independent of whether the initial states are random product states or symmetry-protected topological states, and experimentally map out the phase boundary between the time crystalline and thermal phases. Our work paves the way to exploring peculiar non-equilibrium phases of matter emerged from the interplay between topology and localization as well as periodic driving, with current noisy intermediate-scale quantum processors.

categories: quant-ph cond-mat.dis-nn cond-mat.stat-mech cond-mat.supr-con


title: Kernel PCA with the Nystr\"om method

abstract: The Nystr\"om method is one of the most popular techniques for improving the scalability of kernel methods. However, it has not yet been derived for kernel PCA in line with classical PCA. In this paper we derive kernel PCA with the Nystr\"om method, thereby providing one of the few available options to make kernel PCA scalable. We further study its statistical accuracy through a finite-sample confidence bound on the empirical reconstruction error compared to the full method. The behaviours of the method and bound are illustrated through computer experiments on multiple real-world datasets. As an application of the method we present kernel principal component regression with the Nystr\"om method, as an alternative to Nystr\"om kernel ridge regression for efficient regularized regression with kernels.


title: Transverse Instability of Rogue Waves

abstract: Rogue waves are abnormally large waves which appear unexpectedly and have attracted considerable attention, particularly in recent years. The one space, one time (1+1) nonlinear Schr\"odinger equation is often used to model rogue waves; it is an envelope description of plane waves and admits the so-called Pergerine and Kuznetov-Ma soliton solutions. However, in deep water waves and certain electromagnetic systems where there are two significant transverse dimensions, the 2+1 hyperbolic nonlinear Schrodinger equation is the appropriate wave envelope description. Here we show that these rogue wave solutions suffer from strong transverse instability at long and short frequencies. Moreover, the stability of the Peregrine soliton is found to coincide with that of the background plane wave. These results indicate that, when applicable, transverse dimensions must be taken into account when investigating rogue wave pheneomena.


title: A Joint Graph and Image Convolution Network for Automatic Brain Tumor Segmentation

abstract: We present a joint graph convolution-image convolution neural network as our submission to the Brain Tumor Segmentation (BraTS) 2021 challenge. We model each brain as a graph composed of distinct image regions, which is initially segmented by a graph neural network (GNN). Subsequently, the tumorous volume identified by the GNN is further refined by a simple (voxel) convolutional neural network (CNN), which produces the final segmentation. This approach captures both global brain feature interactions via the graphical representation and local image details through the use of convolutional filters. We find that the GNN component by itself can effectively identify and segment the brain tumors. The addition of the CNN further improves the median performance of the model by 2 percent across all metrics evaluated. On the validation set, our joint GNN-CNN model achieves mean Dice scores of 0.89, 0.81, 0.73 and mean Hausdorff distances (95th percentile) of 6.8, 12.6, 28.2mm on the whole tumor, core tumor, and enhancing tumor, respectively.


title: Data Analytics for Smart cities: Challenges and Promises

abstract: The explosion of advancements in artificial intelligence, sensor technologies, and wireless communication activates ubiquitous sensing through distributed sensors. These sensors are various domains of networks that lead us to smart systems in healthcare, transportation, environment, and other relevant branches/networks. Having collaborative interaction among the smart systems connects end-user devices to each other which enables achieving a new integrated entity called Smart Cities. The goal of this study is to provide a comprehensive survey of data analytics in smart cities. In this paper, we aim to focus on one of the smart cities important branches, namely Smart Mobility, and its positive ample impact on the smart cities decision-making process. Intelligent decision-making systems in smart mobility offer many advantages such as saving energy, relaying city traffic, and more importantly, reducing air pollution by offering real-time useful information and imperative knowledge. Making a decision in smart cities in time is challenging due to various and high dimensional factors and parameters, which are not frequently collected. In this paper, we first address current challenges in smart cities and provide an overview of potential solutions to these challenges. Then, we offer a framework of these solutions, called universal smart cities decision making, with three main sections of data capturing, data analysis, and decision making to optimize the smart mobility within smart cities. With this framework, we elaborate on fundamental concepts of big data, machine learning, and deep leaning algorithms that have been applied to smart cities and discuss the role of these algorithms in decision making for smart mobility in smart cities.


title: Record statistics of integrated random walks and the random acceleration process

abstract: We address the theory of records for integrated random walks with finite variance. The long-time continuum limit of these walks is a non-Markov process known as the random acceleration process or the integral of Brownian motion. In this limit, the renewal structure of the record process is the cornerstone for the analysis of its statistics. We thus obtain the analytical expressions of several characteristics of the process, notably the distribution of the total duration of record runs (sequences of consecutive records), which is the continuum analogue of the number of records of the integrated random walks. This result is universal, i.e., independent of the details of the parent distribution of the step lengths.


title: Automatic Componentwise Boosting: An Interpretable AutoML System

abstract: In practice, machine learning (ML) workflows require various different steps, from data preprocessing, missing value imputation, model selection, to model tuning as well as model evaluation. Many of these steps rely on human ML experts. AutoML - the field of automating these ML pipelines - tries to help practitioners to apply ML off-the-shelf without any expert knowledge. Most modern AutoML systems like auto-sklearn, H20-AutoML or TPOT aim for high predictive performance, thereby generating ensembles that consist almost exclusively of black-box models. This, in turn, makes the interpretation for the layperson more intricate and adds another layer of opacity for users. We propose an AutoML system that constructs an interpretable additive model that can be fitted using a highly scalable componentwise boosting algorithm. Our system provides tools for easy model interpretation such as visualizing partial effects and pairwise interactions, allows for a straightforward calculation of feature importance, and gives insights into the required model complexity to fit the given task. We introduce the general framework and outline its implementation autocompboost. To demonstrate the frameworks efficacy, we compare autocompboost to other existing systems based on the OpenML AutoML-Benchmark. Despite its restriction to an interpretable model space, our system is competitive in terms of predictive performance on most data sets while being more user-friendly and transparent.


title: Evolution of neutron star magnetic fields

abstract: Neutron stars are natural physical laboratories allowing us to study a plethora of phenomena in extreme conditions. In particular, these compact objects can have very strong magnetic fields with non-trivial origin and evolution. In many respects its magnetic field determines the appearance of a neutron star. Thus, understanding the field properties is important for interpretation of observational data. Complementing this, observations of diverse kinds of neutron stars enable us to probe parameters of electro-dynamical processes at scales unavailable in terrestrial laboratories. In this review we first briefly describe theoretical models of formation and evolution of magnetic field of neutron stars, paying special attention to field decay processes. Then we present important observational results related to field properties of different types of compact objects: magnetars, cooling neutron stars, radio pulsars, sources in binary systems. After that, we discuss which observations can shed light on obscure characteristics of neutron star magnetic fields and their behaviour. We end the review with a subjective list of open problems.


title: U-Net Convolutional Network for Recognition of Vessels and Materials in Chemistry Lab

abstract: Convolutional networks have been widely applied for computer vision system. Encouraged by these results, a U-Net convolutional network was applied to recognition of vessels and materials in chemistry lab using the recent Vector-LabPics dataset, which contains 2187 images of materials within mostly transparent vessels in a chemistry lab and other general settings, labeled with 13 classes. By optimizing hyperparameters including learning rates and learning rate decays, 87% accuracy in vessel recognition was achieved. In the case of relatively small training and test sets (relatively rare materials states, the number of training set samples less than 500 and the number of test set samples less than 100), a comprehensive improvement over 18% in IoU and 19% in accuracy for the best model were achieved. Further improvements may be achievable by incorporating improved convolutional network structure into our models.


title: Abundance of barium in the atmospheres of red giants in the Galactic globular cluster NGC 104 (47 Tuc)

abstract: Context. While most (if not all) Type I Galactic globular clusters (GGCs) are characterised by spreads in the abundances of light chemical elements (e.g. Li, N, O, Na, Mg, Al), it is not yet well established whether similar spreads may exist in s-process elements as well. Aims. We investigated the possible difference in Ba abundance between the primordial (1P) and polluted (2P) stars in the Galactic globular cluster (GGC) 47 Tuc (NGC 104). For this, we obtained homogeneous abundances of Fe, Na, and Ba in a sample of 261 red giant branch (RGB) stars which is the largest sample used for Na and Ba abundance analysis in any GGC so far. Methods. Abundances of Na and Ba were determined using archival GIRAFFE/VLT spectra and 1D non-local thermodynamic equilibrium (NLTE) abundance analysis methodology. Results. Contrary to the finding of Gratton et al. (2013), we did not detect any significant Ba-Na correlation or 2P-1P Ba abundance difference in the sample of 261 RGB stars in 47 Tuc. This corroborates the result of D'Orazi et al. (2010) who found no statistically significant Ba-Na correlation in 110 RGB stars in this GGC. The average barium-to-iron ratio obtained in the sample of 261 RGB stars, $\langle{\rm Ba/Fe}_{\rm 1D~NLTE}\rangle = -0.01\pm0.06$, agrees well with those determined in Galactic field stars at this metallicity and may therefore represent the abundance of primordial proto-cluster gas that has not been altered during the subsequent chemical evolution of the cluster.


title: On the Efficiency of Subclass Knowledge Distillation in Classification Tasks

abstract: This work introduces a novel knowledge distillation framework for classification tasks where information on existing subclasses is available and taken into consideration. In classification tasks with a small number of classes or binary detection (two classes) the amount of information transferred from the teacher to the student network is restricted, thus limiting the utility of knowledge distillation. Performance can be improved by leveraging information about possible subclasses within the available classes in the classification task. To that end, we propose the so-called Subclass Knowledge Distillation (SKD) framework, which is the process of transferring the subclasses' prediction knowledge from a large teacher model into a smaller student one. Through SKD, additional meaningful information which is not in the teacher's class logits but exists in subclasses (e.g., similarities inside classes) will be conveyed to the student and boost its performance. Mathematically, we measure how many extra information bits the teacher can provide for the student via SKD framework. The framework developed is evaluated in clinical application, namely colorectal polyp binary classification. In this application, clinician-provided annotations are used to define subclasses based on the annotation label's variability in a curriculum style of learning. A lightweight, low complexity student trained with the proposed framework achieves an F1-score of 85.05%, an improvement of 2.14% and 1.49% gain over the student that trains without and with conventional knowledge distillation, respectively. These results show that the extra subclasses' knowledge (i.e., 0.4656 label bits per training sample in our experiment) can provide more information about the teacher generalization, and therefore SKD can benefit from using more information to increase the student performance.


title: Vanishing short multiplets in rank one 4d/5d SCFTs

abstract: We study the short multiplet spectrum in 4d $\mathcal{N}=2$ superconformal theories of low rank using the full superconformal indices and the selection rules from the superconformal representation theory. We find a universal expression for the leading terms for the superconformal index of rank one $H_0, H_1, H_2, D_4, E_6, E_7$ theories. From this result, we argue that certain short multiplets appear in the operator product expansions involving stress-tensor, conserved current, and Coulomb branch operator vanish. We also apply the same procedure to 5d superconformal theories and find that $E_1$ theory has vanishing short multiplets analogous to that of the $H_1$ theory.


title: Cation-size mismatch as a predictive descriptor for structural distortion, configurational disorder, and valence-band splitting in II-IV-N$_2$ semiconductors

abstract: The II-IV-N$_2$ class of heterovalent ternary nitrides have gained significant interest as alternatives to the III-nitrides for electronic and optoelectronic applications. In this study, we apply first-principles calculations based on density functional theory to systematically investigate the effects of structural distortions due to cation size mismatch on the configurational disorder of the cation sublattice and the valence band structure in this class of materials. We find that larger size mismatch between the group-II and the group-IV cations results in stronger lattice distortions from the ideal hexagonal ratio, which in turn inhibits the propensity of these materials towards octet-rule violating cation disorder. We also demonstrate that the formation energy of a single cation antisite pair, which is fast and simple to calculate, is a strong indicator of a material's propensity towards disorder. Furthermore, the breaking of in-plane symmetry leads to a splitting of the top three valence bands at $\Gamma$, which is also directly related to the magnitude of structural distortions. Our work demonstrates that the structural and functional properties of the II-IV-N$_2$ materials can be finely tuned through controllable structural distortions that stem from the choice of cations.


title: Multicomponent MP4 and the Inclusion of Triple Excitations in Multicomponent Many-Body Methods

abstract: This study implements the full multicomponent third-order (MP3) and fourth-order (MP4) many-body perturbation theory methods for the first time. Previous multicomponent studies have only implemented a subset of the full contributions and the present implementation is the first multicomponent many-body method to include any connected triples contribution to the electron-proton correlation energy. The multicomponent MP3 method is shown to be comparable in accuracy to the multicomponent coupled-cluster doubles method for the calculation of proton affinities, while the multicomponent MP4 method is of similar accuracy as the multicomponent coupled-cluster singles and doubles (CCSD) method. From the results in this study, it is hypothesized that the relative accuracy of multicomponent methods is more similar to their single-component counterparts than previously assumed and that the previous explanation for the better performance of multicomponent CCSD compared to other ab initio multicomponent methods may be incorrect. It is demonstrated that for multicomponent MP4, the fourth-order triple-excitation contributions can be split into electron-electron and electron-proton contributions and the electron-electron contributions ignored with very little loss of accuracy of protonic properties.


title: Multiresolution Deep Implicit Functions for 3D Shape Representation

abstract: We introduce Multiresolution Deep Implicit Functions (MDIF), a hierarchical representation that can recover fine geometry detail, while being able to perform global operations such as shape completion. Our model represents a complex 3D shape with a hierarchy of latent grids, which can be decoded into different levels of detail and also achieve better accuracy. For shape completion, we propose latent grid dropout to simulate partial data in the latent space and therefore defer the completing functionality to the decoder side. This along with our multires design significantly improves the shape completion quality under decoder-only latent optimization. To the best of our knowledge, MDIF is the first deep implicit function model that can at the same time (1) represent different levels of detail and allow progressive decoding; (2) support both encoder-decoder inference and decoder-only latent optimization, and fulfill multiple applications; (3) perform detailed decoder-only shape completion. Experiments demonstrate its superior performance against prior art in various 3D reconstruction tasks.


title: Abnormal Surface Nonlinear Optical Responses in Topological Materials

abstract: Nonlinear optical (NLO) responses of topological materials are under active research in recent years. Yet by far, most studies focused on the bulk properties, whereas the surface effects and the difference between surface and bulk responses have not been systematically studied. Here we develop a generic Green's function framework to investigate the surface NLO properties of topological materials. The Green's function framework can naturally incorporate many-body effects and can be easily extended to high-order NLO responses. Using Td-WTe2 as an example, we reveal that the surface can behave disparately from the bulk under light illumination. Remarkably, the shift and circular currents on the surface can flow in opposite directions to those in the bulk interior. Moreover, the light-induced spin current on the surface can be orders of magnitude stronger than its bulk counterpart. We also study the responses under inhomogeneous field and higher-order NLO effect, which are all distinct on the surface. These anomalous surface NLO responses suggest that light can be a valuable tool for probing the surface states of topological materials. On the other hand, the surface effects shall be prudently considered when investigating the optical properties of topological materials, especially if the material is of nanoscale and/or the light penetration depth is small.


title: Gated reactions in discrete time and space

abstract: How much time does it take two molecules to react? If a reaction occurs upon contact, the answer to this question boils down to the classic first-passage time problem: find the time it takes the two molecules to meet. However, this is not always the case as molecules switch stochastically between reactive and non-reactive states. The reaction is then said to be "gated" by the internal states of the molecules involved which could have a dramatic influence on kinetics. A unified, continuous-time, approach to gated reactions on networks was presented in [Phys. Rev. Lett. 127, 018301, 2021]. Here, we build on this recent advancement and develop an analogous discrete-time version of the theory. Similar to continuous-time, we employ a renewal approach to show that the gated reaction time can always be expressed in terms of the corresponding ungated first-passage and return times; which yields formulas for the generating function of the gated reaction-time distribution and its corresponding mean and variance. In cases where the mean reaction time diverges, we show that the long-time asymptotics of the gated problem is inherited from its ungated counterpart. However, when molecules spend most of their time non-reactive, an interim regime of slower power-law decay emerges prior to the terminal asymptotics. The discretization of time also gives rise to resonances and anti-resonances, which were absent from the continuous time picture. These features are illustrated using two case studies that also demonstrate how the general approach presented herein greatly simplifies the analysis of gated reactions.


title: Detecting Handwritten Mathematical Terms with Sensor Based Data

abstract: In this work we propose a solution to the UbiComp 2021 Challenge by Stabilo in which handwritten mathematical terms are supposed to be automatically classified based on time series sensor data captured on the DigiPen. The input data set contains data of different writers, with label strings constructed from a total of 15 different possible characters. The label should first be split into separate characters to classify them one by one. This issue is solved by applying a data-dependant and rule-based information extraction algorithm to the labeled data. Using the resulting data, two classifiers are constructed. The first is a binary classifier that is able to predict, for unknown data, if a sample is part of a writing activity, and consists of a Deep Neural Network feature extractor in concatenation with a Random Forest that is trained to classify the extracted features at an F1 score of >90%. The second classifier is a Deep Neural Network that combines convolution layers with recurrent layers to predict windows with a single label, out of the 15 possible classes, at an F1 score of >60%. A simulation of the challenge evaluation procedure reports a Levensthein Distance of 8 and shows that the chosen approach still lacks in overall accuracy and real-time applicability.


title: The $ggh$ variations

abstract: We examine how sub-leading results in the operator and loop expansion for $\sigma(\mathcal{G} \mathcal{G} \rightarrow h)$ in the Standard Model Effective Field Theory (SMEFT) inform theoretical error estimates when studying this production channel in global SMEFT studies. We also discuss the relationship between geometric SMEFT results and the $\kappa$ formalism.


title: Presymplectic structures and intrinsic Lagrangians for massive fields

abstract: We study the construction of the so-called intrinsic action for PDEs equipped with compatible presymplectic structures. In particular, we explicitly demonstrate that the intrinsic action for the standard Einstein-Hilbert gravity is the familiar first-order Palatini action. Our main focus in this work is the massive spin-2 field, where the natural presymplectic structure is not complete in the sense that the associated intrinsic action does not reproduce all the equations of motion. We explicitly relate this feature to the differential consequences of the zeroth order in the genuine Lagrangian formulation of Fierz and Pauli. Moreover, a minimal multisymplectic extension of the intrinsic action that produces all the equations of motion is constructed and it is argued that systems of this type can be naturally regarded as multidimensional analogs of mechanical systems with constraints. Finally, we extend the considerations to the massive spin-3 field and argue that the extension to all the massive higher spins should be straightforward as well.


title: Impacts of EMC effects on the D meson modification factor in equilibrating QGP

abstract: In this article we employ the nuclear EMC effect to extract the parton distribution functions (PDFs) inside the Lead (Pb) and Gold (Au) nuclei. Extracted PDFs are utilized to obtain the transverse momentum dependent (TMD) ones, using the computing codes like Pythia 8 or MCFM-10. Through this procedure TMDPDFs for charm and bottom quarks in Au at $\sqrt{s_{NN}}=200\;GeV$, Pb at $\sqrt{s_{NN}}=2.76\;TeV$ and $\sqrt{s_{NN}}=5.02\;TeV$ are calculated. To evaluate the validity of results and investigate the influence of nuclear EMC effect, the numerated TMDs are used as input to estimate heavy quark modification factor $R_{AA}$ at transverse plane $P_T$. This observable is calculated through numerical solution of the Fokker-Planck equation. For this purpose we need to extract the drag and diffusion coefficients, using the hard thermal loop correction. It is done in the frame work of the relativistic hydrodynamics up to the third order approximation of gradient expansion. The results are compared with same solutions when the input PFDs are considered inside the unbounded protons where the nuclear effect is not included. The comparison indicates a significant improvement of computed $R_{AA}$ with available experimental data when the EMC effect is considered.


title: Neural network based order parameter for phase transitions and its applications in high-entropy alloys

abstract: Phase transition is one of the most important phenomena in nature and plays a central role in materials design. All phase transitions are characterized by suitable order parameters, including the order-disorder phase transition. However, finding a representative order parameter for complex systems is nontrivial, such as for high-entropy alloys. Given variational autoencoder's (VAE) strength of reducing high dimensional data into few principal components, here we coin a new concept of "VAE order parameter". We propose that the Manhattan distance in the VAE latent space can serve as a generic order parameter for order-disorder phase transitions. The physical properties of the order parameter are quantitatively interpreted and demonstrated by multiple refractory high-entropy alloys. Assisted by it, a generally applicable alloy design concept is proposed by mimicking the nature mixing of elements. Our physically interpretable "VAE order parameter" lays the foundation for the understanding of and alloy design by chemical ordering.


title: DELP: Dynamic Epistemic Logic for Security Protocols

abstract: The formal analysis of security protocols is a challenging field, with various approaches being studied nowadays. The famous Burrows-Abadi-Needham Logic was the first logical system aiming to validate security protocols. Combining ideas from previous approaches, in this paper we define a complete system of dynamic epistemic logic for modeling security protocols. Our logic is implemented, and few of its properties are verifyied, using the theorem prover Lean.


title: Music of moduli spaces

abstract: A musical instrument, the plastic hormonica, is defined here as a birthday present for Dennis Sullivan, who pioneered and helped popularize the hyperbolic geometry underlying its construction. This plastic hormonica is based upon the Farey tesselation of the Poincare disk decorated by its standard osculating horocycles centered at the rationals. In effect, one taps or holds points of another tesselation tau with the same decorating horocycles to produce sounds depending on the fact that the lambda length of e in tau with this decoration is always an integer. Explicitly, tapping a decorated edge e in tau with lambda length lambda produces a tone of frequency 440 xi^{lambda-12N}, where xi^{12}=2 and N is some positive integer shift of octave. Another type of tap on edges of tau is employed to apply flips, which may be equivariant for a Fuchsian group preserving tau. Sounding the frequency for the edge after an equivariant flip, one can thereby audibly experience paths in Riemann moduli spaces and listen to mapping classes. The resulting chords, which arise from an ideal triangle complementary to tau by sounding the frequency of its frontier edges, correspond to a generalization of the classical Markoff triples, which are precisely the chords that arise from the once-punctured torus. In the other direction, one can query the genera of specified musical pieces.


title: Convergence Rate Analysis of the Multiplicative Gradient Method for PET-Type Problems

abstract: We analyze the convergence rate of the multiplicative gradient (MG) method for PET-type problems with $m$ component functions and an $n$-dimensional optimization variable. We show that the MG method has an $O(\ln(n)/t)$ convergence rate, in both the ergodic and the non-ergodic senses. Furthermore, we show that the distances from the iterates to the set of optimal solutions converge (to zero) at rate $O(1/\sqrt{t})$. Our results show that, in the regime $n=O(\exp(m))$, to find an $\varepsilon$-optimal solution of the PET-type problems, the MG method has a lower computational complexity compared with the relatively-smooth gradient method and the Frank-Wolfe method for convex composite optimization involving a logarithmically-homogeneous barrier.


title: Good-Enough Example Extrapolation

abstract: This paper asks whether extrapolating the hidden space distribution of text examples from one class onto another is a valid inductive bias for data augmentation. To operationalize this question, I propose a simple data augmentation protocol called "good-enough example extrapolation" (GE3). GE3 is lightweight and has no hyperparameters. Applied to three text classification datasets for various data imbalance scenarios, GE3 improves performance more than upsampling and other hidden-space data augmentation methods.


title: Learning to Navigate Sidewalks in Outdoor Environments

abstract: Outdoor navigation on sidewalks in urban environments is the key technology behind important human assistive applications, such as last-mile delivery or neighborhood patrol. This paper aims to develop a quadruped robot that follows a route plan generated by public map services, while remaining on sidewalks and avoiding collisions with obstacles and pedestrians. We devise a two-staged learning framework, which first trains a teacher agent in an abstract world with privileged ground-truth information, and then applies Behavior Cloning to teach the skills to a student agent who only has access to realistic sensors. The main research effort of this paper focuses on overcoming challenges when deploying the student policy on a quadruped robot in the real world. We propose methodologies for designing sensing modalities, network architectures, and training procedures to enable zero-shot policy transfer to unstructured and dynamic real outdoor environments. We evaluate our learning framework on a quadrupedal robot navigating sidewalks in the city of Atlanta, USA. Using the learned navigation policy and its onboard sensors, the robot is able to walk 3.2 kilometers with a limited number of human interventions.


title: Direct Random Search for Fine Tuning of Deep Reinforcement Learning Policies

abstract: Researchers have demonstrated that Deep Reinforcement Learning (DRL) is a powerful tool for finding policies that perform well on complex robotic systems. However, these policies are often unpredictable and can induce highly variable behavior when evaluated with only slightly different initial conditions. Training considerations constrain DRL algorithm designs in that most algorithms must use stochastic policies during training. The resulting policy used during deployment, however, can and frequently is a deterministic one that uses the Maximum Likelihood Action (MLA) at each step. In this work, we show that a direct random search is very effective at fine-tuning DRL policies by directly optimizing them using deterministic rollouts. We illustrate this across a large collection of reinforcement learning environments, using a wide variety of policies obtained from different algorithms. Our results show that this method yields more consistent and higher performing agents on the environments we tested. Furthermore, we demonstrate how this method can be used to extend our previous work on shrinking the dimensionality of the reachable state space of closed-loop systems run under Deep Neural Network (DNN) policies.


title: A Perturbative Approach to the Analysis of Many-Compartment Models Characterized by the Presence of Waning Immunity

abstract: The waning of immunity after recovery or vaccination is a major factor accounting for the severity and prolonged duration of an array of epidemics, ranging from COVID-19 to diphtheria and pertussis. To study the effectiveness of different immunity level-based vaccination schemes in mitigating the impact of waning immunity, we construct epidemiological models that mimic the latter's effect. The total susceptible population is divided into an arbitrarily large number of discrete compartments with varying levels of disease immunity. We then vaccinate various compartments within this framework, comparing the value of $R_0$ and the equilibria locations for our systems to determine an optimal immunization scheme under natural constraints. Relying on perturbative analysis, we establish a number of results concerning the location, existence, and uniqueness of the system's endemic equilibria, as well as results on disease-free equilibria. In addition, we numerically simulate the dynamics associated with our model in the case of pertussis in Canada, fitting our model to available time-series data. Our analytical results are applicable to a wide range of systems composed of arbitrarily many ODEs.


title: A Continuous Optimisation Benchmark Suite from Neural Network Regression

abstract: Designing optimisation algorithms that perform well in general requires experimentation on a range of diverse problems. Training neural networks is an optimisation task that has gained prominence with the recent successes of deep learning. Although evolutionary algorithms have been used for training neural networks, gradient descent variants are by far the most common choice with their trusted good performance on large-scale machine learning tasks. With this paper we contribute CORNN (Continuous Optimisation of Regression tasks using Neural Networks), a large suite for benchmarking the performance of any continuous black-box algorithm on neural network training problems. Using a range of regression problems and neural network architectures, problem instances with different dimensions and levels of difficulty can be created. We demonstrate the use of the CORNN Suite by comparing the performance of three evolutionary and swarm-based algorithms on over 300 problem instances, showing evidence of performance complementarity between the algorithms. As a baseline, the performance of the best population-based algorithm is benchmarked against a gradient-based approach. The CORNN suite is shared as a public web repository to facilitate easy integration with existing benchmarking platforms.


title: Preparing exact eigenstates of the open XXZ chain on a quantum computer

abstract: The open spin-1/2 XXZ spin chain with diagonal boundary magnetic fields is the paradigmatic example of a quantum integrable model with open boundary conditions. We formulate a quantum algorithm for preparing Bethe states of this model, corresponding to real solutions of the Bethe equations. The algorithm is probabilistic, with a success probability that decreases with the number of down spins. For a Bethe state of $L$ spins with $M$ down spins, which contains a total of $\binom{L}{M}\, 2^{M}\, M!$ terms, the algorithm requires $L+M^2+2M$ qubits.


title: On termination of flips and fundamental groups

abstract: In this article, we propose a boundedness conjecture for the regional fundamental group of klt singularities. We prove that this boundedness conjecture, the Zariski closedness of the diminished base locus of $K_X$, and an upper bound for minimal log discrepancies, imply the termination of flips with scaling. We prove the boundedness conjecture in the case of toric singularities, quotient singularites, isolated $3$-fold singularities, and exceptional singularities.


title: Single-shot measurement of few-cycle optical waveforms on a chip

abstract: The measurement of transient optical fields has proven critical to understanding the dynamical mechanisms underlying ultrafast physical and chemical phenomena, and is key to realizing higher speeds in electronics and telecommunications. Complete characterization of optical waveforms, however, requires an optical oscilloscope capable of resolving the electric field oscillations with sub-femtosecond resolution and with single-shot operation. Here, we show that strong-field nonlinear excitation of photocurrents in a silicon-based image sensor chip can provide the sub-cycle optical gate necessary to characterize carrier-envelope phase-stable optical waveforms in the mid-infrared. By mapping the temporal delay between an intense excitation and weak perturbing pulse onto a transverse spatial coordinate of the image sensor, we show that the technique allows single-shot measurement of few-cycle waveforms.


title: Nuclear spin relaxation in aqueous paramagnetic ion solutions

abstract: An angular time-dependent probability density function describing Brownian or anomalous rotational dynamics of fixed-length atom-to-atom vectors is presented. The probability density function, which fully incorporates angular boundary conditions, is applied to aqueous ion complexes. The rotational dynamics of ion-$^1$H vectors are shown by molecular dynamics (MD) simulation to be Brownian. A Brownian shell model is presented which yields a closed form expression for the frequency-dependent nuclear-magnetic-resonance spin-lattice relaxation rate $T_1^{-1}(\omega)$ based on a distance parameter and time constant. Appropriate combinations of shell and/or continuum models are shown to provide excellent fully-quantitative fits to experimental $T_1^{-1}(\omega)$ dispersion curves from aqueous manganese(II), iron(III) and copper(II) chloride solutions. The distance parameters and time constants obtained from the fits are in good agreement with independent experimental and MD data in the literature. The Brownian shell model is a significant enhancement to existing particle-particle models that describe the rotational correlation function as a single exponential and are unable to provide the correct distance dependence for a shell of $^1$H spin density preventing a match to experiment without an arbitrary scaling factor.


title: Levenshtein Training for Word-level Quality Estimation

abstract: We propose a novel scheme to use the Levenshtein Transformer to perform the task of word-level quality estimation. A Levenshtein Transformer is a natural fit for this task: trained to perform decoding in an iterative manner, a Levenshtein Transformer can learn to post-edit without explicit supervision. To further minimize the mismatch between the translation task and the word-level QE task, we propose a two-stage transfer learning procedure on both augmented data and human post-editing data. We also propose heuristics to construct reference labels that are compatible with subword-level finetuning and inference. Results on WMT 2020 QE shared task dataset show that our proposed method has superior data efficiency under the data-constrained setting and competitive performance under the unconstrained setting.


title: FedTriNet: A Pseudo Labeling Method with Three Players for Federated Semi-supervised Learning

abstract: Federated Learning has shown great potentials for the distributed data utilization and privacy protection. Most existing federated learning approaches focus on the supervised setting, which means all the data stored in each client has labels. However, in real-world applications, the client data are impossible to be fully labeled. Thus, how to exploit the unlabeled data should be a new challenge for federated learning. Although a few studies are attempting to overcome this challenge, they may suffer from information leakage or misleading information usage problems. To tackle these issues, in this paper, we propose a novel federated semi-supervised learning method named FedTriNet, which consists of two learning phases. In the first phase, we pre-train FedTriNet using labeled data with FedAvg. In the second phase, we aim to make most of the unlabeled data to help model learning. In particular, we propose to use three networks and a dynamic quality control mechanism to generate high-quality pseudo labels for unlabeled data, which are added to the training set. Finally, FedTriNet uses the new training set to retrain the model. Experimental results on three publicly available datasets show that the proposed FedTriNet outperforms state-of-the-art baselines under both IID and Non-IID settings.


title: Critical Learning Periods in Federated Learning

abstract: Federated learning (FL) is a popular technique to train machine learning (ML) models with decentralized data. Extensive works have studied the performance of the global model; however, it is still unclear how the training process affects the final test accuracy. Exacerbating this problem is the fact that FL executions differ significantly from traditional ML with heterogeneous data characteristics across clients, involving more hyperparameters. In this work, we show that the final test accuracy of FL is dramatically affected by the early phase of the training process, i.e., FL exhibits critical learning periods, in which small gradient errors can have irrecoverable impact on the final test accuracy. To further explain this phenomenon, we generalize the trace of the Fisher Information Matrix (FIM) to FL and define a new notion called FedFIM, a quantity reflecting the local curvature of each clients from the beginning of the training in FL. Our findings suggest that the {\em initial learning phase} plays a critical role in understanding the FL performance. This is in contrast to many existing works which generally do not connect the final accuracy of FL to the early phase training. Finally, seizing critical learning periods in FL is of independent interest and could be useful for other problems such as the choices of hyperparameters such as the number of client selected per round, batch size, and more, so as to improve the performance of FL training and testing.


title: MSGDD-cGAN: Multi-Scale Gradients Dual Discriminator Conditional Generative Adversarial Network

abstract: Conditional Generative Adversarial Networks (cGANs) have been used in many image processing tasks. However, they still have serious problems maintaining the balance between conditioning the output on the input and creating the output with the desired distribution based on the corresponding ground truth. The traditional cGANs, similar to most conventional GANs, suffer from vanishing gradients, which backpropagate from the discriminator to the generator. Moreover, the traditional cGANs are sensitive to architectural changes due to previously mentioned gradient problems. Therefore, balancing the architecture of the cGANs is almost impossible. Recently MSG-GAN has been proposed to stabilize the performance of the GANs by applying multiple connections between the generator and discriminator. In this work, we propose a method called MSGDD-cGAN, which first stabilizes the performance of the cGANs using multi-connections gradients flow. Secondly, the proposed network architecture balances the correlation of the output to input and the fitness of the output on the target distribution. This balance is generated by using the proposed dual discrimination procedure. We tested our model by segmentation of fetal ultrasound images. Our model shows a 3.18% increase in the F1 score comparing to the pix2pix version of cGANs.


title: The profile polytope of non-trivial intersecting families

abstract: The profile vector of a family $\mathcal{F}$ of subsets of an $n$-element set is $(f_0,f_1, \ldots, f_n)$ where $f_i$ denotes the number of the $i$-element members of $\mathcal{F}$. In this paper we determine the extreme points of the set of profile vectors for the class of non-trivial intersecting families.


title: On the $p$-adic valuation of a hyperfactorial

abstract: In this document will be proved a formula to compute the $p$-adic valuation of a hyperfactorial. We call a hyperfactorial the result of multiplying a given number of consecutive integers from 1 to the given number,each raised to its own power. For example, the hyperfactorial of $n$ is equal to: $1^1 2^2 3^3\dots n^n$ . Lots of studies have been done about the hyperfactorial function, in particular two mathematicians: Glaisher and Kinkelin, who have found the asymptotic behaviour of this function as $n$ that approaches infinity (finding a costant, the Glaisher-Kinkelin costant, which has a lot of expressions using the Euler Gamma function and the Riemann Zeta function). In particular in this document I'll write about the p-adic valuation of this function, or rather the maximum exponent of $p$($p$ a prime integer) such that $p$ raised to that power divides the hyperfactorial of $n$. The formula which I will present uses the famous De-Polignac formula for the $p$-adic valuation of the simple factorial. Then I'll discuss about the asymptotic analysis of our result.


title: Determinism and invariant measures for diffusing passive scalars advected by unsteady random shear flows

abstract: Here we study the long time behavior of an advection-diffusion equation with a general time varying (including random) shear flow imposing no-flux boundary conditions on channel walls. We derive the asymptotic approximation of the scalar field at long times by using center manifold theory. We carefully compare it with existing time varying homogenization theory as well as other existing center manifold based studies, and present conditions on the flows under which our new approximations give a substantial improvement to these existing theories. A recent study \cite{ding2020ergodicity} has shown that Gaussian random shear flows induce a deterministic effective diffusivity at long times, and explicitly calculated the invariant measure. Here, with our established asymptotic expansions, we not only concisely demonstrate those prior conclusions for Gaussian random shear flows, but also generalize the conclusions regarding determinism to a much broader class of random (non-Gaussian) shear flows. Such results are important ergodicity-like results in that they assure an experimentalist need only perform a single realization of a random flow to observe the ensemble moment predictions at long time. Monte-Carlo simulations are presented illustrating how the highly random behavior converges to the deterministic limit at long time. Counterintuitively, we present a case demonstrating that the random flow may not induce larger dispersion than its deterministic counterpart, and in turn present rigorous conditions under which a random renewing flow induces a stronger effective diffusivity.

categories: physics.flu-dyn math-ph math.AP math.MP math.PR


title: Superfluid Helium Drops Levitated in High Vacuum

abstract: We demonstrate the trapping of millimeter-scale superfluid Helium drops in high vacuum. The drops are sufficiently isolated that they remain trapped indefinitely, cool by evaporation to 330 mK, and exhibit mechanical damping that is limited by internal processes. The drops are also shown to host optical whispering gallery modes. The approach described here combines the advantages of multiple techniques, and should offer access to new experimental regimes of cold chemistry, superfluid physics, and optomechanics.


title: Slowly rotating dark energy stars

abstract: We study isotropic and slowly-rotating stars made of dark energy adopting the extended Chaplygin equation-of-state. We compute the moment of inertia as a function of the mass of the stars, both for rotating and non-rotating objects. The solution for the non-diagonal metric component as a function of the radial coordinate for three different star masses is shown as well. We find that i) the moment of inertia increases with the mass of the star, ii) in the case of non-rotating objects the moment of inertia grows faster, and iii) the curve corresponding to rotation lies below the one corresponding to non-rotating stars.


title: RockNER: A Simple Method to Create Adversarial Examples for Evaluating the Robustness of Named Entity Recognition Models

abstract: To audit the robustness of named entity recognition (NER) models, we propose RockNER, a simple yet effective method to create natural adversarial examples. Specifically, at the entity level, we replace target entities with other entities of the same semantic class in Wikidata; at the context level, we use pre-trained language models (e.g., BERT) to generate word substitutions. Together, the two levels of attack produce natural adversarial examples that result in a shifted distribution from the training data on which our target models have been trained. We apply the proposed method to the OntoNotes dataset and create a new benchmark named OntoRock for evaluating the robustness of existing NER models via a systematic evaluation protocol. Our experiments and analysis reveal that even the best model has a significant performance drop, and these models seem to memorize in-domain entity patterns instead of reasoning from the context. Our work also studies the effects of a few simple data augmentation methods to improve the robustness of NER models.


title: Decremental All-Pairs Shortest Paths in Deterministic Near-Linear Time

abstract: We study the decremental All-Pairs Shortest Paths (APSP) problem in undirected edge-weighted graphs. The input to the problem is an $n$-vertex $m$-edge graph $G$ with non-negative edge lengths, that undergoes a sequence of edge deletions. The goal is to support approximate shortest-path queries: given a pair $x,y$ of vertices of $G$, return a path $P$ connecting $x$ to $y$, whose length is within factor $\alpha$ of the length of the shortest $x$-$y$ path, in time $\tilde O(|E(P)|)$, where $\alpha$ is the approximation factor of the algorithm. APSP is one of the most basic and extensively studied dynamic graph problems. A long line of work culminated in the algorithm of [Chechik, FOCS 2018] with near optimal guarantees for the oblivious-adversary setting. Unfortunately, adaptive-adversary setting is still poorly understood. For unweighted graphs, the algorithm of [Henzinger, Krinninger and Nanongkai, FOCS '13, SICOMP '16] achieves a $(1+\epsilon)$-approximation with total update time $\tilde O(mn/\epsilon)$; the best current total update time of $n^{2.5+O(\epsilon)}$ is achieved by the deterministic algorithm of [Chuzhoy, Saranurak, SODA'21], with $2^{O(1/\epsilon)}$-multiplicative and $2^{O(\log^{3/4}n/\epsilon)}$-additive approximation. To the best of our knowledge, for arbitrary non-negative edge weights, the fastest current adaptive-update algorithm has total update time $O(n^{3}\log L/\epsilon)$, achieving a $(1+\epsilon)$-approximation. Here, L is the ratio of longest to shortest edge lengths. Our main result is a deterministic algorithm for decremental APSP in undirected edge-weighted graphs, that, for any $\Omega(1/\log\log m)\leq \epsilon< 1$, achieves approximation factor $(\log m)^{2^{O(1/\epsilon)}}$, with total update time $O\left (m^{1+O(\epsilon)}\cdot (\log m)^{O(1/\epsilon^2)}\cdot \log L\right )$.


title: Nimber-Preserving Reductions and Homomorphic Sprague-Grundy Game Encodings

abstract: The concept of nimbers--a.k.a. Grundy-values or nim-values--is fundamental to combinatorial game theory. Nimbers provide a complete characterization of strategic interactions among impartial games in their disjunctive sums as well as the winnability. In this paper, we initiate a study of nimber-preserving reductions among impartial games. These reductions enhance the winnability-preserving reductions in traditional computational characterizations of combinatorial games. We prove that Generalized Geography is complete for the natural class, $\cal{I}^P$ , of polynomially-short impartial rulesets under nimber-preserving reductions, a property we refer to as Sprague-Grundy-complete. In contrast, we also show that not every PSPACE-complete ruleset in $\cal{I}^P$ is Sprague-Grundy-complete for $\cal{I}^P$ . By considering every impartial game as an encoding of its nimber, our technical result establishes the following striking cryptography-inspired homomorphic theorem: Despite the PSPACE-completeness of nimber computation for $\cal{I}^P$ , there exists a polynomial-time algorithm to construct, for any pair of games $G_1$, $G_2$ of $\cal{I}^P$ , a prime game (i.e. a game that cannot be written as a sum) $H$ of $\cal{I}^P$ , satisfying: nimber($H$) = nimber($G_1$) $\oplus$ nimber($G_2$).


title: Sequential Detection and Estimation of Multipath Channel Parameters Using Belief Propagation

abstract: This paper proposes a belief propagation (BP)-based algorithm for sequential detection and estimation of multipath component (MPC) parameters based on radio signals. Under dynamic channel conditions with moving transmitter/receiver, the number of MPCs, the MPC dispersion parameters, and the number of false alarm contributions are unknown and time-varying. We develop a Bayesian model for sequential detection and estimation of MPC dispersion parameters, and represent it by a factor graph enabling the use of BP for efficient computation of the marginal posterior distributions. At each time step, a snapshot-based parametric channel estimator provides parameter estimates of a set of MPCs which are used as noisy measurements by the proposed BP-based algorithm. It performs joint probabilistic data association, and estimation of the time-varying MPC parameters and the mean number of false alarm measurements, by means of the sum-product algorithm rules. The algorithm also exploits amplitude information enabling the reliable detection of "weak" MPCs with very low component signal-to-noise ratios (SNRs). The performance of the proposed algorithm compares well to state-of-the-art algorithms for high SNR MPCs, but it significantly outperforms them for medium or low SNR MPCs. Results using real radio measurements demonstrate the excellent performance of the proposed algorithm in realistic and challenging scenarios.


title: Optimal and fast confidence intervals for hypergeometric successes

abstract: We present an efficient method of calculating exact confidence intervals for the hypergeometric parameter representing the number of "successes," or "special items," in the population. The method inverts minimum-width acceptance intervals after shifting them to make their endpoints nondecreasing while preserving their level. The resulting set of confidence intervals achieves minimum possible average size, and even in comparison with confidence sets not required to be intervals it attains the minimum possible cardinality most of the time, and always within $1$. The method compares favorably with existing methods not only in the size of the intervals but also in the time required to compute them. The available \textsf{R} package \texttt{hyperMCI} implements the proposed method.


title: Massive scalar field in de Sitter spacetime: a two-loop calculation and a comparison with the stochastic approach

abstract: We examine long-wavelength correlation functions of massive scalar fields in de Sitter spacetime. For the theory with a quartic self-interaction, the two-point function is calculated up to two loops. Comparing our results with the Hartree-Fock approximation and with the stochastic approach shows that the former resums only the cactus type diagrams, whereas the latter contains the sunset diagram as well and produces the correct result. We also demonstrate that the long-wavelength expectation value of the commutator of two fields is equal to zero both for spacelike and timelike separated points.


title: Gibbs measure for the focusing fractional NLS on the torus

abstract: We study the construction of the Gibbs measures for the {\it focusing} mass-critical fractional nonlinear Schr\"odinger equation on the multi-dimensional torus. We identify the sharp mass threshold for normalizability and non-normalizability of the focusing Gibbs measures, which generalizes the influential works of Lebowitz-Rose-Speer (1988), Bourgain (1994), and Oh-Sosoe-Tolomeo (2021) on the one-dimensional nonlinear Schr\"odinger equations. To this purpose, we establish an almost sharp fractional Gagliardo-Nirenberg-Sobolev inequality on the torus, which is of independent interest.


title: Differential Diagnosis of Frontotemporal Dementia and Alzheimer's Disease using Generative Adversarial Network

abstract: Frontotemporal dementia and Alzheimer's disease are two common forms of dementia and are easily misdiagnosed as each other due to their similar pattern of clinical symptoms. Differentiating between the two dementia types is crucial for determining disease-specific intervention and treatment. Recent development of Deep-learning-based approaches in the field of medical image computing are delivering some of the best performance for many binary classification tasks, although its application in differential diagnosis, such as neuroimage-based differentiation for multiple types of dementia, has not been explored. In this study, a novel framework was proposed by using the Generative Adversarial Network technique to distinguish FTD, AD and normal control subjects, using volumetric features extracted at coarse-to-fine structural scales from Magnetic Resonance Imaging scans. Experiments of 10-folds cross-validation on 1,954 images achieved high accuracy. With the proposed framework, we have demonstrated that the combination of multi-scale structural features and synthetic data augmentation based on generative adversarial network can improve the performance of challenging tasks such as differentiating Dementia sub-types.


title: Spin excitation spectra in helimagnetic states: proper-screw, cycloid, vortex crystal, and hedgehog lattice

abstract: We investigate the spin excitation spectra in chiral and polar magnets by the linear spin-wave theory for an effective spin model with symmetric and antisymmetric long-range interactions. In one dimension, we obtain the analytic form of the dynamical spin structure factor for proper-screw and cycloidal helical spin states with uniform twists, which shows a gapless mode with strong intensity at the helical wave number. When introducing spin anisotropy in the symmetric interactions, we numerically show that the stable spin spirals become elliptically anisotropic with nonuniform twists and the spin excitation is gapped. In higher dimensions, we find that similar anisotropy stabilizes multiple-$Q$ spin states, such as vortex crystals and hedgehog lattices. We show that the anisotropy in these states manifests itself in the dynamical spin structure factor: a strong intensity in the transverse components to the wave number appears only when the helical wave vector and the corresponding easy axis are perpendicular to each other. Our findings could be useful not only to identify the spin structure but also to deduce the stabilization mechanism by inelastic neutron scattering measurements.


title: AdViCE: Aggregated Visual Counterfactual Explanations for Machine Learning Model Validation

abstract: Rapid improvements in the performance of machine learning models have pushed them to the forefront of data-driven decision-making. Meanwhile, the increased integration of these models into various application domains has further highlighted the need for greater interpretability and transparency. To identify problems such as bias, overfitting, and incorrect correlations, data scientists require tools that explain the mechanisms with which these model decisions are made. In this paper we introduce AdViCE, a visual analytics tool that aims to guide users in black-box model debugging and validation. The solution rests on two main visual user interface innovations: (1) an interactive visualization design that enables the comparison of decisions on user-defined data subsets; (2) an algorithm and visual design to compute and visualize counterfactual explanations - explanations that depict model outcomes when data features are perturbed from their original values. We provide a demonstration of the tool through a use case that showcases the capabilities and potential limitations of the proposed approach.


title: Caterpillars and alternating paths

abstract: Let $p(m)$ (respectively, $q(m)$) be the maximum number $k$ such that any tree with $m$ edges can be transformed by contracting edges (respectively, by removing vertices) into a caterpillar with $k$ edges. We derive closed-form expressions for $p(m)$ and $q(m)$ for all $m \ge 1$. The two functions $p(n)$ and $q(n)$ can also be interpreted in terms of alternating paths among $n$ disjoint line segments in the plane, whose $2n$ endpoints are in convex position.


title: Verifying Concurrent Multicopy Search Structures

abstract: Multicopy search structures such as log-structured merge (LSM) trees are optimized for high insert/update/delete (collectively known as upsert) performance. In such data structures, an upsert on key $k$, which adds $(k,v)$ where $v$ can be a value or a tombstone, is added to the root node even if $k$ is already present in other nodes. Thus there may be multiple copies of $k$ in the search structure. A search on $k$ aims to return the value associated with the most recent upsert. We present a general framework for verifying linearizability of concurrent multicopy search structures that abstracts from the underlying representation of the data structure in memory, enabling proof-reuse across diverse implementations. Based on our framework, we propose template algorithms for a) LSM structures forming arbitrary directed acyclic graphs and b) differential file structures, and formally verify these templates in the concurrent separation logic Iris. We also instantiate the LSM template to obtain the first verified concurrent in-memory LSM tree implementation.


title: Stably diffeomorphic manifolds and modified surgery obstructions

abstract: For every $k \geq 2$ we construct infinitely many $4k$-dimensional manifolds that are all stably diffeomorphic but pairwise not homotopy equivalent. Each of these manifolds has hyperbolic intersection form and is stably parallelisable. In fact we construct infinitely many such infinite sets. To achieve this we prove a realisation result for appropriate subsets of Kreck's modified surgery monoid $\ell_{2q+1}(\mathbb{Z}[\pi])$, analogous to Wall's realisation of the odd-dimensional surgery obstruction $L$-group $L_{2q+1}^s(\mathbb{Z}[\pi])$.


title: Generating Datasets of 3D Garments with Sewing Patterns

abstract: Garments are ubiquitous in both real and many of the virtual worlds. They are highly deformable objects, exhibit an immense variety of designs and shapes, and yet, most garments are created from a set of regularly shaped flat pieces. Exploration of garment structure presents a peculiar case for an object structure estimation task and might prove useful for downstream tasks of neural 3D garment modeling and reconstruction by providing strong prior on garment shapes. To facilitate research in these directions, we propose a method for generating large synthetic datasets of 3D garment designs and their sewing patterns. Our method consists of a flexible description structure for specifying parametric sewing pattern templates and the automatic generation pipeline to produce garment 3D models with little-to-none manual intervention. To add realism, the pipeline additionally creates corrupted versions of the final meshes that imitate artifacts of 3D scanning. With this pipeline, we created the first large-scale synthetic dataset of 3D garment models with their sewing patterns. The dataset contains more than 20000 garment design variations produced from 19 different base types. Seven of these garment types are specifically designed to target evaluation of the generalization across garment sewing pattern topologies.


title: Evolution of cooperation with joint liability

abstract: "Personal responsibility", one of the basic principles of modern law, requires one to be responsible for what he did. However, personal responsibility is far from the only norm ruling human interactions, especially in social and economic activities. In many collective communities such as among enterprise colleagues and family members, one's personal interests are often bound to others' -- once one member breaks the rule, a group of people have to bear the punishment or sanction. Such a mechanism is termed "joint liability". Although many real-world cases have demonstrated that joint liability helps to maintain collective collaboration, a deep and systematic theoretical analysis on how and when joint liability promotes cooperation is lacking. Here we use evolutionary game theory to model an interacting system with joint liability, where one's losing credit could deteriorate the reputation of the whole group. We provide the analytical condition to predict when cooperation evolves in the presence of joint liability, which is verified by simulations. We also analytically prove that joint liability can greatly promote cooperation. Our work stresses that joint liability is of great significance in promoting the current economic propensity.


title: Mixing between the Cross Entropy and the Expectation Loss Terms

abstract: The cross entropy loss is widely used due to its effectiveness and solid theoretical grounding. However, as training progresses, the loss tends to focus on hard to classify samples, which may prevent the network from obtaining gains in performance. While most work in the field suggest ways to classify hard negatives, we suggest to strategically leave hard negatives behind, in order to focus on misclassified samples with higher probabilities. We show that adding to the optimization goal the expectation loss, which is a better approximation of the zero-one loss, helps the network to achieve better accuracy. We, therefore, propose to shift between the two losses during training, focusing more on the expectation loss gradually during the later stages of training. Our experiments show that the new training protocol improves performance across a diverse set of classification domains, including computer vision, natural language processing, tabular data, and sequences. Our code and scripts are available at supplementary.


title: IFogSim2: An Extended iFogSim Simulator for Mobility, Clustering, and Microservice Management in Edge and Fog Computing Environments

abstract: Internet of Things (IoT) has already proven to be the building block for next-generation Cyber-Physical Systems (CPSs). The considerable amount of data generated by the IoT devices needs latency-sensitive processing, which is not feasible by deploying the respective applications in remote Cloud datacentres. Edge/Fog computing, a promising extension of Cloud at the IoT-proximate network, can meet such requirements for smart CPSs. However, the structural and operational differences of Edge/Fog infrastructure resist employing Cloud-based service regulations directly to these environments. As a result, many research works have been recently conducted, focusing on efficient application and resource management in Edge/Fog computing environments. Scalable Edge/Fog infrastructure is a must to validate these policies, which is also challenging to accommodate in the real-world due to high cost and implementation time. Considering simulation as a key to this constraint, various software has been developed that can imitate the physical behaviour of Edge/Fog computing environments. Nevertheless, the existing simulators often fail to support advanced service management features because of their monolithic architecture, lack of actual dataset, and limited scope for a periodic update. To overcome these issues, we have developed multiple simulation models for service migration, dynamic distributed cluster formation, and microservice orchestration for Edge/Fog computing in this work and integrated with the existing iFogSim simulation toolkit for launching it as iFogSim2. The performance of iFogSim2 and its built-in policies are evaluated using three use case scenarios and compared with the contemporary simulators and benchmark policies under different settings. Results indicate that the proposed solution outperform others in service management time, network usage, ram consumption, and simulation time.