title: MultiWOZ 2.3: A multi-domain task-oriented dialogue dataset enhanced with annotation corrections and co-reference annotation

abstract: Task-oriented dialogue systems have made unprecedented progress with multiple state-of-the-art (SOTA) models underpinned by a number of publicly available MultiWOZ datasets. Dialogue state annotations are error-prone, leading to sub-optimal performance. Various efforts have been put in rectifying the annotation errors presented in the original MultiWOZ dataset. In this paper, we introduce MultiWOZ 2.3, in which we differentiate incorrect annotations in dialogue acts from dialogue states, identifying a lack of co-reference when publishing the updated dataset. To ensure consistency between dialogue acts and dialogue states, we implement co-reference features and unify annotations of dialogue acts and dialogue states. We update the state of the art performance of natural language understanding and dialogue state tracking on MultiWOZ 2.3, where the results show significant improvements than on previous versions of MultiWOZ datasets (2.0-2.2).


title: Rethinking Experience Replay: a Bag of Tricks for Continual Learning

abstract: In Continual Learning, a Neural Network is trained on a stream of data whose distribution shifts over time. Under these assumptions, it is especially challenging to improve on classes appearing later in the stream while remaining accurate on previous ones. This is due to the infamous problem of catastrophic forgetting, which causes a quick performance degradation when the classifier focuses on learning new categories. Recent literature proposed various approaches to tackle this issue, often resorting to very sophisticated techniques. In this work, we show that naive rehearsal can be patched to achieve similar performance. We point out some shortcomings that restrain Experience Replay (ER) and propose five tricks to mitigate them. Experiments show that ER, thus enhanced, displays an accuracy gain of 51.2 and 26.9 percentage points on the CIFAR-10 and CIFAR-100 datasets respectively (memory buffer size 1000). As a result, it surpasses current state-of-the-art rehearsal-based methods.


title: Topological recursion and uncoupled BPS structures I: BPS spectrum and free energies

abstract: For the hypergeometric spectral curve and its confluent degenerations (spectral curves of "hypergeometric type"), we obtain a simple formula expressing the topological recursion free energies as a sum over BPS states (degenerate spectral networks) for a corresponding quadratic differential $\varphi$. In doing so, we generalize Gaiotto-Moore-Neitzke's construction of BPS structures to include the case where $\varphi$ has simple poles or supports a degenerate ring domain. For the nine spectral curves of hypergeometric type, we provide a complete description of the corresponding BPS structures over a generic locus in the relevant parameter space; in particular, we prove the existence of saddles trajectories at the expected parameter values. We determine the corresponding BPS cycles, central charges, and BPS invariants, and verify our formula in each case. We conjecture that a similar relation should hold more generally whenever the corresponding BPS structure is uncoupled, and provide experimental evidence in two simple higher rank examples.


title: ASTrAEUS: An Aerial-Aquatic Titan Mission Profile

abstract: Key questions surrounding the origin and evolution of Titan and the Saturnian system in which it resides remain following the Cassini-Huygens mission. In-situ measurements performed at key locations on the body are a highly effective way to address these questions, and the aerial-aquatic platform proposed in this report serves to deliver unprecedented access to Titan's northern surface lakes, allowing an understanding of the hydrocarbon cycle, the potential for habitability in the environment and the chemical processes that occur at the surface. The proposed heavier-than-air flight and plunge-diving aquatic landing spacecraft, ASTrAEUS, is supported by the modelling of the conditions which can be expected on Titan's surface lakes using multiphysics fluid-structure interaction (FSI) CFD simulations with a coupled meshfree smoothed-particle hydrodynamics (SPH) and finite element method (FEM) approach in LS-DYNA.


title: Optical response and nonlinear Hall response of twisted bilayer graphene in the insulating state

abstract: In this work, we calculate the optical response and the nonlinear Hall response of twisted bilayer graphene (TBG) in the insulating states. Different insulating states, including spin-valley polarized (SPVP) state, spin-polarized quantum Hall(SPQH) state, spin-polarized valley Hall (SPVH) state, and spin polarized Kramers-intervalley coherence (SPKIVC) state, are considered. We calculate the optical conductivity ($\sigma_{xx}$) of these four states and we find that the spin-valley polarized state shows a two-peak feature which is different from the other three states. In order to distinguish the other three states, we calculate the nonlinear Hall response which is proportional to Berry curvature dipole, and we find the chemical potential dependence of the Berry curvature dipole can distinguish these three states. Our result can be tested in the spectroscopy and transport experiments and may be helpful to determine the nature of insulating state in TBG.


title: MS$^2$L: Multi-Task Self-Supervised Learning for Skeleton Based Action Recognition

abstract: In this paper, we address self-supervised representation learning from human skeletons for action recognition. Previous methods, which usually learn feature presentations from a single reconstruction task, may come across the overfitting problem, and the features are not generalizable for action recognition. Instead, we propose to integrate multiple tasks to learn more general representations in a self-supervised manner. To realize this goal, we integrate motion prediction, jigsaw puzzle recognition, and contrastive learning to learn skeleton features from different aspects. Skeleton dynamics can be modeled through motion prediction by predicting the future sequence. And temporal patterns, which are critical for action recognition, are learned through solving jigsaw puzzles. We further regularize the feature space by contrastive learning. Besides, we explore different training strategies to utilize the knowledge from self-supervised tasks for action recognition. We evaluate our multi-task self-supervised learning approach with action classifiers trained under different configurations, including unsupervised, semi-supervised and fully-supervised settings. Our experiments on the NW-UCLA, NTU RGB+D, and PKUMMD datasets show remarkable performance for action recognition, demonstrating the superiority of our method in learning more discriminative and general features. Our project website is available at https://langlandslin.github.io/projects/MSL/.


title: Omni-Directional Image Generation from Single Snapshot Image

abstract: An omni-directional image (ODI) is the image that has a field of view covering the entire sphere around the camera. The ODIs have begun to be used in a wide range of fields such as virtual reality (VR), robotics, and social network services. Although the contents using ODI have increased, the available images and videos are still limited, compared with widespread snapshot images. A large number of ODIs are desired not only for the VR contents, but also for training deep learning models for ODI. For these purposes, a novel computer vision task to generate ODI from a single snapshot image is proposed in this paper. To tackle this problem, the conditional generative adversarial network was applied in combination with class-conditioned convolution layers. With this novel task, VR images and videos will be easily created even with a smartphone camera.


title: The loss optimisation of loan recovery decision times using forecast cash flows

abstract: A theoretical method is empirically illustrated in finding the best time to forsake a loan such that the overall credit loss is minimised. This is predicated by forecasting the future cash flows of a loan portfolio up to the contractual term, as a remedy to the inherent right-censoring of real-world `incomplete' portfolios. Two techniques, a simple probabilistic model as well as an eight-state Markov chain, are used to forecast these cash flows independently. We train both techniques from different segments within residential mortgage data, provided by a large South African bank, as part of a comparative experimental framework. As a result, the recovery decision's implied timing is empirically illustrated as a multi-period optimisation problem across uncertain cash flows and competing costs. Using a delinquency measure as a central criterion, our procedure helps to find a loss-optimal threshold at which loan recovery should ideally occur for a given portfolio. Furthermore, both the portfolio's historical risk profile and forecasting thereof are shown to influence the timing of the recovery decision. This work can therefore facilitate the revision of relevant bank policies or strategies towards optimising the loan collections process, especially that of secured lending.


title: A symmetric group action on the irreducible components of the Shi variety associated to $W(\widetilde{A}_n)$

abstract: Let $W_a$ be an affine Weyl group with corresponding finite root system $\Phi$. In \cite{JYS1} Jian-Yi Shi characterized each element $w \in W_a$ by a $ \Phi^+$-tuple of integers $(k(w,\alpha))_{\alpha \in \Phi^+}$ subject to certain conditions. In \cite{NC1} a new interpretation of the coefficients $k(w,\alpha)$ is given. This description led us to define an affine variety $\widehat{X}_{W_a}$, called the Shi variety of $W_a$, whose integral points are in bijection with $W_a$. It turns out that this variety has more than one irreducible component, and the set of these components, denoted $H^0(\widehat{X}_{W_a})$, admits many interesting properties. In particular the group $W_a$ acts on it. In this article we show that the set of irreducible components of $\widehat{X}_{W(\widetilde{A}_n)}$ is in bijection with the conjugacy class of $(1~2~\cdots~n+1) \in W(A_n) = S_{n+1}$. We also compute the action of $W(A_n)$ on $H^0(\widehat{X}_{W(\widetilde{A}_n)})$.


title: Sky visibility analysis for astrophysical data return maximization in HERMES constellation

abstract: HERMES is a scientific mission composed of 3U nano-satellites dedicated to the detection and localization of high-energy astrophysical transients, with a distributed space architecture to form a constellation in Earth orbits. The space segment hosts novel miniaturized detectors to probe the X-ray temporal emission of bright events, such as Gamma-Ray Bursts (GRBs), and the electromagnetic counterparts of Gravitational Wave Events (GWEs), playing a crucial role in future multi-messenger astrophysics. During operations, at least three instruments, separated by a minimum distance shall observe a common area of the sky to perform a triangulation of the observed event. An effective detection by the nano-satellite payload is achieved by guaranteeing a beneficial orbital and pointing configuration of the constellation. The design has to cope with the limitations imposed by small space systems, such as the lack of on-board propulsion and the reduced systems budgets. The paper describes the methodologies and the proposed strategies to overcome the mission limitations, while achieving a satisfactory constellation visibility of the sky throughout the mission duration. The mission design makes use of a high-fidelity orbit propagator, combined with an innovative mission analysis tool that estimates the scientific performances of the constellation. The influence of the natural relative motion, which is crucial to achieve an effective constellation configuration without on-board orbit control, is assessed. The presented methodology can be easily extended to any kind of distributed scientific space applications, as well as to constellations dedicated to Earth and planetary observation. In addition, the visibility tool is applicable in the context of the constellation flight dynamics operations, yielding optimized results and pointing plans based on actual satellite orbital positions.


title: A Multiplicity Result for Orthogonal Geodesic Chords in Finsler disks

abstract: In this paper, we study the existence and multiplicity problems for orthogonal Finsler geodesic chords in a manifold with boundary which is homeomorphic to a N-dimensional disk. Under a suitable assumption, which is weaker than convexity, we prove that, if the Finsler metric is reversible, then there are at least N orthogonal Finsler geodesic chords that are geometrically distinct. If the reversibility assumption does not hold, then there are at least two orthogonal Finsler geodesic chords with different values of the energy functional.


title: Convolutional Neural Network optimization via Channel Reassessment Attention module

abstract: The performance of convolutional neural networks (CNNs) can be improved by adjusting the interrelationship between channels with attention mechanism. However, attention mechanism in recent advance has not fully utilized spatial information of feature maps, which makes a great difference to the results of generated channel attentions. In this paper, we propose a novel network optimization module called Channel Reassessment Attention (CRA) module which uses channel attentions with spatial information of feature maps to enhance representational power of networks. We employ CRA module to assess channel attentions based on feature maps in different channels, then the final features are refined adaptively by product between channel attentions and feature maps.CRA module is a computational lightweight module and it can be embedded into any architectures of CNNs. The experiments on ImageNet, CIFAR and MS COCO datasets demonstrate that the embedding of CRA module on various networks effectively improves the performance under different evaluation standards.


title: A Novel Estimator for the Equation of State of the IGM by Ly$\alpha$ Forest Tomography

abstract: We present a novel procedure to estimate the Equation of State of the intergalactic medium in the quasi-linear regime of structure formation based on Ly$\alpha$ forest tomography and apply it to 21 high quality quasar spectra from the UVES\_SQUAD survey at redshift $z=2.5$. Our estimation is based on a full tomographic inversion of the line of sight. We invert the data with two different inversion algorithms, the iterative Gauss-Newton method and the regularized probability conservation approach, which depend on different priors and compare the inversion results in flux space and in density space. In this way our method combines fitting of absorption profiles in flux space with an analysis of the recovered density distributions featuring prior knowledge of the matter distribution. Our estimates are more precise than existing estimates, in particular on small redshift bins. In particular, we model the temperature-density relation with a power law and observe for the temperature at mean density $T_0 = 13400^{+1700}_{-1300}\,\mathrm{K}$ and for the slope of the power-law (polytropic index) $\gamma = 1.42 \pm 0.11$ for the power-law parameters describing the temperature-density relation. Moreover, we measure an photoionization rate $\Gamma_{-12} = 1.1^{+0.16}_{-0.17}$. An implementation of the inversion techniques used will be made publicly available.


title: The elephant in the interpretability room: Why use attention as explanation when we have saliency methods?

abstract: There is a recent surge of interest in using attention as explanation of model predictions, with mixed evidence on whether attention can be used as such. While attention conveniently gives us one weight per input token and is easily extracted, it is often unclear toward what goal it is used as explanation. We find that often that goal, whether explicitly stated or not, is to find out what input tokens are the most relevant to a prediction, and that the implied user for the explanation is a model developer. For this goal and user, we argue that input saliency methods are better suited, and that there are no compelling reasons to use attention, despite the coincidence that it provides a weight for each input. With this position paper, we hope to shift some of the recent focus on attention to saliency methods, and for authors to clearly state the goal and user for their explanations.


title: Status and development of the TOP-IMPLART Project

abstract: The TOP-IMPLART project consists of the design and implementation of a linear proton accelerator, its control and monitoring systems for the treatment of superficial and semi-deep tumors. The energy of 150 MeV (corresponding to a penetration in tissue of about 15 cm) is a milestone in design being useful for the proton therapy treatment of almost 50% of tumors based on their position and depth (including ocular melanoma, head-neck tumors, pediatric tumors, and more superficial tumors). The capability to vary the intensity on a pulse-to-pulse basis combined with an electronic feedback system allows to get the required dose uniformity (2.5%) reducing the number of re-paintings. In this paper the state of the art and the objectives of the TOP-IMPLART project are described within the framework of the progress of Protontherapy.


title: Load What You Need: Smaller Versions of Multilingual BERT

abstract: Pre-trained Transformer-based models are achieving state-of-the-art results on a variety of Natural Language Processing data sets. However, the size of these models is often a drawback for their deployment in real production applications. In the case of multilingual models, most of the parameters are located in the embeddings layer. Therefore, reducing the vocabulary size should have an important impact on the total number of parameters. In this paper, we propose to generate smaller models that handle fewer number of languages according to the targeted corpora. We present an evaluation of smaller versions of multilingual BERT on the XNLI data set, but we believe that this method may be applied to other multilingual transformers. The obtained results confirm that we can generate smaller models that keep comparable results, while reducing up to 45% of the total number of parameters. We compared our models with DistilmBERT (a distilled version of multilingual BERT) and showed that unlike language reduction, distillation induced a 1.7% to 6% drop in the overall accuracy on the XNLI data set. The presented models and code are publicly available.


title: Generalized binomials in fractional calculus

abstract: We consider a class of generalized binomials emerging in fractional calculus. After establishing some general properties, we focus on a particular yet relevant case, for which we provide several ready-for-use combinatorial identities, including an adapted version of the Pascal's rule. We then investigate the associated generating functions, for which we establish a recursive, combinatorial and integral formulation. From this, we derive an asymptotic version of the Binomial Theorem. A combinatorial and asymptotic analysis of some finite sums completes the paper.


title: Interference in Atomic Magnetometry

abstract: Atomic magnetometers are highly sensitive detectors of magnetic fields that monitor the evolution of the macroscopic magnetic moment of atomic vapors, and opening new applications in biological, physical, and chemical science. However, the performance of atomic magnetometers is often limited by hidden systematic effects that may cause misdiagnosis for a variety of applications, e.g., in NMR and in biomagnetism. In this work, we uncover a hitherto unexplained interference effect in atomic magnetometers, which causes an important systematic effect to greatly deteriorate the accuracy of measuring magnetic fields. We present a standard approach to detecting and characterizing the interference effect in, but not limited to, atomic magnetometers. As applications of our work, we consider the effect of the interference in NMR structural determination and locating the brain electrophysiological symptom, and show that it will help to improve the measurement accuracy by taking interference effects into account. Through our experiments, we indeed find good agreement between our prediction and the asymmetric amplitudes of resonant lines in ultralow-field NMR spectra -- an effect that has not been understood so far. We anticipate that our work will stimulate interesting new researches for magnetic interference phenomena in a wide range of magnetometers and their applications.


title: Cardiac Cohort Classification based on Morphologic and Hemodynamic Parameters extracted from 4D PC-MRI Data

abstract: An accurate assessment of the cardiovascular system and prediction of cardiovascular diseases (CVDs) are crucial. Measured cardiac blood flow data provide insights about patient-specific hemodynamics, where many specialized techniques have been developed for the visual exploration of such data sets to better understand the influence of morphological and hemodynamic conditions on CVDs. However, there is a lack of machine learning approaches techniques that allow a feature-based classification of heart-healthy people and patients with CVDs. In this work, we investigate the potential of morphological and hemodynamic characteristics, extracted from measured blood flow data in the aorta, for the classification of heart-healthy volunteers and patients with bicuspid aortic valve (BAV). Furthermore, we research if there are characteristic features to classify male and female as well as older heart-healthy volunteers and BAV patients. We propose a data analysis pipeline for the classification of the cardiac status, encompassing feature selection, model training and hyperparameter tuning. In our experiments, we use several feature selection methods and classification algorithms to train separate models for the healthy subgroups and BAV patients. We report on classification performance and investigate the predictive power of morphological and hemodynamic features with regard to the classification of the defined groups. Finally, we identify the key features for the best models.


title: Recent advances and future perspectives of single-photon avalanche diodes for quantum photonics applications

abstract: Photonic quantum technologies promise a revolution of the world of information processing, from simulation and computing to communication and sensing, thanks to the many advantages of exploiting single photons as quantum information carriers. In this scenario, single-photon detectors play a key role. On the one hand, superconducting nanowire single-photon detectors (SNSPDs) are able to provide remarkable performance on a broad spectral range, but their applicability is often limited by the need of cryogenic operating temperatures. On the other hand, single-photon avalanche diodes (SPADs) overcome the intrinsic limitations of SNSPDs by providing a valid alternative at room temperature or slightly below. In this paper, we review the fundamental principles of the SPAD operation and we provide a thorough discussion of the recent progress made in this field, comparing the performance of these devices with the requirements of the quantum photonics applications. In the end, we conclude with our vision of the future by summarizing prospects and unbeaten paths that can open new perspectives in the field of photonic quantum information processing.

categories: physics.ins-det physics.app-ph physics.optics quant-ph


title: Decays rates for Kelvin-Voigt damped wave equations II: the geometric control condition

abstract: We study in this article decay rates for Kelvin-Voigt damped wave equations under a geometric control condition. We prove that when the damping coefficient is sufficiently smooth ($C^1$ vanishing nicely) we show that exponential decay follows from geometric control conditions (see~\cite{BuCh, Te12} for similar results under stronger assumptions on the damping function).


title: A Consistent Modeling of Neutrino-driven Wind with Accretion Flow onto a Protoneutron Star and its Implications for $^{56}$Ni Production

abstract: Details of the explosion mechanism of core-collapse supernovae (CCSNe) are not yet fully understood. There is now an increasing number of successful examples of reproducing explosions in the first-principles simulations, which have shown a slow increase of explosion energy. However, it was recently pointed out that the growth rates of the explosion energy of these simulations are insufficient to produce enough $^{56}$Ni mass to account for observations. We refer to this issue as the `nickel mass problem' (Ni problem, hereafter) in this paper. The neutrino-driven wind is suggested as one of the most promising candidates for the solution to the Ni problem in previous literature, but a multi-dimensional simulation for this is computationally too expensive to allow long-term investigations. In this paper, we first built a consistent model of the neutrino-driven wind with an accretion flow onto a protoneutron star (PNS), by connecting a steady-state solution of the neutrino-driven wind and a phenomenological mass accretion model. Comparing the results of our model with the results of first-principles simulations, we find that the total ejectable amount of the neutrino-driven wind is roughly determined within $\sim$ 1 sec from the onset of the explosion and the supplementable amount at a late phase ($t_e \gtrsim 1$ sec) remains $M_\mathrm{ej} \lesssim 0.01M_\odot$ at most. Our conclusion is that it is difficult to solve the Ni problem, by continuous injection of $^{56}$Ni by the neutrino-driven wind. We suggest that the total amount of synthesized $^{56}$Ni can be estimated robustly if simulations are followed up to $\sim 2$ seconds.


title: Structured preconditioning of conjugate gradients for path-graph network optimal control problems

abstract: A structured preconditioned conjugate gradient (PCG) solver is developed for the Newton steps in second-order methods for a class of constrained network optimal control problems. Of specific interest are problems with discrete-time dynamics arising from the path-graph interconnection of $N$ heterogeneous sub-systems. The computational complexity of each PGC step is shown to be $O(NT)$, where $T$ is the length of the time horizon. The proposed preconditioning involves a fixed number of block Jacobi iterations per PCG step. A decreasing analytic bound on the effective conditioning is given in terms of this number. The computations are decomposable across the spatial and temporal dimensions of the optimal control problem, into sub-problems of size independent of $N$ and $T$. Numerical results are provided for a mass-spring-damper chain.


title: Near-field Localization with a Reconfigurable Intelligent Surface Acting as Lens

abstract: Exploiting wavefront curvature enables localization with limited infrastructure and hardware complexity. With the introduction of reconfigurable intelligent surfaces (RISs), new opportunities arise, in particular when the RIS is functioning as a lens receiver. We investigate the localization of a transmitter using a RIS-based lens in close proximity to a single receive antenna element attached to reception radio frequency chain. We perform a Fisher information analysis, evaluate the impact of different lens configurations, and propose a two-stage localization algorithm. Our results indicate that positional beamforming can lead to better performance when a priori location information is available, while random beamforming is preferred when a priori information is lacking. Our simulation results for a moderate size lens operating at 28 GHz showcased that decimeter-level accuracy can be attained within 3 meters to the lens.


title: Stochastic collision model approach to transport phenomena in quantum networks

abstract: Noise-assisted transport phenomena highlight the nontrivial interplay between environmental effects and quantum coherence in achieving maximal efficiency. Due to the complexity of biochemical systems and their environments, effective open quantum system models capable of providing physical insights on the presence and role of quantum effects are highly needed. In this paper, we introduce a new approach that combines an effective quantum microscopic description with a classical stochastic one. Our stochastic collision model describes both Markovian and non-Markovian dynamics without relying on the weak coupling assumption. We investigate the consequences of spatial and temporal heterogeneity of noise on transport efficiency in a fully connected graph and in the Fenna-Matthews-Olson complex. Our approach shows how to meaningfully formulate questions, and provide answers, on important open issues such as the properties of optimal noise and the emergence of the network structure as a result of an evolutionary process.


title: rags2ridges: A One-Stop-Shop for Graphical Modeling of High-Dimensional Precision Matrices

abstract: A graphical model is an undirected network representing the conditional independence properties between random variables. Graphical modeling has become part and parcel of systems or network approaches to multivariate data, in particular when the variable dimension exceeds the observation dimension. rags2ridges is an R package for graphical modeling of high-dimensional precision matrices. It provides a modular framework for the extraction, visualization, and analysis of Gaussian graphical models from high-dimensional data. Moreover, it can handle the incorporation of prior information as well as multiple heterogeneous data classes. As such, it provides a one-stop-shop for graphical modeling of high-dimensional precision matrices. The functionality of the package is illustrated with an example dataset pertaining to blood-based metabolite measurements in persons suffering from Alzheimer's Disease.


title: $\ell_0$-based Sparse Canonical Correlation Analysis

abstract: Canonical Correlation Analysis (CCA) models are powerful for studying the associations between two sets of variables. The canonically correlated representations, termed \textit{canonical variates} are widely used in unsupervised learning to analyze unlabeled multi-modal registered datasets. Despite their success, CCA models may break (or overfit) if the number of variables in either of the modalities exceeds the number of samples. Moreover, often a significant fraction of the variables measures modality-specific information, and thus removing them is beneficial for identifying the \textit{canonically correlated variates}. Here, we propose $\ell_0$-CCA, a method for learning correlated representations based on sparse subsets of variables from two observed modalities. Sparsity is obtained by multiplying the input variables by stochastic gates, whose parameters are learned together with the CCA weights via an $\ell_0$-regularized correlation loss. We further propose $\ell_0$-Deep CCA for solving the problem of non-linear sparse CCA by modeling the correlated representations using deep nets. We demonstrate the efficacy of the method using several synthetic and real examples. Most notably, by gating nuisance input variables, our approach improves the extracted representations compared to other linear, non-linear and sparse CCA-based models.


title: Inhomogeneity induced shortcut to adiabaticity in Ising chains with long-range interactions

abstract: Driving a homogeneous system across a quantum phase transition in a quench-time $\tau_Q$ generates excitations on wavelengths longer than the Kibble-Zurek (KZ) length $\hat\xi\propto\tau_Q^{\nu/(1+z\nu)}$ within the KZ time window $\hat t\propto\tau_Q^{z\nu/(1+z\nu)}$, where $z$ and $\nu$ are the critical exponents. Quenches designed with local time-dependent inhomogeneity can introduce a gap in the spectrum. For a variety of setups with short-range interactions, they have been shown to suppress excitations if the spatial velocity of the inhomogenous front is below the characteristic KZ velocity $\hat v \propto \hat\xi/\hat t$. Ising-like models with long-range interactions can have no sonic horizon, spreading information instantaneously across the system. Usually, this should imply that inhomogenous transitions will render the dynamics adiabatic regardless of the front velocity. However, we show that we get an adiabatic transition with no defects only when the inhomogeneous front moves slower than a characteristic crossover velocity $\tilde v \propto \theta^{(z-1)\nu/(1+\nu)}$, where $\theta$ is the slope of the inhomogeneous front at the critical point. The existence of this crossover velocity and adiabaticity of the model is a consequence of the energy gap in the quasiparticle spectrum that is opened by the inhomogeneity. This effect can be employed for efficient adiabatic quantum state preparation in systems with long-range interactions.

categories: quant-ph cond-mat.quant-gas cond-mat.stat-mech cond-mat.str-el


title: Studying physics during the COVID-19 pandemic: Student assessments of learning achievement, perceived effectiveness of online recitations, and online laboratories

abstract: The COVID-19 pandemic has significantly affected the education system worldwide that was responding with a sudden shift to distance learning. Various physics courses such as lectures, tutorials, and the laboratories had to be transferred into online formats rapidly, resulting in a variety of simultaneous, asynchronous, and mixed activities. To investigate how physics students perceived the sudden shift to online learning, we developed a questionnaire and gathered data from N = 578 physics students from five universities in Germany, Austria, and Croatia. In this article, we report how the problem-solving sessions (recitations) and laboratories were adapted, how students' judge different formats of the courses and how useful and effective they perceive them. The results are correlated to the students' self-efficacy ratings and other behavioral measures (such as self-regulated learning skills) and demographics. In a related article, we focus on the online physics lectures and compare simultaneous vs. asynchronous teaching and learning methods (n.n.). We find that good communication abilities and self-organization skills are positively correlated for perceived learning achievement. Furthermore, the previous duration of studies had a significant impact on the students' perceived overall learning achievement, on the students' acquisition of experimental skills during the physics laboratories, and on their assessment of the recitations' effectiveness. That is, students in their first academic year show consistently lower scores than more progressed students. For the physics laboratories, it was found that gathering real data was crucial to the acquisition of experimental skills and the reinforcement of content. For the physics recitations, handing in own solutions for feedback was correlated with perceived effectiveness. We draw conclusions and implications for future online classes.


title: Reconfigurable intelligent surface (RIS): Eigenvalue Decomposition-Based Separate Channel Estimation

abstract: Reconfigurable intelligent surface (RIS) has recently drawn significant attention in wireless communication technologies. However, identifying, modeling, and estimating the RIS channel in multiple-input multiple-output (MIMO) systems are considered challenging in recent studies. In this paper, a disassembled channel estimation framework for the RIS-MIMO system is proposed based on the eigenvalue decomposition (EVD) concept to separate the cascaded channel links and estimate each link separately. This estimation is based on modeling the RIS-MIMO channel as a keyhole MIMO system model. Numerical results show that the proposed estimation method has a low estimation time overhead while providing less estimation error.


title: Individual optical variability of Active Galactic Nuclei from the MEXSAS2 sample

abstract: Most of the variability studies of active galactic nuclei (AGNs) are based on ensemble analyses. Nevertheless, it is interesting to provide estimates of the individual variability properties of each AGN, in order to relate them with intrinsic physical quantities. A useful dataset is provided by the Catalina Surveys Data Release 2 (CSDR2), which encompasses almost a decade of photometric measurements of $\sim500$ million objects repeatedly observed hundreds of times. We aim to investigate the individual optical variability properties of 795 AGNs originally included in the Multi-Epoch XMM Serendipitous AGN Sample 2 (MEXSAS2). Our goals consist in: (i) searching for correlations between variability and AGN physical quantities; (ii) extending our knowledge of the variability features of MEXSAS2 from the X-ray to the optical. We use the structure function (SF) to analyse AGN flux variations. We model the SF as a power-law, $\text{SF}(\tau)=A\,(\tau/\tau_0)^\gamma$, and we compute its variability parameters. We introduce the V-correction as a simple tool to correctly quantify the amount of variability in the rest frame of each source. We find a significant decrease of variability amplitude with increasing bolometric, optical and X-ray luminosity. We obtain the indication of an intrinsically weak positive correlation between variability amplitude and redshift, $z$. Variability amplitude is also positively correlated with $\alpha_\text{ox}$. The slope of the SF, $\gamma$, is weakly correlated with the bolometric luminosity $L_\text{bol}$ and/or with the black hole mass $M_\text{BH}$. When comparing optical to X-ray variability properties, we find that X-ray variability amplitude is approximately the same for those AGNs with larger or smaller variability amplitude in the optical. On the contrary, AGNs with steeper SF in the optical do present steeper SF in the X-ray, and vice versa.


title: Post-Training BatchNorm Recalibration

abstract: We revisit non-blocking simultaneous multithreading (NB-SMT) introduced previously by Shomron and Weiser (2020). NB-SMT trades accuracy for performance by occasionally "squeezing" more than one thread into a shared multiply-and-accumulate (MAC) unit. However, the method of accommodating more than one thread in a shared MAC unit may contribute noise to the computations, thereby changing the internal statistics of the model. We show that substantial model performance can be recouped by post-training recalibration of the batch normalization layers' running mean and running variance statistics, given the presence of NB-SMT.


title: Diffeomorphism symmetries near a timelike surface in black hole spacetime

abstract: Recently symmetries of gravity and gauge fields in the asymptotic regions of spacetime have been shown to play vital role in their low energy scattering phenomena. Further, for the black hole spacetime, near horizon symmetry has been observed to play possible role in understanding the underlying degrees of freedom for thermodynamic behaviour of horizon. Following the similar idea, in this paper, we analyzed the symmetry and associated algebra near a timelike surface which is situated at any arbitrary radial position and is embedded in black hole spacetime. In this paper we considered both Schwarzschild and Kerr black hole spacetimes. The families of hypersurfaces with constant radial coordinate (outside the horizon) in these spacetimes is timelike in nature and divide the space into two distinct regions. The symmetry algebra turned out to be reminiscent of Bondi-Metzner-Sach (BMS) symmetry, found in the asymptotic null infinity.


title: Towards Theoretically Understanding Why SGD Generalizes Better Than ADAM in Deep Learning

abstract: It is not clear yet why ADAM-alike adaptive gradient algorithms suffer from worse generalization performance than SGD despite their faster training speed. This work aims to provide understandings on this generalization gap by analyzing their local convergence behaviors. Specifically, we observe the heavy tails of gradient noise in these algorithms. This motivates us to analyze these algorithms through their Levy-driven stochastic differential equations (SDEs) because of the similar convergence behaviors of an algorithm and its SDE. Then we establish the escaping time of these SDEs from a local basin. The result shows that (1) the escaping time of both SGD and ADAM~depends on the Radon measure of the basin positively and the heaviness of gradient noise negatively; (2) for the same basin, SGD enjoys smaller escaping time than ADAM, mainly because (a) the geometry adaptation in ADAM~via adaptively scaling each gradient coordinate well diminishes the anisotropic structure in gradient noise and results in larger Radon measure of a basin; (b) the exponential gradient average in ADAM~smooths its gradient and leads to lighter gradient noise tails than SGD. So SGD is more locally unstable than ADAM~at sharp minima defined as the minima whose local basins have small Radon measure, and can better escape from them to flatter ones with larger Radon measure. As flat minima here which often refer to the minima at flat or asymmetric basins/valleys often generalize better than sharp ones , our result explains the better generalization performance of SGD over ADAM. Finally, experimental results confirm our heavy-tailed gradient noise assumption and theoretical affirmation.


title: Periodic motions for multi-wells potentials and layers dynamic for the vector Allen-Cahn equation

abstract: We consider a nonnegative potential $W$ that vanishes on a finite set and study the existence of periodic orbits of the equation \[\ddot{u}=W_u(u),\;\;t\in\R,\] that have the property of visiting neighborhoods of zeros of $W$ in a given finite sequence. We give conditions for the existence of such orbits. After introducing the new variable $x=\epsilon t$, $\epsilon>0$ small, these orbits correspond to stationary solutions of the parabolic equation \[u_t=u_{xx}-W_u(u),\;\;x\in(0,1),\;t>0,\] with periodic boundary conditions. In the second paper of the paper we study solutions of this equation that, as the stationary solutions, have a layered structure. We derive a system of ODE that describes the dynamics of the layers and show that their motion is extremely slow.


title: A Survey on Future Railway Radio Communications Services: Challenges and Opportunities

abstract: Radio communications is one of the most disruptive technologies in railways, enabling a huge set of value-added services that greatly improve many aspects of railways, making them more efficient, safer, and profitable. Lately, some major technologies like ERTMS for high-speed railways and CBTC for subways have made possible a reduction of headway and increased safety never before seen in this field. The railway industry is now looking at wireless communications with great interest, and this can be seen in many projects around the world. Thus, railway radio communications is again a flourishing field, with a lot of research and many things to be done. This survey article explains both opportunities and challenges to be addressed by the railway sector in order to obtain all the possible benefits of the latest radio technologies.


title: The Wireless Train Communication Network: Roll2Rail vision

abstract: This paper explains the main results obtained from the research carried out in the work package 2 (WP2) of the Roll2Rail (R2R) project. This project aims to develop key technologies and to remove already identified blocking points for radical innovation in the field of railway vehicles, to increase their operational reliability and to reduce life-cycle costs. This project started in May 2015 and has been funded by the Horizon 2020 program of the European Commission. The goal for WP2 is to research on both technologies and architectures to develop a new wireless Train Communication Network (TCN) within IEC61375 standard series. This TCN is today entirely wired and is used for Train Control and Monitoring System (TCMS) functions (some of them safetyrelated), operator-oriented services and customer-oriented services. This paradigm shift from wired to wireless means a removal of wirings implies, among other benefits, a significant reduction of life cycle costs due to the removal of cables, and the simplification of the train coupling procedure, among others.


title: A Unified Framework for Generic, Query-Focused, Privacy Preserving and Update Summarization using Submodular Information Measures

abstract: We study submodular information measures as a rich framework for generic, query-focused, privacy sensitive, and update summarization tasks. While past work generally treats these problems differently ({\em e.g.}, different models are often used for generic and query-focused summarization), the submodular information measures allow us to study each of these problems via a unified approach. We first show that several previous query-focused and update summarization techniques have, unknowingly, used various instantiations of the aforesaid submodular information measures, providing evidence for the benefit and naturalness of these models. We then carefully study and demonstrate the modelling capabilities of the proposed functions in different settings and empirically verify our findings on both a synthetic dataset and an existing real-world image collection dataset (that has been extended by adding concept annotations to each image making it suitable for this task) and will be publicly released. We employ a max-margin framework to learn a mixture model built using the proposed instantiations of submodular information measures and demonstrate the effectiveness of our approach. While our experiments are in the context of image summarization, our framework is generic and can be easily extended to other summarization settings (e.g., videos or documents).


title: Bridging-induced microphase separation: photobleaching experiments, chromatin domains, and the need for active reactions

abstract: We review the mechanism and consequences of the "bridging-induced attraction", a generic biophysical principle which underpins some existing models for chromosome organisation in 3-D. This attraction, which was revealed in polymer physics-inspired computer simulations, is a generic clustering tendency arising in multivalent chromatin-binding proteins, and it provides an explanation for the biogenesis of nuclear bodies and transcription factories via microphase separation. Including post-translational modification reactions involving these multivalent proteins can account for the fast dynamics of the ensuing clusters, as is observed via microscopy and photobleaching experiments. The clusters found in simulations also give rise to chromatin domains which conform well with the observation of A/B compartments in HiC experiments.


title: Contextual Modulation for Relation-Level Metaphor Identification

abstract: Identifying metaphors in text is very challenging and requires comprehending the underlying comparison. The automation of this cognitive process has gained wide attention lately. However, the majority of existing approaches concentrate on word-level identification by treating the task as either single-word classification or sequential labelling without explicitly modelling the interaction between the metaphor components. On the other hand, while existing relation-level approaches implicitly model this interaction, they ignore the context where the metaphor occurs. In this work, we address these limitations by introducing a novel architecture for identifying relation-level metaphoric expressions of certain grammatical relations based on contextual modulation. In a methodology inspired by works in visual reasoning, our approach is based on conditioning the neural network computation on the deep contextualised features of the candidate expressions using feature-wise linear modulation. We demonstrate that the proposed architecture achieves state-of-the-art results on benchmark datasets. The proposed methodology is generic and could be applied to other textual classification problems that benefit from contextual interaction.


title: Regulation of notch sensitivity of lattice materials by strut topology

abstract: We propose a local reinforcement technique for lattices in the vicinity of a stress-raiser such as a notch, in order to elevate the macroscopic strength and ductility. A spatially non-uniform waviness distribution of sinusoidally-shaped struts is assumed in the vicinity of the notch, and the sensitivity of macroscopic tensile response to strut waviness distribution is studied by finite element analysis. Optimized lattice structures are determined in order to maximise the macroscopic tensile strength or ductility from these various strut waviness distributions. Both hexagonal and triangular lattices are studied as these geometries are representative of bending-dominated and stretching-dominated lattices, respectively.


title: Inferring Causal Direction from Observational Data: A Complexity Approach

abstract: At the heart of causal structure learning from observational data lies a deceivingly simple question: given two statistically dependent random variables, which one has a causal effect on the other? This is impossible to answer using statistical dependence testing alone and requires that we make additional assumptions. We propose several fast and simple criteria for distinguishing cause and effect in pairs of discrete or continuous random variables. The intuition behind them is that predicting the effect variable using the cause variable should be `simpler' than the reverse -- different notions of `simplicity' giving rise to different criteria. We demonstrate the accuracy of the criteria on synthetic data generated under a broad family of causal mechanisms and types of noise.


title: k-simplex2vec: a simplicial extension of node2vec

abstract: We present a novel method of associating Euclidean features to simplicial complexes, providing a way to use them as input to statistical and machine learning tools. This method extends the node2vec algorithm to simplices of higher dimensions, providing insight into the structure of a simplicial complex, or into the higher-order interactions in a graph.


title: Learning to Decode: Reinforcement Learning for Decoding of Sparse Graph-Based Channel Codes

abstract: We show in this work that reinforcement learning can be successfully applied to decoding short to moderate length sparse graph-based channel codes. Specifically, we focus on low-density parity check (LDPC) codes, which for example have been standardized in the context of 5G cellular communication systems due to their excellent error correcting performance. These codes are typically decoded via belief propagation iterative decoding on the corresponding bipartite (Tanner) graph of the code via flooding, i.e., all check and variable nodes in the Tanner graph are updated at once. In contrast, in this paper we utilize a sequential update policy which selects the optimum check node (CN) scheduling in order to improve decoding performance. In particular, we model the CN update process as a multi-armed bandit process with dependent arms and employ a Q-learning scheme for optimizing the CN scheduling policy. In order to reduce the learning complexity, we propose a novel graph-induced CN clustering approach to partition the state space in such a way that dependencies between clusters are minimized. Our results show that compared to other decoding approaches from the literature, the proposed reinforcement learning scheme not only significantly improves the decoding performance, but also reduces the decoding complexity dramatically once the scheduling policy is learned.


title: Iterative Quantum Assisted Eigensolver

abstract: The task of estimating the ground state of Hamiltonians is an important problem in physics with numerous applications ranging from solid-state physics to combinatorial optimization. We provide a hybrid quantum-classical algorithm for approximating the ground state of a Hamiltonian that builds on the powerful Krylov subspace method in a way that is suitable for current quantum computers. Our algorithm systematically constructs the Ansatz using any given choice of the initial state and the unitaries describing the Hamiltonian. The only task of the quantum computer is to measure overlaps and no feedback loops are required. The measurements can be performed efficiently on current quantum hardware without requiring any complicated measurements such as the Hadamard test. Finally, a classical computer solves a well characterized quadratically constrained optimization program. Our algorithm can reuse previous measurements to calculate the ground state of a wide range of Hamiltonians without requiring additional quantum resources. Further, we demonstrate our algorithm for solving problems consisting of thousands of qubits. The algorithm works for almost every random choice of the initial state and circumvents the barren plateau problem.


title: Predicting Clinical Trial Results by Implicit Evidence Integration

abstract: Clinical trials provide essential guidance for practicing Evidence-Based Medicine, though often accompanying with unendurable costs and risks. To optimize the design of clinical trials, we introduce a novel Clinical Trial Result Prediction (CTRP) task. In the CTRP framework, a model takes a PICO-formatted clinical trial proposal with its background as input and predicts the result, i.e. how the Intervention group compares with the Comparison group in terms of the measured Outcome in the studied Population. While structured clinical evidence is prohibitively expensive for manual collection, we exploit large-scale unstructured sentences from medical literature that implicitly contain PICOs and results as evidence. Specifically, we pre-train a model to predict the disentangled results from such implicit evidence and fine-tune the model with limited data on the downstream datasets. Experiments on the benchmark Evidence Integration dataset show that the proposed model outperforms the baselines by large margins, e.g., with a 10.7% relative gain over BioBERT in macro-F1. Moreover, the performance improvement is also validated on another dataset composed of clinical trials related to COVID-19.


title: Towards International Relations Data Science: Mining the CIA World Factbook

abstract: This paper presents a three-component work. The first component sets the overall theoretical context which lies in the argument that the increasing complexity of the world has made it more difficult for International Relations (IR) to succeed both in theory and practice. The era of information and the events of the 21st century have moved IR theory and practice away from real policy making (Walt, 2016) and have made it entrenched in opinions and political theories difficult to prove. At the same time, the rise of the "Fourth Paradigm - Data Intensive Scientific Discovery" (Hey et al., 2009) and the strengthening of data science offer an alternative: "Computational International Relations" (Unver, 2018). The use of traditional and contemporary data-centered tools can help to update the field of IR by making it more relevant to reality (Koutsoupias, Mikelis, 2020). The "wedding" between Data Science and IR is no panacea though. Changes are required both in perceptions and practices. Above all, for Data Science to enter IR, the relevant data must exist. This is where the second component comes into play. I mine the CIA World Factbook which provides cross-domain data covering all countries of the world. Then, I execute various data preprocessing tasks peaking in simple machine learning which imputes missing values providing with a more complete dataset. Lastly, the third component presents various projects making use of the produced dataset in order to illustrate the relevance of Data Science to IR through practical examples. Then, ideas regarding the future development of this project are discussed in order to optimize it and ensure continuity. Overall, I hope to contribute to the "fourth paradigm" discussion in IR by providing practical examples while providing at the same time the fuel for future research.


title: Emergence of lager densities in chemotaxis system with indirect signal production and non-radial symmetry case

abstract: This paper deals with the classical solution of the following chemotaxis system with generalized logistic growth and indirect signal production \begin{eqnarray} \left\{ \begin{array}{llll} & u_t=\epsilon\Delta u-\nabla\cdot(u\nabla v)+ru-\mu u^\theta,\\ & 0=d_1\Delta v-\beta v+\alpha w,\\ & 0=d_2\Delta w-\delta w+\gamma u \end{array} \right. \qquad(0.1)\end{eqnarray} and the so-called strong $W^{1, q}(\Omega)$-solution of hyperbolic-elliptic-elliptic model \begin{eqnarray} \left\{ \begin{array}{llll} & u_t=-\nabla\cdot(u\nabla v)+ru-\mu u^\theta,\\ & 0=d_1\Delta v-\beta v+\alpha w,\\ & 0=d_2\Delta w-\delta w+\gamma u, \end{array} \right.\ \qquad(0.2)\end{eqnarray} in arbitrary bounded domain $\Omega\subset\mathbb{R}^n$, $n\geq1$, where $r, \mu, d_1, d_2, \alpha, \beta, \gamma, \delta>0$ and $\theta>1$. Via applying the viscosity vanishing method, we first prove that the classical solution of (0.1) will converge to the strong $W^{1, q}(\Omega)$-solution of (0.2) as $\epsilon\rightarrow0$. After structuring the local well-pose of (0.2), we find that the strong $W^{1, q}(\Omega)$-solution will blow up in finite time with non-radial symmetry setting if $\Omega$ is a bounded convex domain, $\theta\in(1, 2]$, and the initial data is suitable large. Moreover, for any positive constant $M$ and the classical solution of (0.1), if we add another hypothesis that there exists positive constant $\epsilon_0(M)$ with $\epsilon\in(0,\ \epsilon_0(M))$, then the classical solution of (0.1) can exceed arbitrarily large finite value in the sense: one can find some points $\left(\tilde{x}, \tilde{t}\right)$ such that $u(\tilde{x}, \tilde{t})>M$.


title: Exact exchange-correlation potentials for calculating the fundamental gap with a fixed number of electrons

abstract: Capturing the discontinuous shift by $\Delta$ in the exact exchange-correlation (xc) potential is the standard proposal for calculating the fundamental gap, $E_\mathrm{g}$, from the Kohn-Sham (KS) gap, $\varepsilon_\mathrm{g}$, within KS density functional theory (DFT), as $E_\mathrm{g} = \varepsilon_\mathrm{g} + \Delta$, yet this discontinuity is absent from existing approximations. The '$N$-centered' formulation of ensemble DFT artificially maintains a total electron number, $N$, in order to yield $E_\mathrm{g}$ not through a discontinuous shift in the xc potential but via the ensemble-weight derivative of the xc energy. Within the $N$-centered approach we calculate exact xc potentials for a one-dimensional finite system and show analytically that $\Delta$ can in fact be interpreted as a discontinuous shift in the exact $N$-centered ensemble xc potential, thereby extending to charged excitations an exact property of uncharged excitations. We show that applying the Levy-Zahariev 'shift-in-potential' procedure in this context relocates the discontinuous shift to the unimportant periphery of the system, so that the exact xc potential in effect is free of discontinuities and thus the inability of a local functional to capture discontinuous behavior is inconsequential.


title: Strong complete minors in digraphs

abstract: Kostochka and Thomason independently showed that any graph with average degree $\Omega(r\sqrt{\log r})$ contains a $K_r$ minor. In particular, any graph with chromatic number $\Omega(r\sqrt{\log r})$ contains a $K_r$ minor, a partial result towards Hadwiger's famous conjecture. In this paper, we investigate analogues of these results in the directed setting. There are several ways to define a minor in a digraph. One natural way is as follows. A strong $\overrightarrow{K}_r$ minor is a digraph whose vertex set is partitioned into $r$ parts such that each part induces a strongly-connected subdigraph, and there is at least one edge in each direction between any two distinct parts. We investigate bounds on the dichromatic number and minimum out-degree of a digraph that force the existence of strong $\overrightarrow{K}_r$ minors as subdigraphs. In particular, we show that any tournament with dichromatic number at least $2r$ contains a strong $\overrightarrow{K}_r$ minor, and any tournament with minimum out-degree $\Omega(r\sqrt{\log r})$ also contains a strong $\overrightarrow{K}_r$ minor. The latter result is tight up to the implied constant, and may be viewed as a strong-minor analogue to the classical result of Kostochka and Thomason. Lastly, we show that there is no function $f: \mathbb{N} \rightarrow \mathbb{N}$ such that any digraph with minimum out-degree at least $f(r)$ contains a strong $\overrightarrow{K}_r$ minor, but such a function exists when considering dichromatic number.


title: Incomplete Directed Perfect Phylogeny in Linear Time

abstract: Reconstructing the evolutionary history of a set of species is a central task in computational biology. In real data, it is often the case that some information is missing: the Incomplete Directed Perfect Phylogeny (IDPP) problem asks, given a collection of species described by a set of binary characters with some unknown states, to complete the missing states in such a way that the result can be explained with a perfect directed phylogeny. Pe'er et al. proposed a solution that takes $\tilde{O}(nm)$ time for $n$ species and $m$ characters. Their algorithm relies on pre-existing dynamic connectivity data structures: a computational study recently conducted by Fern{\'a}ndez-Baca and Liu showed that, in this context, complex data structures perform worse than simpler ones with worse asymptotic bounds. This gives us the motivation to look into the particular properties of the dynamic connectivity problem in this setting, so as to avoid the use of sophisticated data structures as a blackbox. Not only are we successful in doing so, and give a much simpler $\tilde{O}(nm)$-time algorithm for the IDPP problem; our insights into the specific structure of the problem lead to an asymptotically faster algorithm, that runs in optimal $O(nm)$ time.


title: Infinite AC Ladder with a "Twist"

abstract: The infinite AC ladder network can exhibit unexpected behavior. Entangling the topology brings even more surprises, found by direct numerical investigation. We consider a simple modification of the ladder topology and explain the numerical result for the complex impedance, using linear algebra. The infinity limit of the network's size corresponds to keeping only the eigenvectors of the transmission matrix with the largest eigenvalues, which can be viewed as the most dominant modes of electrical information that propagate through the network.


title: HiFi-GAN: Generative Adversarial Networks for Efficient and High Fidelity Speech Synthesis

abstract: Several recent work on speech synthesis have employed generative adversarial networks (GANs) to produce raw waveforms. Although such methods improve the sampling efficiency and memory usage, their sample quality has not yet reached that of autoregressive and flow-based generative models. In this work, we propose HiFi-GAN, which achieves both efficient and high-fidelity speech synthesis. As speech audio consists of sinusoidal signals with various periods, we demonstrate that modeling periodic patterns of an audio is crucial for enhancing sample quality. A subjective human evaluation (mean opinion score, MOS) of a single speaker dataset indicates that our proposed method demonstrates similarity to human quality while generating 22.05 kHz high-fidelity audio 167.9 times faster than real-time on a single V100 GPU. We further show the generality of HiFi-GAN to the mel-spectrogram inversion of unseen speakers and end-to-end speech synthesis. Finally, a small footprint version of HiFi-GAN generates samples 13.4 times faster than real-time on CPU with comparable quality to an autoregressive counterpart.


title: Improving Compositional Generalization in Semantic Parsing

abstract: Generalization of models to out-of-distribution (OOD) data has captured tremendous attention recently. Specifically, compositional generalization, i.e., whether a model generalizes to new structures built of components observed during training, has sparked substantial interest. In this work, we investigate compositional generalization in semantic parsing, a natural test-bed for compositional generalization, as output programs are constructed from sub-components. We analyze a wide variety of models and propose multiple extensions to the attention module of the semantic parser, aiming to improve compositional generalization. We find that the following factors improve compositional generalization: (a) using contextual representations, such as ELMo and BERT, (b) informing the decoder what input tokens have previously been attended to, (c) training the decoder attention to agree with pre-computed token alignments, and (d) downsampling examples corresponding to frequent program templates. While we substantially reduce the gap between in-distribution and OOD generalization, performance on OOD compositions is still substantially lower.


title: From Hero to Z\'eroe: A Benchmark of Low-Level Adversarial Attacks

abstract: Adversarial attacks are label-preserving modifications to inputs of machine learning classifiers designed to fool machines but not humans. Natural Language Processing (NLP) has mostly focused on high-level attack scenarios such as paraphrasing input texts. We argue that these are less realistic in typical application scenarios such as in social media, and instead focus on low-level attacks on the character-level. Guided by human cognitive abilities and human robustness, we propose the first large-scale catalogue and benchmark of low-level adversarial attacks, which we dub Z\'eroe, encompassing nine different attack modes including visual and phonetic adversaries. We show that RoBERTa, NLP's current workhorse, fails on our attacks. Our dataset provides a benchmark for testing robustness of future more human-like NLP models.


title: Multivariate Time Series Classification with Hierarchical Variational Graph Pooling

abstract: With the advancement of sensing technology, multivariate time series classification (MTSC) has recently received considerable attention. Existing deep learning-based MTSC techniques, which mostly rely on convolutional or recurrent neural networks, are primarily concerned with the temporal dependency of single time series. As a result, they struggle to express pairwise dependencies among multivariate variables directly. Furthermore, current spatial-temporal modeling (e.g., graph classification) methodologies based on Graph Neural Networks (GNNs) are inherently flat and cannot aggregate hub data in a hierarchical manner. To address these limitations, we propose a novel graph pooling-based framework MTPool to obtain the expressive global representation of MTS. We first convert MTS slices to graphs by utilizing interactions of variables via graph structure learning module and attain the spatial-temporal graph node features via temporal convolutional module. To get global graph-level representation, we design an "encoder-decoder" based variational graph pooling module for creating adaptive centroids for cluster assignments. Then we combine GNNs and our proposed variational graph pooling layers for joint graph representation learning and graph coarsening, after which the graph is progressively coarsened to one node. At last, a differentiable classifier takes this coarsened representation to get the final predicted class. Experiments on ten benchmark datasets exhibit MTPool outperforms state-of-the-art strategies in the MTSC task.


title: Line-drag damping of Alfv\'en waves in radiatively driven winds of magnetic massive stars

abstract: Line-driven stellar winds from massive (OB) stars are subject to a strong line-deshadowing instability. Recently, spectropolarimetric surveys have collected ample evidence that a subset of Galactic massive stars hosts strong surface magnetic fields. We investigate here the propagation and stability of magneto-radiative waves in such a magnetised, line-driven wind. Our analytic, linear stability analysis includes line-scattering from the stellar radiation, and accounts for both radial and non-radial perturbations. We establish a bridging law for arbitrary perturbation wavelength after which we analyse separately the long- and short-wavelength limits. While long-wavelength radiative and magnetic waves are found to be completely decoupled, a key result is that short-wavelength, radially propagating Alfv\'en waves couple to the scattered radiation field and are strongly damped due to the line-drag effect. This damping of magnetic waves in a scattering-line-driven flow could have important effects on regulating the non-linear wind dynamics, and so might also have strong influence on observational diagnostics of the wind structure and clumping of magnetic line-driven winds.


title: On a criterion for Catalan's Conjecture

abstract: We give a new proof of a theorem by P. Mihailescu which states that the equation $x^p-y^q=1$ is unsolvable with $x, y$ integral and $p, q$ odd primes, unless the congruences $p^q \equiv p\pmod{q^2}$ and $q^p\equiv q \pmod{p^2}$ hold.


title: Interval Query Problem on Cube-free Median Graphs

abstract: In this paper, we introduce the \emph{interval query problem} on cube-free median graphs. Let $G$ be a cube-free median graph and $\mathcal{S}$ be a commutative semigroup. For each vertex $v$ in $G$, we are given an element $p(v)$ in $\mathcal{S}$. For each query, we are given two vertices $u,v$ in $G$ and asked to calculate the sum of $p(z)$ over all vertices $z$ belonging to a $u-v$ shortest path. This is a common generalization of range query problems on trees and grids. In this paper, we provide an algorithm to answer each interval query in $O(\log^2 n)$ time. The required data structure is constructed in $O(n\log^3 n)$ time and $O(n\log^2 n)$ space. To obtain our algorithm, we introduce a new technique, named the \emph{stairs decomposition}, to decompose an interval of cube-free median graphs into simpler substructures.


title: Peculiarities of magnetic ordering in the S = 5/2 two-dimensional square-lattice antimonate NaMnSbO4

abstract: An orthorhombic compound, NaMnSbO4, represents a square net of magnetic Mn2+ ions residing in vertex-shared oxygen octahedra. Its static and dynamic magnetic properties were studied using magnetic susceptibility, specific heat, magnetization, electron spin resonance (ESR), nuclear magnetic resonance (NMR) and density functional calculations. Thermodynamic data indicate an establishment of the long-range magnetic order with TN about 44 K, which is preceded by a short-range one at about 55 K. In addition, a non-trivial wasp-waisted hysteresis loop of the magnetization was observed, indicating that the ground state is most probably canted antiferromagnetic. Temperature dependence of the magnetic susceptibility is described reasonably well in the framework of 2D square lattice model with the main exchange parameter J = -5.3 K, which is in good agreement with density functional analysis, NMR and ESR data.


title: The MECCANO Dataset: Understanding Human-Object Interactions from Egocentric Videos in an Industrial-like Domain

abstract: Wearable cameras allow to collect images and videos of humans interacting with the world. While human-object interactions have been thoroughly investigated in third person vision, the problem has been understudied in egocentric settings and in industrial scenarios. To fill this gap, we introduce MECCANO, the first dataset of egocentric videos to study human-object interactions in industrial-like settings. MECCANO has been acquired by 20 participants who were asked to build a motorbike model, for which they had to interact with tiny objects and tools. The dataset has been explicitly labeled for the task of recognizing human-object interactions from an egocentric perspective. Specifically, each interaction has been labeled both temporally (with action segments) and spatially (with active object bounding boxes). With the proposed dataset, we investigate four different tasks including 1) action recognition, 2) active object detection, 3) active object recognition and 4) egocentric human-object interaction detection, which is a revisited version of the standard human-object interaction detection task. Baseline results show that the MECCANO dataset is a challenging benchmark to study egocentric human-object interactions in industrial-like scenarios. We publicy release the dataset at https://iplab.dmi.unict.it/MECCANO.


title: Intuitive Facial Animation Editing Based On A Generative RNN Framework

abstract: For the last decades, the concern of producing convincing facial animation has garnered great interest, that has only been accelerating with the recent explosion of 3D content in both entertainment and professional activities. The use of motion capture and retargeting has arguably become the dominant solution to address this demand. Yet, despite high level of quality and automation performance-based animation pipelines still require manual cleaning and editing to refine raw results, which is a time- and skill-demanding process. In this paper, we look to leverage machine learning to make facial animation editing faster and more accessible to non-experts. Inspired by recent image inpainting methods, we design a generative recurrent neural network that generates realistic motion into designated segments of an existing facial animation, optionally following user-provided guiding constraints. Our system handles different supervised or unsupervised editing scenarios such as motion filling during occlusions, expression corrections, semantic content modifications, and noise filtering. We demonstrate the usability of our system on several animation editing use cases.


title: Modeling Mito-nuclear Compatibility and its Role in Species Identification

abstract: Mitochondrial genetic material is widely used for phylogenetic reconstruction and as a barcode for species identification. Here we study how mito-nuclear interactions affect the accuracy of species identification by mtDNA, as well as the speciation process itself. We simulate the evolution of a population of individuals who carry a recombining nuclear genome and a mitochondrial genome inherited maternally. We compare a null model fitness landscape that lacks any mito-nuclear interaction against a scenario in which interactions influence fitness. Fitness is assigned to individuals according to their mito-nuclear compatibility, which drives the coevolution of the nuclear and mitochondrial genomes. When the population breaks into distinct species we analyze the accuracy of mtDNA barcode for species identification. Remarkably, we find that species identification by mtDNA is equally accurate in the presence or absence of mito-nuclear coupling and that the success of the DNA barcode derives mainly from population geographical isolation during speciation. Nevertheless, selection imposed by mito-nuclear compatibility influences the diversification process and leaves signatures in the genetic content and spatial distribution of the populations, in three ways: phylogenetic trees are more balanced; clades correlate strongly with the spatial distribution and; there is a substantial increase in the intraspecies mtDNA similarity. We compare the evolutionary patterns observed in our model to empirical data from copepods (\textit{T. californicus}). We find good qualitative agreement in the geographic patterns and the topology of the phylogenetic tree, provided the model includes selection based on mito-nuclear interactions. These results highlight the role of mito-nuclear compatibility in the speciation process and its reconstruction from genetic data.


title: Graph Regularized Nonnegative Tensor Ring Decomposition for Multiway Representation Learning

abstract: Tensor ring (TR) decomposition is a powerful tool for exploiting the low-rank nature of multiway data and has demonstrated great potential in a variety of important applications. In this paper, nonnegative tensor ring (NTR) decomposition and graph regularized NTR (GNTR) decomposition are proposed, where the former equips TR decomposition with local feature extraction by imposing nonnegativity on the core tensors and the latter is additionally able to capture manifold geometry information of tensor data, both significantly extend the applications of TR decomposition for nonnegative multiway representation learning. Accelerated proximal gradient based methods are derived for NTR and GNTR. The experimental result demonstrate that the proposed algorithms can extract parts-based basis with rich colors and rich lines from tensor objects that provide more interpretable and meaningful representation, and hence yield better performance than the state-of-the-art tensor based methods in clustering and classification tasks.


title: PoisonIvy: (In)secure Practices of Enterprise IoT Systems in Smart Buildings

abstract: The rise of IoT devices has led to the proliferation of smart buildings, offices, and homes worldwide. Although commodity IoT devices are employed by ordinary end-users, complex environments such as smart buildings, smart offices, conference rooms, or hospitality require customized and highly reliable solutions. Those systems called Enterprise Internet of Things (EIoT) connect such environments to the Internet and are professionally managed solutions usually offered by dedicated vendors. As EIoT systems require specialized training, software, and equipment to deploy, this has led to very little research investigating the security of EIoT systems and their components. In effect, EIoT systems in smart settings such as smart buildings present an unprecedented and unexplored threat vector for an attacker. In this work, we explore EIoT system vulnerabilities and insecure development practices. Specifically, focus on the usage of drivers as an attack mechanism, and introduce PoisonIvy, a number of novel attacks that demonstrate an attacker can easily compromise EIoT system controllers using malicious drivers. Specifically, we show how drivers used to integrate third-party devices to EIoT systems can be misused in a systematic fashion. To demonstrate the capabilities of attackers, we implement and evaluate PoisonIvy using a testbed of real EIoT devices. We show that an attacker can perform DoS attacks, gain remote control, and maliciously abuse system resources of EIoT systems. To the best of our knowledge, this is the first work to analyze the (in)securities of EIoT deployment practices and demonstrate the associated vulnerabilities in this ecosystem. With this work, we raise awareness on the (in)secure development practices used for EIoT systems, the consequences of which can largely impact the security, privacy, reliability, and performance of millions of EIoT systems worldwide.


title: Computation of the Complex Error Function using Modified Trapezoidal Rules

abstract: In this paper we propose a method for computing the Faddeeva function $w(z) := e^{-z^2}\mathrm{erfc}(-i z)$ via truncated modified trapezoidal rule approximations to integrals on the real line. Our starting point is the method due to Matta and Reichel (Math. Comp. 25 (1971), pp. 339-344) and Hunter and Regan (Math. Comp. 26 (1972), pp. 339-541). Addressing shortcomings flagged by Weideman (SIAM. J. Numer. Anal. 31 (1994), pp. 1497-1518), we construct approximations which we prove are exponentially convergent as a function of $N+1$, the number of quadrature points, obtaining error bounds which show that accuracies of $2\times 10^{-15}$ in the computation of $w(z)$ throughout the complex plane are achieved with $N = 11$, this confirmed by computations. These approximations, moreover, provably achieve small relative errors throughout the upper complex half-plane where $w(z)$ is non-zero. Numerical tests suggest that this new method is competitive, in accuracy and computation times, with existing methods for computing $w(z)$ for complex $z$.


title: A Lower Bound for Polynomial Calculus with Extension Rule

abstract: In this paper we study an extension of the Polynomial Calculus proof system where we can introduce new variables and take a square root. We prove that an instance of the subset-sum principle, the binary value principle, requires refutations of exponential bit size over rationals in this system. Part and Tzameret proved an exponential lower bound on the size of Res-Lin (Resolution over linear equations) refutations of the binary value principle. We show that our system p-simulates Res-Lin and thus we get an alternative exponential lower bound for the size of Res-Lin refutations of the binary value principle.


title: Piezoelectric-driven uniaxial pressure cell for muon spin relaxation and neutron scattering experiments

abstract: We present a piezoelectric-driven uniaxial pressure cell that is optimized for muon spin relaxation and neutron scattering experiments, and that is operable over a wide temperature range including cryogenic temperatures. To accommodate the large samples required for these measurement techniques, the cell is designed to generate forces up to 1000 N, and to minimize the background signal the space around the sample is kept as open as possible. We demonstrate here that by mounting plate-like samples with epoxy, a uniaxial stress exceeding 1 GPa can be achieved in an active volume of 5 mm3. We show that for practical operation it is important to monitor both the force and displacement applied to the sample. Also, because time is critical during facility experiments, samples are mounted in detachable holders that can be rapidly exchanged. The piezoelectric actuators are likewise contained in an exchangeable cartridge.

categories: physics.app-ph cond-mat.mtrl-sci cond-mat.str-el cond-mat.supr-con physics.ins-det


title: End-to-End Deep Learning for Reliable Cardiac Activity Monitoring using Seismocardiograms

abstract: Continuous monitoring of cardiac activity is paramount to understanding the functioning of the heart in addition to identifying precursors to conditions such as Atrial Fibrillation. Through continuous cardiac monitoring, early indications of any potential disorder can be detected before the actual event, allowing timely preventive measures to be taken. Electrocardiography (ECG) is an established standard for monitoring the function of the heart for clinical and non-clinical applications, but its electrode-based implementation makes it cumbersome, especially for uninterrupted monitoring. Hence we propose SeismoNet, a Deep Convolutional Neural Network which aims to provide an end-to-end solution to robustly observe heart activity from Seismocardiogram (SCG) signals. These SCG signals are motion-based and can be acquired in an easy, user-friendly fashion. Furthermore, the use of deep learning enables the detection of R-peaks directly from SCG signals in spite of their noise-ridden morphology and obviates the need for extracting hand-crafted features. SeismoNet was modelled on the publicly available CEBS dataset and achieved a high overall Sensitivity and Positive Predictive Value of 0.98 and 0.98 respectively.


title: Bounds for Schr\"odinger operators on the half-line perturbed by dissipative barriers

abstract: We consider Schr\"odinger operators of the form $H_R = - d^2/ d x^2 + q + i \gamma \chi_{[0,R]}$ for large $R>0$, where $q \in L^1(0,\infty)$ and $\gamma > 0$. Bounds for the maximum magnitude of an eigenvalue and for the number of eigenvalues are proved. These bounds complement existing general bounds applied to this system, for sufficiently large $R$.


title: Focusing the Latent Heat Release in 3D Phase Field Simulations of Dendritic Crystal Growth

abstract: We investigate a family of phase field models for simulating dendritic growth of a pure supercooled substance. The central object of interest is the reaction term in the Allen-Cahn equation, which is responsible for spatial distribution of latent heat release during solidification. In this context, several existing forms of the reaction term are analyzed. Inspired by the known conclusions of matched asymptotic analysis, we propose new variants that are simple enough to allow mathematical and numerical analysis and robust enough to be applicable to solidification under very large supercooling. The resulting models are tested in a number of numerical simulations focusing on mesh-dependence and model parameter settings. Despite the phase interface thickness being relatively large to make numerical computations feasible, the obtained results exhibit a good quantitative agreement with experimental data from rapid solidification of nickel melts.


title: Double Degree of Freedom Helmholtz Resonator Based Acoustic Liners

abstract: A numerical and experimental study on double degree of freedom Helmholtz resonator based acoustic liners is performed in this paper, with the motivation to improve the understanding of their sound attenuation mechanism. A single degree of freedom liner is designed and manufactured, as baseline, to compare with the double degree of freedom acoustic liners. The Grazing Flow Impedance Tube Facility at Bristol is used to measure the transmission coefficients of the acoustic liner samples, which are compared against data obtained via numerical simulations on Comsol. Both sets of data show good agreement. The effect of changing the internal chamber dimensions is studied numerically, through Comsol steady state simulations, followed by time domain simulations. A minimum, in the difference between the primary and secondary resonance peaks is observed. This may be an indication of the presence of an optimum volume ratio of the two internal cavities in the double degree of freedom resonator, for a broad bandwidth sound absorption.


title: The Erdos-Faber-Lovasz conjecture for weakly dense hypergraphs

abstract: Generalizing the concept of dense hypergraph, we say that a hypergraph is weakly dense, if no k in the half-open interval [2,sqrt(n)) is the degree of more than k^2 vertices. In our main result, we prove the famous Erdos-Faber-Lovasz conjecture when the hypergraph is weakly dense.


title: Frame spectral pairs and exponential bases

abstract: Given a domain $\Omega\subset\Bbb R^d$ with positive and finite Lebesgue measure and a discrete set $\Lambda\subset \Bbb R^d$, we say that $(\Omega, \Lambda)$ is a {\it frame spectral pair} if the set of exponential functions $\mathcal E(\Lambda):=\{e^{2\pi i \lambda \cdot x}: \lambda\in \Lambda\}$ is a frame for $L^2(\Omega)$. Special cases of frames include Riesz bases and orthogonal bases. In the finite setting $\Bbb Z_N^d$, $d, N\geq 1$, a frame spectral pair can be similarly defined. %(Here, $\Bbb Z_N$ is the cyclic abelian group of order.) We show how to construct and obtain new classes of frame spectral pairs in $\Bbb R^d$ by "adding" frame spectral pairs in $\Bbb R^{d}$ and $\Bbb Z_N^d$. Our construction unifies the well-known examples of exponential frames for the union of cubes with equal volumes. We also remark on the link between the spectral property of a domain and sampling theory.


title: Optimization and Supervised Machine Learning Methods for Fitting Numerical Physics Models without Derivatives

abstract: We address the calibration of a computationally expensive nuclear physics model for which derivative information with respect to the fit parameters is not readily available. Of particular interest is the performance of optimization-based training algorithms when dozens, rather than millions or more, of training data are available and when the expense of the model places limitations on the number of concurrent model evaluations that can be performed. As a case study, we consider the Fayans energy density functional model, which has characteristics similar to many model fitting and calibration problems in nuclear physics. We analyze hyperparameter tuning considerations and variability associated with stochastic optimization algorithms and illustrate considerations for tuning in different computational settings.


title: Morphology of Weak Lensing Convergence Maps

abstract: We study the morphology of convergence maps by perturbatively reconstructing their Minkowski Functionals (MFs). We present a systematics study using a set of three generalised skew-spectra as a function of source redshift and smoothing angular scale. Using an approach based on pseudo-$S_{\ell}$s (PSL) we show how these spectra will allow reconstruction of MFs in the presence of an arbitrary mask and inhomogeneous noise in an unbiased way. Our theoretical predictions are based on a recently introduced fitting function to the bispectrum. We compare our results against state-of-the art numerical simulations and find an excellent agreement. The reconstruction can be carried out in a controlled manner as a function of angular harmonics $\ell$ and source redshift $z_s$ which allows for a greater handle on any possible sources of non-Gaussianity. Our method has the advantage of estimating the topology of convergence maps directly using shear data. We also study weak lensing convergence maps inferred from Cosmic Microwave Background (CMB) observations; and we find that, though less significant at low redshift, the post-Born corrections play an important role in any modelling of the non-Gaussianity of convergence maps at higher redshift. We also study the cross-correlations of estimates from different tomographic bins.


title: Modelling Lexical Ambiguity with Density Matrices

abstract: Words can have multiple senses. Compositional distributional models of meaning have been argued to deal well with finer shades of meaning variation known as polysemy, but are not so well equipped to handle word senses that are etymologically unrelated, or homonymy. Moving from vectors to density matrices allows us to encode a probability distribution over different senses of a word, and can also be accommodated within a compositional distributional model of meaning. In this paper we present three new neural models for learning density matrices from a corpus, and test their ability to discriminate between word senses on a range of compositional datasets. When paired with a particular composition method, our best model outperforms existing vector-based compositional models as well as strong sentence encoders.


title: Chance-Constrained Set Covering with Wasserstein Ambiguity

abstract: We study a generalized distributionally robust chance-constrained set covering problem (DRC) with a Wasserstein ambiguity set, where both decisions and uncertainty are binary-valued. We establish the NP-hardness of DRC and recast it as a two-stage stochastic program, which facilitates decomposition algorithms. Furthermore, we derive two families of valid inequalities. The first family targets the hypograph of a "shifted" submodular function, which is associated with each scenario of the two-stage reformulation. We show that the valid inequalities give a complete description of the convex hull of the hypograph. The second family mixes inequalities across multiple scenarios and gains further strength via lifting. Our numerical experiments demonstrate the reliability of the DRC model and the effectiveness of our proposed reformulation and valid inequalities.


title: Non-genetic variability: survival strategy or nuisance?

abstract: The observation that phenotypic variability is ubiquitous in isogenic populations has led to a multitude of experimental and theoretical studies seeking to probe the causes and consequences of this variability. Whether it be in the context of antibiotic treatments or exponential growth in constant environments, non-genetic variability has shown to have significant effects on population dynamics. Here, we review research that elucidates the relationship between cell-to-cell variability and population dynamics. After summarizing the relevant experimental observations, we discuss models of bet-hedging and phenotypic switching. In the context of these models, we discuss how switching between phenotypes at the single-cell level can help populations survive in uncertain environments. Next, we review more fine-grained models of phenotypic variability where the relationship between single-cell growth rates, generation times and cell sizes is explicitly considered. Variability in these traits can have significant effects on the population dynamics, even in a constant environment. We show how these effects can be highly sensitive to the underlying model assumptions. We close by discussing a number of open questions, such as how environmental and intrinsic variability interact and what the role of non-genetic variability in evolutionary dynamics is.


title: Is Plug-in Solver Sample-Efficient for Feature-based Reinforcement Learning?

abstract: It is believed that a model-based approach for reinforcement learning (RL) is the key to reduce sample complexity. However, the understanding of the sample optimality of model-based RL is still largely missing, even for the linear case. This work considers sample complexity of finding an $\epsilon$-optimal policy in a Markov decision process (MDP) that admits a linear additive feature representation, given only access to a generative model. We solve this problem via a plug-in solver approach, which builds an empirical model and plans in this empirical model via an arbitrary plug-in solver. We prove that under the anchor-state assumption, which implies implicit non-negativity in the feature space, the minimax sample complexity of finding an $\epsilon$-optimal policy in a $\gamma$-discounted MDP is $O(K/(1-\gamma)^3\epsilon^2)$, which only depends on the dimensionality $K$ of the feature space and has no dependence on the state or action space. We further extend our results to a relaxed setting where anchor-states may not exist and show that a plug-in approach can be sample efficient as well, providing a flexible approach to design model-based algorithms for RL.


title: Radical Convex Functions

abstract: In this article, we further explore convex functions by revealing new bounds, resulting from stronger convexity behavior. In particular, we define the so called radical convex functions and study their properties. We will see that such convex functions are bounded above by new curves, rather than straight lines. Applications including discrete and continuous Jensen inequalities, subadditivity behavior, Hermite-Hadamard and integral inequalities will be presented.


title: Average Consensus: A Little Learning Goes A Long Way

abstract: When networked systems of autonomous agents carry out complex tasks, the control and coordination sought after generally depend on a few fundamental control primitives. Chief among these primitives is consensus, where agents are to converge to a common estimate within the range of initial values, which becomes average consensus when the joint limit should be the average of the initial values. To provide reliable services that are easy to deploy, these primitives should operate even when the network is subject to frequent and unpredictable changes. Moreover, they should mobilize few computational resources so that low powered, deterministic, and anonymous agents can partake in the network. In this stringent adversarial context, we investigate the distributed implementation of these primitives over networks with bidirectional, but potentially short-lived, communication links. Inspired by the classic EqualNeighbor and Metropolis agreement rules for multi-agent systems, we design distributed algorithms for consensus and average consensus, which we show to operate in polynomial time in a synchronous temporal model. These algorithms are fully distributed, requiring neither symmetry-breaking devices such as unique identifiers, nor global control or knowledge of the network. Our strategy consists in making agents learn simple structural parameters of the network -- namely, their largest degrees -- which constitutes enough information to build simple update rules, implementable locally with little computational and memory overhead.


title: The Nakayama functor and its completion for Gorenstein algebras

abstract: Duality properties are studied for a Gorenstein algebra that is finite and projective over its center. Using the homotopy category of injective modules, it is proved that there is a local duality theorem for the subcategory of acyclic complexes of such an algebra, akin to the local duality theorems of Grothendieck and Serre in the context of commutative algebra and algebraic geometry. A key ingredient is the Nakayama functor on the bounded derived category of a Gorenstein algebra, and its extension to the full homotopy category of injective modules.


title: Datalog-Expressibility for Monadic and Guarded Second-Order Logic

abstract: We characterise the sentences in Monadic Second-order Logic (MSO) that are over finite structures equivalent to a Datalog program, in terms of an existential pebble game. We also show that for every class C of finite structures that can be expressed in MSO and is closed under homomorphisms, and for all integers l,k, there exists a canonical Datalog program Pi of width (l,k) in the sense of Feder and Verdi. The same characterisations also hold for Guarded Second-order Logic (GSO), which properly extends MSO. To prove our results, we show that every class C in GSO whose complement is closed under homomorphisms is a finite union of constraint satisfaction problems (CSPs) of countably categorical structures. The intersection of MSO and Datalog is known to contain the class of nested monadically defined queries (Nemodeq); likewise, we show that the intersection of GSO and Datalog contains all problems that can be expressed by the more expressive language of nested guarded queries. Yet, by exploiting our results, we can show that neither of the two query languages can serve as a characterization, as we exhibit a query in the intersection of MSO and Datalog that is not expressible in nested guarded queries.