title: Asymptotic behavior of the multilevel type error for SDEs driven by a pure jump L\'evy process

abstract: Motivated by the multilevel Monte Carlo method introduced by Giles [5], we study the asymptotic behavior of the normalized error process $u_{n,m}(X^n-X^{nm})$ where $X^n$ and $X^{nm}$ are respectively Euler approximations with time steps $1/n$ and $1/nm$ of a given stochastic differential equation $X$ driven by a pure jump L\'evy process. In this paper, we prove that this normalized multilevel error converges to different non-trivial limiting processes with various sharp rates $u_{n,m}$ depending on the behavior of the L\'evy measure around zero. Our results are consistent with those of Jacod [9] obtained for the normalized error $u_n(X^n-X)$, as when letting $m$ tends to infinity, we recover the same limiting processes. For the multilevel error, the proofs of the current paper are challenging since unlike [9] we need to deal with $m$ dependent triangular arrays instead of one.


title: MOVO: a dApp for DLT-based Smart Mobility

abstract: Plenty of research on smart mobility is currently devoted to the inclusion of novel decentralized software architectures to these systems, due to the inherent advantages in terms of transparency, traceability, trustworthiness. MOVO is a decentralized application (dApp) for smart mobility. It includes: (i) a module for collecting data from vehicles and smartphones sensors; (ii) a component for interacting with Distributed Ledger Technologies (DLT) and Decentralized File Storages (DFS), for storing and validating sensor data; (iii) a module for "offline" interaction between devices. The dApp consists of an Android application intended for use inside a vehicle, which helps the user/driver collect contextually generated data (e.g. a driver's stress level, an electric vehicle's battery level), which can then be shared through the use of DLT (i.e., IOTA DLT and Ethereum smart contracts) and DFS (i.e., IPFS). The third module consists of an implementation of a communication channel that, via Wi-Fi Direct, allows two devices to exchange data and payment information with respect to DLT (i.e. cryptocurrency and token) assets. In this paper, we describe the main software components and provide an experimental evaluation that confirms the viability of the MOVO dApp in real mobility scenarios.


title: Stereodynamics Imaging of Bromine Atomic Photofragments Eliminated from 1-Bromo-2-methylbutane Oriented via Hexapole State Selector

abstract: Both single-laser and two-laser experiments were conducted to look into the ion-imaging of Br*(2P1/2) and Br(2P3/2) photo-fragmented from 1-bromo-2-methylbutane in the range 232-240 nm via a detection scheme of (2+1) resonance-enhanced multiphoton ionization. The angular analysis of these photofragment distributions yields the anisotropy parameter beta = 1.88 +/- 0.06 for the Br* excited state which arises from a parallel transition, while beta = 0.63 +/- 0.09 for the Br ground state indicates the contribution from both a perpendicular transition and a non-adiabatic transition. When a hexapole coupled with an orienting field was implemented, the parent molecules are spatially oriented to yield an orientation efficiency |<cos theta>| of 0.15. Besides the chi angle between the recoil velocity v and the transition dipole moment mu, orienting molecules allows for the evaluation of the angle alpha between v and the permanent molecular dipole moment d. The angular analysis of Br* photofragment distribution yields chi to be 11.5 degrees and alpha in the range from 160 degrees to 180 degrees with weak dependency. In the two-laser experiments, the angular anisotropy of Br photofragment distribution was found to be smaller (0.38 +/- 0.10) when the photolysis wavelength was red-shifted to 240 nm, suggesting the increasing contributions from perpendicular transitions.


title: Kinetic Equations for Processes on Co-evolving Networks

abstract: The aim of this paper is to derive macroscopic equations for processes on large co-evolving networks, examples being opinion polarization with the emergence of filter bubbles or other social processes such as norm development. This leads to processes on graphs (or networks), where both the states of particles in nodes as well as the weights between them are updated in time. In our derivation we follow the basic paradigm of statistical mechanics: We start from paradigmatic microscopic models and derive a Liouville-type equation in a high-dimensional space including not only the node states in the network (corresponding to positions in mechanics), but also the edge weights between them. We then derive a natural (finite) marginal hierarchy and pass to an infinite limit. We will discuss the closure problem for this hierarchy and see that a simple mean-field solution can only arise if the weight distributions between nodes of equal states are concentrated. In a more interesting general case we propose a suitable closure at the level of a two-particle distribution (including the weight between them) and discuss some properties of the arising kinetic equations. Moreover, we highlight some structure-preserving properties of this closure and discuss its analysis in a minimal model. We discuss the application of our theory to some agent-based models in literature and discuss some open mathematical issues.


title: The Evolution of Rumors on a Closed Platform during COVID-19

abstract: In this work we looked into a dataset of 114 thousands of suspicious messages collected from the most popular closed messaging platform in Taiwan between January and July, 2020. We proposed an hybrid algorithm that could efficiently cluster a large number of text messages according their topics and narratives. That is, we obtained groups of messages that are within a limited content alterations within each other. By employing the algorithm to the dataset, we were able to look at the content alterations and the temporal dynamics of each particular rumor over time. With qualitative case studies of three COVID-19 related rumors, we have found that key authoritative figures were often misquoted in false information. It was an effective measure to increase the popularity of one false information. In addition, fact-check was not effective in stopping misinformation from getting attention. In fact, the popularity of one false information was often more influenced by major societal events and effective content alterations.


title: Sign Segmentation with Changepoint-Modulated Pseudo-Labelling

abstract: The objective of this work is to find temporal boundaries between signs in continuous sign language. Motivated by the paucity of annotation available for this task, we propose a simple yet effective algorithm to improve segmentation performance on unlabelled signing footage from a domain of interest. We make the following contributions: (1) We motivate and introduce the task of source-free domain adaptation for sign language segmentation, in which labelled source data is available for an initial training phase, but is not available during adaptation. (2) We propose the Changepoint-Modulated Pseudo-Labelling (CMPL) algorithm to leverage cues from abrupt changes in motion-sensitive feature space to improve pseudo-labelling quality for adaptation. (3) We showcase the effectiveness of our approach for category-agnostic sign segmentation, transferring from the BSLCORPUS to the BSL-1K and RWTH-PHOENIX-Weather 2014 datasets, where we outperform the prior state of the art.


title: NUQSGD: Provably Communication-efficient Data-parallel SGD via Nonuniform Quantization

abstract: As the size and complexity of models and datasets grow, so does the need for communication-efficient variants of stochastic gradient descent that can be deployed to perform parallel model training. One popular communication-compression method for data-parallel SGD is QSGD (Alistarh et al., 2017), which quantizes and encodes gradients to reduce communication costs. The baseline variant of QSGD provides strong theoretical guarantees, however, for practical purposes, the authors proposed a heuristic variant which we call QSGDinf, which demonstrated impressive empirical gains for distributed training of large neural networks. In this paper, we build on this work to propose a new gradient quantization scheme, and show that it has both stronger theoretical guarantees than QSGD, and matches and exceeds the empirical performance of the QSGDinf heuristic and of other compression methods.


title: Towards Decentralized Complex Queries over Distributed Ledgers: a Data Marketplace Use-case

abstract: Distributed Ledger Technologies (DLT) and Decentralized File Storages (DFS) are becoming increasingly used to create common, decentralized and trustless infrastructures where participants interact and collaborate in Peer-to-Peer interactions. A prominent use case is represented by decentralized data marketplaces, where users are consumers and providers at the same time, and trustless interactions are required. However, data in DLTs and DFS are usually unstructured and there are no efficient mechanisms to query a certain type of data for the search in the market. In this paper, we propose the use of a Distributed Hash Table (DHT) as a layer on top of DLTs where, once the data are acquired and stored in the ledger, these can be searched through multiple keyword based queries, thanks to the lookup functionalities offered by the DHT. The DHT network is a hypercube overlay structure, organized for an efficient processing of multiple keyword-based queries. We provide the architecture of such solution for a decentralized data marketplace and an analysis based on a simulation that proves the viability of the proposed approach.


title: On long knots in the full torus

abstract: The aim of this paper is to realise the techniques of picture-valued invariants and invariants valued in free groups for long knots in the full torus. Such knots and links are of a particular interest because of their relation to Legendrian knots, knotoids, 3-manifolds and many other objects. Invariants constructed in the paper are powerful and easy to compare. This paper is a sequel of [6]. Long knots naturally appear in the study of classical knots [1, 8].


title: Colliding-Wind Binaries as a Source of TeV Cosmic Rays

abstract: In addition to gamma-ray binaries which contain a compact object, high-energy and very high-energy gamma rays have also been detected from colliding-wind binaries. The collision of the winds produces two strong shock fronts, one for each wind, both surrounding a shock region of compressed and heated plasma, where particles are accelerated to very high energies. Magnetic field is also amplified in the shocked region on which the acceleration of particles greatly depends. In this work, we performed full three-dimensional magnetohydrodynamic simulations of colliding winds coupled to a code that evolves the kinematics of passive charged test particles subject to the plasma fluctuations. After the run of a large ensemble of test particles with initial thermal distributions, we show that such shocks produce a nonthermal population (nearly 1% of total particles) of few tens of GeVs up to few TeVs, depending on the initial magnetization level of the stellar winds. We were able to determine the loci of fastest acceleration, in the range of MeV/s to GeV/s, to be related to the turbulent plasma with amplified magnetic field of the shock. These results show that colliding-wind binaries are indeed able to produce a significant population of high-energy particles, in relatively short timescales, compared to the dynamical and diffusion timescales.


title: The sound speed and core of massive compact stars: A manifestation of hadron-quark duality

abstract: When baryon-quark continuity is formulated in terms of a topology change without invoking "explicit " QCD degrees of freedom at a density higher than twice the nuclear matter density $n_0$ the core of massive compact stars can be described in terms of fractionally charged particles, behaving neither like pure baryons nor deconfined quarks. Hidden symmetries, both local gauge and pseudo-conformal (or broken scale), lead to the pseudo-conformal (PC) sound velocity $v_{pcs}^2/c^2\approx 1/3$ at $\gsim 3n_0$ in compact stars. We argue these symmetries are "emergent" from strong nuclear correlations and conjecture that they reflect hidden symmetries in QCD proper exposed by nuclear correlations. We establish a possible link between the quenching of $g_A$ in superallowed Gamow-Teller transitions in nuclei and the precocious onset at $n\gsim 3n_0$ of the PC sound velocity predicted at the dilaton limit fixed point. We propose that bringing in explicit quark degrees of freedom as is done in terms of the "quarkyonic" and other hybrid hadron-quark structure and our topology-change strategy represent the "hadron-quark duality" formulated in terms of the Cheshire-Cat mechanism~\cite{CC} for the smooth cross-over between hadrons and quarks. Confrontation with currently available experimental observations is discussed to support this notion.


title: Investigating Perceptions of Social Intelligence in Simulated Human-Chatbot Interactions

abstract: With the ongoing penetration of conversational user interfaces, a better understanding of social and emotional characteristic inherent to dialogue is required. Chatbots in particular face the challenge of conveying human-like behaviour while being restricted to one channel of interaction, i.e., text. The goal of the presented work is thus to investigate whether characteristics of social intelligence embedded in human-chatbot interactions are perceivable by human interlocutors and if yes, whether such influences the experienced interaction quality. Focusing on the social intelligence dimensions Authenticity, Clarity and Empathy, we first used a questionnaire survey evaluating the level of perception in text utterances, and then conducted a Wizard of Oz study to investigate the effects of these utterances in a more interactive setting. Results show that people have great difficulties perceiving elements of social intelligence in text. While on the one hand they find anthropomorphic behaviour pleasant and positive for the naturalness of a dialogue, they may also perceive it as frightening and unsuitable when expressed by an artificial agent in the wrong way or at the wrong time.


title: DeepSatData: Building large scale datasets of satellite images for training machine learning models

abstract: This report presents design considerations for automatically generating satellite imagery datasets for training machine learning models with emphasis placed on dense classification tasks, e.g. semantic segmentation. The implementation presented makes use of freely available Sentinel-2 data which allows generation of large scale datasets required for training deep neural networks. We discuss issues faced from the point of view of deep neural network training and evaluation such as checking the quality of ground truth data and comment on the scalability of the approach. Accompanying code is provided in https://github.com/michaeltrs/DeepSatData.


title: Dynamical Evolution of Entanglement in Disordered Oscillator Systems

abstract: We study the non-equilibrium dynamics of a disordered quantum system consisting of harmonic oscillators in a $d$-dimensional lattice. If the system is sufficiently localized, we show that, starting from a broad class of initial product states that are associated with a tiling (decomposition) of the $d$-dimensional lattice, the dynamical evolution of entanglement follows an area law in all times. Moreover, the entanglement bound reveals a dependency on how the subsystems are located within the lattice in dimensions $d\geq 2$. In particular, the entanglement grows with the maximum degree of the dual graph associated with the lattice tiling.

categories: math-ph cond-mat.dis-nn math.MP quant-ph


title: Deep Learning Body Region Classification of MRI and CT examinations

abstract: Standardized body region labelling of individual images provides data that can improve human and computer use of medical images. A CNN-based classifier was developed to identify body regions in CT and MRI. 17 CT (18 MRI) body regions covering the entire human body were defined for the classification task. Three retrospective databases were built for the AI model training, validation, and testing, with a balanced distribution of studies per body region. The test databases originated from a different healthcare network. Accuracy, recall and precision of the classifier was evaluated for patient age, patient gender, institution, scanner manufacturer, contrast, slice thickness, MRI sequence, and CT kernel. The data included a retrospective cohort of 2,934 anonymized CT cases (training: 1,804 studies, validation: 602 studies, test: 528 studies) and 3,185 anonymized MRI cases (training: 1,911 studies, validation: 636 studies, test: 638 studies). 27 institutions from primary care hospitals, community hospitals and imaging centers contributed to the test datasets. The data included cases of all genders in equal proportions and subjects aged from a few months old to +90 years old. An image-level prediction accuracy of 91.9% (90.2 - 92.1) for CT, and 94.2% (92.0 - 95.6) for MRI was achieved. The classification results were robust across all body regions and confounding factors. Due to limited data, performance results for subjects under 10 years-old could not be reliably evaluated. We show that deep learning models can classify CT and MRI images by body region including lower and upper extremities with high accuracy.


title: Novel Higgsino Dark Matter Signatures at the LHC

abstract: In the LHC searches for gluinos it is usually assumed that they decay predominantly into the lightest neutralino plus jets. In this work we perform a proof-of-concept collider analysis of a novel supersymmetric signal in which gluinos decay mostly into jets and the bino-like neutralino ($\tilde\chi_3^0$), which in turn decays into the lightest Higgsino-like neutralino ($\tilde\chi_1^0$), considered the dark matter candidate, together with the SM-like Higgs boson ($h$). This new physics signal then consists of an LHC final state made up by four light jets, four $b$-jets, and a large amount of missing transverse energy. We identify $t \bar t$, $V$+jets ($V$= $W$, $Z$), and $t \bar t + X$ ($X$ = $W$, $Z$, $\gamma^*$, $h$) productions as the most problematic backgrounds, and develop a search strategy for the high luminosity phase of the LHC, reaching signal significances at the evidence level for a luminosity of 1000 fb$^{-1}$. The prospects for a luminosity of 3000 fb$^{-1}$ are even more promising, with discovery-level significances.


title: Wakefields in Hollow Channel of Magnetized Plasma

abstract: Wakefield particle acceleration in hollow plasma channels is under extensive study nowadays. Here we consider an externally magnetized plasma layer (external magnetic field of arbitrary magnitude is along the structure axis) and investigate wakefields generated by a point charge passing along the layer axis.


title: Interpolating between positive and completely positive maps: a new hierarchy of entangled states

abstract: A new class of positive maps is introduced. It interpolates between positive and completely positive maps. It is shown that this class gives rise to a new characterization of entangled states. Additionally, it provides a refinement of the well-known classes of entangled states characterized in term of the Schmidt number. The analysis is illustrated with examples of qubit maps.


title: Scaling laws for step bunching on vicinal surfaces: the role of the dynamical and chemical effects

abstract: We study the evolution of step bunches on vicinal surfaces using a thermodynamically consistent step-flow model that (i) circumvents the quasistatic approximation that prevails in the literature by accounting for the dynamics of adatom diffusion on terraces and attachment-detachment at steps (referred to as the dynamical effect), and (ii) generalizes the expression of the step chemical potential by incorporating the necessary coupling between the diffusion fields on adjacent terraces (referred to as the chemical effect). Having previously shown that these effects can explain the onset of step bunching without recourse to the inverse Ehrlich-Schwoebel (iES) barrier or other extraneous mechanisms, we are here interested in the evolution of step bunches beyond the linear-stability regime. In particular, the numerical resolution of the step-flow problem yields a robust power-law coarsening of the surface profile, with the bunch height growing in time as $H\sim t^{1/2}$ and the minimal interstep distance as a function of the number of steps in the bunch cell obeying $\ell_{min}\sim N^{-2/3}$. Although these exponents have previously been reported, this is the first time such scaling laws are obtained in the absence of an iES barrier or adatom electromigration. In order to validate our simulations, we take the continuum limit of the discrete step-flow system, leading to a novel nonlinear evolution equation for the surface height. We investigate the existence of self-similar solutions of this equation and confirm the 1/2 coarsening exponent obtained numerically for $H$. We highlight the influence of the combined dynamical-chemical effect and show that it can be interpreted as an effective iES barrier in the standard BCF theory. Finally, we use a Pad\'e approximant to derive an analytical expression for the velocity of steadily moving step bunches and compare it to numerical simulations.


title: Formal characterization and efficient verification of a biological robustness property

abstract: Robustness is an observable property for which a chemical reaction network (CRN) can maintain its functionalities despite the influence of different perturbations. In general, to verify whether a network is robust, it is necessary to consider all the possible parameter configurations. This is a process that can entail a massive computational effort. In the work of Rizk et al., the authors propose a definition of robustness in linear temporal logic (LTL) through which, on the basis of multiple numerical timed traces obtained by considering different parameter configurations, they verify the robustness of a reaction network. In this paper, we focus on a notion of initial concentration robustness ($\alpha$-robustness), which is related to the influence of the perturbation of the initial concentration of one species (i.e., the input) on the concentration of another species (i.e., the output) at the steady state. We characterize this notion of robustness in the framework proposed by Rizk et al., and we show that, for monotonic reaction networks, this allows us to drastically reduce the number of traces necessary to verify robustness of the CRN.


title: Distributional Results for Model-Based Intrinsic Dimension Estimators

abstract: Modern datasets are characterized by a large number of features that may conceal complex dependency structures. To deal with this type of data, dimensionality reduction techniques are essential. Numerous dimensionality reduction methods rely on the concept of intrinsic dimension, a measure of the complexity of the dataset. In this article, we first review the TWO-NN model, a likelihood-based intrinsic dimension estimator recently introduced in the literature. The TWO-NN estimator is based on the statistical properties of the ratio of the distances between a point and its first two nearest neighbors, assuming that the points are a realization from an homogeneous Poisson point process. We extend the TWO-NN theoretical framework by providing novel distributional results of consecutive and generic ratios of distances. These distributional results are then employed to derive intrinsic dimension estimators, called Cride and Gride. These novel estimators are more robust to noisy measurements than the TWO-NN and allow the study of the evolution of the intrinsic dimension as a function of the scale used to analyze the dataset. We discuss the properties of the different estimators with the help of simulation scenarios.


title: Quantifying quantum coherence of optical cat states

abstract: Optical cat state plays an essential role in quantum computation and quantum metrology. Here, we experimentally quantify quantum coherence of an optical cat state by means of relative entropy and l_1 norm of coherence in Fock basis based on the prepared optical cat state at rubidium D1 line. By transmitting the optical cat state through a lossy channel, we also demonstrate the robustness of quantum coherence of optical cat state in the presence of loss, which is different from the decoherence properties of fidelity and Wigner function negativity of the optical cat state. Our results confirm that quantum coherence of optical cat states is robust against loss and pave the way for the application with optical cat states.


title: Rotating stealth black holes with a cohomogeneity-1 metric

abstract: In five dimensions we consider a general shift symmetric and parity preserving scalar tensor action that contains up to second order covariant derivatives of the scalar field. A rotating stealth black hole solution is constructed where the metric is given by the Myers-Perry spacetime with equal momenta and the scalar field is identified with the Hamilton-Jacobi potential. This nontrivial scalar field has an extra hair associated with the rest mass of the test particle, and the solution does not require any fine tuning of the coupling functions of the theory. Interestingly enough, we show that the disformal transformation, generated by this scalar field, and with a constant degree of disformality, leaves invariant (up to diffeomorphisms) the Myers-Perry metric with equal momenta. This means that the hair of the scalar field, along with the constant disformality parameter, can be consistently absorbed into further redefinitions of the mass and of the single angular parameter of the disformed metric. These results are extended in higher odd dimensions with a Myers-Perry metric for which all the momenta are equal. The key of the invariance under disformal transformation of the metric is mainly the cohomogeneity-1 character of the Myers-Perry metric with equal momenta. Starting from this observation, we consider a general class of cohomogeneity-1 metrics in arbitrary dimension, and we list the conditions ensuring that this class of metrics remain invariant (up to diffeomorphisms) under a disformal transformation with a constant degree of disformality and with a scalar field with constant kinetic term. The extension to the Kerr-(A)dS case is also considered where it is shown that rotating stealth solutions may exist provided some fine tuning of the coupling functions of the scalar tensor theory.


title: Revisiting the representation theorem of finite distributive lattices with principal congruences

abstract: A classical result of R.\,P. Dilworth states that every finite distributive lattice $D$ can be represented as the congruence lattice of a finite lattice~$L$. A~sharper form was published in G.~Gr\"atzer and E.\,T. Schmidt in 1962, adding the requirement that all congruences in $L$ be principal. Another variant, published in 1998 by the authors and E.\,T. Schmidt, constructs a planar semimodular lattice $L$. In this paper, we merge these two results: we construct $L$ as a planar semimodular lattice in which all congruences are principal. This paper relies on the techniques developed by the authors and E.\,T. Schmidt in the 1998 paper.


title: The EMPATHIC Project: Building an Expressive, Advanced Virtual Coach to Improve Independent Healthy-Life-Years of the Elderly

abstract: This paper outlines the EMPATHIC Research & Innovation project, which aims to research, innovate, explore and validate new interaction paradigms and plat-forms for future generations of Personalized Virtual Coaches to assist elderly people living independently at and around their home. Innovative multimodal face analytics, adaptive spoken dialogue systems, and natural language inter-faces are part of what the project investigates and innovates, aiming to help dependent aging persons and their carers. It will uses remote, non-intrusive technologies to extract physiological markers of emotional states and adapt respective coach responses. In doing so, it aims to develop causal models for emotionally believable coach-user interactions, which shall engage elders and thus keep off loneliness, sustain health, enhance quality of life, and simplify access to future telecare services. Through measurable end-user validations performed in Spain, Norway and France (and complementary user evaluations in Italy), the proposed methods and solutions will have to demonstrate useful-ness, reliability, flexibility and robustness.


title: Degeneracy and coherent states of the two-dimensional Morse potential

abstract: In this paper we construct coherent states for the two-dimensional Morse potential. We find the dependence of the spectrum on the physical parameters and use this to understand the emergence of accidental degeneracies. It is observed that, under certain conditions pertaining to the irrationality of the parameters, accidental degeneracies do not appear and as such energy levels are at most two-fold degenerate. After defining a non-degenerate spectrum and set of states for the 2D Morse potential, we construct generalised coherent states and discuss the spatial distribution of their probability densities and their uncertainty relations.


title: On Superintegral Kleinian Sphere Packings, Bugs, and Arithmetic Groups

abstract: We develop the notion of a Kleinian Sphere Packing, a generalization of "crystallographic" (Apollonian-like) sphere packings defined by Kontorovich-Nakamura [KN19]. Unlike crystallographic packings, Kleinian packings exist in all dimensions, as do "superintegral" such. We extend the Arithmeticity Theorem to Kleinian packings, that is, the superintegral ones come from Q-arithmetic lattices of simplest type. The same holds for more general objects we call Kleinian Bugs, in which the spheres need not be disjoint but can meet with dihedral angles pi/m for finitely many m. We settle two questions from [KN19]: (i) that the Arithmeticity Theorem is in general false over number fields, and (ii) that integral packings only arise from non-uniform lattices.


title: Structural averaged controllability of linear ensemble systems

abstract: In the paper, we introduce and address the problem of structural averaged controllability for linear ensemble systems. We provide examples highlighting the differences between this problem and others. In particular, we show that structural averaged controllability is strictly weaker than structural controllability for single (or ensembles of) linear systems. We establish a set of necessary or sufficient conditions for sparsity patterns to be structurally averaged controllable.


title: Twins: Revisiting the Design of Spatial Attention in Vision Transformers

abstract: Very recently, a variety of vision transformer architectures for dense prediction tasks have been proposed and they show that the design of spatial attention is critical to their success in these tasks. In this work, we revisit the design of the spatial attention and demonstrate that a carefully-devised yet simple spatial attention mechanism performs favourably against the state-of-the-art schemes. As a result, we propose two vision transformer architectures, namely, Twins-PCPVT and Twins-SVT. Our proposed architectures are highly-efficient and easy to implement, only involving matrix multiplications that are highly optimized in modern deep learning frameworks. More importantly, the proposed architectures achieve excellent performance on a wide range of visual tasks, including image level classification as well as dense detection and segmentation. The simplicity and strong performance suggest that our proposed architectures may serve as stronger backbones for many vision tasks. Our code is released at https://github.com/Meituan-AutoML/Twins .


title: Evaluating Document Representations for Content-based Legal Literature Recommendations

abstract: Recommender systems assist legal professionals in finding relevant literature for supporting their case. Despite its importance for the profession, legal applications do not reflect the latest advances in recommender systems and representation learning research. Simultaneously, legal recommender systems are typically evaluated in small-scale user study without any public available benchmark datasets. Thus, these studies have limited reproducibility. To address the gap between research and practice, we explore a set of state-of-the-art document representation methods for the task of retrieving semantically related US case law. We evaluate text-based (e.g., fastText, Transformers), citation-based (e.g., DeepWalk, Poincar\'e), and hybrid methods. We compare in total 27 methods using two silver standards with annotations for 2,964 documents. The silver standards are newly created from Open Case Book and Wikisource and can be reused under an open license facilitating reproducibility. Our experiments show that document representations from averaged fastText word vectors (trained on legal corpora) yield the best results, closely followed by Poincar\'e citation embeddings. Combining fastText and Poincar\'e in a hybrid manner further improves the overall result. Besides the overall performance, we analyze the methods depending on document length, citation count, and the coverage of their recommendations. We make our source code, models, and datasets publicly available at https://github.com/malteos/legal-document-similarity/.


title: Symmetry breaking in two-dimensional square grids: persistence and failure of the dimensional crossover

abstract: We discuss the model robustness of the infinite two-dimensional square grid with respect to symmetry breakings due to the presence of defects, that is, lacks of finitely or infinitely many edges. Precisely, we study how these topological perturbations of the square grid affect the so-called dimensional crossover identified in [Adami et al. 2019]. Such a phenomenon has two evidences: the coexistence of the one and the two-dimensional Sobolev inequalities and the appearence of a continuum of $L^2$-critical exponents for the ground states at fixed mass of the nonlinear Schr\"odinger equation. From this twofold perspective, we investigate which classes of defects do preserve the dimensional crossover and which classes do not.


title: Notes on planar semimodular lattices. VIII. Congruence lattices of SPS lattices

abstract: In this note, I find a new property of the congruence lattice, Con$L$, of an SPS lattice $L$ (slim, planar, semimodular, where "slim" is the absence of~$\mathsf M_3$ sublattices) with more than $2$ elements: \emph{there are at least two dual atoms in Con$L$}. So the three-element chain cannot be represented as the congruence lattice of an SPS lattice, supplementing a~result of G. Cz\'edli.


title: A Generalized Projected Bellman Error for Off-policy Value Estimation in Reinforcement Learning

abstract: Many reinforcement learning algorithms rely on value estimation, however, the most widely used algorithms -- namely temporal difference algorithms -- can diverge under both off-policy sampling and nonlinear function approximation. Many algorithms have been developed for off-policy value estimation based on the linear mean squared projected Bellman error (MSPBE) and are sound under linear function approximation. Extending these methods to the nonlinear case has been largely unsuccessful. Recently, several methods have been introduced that approximate a different objective -- the mean-squared Bellman error (MSBE) -- which naturally facilitate nonlinear approximation. In this work, we build on these insights and introduce a new generalized MSPBE that extends the linear MSPBE to the nonlinear setting. We show how this generalized objective unifies previous work and obtain new bounds for the value error of the solutions of the generalized objective. We derive an easy-to-use, but sound, algorithm to minimize the generalized objective, and show that it is more stable across runs, is less sensitive to hyperparameters, and performs favorably across four control domains with neural network function approximation.


title: Novel Approach to Unveil Quantum Phase Transitions Using Fidelity Map

abstract: Fidelity approach has been widely used to detect various types of quantum phase transitions, including some that are beyond the Landau symmetry breaking theory, in condensed matter models. However, challenges remain in locating the transition points with precision in several models with unconventional phases such as the quantum spin liquid phase in spin-1 Kitaev-Heisenberg model. In this work, we propose a novel approach, which we named the fidelity map, to detect quantum phase transitions with higher accuracy and sensitivity as compared to the conventional fidelity measures. Our scheme extends the fidelity concept from a single dimension quantity to a multi-dimensional quantity, and use a meta-heuristic algorithm to search for the critical points that globally maximized the fidelity within each phase. We test the scheme in three interacting condensed matter models, namely the spin-1 Kitaev Heisenberg model which consists of the quantum spin liquid phase and the topological Haldane phase, the spin-1/2 XXZ model which possesses a Berezinskii-Kosterlitz-Thouless transition, and the Su-Schrieffer-Heeger model that exhibits a topological quantum phase transition. The result shows that the fidelity map can capture a wide range of phase transitions accurately, thus providing a new tool to study phase transitions in unseen models without prior knowledge of the system's symmetry.


title: $q{\rm RS}t$: A probabilistic Robinson--Schensted correspondence for Macdonald polynomials (extended abstract)

abstract: We present a probabilistic generalization of the Robinson--Schensted correspondence in which a permutation maps to several different pairs of standard Young tableaux with nonzero probability. The probabilities depend on two parameters $q$ and $t$, and the correspondence gives a new proof of the squarefree part of the Cauchy identity for Macdonald polynomials. By specializing $q$ and $t$ in various ways, one recovers both the row and column insertion versions of the Robinson--Schensted correspondence, as well as several $q$- and $t$-deformations of row and column insertion which have been introduced in recent years in connection with integrable probability.


title: Revisiting isocurvature bounds in models unifying the axion with the inflaton

abstract: Axion scenarios in which the spontaneous breaking of the Peccei-Quinn symmetry takes place before or during inflation, and in which axion dark matter arises from the misalignment mechanism, can be constrained by Cosmic Microwave Background isocurvature bounds. Dark matter isocurvature is thought to be suppressed in models with axion-inflaton interactions, for which axion perturbations are assumed to freeze at horizon crossing during inflation. However, this assumption can be an oversimplification due to the interactions themselves. In particular, non-perturbative effects during reheating may lead to a dramatic growth of axion perturbations. We perform lattice calculations in two models in which the Peccei-Quinn field participates in inflation. We find that the growth of axion perturbations is such that the Peccei-Quinn symmetry is restored for an axion decay constant $f_A\lesssim10^{16}$-$10^{17}$ GeV, leading to an over-abundance of dark matter, unless $f_A \lesssim 2 \times 10^{11}$ GeV. For $f_A\gtrsim10^{16}$-$10^{17}$ GeV we still find a large growth of axion perturbations at low momentum, such that a naive extrapolation to CMB scales suggests a violation of the isocurvature bounds.


title: Relating stated skein algebras and internal skein algebras

abstract: We give an explicit correspondence between stated skein algebras, which are defined via explicit relations on stated tangles in [Costantino F., L\^e T.T.Q., arXiv:1907.11400], and internal skein algebras, which are defined as internal endomorphism algebras in free cocompletions of skein categories in [Ben-Zvi D., Brochier A., Jordan D., J. Topol. 11 (2018), 874-917, arXiv:1501.04652] or in [Gunningham S., Jordan D., Safronov P., arXiv:1908.05233]. Stated skein algebras are defined on surfaces with multiple boundary edges and we generalise internal skein algebras in this context. Now, one needs to distinguish between left and right boundary edges, and we explain this phenomenon on stated skein algebras using a half-twist. We prove excision properties of multi-edges internal skein algebras using excision properties of skein categories, and agreeing with excision properties of stated skein algebras when $\mathcal{V} = \mathcal{U}_{q^2}(\mathfrak{sl}_2)\text{-}{\rm mod}^{\rm fin}$. Our proofs are mostly based on skein theory and we do not require the reader to be familiar with the formalism of higher categories.


title: Neutron form factor measurements at MAMI

abstract: Measurements of the electric and the magnetic neutron form factors have been performed at the Mainz Microtron for more than 20 years. These MAMI experiments are reviewed in the context of measurements from other groups, and future measurements at MAMI are outlined.


title: Polarisation-dependent single-pulse ultrafast optical switching of an elementary ferromagnet

abstract: The ultimate control of magnetic states of matter at femtosecond (or even faster) timescales defines one of the most pursued paradigm shifts for future information technology. In this context, ultrafast laser pulses developed into extremely valuable stimuli for the all-optical magnetisation reversal in ferrimagnetic and ferromagnetic alloys and multilayers, while this remains elusive in elementary ferromagnets. Here we demonstrate that a single laser pulse with sub-picosecond duration can lead to the reversal of the magnetisation of bulk nickel, in tandem with the expected demagnetisation. As revealed by realistic time-dependent electronic structure simulations, the central mechanism is ultrafast light-induced torques acting on the magnetisation, which are only effective if the laser pulse is circularly polarised on a plane that contains the initial orientation of the magnetisation. We map the laser pulse parameter space enabling the magnetisation switching and unveil rich intra-atomic orbital-dependent magnetisation dynamics featuring transient inter-orbital non-collinear states. Our findings open further perspectives for the efficient implementation of optically-based spintronic devices.


title: Verified Approximation Algorithms

abstract: We present the first formal verification of approximation algorithms for NP-complete optimization problems: vertex cover, independent set, set cover, center selection, load balancing, and bin packing. We uncover incompletenesses in existing proofs and improve the approximation ratio in one case. All proofs are uniformly invariant based.


title: Models and methods of complex evaluation of complex network and hierarchically network systems

abstract: The flow models of complex network system are developed and main flow characteristics of its elements are defined. Those characteristics are applied for determining actual structure of the system, analyzing its development on all lifecycle stages and finding alternative flow directions that bypass isolated areas of network. Influence and betweenness parameters of components of network systems are defined. Using those parameters, the conditions were studied under which system is resistant to negative internal and external influence. The notion of flow core of complex network systems is defined, that allows to distinguish the most important components of system structure in terms of operation to solve the problem of finding communities within the network. The notions of p-core and kernel of mono flow partially overlapped multilayered network are defined that allow to determine components of system structure that play the most important role in implementation of interactions between systems. The methodology is developed for complex evaluation of quality of complex hierarchical network systems. This methodology combines the interconnected methods of local, forecasting, interactive and aggregated analysis of system components behavior on all hierarchy levels. It is demonstrated that application of proposed complex evaluation methodology is efficient for solving problem of defining practically possible criteria of network system element quality, novelty detection, determining critical and optimal system operation modes and selecting optimal system of given class of systems.


title: Learning deep autoregressive models for hierarchical data

abstract: We propose a model for hierarchical structured data as an extension to the stochastic temporal convolutional network. The proposed model combines an autoregressive model with a hierarchical variational autoencoder and downsampling to achieve superior computational complexity. We evaluate the proposed model on two different types of sequential data: speech and handwritten text. The results are promising with the proposed model achieving state-of-the-art performance.


title: D-OccNet: Detailed 3D Reconstruction Using Cross-Domain Learning

abstract: Deep learning based 3D reconstruction of single view 2D image is becoming increasingly popular due to their wide range of real-world applications, but this task is inherently challenging because of the partial observability of an object from a single perspective. Recently, state of the art probability based Occupancy Networks reconstructed 3D surfaces from three different types of input domains: single view 2D image, point cloud and voxel. In this study, we extend the work on Occupancy Networks by exploiting cross-domain learning of image and point cloud domains. Specifically, we first convert the single view 2D image into a simpler point cloud representation, and then reconstruct a 3D surface from it. Our network, the Double Occupancy Network (D-OccNet) outperforms Occupancy Networks in terms of visual quality and details captured in the 3D reconstruction.


title: A Gaussian approximation theorem for L\'evy processes

abstract: Without higher moment assumptions, this note establishes the decay of the Kolmogorov distance in a central limit theorem for L\'evy processes. This theorem can be viewed as a continuous-time extension of the classical random walk result by Friedman, Katz and Koopmans.


title: The long-term X-ray flux distribution of Cygnus X-1 using RXTE-ASM and MAXI observations

abstract: We studied the long term flux distribution of Cygnus X-1 using RXTE-ASM lightcurves in two energy bands B (3-5 keV) & C (5-12.1 keV) as well as MAXI lightcurves in energy bands B (4-10 keV) & C (10-20 keV). The flux histograms were fitted using a two component model. For MAXI data, each of the components is better fitted by a log-normal distribution, rather than a Gaussian one. Their best fit centroids and fraction of time the source spends being in that component are consistent with those of the Hard and Soft spectral states Thus, the long term flux distribution of the states of Cygnus X-1 have a log-normal nature which is the same as that found earlier for much shorter time-scales. For RXTE-ASM data, one component corresponding approximately to the Hard state is better represented by a log-normal but for the other one a Gaussian is preferred and whose centroid is not consistent with the Soft state.This discrepancy, could be due to the larger fraction of the Intermediate state (~11.25%) in the RXTE-ASM data as compared to the MAXI one (~4%). Fitting the flux distribution with three components did not provide an improvement for either RXTE-ASM or MAXI data, suggesting that the data corresponding to the Intermediate state may not represent a separate spectral state, but rather represent transitions between the two states.


title: Applying the Cz\'edli-Schmidt Sequences to congruence properties of planar semimodular lattices

abstract: Following G.~Gr\"atzer and E.~Knapp, 2009, a planar semimodular lattice $L$ is \emph{rectangular}, if~the left boundary chain has exactly one doubly-irreducible element, $c_l$, and the right boundary chain has exactly one doubly-irreducible element, $c_r$, and these elements are complementary. The Cz\'edli-Schmidt Sequences, introduced in 2012, construct rectangular lattices. We use them to prove some structure theorems. In particular, we prove that for a slim (no $\mathsf{M}_3$ sublattice) rectangular lattice~$L$, the congruence lattice $\Con L$ has exactly $\length[c_l,1] + \length[c_r,1]$ dual atoms and a dual atom in $\Con L$ is a congruence with exactly two classes. We also describe the prime ideals in a slim rectangular lattice.


title: A renorming characterization of Banach spaces containing $\ell_1(\kappa)$

abstract: A result of G. Godefroy asserts that a Banach space $X$ contains an isomorphic copy of $\ell_1$ if and only if there is an equivalent norm $|||\cdot|||$ such that, for every finite-dimensional subspace $Y$ of $X$ and every $\varepsilon>0$, there exists $x\in S_X$ so that $|||y+r x|||\geq (1-\varepsilon)(|||y|||+\vert r\vert)$ for every $y\in Y$ and every $r\in\mathbb R$. In this paper we generalize this result to larger cardinals, showing that if $\kappa$ is an uncountable cardinal then a Banach space $X$ contains a copy of $\ell_1(\kappa)$ if and only if there is an equivalent norm $|||\cdot|||$ on $X$ such that for every subspace $Y$ of $X$ with $dens(Y)<\kappa$ there exists a norm-one vector $x$ so that $||| y+r x|||=|||y|||+\vert r\vert$ whenever $y\in Y$ and $r\in\mathbb{R}$. This result answers a question posed by S. Ciaci, J. Langemets and A. Lissitsin, where the authors wonder whether the previous statement holds for infinite succesor cardinals. We also show that, in the countable case, the result of Godefroy cannot be improved to take $\varepsilon=0$.


title: Beables, Primitive Ontology and Beyond: How Theories Meet the World

abstract: Bohm and Bell's approaches to the foundations of quantum mechanics share notable features with the contemporary Primitive Ontology perspective and Esfeld and Deckert minimalist ontology. For instance, all these programs consider ontological clarity a necessary condition to be met by every theoretical framework, promote scientific realism also in the quantum domain and strengthen the explanatory power of quantum theory. However, these approaches remarkably diverge from one another, since they employ different metaphysical principles leading to conflicting Weltanschaaungen. The principal aim of this essay is to spell out the relations as well as the main differences existing among such programs, which unfortunately remain often unnoticed in literature. Indeed, it is not uncommon to see Bell's views conflated with the PO programme, and the latter with Esfeld and Deckert's proposal. It will be our task to clear up this confusion.


title: Faster 3-coloring of small-diameter graphs

abstract: We study the 3-\textsc{Coloring} problem in graphs with small diameter. In 2013, Mertzios and Spirakis showed that for $n$-vertex diameter-2 graphs this problem can be solved in subexponential time $2^{\mathcal{O}(\sqrt{n \log n})}$. Whether the problem can be solved in polynomial time remains a well-known open question in the area of algorithmic graphs theory. In this paper we present an algorithm that solves 3-\textsc{Coloring} in $n$-vertex diameter-2 graphs in time $2^{\mathcal{O}(n^{1/3} \log^{2} n)}$. This is the first improvement upon the algorithm of Mertzios and Spirakis in the general case, i.e., without putting any further restrictions on the instance graph. In addition to standard branchings and reducing the problem to an instance of 2-\textsc{Sat}, the crucial building block of our algorithm is a combinatorial observation about 3-colorable diameter-2 graphs, which is proven using a probabilistic argument. As a side result, we show that 3-\textsc{Coloring} can be solved in time $2^{\mathcal{O}( (n \log n)^{2/3})}$ in $n$-vertex diameter-3 graphs. We also generalize our algorithms to the problem of finding a list homomorphism from a small-diameter graph to a cycle.


title: Another Proof of Born's Rule on Arbitrary Cauchy Surfaces

abstract: In 2017, Lienert and Tumulka proved Born's rule on arbitrary Cauchy surfaces in Minkowski space-time assuming Born's rule and a corresponding collapse rule on horizontal surfaces relative to a fixed Lorentz frame, as well as a given unitary time evolution between any two Cauchy surfaces, satisfying that there is no interaction faster than light and no propagation faster than light. Here, we prove Born's rule on arbitrary Cauchy surfaces from a different, but equally reasonable, set of assumptions. The conclusion is that if detectors are placed along any Cauchy surface $\Sigma$, then the observed particle configuration on $\Sigma$ is a random variable with distribution density $|\Psi_\Sigma|^2$, suitably understood. The main different assumption is that the Born and collapse rules hold on any spacelike hyperplane, i.e., at any time coordinate in any Lorentz frame. Heuristically, this follows if the dynamics of the detectors is Lorentz invariant.


title: Zilber's Theorem for planar lattices, revisited

abstract: Zilber's Theorem states that a finite lattice $L$ is planar if{}f it has a complementary order relation. We provide a new proof for this crucial result and discuss some applications, including a canonical form for finite planar lattices and an analysis of coverings in the left-right order.


title: Anisotropic Landau-Lifshitz Model in Discrete Space-Time

abstract: We construct an integrable lattice model of classical interacting spins in discrete space-time, representing a discrete-time analogue of the lattice Landau-Lifshitz ferromagnet with uniaxial anisotropy. As an application we use this explicit discrete symplectic integration scheme to compute the spin Drude weight and diffusion constant as functions of anisotropy and chemical potential. We demonstrate qualitatively different behavior in the easy-axis and the easy-plane regimes in the non-magnetized sector. Upon approaching the isotropic point we also find an algebraic divergence of the diffusion constant, signaling a crossover to spin superdiffusion.


title: From the Riemann surface of TASEP to ASEP

abstract: We consider the asymmetric simple exclusion process (ASEP) with forward hopping rate 1, backward hopping rate q and periodic boundary conditions. We show that the Bethe equations of ASEP can be decoupled, at all order in perturbation in the variable q, by introducing a formal Laurent series mapping the Bethe roots of the totally asymmetric case q=0 (TASEP) to the Bethe roots of ASEP. The probability of the height for ASEP is then written as a single contour integral on the Riemann surface on which symmetric functions of TASEP Bethe roots live.


title: Sequential Search Models: A Pairwise Maximum Rank Approach

abstract: This paper studies sequential search models that (1) incorporate unobserved product quality, which can be correlated with endogenous observable characteristics (such as price) and endogenous search cost variables (such as product rankings in online search intermediaries); and (2) do not require researchers to know the true distribution of the match value between consumers and products. A likelihood approach to estimate such models gives biased results. Therefore, I propose a new estimator -- pairwise maximum rank (PMR) estimator -- for both preference and search cost parameters. I show that the PMR estimator is consistent using only data on consumers' search order among one pair of products rather than data on consumers' full consideration set or final purchase. Additionally, we can use the PMR estimator to test for the true match value distribution in the data. In the empirical application, I apply the PMR estimator to quantify the effect of rankings in Expedia hotel search using two samples of the data set, to which consumers are randomly assigned. I find the position effect to be \$0.11-\$0.36, and the effect estimated using the sample with randomly generated rankings is close to the effect estimated using the sample with endogenous rankings. Moreover, I find that the true match value distribution in the data is unlikely to be N(0,1). Likelihood estimation ignoring endogeneity gives an upward bias of at least \$1.17; misspecification of match value distribution as N(0,1) gives an upward bias of at least \$2.99.


title: Reachability in Vector Addition Systems is Ackermann-complete

abstract: Vector Addition Systems and equivalent Petri nets are a well established models of concurrency. The central algorithmic problem for Vector Addition Systems with a long research history is the reachability problem asking whether there exists a run from one given configuration to another. We settle its complexity to be Ackermann-complete thus closing the problem open for 45 years. In particular we prove that the problem is $\mathcal{F}_k$-hard for Vector Addition Systems with States in dimension $6k$, where $\mathcal{F}_k$ is the $k$-th complexity class from the hierarchy of fast-growing complexity classes.


title: Notions of amalgamation for AECs and categoricity

abstract: Motivated by the free products of groups, the direct sums of modules, and Shelah's $(\lambda,2)$-goodness, we study strong amalgamation properties in Abstract Elementary Classes. Such a notion of amalgamation consists of a selection of certain amalgams for every triple $M_0\leq M_1, M_2$, and we show that if $K$ designates a unique strong amalgam to every triple $M_0\leq M_1, M_2$, then $K$ satisfies categoricity transfer at cardinals $\geq\theta(K)+2^{\text{LS}(K)}$, where $\theta(K)$ is a cardinal associated with the notion of amalgamation. We also show that if such a unique choice does not exist, then there is some model $M\in K$ having $2^{|M|}$ many extensions which cannot be embedded in each other over $M$. Thus, for AECs which admit a notion of amalgamation, the property of having unique amalgams is a dichotomy property in the sense of Shelah's classification theory.


title: Communication Topology Co-Design in Graph Recurrent Neural Network Based Distributed Control

abstract: When designing large-scale distributed controllers, the information-sharing constraints between sub-controllers, as defined by a communication topology interconnecting them, are as important as the controller itself. Controllers implemented using dense topologies typically outperform those implemented using sparse topologies, but it is also desirable to minimize the cost of controller deployment. Motivated by the above, we introduce a compact but expressive graph recurrent neural network (GRNN) parameterization of distributed controllers that is well suited for distributed controller and communication topology co-design. Our proposed parameterization enjoys a local and distributed architecture, similar to previous Graph Neural Network (GNN)-based parameterizations, while further naturally allowing for joint optimization of the distributed controller and communication topology needed to implement it. We show that the distributed controller/communication topology co-design task can be posed as an $\ell_1$-regularized empirical risk minimization problem that can be efficiently solved using stochastic gradient methods. We run extensive simulations to study the performance of GRNN-based distributed controllers and show that (a) they achieve performance comparable to GNN-based controllers while having fewer free parameters, and (b) our method allows for performance/communication density tradeoff curves to be efficiently approximated.


title: Faa$T: A Transparent Auto-Scaling Cache for Serverless Applications

abstract: Function-as-a-Service (FaaS) has become an increasingly popular way for users to deploy their applications without the burden of managing the underlying infrastructure. However, existing FaaS platforms rely on remote storage to maintain state, limiting the set of applications that can be run efficiently. Recent caching work for FaaS platforms has tried to address this problem, but has fallen short: it disregards the widely different characteristics of FaaS applications, does not scale the cache based on data access patterns, or requires changes to applications. To address these limitations, we present Faa\$T, a transparent auto-scaling distributed cache for serverless applications. Each application gets its own Faa\$T cache. After a function executes and the application becomes inactive, the cache is unloaded from memory with the application. Upon reloading for the next invocation, Faa\$T pre-warms the cache with objects likely to be accessed. In addition to traditional compute-based scaling, Faa\$T scales based on working set and object sizes to manage cache space and I/O bandwidth. We motivate our design with a comprehensive study of data access patterns in a large-scale commercial FaaS provider. We implement Faa\$T for the provider's production FaaS platform. Our experiments show that Faa\$T can improve performance by up to 92% (57% on average) for challenging applications, and reduce cost for most users compared to state-of-the-art caching systems, i.e. the cost of having to stand up additional serverful resources.


title: Two-qubit gates in a trapped-ion quantum computer by engineering motional modes

abstract: A global race towards developing a gate-based, universal quantum computer that one day promises to unlock the never before seen computational power has begun and the biggest challenge in achieving this goal arguably is the quality implementation of a two-qubit gate. In a trapped-ion quantum computer, one of the leading quantum computational platforms, a two-qubit gate is typically implemented by modulating the individual addressing beams that illuminate the two target ions, which, together with others, form a linear chain. The required modulation, expectedly so, becomes increasingly more complex, especially as the quantum computer becomes larger and runs faster, complicating the control hardware design. Here, we develop a simple method to essentially remove the pulse-modulation complexity at the cost of engineering the normal modes of the ion chain. We demonstrate that the required mode engineering is possible for a three ion chain, even with a trapped-ion quantum computational system built and optimized for a completely different mode of operations. This indicates that a system, if manufactured to target specifically for the mode-engineering based two-qubit gates, would readily be able to implement the gates without significant additional effort.


title: Selection and Aggregation of Conformal Prediction Sets

abstract: Conformal prediction is a generic methodology for finite-sample valid distribution-free prediction. This technique has garnered a lot of attention in the literature partly because it can be applied with any machine learning algorithm that provides point predictions to yield valid prediction regions. Of course, the efficiency (width/volume) of the resulting prediction region depends on the performance of the machine learning algorithm. In the context of point prediction, several techniques (such as cross-validation) exist to select one of many machine learning algorithms for better performance. In contrast, such selection techniques are seldom discussed in the context of set prediction (or prediction regions). In this paper, we consider the problem of obtaining the smallest conformal prediction region given a family of machine learning algorithms. We provide two general-purpose selection algorithms and consider coverage as well as width properties of the final prediction region. The first selection method yields the smallest width prediction region among the family of conformal prediction regions for all sample sizes but only has an approximate coverage guarantee. The second selection method has a finite sample coverage guarantee but only attains close to the smallest width. The approximate optimal width property of the second method is quantified via an oracle inequality. As an illustration, we consider the use of aggregation of non-parametric regression estimators in the split conformal method with the absolute residual conformal score.


title: Removing Word-Level Spurious Alignment between Images and Pseudo-Captions in Unsupervised Image Captioning

abstract: Unsupervised image captioning is a challenging task that aims at generating captions without the supervision of image-sentence pairs, but only with images and sentences drawn from different sources and object labels detected from the images. In previous work, pseudo-captions, i.e., sentences that contain the detected object labels, were assigned to a given image. The focus of the previous work was on the alignment of input images and pseudo-captions at the sentence level. However, pseudo-captions contain many words that are irrelevant to a given image. In this work, we investigate the effect of removing mismatched words from image-sentence alignment to determine how they make this task difficult. We propose a simple gating mechanism that is trained to align image features with only the most reliable words in pseudo-captions: the detected object labels. The experimental results show that our proposed method outperforms the previous methods without introducing complex sentence-level learning objectives. Combined with the sentence-level alignment method of previous work, our method further improves its performance. These results confirm the importance of careful alignment in word-level details.


title: Evaluating the Performance of Over-the-Air Time Synchronization for 5G and TSN Integration

abstract: The IEEE 802.1 time-sensitive networking (TSN) standards aim at improving the real-time capabilities of standard Ethernet. TSN is widely recognized as the long-term replacement of proprietary technologies for industrial control systems. However, wired connectivity alone is not sufficient to meet the requirements of future industrial systems. The fifth-generation (5G) mobile/cellular technology has been designed with native support for ultra-reliable low-latency communication (uRLLC). 5G is promising to meet the stringent requirements of industrial systems in the wireless domain. Converged operation of 5G and TSN systems is crucial for achieving end-to-end deterministic connectivity in industrial networks. Accurate time synchronization is key to integrated operation of 5G and TSN systems. To this end, this paper evaluates the performance of over-the-air time synchronization mechanism which has been proposed in 3GPP Release 16. We analyze the accuracy of time synchronization through the boundary clock approach in the presence of clock drift and different air-interface timing errors related to reference time indication. We also investigate frequency and scalability aspects of over-the-air time synchronization. Our performance evaluation reveals the conditions under which 1 \(\mu\)s or below requirement for TSN time synchronization can be achieved.


title: Exploring Relational Context for Multi-Task Dense Prediction

abstract: The timeline of computer vision research is marked with advances in learning and utilizing efficient contextual representations. Most of them, however, are targeted at improving model performance on a single downstream task. We consider a multi-task environment for dense prediction tasks, represented by a common backbone and independent task-specific heads. Our goal is to find the most efficient way to refine each task prediction by capturing cross-task contexts dependent on tasks' relations. We explore various attention-based contexts, such as global and local, in the multi-task setting and analyze their behavior when applied to refine each task independently. Empirical findings confirm that different source-target task pairs benefit from different context types. To automate the selection process, we propose an Adaptive Task-Relational Context (ATRC) module, which samples the pool of all available contexts for each task pair using neural architecture search and outputs the optimal configuration for deployment. Our method achieves state-of-the-art performance on two important multi-task benchmarks, namely NYUD-v2 and PASCAL-Context. The proposed ATRC has a low computational toll and can be used as a drop-in refinement module for any supervised multi-task architecture.


title: Crystals in the 19th century glass beads

abstract: Glass seed beads probably are the most numerous group of art historical glass. From the ancient times to the modern era, glass beads played an essential role in culture, as they were used, e.g., to decorate clothing, religious objects and functional tools, and served as an important good for global trade. The conservation state of items made of glass beads is an actual issue for curators and conservators. Glass, as well known, is often unstable material, so a number of internal and external factors are responsible for chemical and physical processes in glass and on the glass surface. It was noticed that some types of historical 19th century glass beads are subjected to more intense destruction than others. The samples of glass beads of different colours and conservation states were examined by means of SEM-EDX, EBSD, Raman and FTIR microspectroscopy. Research showed that some types of beads are characterized by the presence of nano- and microcrystals in glass, which could be one of the causes of glass destruction. The elemental composition of crystals is different in each case and depends on raw materials and technical components used for glass manufacturing. The structure of crystals was identified by means of EBSD analysis.


title: PDNet: Toward Better One-Stage Object Detection With Prediction Decoupling

abstract: Recent one-stage object detectors follow a per-pixel prediction approach that predicts both the object category scores and boundary positions from every single grid location. However, the most suitable positions for inferring different targets, i.e., the object category and boundaries, are generally different. Predicting all these targets from the same grid location thus may lead to sub-optimal results. In this paper, we analyze the suitable inference positions for object category and boundaries, and propose a prediction-target-decoupled detector named PDNet to establish a more flexible detection paradigm. Our PDNet with the prediction decoupling mechanism encodes different targets separately in different locations. A learnable prediction collection module is devised with two sets of dynamic points, i.e., dynamic boundary points and semantic points, to collect and aggregate the predictions from the favorable regions for localization and classification. We adopt a two-step strategy to learn these dynamic point positions, where the prior positions are estimated for different targets first, and the network further predicts residual offsets to the positions with better perceptions of the object properties. Extensive experiments on the MS COCO benchmark demonstrate the effectiveness and efficiency of our method. With a single ResNeXt-64x4d-101-DCN as the backbone, our detector achieves 50.1 AP with single-scale testing, which outperforms the state-of-the-art methods by an appreciable margin under the same experimental settings.Moreover, our detector is highly efficient as a one-stage framework. Our code is public at https://github.com/yangli18/PDNet.


title: Autoregressive Dynamics Models for Offline Policy Evaluation and Optimization

abstract: Standard dynamics models for continuous control make use of feedforward computation to predict the conditional distribution of next state and reward given current state and action using a multivariate Gaussian with a diagonal covariance structure. This modeling choice assumes that different dimensions of the next state and reward are conditionally independent given the current state and action and may be driven by the fact that fully observable physics-based simulation environments entail deterministic transition dynamics. In this paper, we challenge this conditional independence assumption and propose a family of expressive autoregressive dynamics models that generate different dimensions of the next state and reward sequentially conditioned on previous dimensions. We demonstrate that autoregressive dynamics models indeed outperform standard feedforward models in log-likelihood on heldout transitions. Furthermore, we compare different model-based and model-free off-policy evaluation (OPE) methods on RL Unplugged, a suite of offline MuJoCo datasets, and find that autoregressive dynamics models consistently outperform all baselines, achieving a new state-of-the-art. Finally, we show that autoregressive dynamics models are useful for offline policy optimization by serving as a way to enrich the replay buffer through data augmentation and improving performance using model-based planning.


title: A Multiobjective Approach for Sector Duration Optimization in Stereotactic Radiosurgery Treatment Planning

abstract: Sector duration optimization (SDO) is a problem arising in treatment planning for stereotactic radiosurgery on Gamma Knife. Given a set of isocenter locations, SDO aims to select collimator size configurations and irradiation times thereof such that target tissues receive prescribed doses in a reasonable amount of treatment time, while healthy tissues nearby are spared. We present a multiobjective linear programming model for SDO to generate a diverse collection of solutions so that clinicians can select the most appropriate treatment. We develop a generic two-phase solution strategy based on the epsilon-constraint method for solving multiobjective optimization models, which aims to systematically increase the number of high-quality solutions obtained, instead of conducting a traditional uniform search. To improve solution quality further and to accelerate the procedure, we incorporate some general and problem-specific enhancements. Moreover, we propose an alternative version of our two-phase strategy, which makes use of machine learning tools to reduce the computational effort. In our computational study on eight previously treated real test cases, a significant portion of obtained solutions outperformed clinical results and those from a single-objective model from the literature. In addition to significant benefits of the algorithmic enhancements, our experiments illustrate the usefulness of machine learning strategies to reduce the overall run times nearly by half while maintaining or besting the clinical practice.


title: Avoiding biases in binned fits

abstract: Binned maximum likelihood fits are an attractive option when analysing large datasets, but require care when computing likelihoods of continuous PDFs in bins. For many years the widely used statistical modelling package RooFit evaluated probabilities at the bin centre, leading to significant biases for strongly curved probability density functions. We demonstrate the biases with real-world examples, and introduce a PDF class to RooFit that removes these biases. The physics and computation performance of this new class are discussed.


title: Schwinger's picture of quantum mechanics: 2-groupoids and symmetries

abstract: Starting from the groupoid approach to Schwinger's picture of Quantum Mechanics, a proposal for the description of symmetries in this framework is advanced.It is shown that, given a groupoid $G\rightrightarrows \Omega$ associated with a (quantum) system, there are two possible descriptions of its symmetries, one "microscopic", the other one "global".The microscopic point of view leads to the introduction of an additional layer over the grupoid $G$, giving rise to a suitable algebraic structure of 2-groupoid.On the other hand, taking advantage of the notion of group of bisections of a given groupoid, the global perspective allows to construct a group of symmetries out of a 2-groupoid.The latter notion allows to introduce an analog of the Wigner's theorem for quantum symmetries in the groupoid approach to Quantum Mechanics.


title: Large Scale Prediction with Decision Trees

abstract: This paper shows that decision trees constructed with Classification and Regression Trees (CART) and C4.5 methodology are consistent for regression and classification tasks, even when the number of predictor variables grows sub-exponentially with the sample size, under natural 0-norm and 1-norm sparsity constraints. The theory applies to a wide range of models, including (ordinary or logistic) additive regression models with component functions that are continuous, of bounded variation, or, more generally, Borel measurable. Consistency holds for arbitrary joint distributions of the predictor variables, thereby accommodating continuous, discrete, and/or dependent data. Finally, we show that these qualitative properties of individual trees are inherited by Breiman's random forests. A key step in the analysis is the establishment of an oracle inequality, which allows for a precise characterization of the goodness-of-fit and complexity tradeoff for a mis-specified model.


title: The scalar curvature in conical manifolds: some results on existence and obstructions

abstract: We first show that existence results due to Kazdan-Warner and Cruz-Vit\'orio can be extended to the category of manifolds with an isolated conical singularity. More precisely, we check that, under suitable conditions on the link manifold, any bounded and smooth function which is negative somewhere is the scalar curvature of some conical metric (with the boundary being minimal whenever it is non-empty). By way of comparison, we complement this analysis by indicating how index theory, as developed by Albin-Gell-Redman, may be used to transfer to this conical setting some of the classical obstructions to the existence of metrics with positive scalar curvature in the spin context. In particular, we use a version of the notion of infinite $K$-area to obstruct such metrics.


title: ${S}^5$: The destruction of a bright dwarf galaxy as revealed by the chemistry of the Indus stellar stream

abstract: The recently discovered Indus stellar stream exhibits a diverse chemical signature compared to what is found for most other streams due to the abundances of two outlier stars, Indus$\_$0 and Indus$\_$13. Indus$\_$13, exhibits an extreme enhancement in rapid neutron-capture ($r$-)process elements with $\mathrm{[Eu/Fe]} = +1.81$. It thus provides direct evidence of the accreted nature of $r$-process enhanced stars. In this paper we present a detailed chemical analysis of the neutron-capture elements in Indus$\_$13, revealing the star to be slightly actinide poor. The other outlier, Indus$\_0$, displays a globular cluster-like signature with high N, Na, and Al abundances, while the rest of the Indus stars show abundances compatible with a dwarf galaxy origin. Hence, Indus$\_0$ provides the first chemical evidence of a fully disrupted dwarf containing a globular cluster. We use the chemical signature of the Indus stars to discuss the nature of the stream progenitor which was likely a chemically evolved system, with a mass somewhere in the range from Ursa Minor to Fornax.


title: Universal witnesses of vanishing energy gap

abstract: Energy gap, the difference between the energy of the ground state of a given Hamiltonian and the energy of its first excited state, is a parameter of a critical importance in analysis of phase transitions and adiabatic quantum computation. We present a concrete technique to determine the upper bound for the energy gap of a Hamiltonian $H_0$ based on properties of the set of expectation values of $H_0$ and an additional auxiliary Hamiltonian $V$. This formalism can be applied to obtain an effective criterion of gaplessness, which we illustrate with a concrete example of the XY model -- a physical system with vanishing energy gap.


title: Experimental validation of Fastcat kV and MV cone beam CT (CBCT) simulator

abstract: Purpose: To experimentally validate the Fastcat cone beam CT (CBCT) simulator against kV and MV CBCT images acquired with a Varian Truebeam linac. Methods: kV and MV CBCT images of a Catphan 504 phantom were acquired using a 100 kVp beam with the on-board imager (OBI) and a 6 MV treatment beam with the electronic portal imaging device (EPID), respectively. The kV Fastcat simulation was performed using detailed models of the x-ray source, bowtie filter, a high resolution voxelized virtual Catphan phantom, anti-scatter grid, and the CsI scintillating detector. Likewise, an MV Fastcat CBCT was simulated with detailed models for the beam energy spectrum, flattening filter, a high resolution voxelized virtual Catphan phantom, and the GOS scintillating detector. Experimental and simulated CBCT images of the phantom were compared with respect to HU values, contrast to noise ratio (CNR),and dose linearity. Detector modulation transfer function (MTF) for the two detectors were also experimentally validated. Fastcat's dose calculations were compared to MC dose calculations performed with Topas. Results: For the kV and MV simulations, respectively: Contrast agreed within 14 and 9 HUs and detector MTF agreed within 4.2% and 2.5%. Likewise, CNR had a root mean squared error (RMSE) of 2.6% and 1.4%. Dose agreed within 2.4% and 1.6% of MC values. The kV and MV CBCT images took 71 and 72 seconds to simulate in Fastcat with 887 and 493 projections, respectively. Conclusions: We present a multi energy experimental validation of a fast and accurate CBCT simulator against a commercial linac. The simulator is open source and all models found in this work can be downloaded from https://github.com/jerichooconnell/fastcat.git


title: Uniform block-diagonal preconditioners for divergence-conforming HDG Methods for the generalized Stokes equations and the linear elasticity equations

abstract: We propose a uniform block-diagonal preconditioner for condensed $H$(div)-conforming HDG schemes for parameter-dependent saddle point problems, including the generalized Stokes equations and the linear elasticity equations. An optimal preconditioner is obtained for the stiffness matrix on the global velocity/displacement space via the auxiliary space preconditioning (ASP) technique \cite{Xu96}. A spectrally equivalent approximation to the Schur complement on the element-wise constant pressure space is also constructed, and an explicit computable exact inverse is obtained via the Woodbury matrix identity. Finally, the numerical results verify the robustness of our proposed preconditioner with respect to model parameters and mesh size.


title: Transport through interacting defects and lack of thermalisation

abstract: We consider 1D integrable systems supporting ballistic propagation of excitations, perturbed by a localised defect that breaks most conservation laws and induces chaotic dynamics. Focusing on classical systems, we study an out-of-equilibrium protocol engineered activating the defect in an initially homogeneous and far from the equilibrium state. We find that large enough defects induce full thermalisation at their center, but nonetheless the outgoing flow of carriers emerging from the defect is non-thermal due to a generalization of the celebrated Boundary Thermal Resistance effect, occurring at the edges of the chaotic region. Our results are obtained combining ab-initio numerical simulations for relatively small-sized defects, with the solution of the Boltzmann equation, which becomes exact in the scaling limit of large, but weak defects.

categories: cond-mat.stat-mech cond-mat.quant-gas nlin.CD nlin.SI


title: One-to-Two-Player Lifting for Mildly Growing Memory

abstract: We investigate a phenomenon of "one-to-two-player lifting" in infinite-duration two-player games on graphs with zero-sum objectives. More specifically, let $C$ be a class of strategies. It turns out that in many cases, to show that all two-player games on graphs with a given payoff function are determined in $C$, it is sufficient to do so for one-player games. That is, in many cases the determinacy in $C$ can be "lifted" from one-player games to two-player games. Namely, Gimbert and Zielonka~(CONCUR 2005) have shown this for the class of positional strategies. Recently, Bouyer et al. (CONCUR 2020) have extended this to the classes of arena-independent finite-memory strategies. Informally, these are finite-memory strategies that use the same way of storing memory in all game graphs. In this paper, we put the lifting technique into the context of memory complexity. The memory complexity of a payoff function measures, how many states of memory we need to play optimally in game graphs with up to $n$ nodes, depending on $n$. Now, assume that we know the memory complexity of our payoff function in one-player games. Then what can be said about its memory complexity in two-player games? In particular, when is it finite? Previous one-to-two-player lifting theorems only cover the case when the memory complexity is $O(1)$. In turn, we obtain the following results. Assume that the memory complexity in one-player games is sublinear in $n$ on some infinite subsequence. Then the memory complexity in two-player games is finite. We provide an example in which (a) the memory complexity in one-player games is linear in $n$; (b) the memory complexity in two-player games is infinite. Thus, we obtain the exact barrier for the one-to-two-player lifting theorems.


title: Driver State and Behavior Detection Through Smart Wearables

abstract: Integrating driver, in-cabin, and outside environment's contextual cues into the vehicle's decision making is the centerpiece of semi-automated vehicle safety. Multiple systems have been developed for providing context to the vehicle, which often rely on video streams capturing drivers' physical and environmental states. While video streams are a rich source of information, their ability in providing context can be challenging in certain situations, such as low illuminance environments (e.g., night driving), and they are highly privacy-intrusive. In this study, we leverage passive sensing through smartwatches for classifying elements of driving context. Specifically, through using the data collected from 15 participants in a naturalistic driving study, and by using multiple machine learning algorithms such as random forest, we classify driver's activities (e.g., using phone and eating), outside events (e.g., passing intersection and changing lane), and outside road attributes (e.g., driving in a city versus a highway) with an average F1 score of 94.55, 98.27, and 97.86 % respectively, through 10-fold cross-validation. Our results show the applicability of multimodal data retrieved through smart wearable devices in providing context in real-world driving scenarios and pave the way for a better shared autonomy and privacy-aware driving data-collection, analysis, and feedback for future autonomous vehicles.


title: KMS spectra for group actions on compact spaces

abstract: Given a topologically free action of a countable group $G$ on a compact metric space $X$, there is a canonical correspondence between continuous 1-cocycles for this group action and diagonal 1-parameter groups of automorphisms of the reduced crossed product C*-algebra. The KMS spectrum is defined as the set of inverse temperatures for which there exists a KMS state. We prove that the possible KMS spectra depend heavily on the nature of the acting group $G$. For groups of subexponential growth, we prove that the only possible KMS spectra are $\{0\}$, $[0,+\infty)$, $(-\infty,0]$ and $\mathbb{R}$. For certain wreath product groups, which are amenable and of exponential growth, we prove that any closed subset of $\mathbb{R}$ containing zero arises as KMS spectrum. Finally, for certain nonamenable groups including the free group with infinitely many generators, we prove that any closed subset may arise. Besides uncovering a surprising relation between geometric group theoretic properties and KMS spectra, our results provide two simple C*-algebras with the following universality property: any closed subset (containing, resp. not containing zero) arises as the KMS spectrum of a 1-parameter group of automorphisms of this C*-algebra.


title: Morpho-statistical characterisation of the spatial galaxy distribution through Gibbs point processes

abstract: This paper proposes a morpho-statistical characterisation of the galaxy distribution through spatial statistical modelling based on inhomogeneous Gibbs point processes. The galaxy distribution is supposed to exhibit two components. The first one is related to the major geometrical features exhibited by the observed galaxy field, here, its corresponding filamentary pattern. The second one is related to the interactions exhibited by the galaxies. Gibbs point processes are statistical models able to integrate these two aspects in a probability density, controlled by some parameters. Several such models are fitted to real observational data via the ABC Shadow algorithm. This algorithm provides simultaneous parameter estimation and posterior based inference, hence allowing the derivation of the statistical significance of the obtained results.


title: A Kerr Polarization Controller

abstract: Kerr-effect-induced changes of the polarization state of light are well known in pulsed laser systems. An example is nonlinear polarization rotation, which is critical to the operation of many types of mode-locked lasers. Here, we demonstrate that the Kerr effect in a high-finesse Fabry-P\'erot resonator can be utilized to control the polarization of a continuous wave laser. It is shown that a linearly-polarized input field is converted into a left- or right-circularly-polarized field, controlled via the optical power. The observations are explained by Kerr-nonlinearity induced symmetry breaking, which splits the resonance frequencies of degenerate modes with opposite polarization handedness in an otherwise symmetric resonator. The all-optical polarization control is demonstrated at threshold powers down to 7 mW. The physical principle of such Kerr effect-based polarization controllers is generic to high-Q Kerr-nonlinear resonators and could also be implemented in photonic integrated circuits. Beyond polarization control, the spontaneous symmetry breaking of polarization states could be used for polarization filters or highly sensitive polarization sensors when operated close to the symmetry-breaking point.


title: Mirror optical activity: efficient chiral sensing from electromagnetic parity indefiniteness

abstract: Mirror symmetry is among the most fundamental concepts of physics and its spontaneous breaking at the molecular level allows chiral molecules to exist in two enantiomers that are mirror images of each other. The majority of chiro-optical effects routinely used to detect enantiomers in mixtures, as circular dichroism, relies on chiral sensitivity to photon circular polarization, thus not harnessing the full potentials of mirror symmetry breaking which also involves the radiation spatial profile. Here we show that the parity indefiniteness of the electromagnetic field interacting with chiral matter supports mirror optical activity, a novel chiro-optical effect where a chiral film, once probed by the mirror symmetric field of a nanoemitter, produces a near field whose spatial profile has broken mirror symmetry. The detection of near field dissymmetry provides an highly efficient chiral sensing technique, thus opening novel avenues to devising nanonophotonic schemes for ultra-efficient chiral discrimination of picogram quantities of molecules. We specialize the technique to nano-films with infrared chirality by using a swift electron in aloof configuration as the nanoemitter and an off-axis transparent conductor nanoparticle as the near field probe; the spatial dissymmetry factor of nanoparticle cathodoluminescence is one order of magnitude larger than circular dichroism, which is further enhanced to two orders if an additional graphene sheet is deposited on the film interface.


title: Weighed $\ell_1$ on the simplex: Compressive sensing meets locality

abstract: Sparse manifold learning algorithms combine techniques in manifold learning and sparse optimization to learn features that could be utilized for downstream tasks. The standard setting of compressive sensing can not be immediately applied to this setup. Due to the intrinsic geometric structure of data, dictionary atoms might be redundant and do not satisfy the restricted isometry property or coherence condition. In addition, manifold learning emphasizes learning local geometry which is not reflected in a standard $\ell_1$ minimization problem. We propose weighted $\ell_0$ and weighted $\ell_1$ metrics that encourage representation via neighborhood atoms suited for dictionary based manifold learning. Assuming that the data is generated from Delaunay triangulation, we show the equivalence of weighted $\ell_1$ and weighted $\ell_0$. We discuss an optimization program that learns the dictionaries and sparse coefficients and demonstrate the utility of our regularization on synthetic and real datasets.


title: Closed-loop Control Design and Motor Allocation for a Lower-limb Cable-driven Exoskeleton: A Switched Systems Approach

abstract: Powered lower-limb exoskeletons provide assistive torques to coordinate limb motion during walking in individuals with movement disorders. Advances in sensing and actuation have improved the wearability and portability of state-of-the-art exoskeletons for walking. Cable-driven exoskeletons offload the actuators away from the user, thus rendering light-weight devices to facilitate locomotion training. However, cable-driven mechanisms experience a slacking behavior if tension is not accurately controlled. Moreover, counteracting forces can arise between the agonist and antagonist motors yielding undesired joint motion. In this paper, the strategy is to develop two control layers to improve the performance of a cable-driven exoskeleton. First, a joint tracking controller is designed using a high-gain robust approach to track desired knee and hip trajectories. Second, a motor synchronization objective is developed to mitigate the effects of cable slacking for a pair of electric motors that actuate each joint. A sliding-mode robust controller is designed for the motor synchronization objective. A Lyapunov-based stability analysis is developed to guarantee a uniformly ultimately bounded result for joint tracking and exponential tracking for the motor synchronization objective. Moreover, an average dwell time analysis provides a bound on the number of motor switches when allocating the control between motors that actuate each joint. An experimental result with an able-bodied individual illustrates the feasibility of the developed control methods.


title: Classification and comparison of license plates localization algorithms

abstract: The Intelligent Transportation Systems (ITS) are the subject of a world economic competition. They are the application of new information and communication technologies in the transport sector, to make the infrastructures more efficient, more reliable and more ecological. License Plates Recognition (LPR) is the key module of these systems, in which the License Plate Localization (LPL) is the most important stage, because it determines the speed and robustness of this module. Thus, during this step the algorithm must process the image and overcome several constraints as climatic and lighting conditions, sensors and angles variety, LPs no-standardization, and the real time processing. This paper presents a classification and comparison of License Plates Localization (LPL) algorithms and describes the advantages, disadvantages and improvements made by each of them


title: Inpainting Transformer for Anomaly Detection

abstract: Anomaly detection in computer vision is the task of identifying images which deviate from a set of normal images. A common approach is to train deep convolutional autoencoders to inpaint covered parts of an image and compare the output with the original image. By training on anomaly-free samples only, the model is assumed to not being able to reconstruct anomalous regions properly. For anomaly detection by inpainting we suggest it to be beneficial to incorporate information from potentially distant regions. In particular we pose anomaly detection as a patch-inpainting problem and propose to solve it with a purely self-attention based approach discarding convolutions. The proposed Inpainting Transformer (InTra) is trained to inpaint covered patches in a large sequence of image patches, thereby integrating information across large regions of the input image. When training from scratch, in comparison to other methods not using extra training data, InTra achieves results on par with the current state-of-the-art on the MVTec AD dataset for detection and surpassing them on segmentation.


title: On the size of $(K_t, K_{1,k})$-co-critical graphs

abstract: Given graphs $G, H_1, H_2$, we write $G \rightarrow ({H}_1, H_2)$ if every $\{$red, blue$\}$-coloring of the edges of $G$ contains a red copy of $H_1$ or a blue copy of $H_2$. A non-complete graph $G$ is $(H_1, H_2)$-co-critical if $G \nrightarrow ({H}_1, H_2)$, but $G+e\rightarrow ({H}_1, H_2)$ for every edge $e$ in $\overline{G}$. Motivated by a conjecture of Hanson and Toft from 1987, we study the minimum number of edges over all $(K_t, K_{1,k})$-co-critical graphs on $n$ vertices. We prove that for all $t\ge3$ and $k\ge 3$, there exists a constant $\ell(t, k)$ such that, for all $n \ge (t-1)k+1$, if $G$ is a $(K_t, K_{1,k})$-co-critical graph on $n$ vertices, then $$ e(G)\ge \left(2t-4+\frac{k-1}{2}\right)n-\ell(t, k).$$ Furthermore, this linear bound is asymptotically best possible when $t\in\{3, 4,5\}$ and all $k\ge3$ and $n\ge (2t-2)k+1$. It seems non-trivial to construct extremal $(K_t, K_{1,k})$-co-critical graphs for $t\ge6$. We also obtain the sharp bound for the size of $(K_3, K_{1,3})$-co-critical graphs on $n\ge13$ vertices by showing that all such graphs have at least $3n-4$ edges.