title: On Hybrid Quantum and Classical Computing Algorithms for Mixed-Integer Programming

abstract: Quantum computing is emerging as a new computing resource that could be superior to conventional computing for certain classes of optimization problems. However, in principle, most existing approaches to quantum optimization are intended to solve unconstrained binary programming problems, while mixed-integer linear programming is of most interest in practice. We attempt to bridge the gap between the capability of quantum computing and real-world applications by developing a new approach for mixed-integer programming. The approach applies Benders decomposition to decompose the mixed-integer programming into binary programming and linear programming sub-problems, which are solved by a noisy intermediate-scale quantum processor and conventional processor, respectively. The algorithm is provably able to reach the optimal solution of the original mixed-integer programming problem. The algorithm is tested on a D-Wave 2000Q quantum processing unit and is shown to be effective for small-scaled test cases. We also test the algorithm on a mixed-integer programming inspired by power system applications. Many insights are drawn from the numerical results for both the capabilities and limitations of the proposed algorithm.


title: Selective Classification via One-Sided Prediction

abstract: We propose a novel method for selective classification (SC), a problem which allows a classifier to abstain from predicting some instances, thus trading off accuracy against coverage (the fraction of instances predicted). In contrast to prior gating or confidence-set based work, our proposed method optimises a collection of class-wise decoupled one-sided empirical risks, and is in essence a method for explicitly finding the largest decision sets for each class that have few false positives. This one-sided prediction (OSP) based relaxation yields an SC scheme that attains near-optimal coverage in the practically relevant high target accuracy regime, and further admits efficient implementation, leading to a flexible and principled method for SC. We theoretically derive generalization bounds for SC and OSP, and empirically we show that our scheme strongly outperforms state of the art methods in coverage at small error levels.


title: Limits of Latin squares

abstract: We develop a limit theory of Latin squares, paralleling the recent limit theories of dense graphs and permutations. We introduce a notion of density, an appropriate version of the cut distance, and a space of limit objects - so-called Latinons. Key results of our theory are the compactness of the limit space and the equivalence of the topologies induced by the cut distance and the left-convergence. Last, using Keevash's recent results on combinatorial designs, we prove that each Latinon can be approximated by a finite Latin square.


title: Photon-photon physics at the LHC and laser beam experiments, present and future

abstract: Under certain running conditions, the CERN Large Hadron Collider (LHC) can be considered as a photon-photon collider. Indeed, in proton-proton, proton-ion, ion-ion collisions, when incoming particles pass very close to each other in very peripheral collisions, the incoming protons or ions remain almost intact and continue their path along the beam axis. Then, only the electromagnetic (EM) fields of these ultra-relativistic charged particles (protons or ions) interact to leave a signature in the central detectors of the LHC experiments. The interest is that the photon-photon interactions happen at unprecedented energies (a few TeV per nucleon pairs) where the quantum electrodynamics (QED) theory can be tested in extreme conditions and unforeseen laws of nature could be discovered. In this report, we propose a focus on a particular reaction, called light-by-light scattering in which two incoming photons interact, producing another pair of photons. We describe how experimental results have been obtained at the LHC. In addition, we discuss prospects for on-shell photon-photon interactions in dedicated laser beam facilities. Potential signatures of new physics might manifest as resonant deviations in the refractive index, induced by anomalous light-by-light scattering effects. Importantly, we explain how this process can be used to probe the physics beyond the standard model such as theories that include large extra dimensions. Finally, some perspectives and ideas are given for future data taking or experiments.


title: Bi-level Score Matching for Learning Energy-based Latent Variable Models

abstract: Score matching (SM) provides a compelling approach to learn energy-based models (EBMs) by avoiding the calculation of partition function. However, it remains largely open to learn energy-based latent variable models (EBLVMs), except some special cases. This paper presents a bi-level score matching (BiSM) method to learn EBLVMs with general structures by reformulating SM as a bi-level optimization problem. The higher level introduces a variational posterior of the latent variables and optimizes a modified SM objective, and the lower level optimizes the variational posterior to fit the true posterior. To solve BiSM efficiently, we develop a stochastic optimization algorithm with gradient unrolling. Theoretically, we analyze the consistency of BiSM and the convergence of the stochastic algorithm. Empirically, we show the promise of BiSM in Gaussian restricted Boltzmann machines and highly nonstructural EBLVMs parameterized by deep convolutional neural networks. BiSM is comparable to the widely adopted contrastive divergence and SM methods when they are applicable; and can learn complex EBLVMs with intractable posteriors to generate natural images.


title: On cointegration for modeling and forecasting wind power production

abstract: This study evaluates the performance of cointegrated vector autoregressive (VAR) models for very short- and short-term wind power forecasting. Preliminary results for a German data set comprising six wind power production time series indicate that taking into account potential cointegrating relations between the individual series can improve forecasts at short-term time horizons.


title: Exploring Flip Flop memories and beyond: training recurrent neural networks with key insights

abstract: Training neural networks to perform different tasks is relevant across various disciplines. In particular, Recurrent Neural Networks (RNNs) are of great interest in Computational Neuroscience. Open-source frameworks dedicated to Machine Learning, such as Tensorflow and Keras have produced significant changes in the development of technologies that we currently use. This work aims to make a significant contribution by comprehensively investigating and describing the implementation of a temporal processing task, specifically a 3-bit Flip Flop memory. We delve into the entire modelling process, encompassing equations, task parametrization, and software development. The obtained networks are meticulously analyzed to elucidate dynamics, aided by an array of visualization and analysis tools. Moreover, the provided code is versatile enough to facilitate the modelling of diverse tasks and systems. Furthermore, we present how memory states can be efficiently stored in the vertices of a cube in the dimensionally reduced space, supplementing previous results with a distinct approach.


title: EqSpike: Spike-driven Equilibrium Propagation for Neuromorphic Implementations

abstract: Finding spike-based learning algorithms that can be implemented within the local constraints of neuromorphic systems, while achieving high accuracy, remains a formidable challenge. Equilibrium Propagation is a promising alternative to backpropagation as it only involves local computations, but hardware-oriented studies have so far focused on rate-based networks. In this work, we develop a spiking neural network algorithm called EqSpike, compatible with neuromorphic systems, which learns by Equilibrium Propagation. Through simulations, we obtain a test recognition accuracy of 97.6% on MNIST, similar to rate-based Equilibrium Propagation, and comparing favourably to alternative learning techniques for spiking neural networks. We show that EqSpike implemented in silicon neuromorphic technology could reduce the energy consumption of inference and training respectively by three orders and two orders of magnitude compared to GPUs. Finally, we also show that during learning, EqSpike weight updates exhibit a form of Spike Timing Dependent Plasticity, highlighting a possible connection with biology.


title: Deep Conditional Transformation Models

abstract: Learning the cumulative distribution function (CDF) of an outcome variable conditional on a set of features remains challenging, especially in high-dimensional settings. Conditional transformation models provide a semi-parametric approach that allows to model a large class of conditional CDFs without an explicit parametric distribution assumption and with only a few parameters. Existing estimation approaches within this class are, however, either limited in their complexity and applicability to unstructured data sources such as images or text, lack interpretability, or are restricted to certain types of outcomes. We close this gap by introducing the class of deep conditional transformation models which unifies existing approaches and allows to learn both interpretable (non-)linear model terms and more complex neural network predictors in one holistic framework. To this end we propose a novel network architecture, provide details on different model definitions and derive suitable constraints as well as network regularization terms. We demonstrate the efficacy of our approach through numerical experiments and applications.


title: Amplitudes from Coulomb to Kerr-Taub-NUT

abstract: Electric-magnetic duality, the Newman-Janis shift, and the double copy all act by elementary operations on three-point amplitudes. At the same time, they generate a network of interesting classical solutions spanning from the Coulomb charge via the dyon to the Kerr-Taub-NUT spacetime. We identify the amplitudes corresponding to each of these solutions, working to all orders in spin, but to leading perturbative order. We confirm that the amplitudes double-copy when the solutions are related by the classical double copy. Along the way we show that the Kerr-Taub-NUT solution corresponds to a gravitational electric-magnetic duality rotation acting on the Kerr solution, again to all orders in spin, and demonstrate that the asymptotic charges also transform simply under our operations.


title: Algorithms for linear time reconstruction by discrete tomography II

abstract: The reconstruction of an unknown function $f$ from its line sums is the aim of discrete tomography. However, two main aspects prevent reconstruction from being an easy task. In general, many solutions are allowed due to the presence of the switching functions. Even when uniqueness conditions are available, results about the NP-hardness of reconstruction algorithms make their implementation inefficient when the values of $f$ are in certain sets. We show that this is not the case when $f$ takes values in a field or a unique factorization domain, such as $\R$ or $\Z$. We present a linear time reconstruction algorithm (in the number of directions and in the size of the grid), which outputs the original function values for all points outside of the switching domains. Freely chosen values are assigned to the other points, namely, those with ambiguities. Examples are provided.


title: An efficient epistemic uncertainty quantification algorithm for a class of stochastic models: A post-processing and domain decomposition framework

abstract: Partial differential equations (PDEs) are fundamental for theoretically describing numerous physical processes that are based on some input fields in spatial configurations. Understanding the physical process, in general, requires computational modeling of the PDE. Uncertainty in the computational model manifests through lack of precise knowledge of the input field or configuration. Uncertainty quantification (UQ) in the output physical process is typically carried out by modeling the uncertainty using a random field, governed by an appropriate covariance function. This leads to solving high-dimensional stochastic counterparts of the PDE computational models. Such UQ-PDE models require a large number of simulations of the PDE in conjunction with samples in the high-dimensional probability space, with probability distribution associated with the covariance function. Those UQ computational models having explicit knowledge of the covariance function are known as aleatoric UQ (AUQ) models. The lack of such explicit knowledge leads to epistemic UQ (EUQ) models, which typically require solution of a large number of AUQ models. In this article, using a surrogate, post-processing, and domain decomposition framework with coarse stochastic solution adaptation, we develop an offline/online algorithm for efficiently simulating a class of EUQ-PDE models.


title: Emergent topological fields and relativistic phonons within the thermoelectricity in topological insulators

abstract: Topological edge states are predicted to be responsible for the high efficient thermoelectric response of topological insulators, currently the best thermoelectric materials. However, to explain their figure of merit the coexistence of topological electrons, entropy and phonons can not be considered independently. In a background that puts together electrodynamics and topology, through an expression for the topological intrinsic field, we treat relativistic phonons within the topological surface showing their ability to modulate the Berry curvature of the bands and then playing a fundamental role in the thermoelectric effect. Finally, we show how the topological insulators under such relativistic thermal excitations keep time reversal symmetry allowing the observation of high figures of merit at high temperatures. The emergence of this new intrinsic topological field and other constraints are suitable to have experimental consequences opening new possibilities of improving the efficiency of this topological effect for their based technology.


title: Update Frequently, Update Fast: Retraining Semantic Parsing Systems in a Fraction of Time

abstract: Currently used semantic parsing systems deployed in voice assistants can require weeks to train. Datasets for these models often receive small and frequent updates, data patches. Each patch requires training a new model. To reduce training time, one can fine-tune the previously trained model on each patch, but naive fine-tuning exhibits catastrophic forgetting - degradation of the model performance on the data not represented in the data patch. In this work, we propose a simple method that alleviates catastrophic forgetting and show that it is possible to match the performance of a model trained from scratch in less than 10% of a time via fine-tuning. The key to achieving this is supersampling and EWC regularization. We demonstrate the effectiveness of our method on multiple splits of the Facebook TOP and SNIPS datasets.


title: Double Robust Representation Learning for Counterfactual Prediction

abstract: Causal inference, or counterfactual prediction, is central to decision making in healthcare, policy and social sciences. To de-bias causal estimators with high-dimensional data in observational studies, recent advances suggest the importance of combining machine learning models for both the propensity score and the outcome function. We propose a novel scalable method to learn double-robust representations for counterfactual predictions, leading to consistent causal estimation if the model for either the propensity score or the outcome, but not necessarily both, is correctly specified. Specifically, we use the entropy balancing method to learn the weights that minimize the Jensen-Shannon divergence of the representation between the treated and control groups, based on which we make robust and efficient counterfactual predictions for both individual and average treatment effects. We provide theoretical justifications for the proposed method. The algorithm shows competitive performance with the state-of-the-art on real world and synthetic data.


title: Cosmological Perturbations in Palatini Formalism

abstract: We investigate cosmological perturbations of scalar-tensor theories in Palatini formalism. First we introduce an action where the Ricci scalar is conformally coupled to a function of a scalar field and its kinetic term and there is also a k-essence term consisting of the scalar and its kinetic term. This action has three frames that are equivalent to one another: the original Jordan frame, the Einstein frame where the metric is redefined, and the Riemann frame where the connection is redefined. For the first time in the literature, we calculate the quadratic action and the sound speed of scalar and tensor perturbations in three different frames and show explicitly that they coincide. Furthermore, we show that for such action the sound speed of gravitational waves is unity. Thus, this model serves as dark energy as well as an inflaton even though the presence of the dependence of the kinetic term of a scalar field in the non-minimal coupling, different from the case in metric formalism. We then proceed to construct the L3 action called Galileon terms in Palatini formalism and compute its perturbations. We found that there are essentially 10 different(inequivalent) definitions in Palatini formalism for a given Galileon term in metric formalism. We also see that,in general, the L3 terms have a ghost due to Ostrogradsky instability and the sound speed of gravitational waves could potentially deviate from unity, in sharp contrast with the case of metric formalism. Interestingly, once we eliminate such a ghost, the sound speed of gravitational waves also becomes unity. Thus, the ghost-free L3 terms in Palatini formalism can still serve as dark energy as well as an inflaton, like the case in metric formalism.


title: Modelling COVID-19 transmission in supermarkets using an agent-based model

abstract: Since the outbreak of COVID-19 in early March 2020, UK supermarkets have implemented different policies to reduce the virus transmission in stores to protect both customers and staff, such as restricting the maximum number of customers in a store, changes to the store layout, or enforcing a mandatory face covering policy. To quantitatively assess these mitigation methods, we formulate an agent-based model of customer movement in a supermarket (which we represent by a network) with a simple virus transmission model based on the amount of time a customer spends in close proximity to infectious customers. We apply our model to synthetic store and shopping data to show how one can use our model to estimate the number of infections due to human-to-human contact in stores and how to model different store interventions. The source code is openly available at https://github.com/fabianying/covid19-supermarket-abm. We encourage retailers to use the model to find the most effective store policies that reduce virus transmission in stores and thereby protect both customers and staff.


title: Examples of non-minimal open books with high fractional Dehn twist coefficient

abstract: In this short note we construct examples of open books for 3-manifolds that show that arbitrarily high twisting of the monodromy of the open book does not guarantee maximality of the Euler characteristic of the pages among the open books supporting the same contact manifold. We find our examples of open books as the double branched covers of families of closed braids studied by Malyutin and Netsvetaev.


title: Deep Generative Modeling in Network Science with Applications to Public Policy Research

abstract: Network data is increasingly being used in quantitative, data-driven public policy research. These are typically very rich datasets that contain complex correlations and inter-dependencies. This richness both promises to be quite useful for policy research, while at the same time posing a challenge for the useful extraction of information from these datasets - a challenge which calls for new data analysis methods. In this report, we formulate a research agenda of key methodological problems whose solutions would enable new advances across many areas of policy research. We then review recent advances in applying deep learning to network data, and show how these methods may be used to address many of the methodological problems we identified. We particularly emphasize deep generative methods, which can be used to generate realistic synthetic networks useful for microsimulation and agent-based models capable of informing key public policy questions. We extend these recent advances by developing a new generative framework which applies to large social contact networks commonly used in epidemiological modeling. For context, we also compare and contrast these recent neural network-based approaches with the more traditional Exponential Random Graph Models. Lastly, we discuss some open problems where more progress is needed.


title: Constructing Multilayer Perceptrons as Piecewise Low-Order Polynomial Approximators: A Signal Processing Approach

abstract: The construction of a multilayer perceptron (MLP) as a piecewise low-order polynomial approximator using a signal processing approach is presented in this work. The constructed MLP contains one input, one intermediate and one output layers. Its construction includes the specification of neuron numbers and all filter weights. Through the construction, a one-to-one correspondence between the approximation of an MLP and that of a piecewise low-order polynomial is established. Comparison between piecewise polynomial and MLP approximations is made. Since the approximation capability of piecewise low-order polynomials is well understood, our findings shed light on the universal approximation capability of an MLP.


title: Network Topology Inference with Graphon Spectral Penalties

abstract: We consider the problem of inferring the unobserved edges of a graph from data supported on its nodes. In line with existing approaches, we propose a convex program for recovering a graph Laplacian that is approximately diagonalizable by a set of eigenvectors obtained from the second-order moment of the observed data. Unlike existing work, we incorporate prior knowledge about the distribution from where the underlying graph was drawn. In particular, we consider the case where the graph was drawn from a graphon model, and we supplement our convex optimization problem with a provably-valid regularizer on the spectrum of the graph to be recovered. We present the cases where the graphon model is assumed to be known and the more practical setting where the relevant features of the model are inferred from auxiliary network observations. Numerical experiments on synthetic and real-world data illustrate the advantage of leveraging the proposed graphon prior, even when the prior is imperfect.


title: Neograd: Near-Ideal Gradient Descent

abstract: The purpose of this paper is to improve upon existing variants of gradient descent by solving two problems: (1) removing (or reducing) the plateau that occurs while minimizing the cost function, (2) continually adjusting the learning rate to an "ideal" value. The approach taken is to approximately solve for the learning rate as a function of a trust metric. When this technique is hybridized with momentum, it creates an especially effective gradient descent variant, called NeogradM. It is shown to outperform Adam on several test problems, and can easily reach cost function values that are smaller by a factor of $10^8$, for example.


title: The LL(finite) strategy for optimal LL(k) parsing

abstract: The LL(finite) parsing strategy for parsing of LL(k) grammars where k needs not to be known is presented. The strategy parses input in linear time, uses arbitrary but always minimal lookahead necessary to disambiguate between alternatives of nonterminals, and it is optimal in the number of lookahead terminal scans performed. Modifications to the algorithm are shown that allow for resolution of grammar ambiguities by precedence -- effectively interpreting the input as a parsing expression grammar -- as well as for the use of predicates, and a proof of concept, the open-source parser generator Astir, employs the LL(finite) strategy in the output it generates.


title: Intermittency of velocity circulation in quantum turbulence

abstract: The velocity circulation, a measure of the rotation of a fluid within a closed path, is a fundamental observable in classical and quantum flows. It is indeed a Lagrangian invariant in inviscid classical fluids. In quantum flows, circulation is quantized, taking discrete values that are directly related to the number and the orientation of thin vortex filaments enclosed by the path. By varying the size of such closed loop, the circulation provides a measure of the dependence of the flow structure on the considered scale. Here we consider the scale dependence of circulation statistics in quantum turbulence, using high resolution direct numerical simulations of a generalized Gross-Pitaevskii model. Results are compared to the circulation statistics obtained from simulations of the incompressible Navier-Stokes equations. When the integration path is smaller than the mean inter-vortex distance, the statistics of circulation in quantum turbulence displays extreme intermittent behavior due to the quantization of circulation, in stark contrast with the viscous scales of classical flows. In contrast, at larger scales, circulation moments display striking similarities with the statistics probed in the inertial range of classical turbulence. This includes the emergence of the power law scalings predicted from Kolmogorov's 1941 theory, as well as intermittency deviations that closely follow the recently proposed bifractal model for circulation moments in classical flows. To date, this is the most convincing evidence of intermittency in the large scales of quantum turbulence. Moreover, our results strongly reinforce the resemblance between classical and quantum turbulence, highlighting the universality of inertial range dynamics, including intermittency, across these two a priori very different systems.


title: Unstable delayed feedback control to change sign of coupling strength for weakly coupled limit cycle oscillators

abstract: Weakly coupled limit cycle oscillators can be reduced into a system of weakly coupled phase models. These phase models are helpful to analyze the synchronization phenomena. For example, a phase model of two oscillators has a one-dimensional differential equation for the evolution of the phase difference. The existence of fixed points determines frequency-locking solutions. By treating each oscillator as a black-box possessing a single input and a single output, one can investigate various control algorithms to change the synchronization of the oscillators. In particular, we are interested in a delayed feedback control algorithm. Application of this algorithm to the oscillators after a subsequent phase reduction should give the same phase model as in the control-free case, but with a rescaled coupling strength. The conventional delayed feedback control is limited to the change of magnitude but does not allow the change of sign of the coupling strength. In this work, we present a modification of the delayed feedback algorithm supplemented by an additional unstable degree of freedom, which is able to change the sign of the coupling strength. Various numerical calculations performed with Landau-Stuart and FitzHugh-Nagumo oscillators show successful switching between an in-phase and anti-phase synchronization using the provided control algorithm. Additionally, we show that the control force becomes non-invasive if our objective is stabilization of an unstable phase difference for two coupled oscillators.


title: Avoiding Side Effects By Considering Future Tasks

abstract: Designing reward functions is difficult: the designer has to specify what to do (what it means to complete the task) as well as what not to do (side effects that should be avoided while completing the task). To alleviate the burden on the reward designer, we propose an algorithm to automatically generate an auxiliary reward function that penalizes side effects. This auxiliary objective rewards the ability to complete possible future tasks, which decreases if the agent causes side effects during the current task. The future task reward can also give the agent an incentive to interfere with events in the environment that make future tasks less achievable, such as irreversible actions by other agents. To avoid this interference incentive, we introduce a baseline policy that represents a default course of action (such as doing nothing), and use it to filter out future tasks that are not achievable by default. We formally define interference incentives and show that the future task approach with a baseline policy avoids these incentives in the deterministic case. Using gridworld environments that test for side effects and interference, we show that our method avoids interference and is more effective for avoiding side effects than the common approach of penalizing irreversible actions.


title: Tokenization Repair in the Presence of Spelling Errors

abstract: We consider the following tokenization repair problem: Given a natural language text with any combination of missing or spurious spaces, correct these. Spelling errors can be present, but it's not part of the problem to correct them. For example, given: "Tispa per isabout token izaionrep air", compute "Tis paper is about tokenizaion repair". We identify three key ingredients of high-quality tokenization repair, all missing from previous work: deep language models with a bidirectional component, training the models on text with spelling errors, and making use of the space information already present. Our methods also improve existing spell checkers by fixing not only more tokenization errors but also more spelling errors: once it is clear which characters form a word, it is much easier for them to figure out the correct word. We provide six benchmarks that cover three use cases (OCR errors, text extraction from PDF, human errors) and the cases of partially correct space information and all spaces missing. We evaluate our methods against the best existing methods and a non-trivial baseline. We provide full reproducibility under https://ad.cs.uni-freiburg.de/publications .


title: RG flows of integrable $\sigma$-models and the twist function

abstract: In the study of integrable non-linear $\sigma$-models which are assemblies and/or deformations of principal chiral models and/or WZW models, a rational function called the twist function plays a central role. For a large class of such models, we show that they are one-loop renormalizable, and that the renormalization group flow equations can be written directly in terms of the twist function in a remarkably simple way. The resulting equation appears to have a universal character when the integrable model is characterized by a twist function.


title: Invariance principle for fragmentation processes derived from conditioned stable Galton-Watson trees

abstract: Aldous, Evans and Pitman (1998) studied the behavior of the fragmentation process derived from deleting the edges of a uniform random tree on $n$ labelled vertices. In particular, they showed that, after proper rescaling, the above fragmentation process converges as $n \rightarrow \infty$ to the fragmentation process of the Brownian CRT obtained by cutting-down the Brownian CRT along its skeleton in a Poisson manner. In this work, we continue the above investigation and study the fragmentation process obtained by deleting randomly chosen edges from a critical Galton-Watson tree $\mathbf{t}_{n}$ conditioned on having $n$ vertices, whose offspring distribution belongs to the domain of attraction of a stable law of index $\alpha \in (1,2]$. Our main results establish that, after rescaling, the fragmentation process of $\mathbf{t}_{n}$ converges as $n \rightarrow \infty$ to the fragmentation process obtained by cutting-down proportional to the length on the skeleton of an $\alpha$-stable L\'evy tree of index $\alpha \in (1,2]$. We further show that the latter can be constructed by considering the partitions of the unit interval induced by the normalized $\alpha$-stable L\'evy excursion with a deterministic drift studied by Miermont (2001). This extends the result of Bertoin (2000) on the fragmentation process of the Brownian CRT.


title: An Empirical Analysis of Visual Features for Multiple Object Tracking in Urban Scenes

abstract: This paper addresses the problem of selecting appearance features for multiple object tracking (MOT) in urban scenes. Over the years, a large number of features has been used for MOT. However, it is not clear whether some of them are better than others. Commonly used features are color histograms, histograms of oriented gradients, deep features from convolutional neural networks and re-identification (ReID) features. In this study, we assess how good these features are at discriminating objects enclosed by a bounding box in urban scene tracking scenarios. Several affinity measures, namely the $\mathrm{L}_1$, $\mathrm{L}_2$ and the Bhattacharyya distances, Rank-1 counts and the cosine similarity, are also assessed for their impact on the discriminative power of the features. Results on several datasets show that features from ReID networks are the best for discriminating instances from one another regardless of the quality of the detector. If a ReID model is not available, color histograms may be selected if the detector has a good recall and there are few occlusions; otherwise, deep features are more robust to detectors with lower recall. The project page is http://www.mehdimiah.com/visual_features.


title: Understanding Neural Abstractive Summarization Models via Uncertainty

abstract: An advantage of seq2seq abstractive summarization models is that they generate text in a free-form manner, but this flexibility makes it difficult to interpret model behavior. In this work, we analyze summarization decoders in both blackbox and whitebox ways by studying on the entropy, or uncertainty, of the model's token-level predictions. For two strong pre-trained models, PEGASUS and BART on two summarization datasets, we find a strong correlation between low prediction entropy and where the model copies tokens rather than generating novel text. The decoder's uncertainty also connects to factors like sentence position and syntactic distance between adjacent pairs of tokens, giving a sense of what factors make a context particularly selective for the model's next output token. Finally, we study the relationship of decoder uncertainty and attention behavior to understand how attention gives rise to these observed effects in the model. We show that uncertainty is a useful perspective for analyzing summarization and text generation models more broadly.


title: Quantum Simulations of SARS-CoV-2 Main Protease Mpro Enable Accurate Scoring of Diverse Ligands

abstract: The COVID-19 pandemic has led to unprecedented efforts to identify drugs that can reduce its associated morbidity/mortality rate. Computational chemistry approaches hold the potential for triaging potential candidates far more quickly than their experimental counterparts. These methods have been widely used to search for small molecules that can inhibit critical proteins involved in the SARS-CoV-2 replication cycle. An important target is the SARS-CoV-2 main protease Mpro, an enzyme that cleaves the viral polyproteins into individual proteins required for viral replication and transcription. Unfortunately, standard computational screening methods face difficulties in ranking diverse ligands to a receptor due to disparate ligand scaffolds and varying charge states. Here, we describe full density functional quantum mechanical (DFT/QM) simulations of Mpro in complex with various ligands to obtain absolute ligand binding energies. Our calculations are enabled by a new cloud-native parallel DFT/QM implementation running on computational resources from Amazon Web Services (AWS). The results we obtain are promising: the approach is quite capable of scoring a very diverse set of existing drug compounds for their affinities to Mpro and suggest the DFT/QM approach is potentially more broadly applicable to repurpose screening against this target. In addition, each DFT/QM simulation required only ~1 hour (wall clock time) per ligand. The fast turnaround time raises the practical possibility of a broad application of large-scale quantum mechanics in the drug discovery pipeline at stages where ligand diversity is essential.


title: Window Processing of Binary Polarization Kernels

abstract: A decoding algorithm for polar (sub)codes with binary $2^t\times 2^t$ polarization kernels is presented. It is based on the window processing (WP) method, which exploits the linear relationship of the polarization kernels and the Arikan matrix. This relationship enables one to compute the kernel input symbols probabilities by computing the probabilities of several paths in Arikan successive cancellation (SC) decoder. In this paper we propose an improved version of WP, which has significantly lower arithmetic complexity and operates in log-likelihood ratios (LLRs) domain. The algorithm identifies and reuses common subexpressions arising in computation of Arikan SC path scores. The proposed algorithm is applied to kernels of size 16 and 32 with improved polarization properties. It enables polar (sub)codes with the considered kernels to simultaneously provide better performance and lower decoding complexity compared with polar (sub)codes with Arikan kernel.


title: Intrinsic flat convergence of points and applications to stability of the positive mass theorem

abstract: We prove results on intrinsic flat convergence of points---a concept first explored by Sormani in \cite{Sormani-AA}. In particular, we discuss compatibility with Gromov-Hausdorff convergence of points---a concept first described by Gromov in \cite{Gromov-poly}. We apply these results to the problem of stability of the positive mass theorem in mathematical relativity. Specifically, we revisit the article \cite{HLS} on intrinsic flat stability for the case of graphical hypersurfaces of Euclidean space: We are able to fill in some details in the proofs of Theorems 1.4 and Lemma~5.1 of \cite{HLS} and strengthen some statements. Moreover, in light of an acknowledged error in the proof of Theorem~1.3 of \cite{HLS}, we provide an alternative proof that extends recent work of \cite{AP20}.


title: Compressive Summarization with Plausibility and Salience Modeling

abstract: Compressive summarization systems typically rely on a crafted set of syntactic rules to determine what spans of possible summary sentences can be deleted, then learn a model of what to actually delete by optimizing for content selection (ROUGE). In this work, we propose to relax the rigid syntactic constraints on candidate spans and instead leave compression decisions to two data-driven criteria: plausibility and salience. Deleting a span is plausible if removing it maintains the grammaticality and factuality of a sentence, and spans are salient if they contain important information from the summary. Each of these is judged by a pre-trained Transformer model, and only deletions that are both plausible and not salient can be applied. When integrated into a simple extraction-compression pipeline, our method achieves strong in-domain results on benchmark summarization datasets, and human evaluation shows that the plausibility model generally selects for grammatical and factual deletions. Furthermore, the flexibility of our approach allows it to generalize cross-domain: our system fine-tuned on only 500 samples from a new domain can match or exceed an in-domain extractive model trained on much more data.


title: Dual Komar Mass, Torsion and Riemann-Cartan Manifolds

abstract: The dual Komar mass generalizes the concept of the NUT parameter and is akin to the magnetic charge in electrodynamics. In asymptotically flat spacetimes it coincides with the dual supertranslation charge. The dual mass vanishes identically on Riemannian manifolds in General Relativity unless conical singularities corresponding to Misner strings are introduced. In this paper we propose an alternative way to source the dual mass locally. We show that this can be done by enlarging the phase space of the theory to allow for a violation of the algebraic Bianchi identity using local fields. A minimal extension of Einstein's gravity that meets this requirement is known as the Einstein-Cartan theory. Our main result is that on Riemann-Cartan manifolds the dual Komar mass does not vanish and is given by a volume integral over a local 1-form gravitational-magnetic current that is a function of the torsion.


title: Self-organization toward criticality by synaptic plasticity

abstract: Self-organized criticality has been proposed to be a universal mechanism for the emergence of scale-free dynamics in many complex systems, and possibly in the brain. While such scale-free patterns were identified experimentally in many different types of neural recordings, the biological principles behind their emergence remained unknown. Utilizing different network models and motivated by experimental observations, synaptic plasticity was proposed as a possible mechanism to self-organize brain dynamics towards a critical point. In this review, we discuss how various biologically plausible plasticity rules operating across multiple timescales are implemented in the models and how they alter the network's dynamical state through modification of number and strength of the connections between the neurons. Some of these rules help to stabilize criticality, some need additional mechanisms to prevent divergence from the critical state. We propose that rules that are capable of bringing the network to criticality can be classified by how long the near-critical dynamics persists after their disabling. Finally, we discuss the role of self-organization and criticality in computation. Overall, the concept of criticality helps to shed light on brain function and self-organization, yet the overall dynamics of living neural networks seem to harnesses not only criticality for computation, but also deviations thereof.


title: Geodesics and metric ball boundaries in Liouville quantum gravity

abstract: Recent works have shown that there is a canonical way to to assign a metric (distance function) to a Liouville quantum gravity (LQG) surface for any parameter $\gamma \in (0,2)$. We establish a strong confluence property for LQG geodesics, which generalizes a result proven by Angel, Kolesnik and Miermont for the Brownian map. Using this property, we also establish zero-one laws for the Hausdorff dimensions of geodesics, metric ball boundaries, and metric nets w.r.t. the Euclidean or LQG metric. In the case of a metric ball boundary, our result combined with earlier work of Gwynne (2020) gives a formula for the a.s. Hausdorff dimension for the boundary of the metric ball stopped when it hits a fixed point in terms of the Hausdorff dimension of the whole LQG surface. We also show that the Hausdorff dimension of the metric ball boundary is carried by points which are not on the boundary of any complementary connected component of the ball.


title: Formulas for coefficients of polynomials assigned to arithmetic functions

abstract: We attach to normalized (non-vanishing) arithmetic functions $g$ and $h$ recursively defined polynomials. Let $P_0^{g,h}(x):=1$. Then \begin{equation} P_n^{g,h}(x) := \frac{x}{h(n)} \sum_{k=1}^{n} g(k) \, P_{n-k}^{g,h}(x). \end{equation} For special $g$ and $h$, we obtain the D'Arcais polynomials, which are equal to the coefficients of the $-z$th powers of the Dedekind $\eta$-function and are also given by Nekrasov and Okounkov as a hook length formula. Examples are offered by Pochhammer polynomials, Chebyshev polynomials of the second kind, and associated Laguerre polynomials. We present explicit formulas and identities for the coefficients of $P_n^{g,h}(x)$ which separate the impact of $g$ and $h$. Finally, we provide several applications.


title: Improving Natural Language Processing Tasks with Human Gaze-Guided Neural Attention

abstract: A lack of corpora has so far limited advances in integrating human gaze data as a supervisory signal in neural attention mechanisms for natural language processing(NLP). We propose a novel hybrid text saliency model(TSM) that, for the first time, combines a cognitive model of reading with explicit human gaze supervision in a single machine learning framework. On four different corpora we demonstrate that our hybrid TSM duration predictions are highly correlated with human gaze ground truth. We further propose a novel joint modeling approach to integrate TSM predictions into the attention layer of a network designed for a specific upstream NLP task without the need for any task-specific human gaze data. We demonstrate that our joint model outperforms the state of the art in paraphrase generation on the Quora Question Pairs corpus by more than 10% in BLEU-4 and achieves state of the art performance for sentence compression on the challenging Google Sentence Compression corpus. As such, our work introduces a practical approach for bridging between data-driven and cognitive models and demonstrates a new way to integrate human gaze-guided neural attention into NLP tasks.


title: Robotic Pick-and-Place With Uncertain Object Instance Segmentation and Shape Completion

abstract: We consider robotic pick-and-place of partially visible, novel objects, where goal placements are non-trivial, e.g., tightly packed into a bin. One approach is (a) use object instance segmentation and shape completion to model the objects and (b) use a regrasp planner to decide grasps and places displacing the models to their goals. However, it is critical for the planner to account for uncertainty in the perceived models, as object geometries in unobserved areas are just guesses. We account for perceptual uncertainty by incorporating it into the regrasp planner's cost function. We compare seven different costs. One of these, which uses neural networks to estimate probability of grasp and place stability, consistently outperforms uncertainty-unaware costs and evaluates faster than Monte Carlo sampling. On a real robot, the proposed cost results in successfully packing objects tightly into a bin 7.8% more often versus the commonly used minimum-number-of-grasps cost.


title: MAP Propagation Algorithm: Faster Learning with a Team of Reinforcement Learning Agents

abstract: Nearly all state-of-the-art deep learning algorithms rely on error backpropagation, which is generally regarded as biologically implausible. An alternative way of training an artificial neural network is through treating each unit in the network as a reinforcement learning agent, and thus the network is considered as a team of agents. As such, all units can be trained by REINFORCE, a local learning rule modulated by a global signal that is more consistent with biologically observed forms of synaptic plasticity. Although this learning rule follows the gradient of return in expectation, it suffers from high variance and thus the low speed of learning, rendering it impractical to train deep networks. We therefore propose a novel algorithm called MAP propagation to reduce this variance significantly while retaining the local property of the learning rule. Experiments demonstrated that MAP propagation could solve common reinforcement learning tasks at a similar speed to backpropagation when applied to an actor-critic network. Our work thus allows for the broader application of the teams of agents in deep reinforcement learning.


title: Disentangling orbital and valley Hall effects in bilayers of transition metal dichalcogenides

abstract: It has been recently shown that monolayers of transition metal dichalcogenides (TMDs) in the 2H structural phase exhibit relatively large orbital Hall conductivity plateaus within their energy band gaps, where their spin Hall conductivities vanish. However, since the valley Hall effect (VHE) in these systems also generates a transverse flow of orbital angular momentum it becomes experimentally challenging to distinguish between the two effects in these materials. The VHE requires inversion symmetry breaking to occur, which takes place in the TMD monolayers, but not in the bilayers. We show that a bilayer of 2H-MoS$_2$ is an orbital Hall insulator that exhibits a sizeable OHE in the absence of both spin and valley Hall effects. This phase can be characterised by an orbital Chern number that assumes the value $\mathcal{C}_{L}=2$ for the 2H-MoS$_2$ bilayer and $\mathcal{C}_{L}=1$ for the monolayer, confirming the topological nature of these orbital-Hall insulator systems. Our results are based on density functional theory (DFT) and low-energy effective model calculations and strongly suggest that bilayers of TMDs are highly suitable platforms for direct observation of the orbital Hall insulating phase in two-dimensional materials. Implications of our findings for attempts to observe the VHE in TMD bilayers are also discussed.


title: Deep Convolutional Neural Network-based Inverse Filtering Approach for Speech De-reverberation

abstract: In this paper, we introduce a spectral-domain inverse filtering approach for single-channel speech de-reverberation using deep convolutional neural network (CNN). The main goal is to better handle realistic reverberant conditions where the room impulse response (RIR) filter is longer than the short-time Fourier transform (STFT) analysis window. To this end, we consider the convolutive transfer function (CTF) model for the reverberant speech signal. In the proposed framework, the CNN architecture is trained to directly estimate the inverse filter of the CTF model. Among various choices for the CNN structure, we consider the U-net which consists of a fully-convolutional auto-encoder network with skip-connections. Experimental results show that the proposed method provides better de-reverberation performance than the prevalent benchmark algorithms under various reverberation conditions.


title: Applications of the Hawking Energy in Inhomogeneous Cosmology

abstract: The past lightcone of an observer in a cosmological spacetime is the unique geometric structure directly linked to observations. After general properties of the Hawking energy along slices of the past lightcone have previously been studied, the present work continues along this path by providing explicit cosmological applications of the Hawking energy associated with a lightcone. Firstly, it is shown that amongst all two-dimensional non-trapped spheres with equal area and average matter density, a shear-free matter distribution maximizes the Hawking energy for sufficiently high densities. Secondly, a Robertson-Walker reference slice is constructed for every lightcone slice based on area and energy. Thirdly, after a few pedagogical examples in concrete FLRW spacetimes, the implications of monotonicity of the energy down the lightcone are explored, arriving at two new bounds on the cosmic fluid's density and equation-of-state parameter.


title: Spatial Registration Evaluation of [18F]-MK6240 PET

abstract: Image registration is an important preprocessing step in neuroimaging which allows for the matching of anatomical and functional information between modalities and subjects. This can be challenging if there are gross differences in image geometry or in signal intensity, such as in the case of some molecular PET radioligands, where control subjects display relative lack of signal relative to noise within intracranial regions, and may have off target binding that may be confused as other regions, and may vary depending on subject. The use of intermediary images or volumes have been shown to aide registration in such cases. To account for this phenomena within our own longitudinal aging cohort, we generated a population specific MRI and PET template from a broad distribution of 30 amyloid negative subjects. We then registered the PET image of each of these subjects, as well as a holdout set of thirty 'template-naive' subjects to their corresponding MRI images using the template image as an intermediate using three different sets of registration parameters and procedures. To evaluate the performance of both conventional registration and our method, we compared these to the registration of the attenuation CT (acquired at time of PET acquisition) to MRI as the reference. We then used our template to directly derive SUVR values without the use of MRI. We found that conventional registration was comparable to an existing CT based standard, and there was no significant difference in errors collectively amongst all methods tested. In addition, there were no significant differences between existing and MR-less tau PET quantification methods. We conclude that a template-based method is a feasible alternative to, or salvage for, direct registration and MR-less quantification; and, may be preferred in cases where there is doubt about the similarity between two image modalities.


title: Diagonal unitary and orthogonal symmetries in quantum theory

abstract: We analyze bipartite matrices and linear maps between matrix algebras, which are respectively, invariant and covariant, under the diagonal unitary and orthogonal groups' actions. By presenting an expansive list of examples from the literature, which includes notable entries like the Diagonal Symmetric states and the Choi-type maps, we show that this class of matrices (and maps) encompasses a wide variety of scenarios, thereby unifying their study. We examine their linear algebraic structure and investigate different notions of positivity through their convex conic manifestations. In particular, we generalize the well-known cone of completely positive matrices to that of triplewise completely positive matrices and connect it to the separability of the relevant invariant states (or the entanglement breaking property of the corresponding quantum channels). For linear maps, we provide explicit characterizations of the stated covariance in terms of their Kraus, Stinespring, and Choi representations, and systematically analyze the usual properties of positivity, decomposability, complete positivity, and the like. We also describe the invariant subspaces of these maps and use their structure to provide necessary and sufficient conditions for separability of the associated invariant bipartite states.


title: Abstract Congruence Criteria for Weak Bisimilarity

abstract: We introduce three general compositionality criteria over operational semantics and prove that, when all three are satisfied together, they guarantee weak bisimulation being a congruence. Our work is founded upon Turi and Plotkin's mathematical operational semantics and the coalgebraic approach to weak bisimulation by Brengos. We demonstrate each criterion with various examples of success and failure and establish a formal connection with the simply WB cool rule format of Bloom and van Glabbeek. In addition, we show that the three criteria induce lax models in the sense of Bonchi et al.


title: Dynamic fingerprint of fractionalized excitations in single-crystalline Cu$_3$Zn(OH)$_6$FBr

abstract: Quantum spin liquid (QSL) represents a new class of condensed matter states characterized by the long-range many-body entanglement of topological orders. The most prominent feature of the elusive QSL state is the existence of fractionalized spin excitations. Subject to the strong quantum fluctuations, the spin-1/2 antiferromagnetic system on a kagome lattice is the promising candidate for hosting a QSL ground state, but the structurally ideal realization is rare. Here, we report Raman scattering on the single crystalline Cu$_3$Zn(OH)$_6$FBr, and confirm that the ideal kagome structure remains down to low temperatures without any lattice distortion by the angle-resolved polarized Raman responses and second-harmonic-generation measurements. Furthermore, at low temperatures the Raman scattering reveals a continuum of the spin excitations in Cu$_3$Zn(OH)$_6$FBr, in contrast to the sharp magnon peak in the ordered kagome antiferromagnet EuCu$_3$(OH)$_6$Cl$_3$. Such magnetic Raman continuum, in particular, the substantial low-energy one-pair spinon excitation serves as strong evidence for fractionalized spin excitations in Cu$_3$Zn(OH)$_6$FBr.


title: On the tropical Lefschetz-Hopf trace formula

abstract: In this follow-up to arXiv:2007.11642, our main result is a tropical Lefschetz-Hopf trace formula for matroidal automorphisms. We show that both sides of the formula are equal to the (generalized) beta invariant of the lattice of fixed flats.


title: Entropic proofs of Singleton bounds for quantum error-correcting codes

abstract: We show that a relatively simple reasoning using von Neumann entropy inequalities yields a robust proof of the quantum Singleton bound for quantum error-correcting codes (QECC). For entanglement-assisted quantum error-correcting codes (EAQECC) and catalytic codes (CQECC), a type of generalized quantum Singleton bound [Brun et al., IEEE Trans. Inf. Theory 60(6):3073--3089 (2014)] was believed to hold for many years until recently one of us found a counterexample [MG, Phys. Rev. A 103, 020601 (2021)]. Here, we rectify this state of affairs by proving the correct generalized quantum Singleton bound, extending the above-mentioned proof method for QECC; we also prove information-theoretically tight bounds on the entanglement-communication tradeoff for EAQECC. All of the bounds relate block length $n$ and code length $k$ for given minimum distance $d$ and we show that they are robust, in the sense that they hold with small perturbations for codes which only correct most of the erasure errors of less than $d$ letters. In contrast to the classical case, the bounds take on qualitatively different forms depending on whether the minimum distance is smaller or larger than half the block length. We also provide a propagation rule: any pure QECC yields an EAQECC with the same distance and dimension, but of shorter block length.


title: Strain incompatibility as a source of residual stress in welding and additive manufacturing

abstract: The accumulation of residual stress during welding and additive manufacturing is an important effect that can significantly anticipate the workpiece failure. In this work we exploit the physical and analytical transparency of a 1.5D model to show that the deposition of thermally expanded material onto an elastic substrate leads to the accumulation of strain incompatibility. This field, which is the source of residual stress in the system, introduces memory of the construction history even in the absence of plastic deformations. The model is then applied to describe the onset and the progression of residual stresses during deposition, their evolution upon cooling, and the fundamental role played by the velocity of the moving heat source.


title: Probabilistic Sequential Shrinking: A Best Arm Identification Algorithm for Stochastic Bandits with Corruptions

abstract: We consider a best arm identification (BAI) problem for stochastic bandits with adversarial corruptions in the fixed-budget setting of T steps. We design a novel randomized algorithm, Probabilistic Sequential Shrinking($u$) (PSS($u$)), which is agnostic to the amount of corruptions. When the amount of corruptions per step (CPS) is below a threshold, PSS($u$) identifies the best arm or item with probability tending to $1$ as $T\rightarrow \infty$. Otherwise, the optimality gap of the identified item degrades gracefully with the CPS.We argue that such a bifurcation is necessary. In PSS($u$), the parameter $u$ serves to balance between the optimality gap and success probability. The injection of randomization is shown to be essential to mitigate the impact of corruptions. To demonstrate this, we design two attack strategies that are applicable to any algorithm. We apply one of them to a deterministic analogue of PSS($u$) known as Successive Halving (SH) by Karnin et al. (2013). The attack strategy results in a high failure probability for SH, but PSS($u$) remains robust. In the absence of corruptions, PSS($2$)'s performance guarantee matches SH's. We show that when the CPS is sufficiently large, no algorithm can achieve a BAI probability tending to $1$ as $T\rightarrow \infty$. Numerical experiments corroborate our theoretical findings.


title: Quantifying the performance of bidirectional quantum teleportation

abstract: Bidirectional teleportation is a fundamental protocol for exchanging quantum information between two parties by means of a shared resource state and local operations and classical communication (LOCC). Here we develop two seemingly different ways of quantifying the simulation error of unideal bidirectional teleportation by means of the normalized diamond distance and the channel infidelity, and we prove that they are equivalent. By relaxing the set of operations allowed from LOCC to those that completely preserve the positivity of the partial transpose, we obtain semi-definite programming lower bounds on the simulation error of unideal bidirectional teleportation. We evaluate these bounds for several key examples: when there is no resource state at all and for isotropic and Werner states, in each case finding an analytical solution. The first aforementioned example establishes a benchmark for classical versus quantum bidirectional teleportation. Another example consists of a resource state resulting from the action of a generalized amplitude damping channel on two Bell states, for which we find an analytical expression for the simulation error. We then evaluate the performance of some schemes for bidirectional teleportation due to Kiktenko et al. and find that they are suboptimal and do not go beyond the aforementioned classical limit. We offer a scheme alternative to theirs that is provably optimal. Finally, we generalize the whole development to the setting of bidirectional controlled teleportation, in which there is an additional assisting party who helps with the exchange of quantum information, and we establish semi-definite programming lower bounds on the simulation error for this task. More generally, we provide semi-definite programming lower bounds on the performance of bipartite and multipartite channel simulation using a shared resource state and LOCC.


title: DSLib: An open source library for the dominant set clustering method

abstract: DSLib is an open-source implementation of the Dominant Set (DS) clustering algorithm written entirely in Matlab. The DS method is a graph-based clustering technique rooted in the evolutionary game theory that starts gaining lots of interest in the computer science community. Thanks to its duality with game theory and its strict relation to the notion of maximal clique, has been explored in several directions not only related to clustering problems. Applications in graph matching, segmentation, classification and medical imaging are common in literature. This package provides an implementation of the original DS clustering algorithm since no code has been officially released yet, together with a still growing collection of methods and variants related to it. Our library is integrable into a Matlab pipeline without dependencies, it is simple to use and easily extendable for upcoming works. The latest source code, the documentation and some examples can be downloaded from https://xwasco.github.io/DominantSetLibrary.


title: Dynamical force measurements for contacting soft surfaces upon steady sliding: Fixed-depth tribology

abstract: The tribology between surfaces can have a profound impact on the response of a mechanical system, such as how granular particles are driven to flow. In this work, we perform experiments that time-resolve the tangential and normal components of the force between two semi-cylindrical PDMS (polydimethylsiloxane) samples immersed in fluid, as they slide against each other in a range of controlled speeds. The time-averaged friction force shows a non-monotonic dependence on the sliding speed over four decades, which is consistent to the paradigmatic Stribeck diagram and three dynamical regimes associated with it. Our specially designed fixed-depth setup allows us to study the fluctuation of force that exhibits strong stick-slip patterns in one of the regimes. Data from repetitive experiments reveal that both the "onset speed" for the stick-slip patterns and its spatial location along the sample change gradually during the course of our experiments, indicating changes on the sample surfaces. In addition, we conduct counterpart experiments by using spherical samples rubbing against each other, to make a direct connection of the inter-particle tribology to the granular flow reported in our previous work [Phys. Rev. Lett. 126,128001 (2021)].


title: Preservation of absolutely continuous spectrum for contractive operators

abstract: We consider contractive operators $T$ that are trace class perturbations of a unitary operator $U$. We prove that the dimension functions of the absolutely continuous spectrum of $T$, $T^*$ and of $U$ coincide. In particular, if $U$ has a purely singular spectrum then the characteristic function $\theta$ of $T$ is a two-sided inner function, i.e. $\theta(\xi)$ is unitary a.e. on $\mathbb{T}$. Some corollaries of this result are related to investigations of the asymptotic stability of the operators $T$ and $T^*$ (convergence $T^n\to 0$ and $(T^*)^n\to 0$, respectively, in the strong operator topology). The proof is based on an explicit computation of the characteristic function.


title: Additive actions on toric projective hypersurfaces

abstract: Let $\mathbb{K}$ be an algebraically closed field of characteristic zero and $\mathbb{G}_a$ be the additive group of $\mathbb{K}$. We say that an irreducible algebraic variety $X$ of dimension $n$ over the field $\mathbb{K}$ admits an additive action if there is a regular action of the group $\mathbb{G}_a^n = \mathbb{G}_a \times \ldots \times \mathbb{G}_a$ ($n$ times) on $X$ with an open orbit. In this paper we find all projective toric hypersurfaces admitting additive action.


title: Marginal Contribution Feature Importance -- an Axiomatic Approach for The Natural Case

abstract: When training a predictive model over medical data, the goal is sometimes to gain insights about a certain disease. In such cases, it is common to use feature importance as a tool to highlight significant factors contributing to that disease. As there are many existing methods for computing feature importance scores, understanding their relative merits is not trivial. Further, the diversity of scenarios in which they are used lead to different expectations from the feature importance scores. While it is common to make the distinction between local scores that focus on individual predictions and global scores that look at the contribution of a feature to the model, another important division distinguishes model scenarios, in which the goal is to understand predictions of a given model from natural scenarios, in which the goal is to understand a phenomenon such as a disease. We develop a set of axioms that represent the properties expected from a feature importance function in the natural scenario and prove that there exists only one function that satisfies all of them, the Marginal Contribution Feature Importance (MCI). We analyze this function for its theoretical and empirical properties and compare it to other feature importance scores. While our focus is the natural scenario, we suggest that our axiomatic approach could be carried out in other scenarios too.


title: A Note on Powers of Paths in Tournaments

abstract: In this note we show that every tournament on $n$ vertices contains the $k$-th power of a directed path of length $n/2^{6k+7}$, which improves upon the recent bound of Scott and Kor\'{a}ndi of $n/2^{2^{3k}}$. By doing so, we get an inverse exponential dependence on $k$, which is best possible as Yuster recently showed an upper bound of $kn/{2^{k/2}}$.


title: Directed Reachability for Infinite-State Systems

abstract: Numerous tasks in program analysis and synthesis reduce to deciding reachability in possibly infinite graphs such as those induced by Petri nets. However, the Petri net reachability problem has recently been shown to require non-elementary time, which raises questions about the practical applicability of Petri nets as target models. In this paper, we introduce a novel approach for efficiently semi-deciding the reachability problem for Petri nets in practice. Our key insight is that computationally lightweight over-approximations of Petri nets can be used as distance oracles in classical graph exploration algorithms such as A* and greedy best-first search. We provide and evaluate a prototype implementation of our approach that outperforms existing state-of-the-art tools, sometimes by orders of magnitude, and which is also competitive with domain-specific tools on benchmarks coming from program synthesis and concurrent program analysis.


title: Dataset artefacts in anti-spoofing systems: a case study on the ASVspoof 2017 benchmark

abstract: The Automatic Speaker Verification Spoofing and Countermeasures Challenges motivate research in protecting speech biometric systems against a variety of different access attacks. The 2017 edition focused on replay spoofing attacks, and involved participants building and training systems on a provided dataset (ASVspoof 2017). More than 60 research papers have so far been published with this dataset, but none have sought to answer why countermeasures appear successful in detecting spoofing attacks. This article shows how artefacts inherent to the dataset may be contributing to the apparent success of published systems. We first inspect the ASVspoof 2017 dataset and summarize various artefacts present in the dataset. Second, we demonstrate how countermeasure models can exploit these artefacts to appear successful in this dataset. Third, for reliable and robust performance estimates on this dataset we propose discarding nonspeech segments and silence before and after the speech utterance during training and inference. We create speech start and endpoint annotations in the dataset and demonstrate how using them helps countermeasure models become less vulnerable from being manipulated using artefacts found in the dataset. Finally, we provide several new benchmark results for both frame-level and utterance-level models that can serve as new baselines on this dataset.


title: Equivalence of non-minimally coupled cosmologies by Noether symmetries

abstract: We discuss non-minimally coupled cosmologies involving different geometric invariants. Specifically, actions containing a non-minimally coupled scalar field to gravity described, in turn, by curvature, torsion and Gauss--Bonnet scalars are considered. We show that couplings, potentials and kinetic terms are determined by the existence of Noether symmetries which, moreover, allows to reduce and solve dynamics. The main finding of the paper is that different non-minimally coupled theories, presenting the same Noether symmetries, are dynamically equivalent. In other words, Noether symmetries are a selection criterion to compare different theories of gravity.


title: Uncertainty Aware Wildfire Management

abstract: Recent wildfires in the United States have resulted in loss of life and billions of dollars, destroying countless structures and forests. Fighting wildfires is extremely complex. It is difficult to observe the true state of fires due to smoke and risk associated with ground surveillance. There are limited resources to be deployed over a massive area and the spread of the fire is challenging to predict. This paper proposes a decision-theoretic approach to combat wildfires. We model the resource allocation problem as a partially-observable Markov decision process. We also present a data-driven model that lets us simulate how fires spread as a function of relevant covariates. A major problem in using data-driven models to combat wildfires is the lack of comprehensive data sources that relate fires with relevant covariates. We present an algorithmic approach based on large-scale raster and vector analysis that can be used to create such a dataset. Our data with over 2 million data points is the first open-source dataset that combines existing fire databases with covariates extracted from satellite imagery. Through experiments using real-world wildfire data, we demonstrate that our forecasting model can accurately model the spread of wildfires. Finally, we use simulations to demonstrate that our response strategy can significantly reduce response times compared to baseline methods.


title: Multi-Agent Trust Region Policy Optimization

abstract: We extend trust region policy optimization (TRPO) to multi-agent reinforcement learning (MARL) problems. We show that the policy update of TRPO can be transformed into a distributed consensus optimization problem for multi-agent cases. By making a series of approximations to the consensus optimization model, we propose a decentralized MARL algorithm, which we call multi-agent TRPO (MATRPO). This algorithm can optimize distributed policies based on local observations and private rewards. The agents do not need to know observations, rewards, policies or value/action-value functions of other agents. The agents only share a likelihood ratio with their neighbors during the training process. The algorithm is fully decentralized and privacy-preserving. Our experiments on two cooperative games demonstrate its robust performance on complicated MARL tasks.


title: One-dimensional model for deconfined criticality with $\mathbb{Z}_3 \times \mathbb{Z}_3$ symmetry

abstract: We continue recent efforts to discover examples of deconfined quantum criticality in one-dimensional models. In this work we investigate the transition between a $\mathbb{Z}_3$ ferromagnet and a phase with valence bond solid (VBS) order in a spin chain with $\mathbb{Z}_3\times\mathbb{Z}_3$ global symmetry. We study a model with alternating projective representations on the sites of the two sublattices, allowing the Hamiltonian to connect to an exactly solvable point having VBS order with the character of SU(3)-invariant singlets. Such a model does not admit a Lieb-Schultz-Mattis theorem typical of systems realizing deconfined critical points. Nevertheless, we find evidence for a direct transition from the VBS phase to a $\mathbb{Z}_3$ ferromagnet. Finite-entanglement scaling data are consistent with a second-order or weakly first-order transition. We find in our parameter space an integrable lattice model apparently describing the phase transition, with a very long, finite, correlation length of 190878 lattice spacings. Based on exact results for this model, we propose that the transition is extremely weakly first order, and is part of a family of DQCP described by walking of renormalization group flows.


title: Convex bodies and graded families of monomial ideals

abstract: We show that the mixed volumes of arbitrary convex bodies are equal to mixed multiplicities of graded families of monomial ideals, and to normalized limits of mixed multiplicities of monomial ideals. This result evinces the close relation between the theories of mixed volumes from convex geometry and mixed multiplicities from commutative algebra.


title: Dephasing in strongly disordered interacting quantum wires

abstract: Many-body localization is a fascinating theoretical concept describing the intricate interplay of quantum interference, i.e. localization, with many-body interaction induced dephasing. Numerous computational tests and also several experiments have been put forward to support the basic concept. Typically, averages of time-dependent global observables have been considered, such as the charge imbalance. We here investigate within the disordered spin-less Hubbard ($t-V$) model how dephasing manifests in time dependent variances of observables. We find that after quenching a N\'eel state the local charge density exhibits strong temporal fluctuations with a damping that is sensitive to disorder $W$: variances decay in a power law manner, $t^{-\zeta}$, with an exponent $\zeta(W)$ strongly varying with $W$. A heuristic argument suggests the form, $\zeta\approx\alpha(W)\xi_\text{sp}$, where $\xi_\text{sp}(W)$ denotes the noninteracting localization length and $\alpha(W)$ characterizes the multifractal structure of the dynamically active volume fraction of the many-body Hilbert space. In order to elucidate correlations underlying the damping mechanism, exact computations are compared with results from the time-dependent Hartree-Fock approximation. Implications for experimentally relevant observables, such as the imbalance, will be discussed.


title: Scheduling Opportunistic Links in Two-Tiered Reconfigurable Datacenters

abstract: Reconfigurable optical topologies are emerging as a promising technology to improve the efficiency of datacenter networks. This paper considers the problem of scheduling opportunistic links in such reconfigurable datacenters. We study the online setting and aim to minimize flow completion times. The problem is a two-tier generalization of classic switch scheduling problems. We present a stable-matching algorithm which is $2\cdot (2/\varepsilon+1)$-competitive against an optimal offline algorithm, in a resource augmentation model: the online algorithm runs $2+\varepsilon$ times faster. Our algorithm and result are fairly general and allow for different link delays and also apply to hybrid topologies which combine fixed and reconfigurable links. Our analysis is based on LP relaxation and dual fitting.


title: Rainfall-Runoff Prediction at Multiple Timescales with a Single Long Short-Term Memory Network

abstract: Long Short-Term Memory Networks (LSTMs) have been applied to daily discharge prediction with remarkable success. Many practical scenarios, however, require predictions at more granular timescales. For instance, accurate prediction of short but extreme flood peaks can make a life-saving difference, yet such peaks may escape the coarse temporal resolution of daily predictions. Naively training an LSTM on hourly data, however, entails very long input sequences that make learning hard and computationally expensive. In this study, we propose two Multi-Timescale LSTM (MTS-LSTM) architectures that jointly predict multiple timescales within one model, as they process long-past inputs at a single temporal resolution and branch out into each individual timescale for more recent input steps. We test these models on 516 basins across the continental United States and benchmark against the US National Water Model. Compared to naive prediction with a distinct LSTM per timescale, the multi-timescale architectures are computationally more efficient with no loss in accuracy. Beyond prediction quality, the multi-timescale LSTM can process different input variables at different timescales, which is especially relevant to operational applications where the lead time of meteorological forcings depends on their temporal resolution.


abstract: Self-supervised learning has emerged as a strategy to reduce the reliance on costly supervised signal by pretraining representations only using unlabeled data. These methods combine heuristic proxy classification tasks with data augmentations and have achieved significant success, but our theoretical understanding of this success remains limited. In this paper we analyze self-supervised representation learning using a causal framework. We show how data augmentations can be more effectively utilized through explicit invariance constraints on the proxy classifiers employed during pretraining. Based on this, we propose a novel self-supervised objective, Representation Learning via Invariant Causal Mechanisms (ReLIC), that enforces invariant prediction of proxy targets across augmentations through an invariance regularizer which yields improved generalization guarantees. Further, using causality we generalize contrastive learning, a particular kind of self-supervised method, and provide an alternative theoretical explanation for the success of these methods. Empirically, ReLIC significantly outperforms competing methods in terms of robustness and out-of-distribution generalization on ImageNet, while also significantly outperforming these methods on Atari achieving above human-level performance on $51$ out of $57$ games.


title: Detecting Automatically Managed Accounts in Online Social Networks: Graph Embedding Approach

abstract: The widespread of Online Social Networks and the opportunity to commercialize popular accounts have attracted a large number of automated programs, known as artificial accounts. This paper focuses on the classification of human and fake accounts on the social network, by employing several graph neural networks, to efficiently encode attributes and network graph features of the account. Our work uses both network structure and attributes to distinguish human and artificial accounts and compares attributed and traditional graph embeddings. Separating complex, human-like artificial accounts into a standalone task demonstrates significant limitations of profile-based algorithms for bot detection and shows the efficiency of network structure-based methods for detecting sophisticated bot accounts. Experiments show that our approach can achieve competitive performance compared with existing state-of-the-art bot detection systems with only network-driven features. The source code of this paper is available at: http://github.com/karpovilia/botdetection.


title: On the Liouville function at polynomial arguments

abstract: Let $\lambda$ denote the Liouville function. A problem posed by Chowla and by Cassaigne-Ferenczi-Mauduit-Rivat-S\'ark\"ozy asks to show that if $P(x)\in \mathbb{Z}[x]$, then the sequence $\lambda(P(n))$ changes sign infinitely often, assuming only that $P(x)$ is not the square of another polynomial. We show that the sequence $\lambda(P(n))$ indeed changes sign infinitely often, provided that either (i) $P$ factorizes into linear factors over the rationals; or (ii) $P$ is a reducible cubic polynomial; or (iii) $P$ factorizes into a product of any number of quadratics of a certain type; or (iv) $P$ is any polynomial not belonging to an exceptional set of density zero. Concerning (i), we prove more generally that the partial sums of $g(P(n))$ for $g$ a bounded multiplicative function exhibit nontrivial cancellation under necessary and sufficient conditions on $g$. This establishes a "99% version" of Elliott's conjecture for multiplicative functions taking values in the roots of unity of some order. Part (iv) also generalizes to the setting of $g(P(n))$ and provides a multiplicative function analogue of a recent result of Skorobogatov and Sofos on almost all polynomials attaining a prime value.


title: Secure Two-Party Quantum Computation Over Classical Channels

abstract: Secure two-party computation considers the problem of two parties computing a joint function of their private inputs without revealing anything beyond the output. In this work, we consider the setting where the two parties (a classical Alice and a quantum Bob) can communicate only via a classical channel. Our first result shows that it is in general impossible to realize a two-party quantum functionality with black-box simulation in the case of malicious quantum adversaries. In particular, we show that the existence of a secure quantum computing protocol that relies only on classical channels would contradict the quantum no-cloning argument. We circumvent this impossibility following three different approaches. The first is by considering a weaker security notion called one-sided simulation security. This notion protects the input of one party (the quantum Bob) in the standard simulation-based sense and protects the privacy of the other party's input (the classical Alice). We show how to realize a protocol that satisfies this notion relying on the learning with errors assumption. The second way to circumvent the impossibility result, while at the same time providing standard simulation-based security also against a malicious Bob, is by assuming that the quantum input has an efficient classical representation. Finally, we focus our attention on the class of zero-knowledge functionalities and provide a compiler that takes as input a classical proof of quantum knowledge (PoQK) protocol for a QMA relation R and outputs a zero-knowledge PoQK for R that can be verified by classical parties. The direct implication of our result is that Mahadev's protocol for classical verification of quantum computations (FOCS'18) can be turned into a zero-knowledge proof of quantum knowledge with classical verifiers. To the best of our knowledge, we are the first to instantiate such a primitive.


title: 2-dimensional bifunctor theorems and distributive laws

abstract: In this paper we consider the conditions that need to be satisfied by two families of pseudofunctors with a common codomain for them to be collated into a bifunctor. We observe similarities between these conditions and distributive laws of monads before providing a unified framework from which both of these results may be inferred. We do this by proving a version of the bifunctor theorem for lax functors. We then show that these generalised distributive laws may be arranged into a 2-category Dist(B,C,D), which is equivalent to Lax(B,Lax(C,D)). The collation of a distributive law into its associated bifunctor extends to a 2-functor into Lax($B \times C$, D), which corresponds to uncurrying via the aforementioned equivalence. We also describe subcategories on which collation itself restricts to an equivalence. Finally, we exhibit a number of natural categorical constructions as special cases of our result.


title: Decay of Boson Stars with Application to Glueballs and Other Real Scalars

abstract: One of the most interesting candidates for dark matter are massive real scalar particles. A well-motivated example is from a pure Yang-Mills hidden sector, which locks up into glueballs in the early universe. The lightest glueball states are scalar particles and can act as a form of bosonic dark matter. If self-interactions are repulsive this can potentially lead to very massive boson stars, where the inward gravitational force is balanced by the repulsive self-interaction. This can also arise from elementary real scalars with a regular potential. In the literature it has been claimed that this allows for astrophysically significant boson stars with high compactness, which could undergo binary mergers and generate detectable gravitational waves. Here we show that previous analyses did not take into proper account $3 \to 2$ and $4 \to 2$ quantum mechanical annihilation processes in the core of the star, while other work misinterpreted the classical $3 \to 1$ process. In this work, we compute the annihilation rates, finding that massive stars will rapidly decay from the $3 \to 2$ or $4 \to 2$ processes (while the $3 \to 1$ process is typically small). Using the Einstein-Klein-Gordon equations, we also estimate the binding energy of these stars, showing that even the densest stars do not have quite enough binding energy to prevent annihilations. For such boson stars to live for the current age of the universe and to be consistent with bounds on dark matter scattering in galaxies, we find the following upper bound on their mass for $O(1)$ self-interaction couplings: $M_*<10^{-18}M_{sun}$ when $3 \to 2$ processes are allowed and $M_*<10^{-11}M_{sun}$ when only $4 \to 2$ processes are allowed. We also estimate destabilization from parametric resonance which can considerably constrain the phase space further. Furthermore, such stars are required to have very small compactness to be long lived.


title: Weak-field Hall Resistivity and Spin/Valley Flavor Symmetry Breaking in Magic-Angle Twisted Bilayer Graphene

abstract: Near a magic twist angle, the lowest energy conduction and valence bands of bilayer graphene moir\'e superlattices become extremely narrow. The band dispersion that remains is sensitive to the moir\'e's strain pattern, nonlocal tunneling between layers, and filling-factor dependent Hartree and exchange band renormalizations. In this article we analyze the influence of these band-structure details on the pattern of flavor-symmetry-breaking observed in this narrow band system, and on the associated pattern of Fermi surface reconstructions revealed by weak-field-Hall and Schubnikov-de Haas magneto-transport measurements.


title: Multi-Resolution 3D Mapping with Explicit Free Space Representation for Fast and Accurate Mobile Robot Motion Planning

abstract: With the aim of bridging the gap between high quality reconstruction and mobile robot motion planning, we propose an efficient system that leverages the concept of adaptive-resolution volumetric mapping, which naturally integrates with the hierarchical decomposition of space in an octree data structure. Instead of a Truncated Signed Distance Function (TSDF), we adopt mapping of occupancy probabilities in log-odds representation, which allows to represent both surfaces, as well as the entire free, i.e. observed space, as opposed to unobserved space. We introduce a method for choosing resolution -- on the fly -- in real-time by means of a multi-scale max-min pooling of the input depth image. The notion of explicit free space mapping paired with the spatial hierarchy in the data structure, as well as map resolution, allows for collision queries, as needed for robot motion planning, at unprecedented speed. We quantitatively evaluate mapping accuracy, memory, runtime performance, and planning performance showing improvements over the state of the art, particularly in cases requiring high resolution maps.


title: Auto Seg-Loss: Searching Metric Surrogates for Semantic Segmentation

abstract: Designing proper loss functions is essential in training deep networks. Especially in the field of semantic segmentation, various evaluation metrics have been proposed for diverse scenarios. Despite the success of the widely adopted cross-entropy loss and its variants, the mis-alignment between the loss functions and evaluation metrics degrades the network performance. Meanwhile, manually designing loss functions for each specific metric requires expertise and significant manpower. In this paper, we propose to automate the design of metric-specific loss functions by searching differentiable surrogate losses for each metric. We substitute the non-differentiable operations in the metrics with parameterized functions, and conduct parameter search to optimize the shape of loss surfaces. Two constraints are introduced to regularize the search space and make the search efficient. Extensive experiments on PASCAL VOC and Cityscapes demonstrate that the searched surrogate losses outperform the manually designed loss functions consistently. The searched losses can generalize well to other datasets and networks. Code shall be released.


title: LTN: Long-Term Network for Long-Term Motion Prediction

abstract: Making accurate motion prediction of surrounding agents such as pedestrians and vehicles is a critical task when robots are trying to perform autonomous navigation tasks. Recent research on multi-modal trajectory prediction, including regression and classification approaches, perform very well at short-term prediction. However, when it comes to long-term prediction, most Long Short-Term Memory (LSTM) based models tend to diverge far away from the ground truth. Therefore, in this work, we present a two-stage framework for long-term trajectory prediction, which is named as Long-Term Network (LTN). Our Long-Term Network integrates both the regression and classification approaches. We first generate a set of proposed trajectories with our proposed distribution using a Conditional Variational Autoencoder (CVAE), and then classify them with binary labels, and output the trajectories with the highest score. We demonstrate our Long-Term Network's performance with experiments on two real-world pedestrian datasets: ETH/UCY, Stanford Drone Dataset (SDD), and one challenging real-world driving forecasting dataset: nuScenes. The results show that our method outperforms multiple state-of-the-art approaches in long-term trajectory prediction in terms of accuracy.


title: Removing non-physical structure in fitted Faraday rotated signals: non-parametric QU-fitting

abstract: Next-generation spectro-polarimetric broadband surveys will probe cosmic magnetic fields in unprecedented detail, using the magneto-optical effect known as Faraday rotation. However, non-parametric methods such as RMCLEAN can introduce non-observable linearly polarized flux into a fitted model at negative wavelengths squared. This leads to Faraday rotation structures that are consistent with the observed data, but would be impossible or difficult to measure. We construct a convex non-parametric $QU$-fitting algorithm to constrain the flux at negative wavelengths squared to be zero. This allows the algorithm to recover structures that are limited in complexity to the observable region in wavelength squared. We verify this approach on simulated broadband data sets where we show that it has a lower root mean square error and that it can change the scientific conclusions for real observations. We advise using this prior in next-generation broadband surveys that aim to uncover complex Faraday depth structures. We provide a public Python implementation of the algorithm at \url{https://github.com/Luke-Pratley/Faraday-Dreams}.


title: Large enhancement of thermopower at low magnetic field in compensated semimetals

abstract: The thermoelectric properties of conductors with low electron density can be altered significantly by an applied magnetic field. For example, recent work has shown that Dirac/Weyl semimetals with a single pocket of carriers can exhibit a large enhancement of thermopower when subjected to a sufficiently large field that the system reaches the extreme quantum limit, in which only a single Landau level is occupied. Here we study the magnetothermoelectric properties of compensated semimetals, for which pockets of electron- and hole-type carriers coexist at the Fermi level. We show that, when the compensation is nearly complete, such systems exhibit a huge enhancement of thermopower starting at a much smaller magnetic field, such that $\omega_c\tau > 1$, and the stringent conditions associated with the extreme quantum limit are not necessary. We discuss our results in light of recent measurements on the compensated Weyl semimetal tantalum phosphide, in which an enormous magnetothermoelectric effect was observed. We also calculate the Nernst coefficient of compensated semimetals, and show that it exhibits a maximum value with increasing magnetic field that is much larger than in the single band case. In the dissipationless limit, where the Hall angle is large, the thermoelectric response can be described in terms of quantum Hall edge states, and we use this description to generalize previous results to the multi-band case.


title: The nature of sub-millimetre galaxies I: A comparison of AGN and star-forming galaxy SED fits

abstract: High redshift sub-millimetre galaxies (SMGs) are usually assumed to be powered by star-formation. However, it has been clear for some time that $>$20% of such sources brighter than $\approx3$mJy host quasars. Here we analyse a complete sample of 12 sub-mm LABOCA/ALMA 870 $\mu$m sources in the centre of the William Herschel Deep Field (WHDF) with multi-wavelength data available from the X-ray to the radio bands. Previously, two sources were identified as X-ray absorbed quasars at $z=1.32$ and $z=2.12$. By comparing their spectral energy distributions (SEDs) with unabsorbed quasars in the same field, we confirm that they are dust reddened although at a level significantly lower than implied by their X-ray absorption. Then we compare the SED's of all the sources to dust-reddened AGN and star-forming galaxy models. This optical/NIR comparison combined with Spitzer MIR colours and faint Chandra X-ray detections shows that 7/12 SMGs are best fitted with an obscured quasarmodel, a further 3/12 show no preference between AGN and star-forming templates, leaving only a $z=0.046$ spiral galaxy and one unidentified source. So in our complete sample, the majority (10/12) of bright SMGs are at least as likely to fit an AGN as a star-forming galaxy template, although no claim is made to rule out the latter as SMG power sources. We then suggest modifications to a previous SMG number count model and conclude that obscured AGN in SMGs may still provide the dominant contribution to both the hard X-ray and sub-millimetre backgrounds.


title: Multi-Agent Motion Planning using Deep Learning for Space Applications

abstract: State-of-the-art motion planners cannot scale to a large number of systems. Motion planning for multiple agents is an NP (non-deterministic polynomial-time) hard problem, so the computation time increases exponentially with each addition of agents. This computational demand is a major stumbling block to the motion planner's application to future NASA missions involving the swarm of space vehicles. We applied a deep neural network to transform computationally demanding mathematical motion planning problems into deep learning-based numerical problems. We showed optimal motion trajectories can be accurately replicated using deep learning-based numerical models in several 2D and 3D systems with multiple agents. The deep learning-based numerical model demonstrates superior computational efficiency with plans generated 1000 times faster than the mathematical model counterpart.


title: Convolutional Neural Network for Blur Images Detection as an Alternative for Laplacian Method

abstract: With the prevalence of digital cameras, the number of digital images increases quickly, which raises the demand for non-manual image quality assessment. While there are many methods considered useful for detecting blurriness, in this paper we propose and evaluate a new method that uses a deep convolutional neural network, which can determine whether an image is blurry or not. Experimental results demonstrate the effectiveness of the proposed scheme and are compared to deterministic methods using the confusion matrix.