title: Hybrid Physical Metric For 6-DoF Grasp Pose Detection

abstract: 6-DoF grasp pose detection of multi-grasp and multi-object is a challenge task in the field of intelligent robot. To imitate human reasoning ability for grasping objects, data driven methods are widely studied. With the introduction of large-scale datasets, we discover that a single physical metric usually generates several discrete levels of grasp confidence scores, which cannot finely distinguish millions of grasp poses and leads to inaccurate prediction results. In this paper, we propose a hybrid physical metric to solve this evaluation insufficiency. First, we define a novel metric is based on the force-closure metric, supplemented by the measurement of the object flatness, gravity and collision. Second, we leverage this hybrid physical metric to generate elaborate confidence scores. Third, to learn the new confidence scores effectively, we design a multi-resolution network called Flatness Gravity Collision GraspNet (FGC-GraspNet). FGC-GraspNet proposes a multi-resolution features learning architecture for multiple tasks and introduces a new joint loss function that enhances the average precision of the grasp detection. The network evaluation and adequate real robot experiments demonstrate the effectiveness of our hybrid physical metric and FGC-GraspNet. Our method achieves 90.5\% success rate in real-world cluttered scenes. Our code is available at https://github.com/luyh20/FGC-GraspNet.


title: Discussion of `Multiscale Fisher's Independence Test for Multivariate Dependence'

abstract: We discuss how MultiFIT, the Multiscale Fisher's Independence Test for Multivariate Dependence proposed by Gorsky and Ma (2022), compares to existing linear-time kernel tests based on the Hilbert-Schmidt independence criterion (HSIC). We highlight the fact that the levels of the kernel tests at any finite sample size can be controlled exactly, as it is the case with the level of MultiFIT. In our experiments, we observe some of the performance limitations of MultiFIT in terms of test power.


title: Fair and Efficient Allocations Without Obvious Manipulations

abstract: We consider the fundamental problem of allocating a set of indivisible goods among strategic agents with additive valuation functions. It is well known that, in the absence of monetary transfers, Pareto efficient and truthful rules are dictatorial, while there is no deterministic truthful mechanism that allocates all items and achieves envy-freeness up to one item (EF1), even for the case of two agents. In this paper, we investigate the interplay of fairness and efficiency under a relaxation of truthfulness called non-obvious manipulability (NOM), recently proposed by Troyan and Morrill. We show that this relaxation allows us to bypass the aforementioned negative results in a very strong sense. Specifically, we prove that there are deterministic and EF1 algorithms that are not obviously manipulable, and the algorithm that maximizes utilitarian social welfare (the sum of agents' utilities), which is Pareto efficient but not dictatorial, is not obviously manipulable for $n \geq 3$ agents (but obviously manipulable for $n=2$ agents). At the same time, maximizing the egalitarian social welfare (the minimum of agents' utilities) or the Nash social welfare (the product of agents' utilities) is obviously manipulable for any number of agents and items. Our main result is an approximation preserving black-box reduction from the problem of designing EF1 and NOM mechanisms to the problem of designing EF1 algorithms. En route, we prove an interesting structural result about EF1 allocations, as well as new "best-of-both-worlds" results (for the problem without incentives), that might be of independent interest.


title: 2-uniform toroidal maps, classification and asymptotic behavior

abstract: If a map has k transitivity classes of vertices that are subject to the action of the automorphism group, it is said to be k-uniform. The classification of 1-uniform maps on the torus is known. In this article, we classify 2-uniform maps on the torus up to isomorphism. Explicit formulas for the number of combinatorial types of these maps on number of vertices is obtained in terms of arithmetic functions in number theory, such as the divisor function. The asymptotic behaviour of these functions as number of vertices tends to infinity is also discussed and we obtained continuous functions which asymptotically served as upper and lower bounds.


title: Packing and emergence of ordering of rods in a spherical monolayer

abstract: Spatially ordered systems confined to surfaces such as spheres exhibit interesting topological structures because of curvature induced frustration in orientational as well as translational order. The study of these structures is important for investigating the interplay between geometry, topology, and elasticity, and for their potential applications in materials science. In this work we numerically simulate a spherical monolayer of soft repulsive spherocylinders (SRS) and study the packing of rods and their ordering transition as a function of the packing fraction. In the model that we study, centers of mass of the spherocylinders (situated at their geometric centers) are constrained to move on a spherical surface. The spherocylinders are free to rotate about any axis that passes through their respective centers of mass. We show that at relatively lower packing fractions, there is a continuous transition from a disordered fluid to a novel, orientationally ordered, spherical fluid monolayer as the packing fractions is increased. This monolayer of orientationally ordered SRS particles resembles a hedgehog -- long axes of the SRS particles are aligned along the local normal to the sphere. At higher packing fractions, system undergoes transition to the solid phase, which is riddled with topological point defects (disclinations) and grain boundaries that divide the whole surface into several domains.


title: Modeling Emergent Lexicon Formation with a Self-Reinforcing Stochastic Process

abstract: We introduce FiLex, a self-reinforcing stochastic process which models finite lexicons in emergent language experiments. The central property of FiLex is that it is a self-reinforcing process, parallel to the intuition that the more a word is used in a language, the more its use will continue. As a theoretical model, FiLex serves as a way to both explain and predict the behavior of the emergent language system. We empirically test FiLex's ability to capture the relationship between the emergent language's hyperparameters and the lexicon's Shannon entropy.


title: reStructured Pre-training

abstract: In this work, we try to decipher the internal connection of NLP technology development in the past decades, searching for essence, which rewards us with a (potential) new learning paradigm for NLP tasks, dubbed as reStructured Pre-training (RST). In such a paradigm, the role of data will be re-emphasized, and model pre-training and fine-tuning of downstream tasks are viewed as a process of data storing and accessing. Based on that, we operationalize the simple principle that a good storage mechanism should not only have the ability to cache a large amount of data but also consider the ease of access. We achieve this by pre-training models over restructured data that consist of a variety of valuable information instead of raw data after overcoming several engineering challenges. Experimentally, RST models not only surpass strong competitors (e.g., T0) on 52/55 popular datasets from a variety of NLP tasks, but also achieve superior performance in National College Entrance Examination - English (Gaokao-English),the most authoritative examination in China. Specifically, the proposed system Qin achieves 40 points higher than the average scores made by students and 15 points higher than GPT3 with 1/16 parameters. In particular, Qin gets a high score of 138.5 (the full mark is 150) in the 2018 English exam (national paper III). We have released the Gaokao Benchmark with an online submission platform. In addition, we test our model in the 2022 College Entrance Examination English that happened a few days ago (2022.06.08), and it gets a total score of 134 (v.s. GPT3's 108).


title: Probing the multiwavelength emission scenario of GRB 190114C

abstract: Multiwavelength observation of the gamma-ray burst, GRB 190114C, opens a new window for studying the emission mechanism of GRB afterglows. Its Very-High-Energy (VHE; $\gtrsim 100$ GeV) detection has motivated an inverse Compton interpretation for the emission, but this has not been tested. Here, we revisit the early afterglow emission from 68 to 180 seconds and perform the modeling likelihood analysis with the keV to TeV datasets. We compute for the first time the statistical preference in the combined synchrotron (syn) and synchrotron self-Compton (SSC) model over the syn-only model. In agreement with earlier analyses, between 68 and 110 seconds an unstable preference for the SSC model can be found, which can also be explained by systematic cross calibration effect between the included instruments. We conclude that there is no stable statistical preference for one of the two models.


title: Spinning test body orbiting around a Kerr black hole: Comparing Spin Supplementary Conditions for Circular Equatorial Orbits

abstract: The worldline of a spinning test body moving in curved spacetime can be provided by the Mathisson-Papapetrou-Dixon (MPD) equations when its centroid, i.e. its center of mass, is fixed by a Spin Supplementary Condition (SSC). In the present study, we continue the exploration of shifts between different centroids started in a recently published work [ Phys. Rev. D 104, 024042 (2021)], henceforth Paper I, for the Schwarzschild spacetime, by examining the frequencies of circular equatorial orbits under a change of the SSC in the Kerr spacetime. In particular, we examine the convergence in the terms of the prograde and retrograde orbital frequencies, when these frequencies are expanded in power series of the spin measure and the centroid of the body is shifted from the Mathisson-Pirani or the Ohashi-Kyrian-Semerak frame to the Tulczyjew-Dixon one. Since in Paper I, we have seen that the innermost stable circular orbits (ISCOs) hold a special place in this comparison process, we focus on them rigorously in this work. We introduce a novel method of finding ISCOs for any SSC and employ it for the Tulczyjew-Dixon and the Mathisson-Pirani formalisms. We resort to numerical investigation of the convergence between the SSCs for the ISCO case, due to technical difficulties not allowing Paper's I analytical treatment. Our conclusion, as in Paper I, is that there appears to be a convergence in the power series of the frequencies between the SSCs, which is improved when the proper shifts are taken into account, but there exists a limit in this convergence due to the fact that in the spinning body approximation we consider only the first two lower multipoles of the extended body and ignore all the higher ones.


title: Askey-Wilson braid algebra and centralizer of $U_q(\mathfrak{sl}_2)$

abstract: A presentation of the centralizer of the three-fold tensor product of the spin $s$ representation of the quantum group $U_q(\mathfrak{sl}_2)$ is provided. It is expressed as a quotient of the Askey-Wilson braid algebra. This newly defined algebra combines the Askey-Wilson relations with the braid group relations, on three strands, together with a characteristic equation of degree $2s+1$ for the braid generators. Explicit bases are given for the centralizer.


title: Coarse embeddings at infinity and generalized expanders at infinity

abstract: We introduce a notion of coarse embedding at infinity into Hilbert space for metric spaces, which is a weakening of the notion of fibred coarse embedding and a far generalization of Gromov's concept of coarse embedding. It turns out that a residually finite group admits a coarse embedding into Hilbert space if and only if one (or equivalently, every) box space of the group admits a coarse embedding at infinity into Hilbert space. Moreover, we introduce a concept of generalized expander at infinity and show that it is an obstruction to coarse embeddability at infinity.


title: Quantum gravity lights up spinning black holes

abstract: Quantum-gravity effects in black holes are generally expected to be unobservable if they set in at transplanckian curvature scales. Here, we challenge this expectation. A near-critical spin parameter can serve as a lever arm that translates Planckian quantum-gravity effects to a global change in the spacetime: the horizon dissolves and the black hole "lights up". We investigate this transition between a black hole and a horizonless spacetime and find that additional lensing features appear instantaneously, when the quantum-gravity effect is added. In the presence of an accretion disk, a second set of internal photon rings appears in addition to the exponentially stacked set of external photon rings. The internal and external photon rings merge into cresent-like features as a function of increasing spin parameter. We explore how these simulated images would be reconstructed by a radio-very-long-baseline-interferometry array like the Event Horizon Telescope. We find that a future next-generation Event Horizon Telescope may be sensitive to the additional lensing features.


title: Topologies on unparameterised path space

abstract: The signature of a path, introduced by K.T. Chen [5] in $1954$, has been extensively studied in recent years. The $2010$ paper [12] of Hambly and Lyons showed that the signature is injective on the space of continuous finite-variation paths up to a general notion of reparameterisation called tree-like equivalence. The signature has been widely used in applications, underpinned by the result [15] that guarantees uniform approximation of a continuous function on a compact set by a linear functional of the signature. We study in detail, and for the first time, the properties of three candidate topologies on the set of unparameterised paths (the tree-like equivalence classes). These are obtained through properties of the signature and are: (1) the product topology, obtained by equipping the tensor algebra with the product topology and requiring $S$ to be an embedding, (2) the quotient topology derived from the 1-variation topology on the underlying path space, and (3) the metric topology associated to $d( [ \gamma] ,[ \sigma] ) := \vert\vert \gamma^*-\sigma^*\vert\vert_{1}$ using suitable representatives $\gamma^*$ and $\sigma^*$ of the equivalence classes. The topologies are ordered by strict inclusion, (1) being the weakest and (3) the strongest. Each is separable and Hausdorff, (1) being both metrisable and $\sigma$-compact, but not a Baire space and so neither Polish nor locally compact. The quotient topology (2) is not metrisable and the metric $d$ is not complete. An important function on (unparameterised) path space is the (fixed-time) solution map of a controlled differential equation. For a broad class of such equations, we prove measurability of this map for each topology. Under stronger regularity assumptions, we show continuity on explicit compact subsets of the product topology (1). We relate these results to the expected signature model of [15].


title: An updated metal-dependent theoretical scenario for Classical Cepheids

abstract: To properly quantify possible residual systematic errors affecting the Classical Cepheid distance scale, a detailed theoretical scenario is recommended. By extending the set of nonlinear convective pulsation models published for $Z=0.02$ \citep[][]{Desomma2020a} to $Z=0.004$, $Z=0.008$ and $Z=0.03$, we provide a detailed homogeneous nonlinear model grid taking into account simultaneous variations of the mass-luminosity relation, the efficiency of super-adiabatic convection and the chemical composition. The dependence of the inferred Period-Radius, Period-Mass-Radius, and Period-Mass-Luminosity-Temperature relations on the input parameters is discussed for both the Fundamental and First Overtone modes. The trend of the instability strip getting redder as the metallicity increases is confirmed for the additional ML assumptions and mixing length values. From the obtained multi-filter light curves, we derive mean magnitudes and colors and in turn Period-Luminosity-Color and Period-Wesenheit relations for each assumed chemical composition, mass-luminosity relation and efficiency of super-adiabatic convection. Application to a well-studied sample of Cepheids in the Large Magellanic Cloud allows us to constrain the dependence of the inferred distance modulus on the assumed mass-luminosity relation, and the inclusion of the metallicity term in the derivation of Period-Wesenheit relations allows us, for each assumed mass-luminosity relation, to predict the metallicity dependence of the Cepheid distance scale. The obtained metal-dependent Period-Wesenheit relations are compared with recent results in the literature and applied to a sample of Gaia Early Data Release 3 Galactic Cepheids with known metal abundances to derive individual parallaxes. The comparison of these predictions with Gaia results is finally discussed.


title: Then and Now: Quantifying the Longitudinal Validity of Self-Disclosed Depression Diagnoses

abstract: Self-disclosed mental health diagnoses, which serve as ground truth annotations of mental health status in the absence of clinical measures, underpin the conclusions behind most computational studies of mental health language from the last decade. However, psychiatric conditions are dynamic; a prior depression diagnosis may no longer be indicative of an individual's mental health, either due to treatment or other mitigating factors. We ask: to what extent are self-disclosures of mental health diagnoses actually relevant over time? We analyze recent activity from individuals who disclosed a depression diagnosis on social media over five years ago and, in turn, acquire a new understanding of how presentations of mental health status on social media manifest longitudinally. We also provide expanded evidence for the presence of personality-related biases in datasets curated using self-disclosed diagnoses. Our findings motivate three practical recommendations for improving mental health datasets curated using self-disclosed diagnoses: 1) Annotate diagnosis dates and psychiatric comorbidities; 2) Sample control groups using propensity score matching; 3) Identify and remove spurious correlations introduced by selection bias.


title: Effect of Phonons and Impurities on the Quantum Transport in XXZ Spin-Chains

abstract: Numerical and analytic results have been used to characterize quantum transport in spin chains, showing the existence of both ballistic and diffusive motion. Experiments have shown that heat transfer is surprisingly always diffusive. The scattering from phonons and impurities have been postulated to be the two factors critical in causing the diffusive transport. In this work, we evaluate the transport process by incorporating a bath of phonons and impurities in order to understand the role played by each of the factors. While methods like time-dependent density matrix renormalization group (tDMRG) can be used to simulate isolated spin chains, the coupling with phonons make simulations significantly more challenging. The recently developed multisite tensor network path integral (MS-TNPI) method builds a framework for simulating the dynamics in extended open quantum systems by combining ideas from tDMRG and Feynman-Vernon influence functional. This MS-TNPI is used to characterize dynamics in open, extended quantum systems. Simulations are done with the commonly used sub-Ohmic, Ohmic and super-Ohmic spectral densities describing the phononic bath. We show that while the transport in presence of impurities eventually becomes diffusive, the exact details are dependent on the specifics of the interactions and amount of impurities. In contrast, the presence of a bath makes the transport diffusive irrespective of the parameters characterizing the bath.


title: Conformer with dual-mode chunked attention for joint online and offline ASR

abstract: In this paper, we present an in-depth study on online attention mechanisms and distillation techniques for dual-mode (i.e., joint online and offline) ASR using the Conformer Transducer. In the dual-mode Conformer Transducer model, layers can function in online or offline mode while sharing parameters, and in-place knowledge distillation from offline to online mode is applied in training to improve online accuracy. In our study, we first demonstrate accuracy improvements from using chunked attention in the Conformer encoder compared to autoregressive attention with and without lookahead. Furthermore, we explore the efficient KLD and 1-best KLD losses with different shifts between online and offline outputs in the knowledge distillation. Finally, we show that a simplified dual-mode Conformer that only has mode-specific self-attention performs equally well as the one also having mode-specific convolutions and normalization. Our experiments are based on two very different datasets: the Librispeech task and an internal corpus of medical conversations. Results show that the proposed dual-mode system using chunked attention yields 5% and 4% relative WER improvement on the Librispeech and medical tasks, compared to the dual-mode system using autoregressive attention with similar average lookahead.


title: A Solution for the Greedy Approximation of a Step Function with a Waveform Dictionary

abstract: In this paper we consider a step function characterized by an arbitrary sequence of real-valued scalars and approximate it with a matching pursuit (MP) algorithm. We utilize a waveform dictionary with rectangular window functions as part of this algorithm. We show that the waveform dictionary is not necessary when all of the scalars are either non positive or non negative and the parameters of a wavelet dictionary on an integer lattice yields a closed-form solution for the initial optimization problem as part of the MP. Additionally, for any real-valued scalar sequence, we provide a solution with a related wavelet dictionary at each iteration of the algorithm. This allows for practical calculation of the approximating function, which we use to provide examples on simulated and real univariate time series data that display discontinuities in its underlying structure where the step function can be thought of as a sample from a signal of interest.


title: On Clique Version of the Randic Index

abstract: In this paper, we first review the weighted-versiion of the handshaking lemma based on the idea of a weighted vertex-edge incidence matrix of a given graph $G$. Then, we obtain a generalized version of the handshaking lemma based on the concept of the clique value. We also define a generalized version of Randic index. More importantly, we prove an upper bound for the generalized Randic index of a graph $G$. We finally concluse the paper with some disscussions about possible future works.


title: The Problem of Semantic Shift in Longitudinal Monitoring of Social Media: A Case Study on Mental Health During the COVID-19 Pandemic

abstract: Social media allows researchers to track societal and cultural changes over time based on language analysis tools. Many of these tools rely on statistical algorithms which need to be tuned to specific types of language. Recent studies have shown the absence of appropriate tuning, specifically in the presence of semantic shift, can hinder robustness of the underlying methods. However, little is known about the practical effect this sensitivity may have on downstream longitudinal analyses. We explore this gap in the literature through a timely case study: understanding shifts in depression during the course of the COVID-19 pandemic. We find that inclusion of only a small number of semantically-unstable features can promote significant changes in longitudinal estimates of our target outcome. At the same time, we demonstrate that a recently-introduced method for measuring semantic shift may be used to proactively identify failure points of language-based models and, in turn, improve predictive generalization.


title: Sharing pattern submodels for prediction with missing values

abstract: Missing values are unavoidable in many applications of machine learning and present challenges both during training and at test time. When variables are missing in recurring patterns, fitting separate pattern submodels have been proposed as a solution. However, fitting models independently does not make efficient use of all available data. Conversely, fitting a single shared model to the full data set relies on imputation which often leads to biased results when missingness depends on unobserved factors. We propose an alternative approach, called sharing pattern submodels, which i) makes predictions that are robust to missing values at test time, ii) maintains or improves the predictive power of pattern submodels, and iii) has a short description, enabling improved interpretability. Parameter sharing is enforced through sparsity-inducing regularization which we prove leads to consistent estimation. Finally, we give conditions for when a sharing model is optimal, even when both missingness and the target outcome depend on unobserved variables. Classification and regression experiments on synthetic and real-world data sets demonstrate that our models achieve a favorable tradeoff between pattern specialization and information sharing.


title: 1D finite-width graphene nanoribbon systems: alkalization and hydrogenation

abstract: Graphene is the first truly two-dimensional (2D) material, possessing a cone-like energy spectrum near the Fermi energy and treated as a gapless semiconductor. Its unique properties trigger researchers to find more applications of it, such as high carrier mobility at room temperature, superior thermoconductivity, high modulus and tensile strength, high transparency, and anomalous quantum Hall effect. However, the gapless feature limits the development of graphene nanoelectronics. Making one-dimensional (1D) strips of graphene (i.e., graphene nanoribbons (GNRs)) could be one of the most promising approaches to modulating the electronic and optical properties of graphene. The electronic and optical properties have been theoretically predicted and experimentally verified highly sensitive to the edge and width. The tunable electronic and optical properties further imply the possibilities of GNR application. Recently, the dangling bond problem is under consideration in the GNR system. Various passivation at the ribbon edge might change the physical properties. In this work, some passivation conditions are studied, such as alkalization and hydrogenation.

categories: cond-mat.mes-hall cond-mat.mtrl-sci physics.app-ph physics.comp-ph


title: Information-Thermodynamic Bound on Information Flow in Turbulent Cascade

abstract: We investigate the nature of information flow in turbulence from an information-thermodynamic viewpoint. For the fully developed three-dimensional fluid turbulence described by the fluctuating Navier-Stokes equation, we prove that information of large-scale eddies is transferred to small scales along with the energy cascade. We numerically illustrate our findings using a shell model and further show that in the inertial range, the intensity of the information flow is nearly constant and can be scaled by the large-eddy turnover time. Our numerical results also suggest that the corresponding information-thermodynamic efficiency is quite low compared to other typical information processing systems such as Maxwell's demon. These findings provide a new perspective on how universality and intermittency of turbulent fluctuations emerge at small scales.


title: Reilly-type inequalities for submanifolds in Cartan-Hadamard manifolds

abstract: Let $M$ be an $m (\ge2)$-dimensional closed orientable submanifold in an $n$-dimensional complete simply-connected Riemannian manifold $N$, where the sectional curvature of $N$ is bounded above by $\delta$. When $\delta<0$, inspired by Niu-Xu (arXiv:2106.01912), we give new upper bounds for the first nonzero eigenvalues of the $p$-Laplacian and the $L_T$ operator, respectively. These generalize Niu-Xu's work for the Laplacian (arXiv:2106.01912) and improve the estimates due to Chen (Nonlinear Anal.,196, 111833, 2020) for the $p$-Laplacian and Grosjean (Hokkaido Math. J., 33(2) , 319-339, 2004) for the $L_T$ operator, respectively. We also obtain several Reilly-type inequalities for the weighted manifolds and some boundary value problems.


title: Optimising Electric Vehicle Charging Station Placement using Advanced Discrete Choice Models

abstract: We present a new model for finding the optimal placement of electric vehicle charging stations across a multi-period time frame so as to maximise electric vehicle adoption. Via the use of advanced discrete choice models and user classes, this work allows for a granular modelling of user attributes and their preferences in regard to charging station characteristics. Instead of embedding an analytical probability model in the formulation, we adopt a simulation approach and pre-compute error terms for each option available to users for a given number of scenarios. This results in a bilevel optimisation model that is, however, intractable for all but the simplest instances. Using the pre-computed error terms to calculate the users covered by each charging station allows for a maximum covering model, for which solutions can be found more efficiently than for the bilevel formulation. The maximum covering formulation remains intractable in some instances, so we propose rolling horizon, greedy, and GRASP heuristics to obtain good quality solutions more efficiently. Extensive computational results are provided, which compare the maximum covering formulation with the current state-of-the-art, both for exact solutions and the heuristic methods. Keywords: Electric vehicle charging stations, facility location, integer programming, discrete choice models, maximum covering


title: A Logarithm Depth Quantum Converter: From One-hot Encoding to Binary Encoding

abstract: Within the quantum computing, there are two ways to encode a normalized vector $\{ \alpha_i \}$. They are one-hot encoding and binary coding. The one-hot encoding state is denoted as $\left | \psi_O^{(N)} \right \rangle=\sum_{i=0}^{N-1} \alpha_i \left |0 \right \rangle^{\otimes N-i-1} \left |1 \right \rangle \left |0 \right \rangle ^{\otimes i}$ and the binary encoding state is denoted as $\left | \psi_B^{(N)} \right \rangle=\sum_{i=0}^{N-1} \alpha_i \left |b_i \right \rangle$, where $b_i$ is interpreted in binary of $i$ as the tensor product sequence of qubit states. In this paper, we present a method converting between the one-hot encoding state and the binary encoding state by taking the Edick state as the transition state, where the Edick state is defined as $\left | \psi_E^{(N)} \right \rangle=\sum_{i=0}^{N-1} \alpha_i \left |0 \right \rangle^{\otimes N-i-1} \left |1 \right \rangle ^{\otimes i}$. Compared with the early work, our circuit achieves the exponential speedup with $O(\log^2 N)$ depth and $O(N)$ size.


title: The Effects of Cosmic Rays on the Chemistry of Dense Cores

abstract: Cosmic rays are crucial for the chemistry of molecular clouds and their evolution. They provide essential ionizations, dissociations, heating and energy to the cold, dense cores. As cosmic rays pierce through the clouds they are attenuated and lose energy, which leads to a dependency on the column density of a system. The detailed effects these particles have on the central regions still needs to be fully understood. Here, we revisit how cosmic rays are treated in the UCLCHEM chemical modeling code by including both ionization rate and H2 dissociation rate dependencies alongside the production of cosmic ray induced excited species and we study in detail the effects of these treatments on the chemistry of pre-stellar cores. We find that these treatments can have significant effects on chemical abundances, up to several orders of magnitude, depending on physical conditions. The ionization dependency is the most significant treatment, influencing chemical abundances through increased presence of ionized species, grain desorptions and enhanced chemical reactions. Comparisons to chemical abundances derived from observations show the new treatments reproduce these observations better than the standard handling. It is clear that more advanced treatments of cosmic rays are essential to chemical models and that including this type of dependency provides more accurate chemical representations.


title: Ordered Subgraph Aggregation Networks

abstract: Numerous subgraph-enhanced graph neural networks (GNNs) have emerged recently, provably boosting the expressive power of standard (message-passing) GNNs. However, there is a limited understanding of how these approaches relate to each other and to the Weisfeiler-Leman hierarchy. Moreover, current approaches either use all subgraphs of a given size, sample them uniformly at random, or use hand-crafted heuristics instead of learning to select subgraphs in a data-driven manner. Here, we offer a unified way to study such architectures by introducing a theoretical framework and extending the known expressivity results of subgraph-enhanced GNNs. Concretely, we show that increasing subgraph size always increases the expressive power and develop a better understanding of their limitations by relating them to the established $k\text{-}\mathsf{WL}$ hierarchy. In addition, we explore different approaches for learning to sample subgraphs using recent methods for backpropagating through complex discrete probability distributions. Empirically, we study the predictive performance of different subgraph-enhanced GNNs, showing that our data-driven architectures increase prediction accuracy on standard benchmark datasets compared to non-data-driven subgraph-enhanced graph neural networks while reducing computation time.


title: Laser cooling a membrane-in-the-middle system close to the quantum ground state from room temperature

abstract: Many protocols in quantum science and technology require initializing a system in a pure quantum state. In the context of the motional state of massive resonators, this enables studying fundamental physics at the elusive quantum-classical transition, and measuring force and acceleration with enhanced sensitivity. Laser cooling has been a method of choice to prepare mechanical resonators in the quantum ground state, one of the simplest pure states. However, in order to overcome the heating and decoherence by the thermal bath, this usually has to be combined with cryogenic cooling. Here, we laser-cool an ultracoherent, soft-clamped mechanical resonator close to the quantum ground state directly from room temperature. To this end, we implement the versatile membrane-in-the-middle setup with one fiber mirror and one phononic crystal mirror, which reaches a quantum cooperativity close to unity already at room temperature. We furthermore introduce a powerful combination of coherent and measurement-based quantum control techniques, which allows us to mitigate thermal intermodulation noise. The lowest occupancy we reach is 30 phonons, limited by measurement imprecision. Doing away with the necessity for cryogenic cooling should further facilitate the spread of optomechanical quantum technologies.


title: Kafka Consumer Group Autoscaler

abstract: Message brokers enable asynchronous communication between data producers and consumers in distributed environments by assigning messages to ordered queues. Message broker systems often provide with mechanisms to parallelize tasks between consumers to increase the rate at which data is consumed. The consumption rate must exceed the production rate or queues would grow indefinitely. Still, consumers are costly and their number should be minimized. We model the problem of determining the required number of consumers, and the partition-consumer assignments, as a variable item size bin packing variant. Data cannot be read when a queue is being migrated to another consumer. Hence, we propose the R-score metric to account for these rebalancing costs. Then, we introduce an assortment of R-score based algorithms, and compare their performance to established heuristics for the Bin Packing Problem for this application. We instantiate our method within an existing system, demonstrating its effectiveness. Our approach guarantees adequate consumption rates something the previous system was unable to at lower operational costs.


title: Attack Techniques and Threat Identification for Vulnerabilities

abstract: Modern organizations struggle with insurmountable number of vulnerabilities that are discovered and reported by their network and application vulnerability scanners. Therefore, prioritization and focus become critical, to spend their limited time on the highest risk vulnerabilities. In doing this, it is important for these organizations not only to understand the technical descriptions of the vulnerabilities, but also to gain insights into attackers' perspectives. In this work, we use machine learning and natural language processing techniques, as well as several publicly available data sets to provide an explainable mapping of vulnerabilities to attack techniques and threat actors. This work provides new security intelligence, by predicting which attack techniques are most likely to be used to exploit a given vulnerability and which threat actors are most likely to conduct the exploitation. Lack of labeled data and different vocabularies make mapping vulnerabilities to attack techniques at scale a challenging problem that cannot be addressed easily using supervised or unsupervised (similarity search) learning techniques. To solve this problem, we first map the vulnerabilities to a standard set of common weaknesses, and then common weaknesses to the attack techniques. This approach yields a Mean Reciprocal Rank (MRR) of 0.95, an accuracy comparable with those reported for state-of-the-art systems. Our solution has been deployed to IBM Security X-Force Red Vulnerability Management Services, and in production since 2021. The solution helps security practitioners to assist customers to manage and prioritize their vulnerabilities, providing them with an explainable mapping of vulnerabilities to attack techniques and threat actors


title: Neural Inverse Transform Sampler

abstract: Any explicit functional representation $f$ of a density is hampered by two main obstacles when we wish to use it as a generative model: designing $f$ so that sampling is fast, and estimating $Z = \int f$ so that $Z^{-1}f$ integrates to 1. This becomes increasingly complicated as $f$ itself becomes complicated. In this paper, we show that when modeling one-dimensional conditional densities with a neural network, $Z$ can be exactly and efficiently computed by letting the network represent the cumulative distribution function of a target density, and applying a generalized fundamental theorem of calculus. We also derive a fast algorithm for sampling from the resulting representation by the inverse transform method. By extending these principles to higher dimensions, we introduce the \textbf{Neural Inverse Transform Sampler (NITS)}, a novel deep learning framework for modeling and sampling from general, multidimensional, compactly-supported probability densities. NITS is a highly expressive density estimator that boasts end-to-end differentiability, fast sampling, and exact and cheap likelihood evaluation. We demonstrate the applicability of NITS by applying it to realistic, high-dimensional density estimation tasks: likelihood-based generative modeling on the CIFAR-10 dataset, and density estimation on the UCI suite of benchmark datasets, where NITS produces compelling results rivaling or surpassing the state of the art.


title: Cold Posteriors through PAC-Bayes

abstract: We investigate the cold posterior effect through the lens of PAC-Bayes generalization bounds. We argue that in the non-asymptotic setting, when the number of training samples is (relatively) small, discussions of the cold posterior effect should take into account that approximate Bayesian inference does not readily provide guarantees of performance on out-of-sample data. Instead, out-of-sample error is better described through a generalization bound. In this context, we explore the connections between the ELBO objective from variational inference and the PAC-Bayes objectives. We note that, while the ELBO and PAC-Bayes objectives are similar, the latter objectives naturally contain a temperature parameter $\lambda$ which is not restricted to be $\lambda=1$. For both regression and classification tasks, in the case of isotropic Laplace approximations to the posterior, we show how this PAC-Bayesian interpretation of the temperature parameter captures the cold posterior effect.


title: Resolving desorption of complex organic molecules in a hot core: Transition from non-thermal to thermal desorption or two-step thermal desorption?

abstract: Using the high angular resolution provided by the ALMA interferometre we want to resolve the COM emission in the hot molecular core Sagittarius B2(N1) and thereby shed light on the desorption process of Complex Organic Molecules (COMs) in hot cores. We use data taken as part of the 3 mm spectral line survey Re-exploring Molecular Complexity with ALMA (ReMoCA) to investigate the morphology of COM emission in Sagittarius B2(N1). Spectra of ten COMs are modelled under the assumption of LTE and population diagrams are derived for positions at various distances to the south and west from the continuum peak. Based on this analysis, resolved COM rotation temperature and COM abundance profiles are derived. Based on the morphology, a rough separation into O- and N-bearing COMs can be done. Temperature profiles are in agreement with expectations of protostellar heating of an envelope with optically thick dust. Abundance profiles reflect a similar trend as seen in the morphology and, to a great extent, agree with results of astrochemical models that, besides the co-desorption with water, predict that O-bearing COMs are mainly formed on dust grain surfaces at low temperatures while at least some N-bearing COMs and CH$_3$CHO are substantially formed in the gas phase at higher temperatures. Our observational results, in comparison with model predictions, suggest that COMs that are exclusively or to a great extent formed on dust grains desorb thermally at ~100 K from the grain surface likely alongside water. Non-zero abundance values below ~100 K suggest that another desorption process is at work at these low temperatures: either non-thermal desorption or partial thermal desorption related to lower binding energies experienced by COMs in the outer, water-poor ice layers. In either case, this is the first time that the transition between two regimes of COM desorption has been resolved in a hot core.


title: HTTPS Event-Flow Correlation: Improving Situational Awareness in Encrypted Web Traffic

abstract: Achieving situational awareness is a challenging process in current HTTPS-dominant web traffic. In this paper, we propose a new approach to encrypted web traffic monitoring. First, we design a method for correlating host-based and network monitoring data based on their common features and a correlation time-window. Then we analyze the correlation results in detail to identify configurations of web servers and monitoring infrastructure that negatively affect the correlation. We describe these properties and possible data preprocessing techniques to minimize their impact on correlation performance. Furthermore, to test the correlation method's behavior in different web server setups and for recent encryption protocols, we modify it by adapting the correlation features to TLS 1.3 and QUIC. Finally, we evaluate the correlation method on a dataset collected from a campus network. The results show that while the correlation requires monitoring of custom event and flow features, it remains feasible even when using encryption protocols designed for the near future.


title: Counterexample-guided computation of polyhedral Lyapunov functions for hybrid systems

abstract: This paper presents a counterexample-guided iterative algorithm to compute convex, piecewise linear (polyhedral) Lyapunov functions for uncertain continuous-time linear hybrid systems. Polyhedral Lyapunov functions provide an alternative to commonly used polynomial Lyapunov functions. Our approach first characterizes intrinsic properties of a polyhedral Lyapunov function including its "eccentricity" and "robustness" to perturbations. We then derive an algorithm that either computes a polyhedral Lyapunov function proving that the system is stable, or concludes that no polyhedral Lyapunov function exists whose eccentricity and robustness parameters satisfy some user-provided limits. Significantly, our approach places no a priori bounds on the number of linear pieces that make up the desired polyhedral Lyapunov function. The algorithm alternates between a learning step and a verification step, always maintaining a finite set of witness states. The learning step solves a linear program to compute a candidate Lyapunov function compatible with a finite set of witness states. In the verification step, our approach verifies whether the candidate Lyapunov function is a valid Lyapunov function for the system. If verification fails, we obtain a new witness. We prove a theoretical bound on the maximum number of iterations needed by our algorithm. We demonstrate the applicability of the algorithm on numerical examples.


title: Frugal Splitting Operators: Representation, Minimal Lifting, and Convergence

abstract: We investigate frugal splitting operators for finite sum monotone inclusion problems. These operators utilize exactly one direct or resolvent evaluation of each operator of the sum, and the splitting operator's output is dictated by linear combinations of these evaluations' inputs and outputs. To facilitate analysis, we introduce a novel representation of frugal splitting operators via a generalized primal-dual resolvent. The representation is characterized by an index and four matrices, and we provide conditions on these that ensure equivalence between the classes of frugal splitting operators and generalized primal-dual resolvents. Our representation paves the way for new results regarding lifting numbers and the development of a unified convergence analysis for frugal splitting operator methods, contingent on the directly evaluated operators being cocoercive. The minimal lifting number is $n-1-f$ where $n$ is the number of monotone operators and $f$ is the number of direct evaluations in the splitting. Notably, this lifting number is achievable only if the first and last operator evaluations are resolvent evaluations. These results generalize the minimal lifting results by Ryu and Malitsky--Tam that consider frugal resolvent splittings. Building on our representation, we delineate a constructive method to design frugal splitting operators, exemplified in the design of a novel, convergent, and parallelizable frugal splitting operator with minimal lifting.


title: Normalization and reduction of the Stark Hamiltonian

abstract: This paper details a calculation of the second order normal form of the Stark effect Hamiltonian after regularization, using the Kustaanheimo- Stiefel mapping. After reduction we obtain an integrable two degree of freedom system on $S^2_h \times S^2_h$ , which we reduce again to obtain a one degree of freedom Hamiltonian system.


title: The AH conjecture for Cantor minimal dihedral systems

abstract: The AH conjecture relates the low-dimensional homology groups of a groupoid with the abelianization of its topological full group. We show that transformation groupoids of minimal actions of the infinite dihedral group on the Cantor set satisfy this conjecture. The proof uses Kakutani-Rokhlin partitions adapted to such systems.


title: Optimal transport meets noisy label robust loss and MixUp regularization for domain adaptation

abstract: It is common in computer vision to be confronted with domain shift: images which have the same class but different acquisition conditions. In domain adaptation (DA), one wants to classify unlabeled target images using source labeled images. Unfortunately, deep neural networks trained on a source training set perform poorly on target images which do not belong to the training domain. One strategy to improve these performances is to align the source and target image distributions in an embedded space using optimal transport (OT). However OT can cause negative transfer, i.e. aligning samples with different labels, which leads to overfitting especially in the presence of label shift between domains. In this work, we mitigate negative alignment by explaining it as a noisy label assignment to target images. We then mitigate its effect by appropriate regularization. We propose to couple the MixUp regularization \citep{zhang2018mixup} with a loss that is robust to noisy labels in order to improve domain adaptation performance. We show in an extensive ablation study that a combination of the two techniques is critical to achieve improved performance. Finally, we evaluate our method, called \textsc{mixunbot}, on several benchmarks and real-world DA problems.


title: On the Role of Spatial, Spectral, and Temporal Processing for DNN-based Non-linear Multi-channel Speech Enhancement

abstract: Employing deep neural networks (DNNs) to directly learn filters for multi-channel speech enhancement has potentially two key advantages over a traditional approach combining a linear spatial filter with an independent tempo-spectral post-filter: 1) non-linear spatial filtering allows to overcome potential restrictions originating from a linear processing model and 2) joint processing of spatial and tempo-spectral information allows to exploit interdependencies between different sources of information. A variety of DNN-based non-linear filters have been proposed recently, for which good enhancement performance is reported. However, little is known about the internal mechanisms which turns network architecture design into a game of chance. Therefore, in this paper, we perform experiments to better understand the internal processing of spatial, spectral and temporal information by DNN-based non-linear filters. On the one hand, our experiments in a difficult speech extraction scenario confirm the importance of non-linear spatial filtering, which outperforms an oracle linear spatial filter by 0.24 POLQA score. On the other hand, we demonstrate that joint processing results in a large performance gap of 0.4 POLQA score between network architectures exploiting spectral versus temporal information besides spatial information.


title: Vulnerability Prioritization: An Offensive Security Approach

abstract: Organizations struggle to handle sheer number of vulnerabilities in their cloud environments. The de facto methodology used for prioritizing vulnerabilities is to use Common Vulnerability Scoring System (CVSS). However, CVSS has inherent limitations that makes it not ideal for prioritization. In this work, we propose a new way of prioritizing vulnerabilities. Our approach is inspired by how offensive security practitioners perform penetration testing. We evaluate our approach with a real world case study for a large client, and the accuracy of machine learning to automate the process end to end.


title: Active Learning with Safety Constraints

abstract: Active learning methods have shown great promise in reducing the number of samples necessary for learning. As automated learning systems are adopted into real-time, real-world decision-making pipelines, it is increasingly important that such algorithms are designed with safety in mind. In this work we investigate the complexity of learning the best safe decision in interactive environments. We reduce this problem to a constrained linear bandits problem, where our goal is to find the best arm satisfying certain (unknown) safety constraints. We propose an adaptive experimental design-based algorithm, which we show efficiently trades off between the difficulty of showing an arm is unsafe vs suboptimal. To our knowledge, our results are the first on best-arm identification in linear bandits with safety constraints. In practice, we demonstrate that this approach performs well on synthetic and real world datasets.


title: Towards Unsupervised Content Disentanglement in Sentence Representations via Syntactic Roles

abstract: Linking neural representations to linguistic factors is crucial in order to build and analyze NLP models interpretable by humans. Among these factors, syntactic roles (e.g. subjects, direct objects,$\dots$) and their realizations are essential markers since they can be understood as a decomposition of predicative structures and thus the meaning of sentences. Starting from a deep probabilistic generative model with attention, we measure the interaction between latent variables and realizations of syntactic roles and show that it is possible to obtain, without supervision, representations of sentences where different syntactic roles correspond to clearly identified different latent variables. The probabilistic model we propose is an Attention-Driven Variational Autoencoder (ADVAE). Drawing inspiration from Transformer-based machine translation models, ADVAEs enable the analysis of the interactions between latent variables and input tokens through attention. We also develop an evaluation protocol to measure disentanglement with regard to the realizations of syntactic roles. This protocol is based on attention maxima for the encoder and on latent variable perturbations for the decoder. Our experiments on raw English text from the SNLI dataset show that $\textit{i)}$ disentanglement of syntactic roles can be induced without supervision, $\textit{ii)}$ ADVAE separates syntactic roles better than classical sequence VAEs and Transformer VAEs, $\textit{iii)}$ realizations of syntactic roles can be separately modified in sentences by mere intervention on the associated latent variables. Our work constitutes a first step towards unsupervised controllable content generation. The code for our work is publicly available.


title: An Improved Sample Complexity Lower Bound for (Fidelity) Quantum State Tomography

abstract: We show that $\Omega(rd/\epsilon)$ copies of an unknown rank-$r$, dimension-$d$ quantum mixed state are necessary in order to learn a classical description with $1 - \epsilon$ fidelity. This improves upon the tomography lower bounds obtained by Haah, et al. and Wright (when closeness is measured with respect to the fidelity function).


title: Proton Improvement Plan II Cryogenic Distribution System thermodynamic design

abstract: The Proton Improvement Plan II (PIPII) is a superconducting linear accelerator being built at Fermilab that will provide 800 MeV proton beams for neutrino production. The Linac requires cooling at 80 K, 5 K, and 2 K temperatures, which will be provided by cryogenic helium produced by a Helium Cryoplant and distributed by a Cryogenic Distribution System (CDS). Based primarily on the Linac heat load requirements at each temperature and the allowable pressure drop, we have made a preliminary thermodynamic design of the CDS. The design also incorporates special requirements such as controlled and or fast cooldown of the superconducting RF cavities and their dual maximum allowable working pressure. This paper presents the overall features of the PIPII CDS, sizing of helium process circuits, different operating modes, and calculated mass flow capacities that cater to these operating modes.


title: Automated Compliance Blueprint Optimization with Artificial Intelligence

abstract: For highly regulated industries such as banking and healthcare, one of the major hindrances to the adoption of cloud computing is compliance with regulatory standards. This is a complex problem due to many regulatory and technical specification (techspec) documents that the companies need to comply with. The critical problem is to establish the mapping between techspecs and regulation controls so that from day one, companies can comply with regulations with minimal effort. We demonstrate the practicality of an approach to automatically analyze regulatory standards using Artificial Intelligence (AI) techniques. We present early results to identify the mapping between techspecs and regulation controls, and discuss challenges that must be overcome for this solution to be fully practical.


title: Universal properties of boundary and interface charges in multichannel one-dimensional continuum models

abstract: We generalize our recent results for the boundary and interface charges in one-dimensional single-channel continuum [Phys. Rev. B 104, 155409 (2021)] and multichannel tight-binding [Phys. Rev. B 104, 125447 (2021)] models to the realm of the multichannel continuum systems. Using the technique of boundary Green's functions, we give a rigorous proof that the change in boundary charge upon the shift of the system towards the boundary by the distance $x_{\varphi}\in[0, L]$ is given by a perfectly linear function of $x_{\varphi}$ plus an integer-valued topological invariant $I$ -- the so called boundary invariant. For systems with weak potential amplitudes, we additionally develop Green's function-based low-energy theory, allowing one to analytically access the physics of multichannel continuum systems in the low-energy approximation.


title: An algorithm to count the number of caps in $\mathbb{P}^3(\mathbb{F}_q)$

abstract: An $n$-cap in $k$-dimensional projective space is a set of $n$ points so that no three lie on a line. In this note, we provide an algorithm to count the number of $n$-caps in $\mathbb{P}^3(\mathbb{F}_q)$, which follows from our recent paper [9]. We then give exact formulas for the number of $n$-caps when $n \le 7$. The formulas are polynomial in $q$ when $n \le 6$ and quasipolynomial in $q$ when $n = 7$.


title: Learning Optimal Treatment Strategies for Sepsis Using Offline Reinforcement Learning in Continuous Space

abstract: Sepsis is a leading cause of death in the ICU. It is a disease requiring complex interventions in a short period of time, but its optimal treatment strategy remains uncertain. Evidence suggests that the practices of currently used treatment strategies are problematic and may cause harm to patients. To address this decision problem, we propose a new medical decision model based on historical data to help clinicians recommend the best reference option for real-time treatment. Our model combines offline reinforcement learning and deep reinforcement learning to solve the problem of traditional reinforcement learning in the medical field due to the inability to interact with the environment, while enabling our model to make decisions in a continuous state-action space. We demonstrate that, on average, the treatments recommended by the model are more valuable and reliable than those recommended by clinicians. In a large validation dataset, we find out that the patients whose actual doses from clinicians matched the decisions made by AI has the lowest mortality rates. Our model provides personalized and clinically interpretable treatment decisions for sepsis to improve patient care.


title: Analyzing Brain Structural Connectivity as Continuous Random Functions

abstract: This work considers a continuous framework to characterize the population-level variability of structural connectivity. Our framework assumes the observed white matter fiber tract endpoints are driven by a latent random function defined over a product manifold domain. To overcome the computational challenges of analyzing such complex latent functions, we develop an efficient algorithm to construct a data-driven reduced-rank function space to represent the latent continuous connectivity. Using real data from the Human Connectome Project, we show that our method outperforms state-of-the-art approaches applied to the traditional atlas-based structural connectivity matrices on connectivity analysis tasks of interest. We also demonstrate how our method can be used to identify localized regions and connectivity patterns on the cortical surface associated with significant group differences. Code will be made available at https://github.com/sbci-brain.


title: Functional or imperative? On pleasant semantics for differentiable programming languages

abstract: In machine learning (ML), researchers and engineers seem to be at odds. System implementers would prefer models to be declarative, with detailed type information and semantic restrictions that allow models to be optimised, rearranged and parallelised. Yet practitioners show an overwhelming preference for dynamic, imperative languages with mutable state, and much engineering effort is spent bridging the resulting semantic divide. Is there a fundamental conflict? This article explores why imperative and functional styles are used, and how future language designs might get the best of both worlds.


title: Ultrafast transport and energy relaxation of hot electrons in Au/Fe/MgO(001) heterostructures analyzed by linear time-resolved photoelectron spectroscopy

abstract: In condensed matter, scattering processes determine the transport of charge carriers. In case of heterostructures, interfaces determine many dynamic properties like charge transfer and transport and spin current dynamics. Here we discuss optically excited electron dynamics and their propagation across a lattice-matched, metal-metal interface of single crystal quality. Using femtosecond time-resolved linear photoelectron spectroscopy upon optically pumping different constituents of the heterostructure we establish a technique which probes the electron propagation and its energy relaxation simultaneously. In our approach a near-infrared pump pulse excites electrons directly either in the Au layer or in the Fe layer of epitaxial Au/Fe/MgO(001) heterostructures while the transient photoemission spectrum is measured by an ultraviolet probe pulse on the Au surface. Upon femtosecond laser excitation, we analyze the relative changes in the electron distribution close to the Fermi energy and assign characteristic features of the time-dependent electron distribution to transport of hot and non-thermalized electrons from the Fe layer to the Au surface and vice versa. From the measured transient electron distribution we determine the excess energy which we compare with a calculation based on the two-temperature model and takes diffusive electron transport into account. On this basis we identify a transition from a super-diffusive to a diffusive transport regime to occur for a Au layer thickness of 20-30~nm.


title: The structure of the Maxwell spot centroid

abstract: The dark entoptic Maxwell spot centroids seen through a blue filter, which coincide with the blue cone-free areas centered on the foveas, are shown to exhibit a structure. When observing through the green part of a blue-green exchange filter in a foveascope, after a fixation through the blue part, a small orange disc is seen around the centre of the pale green memory afterimage corresponding to the blue cone-free area. Using artificial pupils with different diameters, we show that this small circular pattern corresponds to the Airy disc due to the Fraunhofer diffraction through the pupil. Typically, for an eye with a 3 millimeter diameter pupil, the Airy disc exhibits a diameter of about 8 micrometers at the centre of the usual 100-150 micrometer Maxwell centroid. Fixation tests show that the towering central maximum of the Airy pattern irradiance corresponds to the preferred locus of the fixation of the eye near the centre of the blue cone-free area of the fovea. The locus of fixation in human vision thus appears to be located in the only area of the fovea where the large chromatic dispersion is cancelled, optimising the eye acuity.


title: Arithmetic sparsity in mixed Hodge settings

abstract: Let $V\rightarrow X$ be a surjective quasi-projective morphism between irreducible quasi-projective varieties over a number field, where $X$ is smooth. We prove that there exists a non-empty Zariski open subset of $X$ such that the $S$-integral points in it are covered by subpolynomially many geometrically irreducible subvarieties, each lying in a fiber of the mixed period mapping. We also prove analogous theorems for semi-simplicial varieties and abstract variations of mixed Hodge structures. They are based on recent works by Brunebarbe-Maculan and Ellenberg-Lawrence-Venkatesh. As an application, we prove that there are subpolynomially many $S$-integral Laurent polynomials with fixed reflexive Newton polyhedron $\Delta$ and fixed non-zero principal $\Delta$-determinant. Our results answer a question in Ellenberg-Lawrence-Venkatesh.


title: Recollements of partially wrapped Fukaya categories and surface cuts

abstract: In this paper we use recollements to investigate partially wrapped Fukaya categories of surfaces with marked points. In particular, we show that cutting surfaces gives rise to recollements of the corresponding partially wrapped Fukaya categories. Our approach is based on the fact that the partially wrapped Fukaya category of a surface with marked points is triangle equivalent to the perfect derived category of a homologically smooth and proper graded gentle algebra with zero differential as shown by Haiden, Katzarkov and Kontsevich. Using this, we study particular generators of partially wrapped Fukaya categories, namely full exceptional sequences, silting objects and simple-minded collections. In particular, we fully characterise the existence of full exceptional sequences and we give an example of a partially wrapped Fukaya category which does not admit a silting object, that is a generator with no positive self-extensions.


title: Visualizing the breakdown of quantum multimodality in coherently driven light-matter interaction

abstract: We show that the saturation of a multiphoton transition is accompanied by a gradual collapse of quantum multimodality in the strong-coupling limit of the weakly driven Jaynes-Cummings (JC) model. By means of a perturbative method, we illustrate the prominent role of quantum fluctuations by focusing on the two and three-photon resonance operation in a regime where the steady-state average photon number is below or marginally above unity. We also reveal two coexistent quantum beats in the intensity correlation function of the forwards scattered photons. These beats, originating from the states mediating the cascaded decay, arise as a direct consequence of the distinct JC spectrum. Their interference coordinates with the alternation of positive and negative values of the Wigner function around the phase-space origin in the transient conditioned on a photodetection.


title: General Univariate Estimation-of-Distribution Algorithms

abstract: We propose a general formulation of a univariate estimation-of-distribution algorithm (EDA). It naturally incorporates the three classic univariate EDAs \emph{compact genetic algorithm}, \emph{univariate marginal distribution algorithm} and \emph{population-based incremental learning} as well as the \emph{max-min ant system} with iteration-best update. Our unified description of the existing algorithms allows a unified analysis of these; we demonstrate this by providing an analysis of genetic drift that immediately gives the existing results proven separately for the four algorithms named above. Our general model also includes EDAs that are more efficient than the existing ones and these may not be difficult to find as we demonstrate for the OneMax and LeadingOnes benchmarks.


title: Experimental Realization of Two Qutrits Gate with Tunable Coupling in Superconducting Circuits

abstract: Gate-based quantum computation has been extensively investigated using quantum circuits based on qubits. In many cases, such qubits are actually made out of multilevel systems but with only two states being used for computational purpose. While such a strategy has the advantage of being in line with the common binary logic, it in some sense wastes the ready-for-use resources in the large Hilbert space of these intrinsic multi-dimensional systems. Quantum computation beyond qubits (e.g., using qutrits or qudits) has thus been discussed and argued to be more efficient than its qubit counterpart in certain scenarios. However, one of the essential elements for qutrit-based quantum computation, two-qutrit quantum gate, remains a major challenge. In this work, we propose and demonstrate a highly efficient and scalable two-qutrit quantum gate in superconducting quantum circuits. Using a tunable coupler to control the cross-Kerr coupling between two qutrits, our scheme realizes a two-qutrit conditional phase gate with fidelity 89.3% by combining simple pulses applied to the coupler with single-qutrit operations. We further use such a two-qutrit gate to prepare an EPR state of two qutrits with a fidelity of 95.5%. Our scheme takes advantage of a tunable qutrit-qutrit coupling with a large on:off ratio. It therefore offers both high efficiency and low cross talk between qutrits, thus being friendly for scaling up. Our work constitutes an important step towards scalable qutrit-based quantum computation.


title: On a Refinement of the Non-Orientable $4$-genus of Torus Knots

abstract: In formulating a non-orientable analogue of the Milnor Conjecture on the $4$-genus of torus knots, Batson developed an elegant construction that produces a smooth non-orientable spanning surface in $B^4$ for a given torus knot in $S^3$. While Lobb showed that Batson's surfaces do not always minimize the non-orientable $4$-genus, we prove that they always do minimize among surfaces that share their normal Euler number. We also completely determine the possible pairs of normal Euler number and first Betti number for non-orientable surfaces whose boundary lies in a class of torus knots for which Batson's surfaces are non-orientable $4$-genus minimizers.


title: Optimal Covariance Steering for Continuous-Time Linear Stochastic Systems With Additive Noise

abstract: In this paper, we study the problem of how to optimally steer the state covariance of a general continuous-time linear stochastic system over a finite time interval subject to additive noise. Optimality here means reaching a target state covariance with minimal control energy. The additive noise may include a combination of white Gaussian noise and abrupt "jump noise" that is discontinuous in time. We first establish the controllability of the state covariance for linear time-varying stochastic systems. We then turn to the derivation of the optimal control, which entails solving two dynamically coupled matrix ordinary differential equations (ODEs) with split boundary conditions. We show the existence and uniqueness of the solution to these coupled matrix ODEs, and thus those of the optimal control.


title: A precision method for integrating shock sensors in the lining of sports helmets by additive manufacturing

abstract: An additive manufacturing method is presented for embedding optical fibre-based pressure sensors into the lining of sports helmets to monitor head impact in contact sports. Proof-of-concept thermoplastic polyurethane (TPU) helmet padding segments with embedded sensors are demonstrated for their sensitive shock-monitoring capabilities. The system offers a cost-effective solution for manufacturing consumer products at scale, is unobtrusive, and can be powered by medical-grade cell batteries requiring low maintenance.


title: Facke: a Survey on Generative Models for Face Swapping

abstract: In this work, we investigate into the performance of mainstream neural generative models on the very task of swapping faces. We have experimented on CVAE, CGAN, CVAE-GAN, and conditioned diffusion models. Existing finely trained models have already managed to produce fake faces (Facke) indistinguishable to the naked eye as well as achieve high objective metrics. We perform a comparison among them and analyze their pros and cons. Furthermore, we proposed some promising tricks though they do not apply to this task.


title: Paint shop vehicle sequencing based on quantum computing considering color changeover and painting quality

abstract: As customer demands become increasingly diverse, the colors and styles of vehicles offered by automotive companies have also grown substantially. It poses great challenges to design and management of automotive manufacturing system, among which is the proper sequencing of vehicles in everyday operation of the paint shop. With typically hundreds of vehicles in one shift, the paint shop sequencing problem is intractable in classical computing. In this paper, we propose to solve a general paint shop sequencing problem using state-of-the-art quantum computing algorithms. Most existing works are solely focused on reducing color changeover costs, i.e., costs incurred by different colors between consecutive vehicles. This work reveals that different sequencing of vehicles also significantly affects the quality performance of the painting process. We use a machine learning model pretrained on historical data to predict the probability of painting defect. The problem is formulated as a combinational optimization problem with two cost components, i.e., color changeover cost and repair cost. The problem is further converted to a quantum optimization problem and solved with Quantum Approximation Optimization Algorithm (QAOA). As a matter of fact, current quantum computers are still limited in accuracy and scalability. However, with a simplified case study, we demonstrate how the classic sequencing problem in paint shop can be formulated and solved using quantum computing and demonstrate the potential of quantum computing in solving real problems in manufacturing systems.


title: Clearing function in the context of the invariant manifold method

abstract: Clearing functions (CFs), which express a mathematical relationship between the expected throughput of a production facility in a planning period and its workload (or work-in-progress, WIP) in that period have shown considerable promise for modeling WIP-dependent cycle times in production planning. While steady-state queueing models are commonly used to derive analytic expressions for CFs, the finite length of planning periods calls their validity into question. We apply a different approach to propose a mechanistic model for one-resource, one-product factory shop based on the analogy between the operation of machine and enzyme molecule. The model is reduced to a singularly perturbed system of two differential equations for slow (WIP) and fast (busy machines) variables, respectively. The analysis of this slow-fast system finds that CF is nothing but a result of the asymptotic expansion of the slow invariant manifold. The validity of CF is ultimately determined by how small is the parameter multiplying the derivative of the fast variable. It is shown that sufficiently small characteristic ratio 'working machines : WIP' guarantees the applicability of CF approximation in unsteady-state operation.


title: On holomorphic functions attaining their weighted norms

abstract: We study holomorphic functions attaining weighted norms and its connections with the classical theory of norm attaining holomorphic functions. We prove that there are polynomials on $\ell_p$ which attain their weighted but not their supremum norm and viceversa. Nevertheless, we also prove that in the context of polynomials of fixed degree both norms are in fact equivalent. This leads us to the main problem of the paper, namely, whether the holomorphic functions attaining their weighted norm are dense. Although we exhibit an example where this does not hold, as the main theorem of our paper, we prove the denseness provided the domain space is uniformly convex. In fact, we provide a Bollob\'as type theorem in this setting. For the proof of such a result we develop a new geometric technique.


title: Intensity-Sensitive Similarity Indexes for Image Quality Assessment

abstract: The importance of Image quality assessment (IQA) is ever increasing due to the fast paced advances in imaging technology and computer vision. Among the numerous IQA methods, Structural SIMilarity (SSIM) index and its variants are better matched to the perceived quality of the human visual system. However, SSIM methods are insufficiently sensitive, when images contain low information, where the important information only occupies a low proportion of the image while most of the image is noise-like, which is common in scientific data. Therefore, we propose two new IQA methods, InTensity Weighted SSIM index and Low-Information Similarity Index, for such low information images. In addition, auxiliary indexes are proposed to assist with the assessment. The application of these new IQA methods to natural images and field-specific images, such as radio astronomical images, medical images, and remote sensing images, are also demonstrated. The results show that our IQA methods perform better than state-of-the-art SSIM methods for differences in high-intensity parts of the input images and have similar performance to that of the original and gradient-based SSIM for differences in low-intensity parts. Different similarity indexes are suitable for different applications, which we demonstrate in our results.


title: A motivic filtration on the topological cyclic homology of commutative ring spectra

abstract: For a prime number $p$ and a $p$-quasisyntomic commutative ring $R$, Bhatt--Morrow--Scholze defined motivic filtrations on the $p$-completions of $\mathrm{THH}(R), \mathrm{TC}^{-}(R), \mathrm{TP}(R),$ and $\mathrm{TC}(R)$, with the associated graded objects for $\mathrm{TP}(R)$ and $\mathrm{TC}(R)$ recovering the prismatic and syntomic cohomology of $R$, respectively. We give an alternate construction of these filtrations that applies also when $R$ is a well-behaved commutative ring spectrum; for example, we can take $R$ to be $\mathbb{S}$, $\mathrm{MU}$, $\mathrm{ku}$, $\mathrm{ko}$, or $\mathrm{tmf}$. We compute the mod $(p,v_1)$ syntomic cohomology of the Adams summand $\ell$ and observe that, when $p \ge 3$, the motivic spectral sequence for $V(1)_*\mathrm{TC}(\ell)$ collapses at the $\mathrm{E}_2$-page.


title: On a Riesz Basis of Diagonally Generalized Subordinate Operator Matrices and Application to a Gribov Operator Matrix in Bargmann Space

abstract: In this paper, we study the change of spectrum and the existence of Riesz bases of specific classes of $n\times n$ unbounded operator matrices, called: diagonally and off-diagonally generalized subordinate block operator matrices. An application to a $n\times n$ Gribov operator matrix acting on a sum of Bargmann spaces, illustrates the abstract results. As example, we consider a particular Gribov operator matrix by taking special values of the real parameters of Pomeron.


title: Constant-Factor Approximation Algorithms for Socially Fair $k$-Clustering

abstract: We study approximation algorithms for the socially fair $(\ell_p, k)$-clustering problem with $m$ groups, whose special cases include the socially fair $k$-median ($p=1$) and socially fair $k$-means ($p=2$) problems. We present (1) a polynomial-time $(5+2\sqrt{6})^p$-approximation with at most $k+m$ centers (2) a $(5+2\sqrt{6}+\epsilon)^p$-approximation with $k$ centers in time $n^{2^{O(p)}\cdot m^2}$, and (3) a $(15+6\sqrt{6})^p$ approximation with $k$ centers in time $k^{m}\cdot\text{poly}(n)$. The first result is obtained via a refinement of the iterative rounding method using a sequence of linear programs. The latter two results are obtained by converting a solution with up to $k+m$ centers to one with $k$ centers using sparsification methods for (2) and via an exhaustive search for (3). We also compare the performance of our algorithms with existing bicriteria algorithms as well as exactly $k$ center approximation algorithms on benchmark datasets, and find that our algorithms also outperform existing methods in practice.


title: Hellinger-Kantorovich barycenter between Dirac measures

abstract: The Hellinger-Kantorovich (HK) distance is an unbalanced extension of the Wasserstein-2 distance. It was shown recently that the HK barycenter exhibits a much more complex behaviour than the Wasserstein barycenter. Motivated by this observation we study the HK barycenter in more detail for the case where the input measures are an uncountable collection of Dirac measures, in particular the dependency on the length scale parameter of HK, the question whether the HK barycenter is discrete or continuous and the relation between the expected and the empirical barycenter. The analytical results are complemented with numerical experiments that demonstrate that the HK barycenter can provide a coarse-to-fine representation of an input pointcloud or measure.


title: VisFIS: Visual Feature Importance Supervision with Right-for-the-Right-Reason Objectives

abstract: Many past works aim to improve visual reasoning in models by supervising feature importance (estimated by model explanation techniques) with human annotations such as highlights of important image regions. However, recent work has shown that performance gains from feature importance (FI) supervision for Visual Question Answering (VQA) tasks persist even with random supervision, suggesting that these methods do not meaningfully align model FI with human FI. In this paper, we show that model FI supervision can meaningfully improve VQA model accuracy as well as performance on several Right-for-the-Right-Reason (RRR) metrics by optimizing for four key model objectives: (1) accurate predictions given limited but sufficient information (Sufficiency); (2) max-entropy predictions given no important information (Uncertainty); (3) invariance of predictions to changes in unimportant features (Invariance); and (4) alignment between model FI explanations and human FI explanations (Plausibility). Our best performing method, Visual Feature Importance Supervision (VisFIS), outperforms strong baselines on benchmark VQA datasets in terms of both in-distribution and out-of-distribution accuracy. While past work suggests that the mechanism for improved accuracy is through improved explanation plausibility, we show that this relationship depends crucially on explanation faithfulness (whether explanations truly represent the model's internal reasoning). Predictions are more accurate when explanations are plausible and faithful, and not when they are plausible but not faithful. Lastly, we show that, surprisingly, RRR metrics are not predictive of out-of-distribution model accuracy when controlling for a model's in-distribution accuracy, which calls into question the value of these metrics for evaluating model reasoning. All supporting code is available at https://github.com/zfying/visfis


title: Topologically protected $\pi$-ring qubits

abstract: The $\pi$-ring qubit array is described using quasiclassical approaches that are shown to be accurate and give clarity to the complex energy landscape of connected vortex qubits. Using the techniques, large arrays of Josephson junction systems can be designed, including phase shift devices. Herein, connected arrays of loops containing $\pi$ junctions are described. These techniques are useful for design of quantum computers based on superconducting technologies, hybrid quantum technologies and quantum networks.


title: Offline Change Detection under Contamination

abstract: In this work, we propose a non-parametric and robust change detection algorithm to detect multiple change points in time series data under contamination. The contamination model is sufficiently general, in that, the most common model used in the context of change detection -- Huber contamination model -- is a special case. Also, the contamination model is oblivious and arbitrary. The change detection algorithm is designed for the offline setting, where the objective is to detect changes when all data are received. We only make weak moment assumptions on the inliers (uncorrupted data) to handle a large class of distributions. The robust scan statistic in the algorithm is fashioned using mean estimators based on influence functions. We establish the consistency of the estimated change point indexes as the number of samples increases, and provide empirical evidence to support the consistency results.


title: Certifiable 3D Object Pose Estimation: Foundations, Learning Models, and Self-Training

abstract: We consider a certifiable object pose estimation problem, where -- given a partial point cloud of an object -- the goal is to not only estimate the object pose, but also to provide a certificate of correctness for the resulting estimate. Our first contribution is a general theory of certification for end-to-end perception models. In particular, we introduce the notion of $\zeta$-correctness, which bounds the distance between an estimate and the ground truth. We show that $\zeta$-correctness can be assessed by implementing two certificates: (i) a certificate of observable correctness, that asserts if the model output is consistent with the input data and prior information, (ii) a certificate of non-degeneracy, that asserts whether the input data is sufficient to compute a unique estimate. Our second contribution is to apply this theory and design a new learning-based certifiable pose estimator. We propose C-3PO, a semantic-keypoint-based pose estimation model, augmented with the two certificates, to solve the certifiable pose estimation problem. C-3PO also includes a keypoint corrector, implemented as a differentiable optimization layer, that can correct large detection errors (e.g. due to the sim-to-real gap). Our third contribution is a novel self-supervised training approach that uses our certificate of observable correctness to provide the supervisory signal to C-3PO during training. In it, the model trains only on the observably correct input-output pairs, in each training iteration. As training progresses, we see that the observably correct input-output pairs grow, eventually reaching near 100% in many cases. Our experiments show that (i) standard semantic-keypoint-based methods outperform more recent alternatives, (ii) C-3PO further improves performance and significantly outperforms all the baselines, and (iii) C-3PO's certificates are able to discern correct pose estimates.


title: A new class of composite indicators: the penalized power means

abstract: In this paper we propose a new aggregation method for constructing composite indicators that is based on a penalization of the power means. The idea underlying this approach consists in multiplying the power mean by a factor that takes into account for the horizontal heterogeneity among indicators with the aim of penalizing the units with larger heterogeneity. In order to measure this heterogeneity, we scale the vector of normalized indicators by their power means, we compute the variance of the scaled normalized indicators transformed by means of the appropriate Box-Cox function, and we measure the heterogeneity as the counter image of this variance through the Box-Cox function. The resulting penalization factor can be interpreted as the relative error, or the loss of information, that we obtain substituting the vector of the normalized indicators with their power mean. This penalization approach has the advantage to be fully data-driven and to be coherent with the same principle underlying the power mean approach, that is the minimum loss of information principle as well as to allow for a more refined rankings. The penalized power mean of order one coincides with the Mazziotta Pareto Index.


title: Vector space-time wave packets

abstract: Space-time wave packets (STWPs) are propagation-invariant pulsed beams whose characteristics stem from the tight association between their spatial and temporal degrees of freedom. Until recently, only scalar STWPs have been synthesized in the form of light sheets. Here we synthesize vector STWPs that are localized in all dimensions by preparing polarization-structured spatio-temporal spectra and unveil the polarization distribution over the STWP volume via time-resolved complex field measurements. Such vector STWPs are endowed with cylindrically symmetric polarization vector structures, which require joint manipulation of the spatial, temporal, and polarization degrees-of-freedom of the optical field. These results may be useful in particle manipulation, and in nonlinear and quantum optics.


title: Hierarchical Context Tagging for Utterance Rewriting

abstract: Utterance rewriting aims to recover coreferences and omitted information from the latest turn of a multi-turn dialogue. Recently, methods that tag rather than linearly generate sequences have proven stronger in both in- and out-of-domain rewriting settings. This is due to a tagger's smaller search space as it can only copy tokens from the dialogue context. However, these methods may suffer from low coverage when phrases that must be added to a source utterance cannot be covered by a single context span. This can occur in languages like English that introduce tokens such as prepositions into the rewrite for grammaticality. We propose a hierarchical context tagger (HCT) that mitigates this issue by predicting slotted rules (e.g., "besides_") whose slots are later filled with context spans. HCT (i) tags the source string with token-level edit actions and slotted rules and (ii) fills in the resulting rule slots with spans from the dialogue context. This rule tagging allows HCT to add out-of-context tokens and multiple spans at once; we further cluster the rules to truncate the long tail of the rule distribution. Experiments on several benchmarks show that HCT can outperform state-of-the-art rewriting systems by ~2 BLEU points.


title: Understanding the Properties of Generated Corpora

abstract: Models for text generation have become focal for many research tasks and especially for the generation of sentence corpora. However, understanding the properties of an automatically generated text corpus remains challenging. We propose a set of tools that examine the properties of generated text corpora. Applying these tools on various generated corpora allowed us to gain new insights into the properties of the generative models. As part of our characterization process, we found remarkable differences in the corpora generated by two leading generative technologies.


title: Event-Based Imaging of Levitated Microparticles

abstract: Event-based imaging is a neurmorphic detection technique whereby an array of pixels detects a positive or negative change in light intensity at each pixel, and is hence particularly well suited to detecting motion. As compared to standard camera technology, an event-based camera reduces redundancy by not detecting regions of the image where there is no motion, allowing increased frame-rates without compromising on field-of-view. Here, we apply event-based imaging to detect the motion of a microparticle levitated under vacuum conditions, which greatly facilitates the study of nanothermodynamics and enables the independent detection and control of arrays of many particles.


title: Quantum algorithm for learning secret strings and its experimental demonstration

abstract: In this paper, we consider the secret-string-learning problem in the teacher-student setting: the teacher has a secret string $s\in {{\{0,1\}}^{n}}$, and the student wants to learn the secret $s$ by question-answer interactions with the teacher, where at each time, the student can ask the teacher with a pair $(x, q) \in {{\{0,1\}}^{n}}\times\{0,1,\cdots, n-1\}$ and the teacher returns a bit given by the oracle $f_{s}(x,q)$ that indicates whether the length of the longest common prefix of $s$ and $x$ is greater than $q$ or not. Our contributions are as follows. (i) We prove that any classical deterministic algorithm needs at least $n$ queries to the oracle $f_{s}$ to learn the $n$-bit secret string $s$ in both the worst case and the average case, and also present an optimal classical deterministic algorithm learning any $s$ using $n$ queries. (ii) We obtain a quantum algorithm learning the $n$-bit secret string $s$ with certainty using $\left\lceil n/2\right\rceil$ queries to the oracle $f_s$, thus proving a double speedup over classical counterparts. (iii) Experimental demonstrations of our quantum algorithm on the IBM cloud quantum computer are presented, with average success probabilities of $85.3\%$ and $82.5\%$ for all cases with $n=2$ and $n=3$ , respectively.


title: Reservoir Computing in robotics: a review

abstract: Reservoir Computing is a relatively new framework created to allow the usage of powerful but complex systems as computational mediums. The basic approach consists in training only a readout layer, exploiting the innate separation and transformation provided by the previous, untrained system. This approach has shown to possess great computational capabilities and is successfully used to achieve many tasks. This review aims to represent the current 'state-of-the-art' of the usage of Reservoir Computing techniques in the robotic field. An introductory description of the framework and its implementations is initially given. Subsequently, a summary of interesting applications, approaches, and solutions is presented and discussed. Considerations, ideas and possible future developments are proposed in the explanation.


title: VRChain: A Blockchain-Enabled Framework for Visual Homing and Navigation Robots

abstract: Visual homing is a lightweight approach to robot visual navigation. Based upon stored visual information of a home location, the navigation back to this location can be accomplished from any other location in which this location is visible by comparing home to the current image. However, a key challenge of visual homing is that the target home location must be within the robot's field of view (FOV) to start homing. Therefore, this work addresses such a challenge by integrating blockchain technology into the visual homing navigation system. Based on the decentralized feature of blockchain, the proposed solution enables visual homing robots to share their visual homing information and synchronously access the stored data (visual homing information) in the decentralized ledger to establish the navigation path. The navigation path represents a per-robot sequence of views stored in the ledger. If the home location is not in the FOV, the proposed solution permits a robot to find another robot that can see the home location and travel towards that desired location. The evaluation results demonstrate the efficiency of the proposed framework in terms of end-to-end latency, throughput, and scalability.


title: Deep reinforcement learning for fMRI prediction of Autism Spectrum Disorder

abstract: Purpose : Because functional MRI (fMRI) data sets are in general small, we sought a data efficient approach to resting state fMRI classification of autism spectrum disorder (ASD) versus neurotypical (NT) controls. We hypothesized that a Deep Reinforcement Learning (DRL) classifier could learn effectively on a small fMRI training set. Methods : We trained a Deep Reinforcement Learning (DRL) classifier on 100 graph-label pairs from the Autism Brain Imaging Data Exchange (ABIDE) database. For comparison, we trained a Supervised Deep Learning (SDL) classifier on the same training set. Results : DRL significantly outperformed SDL, with a p-value of 2.4 x 10^(-7). DRL achieved superior results for a variety of classifier performance metrics, including an F1 score of 76, versus 67 for SDL. Whereas SDL quickly overfit the training data, DRL learned in a progressive manner that generalised to the separate testing set. Conclusion : DRL can learn to classify ASD versus NT in a data efficient manner, doing so for a small training set. Future work will involve optimizing the neural network for data efficiency and applying the approach to other fMRI data sets, namely for brain cancer patients.


title: RetrievalGuard: Provably Robust 1-Nearest Neighbor Image Retrieval

abstract: Recent research works have shown that image retrieval models are vulnerable to adversarial attacks, where slightly modified test inputs could lead to problematic retrieval results. In this paper, we aim to design a provably robust image retrieval model which keeps the most important evaluation metric Recall@1 invariant to adversarial perturbation. We propose the first 1-nearest neighbor (NN) image retrieval algorithm, RetrievalGuard, which is provably robust against adversarial perturbations within an $\ell_2$ ball of calculable radius. The challenge is to design a provably robust algorithm that takes into consideration the 1-NN search and the high-dimensional nature of the embedding space. Algorithmically, given a base retrieval model and a query sample, we build a smoothed retrieval model by carefully analyzing the 1-NN search procedure in the high-dimensional embedding space. We show that the smoothed retrieval model has bounded Lipschitz constant and thus the retrieval score is invariant to $\ell_2$ adversarial perturbations. Experiments on image retrieval tasks validate the robustness of our RetrievalGuard method.