title: Multimode soliton collisions in graded-index optical fibers

abstract: In this work, we unveil the unique complex dynamics of multimode soliton interactions in graded-index optical fibers through simulations and experiments. By generating two multimode solitons from the fission of an input femtosecond pulse, we examine the evolution of their Raman-induced red-shift when the input pulse energy grows larger. Remarkably, we find that the output red-shift of the trailing multimode soliton may be reduced, so that it accelerates until it collides with the leading multimode soliton. As a result of the inelastic collision, a significant energy transfer occurs between the two multimode solitons: the trailing soliton captures energy from the leading soliton, which ultimately enhances its red-shift, thus increasing temporal separation between the two multimode solitons.


title: Sparsity Winning Twice: Better Robust Generalization from More Efficient Training

abstract: Recent studies demonstrate that deep networks, even robustified by the state-of-the-art adversarial training (AT), still suffer from large robust generalization gaps, in addition to the much more expensive training costs than standard training. In this paper, we investigate this intriguing problem from a new perspective, i.e., injecting appropriate forms of sparsity during adversarial training. We introduce two alternatives for sparse adversarial training: (i) static sparsity, by leveraging recent results from the lottery ticket hypothesis to identify critical sparse subnetworks arising from the early training; (ii) dynamic sparsity, by allowing the sparse subnetwork to adaptively adjust its connectivity pattern (while sticking to the same sparsity ratio) throughout training. We find both static and dynamic sparse methods to yield win-win: substantially shrinking the robust generalization gap and alleviating the robust overfitting, meanwhile significantly saving training and inference FLOPs. Extensive experiments validate our proposals with multiple network architectures on diverse datasets, including CIFAR-10/100 and Tiny-ImageNet. For example, our methods reduce robust generalization gap and overfitting by 34.44% and 4.02%, with comparable robust/standard accuracy boosts and 87.83%/87.82% training/inference FLOPs savings on CIFAR-100 with ResNet-18. Besides, our approaches can be organically combined with existing regularizers, establishing new state-of-the-art results in AT. Codes are available in https://github.com/VITA-Group/Sparsity-Win-Robust-Generalization.


title: On the Dynamics of Solid, Liquid and Digital Gold Futures

abstract: This paper examines the determinants of the volatility of futures prices and basis for three commodities: gold, oil and bitcoin -- often dubbed solid, liquid and digital gold -- by using contract-by-contract analysis which has been previously applied to crude oil futures volatility investigations. By extracting the spot and futures daily prices as well as the maturity, trading volume and open interest data for the three assets from 18th December 2017 to 30th November 2021, we find a positive and significant role for trading volume and a possible negative influence of open interest, when significant, in shaping the volatility in all three assets, supporting earlier findings in the context of oil futures. Additionally, we find maturity has a relatively positive significance for bitcoin and oil futures price volatility. Furthermore, our analysis demonstrates that maturity affects the basis of bitcoin and gold positively -- confirming the general theory that the basis converges to zero as maturity nears for bitcoin and gold -- while oil is affected in both directions.


title: Maximally Chaotic Dynamical Systems and Fundamental Interactions

abstract: We give a general review on the application of Ergodic theory to the investigation of dynamics of the Yang-Mills gauge fields and of the gravitational systems, as well as its application in the Monte Carlo method and fluid dynamics. In ergodic theory the maximally chaotic dynamical systems (MCDS) can be defined as dynamical systems that have nonzero Kolmogorov entropy. The hyperbolic dynamical systems that fulfil the Anosov C-condition belong to the MCDS insofar as they have exponential instability of their phase trajectories and positive Kolmogorov entropy. It follows that the C-condition defines a rich class of MCDS that span over an open set in the space of all dynamical systems. The large class of Anosov-Kolmogorov MCDS is realised on Riemannian manifolds of negative sectional curvatures and on high-dimensional tori. The interest in MCDS is rooted in the attempts to understand the relaxation phenomena, the foundations of the statistical mechanics, the appearance of turbulence in fluid dynamics, the non-linear dynamics of Yang-Mills field and gravitating N-body systems as well as black hole thermodynamics. Our aim is to investigate classical- and quantum-mechanical properties of MCDS and their role in the theory of fundamental interactions.

categories: hep-th astro-ph.GA math-ph math.MP nlin.CD


title: Evolution and Mutations of Beta 2 Microglobulin

abstract: Here we examine the evolution of beta-2 microglobulin in terms of its hydropathic shapes, a theoretical construct that has revealed important trends. The dynamics of many proteins are largely driven by interactions between the protein itself and the thin water film that covers it. \b{eta}2m constitutes the basic building unit of the immunoglobulin superfamily; the evolution of its amino acid sequences from chickens to mice to humans provides new information about its multiple functions. Our hydrodynamic method involves concepts of topological shape evolution towards a critical point for optimized functions. The results are in excellent agreement with experiment for the details of the mouse-human evolution, as well as both the dangerous natural amyloid aggregation mutation D76N, and six other DN test mutations.


title: Personalized Federated Learning with Exact Stochastic Gradient Descent

abstract: In Federated Learning (FL), datasets across clients tend to be heterogeneous or personalized, and this poses challenges to the convergence of standard FL schemes that do not account for personalization. To address this, we present a new approach for personalized FL that achieves exact stochastic gradient descent (SGD) minimization. We start from the FedPer (Arivazhagan et al., 2019) neural network (NN) architecture for personalization, whereby the NN has two types of layers: the first ones are the common layers across clients, while the few final ones are client-specific and are needed for personalization. We propose a novel SGD-type scheme where, at each optimization round, randomly selected clients perform gradient-descent updates over their client-specific weights towards optimizing the loss function on their own datasets, without updating the common weights. At the final update, each client computes the joint gradient over both client-specific and common weights and returns the gradient of common parameters to the server. This allows to perform an exact and unbiased SGD step over the full set of parameters in a distributed manner, i.e. the updates of the personalized parameters are performed by the clients and those of the common ones by the server. Our method is superior to FedAvg and FedPer baselines in multi-class classification benchmarks such as Omniglot, CIFAR-10, MNIST, Fashion-MNIST, and EMNIST and has much lower computational complexity per round.


title: Realistic non-Gaussian operations scheme in parity detection based Mach-Zehnder quantum interferometry

abstract: We theoretically analyze phase sensitivity using parity detection based Mach Zehnder interferometer (MZI) with the input states generated by performing non-Gaussian operations, viz., photon subtraction, photon addition, and photon catalysis on a two-mode squeezed vacuum (TMSV) state. Since these non-Gaussian operations are probabilistic, it is of utmost importance to take the success probability into account. To this end, we consider the realistic model of photon subtraction, addition, and catalysis and derive a single expression of the Wigner function for photon subtracted, added, and catalyzed TMSV state. The Wigner function is used to evaluate the lower bound on the phase sensitivity via quantum Cramer-Rao bound and parity detection based phase sensitivity in MZI. We identify the ranges of squeezing and transmissivity parameters where the non-Gaussian states provide better phase sensitivity than the TMSV state. On qualitatively taking the success probability into account, it turns out that the photon addition is the most advantageous non-Gaussian operation. We hope that the generalized Wigner function derived in this work will be useful in various quantum information protocols and state characterization.


title: A Novel Framework for Brain Tumor Detection Based on Convolutional Variational Generative Models

abstract: Brain tumor detection can make the difference between life and death. Recently, deep learning-based brain tumor detection techniques have gained attention due to their higher performance. However, obtaining the expected performance of such deep learning-based systems requires large amounts of classified images to train the deep models. Obtaining such data is usually boring, time-consuming, and can easily be exposed to human mistakes which hinder the utilization of such deep learning approaches. This paper introduces a novel framework for brain tumor detection and classification. The basic idea is to generate a large synthetic MRI images dataset that reflects the typical pattern of the brain MRI images from a small class-unbalanced collected dataset. The resulted dataset is then used for training a deep model for detection and classification. Specifically, we employ two types of deep models. The first model is a generative model to capture the distribution of the important features in a set of small class-unbalanced brain MRI images. Then by using this distribution, the generative model can synthesize any number of brain MRI images for each class. Hence, the system can automatically convert a small unbalanced dataset to a larger balanced one. The second model is the classifier that is trained using the large balanced dataset to detect brain tumors in MRI images. The proposed framework acquires an overall detection accuracy of 96.88% which highlights the promise of the proposed framework as an accurate low-overhead brain tumor detection system.


title: Matter Effects of Sterile Neutrino in Light of Renormalization-Group Equations

abstract: The renormalization-group equation (RGE) approach to neutrino matter effects is further developed in this work. We derive a complete set of differential equations for effective mixing elements, masses and Jarlskog-like invariants in presence of a light sterile neutrino. The evolutions of mixing elements as well as Jarlskog-like invariants are obtained by numerically solving these differential equations. We calculate terrestrial matter effects in long-baseline (LBL) experiments, taking NOvA, T2K and DUNE as examples. In both three-flavor and four-flavor frameworks, electron-neutrino survival probabilities as well as the day-night asymmetry of solar neutrino are also evaluated as a further examination of the RGE approach.


title: Cross-Task Knowledge Distillation in Multi-Task Recommendation

abstract: Multi-task learning (MTL) has been widely used in recommender systems, wherein predicting each type of user feedback on items (e.g, click, purchase) are treated as individual tasks and jointly trained with a unified model. Our key observation is that the prediction results of each task may contain task-specific knowledge about user's fine-grained preference towards items. While such knowledge could be transferred to benefit other tasks, it is being overlooked under the current MTL paradigm. This paper, instead, proposes a Cross-Task Knowledge Distillation framework that attempts to leverage prediction results of one task as supervised signals to teach another task. However, integrating MTL and KD in a proper manner is non-trivial due to several challenges including task conflicts, inconsistent magnitude and requirement of synchronous optimization. As countermeasures, we 1) introduce auxiliary tasks with quadruplet loss functions to capture cross-task fine-grained ranking information and avoid task conflicts, 2) design a calibrated distillation approach to align and distill knowledge from auxiliary tasks, and 3) propose a novel error correction mechanism to enable and facilitate synchronous training of teacher and student models. Comprehensive experiments are conducted to verify the effectiveness of our framework in real-world datasets.


title: Normalized Volumes of Type-PQ Adjacency Polytopes for Certain Classes of Graphs

abstract: The type-PQ adjacency polytope associated to a simple graph is a $0/1$-polytope containing valuable information about an underlying power network. Chen and the first author have recently demonstrated that, when the underlying graph $G$ is connected, the normalized volumes of the adjacency polytopes can be computed by counting sequences of nonnegative integers satisfying restrictions determined by $G$. This article builds upon their work, namely by showing that one of their main results -- the so-called "triangle recurrence" -- applies in a more general setting. Formulas for the normalized volumes when $G$ is obtained by deleting a path or a cycle from a complete graph are also established.


title: Score Driven Generalized Fitness Model for Sparse and Weighted Temporal Networks

abstract: While the vast majority of the literature on models for temporal networks focuses on binary graphs, often one can associate a weight to each link. In such cases the data are better described by a weighted, or valued, network. An important well known fact is that real world weighted networks are typically sparse. We propose a novel time varying parameter model for sparse and weighted temporal networks as a combination of the fitness model, appropriately extended, and the score driven framework. We consider a zero augmented generalized linear model to handle the weights and an observation driven approach to describe time varying parameters. The result is a flexible approach where the probability of a link to exist is independent from its expected weight. This represents a crucial difference with alternative specifications proposed in the recent literature, with relevant implications for the flexibility of the model. Our approach also accommodates for the dependence of the network dynamics on external variables. We present a link forecasting analysis to data describing the overnight exposures in the Euro interbank market and investigate whether the influence of EONIA rates on the interbank network dynamics has changed over time.


title: ChemTab: A Physics Guided Chemistry Modeling Framework

abstract: Modeling of turbulent combustion system requires modeling the underlying chemistry and the turbulent flow. Solving both systems simultaneously is computationally prohibitive. Instead, given the difference in scales at which the two sub-systems evolve, the two sub-systems are typically (re)solved separately. Popular approaches such as the Flamelet Generated Manifolds (FGM) use a two-step strategy where the governing reaction kinetics are pre-computed and mapped to a low-dimensional manifold, characterized by a few reaction progress variables (model reduction) and the manifold is then "looked-up" during the run-time to estimate the high-dimensional system state by the flow system. While existing works have focused on these two steps independently, we show that joint learning of the progress variables and the look-up model, can yield more accurate results. We propose a deep neural network architecture, called ChemTab, customized for the joint learning task and experimentally demonstrate its superiority over existing state-of-the-art methods.


title: Non-Deterministic Face Mask Removal Based On 3D Priors

abstract: This paper presents a novel image inpainting framework for face mask removal. Although current methods have demonstrated their impressive ability in recovering damaged face images, they suffer from two main problems: the dependence on manually labeled missing regions and the deterministic result corresponding to each input. The proposed approach tackles these problems by integrating a multi-task 3D face reconstruction module with a face inpainting module. Given a masked face image, the former predicts a 3DMM-based reconstructed face together with a binary occlusion map, providing dense geometrical and textural priors that greatly facilitate the inpainting task of the latter. By gradually controlling the 3D shape parameters, our method generates high-quality dynamic inpainting results with different expressions and mouth movements. Qualitative and quantitative experiments verify the effectiveness of the proposed method.


title: Multi-objective optimization: basic approaches and moving beyond them through flexible skyline queries

abstract: The area of scientific research that deals with the simultaneous optimization of several (possibly conflicting) criteria is named multi-objective optimization. The ability to efficiently filter and extract interesting data out of large datasets is one of the key tasks in modern database systems. This paper provides a general overview of the most common approaches employed to handle the problem in the field of databases, and describes a novel framework named flexible skylines. After analyzing the main differences between single and multi-optimization problems, I will discuss the three main basic approaches used to handle multi-optimization problems: lexicographic approach, top-k queries and skylines. Each methodology will be discussed, analyzing the pros, the range of applicability and the main issues, which motivate the need to introduce the flexible skylines innovative framework. A review of this approach will show its superiority with respect to the basic approaches, as well as the capability to overcome the majority of their drawbacks.


title: The real equiangular tight frames obtained from rank $3$ graphs

abstract: We present all nontrivial real equiangular tight frames $\{\varphi_m\}_{m=1}^M$ in $\mathbb{R}^N$ obtained as spherical embeddings of primitive rank $3$ graphs on $M$ vertices, and those such that one of their associated $M$ strongly regular graphs on $M-1$ vertices is a primitive rank $3$ graph.


title: Cooperative Artificial Intelligence

abstract: In the future, artificial learning agents are likely to become increasingly widespread in our society. They will interact with both other learning agents and humans in a variety of complex settings including social dilemmas. We argue that there is a need for research on the intersection between game theory and artificial intelligence, with the goal of achieving cooperative artificial intelligence that can navigate social dilemmas well. We consider the problem of how an external agent can promote cooperation between artificial learners by distributing additional rewards and punishments based on observing the actions of the learners. We propose a rule for automatically learning how to create the right incentives by considering the anticipated parameter updates of each agent. Using this learning rule leads to cooperation with high social welfare in matrix games in which the agents would otherwise learn to defect with high probability. We show that the resulting cooperative outcome is stable in certain games even if the planning agent is turned off after a given number of episodes, while other games require ongoing intervention to maintain mutual cooperation. Finally, we reflect on what the goals of multi-agent reinforcement learning should be in the first place, and discuss the necessary building blocks towards the goal of building cooperative AI.


title: Isometry groups of skewed $\Gamma$-complexes

abstract: Let $A_\Gamma$ be a right-angled Artin group. Charney, Vogtmann and the author constructed an outer space for $\text{Out}(A_\Gamma)$ generalizing both $CV_n$ for $\text{Out}(F_n)$ and the symmetric space $\text{SL}_n(\mathbb{R})/\text{SO}_n(\mathbb{R})$ for $\text{GL}_n(\mathbb{Z})$. Points in this space are equivalence classes of pairs $(X,\rho)$ where $\rho\colon X\rightarrow \mathbb{S}_\Gamma$ is a homotopy equivalence from $X$ to the Salvetti complex $\mathbb{S}_\Gamma$ and $X$ is a locally CAT(0) space called a skewed $\Gamma$-complex. In this note we show that any isometry of a skewed $\Gamma$-complex which is homotopic to the identity lies in the identity component of $\text{Isom}(X)$. As a corollary, we prove that the group of path components of $\text{Isom}(X)$ is finite and injects into $\text{Out}(A_\Gamma)$.


title: How might Driver Licensing and Vehicle Registration evolve if we adopt Autonomous Cars and Digital Identification?

abstract: It has been said that fewer or greater numbers of driver's licenses may be issued in future. However, when we extrapolate based on comparisons to other transport domains that have high levels of automation like aviation, the future for driver's licenses may not be so up in the air. Introduction of autonomous systems in aviation frequently leads to pilot retraining, and while modern commercial jets are generally sufficiently capable to take off, fly to their destination and land with little in the way of human intervention, pilots are still required and every pilot must hold a current license with ratings for the types of plane they command. Contemporary in-service training for commercial pilots has shifted focus from extended practicing of general flight skills like navigation and radio use. Pilots now spend many hours each year in simulators training to building knowledge, experience and thus muscle memory for how to respond when the airplane's extensive interconnected collection of semi- and fully-autonomous fly-by-wire systems go awry. While the plane itself is actually flying for much of the time during most flights today, the pilot's license still attests to their ability to assume full control and complete the flight where it becomes necessary. We contend a similar future may exist for driver training and licensure.


title: Experimental Verification of Illusion Optics with Optical Null Media

abstract: We experimentally show the results of the illusion device designed by the transformation optics (TO) technique. The coordinate transformation maps a zero thickness in virtual space to a finite region in physical space, yielding extreme material properties called optical null media (ONM). As a result, an object placed inside the core media will look larger to an outside observer. ONM media is realized using metal-dielectric layered structures in cylindrical coordinates. Also closed-form solutions for the scattering field from a cylindrical object are given in detail to prove illusion effect analytically. ONM media is realized using air and iron sheets in radial structure using effective medium theory. We experimentally fabricate the ONM and show the scattering effect using the ONM. For achieving illusion validation, a metallic pipe has been inserted into the center of the core medium made of Plexiglas and surrounded by ONM.


title: Four classic problems

abstract: In this work we survey four classic problems: Borsuk's partition problem, Tarski's plank problem, the Kneser--Poulsen problem on the monotonicity of the union of balls under a contraction of their centers, and the Hadwiger--Levi problem on covering convex bodies by their smaller positively homothetic copies.


title: R\'esolution du jeu de Juniper Green

abstract: In this article, we describe the solution of the Juniper Green game for every integer, with techniques that are elementary enough to be explained to students who have mastered the notions of divisors and multiples. A general method allows us to solve the game for almost every integer, then there are less than fifty cases left to deal with. Each of these cases can be solved within a few minutes, with a paper and a pencil. -- Dans cet article, nous d\'ecrivons la r\'esolution du jeu de Juniper Green pour tout entier, avec des techniques suffisamment \'el\'ementaires pour \^etre expliqu\'ees \`a des \'el\`eves ma\^itrisant les notions de diviseurs et multiples. Une m\'ethode g\'en\'erale permet de r\'esoudre le jeu pour presque tout entier, si bien qu'il reste alors moins de cinquante cas \`a traiter, chacun pouvant \^etre r\'esolu au prix d'une \'etude sur papier de quelques minutes.


title: On the usefulness of lattice approximations for fractional Gaussian fields

abstract: Fractional Gaussian fields provide a rich class of spatial models and have a long history of applications in multiple branches of science. However, estimation and inference for fractional Gaussian fields present significant challenges. This book chapter investigates the use of the fractional Laplacian differencing on regular lattices to approximate to continuum fractional Gaussian fields. Emphasis is given on model based geostatistics and likelihood based computations. For a certain range of the fractional parameter, we demonstrate that there is considerable agreement between the continuum models and their lattice approximations. For that range, the parameter estimates and inferences about the continuum fractional Gaussian fields can be derived from the lattice approximations. Interestingly, regular lattice approximations facilitate fast matrix-free computations and enable anisotropic representations. We illustrate the usefulness of lattice approximations via simulation studies and by analyzing sea surface temperature on the Indian Ocean.


title: Number of $k$-normal elements over a finite field

abstract: An element $\alpha \in \mathbb{F}_{q^n}$ is a normal element over $\mathbb{F}_q$ if the conjugates $\alpha^{q^i}$, $0 \leq i \leq n-1$, are linearly independent over $\mathbb{F}_q$. Hence a normal basis for $\mathbb{F}_{q^n}$ over $\mathbb{F}_q$ is of the form $\{\alpha,\alpha^q, \ldots, \alpha^{q^{n-1}}\}$, where $\alpha \in \mathbb{F}_{q^n}$ is normal over $\mathbb{F}_q$. In 2013, Huczynska, Mullen, Panario and Thomson introduce the concept of k-normal elements, as a generalization of the notion of normal elements. In the last few years, several results have been known about these numbers. In this paper, we give an explicit combinatorial formula for the number of $k$-normal elements in the general case, answering an open problem proposed by Huczynska et al. (2013).


title: Interacting Contour Stochastic Gradient Langevin Dynamics

abstract: We propose an interacting contour stochastic gradient Langevin dynamics (ICSGLD) sampler, an embarrassingly parallel multiple-chain contour stochastic gradient Langevin dynamics (CSGLD) sampler with efficient interactions. We show that ICSGLD can be theoretically more efficient than a single-chain CSGLD with an equivalent computational budget. We also present a novel random-field function, which facilitates the estimation of self-adapting parameters in big data and obtains free mode explorations. Empirically, we compare the proposed algorithm with popular benchmark methods for posterior sampling. The numerical results show a great potential of ICSGLD for large-scale uncertainty estimation tasks.


title: ExAIS: Executable AI Semantics

abstract: Neural networks can be regarded as a new programming paradigm, i.e., instead of building ever-more complex programs through (often informal) logical reasoning in the programmers' mind, complex 'AI' systems are built by optimising generic neural network models with big data. In this new paradigm, AI frameworks such as TensorFlow and PyTorch play a key role, which is as essential as the compiler for traditional programs. It is known that the lack of a proper semantics for programming languages (such as C), i.e., a correctness specification for compilers, has contributed to many problematic program behaviours and security issues. While it is in general hard to have a correctness specification for compilers due to the high complexity of programming languages and their rapid evolution, we have a unique opportunity to do it right this time for neural networks (which have a limited set of functions, and most of them have stable semantics). In this work, we report our effort on providing a correctness specification of neural network frameworks such as TensorFlow. We specify the semantics of almost all TensorFlow layers in the logical programming language Prolog. We demonstrate the usefulness of the semantics through two applications. One is a fuzzing engine for TensorFlow, which features a strong oracle and a systematic way of generating valid neural networks. The other is a model validation approach which enables consistent bug reporting for TensorFlow models.


title: Redundancy Resolution at Position Level

abstract: Increasing the degrees of freedom of robotic systems makes them more versatile and flexible. This usually renders the system kinematically redundant: the main manipulation or interaction task does not fully determine its joint maneuvers. Additional constraints or objectives are required to solve the under-determined control and planning problems. The state-of-the-art approaches arrange tasks in a hierarchy and decouple lower from higher priority tasks on velocity or torque level using projectors. We develop an approach to redundancy resolution and decoupling on position level by determining subspaces of the configurations space independent of the primary task. We call them \emph{orthogonal foliations} because they are, in a certain sense, orthogonal to the task self-motion manifolds. The approach provides a better insight into the topological properties of robot kinematics and control problems, allowing a global view. A condition for the existence of orthogonal foliations is derived. If the condition is not satisfied, we will still find approximate solutions by numerical optimization. Coordinates can be defined on these orthogonal foliations and can be used as additional task variables for control. We show in simulations that we can control the system without the need for projectors using these coordinates, and we validate the approach experimentally on a 7-DoF robot.


title: Progress on stochastic analytic continuation of quantum Monte Carlo data

abstract: We report multipronged progress on the stochastic averaging approach to numerical analytic continuation of quantum Monte Carlo data. With the sampled spectrum parametrized with delta-functions in continuous frequency space, a calculation of the configurational entropy lends support to a simple goodness-of-fit criterion for the optimal sampling temperature. To further investigate entropic effects, we compare spectra sampled in continuous frequency with results of amplitudes sampled on a fixed frequency grid. We demonstrate equivalences between sampling and optimizing spectral functions with the maximum-entropy approach with different forms of the entropy. These insights revise prevailing notions of the maximum-entropy method and its relationship to stochastic analytic continuation. We further explore various adjustable (optimized) constraints that allow sharp spectral features to be resolved, in particular at the lower frequency edge. The constraints, e.g., the location of the edge or the spectral weight of a quasi-particle peak, are optimized using a statistical criterion. We show that this method can correctly reproduce both narrow and broad quasi-particle peaks. We next introduce a parametrization for more intricate spectral functions with sharp edges, e.g., power-law singularities. Tests with synthetic data as well as with real simulation data for the spin-1/2 Heisenberg chain demonstrate that constrained sampling methods can reproduce spectral functions with sharp edge features at unprecedented fidelity. We present new results for S=1/2 Heisenberg 2-leg and 3-leg ladders to illustrate the ability of the methods to resolve spectral features arising from both elementary and composite excitations. Finally, we also propose how the methods developed here could be used as "pre processors" for analytic continuation by machine learning.


title: First moments of the nucleon transverse quark spin densities using lattice QCD

abstract: We present a calculation of the Mellin moments of the transverse quark spin densities in the nucleon using lattice QCD. The densities are extracted from the unpolarized and transversity generalized form factors extrapolated to the continuum limit using three $N_f=2+1+1$ twisted mass fermion gauge ensembles simulated with physical quark masses and spanning three lattice spacings. The first moment of transversely polarized quarks in an unpolarized nucleon shows an interesting distortion, which can be traced back to the sharp falloff of the transversity generalized form factor $\bar{B}_{Tn0}(t)$. The isovector tensor anomalous magnetic moment is determined to be $\kappa_T=1.051(94)$, which confirms a negative and large Boer-Mulders function, $h_1^{\perp}$, in the nucleon.


title: Localized model reduction for nonlinear elliptic partial differential equations: localized training, partition of unity, and adaptive enrichment

abstract: We propose a component-based (CB) parametric model order reduction (pMOR) formulation for parameterized {nonlinear} elliptic partial differential equations (PDEs). CB-pMOR is designed to deal with large-scale problems for which full-order solves are not affordable in a reasonable time frame or parameters' variations induce topology changes that prevent the application of monolithic pMOR techniques. We rely on the partition-of-unity method (PUM) to devise global approximation spaces from local reduced spaces, and on Galerkin projection to compute the global state estimate. We propose a randomized data compression algorithm based on oversampling for the construction of the components' reduced spaces: the approach exploits random boundary conditions of controlled smoothness on the oversampling boundary. We further propose an adaptive residual-based enrichment algorithm that exploits global reduced-order solves on representative systems to update the local reduced spaces. We prove exponential convergence of the enrichment procedure for linear coercive problems; we further present numerical results for a two-dimensional nonlinear diffusion problem to illustrate the many features of our proposal and demonstrate its effectiveness.


title: NetSentry: A Deep Learning Approach to Detecting Incipient Large-scale Network Attacks

abstract: Machine Learning (ML) techniques are increasingly adopted to tackle ever-evolving high-profile network attacks, including DDoS, botnet, and ransomware, due to their unique ability to extract complex patterns hidden in data streams. These approaches are however routinely validated with data collected in the same environment, and their performance degrades when deployed in different network topologies and/or applied on previously unseen traffic, as we uncover. This suggests malicious/benign behaviors are largely learned superficially and ML-based Network Intrusion Detection System (NIDS) need revisiting, to be effective in practice. In this paper we dive into the mechanics of large-scale network attacks, with a view to understanding how to use ML for Network Intrusion Detection (NID) in a principled way. We reveal that, although cyberattacks vary significantly in terms of payloads, vectors and targets, their early stages, which are critical to successful attack outcomes, share many similarities and exhibit important temporal correlations. Therefore, we treat NID as a time-sensitive task and propose NetSentry, perhaps the first of its kind NIDS that builds on Bidirectional Asymmetric LSTM (Bi-ALSTM), an original ensemble of sequential neural models, to detect network threats before they spread. We cross-evaluate NetSentry using two practical datasets, training on one and testing on the other, and demonstrate F1 score gains above 33% over the state-of-the-art, as well as up to 3 times higher rates of detecting attacks such as XSS and web bruteforce. Further, we put forward a novel data augmentation technique that boosts the generalization abilities of a broad range of supervised deep learning algorithms, leading to average F1 score gains above 35%.


title: Single copy of the Ricci flow

abstract: The perturbative double copy is by now a highly established correspondence between gravity and gauge theories. Non-perturbatively, information ranging from classical solutions to topological quantities on both sides have been related to each other via the double copy correspondence. In this paper, we add another result, where we show that the single copy of the Ricci flow is the Yang-Mills flow on the space of connections of a principal $\text{U}(1)$-bundle.


title: Trying to Outrun Causality with Machine Learning: Limitations of Model Explainability Techniques for Identifying Predictive Variables

abstract: Machine Learning explainability techniques have been proposed as a means of `explaining' or interrogating a model in order to understand why a particular decision or prediction has been made. Such an ability is especially important at a time when machine learning is being used to automate decision processes which concern sensitive factors and legal outcomes. Indeed, it is even a requirement according to EU law. Furthermore, researchers concerned with imposing overly restrictive functional form (e.g., as would be the case in a linear regression) may be motivated to use machine learning algorithms in conjunction with explainability techniques, as part of exploratory research, with the goal of identifying important variables which are associated with an outcome of interest. For example, epidemiologists might be interested in identifying `risk factors' - i.e. factors which affect recovery from disease - by using random forests and assessing variable relevance using importance measures. However, and as we demonstrate, machine learning algorithms are not as flexible as they might seem, and are instead incredibly sensitive to the underling causal structure in the data. The consequences of this are that predictors which are, in fact, critical to a causal system and highly correlated with the outcome, may nonetheless be deemed by explainability techniques to be unrelated/unimportant/unpredictive of the outcome. Rather than this being a limitation of explainability techniques per se, we show that it is rather a consequence of the mathematical implications of regression, and the interaction of these implications with the associated conditional independencies of the underlying causal structure. We provide some alternative recommendations for researchers wanting to explore the data for important variables.


title: Performance Analysis of Optimally Coordinated Connected and Automated Vehicles in a Mixed Traffic Environment

abstract: Trajectory planning of connected and automated vehicles (CAVs) poses significant challenges in a mixed traffic environment due to the presence of human-driven vehicles (HDVs). In this paper, we apply a framework that allows coordination of CAVs and HDVs traveling through a traffic corridor consisting of an on-ramp merging, a speed reduction zone, and a roundabout. We study the impact of different penetration rates of CAVs and traffic volumes on the efficiency of the corridor. We provide extensive simulation results and report on the benefits in terms of total travel time and fuel economy.


title: On proportionality in multi-issue problems with crossed claims

abstract: In this paper, we analyze the problem of how to adapt the concept of proportionality to situations where several perfectly divisible resources have to be allocated among certain set of agents that have exactly one claim which is used for all resources. In particular, we introduce the constrained proportional awards rule, which extend the classical proportional rule to these situations. Moreover, we provide an axiomatic characterization of this rule.


title: Resolution to Sutner's Conjecture

abstract: Consider a game played on a simple graph $G = (V,E)$ where each vertex consists of a clickable light. Clicking any vertex $v$ toggles the on/off state of $v$ and its neighbors. One wins the game by finding a sequence of clicks that turns off all the lights. When $G$ is a $5 \times 5$ grid, this game was commercially available from Tiger Electronics as Lights Out. Sutner was one of the first to study these games mathematically. He found that when $d(G) = \text{dim}(\text{ker}(A + I))$ over the field $GF(2)$, where $A$ is the adjacency matrix of $G$, is 0 all initial configurations are solvable. When investigating $n \times n$ grid graphs, Sutner conjectured that $d_{2n+1} = 2d_{n} + \delta_{n}, \delta_{n} \in \{0,2\}, \delta_{2n+1} = \delta_{n}$, where $d_n = d(G)$ for $G$ an $n \times n$ grid graph. We resolve this conjecture in the affirmative. We use results from Sutner that give $d_n$ as the GCD of two polynomials in the ring $\mathbb{Z}_2[x]$. We then apply identities from Hunziker, Machiavelo, and Park that relate the polynomials of $(2n+1) \times (2n+1)$ grids and $n \times n$ grids. Finally, we use a result from Ore about the GCD of two products. Together these results allow us to prove Sutner's conjecture. We then go further and show for exactly which values of $n$ $\delta_n$ is 0 or 2.


title: On a non local non-homogeneous fractional Timoshenko system with frictional and viscoelastic damping terms

abstract: We are devoted to the study of a nonhomogeneous time-fractional Timoshenko system with frictional and viscoelastic damping terms. We are concerned with the well-posedness of the given problem. The approach relies on some functional-analysis tools, operator theory, a prori estimates, and density arguments.


title: Pairwise Nonlinear Dependence Analysis of Genomic Data

abstract: In The Cancer Genome Atlas (TCGA) data set, there are many interesting nonlinear dependencies between pairs of genes that reveal important relationships and subtypes of cancer. Such genomic data analysis requires a rapid, powerful and interpretable detection process, especially in a high-dimensional environment. We study the nonlinear patterns among the expression of pairs of genes from TCGA using a powerful tool called Binary Expansion Testing. We find many nonlinear patterns, some of which are driven by known cancer subtypes, some of which are novel.


title: Observation of Long-Radial-Range-Correlation in Turbulence in High-Collisionality High-Confinement Fusion Plasmas

abstract: We report on the observation of spatially asymmetric turbulent structures with a long radial correlation length in the core of high-collisionality H-mode plasmas on DIII-D tokamak. These turbulent structures develop from shorter wavelength turbulence and have a radially elongated structure. The envelope of turbulence spans a broad radial range in the mid-radius region, leading to streamer-like transport events. The underlying turbulence is featured by intermittency, long-term memory effect, and the characteristic spectrum of self-organized criticality. The amplitude and the radial scale increase substantially when the shearing rate of the mean flow is reduced below the turbulent scattering rate. The enhanced LRRC transport events are accompanied by apparent degradation of normalized energy confinement time. These findings constitute the first experimental observation of long-radial-range turbulent transport events in high-collisionality H-mode plasmas, and demonstrate the role of mean shear flows in the formation and propagation of turbulence with long-radial-range correlation.


title: Electric Current and Heat Production by a Neutral Carrier: An Effect of the Axion

abstract: A general axion-electrodynamic formalism is presented on the phenomenological level when the environment is dielectric (permittivity and permeability assumed to be constants). Thereafter, a strong and uniform magnetic field is considered in the $z$ direction, the field region having the form of a long material cylinder (which corresponds to the haloscope setup). If the axion amplitude depends on time only, the axions give rise to an oscillating electric current in the $z$ direction. We estimate the magnitudes of the azimuthal magnetic fields and the accompanying Joule heating in the cylinder, taking the cylinder to have ordinary dissipative properties. We evaluate and calculate the electric current and the heat production separately, without using the effective approximation, both when there is a strong magnetic field and when there is a strong electric one, showing that with the magnetic field there is a heat production, while with the electric field there is not. The heat generation that we consider, is a nontrivial effect as it is generated by the electrically neutral axions, and has obvious consequences for axion thermodynamics. The heat production can moreover have an additional advantage, since the effect is accumulative and so grows with time. The boundary conditions (in a classical sense) are explained and the use of them in a quantum mechanical context is discussed. This point is nontrivial, accentuated in particular in connection with the Casimir effect. For comparison purposes, we present finally some results for heat dissipation taken from the theory of viscous cosmology.


title: On Efficient Noncommutative Polynomial Factorization via Higman Linearization

abstract: In this paper we study the problem of efficiently factorizing polynomials in the free noncommutative ring F<x_1,x_2,...,x_n> of polynomials in noncommuting variables x_1,x_2,..., x_n over the field F. We obtain the following result: Given a noncommutative arithmetic formula of size s computing a noncommutative polynomial f in F<x_1,x_2,...,x_n> as input, where F=F_q is a finite field, we give a randomized algorithm that runs in time polynomial in s, n and log q that computes a factorization of f as a product f=f_1f_2\cdots f_r, where each f_i is an irreducible polynomial that is output as a noncommutative algebraic branching program. The algorithm works by first transforming f into a linear matrix L using Higman's linearization of polynomials. We then factorize the linear matrix L and recover the factorization of f. We use basic elements from Cohn's theory of free ideals rings combined with Ronyai's randomized polynomial-time algorithm for computing invariant subspaces of a collection of matrices over finite fields.


title: Diurnal variations in the stratosphere of the ultrahot giant exoplanet WASP-121b

abstract: The temperature profile of a planetary atmosphere is a key diagnostic of radiative and dynamical processes governing the absorption, redistribution, and emission of energy. Observations have revealed dayside stratospheres that either cool or warm with altitude for a small number of gas giant exoplanets, while other dayside stratospheres are consistent with constant temperatures. Here we report spectroscopic phase curve measurements for the gas giant WASP-121b, which constrain stratospheric temperatures throughout the diurnal cycle. Variations measured for a water vapour spectral feature reveal a temperature profile that transitions from warming with altitude on the dayside hemisphere to cooling with altitude on the nightside hemisphere. The data are well explained by models assuming chemical equilibrium, with water molecules thermally dissociating at low pressures on the dayside and recombining on the nightside. Nightside temperatures are low enough for perovskite (CaTiO3) to condense, which could deplete titanium from the gas phase and explain recent non-detections at the day-night terminator. Nightside temperatures are also consistent with the condensation of refractory species such as magnesium, iron, and vanadium. Detections of these metals at the day-night terminator suggest, however, that if they do form nightside clouds, cold trapping does not efficiently remove them from the upper atmosphere. Horizontal winds and vertical mixing could keep these refractory condensates aloft in the upper atmosphere of the nightside hemisphere until they are recirculated to the hotter dayside hemisphere and vaporised.


title: On Optimal Early Stopping: Over-informative versus Under-informative Parametrization

abstract: Early stopping is a simple and widely used method to prevent over-training neural networks. We develop theoretical results to reveal the relationship between the optimal early stopping time and model dimension as well as sample size of the dataset for certain linear models. Our results demonstrate two very different behaviors when the model dimension exceeds the number of features versus the opposite scenario. While most previous works on linear models focus on the latter setting, we observe that the dimension of the model often exceeds the number of features arising from data in common deep learning tasks and propose a model to study this setting. We demonstrate experimentally that our theoretical results on optimal early stopping time corresponds to the training process of deep neural networks.


title: High-throughput computational screening of nanoporous materials in targeted applications

abstract: Due to their chemical and structural diversity, nanoporous materials can be used in a wide variety of applications, including fluid separation, gas storage, heterogeneous catalysis, drug delivery, etc. Given the large and rapidly increasing number of known nanoporous materials, and the even bigger number of hypothetical structures, computational screening is an efficient method to find the current best-performing materials and to guide the design of future materials. This review highlights the potential of high-throughput computational screenings in various applications. The achievements and the challenges associated to the screening of several material properties are discussed to give a broader perspective on the future of the field.


title: Multiscale structure of poly(ionic liquid)s in bulk and solutions by small angle neutron scattering

abstract: Poly(ionic liquid)s (PILs), similar to their ionic liquid (IL) analogues, present a nanostructure arising from local interactions. The influence of this nanostructure on the macromolecular conformation of polymer chains is investigated for the first time by means of an extensive use of small angle neutron scattering on a series of poly(1-vinyl-3-alkylimidazolium)s with varying alkyl side-chain length and counter-anion both in bulk and in dilute solutions. Radii of gyration are found to increase with the side-chain length in solution as a consequence of crowding interactions between neighboring monomers. In bulk, however, a non monotonic evolution of the radius of gyration reflects a change in chain flexibility and a potential screening of electrostatic interactions. Additionally at smaller scale, SANS provides an experimental estimation of both the chain diameter and the correlation length between neighboring chains, comparison of which unveils clear evidence of interdigitation of the alkyl side-chains. These structural features bring precious insights in the understanding of the dynamic properties of PILs.


title: Benchmarking the Linear Algebra Awareness of TensorFlow and PyTorch

abstract: Linear algebra operations, which are ubiquitous in machine learning, form major performance bottlenecks. The High-Performance Computing community invests significant effort in the development of architecture-specific optimized kernels, such as those provided by the BLAS and LAPACK libraries, to speed up linear algebra operations. However, end users are progressively less likely to go through the error prone and time-consuming process of directly using said kernels; instead, frameworks such as TensorFlow (TF) and PyTorch (PyT), which facilitate the development of machine learning applications, are becoming more and more popular. Although such frameworks link to BLAS and LAPACK, it is not clear whether or not they make use of linear algebra knowledge to speed up computations. For this reason, in this paper we develop benchmarks to investigate the linear algebra optimization capabilities of TF and PyT. Our analyses reveal that a number of linear algebra optimizations are still missing; for instance, reducing the number of scalar operations by applying the distributive law, and automatically identifying the optimal parenthesization of a matrix chain. In this work, we focus on linear algebra computations in TF and PyT; we both expose opportunities for performance enhancement to the benefit of the developers of the frameworks and provide end users with guidelines on how to achieve performance gains.


title: Memorize to Generalize: on the Necessity of Interpolation in High Dimensional Linear Regression

abstract: We examine the necessity of interpolation in overparameterized models, that is, when achieving optimal predictive risk in machine learning problems requires (nearly) interpolating the training data. In particular, we consider simple overparameterized linear regression $y = X \theta + w$ with random design $X \in \mathbb{R}^{n \times d}$ under the proportional asymptotics $d/n \to \gamma \in (1, \infty)$. We precisely characterize how prediction (test) error necessarily scales with training error in this setting. An implication of this characterization is that as the label noise variance $\sigma^2 \to 0$, any estimator that incurs at least $\mathsf{c}\sigma^4$ training error for some constant $\mathsf{c}$ is necessarily suboptimal and will suffer growth in excess prediction error at least linear in the training error. Thus, optimal performance requires fitting training data to substantially higher accuracy than the inherent noise floor of the problem.


title: Deterministic Patterns for Multiple Access with Latency and Reliability Guarantees

abstract: We study a scenario in which multiple uncoordinated devices aim to achieve reliable transmissions within a given time frame. The devices are intermittently active and access a shared pool of channel resources in a grant-free manner by utilizing multiple transmissions (K-repetition coding). This allows them to achieve diversity and improve the reliability within a certain latency constraint. We focus on two access methods: one where devices choose K slots at random and another one where the access patterns are deterministic and follow a specific code design, namely the Steiner System. We analyze the problem under two signal models that involve different complexity for the receiver. First, collision model is considered, where only interference-free transmissions can be used and combined. Second, a model treating interference as noise is analyzed, where the receiver is capable of utilizing all K replicas, applying maximum ratio combining (MRC). For both signal models, we investigate receivers with and without successive interference cancellation (SIC). We develop approximations and bounds for the outage probabilities that very closely match simulation results. Overall, we show that deterministic access patterns have the potential to significantly outperform random selection in terms of reliability. Furthermore, deterministic access patterns offer a simplified system design.


title: Equivariant Graph Attention Networks for Molecular Property Prediction

abstract: Learning and reasoning about 3D molecular structures with varying size is an emerging and important challenge in machine learning and especially in drug discovery. Equivariant Graph Neural Networks (GNNs) can simultaneously leverage the geometric and relational detail of the problem domain and are known to learn expressive representations through the propagation of information between nodes leveraging higher-order representations to faithfully express the geometry of the data, such as directionality in their intermediate layers. In this work, we propose an equivariant GNN that operates with Cartesian coordinates to incorporate directionality and we implement a novel attention mechanism, acting as a content and spatial dependent filter when propagating information between nodes. We demonstrate the efficacy of our architecture on predicting quantum mechanical properties of small molecules and its benefit on problems that concern macromolecular structures such as protein complexes.


title: Towards a Framework for Comparing the Complexity of Robotic Tasks

abstract: We are motivated by the problem of comparing the complexity of one robotic task relative to another. To this end, we define a notion of reduction that formalizes the following intuition: Task 1 reduces to Task 2 if we can efficiently transform any policy that solves Task 2 into a policy that solves Task 1. We further define a quantitative measure of the relative complexity between any two tasks for a given robot. We prove useful properties of our notion of reduction (e.g., reflexivity, transitivity, and antisymmetry) and relative complexity measure (e.g., nonnegativity and monotonicity). In addition, we propose practical algorithms for estimating the relative complexity measure. We illustrate our framework for comparing robotic tasks using (i) examples where one can analytically establish reductions, and (ii) reinforcement learning examples where the proposed algorithm can estimate the relative complexity between tasks.


title: An obstacle problem for the p-elastic energy

abstract: In this paper we consider an obstacle problem for a generalization of the p-elastic energy among graphical curves with fixed ends. Taking into account that the Euler--Lagrange equation has a degeneracy, we address the question whether solutions have a flat part, i.e. an open interval where the curvature vanishes. We also investigate which is the main cause of the loss of regularity, the obstacle or the degeneracy. Moreover, we give several conditions on the obstacle that assure existence and nonexistence of solutions. The analysis can be refined in the special case of the p-elastica functional, where we obtain sharp existence results and uniqueness for symmetric minimizers.


title: Third-order affine-invariant (systems of) PDEs in two independent variables as vanishing of the Fubini-Pick invariant

abstract: In this paper we study $3^{\mathrm{rd}}$ order (system of) PDEs in two independent variables $x,y$ and one unknown function $u$ that are invariant with respect to the group of affine transformation $\mathrm{Aff}(3)$ of $\mathbb{R}^3=\{(x,y,u)\}$. After proving their relationship with the Fubini-Pick invariant, we derive the aforementioned PDEs by using a general method introduced in [D.V. Alekseevsky, J. Gutt, G. Manno, and G. Moreno: A general method to construct invariant {PDEs} on homogeneous manifolds. Communications in Contemporary Mathematics (2021)], which sheds light on some of their geometrical properties.


title: UX Research on Conversational Human-AI Interaction: A Literature Review of the ACM Digital Library

abstract: Early conversational agents (CAs) focused on dyadic human-AI interaction between humans and the CAs, followed by the increasing popularity of polyadic human-AI interaction, in which CAs are designed to mediate human-human interactions. CAs for polyadic interactions are unique because they encompass hybrid social interactions, i.e., human-CA, human-to-human, and human-to-group behaviors. However, research on polyadic CAs is scattered across different fields, making it challenging to identify, compare, and accumulate existing knowledge. To promote the future design of CA systems, we conducted a literature review of ACM publications and identified a set of works that conducted UX (user experience) research. We qualitatively synthesized the effects of polyadic CAs into four aspects of human-human interactions, i.e., communication, engagement, connection, and relationship maintenance. Through a mixed-method analysis of the selected polyadic and dyadic CA studies, we developed a suite of evaluation measurements on the effects. Our findings show that designing with social boundaries, such as privacy, disclosure, and identification, is crucial for ethical polyadic CAs. Future research should also advance usability testing methods and trust-building guidelines for conversational AI.


title: GGS-groups over primary trees: Branch structures

abstract: We study branch structures in Grigorchuk-Gupta-Sidki groups (GGS-groups) over primary trees, that is, regular rooted trees of degree $p^n$ for a prime $p$. Apart from a small set of exceptions for $p=2$, we prove that all these groups are weakly regular branch over $G''$. Furthermore, in most cases they are actually regular branch over $\gamma_3(G)$. This is a significant extension of previously known results regarding periodic GGS-groups over primary trees and general GGS-groups in the case $n=1$. We also show that, as in the case $n=1$, a GGS-group generated by a constant vector is not branch.


title: Collusion Resistant Federated Learning with Oblivious Distributed Differential Privacy

abstract: Privacy-preserving federated learning enables a population of distributed clients to jointly learn a shared model while keeping client training data private, even from an untrusted server. Prior works do not provide efficient solutions that protect against collusion attacks in which parties collaborate to expose an honest client's model parameters. We present an efficient mechanism based on oblivious distributed differential privacy that is the first to protect against such client collusion, including the "Sybil" attack in which a server preferentially selects compromised devices or simulates fake devices. We leverage the novel privacy mechanism to construct a secure federated learning protocol and prove the security of that protocol. We conclude with empirical analysis of the protocol's execution speed, learning accuracy, and privacy performance on two data sets within a realistic simulation of 5,000 distributed network clients.


title: Quantum imaging and metrology with undetected photons: a tutorial

abstract: We present a tutorial on the phenomenon of induced coherence without induced emission, and specifically its application to imaging and metrology. It is based on a striking effect where two nonlinear crystals, by sharing a coherent pump and one of two output beams each, can induce correlations between the other two individual, non-interacting beams. This can be thought of as a type of quantum-erasure effect, where the ``welcher-weg'' (which-way), or in this case ``which-source'' information is erased when the shared beams are aligned. With the correct geometry this effect can allow an object to be imaged using only photons which have never interacted with the object -- in other words the image is formed using undetected photons. Interest in this and related setups has been accelerating in recent years due to a number of desirable properties, mostly centered around the fact that the fields for detection and imaging (since separate) may have different optical properties, entailing significant advantages to various applications. The purpose of this tutorial is to introduce researchers to this area of research, to provide practical tools for setting up experiments as well as understanding the underlying theory, and to also provide a comprehensive overview of the sub-field as a whole.


title: Adomian Decomposition Based Numerical Scheme for Flow Simulations

abstract: This paper proposes a numerical method based on the Adomian decomposition approach for the time discretization, applied to Euler equations. A recursive property is demonstrated that allows to formulate the method in an appropriate and efficient way. To obtain a fully numerical scheme, the space discretization is achieved using the classical DG techniques. The efficiency of the obtained numerical scheme is demonstrated through numerical tests by comparison to exact solution and the popular Runge-Kutta DG method results.


title: A Linear Time, and Constant Space, Algorithm to Compute the Mixed Moments of the Multivariate Normal Distributions

abstract: Using recurrences gotten from the Apagodu-Zeilberger Multivariate Almkvist-Zeilberger algorithm we present a linear-time, and constant-space, algorithm to compute the general mixed moments of the k-variate general normal distribution, with any covariance matrix, for any specific k. Besides their obvious importance in statistics, these numbers are also very significant in enumerative combinatorics, since they count in how many ways, in a species with k different genders, a bunch of individuals can all get married, keeping track of the different kinds of heterosexual marriages. We completely implement our algorithm (with an accompanying Maple package, MVNM.txt) for the bivariate and trivariate cases (and hence taking care of our own 2-sex society and a putative 3-sex society), but alas, the actual recurrences for larger k took too long for us to compute. We leave them as computational challenges.


title: Towards a Sociolinguistics-Based Framework for the Study of Politeness in Human-Computer Interaction

abstract: Politeness plays an important role in regulating communication and enhancing social interactions.Research suggests that people treat interactive systems as social agents and may expect those systems to exhibit polite behavior. We augment early research in this area by proposing a framework that is grounded in sociolinguistics and pragmatics. The framework focuses on two complementary concepts - clarity and politeness. We suggest that these concepts are pertinent to various domains of interactive technologies and provide examples for the applicability of clarity and politeness rules to human-computer interaction (HCI). We conducted a laboratory experiment, in which politeness and clarity served as independent factors in the context of a cooperative computer game, based on the Peekaboom game. The manipulation of clarity failed, yet politeness was manipulated successfully based on the framework's rules of politeness. The results provide empirical support for the basic propositions of the framework and may facilitate more systematic research on politeness in various domains of social computing and other areas related to HCI.


title: Complicated colorings, revisited

abstract: In a paper from 1997, Shelah asked whether $Pr_1(\lambda^+,\lambda^+,\lambda^+,\lambda)$ holds for every inaccessible cardinal $\lambda$. Here, we prove that an affirmative answer follows from $\square(\lambda^+)$. Furthermore, we establish that for every pair $\chi<\kappa$ of regular uncountable cardinals, $\square(\kappa)$ implies $Pr_1(\kappa,\kappa,\kappa,\chi)$.


title: KLLR: A scale-dependent, multivariate model class for regression analysis

abstract: The underlying physics of astronomical systems governs the relation between their measurable properties. Consequently, quantifying the statistical relationships between system-level observable properties of a population offers insights into the astrophysical drivers of that class of systems. While purely linear models capture behavior over a limited range of system scale, the fact that astrophysics is ultimately scale-dependent implies the need for a more flexible approach to describing population statistics over a wide dynamic range. For such applications, we introduce and implement a class of Kernel-Localized Linear Regression (KLLR) models. KLLR is a natural extension to the commonly-used linear models that allows the parameters of the linear model -- normalization, slope, and covariance matrix -- to be scale-dependent. KLLR performs inference in two steps: (1) it estimates the mean relation between a set of independent variables and a dependent variable and; (2) it estimates the conditional covariance of the dependent variables given a set of independent variables. We demonstrate the model's performance in a simulated setting and showcase an application of the proposed model in analyzing the baryonic content of dark matter halos. As a part of this work, we publicly release a Python implementation of the KLLR method.


title: Cyclic generators and an improved linear kernel for the rooted subtree prune and regraft distance

abstract: The rooted subtree prune and regraft (rSPR) distance between two rooted binary phylogenetic trees is a well-studied measure of topological dissimilarity that is NP-hard to compute. Here we describe an improved linear kernel for the problem. In particular, we show that if the classical subtree and chain reduction rules are augmented with a modified type of chain reduction rule, the resulting trees have at most 9k-3 leaves, where k is the rSPR distance; and that this bound is tight. The previous best-known linear kernel had size O(28k). To achieve this improvement we introduce cyclic generators, which can be viewed as cyclic analogues of the generators used in the phylogenetic networks literature. As a corollary to our main result we also give an improved weighted linear kernel for the minimum hybridization problem on two rooted binary phylogenetic trees.


title: Social dilemmas of sociality due to beneficial and costly contagion

abstract: Levels of sociality in nature vary widely. Some species are solitary; others live in family groups; some form complex multi-family societies. Increased levels of social interaction can allow for the spread of useful innovations and beneficial information, but can also facilitate the spread of harmful contagions, such as infectious diseases. It is natural to assume that these contagion processes shape the evolution of complex social systems, but an explicit account of the dynamics of sociality under selection pressure imposed by contagion remains elusive. We consider a model for the evolution of sociality strategies in the presence of both a beneficial and costly contagion. We study the dynamics of this model at three timescales: using a susceptible-infectious-susceptible (SIS) model to describe contagion spread for given sociality strategies, a replicator equation to study the changing fractions of two different levels of sociality, and an adaptive dynamics approach to study the long-time evolution of the population level of sociality. For a wide range of assumptions about the benefits and costs of infection, we identify a social dilemma: the evolutionarily-stable sociality strategy (ESS) is distinct from the collective optimum -- the level of sociality that would be best for all individuals. In particular, the ESS level of social interaction is greater (respectively less) than the social optimum when the good contagion spreads more (respectively less) readily than the bad contagion. Our results shed light on how contagion shapes the evolution of social interaction, but reveals that evolution may not necessarily lead populations to social structures that are good for any or all.


title: Quantum Computing of Schwarzschild-de Sitter Black Holes and Kantowski-Sachs Cosmology

abstract: The quantum mechanics of Schwarzschild-de Sitter black holes is of great recent interest because of their peculiar thermodynamic properties as well as their realization in modern dark energy cosmology which indicates the presence of a small positive cosmological constant. We study Schwarzschild-de Sitter black holes and also the Kantowki-Sachs Cosmology using quantum computing. In these cases in addition to the Hamiltonian there is a Mass operator which plays an important role in describing the quantum states of the black hole and Kantowski-Sachs cosmology. We compute the spectrum of these operators using classical and quantum computing. For quantum computing we use the Variational Quantum Eigensolver which is hybrid classical-quantum algorithm that runs on near term quantum hardware. We perform our calculations using 4, 6 and 8 qubits in a harmonic oscillator basis, realizing the quantum operators of the Schwarzschild-de Sitter black hole and Kantowski-Sachs cosmology in terms of 16 x 16, 64 x 64 and 256 x 256 matrices respectively. For the 4 qubit case we find highly accurate results but for the other cases we find a more refined variational ansatz will be necessary to represent the quantum states of a Schwarzschild-de Sitter black hole or Kantowki-Sachs cosmology accurately on a quantum computer.


title: towards automatic transcription of polyphonic electric guitar music:a new dataset and a multi-loss transformer model

abstract: In this paper, we propose a new dataset named EGDB, that con-tains transcriptions of the electric guitar performance of 240 tab-latures rendered with different tones. Moreover, we benchmark theperformance of two well-known transcription models proposed orig-inally for the piano on this dataset, along with a multi-loss Trans-former model that we newly propose. Our evaluation on this datasetand a separate set of real-world recordings demonstrate the influenceof timbre on the accuracy of guitar sheet transcription, the potentialof using multiple losses for Transformers, as well as the room forfurther improvement for this task.


title: T-duality, vertical holonomy line bundles and loop Hori formulae

abstract: This paper is a step towards realizing T-duality and Hori formulae for loop spaces. Here we prove T-duality and Hori formulae for winding q-loop spaces, which are infinite dimensional subspaces of loop spaces.


title: The IVP for certain dispersion generalized of the ZK equation in the cylinder space

abstract: We establish well-posedness for the Cauchy problem associated to the dispersion generalized Zakharov-Kutnesov equation in the cylinder. Our main ingredient is a localized Strichartz estimate and an argument of compactness


title: Representation Stability and Finite Orthogonal Groups

abstract: In this paper, we prove stability results about orthogonal groups over finite commutative rings where 2 is a unit. Inspired by Putman and Sam (2017), we construct a category $\mathbf{OrI}(R)$ and prove a Noetherianity theorem for the category of $\mathbf{OrI}(R)$-modules. This implies an asymptotic structure theorem for orthogonal groups. In addition, we show general homological stability theorems for orthogonal groups, with both untwisted and twisted coefficients, partially generalizing a result of Charney (1987).


title: On Resolving Problems with Conditionality and Its Implications for Characterizing Statistical Evidence

abstract: The conditionality principle $C$ plays a key role in attempts to characterize the concept of statistical evidence. The standard version of $C$ considers a model and a derived conditional model, formed by conditioning on an ancillary statistic for the model, together with the data, to be equivalent with respect to their statistical evidence content. This equivalence is considered to hold for any ancillary statistic for the model but creates two problems. First, there can be more than one maximal ancillary in a given context and this leads to $C$ not being an equivalence relation and, as such, calls into question whether $C$ is a proper characterization of statistical evidence. Second, a statistic $A$ can change from ancillary to informative (in its marginal distribution) when another ancillary $B$ changes, from having one known distribution $P_{B},$ to having another known distribution $Q_{B}.$ This means that the stability of ancillarity differs across ancillary statistics and raises the issue of when a statistic can be said to be truly ancillary. It is therefore natural, and practically important, to limit conditioning to the set of ancillaries whose distribution is irrelevant to the ancillary status of any other ancillary statistic. This results in a family of ancillaries for which there is a unique maximal member. This also gives a new principle for inference, the stable conditionality principle, that satisfies the criteria required for any principle whose aim is to characterize statistical evidence.


title: Deep learning-guided weighted averaging for signal dropout compensation in diffusion-weighted imaging of the liver

abstract: Purpose: To develop an algorithm for the retrospective correction of signal dropout artifacts in abdominal diffusion-weighted imaging (DWI) resulting from cardiac motion. Methods: Given a set of image repetitions for a slice, a locally adaptive weighted averaging is proposed which aims to suppress the contribution of image regions affected by signal dropouts. Corresponding weight maps were estimated by a sliding-window algorithm which analyzed signal deviations from a patch-wise reference. In order to ensure the computation of a robust reference, repetitions were filtered by a classifier that was trained to detect images corrupted by signal dropouts. The proposed method, termed Deep Learning-guided Adaptive Weighted Averaging (DLAWA), was evaluated in terms of dropout suppression capability, bias reduction in the Apparent Diffusion Coefficient (ADC) and noise characteristics. Results: In the case of uniform averaging, motion-related dropouts caused signal attenuation and ADC overestimation in parts of the liver with the left lobe being affected particularly. Both effects could be substantially mitigated by DLAWA while preventing global penalties with respect to signal-to-noise ratio (SNR) due to local signal suppression. Performing evaluations on patient data, the capability to recover lesions concealed by signal dropouts was demonstrated as well. Further, DLAWA allowed for transparent control of the trade-off between SNR and signal dropout suppression by means of a few hyperparameters. Conclusion: This work presents an effective and flexible method for the local compensation of signal dropouts resulting from motion and pulsation. Since DLAWA follows a retrospective approach, no changes to the acquisition are required.


title: Transmission-Aware Bandwidth Variable Transceiver Allocation in DWDM Optical Networks

abstract: This paper addresses the transmission-aware transceiver allocation problem of flexible optical networks for a multi-period planning. The proposed approach aims at assigning the best configuration of bandwidth variable transceivers (BVTRX) considering the amplifier noise and nonlinear channel interferences using the incoherent Extended Gaussian Noise (EGN) model. The proposed solution improves the network throughput and spectrum utilization in the early planning periods and allocates lower number of BV-TRXs in later periods in comparison to algorithms presented recently. A heuristic approach to regenerator placement has also been applied achieving up to 25% transceiver and 50% spectrum utilization savings in comparison to configurations without regenerators.


title: SOInter: A Novel Deep Energy Based Interpretation Method for Explaining Structured Output Models

abstract: We propose a novel interpretation technique to explain the behavior of structured output models, which learn mappings between an input vector to a set of output variables simultaneously. Because of the complex relationship between the computational path of output variables in structured models, a feature can affect the value of output through other ones. We focus on one of the outputs as the target and try to find the most important features utilized by the structured model to decide on the target in each locality of the input space. In this paper, we assume an arbitrary structured output model is available as a black box and argue how considering the correlations between output variables can improve the explanation performance. The goal is to train a function as an interpreter for the target output variable over the input space. We introduce an energy-based training process for the interpreter function, which effectively considers the structural information incorporated into the model to be explained. The effectiveness of the proposed method is confirmed using a variety of simulated and real data sets.


title: Derived right adjoints of parabolic induction: an example

abstract: Suppose $p \geq 5$ is a prime number, and let $G = \textrm{SL}_2(\mathbb{Q}_p)$. We calculate the derived functors $\textrm{R}^n\mathcal{R}_B^G(\pi)$, where $B$ is a Borel subgroup of $G$, $\mathcal{R}_B^G$ is the right adjoint of smooth parabolic induction constructed by Vign\'eras, and $\pi$ is any smooth, absolutely irreducible, mod $p$ representation of $G$.


title: Direct assessment of individual connotation and experience: An introduction to cognitive-affective mapping

abstract: We introduce cognitive-affective maps (CAMs) as a novel tool to assess individual experiences and belief systems. CAMs were first presented by the cognitive scientist and philosopher Paul Thagard as a graphical representation of a mental network, visualizing attitudes, thoughts, and affective connotations toward the topic of interest. While CAMs were originally used primarily to visualize existing data, the recent release of the new software tool Valence has facilitated the applicability of CAMs for empirical data collection. In this article, we explain the concept and the theoretical background of CAMs. We exemplify how CAMs can be applied in research practice, including different options for analysis. We propose CAMs as a user-friendly and versatile methodological bridge between qualitative and quantitative research approaches and encourage incorporating the method into studies to access and visualize human attitudes and experience.


title: Sharp threshold for rigidity of random graphs

abstract: We consider the Erd\H{o}s-R\'enyi evolution of random graphs, where a new uniformly distributed edge is added to the graph in every step. For every fixed $d\ge 1$, we show that with high probability, the graph becomes rigid in $\mathbb R^d$ at the very moment its minimum degree becomes $d$, and it becomes globally rigid in $\mathbb R^d$ at the very moment its minimum degree becomes $d+1$.


title: SRL-SOA: Self-Representation Learning with Sparse 1D-Operational Autoencoder for Hyperspectral Image Band Selection

abstract: The band selection in the hyperspectral image (HSI) data processing is an important task considering its effect on the computational complexity and accuracy. In this work, we propose a novel framework for the band selection problem: Self-Representation Learning (SRL) with Sparse 1D-Operational Autoencoder (SOA). The proposed SLR-SOA approach introduces a novel autoencoder model, SOA, that is designed to learn a representation domain where the data are sparsely represented. Moreover, the network composes of 1D-operational layers with the non-linear neuron model. Hence, the learning capability of neurons (filters) is greatly improved with shallow architectures. Using compact architectures is especially crucial in autoencoders as they tend to overfit easily because of their identity mapping objective. Overall, we show that the proposed SRL-SOA band selection approach outperforms the competing methods over two HSI data including Indian Pines and Salinas-A considering the achieved land cover classification accuracies. The software implementation of the SRL-SOA approach is shared publicly at https://github.com/meteahishali/SRL-SOA.


title: Line Bundle Twists for Unitary Bordism are Ghosts

abstract: We prove that the canonical twist $\zeta \colon K(\mathbb{Z},3) \rightarrow BGL_1(MSpin^c)$ does not extend to a twist for unitary bordism by showing that every continuous map $f \colon K(\mathbb{Z},3) \rightarrow BGL_1(MU)$ loops to a null homotopic map.


title: Finite variations on the isoperimetric problem

abstract: The isoperimetric problem asks for the maximum area of a region of given perimeter. It is natural to consider other measurements of a region, such as the diameter and width, and ask for the extreme value of one when another is fixed. The solution of these problems is known if the competing regions are general convex disks, however several of these problems are still open if the competing regions are polygons with at most a given number of sides. The present work surveys these problems.


title: Extending Flat Motion Planning to Non-flat Systems. Experiments on Aircraft Models Using Maple

abstract: Aircraft models may be considered as flat if one neglects some terms associated to aerodynamics. Computational experiments in Maple show that in some cases a suitably designed feed-back allows to follow such trajectories, when applied to the non-flat model. However some maneuvers may be hard or even impossible to achieve with this flat approximation. In this paper, we propose an iterated process to compute a more achievable trajectory, starting from the flat reference trajectory. More precisely, the unknown neglected terms in the flat model are iteratively re-evaluated using the values obtained at the previous step. This process may be interpreted as a new trajectory parametrization, using an infinite number of derivatives, a property that may be called \emph{generalized flatness}. We illustrate the pertinence of this approach in flight conditions of increasing difficulties, from single engine flight, to aileron roll.


title: On $k$-regularity of sequences of valuations and last nonzero digits

abstract: Let $b \geq 2$ be an integer base with prime factors $p_1, \ldots, p_s$. In this paper we study sequences of "$b$-adic valuations" and last nonzero digits in $b$-adic expansions of the values $f(n) = (f_1(n), \ldots, f_s(n))$, where each $f_i$ is a $p_i$-adic analytic function. We give a complete classification concerning $k$-regularity of these sequences, which generalizes a result for $b$ prime obtained by Shu and Yao. As an application, we strengthen a theorem by Murru and Sanna on $b$-adic valuations of Lucas sequences of the first kind. Moreover, we derive a method to determine precisely which terms of these sequences can be represented by certain ternary quadratic forms.


title: Ancilla-free continuous-variable SWAP test

abstract: We propose a continuous-variable (CV) SWAP test that requires no ancilla register, thereby generalizing the ancilla-free SWAP test for qubits. In this ancilla-free CV SWAP test, the computational basis measurement is replaced by photon number-resolving measurement, and we calculate an upper bound on the error of the overlap estimate obtained from a finite Fock cutoff in the detector. As an example, we show that estimation of the overlap of pure, centered, single-mode Gaussian states of energy $E$ and squeezed in opposite quadratures can be obtained to error $\epsilon$ using photon statistics below a Fock basis cutoff $O(E\ln \epsilon^{-1})$. This cutoff is greatly reduced to $E + O(\sqrt{E}\ln \epsilon^{-1})$ when the states have rapidly decaying Fock tails, such as coherent states. We show how the ancilla-free CV SWAP test can be extended to many modes and applied to quantum algorithms such as variational compiling and entanglement spectroscopy in the CV setting. For the latter we also provide a new algorithm which does not have an analog in qubit systems. The ancilla-free CV SWAP test is implemented on Xanadu's 8-mode photonic processor in order to estimate the vacuum probability of a two-mode squeezed state.


title: Generalized Bayesian Additive Regression Trees Models: Beyond Conditional Conjugacy

abstract: Bayesian additive regression trees have seen increased interest in recent years due to their ability to combine machine learning techniques with principled uncertainty quantification. The Bayesian backfitting algorithm used to fit BART models, however, limits their application to a small class of models for which conditional conjugacy exists. In this article, we greatly expand the domain of applicability of BART to arbitrary \emph{generalized BART} models by introducing a very simple, tuning-parameter-free, reversible jump Markov chain Monte Carlo algorithm. Our algorithm requires only that the user be able to compute the likelihood and (optionally) its gradient and Fisher information. The potential applications are very broad; we consider examples in survival analysis, structured heteroskedastic regression, and gamma shape regression.


title: Tuning the entanglement growth in matrix-product-state evolution of quantum systems by nonunitary similarity transformations

abstract: The possibility of using similarity transformations to alter dynamical entanglement growth in matrix-product-state simulations of quantum systems is explored. By appropriately choosing the similarity transformation, the entanglement growth rate is suppressed, improving the efficiency of numerical simulations of quantum systems. The transformation can be applied to general quantum-many-body systems.

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


title: Disentangling Autoencoders (DAE)

abstract: Noting the importance of factorizing (or disentangling) the latent space, we propose a novel, non-probabilistic disentangling framework for autoencoders, based on the principles of symmetry transformations in group-theory. To the best of our knowledge, this is the first deterministic model that is aiming to achieve disentanglement based on autoencoders without regularizers. The proposed model is compared to seven state-of-the-art generative models based on autoencoders and evaluated based on five supervised disentanglement metrics. The experimental results show that the proposed model can have better disentanglement when variances of each features are different. We believe that this model leads to a new field for disentanglement learning based on autoencoders without regularizers.


title: Mining Robust Default Configurations for Resource-constrained AutoML

abstract: Automatic machine learning (AutoML) is a key enabler of the mass deployment of the next generation of machine learning systems. A key desideratum for future ML systems is the automatic selection of models and hyperparameters. We present a novel method of selecting performant configurations for a given task by performing offline autoML and mining over a diverse set of tasks. By mining the training tasks, we can select a compact portfolio of configurations that perform well over a wide variety of tasks, as well as learn a strategy to select portfolio configurations for yet-unseen tasks. The algorithm runs in a zero-shot manner, that is without training any models online except the chosen one. In a compute- or time-constrained setting, this virtually instant selection is highly performant. Further, we show that our approach is effective for warm-starting existing autoML platforms. In both settings, we demonstrate an improvement on the state-of-the-art by testing over 62 classification and regression datasets. We also demonstrate the utility of recommending data-dependent default configurations that outperform widely used hand-crafted defaults.


title: Spectra of Cosmic Ray Sodium and Aluminum and Unexpected Aluminum Excess

abstract: Since its launch, the Alpha Magnetic Spectrometer-02 (AMS-02) has delivered outstanding quality measurements of the spectra of cosmic-ray (CR) species, $\bar{p}$, $e^{\pm}$, and nuclei (H-Si, Fe), which resulted in a number of breakthroughs. The most recent AMS-02 result is the measurement of the spectra of CR sodium and aluminum up to $\sim$2 TV. Given their low solar system abundances, a significant fraction of each element is produced in fragmentations of heavier species, predominantly Ne, Mg, and Si. In this paper, we use precise measurements of the sodium and aluminum spectra by AMS-02 together with ACE-CRIS and Voyager 1 data to test their origin. We show that the sodium spectrum agrees well with the predictions made with the GalProp-HelMod framework, while aluminum spectrum shows a significant excess in the rigidity range from 2-7 GV. In this context, we discuss the origin of other low-energy excesses in Li, F, and Fe found earlier. The observed excesses in Li, F, and Al appear to be consistent with the local Wolf-Rayet (WR) stars hypothesis, invoked to reproduce anomalous $^{22}$Ne/$^{20}$Ne, $^{12}$C/$^{16}$O, and $^{58}$Fe/$^{56}$Fe ratios in CRs, while excess in Fe is likely connected with a past SN activity in the solar neighborhood. We also provide updated local interstellar spectra (LIS) of sodium and aluminum in the rigidity range from few MV to $\sim$2 TV. Our calculations employ the self-consistent GalProp-HelMod framework that has proved to be a reliable tool in deriving the LIS of CR $\bar{p}$, $e^{-}$, and nuclei $Z\le28$.


title: Supernova Remnants in M83 as Observed with MUSE

abstract: Here we describe a new study of the SNRs and SNR candidates in nearby face-on spiral galaxy M83, based primarily on MUSE integral field spectroscopy. Our revised catalog of SNR candidates in M83 has 366 objects, 81 of which are reported here for the first time. Of these, 229 lie within the MUSE observation region, 160 of which have spectra with [SII]:Halpha ratios exceeding 0.4, the value generally accepted as confirmation that an emission nebula is shock-heated. Combined with 51 SNR candidates outside the MUSE region with high [SII]:Halpha ratios, there are 211 spectroscopically-confirmed SNRs in M83, the largest number of confirmed SNRs in any external galaxy. MUSE's combination of relatively high spectral resolution and broad wavelength coverage has allowed us to explore two other properties of SNRs that could serve as the basis of future SNR searches. Specifically, most of the objects identified as SNRs on the basis of [SII]:Halpha ratios exhibit more velocity broadening and lower ratios of [SIII]:[SII] emission than HII regions. A search for nebulae with the very broad emission lines expected from young, rapidly expanding remnants revealed none, except for the previously identified B12-174a. The SNRs identified in M83 are, with few exceptions, middle-aged ISM-dominated ones. Smaller diameter candidates show a larger range of velocity broadening and a larger range of gas densities than the larger diameter objects, as expected if the SNRs expanding into denser gas brighten and then fade from view at smaller diameters than those expanding into a more tenuous ISM


title: Conflict-Based Search for Explainable Multi-Agent Path Finding

abstract: In the Multi-Agent Path Finding (MAPF) problem, the goal is to find non-colliding paths for agents in an environment, such that each agent reaches its goal from its initial location. In safety-critical applications, a human supervisor may want to verify that the plan is indeed collision-free. To this end, a recent work introduces a notion of explainability for MAPF based on a visualization of the plan as a short sequence of images representing time segments, where in each time segment the trajectories of the agents are disjoint. Then, the explainable MAPF problem asks for a set of non-colliding paths that admits a short-enough explanation. Explainable MAPF adds a new difficulty to MAPF, in that it is NP-hard with respect to the size of the environment, and not just the number of agents. Thus, traditional MAPF algorithms are not equipped to directly handle explainable-MAPF. In this work, we adapt Conflict Based Search (CBS), a well-studied algorithm for MAPF, to handle explainable MAPF. We show how to add explainability constraints on top of the standard CBS tree and its underlying A* search. We examine the usefulness of this approach and, in particular, the tradeoff between planning time and explainability.


title: Deconstructing Distributions: A Pointwise Framework of Learning

abstract: In machine learning, we traditionally evaluate the performance of a single model, averaged over a collection of test inputs. In this work, we propose a new approach: we measure the performance of a collection of models when evaluated on a $\textit{single input point}$. Specifically, we study a point's $\textit{profile}$: the relationship between models' average performance on the test distribution and their pointwise performance on this individual point. We find that profiles can yield new insights into the structure of both models and data -- in and out-of-distribution. For example, we empirically show that real data distributions consist of points with qualitatively different profiles. On one hand, there are "compatible" points with strong correlation between the pointwise and average performance. On the other hand, there are points with weak and even $\textit{negative}$ correlation: cases where improving overall model accuracy actually $\textit{hurts}$ performance on these inputs. We prove that these experimental observations are inconsistent with the predictions of several simplified models of learning proposed in prior work. As an application, we use profiles to construct a dataset we call CIFAR-10-NEG: a subset of CINIC-10 such that for standard models, accuracy on CIFAR-10-NEG is $\textit{negatively correlated}$ with accuracy on CIFAR-10 test. This illustrates, for the first time, an OOD dataset that completely inverts "accuracy-on-the-line" (Miller, Taori, Raghunathan, Sagawa, Koh, Shankar, Liang, Carmon, and Schmidt 2021)


title: On large $\ell_1$-sums of Lipschitz-free spaces and applications

abstract: We prove that the Lipschitz-free space over a Banach space $X$ of density $\kappa$, denoted by $\mathcal{F}(X)$, is linearly isomorphic to its $\ell_1$-sum $\left(\bigoplus_{\kappa}\mathcal{F}(X)\right)_{\ell_1}$. This provides an extension of a previous result from Kaufmann in the context of non-separable Banach spaces. Further, we obtain a complete classification of the spaces of real-valued Lipschitz functions that vanish at $0$ over a $\mathcal{L}_p$-space. More precisely, we establish that, for every $1\leq p\leq \infty$, if $X$ is a $\mathcal{L}_p$-space of density $\kappa$, then $\mathrm{Lip}_0(X)$ is either isomorphic to $\mathrm{Lip}_0(\ell_p(\kappa))$ if $p<\infty$, or $\mathrm{Lip}_0(c_0(\kappa))$ if $p=\infty$.


title: Upper Bounds on the Feedback Error Exponent of Channels With States and Memory

abstract: As a class of state-dependent channels, Markov channels have been long studied in information theory for characterizing the feedback capacity and error exponent. This paper studies a more general variant of such channels where the state evolves via a general stochastic process, not necessarily Markov or ergodic. The states are assumed to be unknown to the transmitter and the receiver, but the underlying probability distributions are known. For this setup, we derive an upper bound on the feedback error exponent and the feedback capacity with variable-length codes. The bounds are expressed in terms of the directed mutual information and directed relative entropy. The bounds on the error exponent are simplified to Burnashev's expression for discrete memoryless channels. Our method relies on tools from the theory of martingales to analyze a stochastic process defined based on the entropy of the message given the past channel's outputs.