title: Graph Theory for Metro Traffic Modelling

abstract: A unifying graph theoretic framework for the modelling of metro transportation networks is proposed. This is achieved by first introducing a basic graph framework for the modelling of the London underground system from a diffusion law point of view. This forms a basis for the analysis of both station importance and their vulnerability, whereby the concept of graph vertex centrality plays a key role. We next explore k-edge augmentation of a graph topology, and illustrate its usefulness both for improving the network robustness and as a planning tool. Upon establishing the graph theoretic attributes of the underlying graph topology, we proceed to introduce models for processing data on such a metro graph. Commuter movement is shown to obey the Fick's law of diffusion, where the graph Laplacian provides an analytical model for the diffusion process of commuter population dynamics. Finally, we also explore the application of modern deep learning models, such as graph neural networks and hyper-graph neural networks, as general purpose models for the modelling and forecasting of underground data, especially in the context of the morning and evening rush hours. Comprehensive simulations including the passenger in- and out-flows during the morning rush hour in London demonstrates the advantages of the graph models in metro planning and traffic management, a formal mathematical approach with wide economic implications.


title: Probing modified gravity theories with multiple measurements of high-redshift quasars

abstract: In this paper, we quantify the ability of multiple measurements of high-redshift quasars (QSOs) to constrain several theories of modified gravity, including the Dvali-Gabadadze-Porrati braneworld scenario, generalized Chaplygin gas, $f(T)$ modified gravity, and Modified Polytropic Cardassian model. Recently released sample of 1598 quasars with X-ray and UV flux measurements in the redshift range of $0.036\leq z \leq 5.1003$, as well as a compilation of 120 intermediate-luminosity radio quasars covering the redshift of $0.46 < z < 2.76$ are respectively used as standard probes at higher redshifts. For all considered modified gravity theories, our results show that there is still some possibility that the standard $\Lambda$CDM scenario might not be the best cosmological model preferred by the current quasar observations. In order to improve cosmological constraints, the quasar data are also combined with the latest observations of baryon acoustic oscillations (BAO), which strongly complement the constraints. Finally, we discuss the support given by the data to modified gravity theories, applying different information theoretic techniques like the Akaike Information Criterion (AIC), Bayesian Information Criterion (BIC) and Jensen-Shannon divergence (JSD).


title: Constrained Consensus Sequence Algorithm for DNA Archiving

abstract: The paper describes an algorithm to compute a consensus sequence from a set of DNA sequences of approximatively identical length generated by 3rd sequencing generation technologies. Its purpose targets DNA storage and is guided by specific features that cannot be exhibited from biological data such as the exact length of the consensus sequences, the precise location of known patterns, the kmer composition, etc.


title: Recurrence and transience of random difference equations in the critical case

abstract: For i.i.d. random vectors $(M_{1},Q_{1}),(M_{2},Q_{2}),\ldots$ such that $M>0$ a.s., $Q\geq 0$ a.s. and $\mathbb{P}(Q=0)<1$, the random difference equation $X_{n}=M_{n}X_{n-1}+Q_{n}$, $n=1,2,\ldots$, is studied in the critical case when the random walk with increments $\log M_{1},\log M_{2}$ is oscillating. We provide conditions for the null-recurrence and transience of the Markov chain $(X_{n})_{n\ge 0}$ by inter alia drawing on techniques developed in the related article Alsmeyer et al (2017) for another case exhibiting the null-recurrence/transience dichotomy.


title: Engineering and Experimentally Benchmarking a Serverless Edge Computing System

abstract: Thanks to the latest advances in containerization, the serverless edge computing model is becoming close to reality. Serverless at the edge is expected to enable low latency applications with fast autoscaling mechanisms, all running on heterogeneous and resource-constrained devices. In this work, we engineer and experimentally benchmark a serverless edge computing system architecture. We deploy a decentralized edge computing platform for serverless applications providing processing, storage, and communication capabilities using only open-source software, running over heterogeneous resources (e.g., virtual machines, Raspberry Pis, or bare metal servers, etc). To achieve that, we provision an overlay-network based on Nebula network agnostic technology, running over private or public networks, and use K3s to provide hardware abstraction. We benchmark the system in terms of response times, throughput and scalability using different hardware devices connected through the public Internet. The results show that while serverless is feasible on heterogeneous devices showing a good performance on constrained devices, such as Raspberry Pis, the lack of support when determining computational power and network characterization leaves much room for improvement in edge environments.


title: Instance-aware Remote Sensing Image Captioning with Cross-hierarchy Attention

abstract: The spatial attention is a straightforward approach to enhance the performance for remote sensing image captioning. However, conventional spatial attention approaches consider only the attention distribution on one fixed coarse grid, resulting in the semantics of tiny objects can be easily ignored or disturbed during the visual feature extraction. Worse still, the fixed semantic level of conventional spatial attention limits the image understanding in different levels and perspectives, which is critical for tackling the huge diversity in remote sensing images. To address these issues, we propose a remote sensing image caption generator with instance-awareness and cross-hierarchy attention. 1) The instances awareness is achieved by introducing a multi-level feature architecture that contains the visual information of multi-level instance-possible regions and their surroundings. 2) Moreover, based on this multi-level feature extraction, a cross-hierarchy attention mechanism is proposed to prompt the decoder to dynamically focus on different semantic hierarchies and instances at each time step. The experimental results on public datasets demonstrate the superiority of proposed approach over existing methods.


title: Disconnected moduli spaces of stable bundles on surfaces

abstract: We use hypersurfaces containing unexpected linear spaces to construct interesting vector bundles on complete intersection surfaces in projective space. We discover examples of moduli spaces of rank 2 stable bundles on surfaces of Picard rank one with arbitrarily many connected components.


title: Wi-Lo: Emulating LoRa using COTS WiFi

abstract: We present Wi-Lo, which allows to convert an ordinary 802.11 (WiFi) access point into an internet of things (IoT) gateway supporting the low-power wide area network (LPWAN) technology LoRa in the downlink. Our Wi-Lo system only requires a software update and no additional hardware. It uses signal emulation technique based on complementary code keying modulation from 802.11b in order to emulate a downlink LoRa (long range) transmission. The Wi-Lo gateway can be used by a normal WiFi-enabled smartphone to send packets to LoRa compliant IoT devices like smart sensors. We implemented a prototype using commodity WiFi hardware. Experimental results show that Wi-Lo enables a normal WiFi node to communication to LoRa devices even over long distances, which is comparable to the configurations using pure LoRa transmitter and receivers.


title: Learning Runge-Kutta Integration Schemes for ODE Simulation and Identification

abstract: Deriving analytical solutions of ordinary differential equations is usually restricted to a small subset of problems and numerical techniques are considered. Inevitably, a numerical simulation of a differential equation will then always be distinct from a true analytical solution. An efficient integration scheme shall further not only provide a trajectory throughout a given state, but also be derived to ensure the generated simulation to be close to the analytical one. Consequently, several integration schemes were developed for different classes of differential equations. Unfortunately, when considering the integration of complex non-linear systems, as well as the identification of non-linear equations from data, this choice of the integration scheme is often far from being trivial. In this paper, we propose a novel framework to learn integration schemes that minimize an integration-related cost function. We demonstrate the relevance of the proposed learning-based approach for non-linear equations and include a quantitative analysis w.r.t. classical state-of-the-art integration techniques, especially where the latter may not apply.


title: Exponential growth of random determinants beyond invariance

abstract: We give simple criteria to identify the exponential order of magnitude of the absolute value of the determinant for wide classes of random matrix models, not requiring the assumption of invariance. These include Gaussian matrices with covariance profiles, Wigner matrices and covariance matrices with subexponential tails, Erd\H{o}s-R\'enyi and $d$-regular graphs for any polynomial sparsity parameter, and non-mean-field random matrix models, such as random band matrices for any polynomial bandwidth. The proof builds on recent tools, including the theory of the Matrix Dyson Equation as developed in [Ajanki, Erd\H{o}s, Kr\"uger 2019]. We use these asymptotics as an important input to identify the complexity of classes of Gaussian random landscapes in our companion papers [Ben Arous, Bourgade, McKenna 2021; McKenna 2021].


title: FL-NTK: A Neural Tangent Kernel-based Framework for Federated Learning Convergence Analysis

abstract: Federated Learning (FL) is an emerging learning scheme that allows different distributed clients to train deep neural networks together without data sharing. Neural networks have become popular due to their unprecedented success. To the best of our knowledge, the theoretical guarantees of FL concerning neural networks with explicit forms and multi-step updates are unexplored. Nevertheless, training analysis of neural networks in FL is non-trivial for two reasons: first, the objective loss function we are optimizing is non-smooth and non-convex, and second, we are even not updating in the gradient direction. Existing convergence results for gradient descent-based methods heavily rely on the fact that the gradient direction is used for updating. This paper presents a new class of convergence analysis for FL, Federated Learning Neural Tangent Kernel (FL-NTK), which corresponds to overparamterized ReLU neural networks trained by gradient descent in FL and is inspired by the analysis in Neural Tangent Kernel (NTK). Theoretically, FL-NTK converges to a global-optimal solution at a linear rate with properly tuned learning parameters. Furthermore, with proper distributional assumptions, FL-NTK can also achieve good generalization.


title: Prominent characteristics of recurrent neuronal networks are robust against low synaptic weight resolution

abstract: The representation of the natural-density, heterogeneous connectivity of neuronal network models at relevant spatial scales remains a challenge for Computational Neuroscience and Neuromorphic Computing. In particular, the memory demands imposed by the vast number of synapses in brain-scale network simulations constitutes a major obstacle. Limiting the number resolution of synaptic weights appears to be a natural strategy to reduce memory and compute load. In this study, we investigate the effects of a limited synaptic-weight resolution on the dynamics of recurrent spiking neuronal networks resembling local cortical circuits, and develop strategies for minimizing deviations from the dynamics of networks with high-resolution synaptic weights. We mimic the effect of a limited synaptic weight resolution by replacing normally distributed synaptic weights by weights drawn from a discrete distribution, and compare the resulting statistics characterizing firing rates, spike-train irregularity, and correlation coefficients with the reference solution. We show that a naive discretization of synaptic weights generally leads to a distortion of the spike-train statistics. Only if the weights are discretized such that the mean and the variance of the total synaptic input currents are preserved, the firing statistics remains unaffected for the types of networks considered in this study. For networks with sufficiently heterogeneous in-degrees, the firing statistics can be preserved even if all synaptic weights are replaced by the mean of the weight distribution. We conclude that even for simple networks with non-plastic neurons and synapses, a discretization of synaptic weights can lead to substantial deviations in the firing statistics, unless the discretization is performed with care and guided by a rigorous validation process.


title: CondLaneNet: a Top-to-down Lane Detection Framework Based on Conditional Convolution

abstract: Modern deep-learning-based lane detection methods are successful in most scenarios but struggling for lane lines with complex topologies. In this work, we propose CondLaneNet, a novel top-to-down lane detection framework that detects the lane instances first and then dynamically predicts the line shape for each instance. Aiming to resolve lane instance-level discrimination problem, we introduce a conditional lane detection strategy based on conditional convolution and row-wise formulation. Further, we design the Recurrent Instance Module(RIM) to overcome the problem of detecting lane lines with complex topologies such as dense lines and fork lines. Benefit from the end-to-end pipeline which requires little post-process, our method has real-time efficiency. We extensively evaluate our method on three benchmarks of lane detection. Results show that our method achieves state-of-the-art performance on all three benchmark datasets. Moreover, our method has the coexistence of accuracy and efficiency, e.g. a 78.14 F1 score and 220 FPS on CULane. Our code is available at https://github.com/aliyun/conditional-lane-detection.


title: Smart Name Lookup for NDN Forwarding Plane via Neural Networks

abstract: Name lookup is a key technology for the forwarding plane of content router in Named Data Networking (NDN). To realize the efficient name lookup, what counts is deploying a highperformance index in content routers. So far, the proposed indexes have shown good performance, most of which are optimized for or evaluated with URLs collected from the current Internet, as the large-scale NDN names are not available yet. Unfortunately, the performance of these indexes is always impacted in terms of lookup speed, memory consumption and false positive probability, as the distributions of URLs retrieved in memory may differ from those of real NDN names independently generated by content-centric applications online. Focusing on this gap, a smart mapping model named Pyramid-NN via neural networks is proposed to build an index called LNI for NDN forwarding plane. Through learning the distributions of the names retrieved in the static memory, LNI can not only reduce the memory consumption and the probability of false positive, but also ensure the performance of real NDN name lookup. Experimental results show that LNI-based FIB can reduce the memory consumption to 58.258 MB for 2 million names. Moreover, as it can be deployed on SRAMs, the throughput is about 177 MSPS, which well meets the current network requirement for fast packet processing.


title: Reducing Streaming ASR Model Delay with Self Alignment

abstract: Reducing prediction delay for streaming end-to-end ASR models with minimal performance regression is a challenging problem. Constrained alignment is a well-known existing approach that penalizes predicted word boundaries using external low-latency acoustic models. On the contrary, recently proposed FastEmit is a sequence-level delay regularization scheme encouraging vocabulary tokens over blanks without any reference alignments. Although all these schemes are successful in reducing delay, ASR word error rate (WER) often severely degrades after applying these delay constraining schemes. In this paper, we propose a novel delay constraining method, named self alignment. Self alignment does not require external alignment models. Instead, it utilizes Viterbi forced-alignments from the trained model to find the lower latency alignment direction. From LibriSpeech evaluation, self alignment outperformed existing schemes: 25% and 56% less delay compared to FastEmit and constrained alignment at the similar word error rate. For Voice Search evaluation,12% and 25% delay reductions were achieved compared to FastEmit and constrained alignment with more than 2% WER improvements.


title: Exact Structures for Operator Modules

abstract: We demonstrate how exact structures can be placed on the additive category of right operator modules over an operator algebra in order to discuss global dimension for operator algebras. The properties of the Haagerup tensor product play a decisive role in this.


title: Closed Neighborhood Ideals of Finite Simple Graphs

abstract: We investigate Sharifan and Moradi's closed neighborhood ideal of a finite simple graph, which is a square-free monomial ideal in a polynomial ring over a field. We explicitly describe the minimal irreducible decompositions of these ideals. We also characterize the trees whose closed neighborhood ideals are Cohen-Macaulay; in particular, this property for closed neighborhood ideals of trees is characteristic independent.


title: Counterfactual Explanations for Neural Recommenders

abstract: Understanding why specific items are recommended to users can significantly increase their trust and satisfaction in the system. While neural recommenders have become the state-of-the-art in recent years, the complexity of deep models still makes the generation of tangible explanations for end users a challenging problem. Existing methods are usually based on attention distributions over a variety of features, which are still questionable regarding their suitability as explanations, and rather unwieldy to grasp for an end user. Counterfactual explanations based on a small set of the user's own actions have been shown to be an acceptable solution to the tangibility problem. However, current work on such counterfactuals cannot be readily applied to neural models. In this work, we propose ACCENT, the first general framework for finding counterfactual explanations for neural recommenders. It extends recently-proposed influence functions for identifying training points most relevant to a recommendation, from a single to a pair of items, while deducing a counterfactual set in an iterative process. We use ACCENT to generate counterfactual explanations for two popular neural models, Neural Collaborative Filtering (NCF) and Relational Collaborative Filtering (RCF), and demonstrate its feasibility on a sample of the popular MovieLens 100K dataset.


title: Explicit diagrammatic solution of normalised, nondegenerate Rayleigh-Schr\"odinger perturbation theory

abstract: We solve the coupled recurrence relations for eigenenergies and -vectors in nondegenerate Rayleigh-Schr\"odinger perturbation theory under the constraint that the approximate eigenvector be normalised to $1$ in every order. The series can be expressed in terms of diagrams that were first introduced by C. Bloch [Nucl. Phys. 6, 329 (1958)] for the degenerate, unnormalised case. Normalisation increases the number of terms and introduces a nontrivial dependence on the diagrams' topology to the coefficients.


title: Knowledge Transfer across Imaging Modalities Via Simultaneous Learning of Adaptive Autoencoders for High-Fidelity Mobile Robot Vision

abstract: Enabling mobile robots for solving challenging and diverse shape, texture, and motion related tasks with high fidelity vision requires the integration of novel multimodal imaging sensors and advanced fusion techniques. However, it is associated with high cost, power, hardware modification, and computing requirements which limit its scalability. In this paper, we propose a novel Simultaneously Learned Auto Encoder Domain Adaptation (SAEDA)-based transfer learning technique to empower noisy sensing with advanced sensor suite capabilities. In this regard, SAEDA trains both source and target auto-encoders together on a single graph to obtain the domain invariant feature space between the source and target domains on simultaneously collected data. Then, it uses the domain invariant feature space to transfer knowledge between different signal modalities. The evaluation has been done on two collected datasets (LiDAR and Radar) and one existing dataset (LiDAR, Radar and Video) which provides a significant improvement in quadruped robot-based classification (home floor and human activity recognition) and regression (surface roughness estimation) problems. We also integrate our sensor suite and SAEDA framework on two real-time systems (vacuum cleaning and Mini-Cheetah quadruped robots) for studying the feasibility and usability.


title: Let There be Light: Improved Traffic Surveillance via Detail Preserving Night-to-Day Transfer

abstract: In recent years, image and video surveillance have made considerable progresses to the Intelligent Transportation Systems (ITS) with the help of deep Convolutional Neural Networks (CNNs). As one of the state-of-the-art perception approaches, detecting the interested objects in each frame of video surveillance is widely desired by ITS. Currently, object detection shows remarkable efficiency and reliability in standard scenarios such as daytime scenes with favorable illumination conditions. However, in face of adverse conditions such as the nighttime, object detection loses its accuracy significantly. One of the main causes of the problem is the lack of sufficient annotated detection datasets of nighttime scenes. In this paper, we propose a framework to alleviate the accuracy decline when object detection is taken to adverse conditions by using image translation method. We propose to utilize style translation based StyleMix method to acquire pairs of day time image and nighttime image as training data for following nighttime to daytime image translation. To alleviate the detail corruptions caused by Generative Adversarial Networks (GANs), we propose to utilize Kernel Prediction Network (KPN) based method to refine the nighttime to daytime image translation. The KPN network is trained with object detection task together to adapt the trained daytime model to nighttime vehicle detection directly. Experiments on vehicle detection verified the accuracy and effectiveness of the proposed approach.


title: Robotic Assistant Agent for Student and Machine Co-Learning on AI-FML Practice with AIoT Application

abstract: In this paper, the Robotic Assistant Agent for student and machine co-learning on AI-FML practice with AIoT application is presented. The structure of AI-FML contains three parts, including fuzzy logic, neural network, and evolutionary computation. Besides, the Robotic Assistant Agent (RAA) can assist students and machines in co-learning English and AI-FML practice based on the robot Kebbi Air and AIoT-FML learning tool. Since Sept. 2019, we have introduced an Intelligent Speaking English Assistant (ISEA) App and AI-FML platform to English and computer science learning classes at two elementary schools in Taiwan. We use the collected English-learning data to train a predictive regression model based on students' monthly examination scores. In Jan. 2021, we further combined the developed AI-FML platform with a novel AIoT-FML learning tool to enhance students' interests in learning English and AI-FML with basic hands-on practice. The proposed RAA is responsible for reasoning students' learning performance and showing the results on the AIoT-FML learning tool after communicating with the AI-FML platform. The experimental results and the collection of students' feedback show that this kind of learning model is popular with elementary-school and high-school students, and the learning performance of elementary-school students is improved.


title: Semantic Distribution-aware Contrastive Adaptation for Semantic Segmentation

abstract: Domain adaptive semantic segmentation refers to making predictions on a certain target domain with only annotations of a specific source domain. Current state-of-the-art works suggest that performing category alignment can alleviate domain shift reasonably. However, they are mainly based on image-to-image adversarial training and little consideration is given to semantic variations of an object among images, failing to capture a comprehensive picture of different categories. This motivates us to explore a holistic representative, the semantic distribution from each category in source domain, to mitigate the problem above. In this paper, we present semantic distribution-aware contrastive adaptation algorithm that enables pixel-wise representation alignment under the guidance of semantic distributions. Specifically, we first design a pixel-wise contrastive loss by considering the correspondences between semantic distributions and pixel-wise representations from both domains. Essentially, clusters of pixel representations from the same category should cluster together and those from different categories should spread out. Next, an upper bound on this formulation is derived by involving the learning of an infinite number of (dis)similar pairs, making it efficient. Finally, we verify that SDCA can further improve segmentation accuracy when integrated with the self-supervised learning. We evaluate SDCA on multiple benchmarks, achieving considerable improvements over existing algorithms.The code is publicly available at https://github.com/BIT-DA/SDCA


title: Effects of Composition on Mechanical and Antibacterial Properties of Hydroxyapatite/Gray Titania Coating Fabricated by Suspension Plasma Spraying

abstract: This study aims at revealing the effect of composition on mechanical and antibacterial properties of hydroxyapatite/gray Titania coating for biomedical applications. HAp is a bioceramic material used as a plasma-sprayed coating to promote osseointegra-tion of femoral stems. Biomaterial coatings are fabricated mostly using atmospheric plasma spray (APS). However, the conventional plasma spray process requires hydrox-yapatite powder with good flow, and to prepare such free-flowing powder, agglomer-ation, such as spray drying, fusing, and crushing is used. Therefore, it is impossible to spray nano-powder using conventional methods. Here, we designed a suspension-feeding system to feed nanoparticles using a liquid carrier. Suspension plasma spray (SPS) successfully deposited homogeneous HAp/Gray Titania coating with less poros-ity on the surface of titanium substrates. The microstructure of coatings with differ-ent compositions was then characterized using scanning electron microscopy, X-ray diffraction, and Raman spectroscopy to identify the crystal structure. All results con-sistently demonstrated that SPS could transform Ti2 O3 into TiO2 with mixed Magneli phases, such as Ti4 O7 and Ti3 O5, which usually show photocatalytic activity. Interfacial strength, hardness, young modulus, and fracture toughness were also improved with a high concentration of TiO2. Antibacterial test for E.Coli under LED light re-vealed that SPSed HAp/Gray Titania coating could significantly enhance antibacterial properties. The possible underlying mechanism of enhanced antibacterial properties can be attributed to increased Magneli phases and better bacterial adhesion caused by hydrophilic properties due to submicron size particles. SPS can fabricate visible light-responsive antibacterial coating, which can be used for medical devices.


title: Graphical functions in even dimensions

abstract: Graphical functions are special position space Feynman integrals, which can be used to calculate Feynman periods and one- or two-scale processes at high loop orders. With graphical functions, renormalization constants have been calculated to loop orders seven and eight in four-dimensional $\phi^4$ theory and to order five in six-dimensional $\phi^3$ theory. In this article we present the theory of graphical functions in even dimensions $\geq4$ with detailed reviews of known properties and full proofs whenever possible.


title: Noise-Tolerant Quantum Tokens for MAC

abstract: Message Authentication Code or MAC, is a well-studied cryptographic primitive that is used in order to authenticate communication between two parties sharing a secret key. A Tokenized MAC or TMAC is a related cryptographic primitive, introduced by Ben-David & Sattath (QCrypt'17) which allows limited signing authority to be delegated to third parties via the use of single-use quantum signing tokens. These tokens can be issued using the secret key, such that each token can be used to sign at most one document. We provide an elementary construction for TMAC based on BB84 states. Our construction can tolerate up to 14% noise, making it the first noise-tolerant TMAC construction. The simplicity of the quantum states required for our construction combined with its noise tolerance, makes it practically more feasible than the previous TMAC construction. The TMAC is existentially unforgeable against adversaries with signing and verification oracles (i.e., analogous to EUF-CMA security for MAC), assuming post-quantum one-way functions exist.


title: Optimal Seat Allocation Under Social Distancing Constraints

abstract: The Covid-19 pandemic introduces new challenges and constraints for return to work business planning. We describe a space allocation problem that incorporates social distancing constraints while optimising the number of available safe workspaces in a return to work scenario. We propose and demonstrate a graph based approach that solves the optimisation problem via modelling as a bipartite graph of disconnected components over a graph of constraints. We compare results obtained with a constrained random walk and a linear programming approach.


title: Optimizing the Phase Estimation Algorithm Applied to the Quantum Simulation of Heisenberg-Type Hamiltonians

abstract: The phase estimation algorithm is a powerful quantum algorithm with applications in cryptography, number theory, and simulation of quantum systems. We use this algorithm to simulate the time evolution of a system of two spin-1/2 particles under a Heisenberg Hamiltonian. The evolution is performed through both classical simulations of quantum computers and real quantum computers via IBM's Qiskit platform. We also introduce three optimizations to the algorithm: circular, iterative, and Bayesian. We apply these optimizations to our simulations and investigate how the performance improves. We also discuss the paradigms of iterative and update-based algorithms, which are attributes of these optimizations that can improve quantum algorithms generally.


title: Learning Optimal Decision Making for an Industrial Truck Unloading Robot using Minimal Simulator Runs

abstract: Consider a truck filled with boxes of varying size and unknown mass and an industrial robot with end-effectors that can unload multiple boxes from any reachable location. In this work, we investigate how would the robot with the help of a simulator, learn to maximize the number of boxes unloaded by each action. Most high-fidelity robotic simulators like ours are time-consuming. Therefore, we investigate the above learning problem with a focus on minimizing the number of simulation runs required. The optimal decision-making problem under this setting can be formulated as a multi-class classification problem. However, to obtain the outcome of any action requires us to run the time-consuming simulator, thereby restricting the amount of training data that can be collected. Thus, we need a data-efficient approach to learn the classifier and generalize it with a minimal amount of data. A high-fidelity physics-based simulator is common in general for complex manipulation tasks involving multi-body interactions. To this end, we train an optimal decision tree as the classifier, and for each branch of the decision tree, we reason about the confidence in the decision using a Probably Approximately Correct (PAC) framework to determine whether more simulator data will help reach a certain confidence level. This provides us with a mechanism to evaluate when simulation can be avoided for certain decisions, and when simulation will improve the decision making. For the truck unloading problem, our experiments show that a significant reduction in simulator runs can be achieved using the proposed method as compared to naively running the simulator to collect data to train equally performing decision trees.


title: Towards transparency in NLP shared tasks

abstract: This article reports on a survey carried out across the Natural Language Processing (NLP) community. The survey aimed to capture the opinions of the research community on issues surrounding shared tasks, with respect to both participation and organisation. Amongst the 175 responses received, both positive and negative observations were made. We carried out and report on an extensive analysis of these responses, which leads us to propose a Shared Task Organisation Checklist that could support future participants and organisers. The proposed Checklist is flexible enough to accommodate the wide diversity of shared tasks in our field and its goal is not to be prescriptive, but rather to serve as a tool that encourages shared task organisers to foreground ethical behaviour, beginning with the common issues that the 175 respondents deemed important. Its usage would not only serve as an instrument to reflect on important aspects of shared tasks, but would also promote increased transparency around them.


title: A Peculiarly Short-duration Gamma-Ray Burst from Massive Star Core Collapse

abstract: Gamma-ray bursts (GRBs) have been phenomenologically classified into long and short populations based on the observed bimodal distribution of duration. Multi-wavelength and multi-messenger observations in recent years have revealed that in general long GRBs originate from massive star core collapse events, whereas short GRBs originate from binary neutron star mergers. It has been known that the duration criterion is sometimes unreliable, and multi-wavelength criteria are needed to identify the physical origin of a particular GRB. Some apparently long GRBs have been suggested to have a neutron star merger origin, whereas some apparently short GRBs have been attributed to genuinely long GRBs whose short, bright emission is slightly above the detector's sensitivity threshold. Here we report the comprehensive analysis of the multi-wavelength data of a bright short GRB 200826A. Characterized by a sharp pulse, this burst shows a duration of 1 second and no evidence of an underlying longer-duration event. Its other observational properties such as its spectral behaviors, total energy, and host galaxy offset, are, however, inconsistent with those of other short GRBs believed to originate from binary neutron star mergers. Rather, these properties resemble those of long GRBs. This burst confirms the existence of short duration GRBs with stellar core-collapse origin, and presents some challenges to the existing models.


title: Strong and fast rising pressure waves emitted by plasmonic vapor nanobubbles

abstract: Plasmonic vapour nanobubbles are currently considered for a wide variety of applications ranging from solar energy harvesting and photoacoustic imaging to nanoparticle-assisted cancer therapy. Yet, due their small size and unstable nature, their generation and consequences remain difficult to characterize. Here, building on a phase-field model, we report on the existence of strong pressure waves that are emitted when vapor nanobubbles first form around a laser-heated nanoparticle immersed in water, and subsequently after bubble rebound. These effects are strongest when the fluid is locally brought high in its supercritical state, which may be realized with a short laser pulse. Because of the highly out-of-equilibrium nature of nanobubble generation, the waves combine a high pressure peak with a fast pressure rising time, and propagate in water over micron distances, opening the way to induce spatially and temporally localized damage. Discussing the consequences on biological cell membranes, we conclude that acoustic-mediated perforation is more efficient than nanobubble expansion to breach membrane. Our findings should serve as guide for optimizing the thermoacoustic conversion efficiency of plasmonic vapor nanobubbles.


title: Instability of all regular stationary solutions to reaction-diffusion-ODE systems

abstract: A general system of several ordinary differential equations coupled with a reaction-diffusion equation in a bounded domain with zero-flux boundary condition is studied in the context of pattern formation. These initial-boundary value problems may have regular (i.e. sufficiently smooth) stationary solutions. This class of {\it close-to-equilibrium} patterns includes stationary solutions that emerge due to the Turing instability of a spatially constant stationary solution. The main result of this work is instability of all regular patterns. It suggests that stable stationary solutions arising in models with non-diffusive components must be {\it far-from-equilibrium} exhibiting singularities. Such discontinuous stationary solutions have been considered in our parallel work [\textit{Stable discontinuous stationary solutions to reaction-diffusion-ODE systems}, preprint (2021)].


title: Optimal Receive Beamforming for Over-the-Air Computation

abstract: In this paper, we consider fast wireless data aggregation via over-the-air computation (AirComp) in Internet of Things (IoT) networks, where an access point (AP) with multiple antennas aim to recover the arithmetic mean of sensory data from multiple IoT devices. To minimize the estimation distortion, we formulate a mean-squared-error (MSE) minimization problem that involves the joint optimization of the transmit scalars at the IoT devices as well as the denoising factor and the receive beamforming vector at the AP. To this end, we derive the transmit scalars and the denoising factor in closed-form, resulting in a non-convex quadratic constrained quadratic programming (QCQP) problem concerning the receive beamforming vector.Different from the existing studies that only obtain sub-optimal beamformers, we propose a branch and bound (BnB) algorithm to design the globally optimal receive beamformer.Extensive simulations demonstrate the superior performance of the proposed algorithm in terms of MSE. Moreover, the proposed BnB algorithm can serve as a benchmark to evaluate the performance of the existing sub-optimal algorithms.


title: Uniqueness and Regularity of the Fractional Harmonic Gradient Flow in $S^{n-1}$

abstract: In this paper, we study the fractional harmonic gradient flow on $S^1$ taking values in $S^{n-1} \subset \mathbb{R}^n$ for every $n \geq 2$, in particular addressing uniqueness and regularity of solutions in the so-called energy class with sufficiently small energy, adding to the existing body of knowledge which includes existence of solutions and certain bubbling phenomena.


title: Rethinking and Reweighting the Univariate Losses for Multi-Label Ranking: Consistency and Generalization

abstract: (Partial) ranking loss is a commonly used evaluation measure for multi-label classification, which is usually optimized with convex surrogates for computational efficiency. Prior theoretical work on multi-label ranking mainly focuses on (Fisher) consistency analyses. However, there is a gap between existing theory and practice -- some pairwise losses can lead to promising performance but lack consistency, while some univariate losses are consistent but usually have no clear superiority in practice. In this paper, we attempt to fill this gap through a systematic study from two complementary perspectives of consistency and generalization error bounds of learning algorithms. Our results show that learning algorithms with the consistent univariate loss have an error bound of $O(c)$ ($c$ is the number of labels), while algorithms with the inconsistent pairwise loss depend on $O(\sqrt{c})$ as shown in prior work. This explains that the latter can achieve better performance than the former in practice. Moreover, we present an inconsistent reweighted univariate loss-based learning algorithm that enjoys an error bound of $O(\sqrt{c})$ for promising performance as well as the computational efficiency of univariate losses. Finally, experimental results validate our theoretical analyses.


title: String length constraining from the stochastic gravitational waves background

abstract: We study the stochastic gravitational waves from string gas cosmology. With the help of the Lambert W function, we derive the exact energy density spectrum of the stochastic gravitational waves in term of tensor-to-scalar. New feathers with the spectrum are found. First, the non-Hagedorn phase can be ruled out by the current B-mode polarization in the cosmic microwave background. Second, the exact spectrum from the Hagedorn phase with a logarithmic term is shown to be unique in the measurable frequency range. Third, which is the most important, we find the string length can be constrained to be lower than 7 $\sim$ orders of that Planck scale.


title: Are rare rogue fluctuations generic to strongly nonlinear and non-integrable systems?

abstract: Extensive dynamical simulations are used to explore the possible existence of sudden sufficiently large energy or rogue fluctuations (RF) at late times and across short time windows in the {\it strongly nonlinear regime} of the $\beta$-Fermi-Pasta-Ulam-Tsingou (FPUT) type systems. Our studies build on a study of RF in the non-dissipative granular chain system and suggest that {\it rare RF may be generic to non-integrable, strongly nonlinear systems at late enough times}. We comment on the role of initial conditions and the intriguing influence of harmonic forces on these strongly nonlinear systems. The RF under focus here are distinct from the well known Peregrine solitons used to describe rogue waves via the weakly nonlinear Schr\"odinger equation.


title: Adversarial examples attack based on random warm restart mechanism and improved Nesterov momentum

abstract: The deep learning algorithm has achieved great success in the field of computer vision, but some studies have pointed out that the deep learning model is vulnerable to attacks adversarial examples and makes false decisions. This challenges the further development of deep learning, and urges researchers to pay more attention to the relationship between adversarial examples attacks and deep learning security. This work focuses on adversarial examples, optimizes the generation of adversarial examples from the view of adversarial robustness, takes the perturbations added in adversarial examples as the optimization parameter. We propose RWR-NM-PGD attack algorithm based on random warm restart mechanism and improved Nesterov momentum from the view of gradient optimization. The algorithm introduces improved Nesterov momentum, using its characteristics of accelerating convergence and improving gradient update direction in optimization algorithm to accelerate the generation of adversarial examples. In addition, the random warm restart mechanism is used for optimization, and the projected gradient descent algorithm is used to limit the range of the generated perturbations in each warm restart, which can obtain better attack effect. Experiments on two public datasets show that the algorithm proposed in this work can improve the success rate of attacking deep learning models without extra time cost. Compared with the benchmark attack method, the algorithm proposed in this work can achieve better attack success rate for both normal training model and defense model. Our method has average attack success rate of 46.3077%, which is 27.19% higher than I-FGSM and 9.27% higher than PGD. The attack results in 13 defense models show that the attack algorithm proposed in this work is superior to the benchmark algorithm in attack universality and transferability.


title: $\mathrm{SL}_2(\mathbb{C})$-holonomy invariants of links

abstract: Quantum invariants like the colored Jones polynomial are algebraic in nature but are conjectured to detect important information about the geometry of links. In this thesis we explore these connections using an enhanced version of the RT construction. Our invariants take the holonomy of a flat connection on the link complement as input, so we call them holonomy invariants. The case of trivial holonomy recovers the ordinary RT construction. We consider holonomy representations into $\operatorname{SL}_2(\mathbb C)$, which are closely related to hyperbolic geometry. In order to define our invariants we consider a particular coordinate system on the space of representations closely related to the octahedral decomposition of the knot complement. We call the corresponding diagrams shaped tangles. Using shaped tangles we define a family of holonomy invariants $\mathrm{J}_N$ indexed by integers $N \ge 2$, which we call the nonabelian quantum dilogarithm. They can be interpreted as a noncommutative deformation of Kashaev's quantum dilogarithm (equivalently, the $N$th colored Jones polynomial at a $N$th root of unity) or of the ADO invariants, depending on the eigenvalues of the holonomy. Our construction depends in an essential way on representations of quantum $\mathfrak{sl}_2$ at $q = \xi$ a primitive $2N$th root of unity. We show that $\mathrm{J}_N$ is defined up to a power of $\xi$ and does not depend on the gauge class of the holonomy. Afterwards we introduce a version of the quantum double construction for the holonomy invariants. We show that the quantum double $\mathrm{T}_N$ of the nonabelian dilogarithm $\mathrm{J}_N$ admits a canonical normalization with no phase ambiguity. Finally, we prove that in the case $N = 2$ the doubled invariant $\mathrm{T}_2$ computes the Reidemeister torsion of the link complement twisted by the holonomy representation.


title: Gradient flow encoding with distance optimization adaptive step size

abstract: The autoencoder model uses an encoder to map data samples to a lower dimensional latent space and then a decoder to map the latent space representations back to the data space. Implicitly, it relies on the encoder to approximate the inverse of the decoder network, so that samples can be mapped to and back from the latent space faithfully. This approximation may lead to sub-optimal latent space representations. In this work, we investigate a decoder-only method that uses gradient flow to encode data samples in the latent space. The gradient flow is defined based on a given decoder and aims to find the optimal latent space representation for any given sample through optimisation, eliminating the need of an approximate inversion through an encoder. Implementing gradient flow through ordinary differential equations (ODE), we leverage the adjoint method to train a given decoder. We further show empirically that the costly integrals in the adjoint method may not be entirely necessary. Additionally, we propose a $2^{nd}$ order ODE variant to the method, which approximates Nesterov's accelerated gradient descent, with faster convergence per iteration. Commonly used ODE solvers can be quite sensitive to the integration step-size depending on the stiffness of the ODE. To overcome the sensitivity for gradient flow encoding, we use an adaptive solver that prioritises minimising loss at each integration step. We assess the proposed method in comparison to the autoencoding model. In our experiments, GFE showed a much higher data-efficiency than the autoencoding model, which can be crucial for data scarce applications.


title: Observation of nearly identical superconducting transition temperatures in pressurized Weyl semimetal MIrTe4 (M=Nb and Ta)

abstract: Here we report the observation of pressure-induced superconductivity in type-II Weyl semimetal (WSM) candidate NbIrTe4 and the evolution of its Hall coefficient (RH), magnetoresistance (MR), and lattice with increasing pressure to ~57 GPa. These results provide a significant opportunity to investigate the universal high-pressure behavior of ternary WSMs, including the sister compound TaIrTe4 that has been known through our previous studies. We find that the pressure-tuned evolution from the WSM to the superconducting (SC) state in these two compounds exhibit the same trend, i.e., a pressure-induced SC state emerges from the matrix of the non-superconducting WSM state at ~ 27 GPa, and then the WSM state and the SC state coexist up to 40 GPa. Above this pressure, an identical high-pressure behavior, characterized by almost the same value of RH and MR in its normal state and the same value of Tc in its SC state, appears in both compounds. Our results not only reveal a universal connection between the WSM state and SC state, but also demonstrate that NbIrTe4 and TaIrTe4 can make the same contribution to the normal and SC states that inhabit in the high-pressure phase, although these two compounds have dramatically different topological band structure at ambient pressure.


title: Few-body correlations in two-dimensional Bose and Fermi ultracold mixtures

abstract: Few-body correlations emerging in two-dimensional harmonically trapped mixtures, are comprehensively investigated. The presence of the trap leads to the formation of atom-dimer and trap states, in addition to trimers. The Tan's contacts of these eigenstates are studied for varying interspecies scattering lengths and mass ratio, while corresponding analytical insights are provided within the adiabatic hyperspherical formalism. The two- and three-body correlations of trimer states are substantially enhanced compared to the other eigenstates. The two-body contact of the atom-dimer and trap states features an upper bound regardless of the statistics, treated semi-classically and having an analytical prediction in the limit of large scattering lengths. Such an upper bound is absent in the three-body contact. Interestingly, by tuning the interspecies scattering length the contacts oscillate as the atom-dimer and trap states change character through the existent avoided-crossings in the energy spectra. For thermal gases, a gradual suppression of the involved two- and three-body correlations is evinced manifesting the impact of thermal effects. Moreover, spatial configurations of the distinct eigenstates ranging from localized structures to angular anisotropic patterns are captured. Our results provide valuable insights into the inherent correlation mechanisms of few-body mixtures which can be implemented in recent ultracold atom experiments and will be especially useful for probing the crossover from few- to many-atom systems.


title: Probing the Information-Probabilistic Description

abstract: The information conservation principle is probed for classically isolated systems, like the Hubble sphere and black holes, for which the rise of entanglement entropy across their horizons is expected. We accept the analogy of Landauer's principle that entanglement information should introduce some negative potential energy, which corresponds to the positive energy of measurements that destroy this quantum behavior. We estimated these dark-energy-like contributions and found that they can explain the dark energy of the Universe and also are able to resolve the observed superluminal motion and redshift controversies for black holes.


title: Black hole with confining electric potential in scalar-tensor description of regularized 4-dimensional Einstein-Gauss-Bonnet gravity

abstract: In this paper, we analytically present an exact confining charged black hole solution to the scalar-tensor description of regularized 4-dimensional Einstein-Gauss-Bonnet gravity (4DEGBG) coupled to non-linear gauge theory containing $\sqrt{-F^{2}}$ term. Part of the importance of using a non-trivial $4D$ theory of Gauss-Bonnet gravity is that it is proven the absence of the Ostrogradsky instability was formulated in [D. Glavan and C. Lin, Phys. Rev. Lett. 124, 081301 (2020)] and then regularized 4DEGBG theory was obtained in [Hennigar et al. JHEP 07, 027 (2020)] and [Fernandes et al. Phys. Rev. D 102, no.2, 024025 (2020)] as well as this theory gains many attention because of its important finding for black hole physics. We therefore also study some properties of this solution such as temperature, specific heat, shadow and quasinormal modes. Our results here show that a confining charge $f$ gives a significant contribution to the shadow of the black hole as well as quasinormal modes frequencies.


title: Spectral multipliers in group algebras and noncommutative Calder\'on-Zygmund theory

abstract: In this paper we solve three problems in noncommutative harmonic analysis which are related to endpoint inequalities for singular integrals. In first place, we prove that an $L_2$-form of H\"ormander's kernel condition suffices for the weak type (1,1) of Calder\'on-Zygmund operators acting on matrix-valued functions. To that end, we introduce an improved CZ decomposition for martingale filtrations in von Neumann algebras, and apply a very simple unconventional argument which notably avoids pseudolocalization. In second place, we establish as well the weak $L_1$ endpoint for matrix-valued CZ operators over nondoubling measures of polynomial growth, in the line of the work of Tolsa and Nazarov/Treil/Volberg. The above results are valid for other von Neumann algebras and solve in the positive two open problems formulated in 2009. An even more interesting problem is the lack of $L_1$ endpoint inequalities for singular Fourier and Schur multipliers over nonabelian groups. Given a locally compact group G equipped with a conditionally negative length $\psi: \mathrm{G} \to \mathbb{R}_+$, we prove that Herz-Schur multipliers with symbol $m \circ \psi$ satisfying a Mikhlin condition in terms of the $\psi$-cocycle dimension are of weak type $(1,1)$. Our result extends to Fourier multipliers for amenable groups and impose sharp regularity conditions on the symbol. The proof crucially combines our new CZ methods with novel forms of recent transference techniques. This $L_1$ endpoint gives a very much expected inequality which complements the $L_\infty \to \mathrm{BMO}$ estimates proved in 2014 by Junge, Mei and Parcet.


title: BikNN: Anomaly Estimation in Bilateral Domains with k-Nearest Neighbors

abstract: In this paper, a novel framework for anomaly estimation is proposed. The basic idea behind our method is to reduce the data into a two-dimensional space and then rank each data point in the reduced space. We attempt to estimate the degree of anomaly in both spatial and density domains. Specifically, we transform the data points into a density space and measure the distances in density domain between each point and its k-Nearest Neighbors in spatial domain. Then, an anomaly coordinate system is built by collecting two unilateral anomalies from k-nearest neighbors of each point. Further more, we introduce two schemes to model their correlation and combine them to get the final anomaly score. Experiments performed on the synthetic and real world datasets demonstrate that the proposed method performs well and achieve highest average performance. We also show that the proposed method can provide visualization and classification of the anomalies in a simple manner. Due to the complexity of the anomaly, none of the existing methods can perform best on all benchmark datasets. Our method takes into account both the spatial domain and the density domain and can be adapted to different datasets by adjusting a few parameters manually.


title: Particle-antiparticle in 4D charged Einstein-Gauss-Bonnet black hole

abstract: We study the charge of the 4D-Einstein-Gauss-Bonnet black hole by a negative charge and a positive charge of a particle-antiparticle pair on the horizons r- and r+, respectively. We show that there are two types of the Schwarzschild black hole. We show also that the Einstein-Gauss-Bonnet black hole charge has quantified values. We obtain the Hawking-Bekenstein formula with two logarithmic corrections, the second correction depends on the cosmological constant and the black hole charge. Finally, we study the thermodynamics of the EGB-AdS black hole.


title: Curved space equilibration vs. flat space thermalization (a short review)

abstract: We discuss equilibration process in expanding universes as compared to the thermalization process in Minkowski space--time. The final goal is to answer the following question: Is the equilibrium reached before the rapid expansion stops and quantum effects have a negligible effect on the background geometry or stress--energy fluxes in a highly curved early Universe have strong effects on the expansion rate and the equilibrium is reached only after the drastic decrease of the space--time curvature? We argue that consideration of more generic non--invariant states in theories with invariant actions is a necessary ingredient to understand quantum field dynamics in strongly curved backgrounds. We are talking about such states in which correlation functions are not functions of such isometry invariants as geodesic distances, while having correct UV behaviour. The reason to consider such states is the presence of IR secular memory effects for generic time dependent backgrounds, which are totally absent in equilibrium. These effects strongly affect the destiny of observables in highly curved space--times.


title: Inverse problems for diffusion equation with fractional Dzherbashian-Nersesian operator

abstract: Fractional Dzherbashian-Nersesian operator is considered and three famous fractional order derivatives namely Riemann-Liouville, Caputo and Hilfer derivatives are shown to be special cases of the earlier one. The expression for Laplace transform of fractional Dzherbashian-Nersesian operator is constructed. Inverse problems of recovering space dependent and time dependent source terms of a time fractional diffusion equation with involution and involving fractional Dzherbashian-Nersesian operator are considered. The results on existence and uniqueness for the solutions of inverse problems are established. The results obtained here generalize several known results.


title: English Accent Accuracy Analysis in a State-of-the-Art Automatic Speech Recognition System

abstract: Nowadays, research in speech technologies has gotten a lot out thanks to recently created public domain corpora that contain thousands of recording hours. These large amounts of data are very helpful for training the new complex models based on deep learning technologies. However, the lack of dialectal diversity in a corpus is known to cause performance biases in speech systems, mainly for underrepresented dialects. In this work, we propose to evaluate a state-of-the-art automatic speech recognition (ASR) deep learning-based model, using unseen data from a corpus with a wide variety of labeled English accents from different countries around the world. The model has been trained with 44.5K hours of English speech from an open access corpus called Multilingual LibriSpeech, showing remarkable results in popular benchmarks. We test the accuracy of such ASR against samples extracted from another public corpus that is continuously growing, the Common Voice dataset. Then, we present graphically the accuracy in terms of Word Error Rate of each of the different English included accents, showing that there is indeed an accuracy bias in terms of accentual variety, favoring the accents most prevalent in the training corpus.


title: Far-field approximations to the derivatives and integrals of the Green's function for the Ffowcs Williams and Hawkings equation

abstract: We report far-field approximations to the derivatives and integrals of the Green's function for the Ffowcs Williams and Hawkings equation in the frequency domain. The approximations are based on the far-field asymptotic of the Green's function. The details of the derivations of the proposed formulations are provided.


title: Complexity of bipartite spherical spin glasses

abstract: This paper characterizes the annealed complexity of bipartite spherical spin glasses, both pure and mixed. This means we give exact variational formulas for the asymptotics of the expected numbers of critical points and of local minima. This problem was initially considered by [Auffinger, Chen 2014], who gave upper and lower bounds on this complexity. We find two surprising connections between pure bipartite and pure single-species spin glasses, which were studied by [Auffinger, Ben Arous, \v{C}ern\'y 2013]. First, the local minima of any pure bipartite model lie primarily in a low-energy band, similar to the single-species case. Second, for a more restricted set of pure $(p, q)$ bipartite models, the complexity matches exactly that of a pure $p + q$ single-species model.


title: Understanding Deep MIMO Detection

abstract: Incorporating deep learning (DL) into multiple-input multiple-output (MIMO) detection has been deemed as a promising technique for future wireless communications. However, most DL-based detection algorithms are lack of theoretical interpretation on internal mechanisms and could not provide general guidance on network design. In this paper, we analyze the performance of DL-based MIMO detection to better understand its strengths and weaknesses. We investigate two different architectures: a data-driven DL detector with a neural network activated by rectifier linear unit (ReLU) function and a model-driven DL detector from unfolding a traditional iterative detection algorithm. We demonstrate that data-driven DL detector asymptotically approaches to the maximum a posterior (MAP) detector in various scenarios but requires enough training samples to converge in time-varying channels. On the other hand, the model-driven DL detector utilizes model expert knowledge to alleviate the impact of channels and establish a relatively reliable detection method with a small set of training data. Due to its model specific property, the performance of model-driven DL detector is largely determined by the underlying iterative detection algorithm, which is usually suboptimal compared to the MAP detector. Simulation results confirm our analytical results and demonstrate the effectiveness of DL-based MIMO detection for both linear and nonlinear signal systems.


title: NF-iSAM: Incremental Smoothing and Mapping via Normalizing Flows

abstract: This paper presents a novel non-Gaussian inference algorithm, Normalizing Flow iSAM (NF-iSAM), for solving SLAM problems with non-Gaussian factors and/or non-linear measurement models. NF-iSAM exploits the expressive power of neural networks, and trains normalizing flows to draw samples from the joint posterior of non-Gaussian factor graphs. By leveraging the Bayes tree, NF-iSAM is able to exploit the sparsity structure of SLAM, thus enabling efficient incremental updates similar to iSAM2, albeit in the more challenging non-Gaussian setting. We demonstrate the performance of NF-iSAM and compare it against the state-of-the-art algorithms such as iSAM2 (Gaussian) and mm-iSAM (non-Gaussian) in synthetic and real range-only SLAM datasets.


title: A transform approach to polycyclic and serial codes over rings

abstract: In this paper, a transform approach is used for polycyclic and serial codes over finite local rings in the case that the defining polynomials have no multiple roots. This allows us to study them in terms of linear algebra and invariant subspaces as well as understand the duality in terms of the transform domain. We also make a characterization of when two polycyclic ambient spaces are Hamming-isometric.


title: Joule-Thomson expansion of the quasitopological black holes

abstract: In this paper, we investigate the thermal stability and Joule-Thomson expansion of some new qusitopological black hole solutions. We first study the higher-dimensional static quasitopological black hole solutions in the presence of Born-Infeld, exponential and logarithmic nonlinear electrodynamics. The stable regions of these solutions are independent of the types of the nonlinear electrodynamics. The solutions with the horizons relating to the positive constant curvature, $k=+1$, have a larger region in thermal stability, if we choose positive quasitopological coefficients, $\mu_{i}>0$. We also have a review on the power Maxwell quasitopological black hole. Then, we obtain the five-dimensional Yang-Mills quasitopological black hole solution and compare with the quasitopological Maxwell solution. For large values of the electric charge, $q$, and the Yang-Mills charge, $e$, we showed that the stable range of the Maxwell quasitopological black hole is larger than the Yang-Mills one. This is while thermal stability for small charges has the same behavior for these black holes. In the following, we obtain the thermodynamic quantities for these solutions and then study the Joule-Thomson expansion. We consider the temperature changes in an isenthalpy process during this expansion. The obtained results show that the inversion curves can divide the isenthalpic ones into two parts in the inversion pressure, $P_{i}$. For $P<P_{i}$, a cooling phenomena with positive slope happens in $T-P$ diagram, while there is a heating process with negative slope for $P>P_{i}$. As the values of the nonlinear parameter, $\beta$, the electric and Yang-Mills charges decrease, the temperature goes to zero with a small slope and so the heating phenomena happens slowly.


title: Lemke Oliver and Soundararajan bias for consecutive sums of two squares

abstract: In a surprising recent work, Lemke Oliver and Soundararajan noticed how experimental data exhibits erratic distributions for consecutive pairs of primes in arithmetic progressions, and proposed a heuristic model based on the Hardy--Littlewood conjectures containing a large secondary term, which fits the data very well. In this paper, we study consecutive pairs of sums of squares in arithmetic progressions, and develop a similar heuristic model based on the Hardy--Littlewood conjecture for sums of squares, which also explain the biases in the experimental data. In the process, we prove several results related to averages of the Hardy--Littlewood constant in the context of sums of two squares.


title: The quest to quantify selective and synergistic effects of plasma for cancer treatment: Insights from mathematical modeling

abstract: Cold atmospheric plasma (CAP) and plasma-treated liquids (PTLs) have recently become a promising option for cancer treatment, but the underlying mechanisms of the anti-cancer effect are still to a large extent unknown. Although hydrogen peroxide has been recognized as the major anti-cancer agent of PTL and may enable selectivity in a certain concentration regime, the co-existence of nitrite can create a synergistic effect. We develop a mathematical model to describe the key species and features of the cellular response towards PTL. From the numerical solutions, we define a number of dependent variables, which represent feasible measures to quantify cell susceptibility in terms of the hydrogen peroxide membrane diffusion rate constant and the intracellular catalase concentration. For each of these dependent variables, we investigate the regimes of selective versus non-selective, and of synergistic versus non-synergistic effect to evaluate their potential role as a measure of cell susceptibility. Our results suggest that the maximal intracellular hydrogen peroxide concentration, which in the selective regime is almost four times greater for the most susceptible cells compared to the most resistant cells, could be used to quantify the cell susceptibility towards exogenous hydrogen peroxide. We believe our theoretical approach brings novelty to the field of plasma oncology, and more broadly, to the field of redox biology, by proposing new ways to quantify the selective and synergistic anti-cancer effect of PTL in terms of inherent cell features.


title: Cosmology in the mimetic higher-curvature $f(R, R_{\mu\nu}R^{\mu\nu})$ gravity

abstract: In the framework of the mimetic approach, we study the $f(R,R_{\mu\nu}R^{\mu\nu})$ gravity with the Lagrange multiplier constraint and the scalar potential. We introduce field equations for the discussed theory and overview their properties. By using the general reconstruction scheme we obtain the power law cosmology model for the $f(R,R_{\mu\nu}R^{\mu\nu})=R+d(R_{\mu\nu}R^{\mu\nu})^p$ case as well as the model that describes symmetric bounce. Moreover, we reconstruct model, unifying both matter dominated and accelerated phases, where ordinary matter is neglected. Using inverted reconstruction scheme we recover specific $f(R,R_{\mu\nu}R^{\mu\nu})$ function which give rise to the de-Sitter evolution. Finally, by employing the perfect fluid approach, we demonstrate that this model can realize inflation consistent with the bounds coming from the BICEP2/Keck array and the Planck data. Thus, it is suggested that the introduced extension of the mimetic regime may describe any given cosmological model.


title: Landscape complexity beyond invariance and the elastic manifold

abstract: This paper characterizes the annealed, topological complexity (both of total critical points and of local minima) of the elastic manifold. This classical model of a disordered elastic system captures point configurations with self-interactions in a random medium. We establish the simple-vs.-glassy phase diagram in the model parameters, with these phases separated by a physical boundary known as the Larkin mass, confirming formulas of Fyodorov and Le Doussal. One essential, dynamical, step of the proof also applies to a general signal-to-noise model of soft spins in an anisotropic well, for which we prove a negative-second-moment threshold distinguishing positive from zero complexity. A universal near-critical behavior appears within this phase portrait, namely quadratic near-critical vanishing of the complexity of total critical points, and cubic near-critical vanishing of the complexity of local minima. These two models serve as a paradigm of complexity calculations for Gaussian landscapes exhibiting few distributional symmetries, i.e. beyond the invariant setting. The two main inputs for the proof are determinant asymptotics for non-invariant random matrices from our companion paper [Ben Arous, Bourgade, McKenna 2021], and the atypical convexity and integrability of the limiting variational problems.

categories: math.PR cond-mat.dis-nn cond-mat.stat-mech math-ph math.MP


title: Joint Text and Label Generation for Spoken Language Understanding

abstract: Generalization is a central problem in machine learning, especially when data is limited. Using prior information to enforce constraints is the principled way of encouraging generalization. In this work, we propose to leverage the prior information embedded in pretrained language models (LM) to improve generalization for intent classification and slot labeling tasks with limited training data. Specifically, we extract prior knowledge from pretrained LM in the form of synthetic data, which encode the prior implicitly. We fine-tune the LM to generate an augmented language, which contains not only text but also encodes both intent labels and slot labels. The generated synthetic data can be used to train a classifier later. Since the generated data may contain noise, we rephrase the learning from generated data as learning with noisy labels. We then utilize the mixout regularization for the classifier and prove its effectiveness to resist label noise in generated data. Empirically, our method demonstrates superior performance and outperforms the baseline by a large margin.


title: Performance of CVD diamond detectors for single ion beam-tagging applications in hadrontherapy monitoring

abstract: In the context of online ion range verification in particle therapy, the CLaRyS collaboration is developing Prompt-Gamma (PG) detection systems. The originality in the CLaRyS approach is to use a beam-tagging hodoscope in coincidence with the gamma detectors to provide both temporal and spatial information of the incoming ions. The ion range sensitivity of such PG detection systems could be improved by detecting single ions with a 100 ps ($\sigma$) time resolution, through a quality assurance procedure at low beam intensity at the beginning of the treatment session. This work presents the investigations led to assess the performance of Chemical Vapor Deposition (CVD) diamond detectors to fulfill these requirements. A $^{90}$Sr beta source, 68 MeV protons, 95 MeV/u carbon ions and a synchrotron X-ray pulsed beam were used to measure the time resolution, single ion detection efficiency and proton counting capability of various CVD diamond samples. An offline technique, based on double-sided readout with fast current preamplifiers and used to improve the signal-to-noise ratio, is also presented. The different tests highlighted Time-Of-Flight resolutions ranging from 13 ps ($\sigma$) to 250 ps ($\sigma$), depending on the experimental conditions. The single 68 MeV proton detection efficiency of various large area polycrystalline (pCVD) samples was measured to be $>$96% using coincidence measurements with a single-crystal reference detector. Single-crystal CVD (sCVD) diamond proved to be able to count a discrete number of simultaneous protons while it was not achievable with a polycrystalline sample. Considering the results of the present study, two diamond hodoscope demonstrators are under development: one based on sCVD, and one of larger size based on pCVD. They will be used for the purpose of single ion as well as ion bunches detection, either at reduced or clinical beam intensities.


title: Exact entanglement growth of a one-dimensional hard-core quantum gas during a free expansion

abstract: We consider the non-equilibrium dynamics of the entanglement entropy of a one-dimensional quantum gas of hard-core particles, initially confined in a box potential at zero temperature. At $t=0$ the right edge of the box is suddenly released and the system is let free to expand. During this expansion, the initially correlated region propagates with a non-homogeneous profile, leading to the growth of entanglement entropy. This setting is investigated in the hydrodynamic regime, with tools stemming from semi-classical Wigner function approach and with recent developments of quantum fluctuating hydrodynamics. Within this framework, the entanglement entropy can be associated to a correlation function of chiral twist-fields of the conformal field theory that lives along the Fermi contour and it can be exactly determined. Our predictions for the entanglement evolution are found in agreement with and generalize previous results in literature based on numerical calculations and heuristic arguments.


title: Uhlmann Fidelity and Fidelity Susceptibility for Integrable Spin Chains at Finite Temperature: Exact Results

abstract: We derive the exact expression for the Uhlmann fidelity between arbitrary thermal Gibbs states of the quantum XY model in a transverse field with finite system size. Using it, we conduct a thorough analysis of the fidelity susceptibility of thermal states for the Ising model in a transverse field. We compare the exact results with a common approximation that considers only the positive-parity subspace, which is shown to be valid only at high temperatures. The proper inclusion of the odd parity subspace leads to the enhancement of maximal fidelity susceptibility in the intermediate range of temperatures. We show that this enhancement persists in the thermodynamic limit and scales quadratically with the system size. The correct low-temperature behavior is captured by an approximation involving the two lowest many-body energy eigenstates, from which simple expressions are obtained for the thermal susceptibility and specific heat.

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


title: Multi-epoch spectroscopy of Mg II broad absorption line transitions

abstract: Built upon a sample of 134 quasars that was dedicated to a systematic study of \mgii-BAL variability from Yi et al. (2019a), we investigate these quasars showing \mgii-BAL disappearance or emergence with the aid of at least three epoch optical spectra sampled more than 15 yr in the observed frame. We identified 3/3 quasars undergoing pristine/tentative BAL transformations. The incidence of pristine BAL transformations in the sample is therefore derived to be 2.2$_{-1.2}^{+2.2}$\%, consistent with that of high-ionization BAL transformations from the literature. Adopting an average \mgii-BAL disappearance timescale of rest-frame 6.89 yr among the six quasars, the average characteristic lifetime of \mgii\ BALs in the sample is constrained to be $>$160 yr along our line of sight. There is a diversity of BAL-profile variability observed in the six quasars, probably reflecting a variety of mechanisms at work. Our investigations of \mgii-BAL transitions, combined with observational studies of BAL transitions from the literature, imply an overall FeLoBAL/LoBAL$\rightarrow$HiBAL/non-BAL transformation sequence along with a decrease in reddening. This sequence is consistent with the evacuation models for the origin of commonly seen blue quasars, in which LoBAL quasars are in a shorted-lived, blowout phase.


title: Ultra-diluted gas transmittance revisited

abstract: The paper analyzes a model of optical transmittance of ultra-diluted gas, considering gas particles' non-locality and the quantum effect of their wave function spreading derived from solving the Schr\"odinger equation for a free particle. The analysis does not depend on a particular form of the wave function, but it assumes the reality of wave function. Among others, we show conserved mass gas clouds may become significantly more transparent than predicted by classic transmittance laws. This unexpected phenomenon is possible because mass conservation is governed by the sum of probabilities, while the Markov chain's product of probabilities controls the transmittance. Furthermore, we analytically derive the upper limit the closed system transmittance may grow and demonstrate a boundless, open gas cloud transmittance may grow up to 100%. Finally, we show the impact on interpretations of quantum mechanics. The model is naturally applicable in deep space conditions, where the environment is sparse. Furthermore, the model responds to dark matter requirements.


title: Hidden diagonal integrability of $q$-Hahn vertex model and Beta polymer model

abstract: We study a new integrable probabilistic system, defined in terms of a stochastic colored vertex model on a square lattice. The main distinctive feature of our model is a new family of parameters attached to diagonals rather than to rows or columns, like in other similar models. Because of these new parameters the previously known results about vertex models cannot be directly applied, but nevertheless the integrability remains, and we prove explicit integral expressions for $q$-deformed moments of the (colored) height functions of the model. Following known techniques our model can be interpreted as a $q$-discretization of the Beta polymer model from arXiv:1503.04117 with a new family of parameters, also attached to diagonals. To demonstrate how integrability with respect to the new diagonal parameters works, we extend the known results about Tracy-Widom large-scale fluctuations of the Beta polymer model.


title: Classicalization of Quantum Fluctuations at the Planck Scale in the R_h=ct Universe

abstract: The quantum to classical transition of fluctuations in the early universe is still not completely understood. Some headway has been made incorporating the effects of decoherence and the squeezing of states, though the methods and procedures continue to be challenged. But new developments in the analysis of the most recent Planck data suggest that the primordial power spectrum has a cutoff associated with the very first quantum fluctuation to have emerged into the semi-classical universe from the Planck domain at about the Planck time. In this paper, we examine the implications of this result on the question of classicalization, and demonstrate that the birth of quantum fluctuations at the Planck scale would have been a `process' supplanting the need for a `measurement' in quantum mechanics. Emerging with a single wavenumber, these fluctuations would have avoided the interference between different degrees of freedom in a superposed state. Moreover, the implied scalar-field potential had an equation-of-state consistent with the zero active mass condition in general relativity, allowing the quantum fluctuations to emerge in their ground state with a time-independent frequency. They were therefore effectively quantum harmonic oscillators with classical correlations in phase space from the very beginning.


title: Estimating the State of Epidemics Spreading with Graph Neural Networks

abstract: When an epidemic spreads into a population, it is often unpractical or impossible to have a continuous monitoring of all subjects involved. As an alternative, algorithmic solutions can be used to infer the state of the whole population from a limited amount of measures. We analyze the capability of deep neural networks to solve this challenging task. Our proposed architecture is based on Graph Convolutional Neural Networks. As such it can reason on the effect of the underlying social network structure, which is recognized as the main component in the spreading of an epidemic. We test the proposed architecture with two scenarios modeled on the CoVid-19 pandemic: a generic homogeneous population, and a toy model of Boston metropolitan area.


title: Semi-Supervised Metric Learning: A Deep Resurrection

abstract: Distance Metric Learning (DML) seeks to learn a discriminative embedding where similar examples are closer, and dissimilar examples are apart. In this paper, we address the problem of Semi-Supervised DML (SSDML) that tries to learn a metric using a few labeled examples, and abundantly available unlabeled examples. SSDML is important because it is infeasible to manually annotate all the examples present in a large dataset. Surprisingly, with the exception of a few classical approaches that learn a linear Mahalanobis metric, SSDML has not been studied in the recent years, and lacks approaches in the deep SSDML scenario. In this paper, we address this challenging problem, and revamp SSDML with respect to deep learning. In particular, we propose a stochastic, graph-based approach that first propagates the affinities between the pairs of examples from labeled data, to that of the unlabeled pairs. The propagated affinities are used to mine triplet based constraints for metric learning. We impose orthogonality constraint on the metric parameters, as it leads to a better performance by avoiding a model collapse.


title: Current Algorithms for Detecting Subgraphs of Bounded Treewidth are Probably Optimal

abstract: The Subgraph Isomorphism problem is of considerable importance in computer science. We examine the problem when the pattern graph H is of bounded treewidth, as occurs in a variety of applications. This problem has a well-known algorithm via color-coding that runs in time $O(n^{tw(H)+1})$ [Alon, Yuster, Zwick'95], where $n$ is the number of vertices of the host graph $G$. While there are pattern graphs known for which Subgraph Isomorphism can be solved in an improved running time of $O(n^{tw(H)+1-\varepsilon})$ or even faster (e.g. for $k$-cliques), it is not known whether such improvements are possible for all patterns. The only known lower bound rules out time $n^{o(tw(H) / \log(tw(H)))}$ for any class of patterns of unbounded treewidth assuming the Exponential Time Hypothesis [Marx'07]. In this paper, we demonstrate the existence of maximally hard pattern graphs $H$ that require time $n^{tw(H)+1-o(1)}$. Specifically, under the Strong Exponential Time Hypothesis (SETH), a standard assumption from fine-grained complexity theory, we prove the following asymptotic statement for large treewidth $t$: For any $\varepsilon > 0$ there exists $t \ge 3$ and a pattern graph $H$ of treewidth $t$ such that Subgraph Isomorphism on pattern $H$ has no algorithm running in time $O(n^{t+1-\varepsilon})$. Under the more recent 3-uniform Hyperclique hypothesis, we even obtain tight lower bounds for each specific treewidth $t \ge 3$: For any $t \ge 3$ there exists a pattern graph $H$ of treewidth $t$ such that for any $\varepsilon>0$ Subgraph Isomorphism on pattern $H$ has no algorithm running in time $O(n^{t+1-\varepsilon})$. In addition to these main results, we explore (1) colored and uncolored problem variants (and why they are equivalent for most cases), (2) Subgraph Isomorphism for $tw < 3$, (3) Subgraph Isomorphism parameterized by pathwidth, and (4) a weighted problem variant.


title: Common workflows for computing material properties using different quantum engines

abstract: The prediction of material properties through electronic-structure simulations based on density-functional theory has become routinely common, thanks, in part, to the steady increase in the number and robustness of available simulation packages. This plurality of codes and methods aiming to solve similar problems is both a boon and a burden. While providing great opportunities for cross-verification, these packages adopt different methods, algorithms, and paradigms, making it challenging to choose, master, and efficiently use any one for a given task. Leveraging recent advances in managing reproducible scientific workflows, we demonstrate how developing common interfaces for workflows that automatically compute material properties can tackle the challenge mentioned above, greatly simplifying interoperability and cross-verification. We introduce design rules for reproducible and reusable code-agnostic workflow interfaces to compute well-defined material properties, which we implement for eleven different quantum engines and use to compute three different material properties. Each implementation encodes carefully selected simulation parameters and workflow logic, making the implementer's expertise of the quantum engine directly available to non-experts. Full provenance and reproducibility of the workflows is guaranteed through the use of the AiiDA infrastructure. All workflows are made available as open-source and come pre-installed with the Quantum Mobile virtual machine, making their use straightforward.


title: Electronic structure of YbFe$_4$Al$_8$ antiferromagnet: A combined X-ray photoelectron spectroscopy and first-principles study

abstract: Depending on their chemical composition, Yb compounds often exhibit different valence states. Here we investigate the valence state of YbFe$_4$Al$_8$ using X-ray photoelectron spectroscopy (XPS) and first-principles calculaions. The XPS valence band of YbFe$_4$Al$_8$ consists of two contributions coming from divalent (Yb$^{2+}$) and trivalent (Yb$^{3+}$) configurations. The determined value of the valence at room temperature is 2.81. Divalent and trivalent contributions are also observed for core-level Yb 4$d$ XPS spectra. We study several collinear antiferromagnetic models of YbFe$_4$Al$_8$ from the first-principles and for comparison we also consider LuFe$_4$Al$_8$ with a fully filled 4$f$ shell. We predict that only Fe sublattices of YbFe$_4$Al$_8$ carry significant magnetic moments and that the most stable magnetic configuration is AFM-C with antiparallel columns of magnetic moments. We also present a Mullliken electronic population analysis describing charge transfer both within and between atoms. In addition, we also study the effect of intra-atomic Coulomb U repulsion term applied for 4$f$ orbitals on Yb valence and Fe magnetic moments.


title: Coulomb impurity on a Dice lattice: atomic collapse and bound states

abstract: The modification of the quantum states in a Dice lattice due to a Coulomb impurity are investigated. The energy band structure of a pristine Dice lattice consists of a Dirac cone and a flat band at the Dirac point. We use the tight binding formalism and find that the flat band states transform into a set of discrete bound states whose electron density is localized on a ring around the impurity mainly on two of the three sublattices. The energy is proportional to the strength of the Coulomb impurity. Beyond a critical strength of the Coulomb potential atomic collapse states appear that have some similarity with those found in graphene with the difference that the flat band states contribute with an additional ring-like electron density that is spatially decoupled from the atomic collapse part. At large value of the strength of the Coulomb impurity the flat band bound states anti-cross with the atomic collapse states.


title: ChaLearn LAP Large Scale Signer Independent Isolated Sign Language Recognition Challenge: Design, Results and Future Research

abstract: The performances of Sign Language Recognition (SLR) systems have improved considerably in recent years. However, several open challenges still need to be solved to allow SLR to be useful in practice. The research in the field is in its infancy in regards to the robustness of the models to a large diversity of signs and signers, and to fairness of the models to performers from different demographics. This work summarises the ChaLearn LAP Large Scale Signer Independent Isolated SLR Challenge, organised at CVPR 2021 with the goal of overcoming some of the aforementioned challenges. We analyse and discuss the challenge design, top winning solutions and suggestions for future research. The challenge attracted 132 participants in the RGB track and 59 in the RGB+Depth track, receiving more than 1.5K submissions in total. Participants were evaluated using a new large-scale multi-modal Turkish Sign Language (AUTSL) dataset, consisting of 226 sign labels and 36,302 isolated sign video samples performed by 43 different signers. Winning teams achieved more than 96% recognition rate, and their approaches benefited from pose/hand/face estimation, transfer learning, external data, fusion/ensemble of modalities and different strategies to model spatio-temporal information. However, methods still fail to distinguish among very similar signs, in particular those sharing similar hand trajectories.


title: Discovery and confirmation of the shortest gamma ray burst from a collapsar

abstract: Gamma-ray bursts (GRBs) are among the brightest and most energetic events in the universe. The duration and hardness distribution of GRBs has two clusters, now understood to reflect (at least) two different progenitors. Short-hard GRBs (SGRBs; T90 <2 s) arise from compact binary mergers, while long-soft GRBs (LGRBs; T90 >2 s) have been attributed to the collapse of peculiar massive stars (collapsars). The discovery of SN 1998bw/GRB 980425 marked the first association of a LGRB with a collapsar and AT 2017gfo/GRB 170817A/GW170817 marked the first association of a SGRB with a binary neutron star merger, producing also gravitational wave (GW). Here, we present the discovery of ZTF20abwysqy (AT2020scz), a fast-fading optical transient in the Fermi Satellite and the InterPlanetary Network (IPN) localization regions of GRB 200826A; X-ray and radio emission further confirm that this is the afterglow. Follow-up imaging (at rest-frame 16.5 days) reveals excess emission above the afterglow that cannot be explained as an underlying kilonova (KN), but is consistent with being the supernova (SN). Despite the GRB duration being short (rest-frame T90 of 0.65 s), our panchromatic follow-up data confirms a collapsar origin. GRB 200826A is the shortest LGRB found with an associated collapsar; it appears to sit on the brink between a successful and a failed collapsar. Our discovery is consistent with the hypothesis that most collapsars fail to produce ultra-relativistic jets.


title: Optimizing Stabilizer Parities for Improved Logical Qubit Memories

abstract: We study variants of Shor's code that are adept at handling single-axis correlated idling errors, which are commonly observed in many quantum systems. By using the repetition code structure of the Shor's code basis states, we calculate the logical channel applied to the encoded information when subjected to coherent and correlated single qubit idling errors, followed by stabilizer measurement. Changing the signs of the stabilizer generators allows us to change how the coherent errors interfere, leading to a quantum error correcting code which performs as well as a classical repetition code of equivalent distance against these errors. We demonstrate a factor of 4 improvement of the logical memory in a distance-3 logical qubit implemented on a trapped-ion quantum computer. Even-distance versions of our Shor code variants are decoherence-free subspaces and fully robust to identical and independent coherent idling noise.


title: Zero-Shot Generalization using Intrinsically Motivated Compositional Emergent Protocols

abstract: Human language has been described as a system that makes \textit{use of finite means to express an unlimited array of thoughts}. Of particular interest is the aspect of compositionality, whereby, the meaning of a compound language expression can be deduced from the meaning of its constituent parts. If artificial agents can develop compositional communication protocols akin to human language, they can be made to seamlessly generalize to unseen combinations. Studies have recognized the role of curiosity in enabling linguistic development in children. In this paper, we seek to use this intrinsic feedback in inducing a systematic and unambiguous protolanguage. We demonstrate how compositionality can enable agents to not only interact with unseen objects but also transfer skills from one task to another in a zero-shot setting: \textit{Can an agent, trained to `pull' and `push twice', `pull twice'?}.


title: Disentangling the critical signatures of neural activity

abstract: The critical brain hypothesis has emerged as an attractive framework to understand neuronal activity, but it is still widely debated. In this work, we analyze data from a multi-electrodes array in the rat's cortex and we find that power-law neuronal avalanches satisfying the crackling-noise relation coexist with spatial correlations that display typical features of critical systems. In order to shed a light on the underlying mechanisms at the origin of these signatures of criticality, we introduce a paradigmatic framework with a common stochastic modulation and pairwise linear interactions inferred from our data. We show that in such models power-law avalanches that satisfy the crackling noise relation emerge as a consequence of the extrinsic modulation, whereas scale-free correlations are solely determined by internal interactions. Moreover, this disentangling is fully captured by the mutual information in the system. Finally, we show that analogous power-law avalanches are found in more realistic models of neural activity as well, suggesting that extrinsic modulation might be a broad mechanism for their generation.


title: Accelerating Amoebots via Reconfigurable Circuits

abstract: We consider an extension to the geometric amoebot model that allows amoebots to form so-called \emph{circuits}. Given a connected amoebot structure, a circuit is a subgraph formed by the amoebots that permits the instant transmission of signals. We show that such an extension allows for significantly faster solutions to a variety of problems related to programmable matter. More specifically, we provide algorithms for leader election, consensus, compass alignment, chirality agreement and shape recognition. Leader election can be solved in $\Theta(\log n)$ rounds, w.h.p., consensus in $O(1)$ rounds and both, compass alignment and chirality agreement, can be solved in $O(\log n)$ rounds, w.h.p. For shape recognition, the amoebots have to decide whether the amoebot structure forms a particular shape. We show how the amoebots can detect a parallelogram with linear and polynomial side ratio within $\Theta(\log{n})$ rounds, w.h.p. Finally, we show that the amoebots can detect a shape composed of triangles within $O(1)$ rounds, w.h.p.


title: The Impact of Incomplete Information on Network Formation with Heterogeneous Agents

abstract: We propose an agent-based network formation model under uncertainty with the objective of relaxing the common assumption of complete information, calling attention to the role beliefs may play in segregation. We demonstrate that our model is capable of generating a set of networks that encompasses those of a complete information model. Further, we show that by allowing agents to be biased toward each other based on observable attributes, our model is able to generate homophilous equilibria with preferences that are indifferent to these attributes. We accompany our theoretical results with a simulation-based investigation of the relationship between beliefs and segregation and show that biased beliefs are an important driver of segregation under incomplete information.


title: Stability of hybrid pantograph stochastic functional differential equations

abstract: In this paper, we study a new type of stochastic functional differential equations which is called hybrid pantograph stochastic functional differential equations. We investigate several moment properties and sample properties of the solutions to the equations by using the method of multiple Lyapunov functions, such as the moment exponential stability, almost sure exponential stability and almost sure polynomial stability, etc.