title: Speaker-Conditioned Hierarchical Modeling for Automated Speech Scoring

abstract: Automatic Speech Scoring (ASS) is the computer-assisted evaluation of a candidate's speaking proficiency in a language. ASS systems face many challenges like open grammar, variable pronunciations, and unstructured or semi-structured content. Recent deep learning approaches have shown some promise in this domain. However, most of these approaches focus on extracting features from a single audio, making them suffer from the lack of speaker-specific context required to model such a complex task. We propose a novel deep learning technique for non-native ASS, called speaker-conditioned hierarchical modeling. In our technique, we take advantage of the fact that oral proficiency tests rate multiple responses for a candidate. We extract context vectors from these responses and feed them as additional speaker-specific context to our network to score a particular response. We compare our technique with strong baselines and find that such modeling improves the model's average performance by 6.92% (maximum = 12.86%, minimum = 4.51%). We further show both quantitative and qualitative insights into the importance of this additional context in solving the problem of ASS.


title: MultiCategory: Multi-model Query Processing Meets Category Theory and Functional Programming

abstract: The variety of data is one of the important issues in the era of Big Data. The data are naturally organized in different formats and models, including structured data, semi-structured data, and unstructured data. Prior research has envisioned an approach to abstract multi-model data with a schema category and an instance category by using category theory. In this paper, we demonstrate a system, called MultiCategory, which processes multi-model queries based on category theory and functional programming. This demo is centered around four main scenarios to show a tangible system. First, we show how to build a schema category and an instance category by loading different models of data, including relational, XML, key-value, and graph data. Second, we show a few examples of query processing by using the functional programming language Haskell. Third, we demo the flexible outputs with different models of data for the same input query. Fourth, to better understand the category theoretical structure behind the queries, we offer a variety of graphical hooks to explore and visualize queries as graphs with respect to the schema category, as well as the query processing procedure with Haskell.


title: Zero energy critical points of functionals depending on a parameter

abstract: We investigate zero energy critical points for a class of functionals $\Phi_\mu$ defined on a uniformly convex Banach space, and depending on a real parameter $\mu$. More precisely, we show the existence of a sequence $(\mu_n)$ such that $\Phi_{\mu_n}$ has a pair of critical points $\pm u_n$ satisfying $\Phi_{\mu_n}(\pm u_n)=0$, for every $n$. In addition, we provide some properties of $\mu_n$ and $u_n$. This result, which is proved via a fibering map approach (based on the {\it nonlinear generalized Rayleigh quotient} method \cite{I1}) combined with the Ljusternik-Schnirelman theory, is then applied to several classes of elliptic pdes.


title: Master Stability Functions for metacommunities with two types of habitats

abstract: Current questions in ecology revolve around instabilities in the dynamics on spatial networks and particularly the effect of node heterogeneity. We extend the Master Stability Function formalism to inhomogeneous biregular networks having two types of spatial nodes. Notably, this class of systems also allows the investigation of certain types of dynamics on higher-order networks. Combined with the Generalized Modelling approach to study the linear stability of steady states, this is a powerful tool to numerically asses the stability of large ensembles of systems. We analyze the stability of ecological metacommunities with two distinct types of habitats analytically and numerically in order to identify several sets of conditions under which the dynamics can become stabilized by dispersal. Our analytical approach allows general insights into stabilizing and destabilizing effects in metapopulations. Specifically, we show that maladaptive dispersal may be stable under certain conditions.


title: Balanced pairs on triangulated categories

abstract: Let $\mathcal{C}$ be a triangulated category. We first introduce the notion of balanced pairs in $\mathcal{C}$, and then establish the bijective correspondence between balanced pairs and proper classes $\xi$ with enough $\xi$-projectives and enough $\xi$-injectives. Assume that $\xi:=\xi_{\mathcal{X}}=\xi^{\mathcal{Y}}$ is the proper class induced by a balanced pair $(\mathcal{X},\mathcal{Y})$. We prove that $(\mathcal{C}, \mathbb{E}_\xi, \mathfrak{s}_\xi)$ is an extriangulated category. Moreover, it is proved that $(\mathcal{C}, \mathbb{E}_\xi, \mathfrak{s}_\xi)$ is a triangulated category if and only if $\mathcal{X}=\mathcal{Y}=0$; and that $(\mathcal{C}, \mathbb{E}_\xi, \mathfrak{s}_\xi)$ is an exact category if and only if $\mathcal{X}=\mathcal{Y}=\mathcal{C}$. As an application, we produce a large variety of examples of extriangulated categories which are neither exact nor triangulated.


title: Recollements induced by left Frobenius pairs

abstract: Given a right exact functor from an abelian category into another abelian category, there is an associated abelian category called the comma category of the functor. In this paper, we characterize when left Frobenius pairs (resp. strong left Frobenius pairs) in abelian categories can induce left Frobenius pairs (resp. strong left Frobenius pairs) in their comma categories. This leads to the construction of recollements of right triangulated categories (resp. triangulated categories) from the stable categories of left Frobenius pairs (resp. strong left Frobenius pairs). Applications are given to complete hereditary cotorsion pairs and Gorenstein projective objects.


title: Mean value formulas for classical solutions to uniformly parabolic equations in divergence form

abstract: We prove surface and volume mean value formulas for classical solutions to uniformly parabolic equations in divergence form. We then use them to prove the parabolic strong maximum principle and the parabolic Harnack inequality. We emphasize that our results only rely on the classical theory, and our arguments follow the lines used in the original theory of harmonic functions. We provide two proofs relying on two different formulations of the divergence theorem, one stated for sets with almost C^1 boundary, the other stated for sets with finite perimeter.


title: The Moser isotopy for holomorphic symplectic and C-symplectic structures

abstract: A C-symplectic structure is a complex-valued 2-form which is holomorphically symplectic for an appropriate complex structure. We prove an analogue of Moser's isotopy theorem for families of C-symplectic structures and list several applications of this result. We prove that the degenerate twistorial deformation associated to a holomorphic Lagrangian fibration is locally trivial over the base of this fibration. This is used to extend several theorems about Lagrangian fibrations, known for projective hyperk\"ahler manifolds, to the non-projective case. We also exhibit new examples of non-compact complex manifolds with infinitely many pairwise non-birational algebraic compactifications.


title: Impact of Attention on Adversarial Robustness of Image Classification Models

abstract: Adversarial attacks against deep learning models have gained significant attention and recent works have proposed explanations for the existence of adversarial examples and techniques to defend the models against these attacks. Attention in computer vision has been used to incorporate focused learning of important features and has led to improved accuracy. Recently, models with attention mechanisms have been proposed to enhance adversarial robustness. Following this context, this work aims at a general understanding of the impact of attention on adversarial robustness. This work presents a comparative study of adversarial robustness of non-attention and attention based image classification models trained on CIFAR-10, CIFAR-100 and Fashion MNIST datasets under the popular white box and black box attacks. The experimental results show that the robustness of attention based models may be dependent on the datasets used i.e. the number of classes involved in the classification. In contrast to the datasets with less number of classes, attention based models are observed to show better robustness towards classification.


title: A Comparative Study of Algorithms for Intelligent Traffic Signal Control

abstract: In this paper, methods have been explored to effectively optimise traffic signal control to minimise waiting times and queue lengths, thereby increasing traffic flow. The traffic intersection was first defined as a Markov Decision Process, and a state representation, actions and rewards were chosen. Simulation of Urban MObility (SUMO) was used to simulate an intersection and then compare a Round Robin Scheduler, a Feedback Control mechanism and two Reinforcement Learning techniques - Deep Q Network (DQN) and Advantage Actor-Critic (A2C), as the policy for the traffic signal in the simulation under different scenarios. Finally, the methods were tested on a simulation of a real-world intersection in Bengaluru, India.


title: SetMargin Loss applied to Deep Keystroke Biometrics with Circle Packing Interpretation

abstract: This work presents a new deep learning approach for keystroke biometrics based on a novel Distance Metric Learning method (DML). DML maps input data into a learned representation space that reveals a "semantic" structure based on distances. In this work, we propose a novel DML method specifically designed to address the challenges associated to free-text keystroke identification where the classes used in learning and inference are disjoint. The proposed SetMargin Loss (SM-L) extends traditional DML approaches with a learning process guided by pairs of sets instead of pairs of samples, as done traditionally. The proposed learning strategy allows to enlarge inter-class distances while maintaining the intra-class structure of keystroke dynamics. We analyze the resulting representation space using the mathematical problem known as Circle Packing, which provides neighbourhood structures with a theoretical maximum inter-class distance. We finally prove experimentally the effectiveness of the proposed approach on a challenging task: keystroke biometric identification over a large set of 78,000 subjects. Our method achieves state-of-the-art accuracy on a comparison performed with the best existing approaches.


title: Non-hyperuniform metastable states around a disordered hyperuniform state of densely packed spheres: stochastic density functional theory at strong coupling

abstract: Disordered and hyperuniform structures of densely packed spheres near and at jamming are characterized by vanishing of long-wavelength density fluctuations, or equivalently by long-range power-law decay of the direct correlation function (DCF). We focus on previous simulation results that exhibit degradation of hyperuniformity in jammed structures while maintaining the long-range nature of the DCF to a certain length scale. Here we demonstrate that a field-theoretic formulation of the stochastic density functional theory is relevant to explore the degradation mechanism. The strong-coupling expansion method of the stochastic density functional theory is developed to obtain the metastable chemical potential considering intermittent fluctuations in dense packings. The metastable chemical potential yields an analytical form of the metastable DCF that has a short-range cutoff inside the sphere while retaining the long-range power-law behavior. It is confirmed that the metastable DCF provides zero-wavevector limit of structure factor in quantitative agreement with the previous simulation results of degraded hyperuniformity. We can also predict the emergence of soft modes localized at the particle scale from plugging this metastable DCF into the linearized Dean-Kawasaki equation, a stochastic density functional equation.


title: Quasi-universal behaviour of the threshold mass in unequal-mass, spinning binary neutron-star mergers

abstract: The lifetime of the remnant produced by the merger of two neutron stars can provide a wealth of information on the equation of state of nuclear matter and on the processes leading to the electromagnetic counterpart. Hence, it is essential to determine when this lifetime is the shortest, corresponding to when the remnant has a mass equal to the threshold mass, $M_{\rm th}$, to prompt collapse to a black hole. We report on the results of more than 360 simulations of merging neutron-star binaries covering 40 different configurations differing in mass ratio and spin of the primary. Using this data, we have derived a quasi-universal relation for $M_{\rm th}$ and expressed its dependence on the mass ratio and spin of the binary. The new expression recovers the results of Koeppel et al for equal-mass, irrotational binaries and reveals that $M_{\rm th}$ can increase (decrease) by $5\%~(10\%)$ for binaries that have spins aligned (anti-aligned) with the orbital angular momentum and provides evidence for a non-monotonic dependence of $M_{\rm th}$ on the mass asymmetry in the system. Finally, we extend to unequal-masses and spinning binaries the lower limits that can be set on the stellar radii once a neutron-star binary is detected, illustrating how the merger of an unequal-mass, rapidly spinning binary can significantly constrain the allowed values of the stellar radii.


title: Axes in non-associative algebras

abstract: "Fusion rules" are laws of multiplication among eigenspaces of an idempotent. This terminology is relatively new and is closely related to axial algebras, introduced recently by Hall, Rehren and Shpectorov. Axial algebras, in turn, are closely related to $3$-transposition groups and Vertex operator algebras. In this paper we consider fusion rules for semisimple idempotents, following Albert in the power-associative case. We examine the notion of an axis in the non-commutative setting and show that the dimension $d$ of any algebra $A$ generated by a pair $a,b$ of (not necessarily Jordan) axes of respective types $(\lambda,\delta)$ and $(\lambda',\delta')$ must be at most $5$; $d$ cannot be $4.$ If $d\le 3$ we list all the possibilities for $A$ up to isomorphism. We prove a variety of additional results and mention some research questions at the end.


title: The generalized Volterra integral operator and Toeplitz operator on weighted Bergman spaces

abstract: We study the boundedness and compactness of the generalized Volterra integral operator on weighted Bergman spaces with doubling weights on the unit disk. A generalized Toeplitz operator is defined and the boundedness, compactness and Schatten class of this operator are investigated on the Hilbert weighted Bergman space. As an application, Schatten class membership of generalized Volterra integral operators are also characterized. Finally, we also get the characterizations of Schatten class membership of generalized Toeplitz operator and generalized Volterra integral operators on the Hardy space $H^2$.


title: Two-dimensional simulations of solar-like models with artificially enhanced luminosity -- I. Impact on convective penetration

abstract: We perform 2D, fully compressible, time-implicit simulations of convection in a solar-like model with the MUSIC code. Our main motivation is to explore the impact of a common tactic adopted in numerical simulations of convection that use realistic stellar conditions. This tactic is to artificially increase the luminosity and to modify the thermal diffusivity of the reference stellar model. This work focuses on the impact of these modifications on convective penetration (or overshooting) at the base of the convective envelope of a solar-like model. We explore a range of enhancement factors for the energy input and confirm the increase in the characteristic overshooting depth with the increase in the energy input. Our results highlight the importance of the impact of penetrative downflows on the thermal background below the convective boundary. This is a result of compression and shear which induce local heating and thermal mixing. The artificial increase in the energy flux intensifies the heating process by increasing the velocities in the convective zone and at the convective boundary, revealing a subtle connection between the local heating of the thermal background and the plume dynamics. This heating also increases the efficiency of heat transport by radiation which may counterbalance further heating and helps to establish a steady state. The modification of the thermal background by penetrative plumes impacts the width of the overshooting layer. Our results suggest that an artificial modification of the radiative diffusivity in the overshooting layer, rather than only accelerating the thermal relaxation, could also alter the dynamics of the penetrating plumes and thus the width of the overshooting layer. Results from simulations with an artificial modification of the energy flux and of the thermal diffusivity should be regarded with caution if used to determine an overshooting width.


title: Root systems, affine subspaces, and projections

abstract: We tackle several problems related to a finite irreducible crystallographic root system $\Phi$ in the real vector space $\mathbb E$. In particular, we study the combinatorial structure of the subsets of $\Phi$ cut by affine subspaces of $\mathbb E$ and their projections. As byproducts, we obtain easy algebraic combinatorial proofs of refinements of Oshima's Lemma and of a result by Kostant, a partial result towards the resolution of a problem by Hopkins and Postnikov, and new enumerative results on root systems.


title: Coordinating Narratives and the Capitol Riots on Parler

abstract: Coordinated disinformation campaigns are used to influence social media users, potentially leading to offline violence. In this study, we introduce a general methodology to uncover coordinated messaging through analysis of user parleys on Parler. The proposed method constructs a user-to-user coordination network graph induced by a user-to-text graph and a text-to-text similarity graph. The text-to-text graph is constructed based on the textual similarity of Parler posts. We study three influential groups of users in the 6 January 2020 Capitol riots and detect networks of coordinated user clusters that are all posting similar textual content in support of different disinformation narratives related to the U.S. 2020 elections.


title: Adversarial Robustness for Unsupervised Domain Adaptation

abstract: Extensive Unsupervised Domain Adaptation (UDA) studies have shown great success in practice by learning transferable representations across a labeled source domain and an unlabeled target domain with deep models. However, previous works focus on improving the generalization ability of UDA models on clean examples without considering the adversarial robustness, which is crucial in real-world applications. Conventional adversarial training methods are not suitable for the adversarial robustness on the unlabeled target domain of UDA since they train models with adversarial examples generated by the supervised loss function. In this work, we leverage intermediate representations learned by multiple robust ImageNet models to improve the robustness of UDA models. Our method works by aligning the features of the UDA model with the robust features learned by ImageNet pre-trained models along with domain adaptation training. It utilizes both labeled and unlabeled domains and instills robustness without any adversarial intervention or label requirement during domain adaptation training. Experimental results show that our method significantly improves adversarial robustness compared to the baseline while keeping clean accuracy on various UDA benchmarks.


title: On the biharmonicity of vector fields and unit vector fields

abstract: Let $(M,g)$ be a compact Riemannian manifold. Equipping its tangent bundle $TM$ (resp. unit tangent bundle $T_1M$) by a pseudo-Riemannian $g$-natural metric $G$ (resp. $\tilde{G}$), we study the biharmonicty of vector fields (resp. unit vector fields) as maps $(M,g) \rightarrow (TM,G)$ (resp. $(M,g) \rightarrow (T_1M,\tilde{G})$) as well as critical points of the bienergy functional restricted to the set $\mathfrak{X}(M)$ (resp. $\mathfrak{X}^1(M)$) of vector fields (resp. unit tangent bundles) on $M$. Contrary to the Sasaki metric on $TM$, where the two notions are equivalent to the harmonicity of the vector field and then to its parallelism, we prove that for large classes of $g$-natural metrics on $TM$ the two notions are not equivalent. Furthermore, we give examples of vector fields which are biharmonic as critical points of the bienergy functional restricted to $\mathfrak{X}(M)$, but are not biharmonic maps. We provide equally examples of proper biharmonic vector fields (resp. unit vector fields), i.e. those which are biharmonic without being harmonic.


title: Well-posedness and global solutions to the higher order Camassa-Holm equations with fractional inertia operator in Besov space

abstract: In this paper, we study well-posedness and the global solutions to the higher-order Camassa-Holm equations with fractional inertia operator in Besov space. When $a\in[\frac{1}{2},1),$ we prove the existence of the solutions in space $B^s_{p,1}(\mathbb R)$ with $s\geq 1+\frac{1}{p}$ and $p <\frac{1}{a-\frac{1}{2}}$, the existence and uniqueness of the solutions in space $B^s_{p,1}(\mathbb R)$ with $s\geq 1+2a-\min\{\frac{1}{p},\frac{1}{p'}\},$ and the local well-posedness in space $B^s_{p,1}(\mathbb R)$ with $s> 1+2a-\min\{\frac{1}{p},\frac{1}{p'}\}$. When $a>1,$ we obtain the existence of the solutions in space $B^s_{p,1}(\mathbb R)$ with $s\geq a+\max\{\frac{1}{p},\frac{1}{2}\}$ and the local well-posedness in space $B^s_{p,1}(\mathbb R)$ with $s\geq 1+a+\max\{\frac{1}{p},\frac{1}{2}\}$. Moreover, we obtain two results about the global solutions.


title: Soft gluon fields and anomalous magnetic moment of muon

abstract: An impact of nonperturbatively-treated soft gluon modes on the value of anomalous magnetic moment of muon $a_\mu$ is studied within the mean-field approach to QCD vacuum and hadronization. It is shown that radial excitations of vector mesons strongly enhance contribution of hadronic vacuum polarization to $a_\mu$, doubling the contribution of one intermediate meson processes compared to result for ground state mesons. The mean field also strongly influences the hadronic light-by-light scattering contribution due to the Wilson line in quark propagators.


title: Molecular cloud catalogue from $^{13}$CO(1-0) data of the Forgotten Quadrant Survey

abstract: New-generation spectroscopic surveys of the Milky Way plane have been revealing the structure of the interstellar medium, allowing the simultaneous study of dense structures from single star-forming objects or systems to entire spiral arms. We present the catalogue of molecular clouds extracted from the $^{13}$CO(1-0) data cubes of the Forgotten Quadrant Survey, which mapped the Galactic plane in the range 220\deg<l<240\deg, and -2.5\deg<b<0\deg in $^{12}$CO(1-0) and $^{13}$CO(1-0).The catalogue contains 87 molecular clouds for which the main physical parameters such as area, mass, distance, velocity dispersion, and virial parameter were derived. These structures are overall less extended and less massive than the molecular clouds identified in the $^{12}$CO(1-0) data-set because they trace the brightest and densest part of the $^{12}$CO(1-0) clouds. Conversely, the distribution of aspect ratio, equivalent spherical radius, velocity dispersion, and virial parameter in the two catalogues are similar. The mean value of the mass surface density of molecular clouds is 87$\pm$55 M$_{\odot}$ pc$^{-2}$ and is almost constant across the galactocentric radius, indicating that this parameter, which is a proxy of star formation, is mostly affected by local conditions.In data of the Forgotten Quadrant Survey, we find a good agreement between the total mass and velocity dispersion of the clouds derived from $^{12}$CO(1-0) and $^{13}$CO(1-0). This is likely because in the surveyed portion of the Galactic plane, the H$_2$ column density is not particularly high, leading to a CO emission with a not very high optical depth. This mitigates the effects of the different line opacities between the two tracers on the derived physical parameters. This is a common feature in the outer Galaxy, but our result cannot be readily generalised to the entire Milky Way.


title: GAM: Explainable Visual Similarity and Classification via Gradient Activation Maps

abstract: We present Gradient Activation Maps (GAM) - a machinery for explaining predictions made by visual similarity and classification models. By gleaning localized gradient and activation information from multiple network layers, GAM offers improved visual explanations, when compared to existing alternatives. The algorithmic advantages of GAM are explained in detail, and validated empirically, where it is shown that GAM outperforms its alternatives across various tasks and datasets.


title: Fault detection and diagnosis of batch process using dynamic ARMA-based control charts

abstract: A wide range of approaches for batch processes monitoring can be found in the literature. This kind of process generates a very peculiar data structure, in which successive measurements of many process variables in each batch run are available. Traditional approaches do not take into account the time series nature of the data. The main reason is that the time series inference theory is not based on replications of time series, as it is in batch process data. It is based on the variability in a time domain. This fact demands some adaptations of this theory in order to accommodate the model coefficient estimates, considering jointly the batch to batch samples variability (batch domain) and the serial correlation in each batch (time domain). In order to address this issue, this paper proposes a new approach grounded in a group of control charts based on the classical ARMA model for monitoring and diagnostic of batch processes dynamics. The model coefficients are estimated (through the ordinary least square method) for each historical time series sample batch and modified Hotelling and t-Student distributions are derived and used to accommodate those estimates. A group of control charts based on that distributions are proposed for monitoring the new batches. Additionally, those groups of charts help to fault diagnosis, identifying the source of disturbances. Through simulated and real data we show that this approach seems to work well for both purposes.


title: TrouSPI-Net: Spatio-temporal attention on parallel atrous convolutions and U-GRUs for skeletal pedestrian crossing prediction

abstract: Understanding the behaviors and intentions of pedestrians is still one of the main challenges for vehicle autonomy, as accurate predictions of their intentions can guarantee their safety and driving comfort of vehicles. In this paper, we address pedestrian crossing prediction in urban traffic environments by linking the dynamics of a pedestrian's skeleton to a binary crossing intention. We introduce TrouSPI-Net: a context-free, lightweight, multi-branch predictor. TrouSPI-Net extracts spatio-temporal features for different time resolutions by encoding pseudo-images sequences of skeletal joints' positions and processes them with parallel attention modules and atrous convolutions. The proposed approach is then enhanced by processing features such as relative distances of skeletal joints, bounding box positions, or ego-vehicle speed with U-GRUs. Using the newly proposed evaluation procedures for two large public naturalistic data sets for studying pedestrian behavior in traffic: JAAD and PIE, we evaluate TrouSPI-Net and analyze its performance. Experimental results show that TrouSPI-Net achieved 0.76 F1 score on JAAD and 0.80 F1 score on PIE, therefore outperforming current state-of-the-art while being lightweight and context-free.


title: Towards Explaining STEM Document Classification using Mathematical Entity Linking

abstract: Document subject classification is essential for structuring (digital) libraries and allowing readers to search within a specific field. Currently, the classification is typically made by human domain experts. Semi-supervised Machine Learning algorithms can support them by exploiting the labeled data to predict subject classes for unclassified new documents. However, while humans partly do, machines mostly do not explain the reasons for their decisions. Recently, explainable AI research to address the problem of Machine Learning decisions being a black box has increasingly gained interest. Explainer models have already been applied to the classification of natural language texts, such as legal or medical documents. Documents from Science, Technology, Engineering, and Mathematics (STEM) disciplines are more difficult to analyze, since they contain both textual and mathematical formula content. In this paper, we present first advances towards STEM document classification explainability using classical and mathematical Entity Linking. We examine relationships between textual and mathematical subject classes and entities, mining a collection of documents from the arXiv preprint repository (NTCIR and zbMATH dataset). The results indicate that mathematical entities have the potential to provide high explainability as they are a crucial part of a STEM document.


title: Asteroseismogyrometry of low-mass red giants I. The SOLA inversion method

abstract: During the past 10 years the unprecedented quality and frequency resolution of asteroseismic data provided by space photometry has revolutionized the study of red-giant stars providing us with the possibility to probe the interior of thousands of these targets. Our aim is to present an asteroseismic tool which allows to determine the total angular momentum of stars, without a priori inference of their internal rotational profile. We adopt and adapt to red giants the asteroseismic inversion technique developed for the case of the Sun. The method has been tested assuming different artificial sets of data, including also modes with harmonic degree l> 1. We estimate with an accuracy of 14.5% the total angular momentum of the red-giant star KIC 4448777 observed by Kepler during the first four consecutive years of operation.} Our results indicate that the measurement of the total angular momentum of red-giant stars can be determined with a fairly high precision by means of asteroseismology by using a small set of rotational splittings of only dipolar modes and that our method, based on observations of stellar pulsations, provides a powerful mean for testing and modeling transport of angular momentum in stars.


title: The Rapid ASKAP Continuum Survey Paper II: First Stokes I Source Catalogue Data Release

abstract: The Rapid ASKAP Continuum Survey (RACS) is the first large sky survey using the Australian Square Kilometre Array Pathfinder (ASKAP), covering the sky south of +41$^\circ$ declination. With ASKAP's large, instantaneous field of view, $\sim 31$ deg$^2$, RACS observed the entire sky at a central frequency of 887.5 MHz using 903 individual pointings with 15 minute observations. This has resulted in the deepest radio survey of the full Southern sky to date at these frequencies. In this paper, we present the first Stokes I catalogue derived from the RACS survey. This catalogue was assembled from 799 tiles that could be convolved to a common resolution of 25$^{\prime\prime}$, covering a large contiguous region in the declination range $\delta=-$80$^\circ$ to +30$^\circ$. The catalogue provides an important tool for both the preparation of future ASKAP surveys and for scientific research. It consists of $\sim$2.1 million sources and excludes the $|b|<5^\circ$ region around the Galactic plane. This provides a first extragalactic catalogue with ASKAP covering the majority of the sky ($\delta<+30^\circ$). We describe the methods to obtain this catalogue from the initial RACS observations and discuss the verification of the data, to highlight its quality. Using simulations, we find this catalogue detects 95% of point sources at an integrated flux density of $\sim$5 mJy. Assuming a typical sky source distribution model, this suggests an overall 95% point source completeness at an integrated flux density $\sim$3 mJy. The catalogue will be available through the CSIRO ASKAP Science Data Archive (CASDA).


title: Sk-Unet Model with Fourier Domain for Mitosis Detection

abstract: Mitotic count is the most important morphological feature of breast cancer grading. Many deep learning-based methods have been proposed but suffer from domain shift. In this work, we construct a Fourier-based segmentation model for mitosis detection to address the problem. Swapping the low-frequency spectrum of source and target images is shown effective to alleviate the discrepancy between different scanners. Our Fourier-based segmentation method can achieve F1 with 0.7456 on the preliminary test set.


title: A Novel Compaction Approach for SBST Test Programs

abstract: In-field test of processor-based devices is a must when considering safety-critical systems (e.g., in robotics, aerospace, and automotive applications). During in-field testing, different solutions can be adopted, depending on the specific constraints of each scenario. In the last years, Self-Test Libraries (STLs) developed by IP or semiconductor companies became widely adopted. Given the strict constraints of in-field test, the size and time duration of a STL is a crucial parameter. This work introduces a novel approach to compress functional test programs belonging to an STL. The proposed approach is based on analyzing (via logic simulation) the interaction between the micro-architectural operation performed by each instruction and its capacity to propagate fault effects on any observable output, reducing the required fault simulations to only one. The proposed compaction strategy was validated by resorting to a RISC-V processor and several test programs stemming from diverse generation strategies. Results showed that the proposed compaction approach can reduce the length of test programs by up to 93.9% and their duration by up to 95%, with minimal effect on fault coverage.


title: Building Compact and Robust Deep Neural Networks with Toeplitz Matrices

abstract: Deep neural networks are state-of-the-art in a wide variety of tasks, however, they exhibit important limitations which hinder their use and deployment in real-world applications. When developing and training neural networks, the accuracy should not be the only concern, neural networks must also be cost-effective and reliable. Although accurate, large neural networks often lack these properties. This thesis focuses on the problem of training neural networks which are not only accurate but also compact, easy to train, reliable and robust to adversarial examples. To tackle these problems, we leverage the properties of structured matrices from the Toeplitz family to build compact and secure neural networks.


title: Infrared Image Super-Resolution via Heterogeneous Convolutional WGAN

abstract: Image super-resolution is important in many fields, such as surveillance and remote sensing. However, infrared (IR) images normally have low resolution since the optical equipment is relatively expensive. Recently, deep learning methods have dominated image super-resolution and achieved remarkable performance on visible images; however, IR images have received less attention. IR images have fewer patterns, and hence, it is difficult for deep neural networks (DNNs) to learn diverse features from IR images. In this paper, we present a framework that employs heterogeneous convolution and adversarial training, namely, heterogeneous kernel-based super-resolution Wasserstein GAN (HetSRWGAN), for IR image super-resolution. The HetSRWGAN algorithm is a lightweight GAN architecture that applies a plug-and-play heterogeneous kernel-based residual block. Moreover, a novel loss function that employs image gradients is adopted, which can be applied to an arbitrary model. The proposed HetSRWGAN achieves consistently better performance in both qualitative and quantitative evaluations. According to the experimental results, the whole training process is more stable.


title: Transient ordering in the Gross-Pitaevskii lattice subject to an energy quench within the disordered phase

abstract: We numerically investigate heating-and-cooling quenches taking place entirely in the non-ordered phase of the discrete Gross-Pitaevskii equation on a three-dimensional cubic lattice. In equilibrium, this system exhibits a U(1)-ordering phase transition at an energy density which is significantly lower than the minimum one during the quench. Yet, we observe that the post-quench relaxation is accompanied by a transient U(1) ordering, namely, the correlation length of U(1) fluctuations significantly exceeds its equilibrium pre-quench value. The longer and the stronger the heating stage of the quench, the stronger the U(1) transient ordering. We identify the origin of this ordering with the emergence of a small group of slowly relaxing lattice sites accumulating a large fraction of the total energy of the system. Our findings suggest that the transient ordering may be a robust feature of a broad class of physical systems. This premise is consistent with the growing experimental evidence of the transient U(1) order in rather dissimilar settings.

categories: cond-mat.quant-gas cond-mat.mes-hall cond-mat.str-el cond-mat.supr-con quant-ph


title: You Only Hear Once: A YOLO-like Algorithm for Audio Segmentation and Sound Event Detection

abstract: Audio segmentation and sound event detection are crucial topics in machine listening that aim to detect acoustic classes and their respective boundaries. It is useful for audio-content analysis, speech recognition, audio-indexing, and music information retrieval. In recent years, most research articles adopt segmentation-by-classification. This technique divides audio into small frames and individually performs classification on these frames. In this paper, we present a novel approach called You Only Hear Once (YOHO), which is inspired by the YOLO algorithm popularly adopted in Computer Vision. We convert the detection of acoustic boundaries into a regression problem instead of frame-based classification. This is done by having separate output neurons to detect the presence of an audio class and predict its start and end points. The relative improvement for F-measure of YOHO, compared to the state-of-the-art Convolutional Recurrent Neural Network, ranged from 1% to 6% across multiple datasets for audio segmentation and sound event detection. As the output of YOHO is more end-to-end and has fewer neurons to predict, the speed of inference is at least 6 times faster than segmentation-by-classification. In addition, as this approach predicts acoustic boundaries directly, the post-processing and smoothing is about 7 times faster.


title: A stable 2 W continuous-wave 261.5 nm laser for cooling and trapping aluminum monochloride

abstract: We present a high-power tunable deep-ultraviolet (DUV) laser that uses two consecutive cavity enhanced doubling stages with LBO and CLBO crystals to produce the fourth harmonic of an amplified homebuilt external cavity diode laser. The system generates up to 2.75 W of 261.5 nm laser light with a ~2 W stable steady-state output power and performs second harmonic generation in a largely unexplored high intensity regime in CLBO for continuous wave DUV light. We use this laser to perform fluorescence spectroscopy on the $X^1\Sigma\leftarrow A^1\Pi$ transition in a cold, slow beam of AlCl molecules and probe the $A^{1} \Pi|v'=0,~J'=1>$ state hyperfine structure for future laser cooling and trapping experiments. This work demonstrates that the production of tunable, watt-level DUV lasers is becoming routine for a variety of wavelength-specific applications in atomic, molecular and optical physics.


title: Synthesizing five-body interaction in a superconducting quantum circuit

abstract: Synthesizing many-body interaction Hamiltonian is a central task in quantum simulation. However, it is challenging to synthesize interactions including more than two spins. Borrowing tools from quantum optics, we synthesize five-body spin-exchange interaction in a superconducting quantum circuit by simultaneously exciting four independent qubits with time-energy correlated photon quadruples generated from a qudit. During the dynamic evolution of the five-body interaction, a Greenberger-Horne-Zeilinger state is generated in a single step with fidelity estimated to be $0.685$. We compare the influence of noise on the three-, four- and five-body interaction as a step toward answering the question on the quantum origin of chiral molecules. We also demonstrate a many-body Mach-Zehnder interferometer which potentially has a Heisenberg-limit sensitivity. This study paves a way for quantum simulation involving many-body interactions and high excited states of quantum circuits.

categories: quant-ph cond-mat.mes-hall physics.atom-ph physics.optics


title: Domain Adaptive Cascade R-CNN for MItosis DOmain Generalization (MIDOG) Challenge

abstract: We present a summary of the domain adaptive cascade R-CNN method for mitosis detection of digital histopathology images. By comprehensive data augmentation and adapting existing popular detection architecture, our proposed method has achieved an F1 score of 0.7500 on the preliminary test set in MItosis DOmain Generalization (MIDOG) Challenge at MICCAI 2021.


title: Supercurrent-induced long-range triplet correlations and controllable Josephson effect in superconductor/ferromagnet hybrids with extrinsic SOC

abstract: We predict that long-range triplet correlations (LRTC) in superconductor/ferromagnet (S/F) hybrids with extrinsic impurity spin-orbit coupling (SOC) can be generated and manipulated by supercurrent flowing in the superconducting leads along the S/F interfaces. The LRTC appear via two basic mechanisms. The essence of the first one is the generation of triplets by the superconducting spin Hall effect. These pairs are long-range in the ferromagnet under the appropriate mutual orientation of the condensate momentum and the ferromagnet magnetization. The second mechanism is based on the singlet-triplet conversion at the S/F interface followed by the rotation of the spin of the obtained short-range opposite-spin pairs via the spin current swapping mechanism. The structure of the supercurrent-induced LRTC is studied both for S/F bilayers and S/F/S Josephson junctions. We demonstrate that in S/F/S junctions, where the Josephson coupling is realized via the supercurrent-induced LRTC, the ground state phase can be switched between $0$ and $\pi$ in a controllable manner. The switching is performed by reversing the supercurrent in one of superconducting leads, thus realizing a new physical principle of the $0-\pi$ shifter.


title: Parameters of X-ray binary system Scorpius X-1

abstract: We modelled optical light curves of Sco~X-1 obtained by the Kepler space telescope during K2 mission. Modelling was performed for the case of the strong heating of the optical star and accretion disc by X-rays. In the considered model the optical star fully filled its Roche lobe. We investigated the inverse problem in wide ranges of values of model parameters and estimated following parameters of Sco X-1: the mass ratio of components $q=M_x/M_v=3.6$ ($3.5-3.8$), where $M_x$ and $M_v$ were masses of the neutron and optical stars correspondingly, the orbital inclination was $i=30^{\circ}$ ($25^{\circ}-34^{\circ}$). In the brackets uncertainties of parameters $q$ and $i$ were shown, they originated due to uncertainties of characteristics of the physical model of Sco X-1. The temperature of non-heated optical star was $T_2 = 2500-3050$ K, its radius was $R_2=1.25R_{\odot}=8.7\times 10^{10}$ cm, and its bolometric luminosity was $L_{bol}=(2.1-4.6)\times 10^{32}$ erg s$^{-1}$. The mass of the star was $M_v\simeq 0.4M_{\odot}$. The contribution of the X-ray heated accretion disc dominated in the total optical emission of Sco~X-1. The transition between low and high states occurred due to the increase of X-ray luminosity by a factor $2-3$.


title: Self-supervised Representation Learning for Trip Recommendation

abstract: Trip recommendation is a significant and engaging location-based service that can help new tourists make more customized travel plans. It often attempts to suggest a sequence of point of interests (POIs) for a user who requests a personalized travel demand. Conventional methods either leverage the heuristic algorithms (e.g., dynamic programming) or statistical analysis (e.g., Markov models) to search or rank a POI sequence. These procedures may fail to capture the diversity of human needs and transitional regularities. They even provide recommendations that deviate from tourists' real travel intention when the trip data is sparse. Although recent deep recursive models (e.g., RNN) are capable of alleviating these concerns, existing solutions hardly recognize the practical reality, such as the diversity of tourist demands, uncertainties in the trip generation, and the complex visiting preference. Inspired by the advance in deep learning, we introduce a novel self-supervised representation learning framework for trip recommendation -- SelfTrip, aiming at tackling the aforementioned challenges. Specifically, we propose a two-step contrastive learning mechanism concerning the POI representation, as well as trip representation. Furthermore, we present four trip augmentation methods to capture the visiting uncertainties in trip planning. We evaluate our SelfTrip on four real-world datasets, and extensive results demonstrate the promising gain compared with several cutting-edge benchmarks, e.g., up to 4% and 12% on F1 and pair-F1, respectively.


title: Reference Publication Year Spectroscopy (RPYS) in practice: A software tutorial

abstract: In course of the organization of Workshop III entitled "Cited References Analysis Using CRExplorer" at the International Conference of the International Society for Scientometrics and Informetrics (ISSI2021), we have prepared three reference publication year spectroscopy (RPYS) analyses: (i) papers published in Journal of Informetrics; (ii) papers regarding the topic altmetrics; and (iii) papers published by Ludo Waltman (we selected this researcher since he received the Derek de Solla Price Memorial Medal during the ISSI2021 conference). The first RPYS analysis has been presented live at the workshop and the second and third RPYS analyses have been left to the participants for undertaking after the workshop. Here, we present the results for all three RPYS analyses. The three analyses have shown quite different seminal papers with a few overlaps. Many of the foundational papers in the field of scientometrics (e.g., distributions of publications and citations, citation network and co-citation analyses, and citation analysis with the aim of impact measurement and research evaluation) were retrieved as seminal papers of the papers published in Journal of Informetrics. Mainly papers with discussions of the deficiencies of citation-based impact measurements and comparisons between altmetrics and citations were retrieved as seminal papers of the topic altmetrics. The RPYS analysis of the paper set published by Ludo Waltman mainly retrieved papers about network analyses, citation relations, and citation impact measurement.


title: A Construction of 2-D Z-Complementary Array Code Sets with Flexible Even Row Lengths and Applications in Massive MIMO

abstract: The need for two-dimensional (2-D) arrays with good 2-D correlation properties and flexible parameters has been of great interest due to their application in the field of wireless communications such as massive multiple input multiple output (MIMO), phased array antenna, multi-carrier code division multiple access (MC-CDMA), 2D-MC-CDMA, etc. In this paper, we propose a direct construction of a 2-D Z-complementary array code set (ZCACS) with flexible parameters. For this purpose, we first propose a construction of inter-group complementary (IGC) code sets using multivariable function and by using this construction 2-D Z-complementary array code (ZCAC) and 2-D ZCAC set (ZCACS) are provided. In some special case, the proposed 2-D ZCAC reduces to a 2-D Z-complementary array pair (ZCAP), which is not reported till date. The peak-to-mean envelope power ratio (PMEPR) of row and column sequences of 2-D ZCAC is shown to be better than the existing ones for use in MC-CDMA. 2-D Golay complementary array set (GCAS) and Golay complementary set (GCS) are derived from the proposed construction, which can be applied in omnidirectional precoding (OP) based transmission through massive MIMO. The proposed construction can support a more flexible number of antennas for a uniform rectangular array (URA) to transmit space-time block coded (STBC) data, than the existing constructions. The bit-error-rate (BER) simulation result also shows the performance benefits of derived 2-D GCAS and GCS compared to the existing ones.


title: Convergence properties of optimal transport-based temporal networks

abstract: We study network properties of networks evolving in time based on optimal transport principles. These evolve from a structure covering uniformly a continuous space towards an optimal design in terms of optimal transport theory. At convergence, the networks should optimize the way resources are transported through it. As the network structure shapes in time towards optimality, its topological properties also change with it. The question is how do these change as we reach optimality. We study the behavior of various network properties on a number of network sequences evolving towards optimal design and find that the transport cost function converges earlier than network properties and that these monotonically decrease. This suggests a mechanism for designing optimal networks by compressing dense structures. We find a similar behavior in networks extracted from real images of the networks designed by the body shape of a slime mold evolving in time.


title: The Weihrauch degree of finding Nash equilibria in multiplayer games

abstract: Is there an algorithm that takes a game in normal form as input, and outputs a Nash equilibrium? If the payoffs are integers, the answer is yes, and lot of work has been done in its computational complexity. If the payoffs are permitted to be real numbers, the answer is no, for continuity reasons. It is worthwhile to investigate the precise degree of non-computability (the Weihrauch degree), since knowing the degree entails what other approaches are available (eg, is there a randomized algorithm with positive success change?). The two player case has already been fully classified, but the multiplayer case remains open and is addressed here. Our approach involves classifying the degree of finding roots of polynomials, and lifting this to systems of polynomial inequalities via cylindrical algebraic decomposition.


title: Reinforcement learning-enhanced protocols for coherent population-transfer in three-level quantum systems

abstract: We deploy a combination of reinforcement learning-based approaches and more traditional optimization techniques to identify optimal protocols for population transfer in a multi-level system. We constraint our strategy to the case of fixed coupling rates but time-varying detunings, a situation that would simplify considerably the implementation of population transfer in relevant experimental platforms, such as semiconducting and superconducting ones. Our approach is able to explore the space of possible control protocols to reveal the existence of efficient protocols that, remarkably, differ from (and can be superior to) standard Raman, STIRAP or other adiabatic schemes. The new protocols that we identify are robust against both energy losses and dephasing.


title: Root-max Problems, Hybrid Expansion-Contraction, and Quadratically Convergent Optimization of Passive Systems

abstract: We present quadratically convergent algorithms to compute the extremal value of a real parameter for which a given rational transfer function of a linear time-invariant system is passive. This problem is formulated for both continuous-time and discrete-time systems and is linked to the problem of finding a realization of a rational transfer function such that its passivity radius is maximized. Our new methods make use of the Hybrid Expansion-Contraction algorithm, which we extend and generalize to the setting of what we call root-max problems.

categories: math.OC cs.NA cs.SY eess.SY math.DS math.NA


title: Optical and Near-Infrared Monitoring of Gamma-ray Binaries Hosting Be Stars

abstract: Optical and near-infrared observations are compiled for the three gamma-ray binaries hosting Be stars: PSR B1259-63, LSI+61 303, and HESS J0632+057. The emissions from the Be disk are considered to vary according to the changes in its structure, some of which are caused by interactions with the compact object (e.g., tidal forces). Due to the high eccentricity and large orbit of these systems, the interactions -- and, hence the resultant observables -- depend on the orbital phase. To explore such variations, multi-band photometry and linear polarization were monitored for the three considered systems, using two 1.5 m-class telescopes: IRSF at the South African Astronomical Observatory and Kanata at the Higashi-Hiroshima Observatory.


title: Superconducting THz sources with 12% power efficiency

abstract: Low power efficiency is one of the main problems of THz sources, colloquially known as the THz gap. In this work we present prototypes of THz devices based on whisker-crystals of a hightemperature superconductor Bi2Sr2CaCu2O8+d with a record high radiation power efficiency of 12% at a frequency of 4 THz. We employ various on- and off-chip detection techniques and, in particular, use the radiative cooling phenomenon for accurate evaluation of the emission power. We argue that such devices can be used for creation of tunable, monochromatic, continuous-wave, compact and power-efficient THz sources.


title: A semi-continuous model for transmission of SARS-CoV-2 and other respiratory viruses in enclosed spaces via multiple pathways to assess risk of infection and mitigation strategies

abstract: The Covid-19 pandemic has taken millions of lives, demonstrating the tragedy and disruption of respiratory diseases, and how difficult they can be to manage. However, there is still significant debate in the scientific community as to which transmission pathways are most significant and how settings and behaviour affect risk of infection, which all have implications for which mitigation strategies are most effective. This study presents a general model to estimate the rate of viral transfer between individuals, objects, and the air. The risk of infection to individuals in a setting is then computed considering the behaviour and interactions of individuals between themselves and the environment in the setting, survival times of the virus on different surface types and in the air, and mitigating interventions (ventilation, hand disinfection, surface cleaning, etc.). The model includes discrete events such as touch events, individuals entering/leaving the setting, and cleaning events. We demonstrate the model capabilities on three case studies to quantify and understand the relative risk associated with the different transmission pathways and the effectiveness of mitigation strategies in different settings. The results show the importance of considering all transmission pathways and their interactions, with each scenario displaying different dominant pathways depending on the setting and behaviours of individuals therein. The flexible model, which is freely available, can be used to quickly simulate the spread of any respiratory virus via the modelled transmission pathways and the efficacy of potential mitigation strategies in any enclosed setting by making reasonable assumptions regarding the behaviour of its occupants. It is hoped that the model can be used to inform sensible decision-making regarding viral infection mitigations that are targeted to specific settings and pathogens.


title: Accurate shape and phase averaging of time series through Dynamic Time Warping

abstract: We propose a novel time series averaging method based on Dynamic Time Warping (DTW). In contrast to previous methods, our algorithm preserves durational information and the distinctive durational features of the sequences due to a simple conversion of the output of DTW into a time sequence and an innovative iterative averaging process. We show that it accurately estimates the ground truth mean sequences and mean temporal location of landmarks in synthetic and real-world datasets and outperforms state-of-the-art methods.


title: ROFA: An OFDMA system for Ultra-Reliable Wireless Industrial Networking

abstract: This paper proposes and demonstrates a PHY-layer design of a real-time prototype that supports Ultra-Reliable Communication (URC) in wireless infrastructure networks. The design makes use of Orthogonal Frequency Division Multiple Access (OFDMA) as a means to achieve URC. Compared with Time-Division Multiple Access (TDMA), OFDMA concentrates the transmit power to a narrower bandwidth, resulting in higher effective SNR. Compared with Frequency-Division Multiple Access (FDMA), OFDMA has higher spectrum efficiency thanks to the smaller subcarrier spacing. Although OFDMA has been introduced in 802.11ax, the purpose was to add flexibility in spectrum usage. Our Reliable OFDMA design, referred to as ROFA, is a clean-slate design with a single goal of ultra-reliable packet delivery. ROFA solves a number of key challenges to ensure the ultra-reliability: (1) a downlink-coordinated time-synchronization mechanism to synchronize the uplink transmission of users, with at most $0.1us$ timing offset; (2) an "STF-free" packet reception synchronization method that makes use of the property of synchronous systems to avoid packet misdetection; and (3) an uplink precoding mechanism to reduce the CFOs between users and the AP to a negligible level. We implemented ROFA on the Universal Software Radio Peripheral (USRP) SDR platform with real-time signal processing. Extensive experimental results show that ROFA can achieve ultra-reliable packet delivery ($PER<10^5$) with $11.5dB$ less transmit power compared with OFDM-TDMA when they use $3$ and $52$ subcarriers respectively.


title: Asymptotic stability of solutions to the Navier-Stokes-Fourier system driven by inhomogeneous Dirichlet boundary conditions

abstract: We consider global in time solutions of the Navier-Stokes-Fourier system describing the motion of a general compressible, viscous and heat conducting fluid far from equilibirum. Using a new concept of weak solution suitable to accommodate the inhomogeneous Dirichlet time dependent data we find sufficient conditions for the global in time weak solutions to be ultimately bounded.


title: On the centre of crossed modules of groups

abstract: Crossed modules are algebraic models of homotopy 2-types and hence have $\pi_1$ and $\pi_2$. We propose a definition of the centre of a crossed module whose essential invariants can be computed via the group cohomology $H^i(\pi_1,\pi_2)$. This definition therefore has much nicer properties than one proposed by Norrie in the 80s.


title: How does the User's Knowledge of the Recommender Influence their Behavior?

abstract: Recommender systems have become a ubiquitous part of modern web applications. They help users discover new and relevant items. Today's users, through years of interaction with these systems have developed an inherent understanding of how recommender systems function, what their objectives are, and how the user might manipulate them. We describe this understanding as the Theory of the Recommender. In this study, we conducted semi-structured interviews with forty recommender system users to empirically explore the relevant factors influencing user behavior. Our findings, based on a rigorous thematic analysis of the collected data, suggest that users possess an intuitive and sophisticated understanding of the recommender system's behavior. We also found that users, based upon their understanding, attitude, and intentions change their interactions to evoke desired recommender behavior. Finally, we discuss the potential implications of such user behavior on recommendation performance.


title: Bilinear Input Normalization for Neural Networks in Financial Forecasting

abstract: Data normalization is one of the most important preprocessing steps when building a machine learning model, especially when the model of interest is a deep neural network. This is because deep neural network optimized with stochastic gradient descent is sensitive to the input variable range and prone to numerical issues. Different than other types of signals, financial time-series often exhibit unique characteristics such as high volatility, non-stationarity and multi-modality that make them challenging to work with, often requiring expert domain knowledge for devising a suitable processing pipeline. In this paper, we propose a novel data-driven normalization method for deep neural networks that handle high-frequency financial time-series. The proposed normalization scheme, which takes into account the bimodal characteristic of financial multivariate time-series, requires no expert knowledge to preprocess a financial time-series since this step is formulated as part of the end-to-end optimization process. Our experiments, conducted with state-of-the-arts neural networks and high-frequency data from two large-scale limit order books coming from the Nordic and US markets, show significant improvements over other normalization techniques in forecasting future stock price dynamics.


title: CrypTen: Secure Multi-Party Computation Meets Machine Learning

abstract: Secure multi-party computation (MPC) allows parties to perform computations on data while keeping that data private. This capability has great potential for machine-learning applications: it facilitates training of machine-learning models on private data sets owned by different parties, evaluation of one party's private model using another party's private data, etc. Although a range of studies implement machine-learning models via secure MPC, such implementations are not yet mainstream. Adoption of secure MPC is hampered by the absence of flexible software frameworks that "speak the language" of machine-learning researchers and engineers. To foster adoption of secure MPC in machine learning, we present CrypTen: a software framework that exposes popular secure MPC primitives via abstractions that are common in modern machine-learning frameworks, such as tensor computations, automatic differentiation, and modular neural networks. This paper describes the design of CrypTen and measure its performance on state-of-the-art models for text classification, speech recognition, and image classification. Our benchmarks show that CrypTen's GPU support and high-performance communication between (an arbitrary number of) parties allows it to perform efficient private evaluation of modern machine-learning models under a semi-honest threat model. For example, two parties using CrypTen can securely predict phonemes in speech recordings using Wav2Letter faster than real-time. We hope that CrypTen will spur adoption of secure MPC in the machine-learning community.


title: Porous block copolymer separation membranes for 21st century sanitation and hygiene

abstract: Removing hazardous particulate and macromolecular contaminants as well as viruses with sizes from a few nm up to the 100-nm-range from water and air is crucial for ensuring sufficient sanitation and hygiene for a growing world population. To this end, high-performance separation membranes are needed that combine high permeance, high selectivity and sufficient mechanical stability under operating conditions. However, design features of separation membranes enhancing permeance reduce selectivity and vice versa. Membrane configurations combining high permeance and high selectivity suffer in turn from a lack of mechanical robustness. These problems may be tackled by using block copolymers (BCPs) as a material platform for the design of separation membranes. BCPs are macromolecules that consist of two or more chemically distinct block segments, which undergo microphase separation yielding a wealth of ordered nanoscopic domain structures. Various methods allow the transformation of these nanoscopic domain structures into customized nanopore systems with pore sizes in the sub-100-nm range and with narrow pore size distributions. This tutorial review summarizes design strategies for nanoporous state-of-the-art BCP separation membranes, their preparation, their device integration and their use for water purification.


title: Causal structure in spin-foams

abstract: The metric field of general relativity is almost fully determined by its causal structure. Yet, in spin-foam models for quantum gravity, the role played by the causal structure is still largely unexplored. The goal of this paper is to clarify how causality is encoded in such models. The quest unveils the physical meaning of the orientation of the two-complex and its role as a dynamical variable. We propose a causal version of the EPRL spin-foam model and discuss the role of the causal structure in the reconstruction of a semiclassical spacetime geometry.


title: Dynamic Valley Polarization in Moire Quantum Dots

abstract: We describe the effects of the crossing of the exciton levels in moire quantum dots in external magnetic field. We demonstrate that the unpolarized light can create significant dynamic valley polarization of interlayer excitons in the conditions where the Zeeman energy is much smaller than the thermal energy. The angular momentum is gained by the excitons from the nuclear spin fluctuations. In the $n$-type moire quantum dots for the typical experimental parameters, the unpolarized light can lead to the complete valley polarization of the resident electrons.


title: Coexisting conventional and inverse mechanocaloric effects in ferroelectrics

abstract: The mechanocaloric effect is the temperature change of a material upon application or removal of an external stress. Beyond its fundamental interest, this caloric response represents a promising and ecofriendly alternative to current cooling technologies. To obtain large mechanocaloric effects, we need materials whose elastic properties (e.g., strain, elastic compliance) are strongly temperature dependent. This is the case of ferroelectric perovskite oxides, where the development of the spontaneous electric polarization is accompanied by significant strains and lattice softening. Thus, in this work we study the mechanocaloric properties of model ferroelectric PbTiO$_{3}$, by means of predictive atomistic ("second-principles") simulations and a perturbative formalism here introduced. Our calculations reveal relatively large effects (up to $-$4 K for relatively small applied compressions of $-$0.1 GPa) and several striking features. In particular, we find that the mechanocaloric response is highly anisotropic in the ferroelectric phase, as it can be either conventional (temperature increases upon compression) or inverse (temperature decreases) depending on the direction of the applied stress. We discuss and explain these surprising results, which compare well with existing experimental information. Our analysis suggests that the coexistence of conventional and inverse mechanocaloric responses is probably common among ferroelectrics and materials displaying a negative thermal expansion.


title: Pulsating dissipative solitons in a Mamyshev oscillator

abstract: Mode-locked fiber lasers provide a versatile playground to study dissipative soliton (DS) dynamics. The corresponding studies not only give insights into soliton dynamics in dissipative systems, but also contribute to femtosecond fiber laser design. Recently, Mamyshev oscillators (MOs), which rely upon a pair of narrow filters with offset passing frequencies, have emerged as a promising candidate for high power, ultrabroad bandwidth pulse generation. To date, only stable mode-locking states in MOs have been reported. Here, we present a comprehensive experimental and numerical investigation of pulsating DSs in an ytterbium MO. By reducing the filter separation down to 4 nm, we observe pulsation in a single pulse state as well as a soliton molecule state. In the single pulse state, the output pulse energy can vary as large as 40 times in our MO. Single-shot spectra measured by the dispersive Fourier transform (DFT) method reveal the spectral bandwidth breathing during pulsation and enables the observation of soliton explosion in a pulsation state. In addition, pulsation with a period lasting 9 round trips and even a chaotic pulsation state are also observed. Numerical simulations based on a lumped model qualitatively agree with our observation. Our results enrich DS dynamics in MOs and show the impact of filter separation on the stability of MOs.


title: An MsFEM approach enriched using Legendre polynomials

abstract: We consider a variant of the conventional MsFEM approach with enrichments based on Legendre polynomials, both in the bulk of mesh elements and on their interfaces. A convergence analysis of the approach is presented. Residue-type a posteriori error estimates are also established. Numerical experiments show a significant reduction in the error at a limited additional off-line cost. In particular, the approach developed here is less prone to resonance errors in the regime where the coarse mesh size $H$ is of the order of the small scale $\varepsilon$ of the oscillations.


title: Coefficients of the $\Sigma_3$-equivariant complex cobordism ring

abstract: In this paper, we calculate the coefficient ring of equivariant Thom complex cobordism for the symmetric group on three elements. We also make some remarks on general methods of calculating certain pullbacks of rings which typically occur in calculations of equivariant cobordism.


title: Exact duality and local dynamics in SU(N) lattice gauge theory

abstract: We construct exact duality transformations in pure SU(N) Hamiltonian lattice gauge theory in (2+1) dimension. This duality is obtained by making a series of iterative canonical transformations on the SU(N) electric vector fields and their conjugate magnetic vector potentials on the four links around every plaquette. The resulting dual description is in terms of the magnetic scalar fields or plaquette flux loops and their conjugate electric scalar potentials. Under SU(N) gauge transformations they both transform like adjoint matter fields. The dual Hamiltonian describes the nonlocal self-interactions of these plaquette flux loops in terms of the electric scalar potentials and with inverted coupling. We show that these nonlocal loop interactions can be made local and converted into minimal couplings by introducing SU(N) auxiliary gauge fields along with new plaquette constraints. The matter fields can be included through minimal coupling. The techniques can be easily generalized to (3+1) dimensions.


title: LegaLMFiT: Efficient Short Legal Text Classification with LSTM Language Model Pre-Training

abstract: Large Transformer-based language models such as BERT have led to broad performance improvements on many NLP tasks. Domain-specific variants of these models have demonstrated excellent performance on a variety of specialised tasks. In legal NLP, BERT-based models have led to new state-of-the-art results on multiple tasks. The exploration of these models has demonstrated the importance of capturing the specificity of the legal language and its vocabulary. However, such approaches suffer from high computational costs, leading to a higher ecological impact and lower accessibility. Our findings, focusing on English language legal text, show that lightweight LSTM-based Language Models are able to capture enough information from a small legal text pretraining corpus and achieve excellent performance on short legal text classification tasks. This is achieved with a significantly reduced computational overhead compared to BERT-based models. However, our method also shows degraded performance on a more complex task, multi-label classification of longer documents, highlighting the limitations of this lightweight approach.


title: Quantum design for advanced qubits: plasmonium

abstract: The increasingly complex quantum electronic circuits with a number of coupled quantum degrees of freedom will become intractable to be simulated on classical computers, and requires quantum computers for an efficient simulation. In turn, it will be a central concept in quantum-aided design for next-generation quantum processors. Here, we demonstrate variational quantum eigensolvers to simulate superconducting quantum circuits with varying parameters covering a plasmon-transition regime, which reveals an advanced post-transmon qubit, "plasmonium". We fabricate this new qubit and demonstrate that it exhibits not only high single- and two-qubit gate fidelities (99.85(1)% and 99.58(3)%, respectively), but also a shrinking (by 60%) physical size and larger (by 50%) anharmonicity than the transmon, which can bring a number of advantages for scaling up multi-qubit devices. Our work opens the way to designing advanced quantum processors using existing quantum computing resources.


title: COVID-19 epidemic control using short-term lockdowns for collective gain

abstract: While many efforts are currently devoted to vaccines development and administration, social distancing measures, including severe restrictions such as lockdowns, remain fundamental tools to contain the spread of COVID-19. A crucial point for any government is to understand, on the basis of the epidemic curve, the right temporal instant to set up a lockdown and then to remove it. Different strategies are being adopted with distinct shades of intensity. USA and Europe tend to introduce restrictions of considerable temporal length. They vary in time: a severe lockdown may be reached and then gradually relaxed. An interesting alternative is the Australian model where short and sharp responses have repeatedly tackled the virus and allowed people a return to near normalcy. After a few positive cases are detected, a lockdown is immediately set. In this paper we show that the Australian model can be generalized and given a rigorous mathematical analysis, casting strategies of the type short-term pain for collective gain in the context of sliding-mode control, an important branch of nonlinear control theory. This allows us to gain important insights regarding how to implement short-term lockdowns, obtaining a better understanding of their merits and possible limitations. Our model predicts the duration of the severe lockdown to be set to maintain e.g. the number of people in intensive care under a certain threshold. After tuning our strategy exploiting data collected in Italy, it turns out that COVID-19 epidemic could be e.g. controlled by alternating one or two weeks of complete lockdown with one or two months of freedom, respectively. Control strategies of this kind, where the lockdown's duration is well circumscribed, could be important also to alleviate coronavirus impact on economy.


title: A Physics-Data-Driven Bayesian Method for Heat Conduction Problems

abstract: In this study, a novel physics-data-driven Bayesian method named Heat Conduction Equation assisted Bayesian Neural Network (HCE-BNN) is proposed. The HCE-BNN is constructed based on the Bayesian neural network, it is a physics-informed machine learning strategy. Compared with the existed pure data driven method, to acquire physical consistency and better performance of the data-driven model, the heat conduction equation is embedded into the loss function of the HCE-BNN as a regularization term. Hence, the proposed method can build a more reliable model by physical constraints with less data. The HCE-BNN can handle the forward and inverse problems consistently, that is, to infer unknown responses from known partial responses, or to identify boundary conditions or material parameters from known responses. Compared with the exact results, the test results demonstrate that the proposed method can be applied to both heat conduction forward and inverse problems successfully. In addition, the proposed method can be implemented with the noisy data and gives the corresponding uncertainty quantification for the solutions.


title: Celestial Holography: Lectures on Asymptotic Symmetries

abstract: The aim of these Lectures is to provide a brief overview of the subject of asymptotic symmetries of gauge and gravity theories in asymptotically flat spacetimes as background material for celestial holography.


title: Waveform Learning for Next-Generation Wireless Communication Systems

abstract: We propose a learning-based method for the joint design of a transmit and receive filter, the constellation geometry and associated bit labeling, as well as a neural network (NN)-based detector. The method maximizes an achievable information rate, while simultaneously satisfying constraints on the adjacent channel leakage ratio (ACLR) and peak-to-average power ratio (PAPR). This allows control of the tradeoff between spectral containment, peak power, and communication rate. Evaluation on an additive white Gaussian noise (AWGN) channel shows significant reduction of ACLR and PAPR compared to a conventional baseline relying on quadrature amplitude modulation (QAM) and root-raised-cosine (RRC), without significant loss of information rate. When considering a 3rd Generation Partnership Project (3GPP) multipath channel, the learned waveform and neural receiver enable competitive or higher rates than an orthogonal frequency division multiplexing (OFDM) baseline, while reducing the ACLR by 10 dB and the PAPR by 2 dB. The proposed method incurs no additional complexity on the transmitter side and might be an attractive tool for waveform design of beyond-5G systems.


title: On the Bands of the Schrodinger Operator with a Matrix Potential

abstract: In this article we consider the one-dimensional Schrodinger operator L(Q) with a Hermitian periodic m by m matrix potential Q. We investigate the bands and gaps of the spectrum and prove that the main part of the positive real axis is overlapped by m bands. Moreover, we find a condition on the potential Q for which the number of gaps in the spectrum of L(Q) is finite.


title: Vaisman theorem for lcK spaces

abstract: Vaisman's theorem for locally conformally K\"ahler (lcK) compact manifolds states that any lcK metric on a compact complex manifold which admits a K\"ahler metric is, in fact, globally conformally K\"ahler (gcK). In this paper, we extend this theorem to compact complex spaces with singularities.


title: Large-$N$ limit of two-dimensional Yang--Mills theory with four supercharges

abstract: We study the two-dimensional Yang--Mills theory with four supercharges in the large-$N$ limit. By using thermal boundary conditions, we analyze the internal energy and the distribution of scalars. We compare their behavior to the maximally supersymmetric case with sixteen supercharges, which is known to admit a holographic interpretation. Our lattice results for the scalar distribution show no visible dependence on $N$ and the energy at strong coupling appears independent of temperature.


title: DocTer: Documentation Guided Fuzzing for Testing Deep Learning API Functions

abstract: Input constraints are useful for many software development tasks. For example, input constraints of a function enable the generation of valid inputs, i.e., inputs that follow these constraints, to test the function deeper. API functions of deep learning (DL) libraries have DL specific input constraints, which are described informally in the free form API documentation. Existing constraint extraction techniques are ineffective for extracting DL specific input constraints. To fill this gap, we design and implement a new technique, DocTer, to analyze API documentation to extract DL specific input constraints for DL API functions. DocTer features a novel algorithm that automatically constructs rules to extract API parameter constraints from syntactic patterns in the form of dependency parse trees of API descriptions. These rules are then applied to a large volume of API documents in popular DL libraries to extract their input parameter constraints. To demonstrate the effectiveness of the extracted constraints, DocTer uses the constraints to enable the automatic generation of valid and invalid inputs to test DL API functions. Our evaluation on three popular DL libraries (TensorFlow, PyTorch, and MXNet) shows that the precision of DocTer in extracting input constraints is 85.4%. DocTer detects 94 bugs from 174 API functions, including one previously unknown security vulnerability that is now documented in the CVE database, while a baseline technique without input constraints detects only 59 bugs. Most (63) of the 94 bugs are previously unknown, 54 of which have been fixed or confirmed by developers after we report them. In addition, DocTer detects 43 inconsistencies in documents, 39 of which are fixed or confirmed.


title: The homotopy Lie algebra of a Tor-independent tensor product

abstract: In this article we investigate a pair of surjective local ring maps $S_1\leftarrow R\to S_2$ and their relation to the canonical projection $R\to S_1\otimes_R S_2$, where $S_1,S_2$ are Tor-independent over $R$. Our main result asserts a structural connection between the homotopy Lie algebra of $S:=S_1\otimes_R S_2$, denoted $\pi(S)$, in terms of those of $R,S_1$ and $S_2$. Namely, $\pi(S)$ is the pullback of (adjusted) Lie algebras along the maps $\pi(S_i)\to \pi(R)$ in various cases, including when the maps above have residual characteristic zero. Consequences to the main theorem include structural results on Andr\'{e}-Quillen cohomology, stable cohomology, and Tor algebras, as well as an equality relating the Poincar\'{e} series of the common residue field of $R,S_1,S_2$ and $S$.


title: Using fireball networks to track more frequent reentries: Falcon 9 upper stage orbit determination from video recordings

abstract: On February 16, 2021, an artificial object was recorded by the Spanish Meteor Network (SPMN) moving slowly over the Mediterranean. From the astrometric measurements, we identify this event as the reentry engine burn of a SpaceX Falcon 9 launch vehicle's upper stage. To study this event in detail, we adapted the plane intersection method for near-straight meteoroid trajectories to analyze slow and curved orbits associated with artificial objects. To corroborate our results, we approximated the orbital elements for the upper stage using four pieces of "debris" cataloged by the U.S. Government Combined Space Operations Center (CSpOC). Based on these calculations, we also estimated the possible deorbit hazard zone using the MSISE90 model atmosphere. We warn of the interference that these artificial bolides might have in fireball studies. In addition, given that artificial bolides will be probably more frequent in the future, we point out the new role that ground-based detection networks can play in the monitoring of potentially hazardous artificial objects in near-Earth space and determining the strewn field of artificial space debris.


title: uRANIA-V: an innovative solution for neutron detection in homeland security

abstract: Detection of neutrons is becoming of the utmost importance, especially in the studies of radioactive waste and in homeland security applications. The crisis of 3He availability has required the development of innovative techniques. One solution is to develop light gas detectors for neutron counting to be used as portals for ports and airports. The neutron is converted on the Boron-coated cathode, releasing a charged particle, whose passage can be identified by the gas detector. While several technologies have been deployed in the past, the project {\mu}RANIA-V ( {\mu}Rwell Advanced Neutron Identification Apparatus) aims to detect thermal neutrons by means of the {\mu}Rwell technology, an innovative gas detector. The goal is to produce tiles to operate as portals in homeland security or for radioactive waste management. The technological transfer towards the industry has started, thus the production can be cost-effective also owing to a construction process relatively easier compared to similar apparatus. By reading directly the signals from the amplification stage, the neutrons can be counted with simplified electronics further reducing the total cost. In this paper, the project will be described, with details on the {\mu}Rwell technology and on the neutron counting, on the test beam performed, and on the future plans.


title: Quantum Internal Structure of Plasmons

abstract: Plasmons are usually described in terms of macroscopic quantities such as electric fields and currents. However as fundamental excitations of metals they are also quantum objects with internal structure. We demonstrate that this can induce an intrinsic dipole moment which is tied to the quantum geometry of the Hilbert space of plasmon states. This {\it quantum geometric dipole} offers a unique handle for manipulation of plasmon dynamics, via density modulations and electric fields. As a concrete example we demonstrate that scattering of plasmons with non-vanishing quantum geometric dipole from impurities is non-reciprocal, skewing in different directions in a valley-dependent fashion. This internal structure can be used to control plasmon trajectories in two dimensional materials.


title: Kinetic and macroscopic models for active particles exploring complex environments with an internal navigation control system

abstract: A large number of biological systems - from bacteria to sheep - can be described as ensembles of self-propelled agents (active particles) with a complex internal dynamic that controls the agent's behavior: resting, moving slow, moving fast, feeding, etc. In this study, we assume that such a complex internal dynamic can be described by a Markov chain, which controls the moving direction, speed, and internal state of the agent. We refer to this Markov chain as the Navigation Control System (NCS). Furthermore, we model that agents sense the environment by considering that the transition rates of the NCS depend on local (scalar) measurement of the environment such as e.g. chemical concentrations, light intensity, or temperature. Here, we investigate under which conditions the (asymptotic) behavior of the agents can be reduced to an effective convection-diffusion equation for the density of the agents, providing effective expressions for the drift and diffusion terms. We apply the developed generic framework to a series of specific examples to show that in order to obtain a drift term two conditions should be fulfilled: i) the NCS transition rates should depend on the agent's position, and ii) transition rates should be asymmetric. In addition, we indicate that the sign of the drift term - i.e. whether agents develop a positive or negative chemotactic response - can be changed by modifying the asymmetry of the NCS or by swapping the speed associated to the internal states. The developed theoretical framework paves the way to model a large variety of biological systems and provides a solid proof that chemotactic responses can be developed, counterintuitively, by agents that cannot measure gradients and lack memory as to store past measurements of the environment.


title: An alternative construction of zip period maps for Shimura varieties

abstract: Let $S$ be the special fibre of a Shimura variety of Hodge type, with good reduction at a place above $p$. We give an alternative construction of the zip period map for $S$, which is used to define the Ekedahl-Oort strata of $S$. The method employed is local, $p$-adic, and group-theoretic in nature.


title: Performance of coherent-state quantum target detection in the context of asymmetric hypothesis testing

abstract: Due to the difficulties of implementing joint measurements, quantum illumination schemes that are based on signal-idler entanglement are difficult to implement in practice. For this reason, one may consider quantum-inspired designs of quantum lidar/radar where the input sources are semiclassical (coherent states) while retaining the quantum aspects of the detection. The performance of these designs could be studied in the context of asymmetric hypothesis testing by resorting to the quantum Stein's lemma. However, here we discuss that, for typical finite-size regimes, the second- and third-order expansions associated with this approach are not sufficient to prove quantum advantage.


title: The AdS^2_{\theta}/CFT_1 Correspondence and Noncommutative Geometry III: Phase Structure of the Noncommutative AdS^2_{\theta} x S^2_N

abstract: The near-horizon noncommutative geometry of black holes, given by AdS^2_{\theta} x S^2_N, is discussed and the phase structure of the corresponding Yang-Mills matrix models is presented. The dominant phase transition as the system cools down, i.e. as the gauge coupling constant is decreased is an emergent geometry transition between a geometric noncommutative AdS^2_{\theta} x S^2_N phase (discrete spectrum) and a Yang-Mills matrix phase (continuous spectrum) with no background geometrical structure. We also find a possibility for topology change transitions in which space or time directions grow or decay as the temperature is varied. Indeed, the noncommutative near-horizon geometry AdS^2_{\theta} x S^2_N can evaporate only partially to a fuzzy sphere S^2_N (emergence of time) or to a noncommutative anti-de Sitter spacetime AdS^2_{\theta} (topology change).


title: Quantized Vortices in Superfluid Dark Matter

abstract: In 2015 Berezhiani & Khoury proposed a Superfluid Dark Matter (SFDM) model where dark matter condenses and forms a superfluid on galactic scales. In the superfluid state phonons interact with baryons, resulting in a behavior similar to that of Modified Newtonian Dynamics (MOND). If one assumes that the DM condensate rotates along with the galaxy, a grid of vortices should form throughout the superfluid component if the rotation is fast enough. We aim to investigate the size and impact of the vortices on surrounding baryons, and to further investigate the parameter space of the model. We also look for a possible vortex solution of the Lagrangian presented for the SFDM theory. We first take a simple approach and investigate vortex properties in a constant density DM halo, applying knowledge from condensed matter physics. We then use the zero-temperature condensate density profile as a template to vary the DM particle mass and the energy scale, $\Lambda$, of the SFDM model. Further, we attempt to find a vortex solution of the theory by extracting the Euler-Lagrange equation with respect to the modulus of the condensate wavefunction from the full relativistic SFDM Lagrangian. For the constant density approach we find that the vortices are on millimeter scale, and separated by distances $\sim0.002\,\rm{AU}$. The parameter space of the model is found to be substantial and a reduction in the DM particle mass leads to larger vortices with a higher energy. However, none of the parameter combinations explored here give both realistic values of $\Lambda$ and vortices energetic enough to have an observational impact on the galaxy as a whole. The vortex equation extracted from the Lagrangian of the model is unstable, and no solution exhibiting the standard properties of a vortex solution is found.


title: Collision avoidance for multiple MAVs using fast centralized NMPC

abstract: This article proposes a novel control architecture using a centralized nonlinear model predictive control (CNMPC) scheme for controlling multiple micro aerial vehicles (MAVs). The control architecture uses an augmented state system to control multiple agents and performs both obstacle and collision avoidance. The optimization algorithm used is OpEn, based on the proximal averaged Newton type method for optimal control (PANOC) which provides fast convergence for non-convex optimization problems. The objective is to perform position reference tracking for each individual agent, while nonlinear constrains guarantee collision avoidance and smooth control signals. To produce a trajectory that satisfies all constraints a penalty method is applied to the nonlinear constraints. The efficacy of this proposed novel control scheme is successfully demonstrated through simulation results and comparisons, in terms of computation time and constraint violations, while are provided with respect to the number of agents.


title: On Dedicated CDCL Strategies for PB Solvers

abstract: Current implementations of pseudo-Boolean (PB) solvers working on native PB constraints are based on the CDCL architecture which empowers highly efficient modern SAT solvers. In particular, such PB solvers not only implement a (cutting-planes-based) conflict analysis procedure, but also complementary strategies for components that are crucial for the efficiency of CDCL, namely branching heuristics, learned constraint deletion and restarts. However, these strategies are mostly reused by PB solvers without considering the particular form of the PB constraints they deal with. In this paper, we present and evaluate different ways of adapting CDCL strategies to take the specificities of PB constraints into account while preserving the behavior they have in the clausal setting. We implemented these strategies in two different solvers, namely Sat4j (for which we consider three configurations) and RoundingSat. Our experiments show that these dedicated strategies allow to improve, sometimes significantly, the performance of these solvers, both on decision and optimization problems.


title: Quantum algorithm for structure learning of Markov Random Fields

abstract: Markov random fields (MRFs) appear in many problems in machine learning and statistics. From a computational learning theory point of view, a natural problem of learning MRFs arises: given samples from an MRF from a restricted class, learn the structure of the MRF, that is the neighbors of each node of the underlying graph. In this work, we start at a known near-optimal classical algorithm for this learning problem and develop a modified classical algorithm. This classical algorithm retains the run time and guarantee of the previous algorithm and enables the use of quantum subroutines. Adapting a previous quantum algorithm, the Quantum Sparsitron, we provide a polynomial quantum speedup in terms of the number of variables for learning the structure of an MRF, if the MRF has bounded degree.


title: Triangle singularities waning in Heavy Ion Collisions: the case of $Y(4260)\to \pi (\pi J/\psi)$

abstract: We have recently observed that hadron triangle singularities, that can mock new exotic hadrons, can be significanttly suppressed in relativistic heavy ion collisions, provided two conditions are met: these are, first, that the fireball lives long enough so that the triangle process has enough time to complete in the Norton-Coleman classical sense, and second, that the mass and/or width of the particles in the triangle diagram are sufficiently modified from their vacuum values. Here we add a very interesting example to the canon, which is $Y(4260) \to D_1 D \to \pi D^* D \to \pi + J/\psi \pi$. This reaction has been proposed as a mechanism to explain the appearance of $Z_c(3900)$ in the $J/\psi \pi$ spectrum. If the two muons and two pions reconstructing the initial-state $Y$ can be isolated from the combinatorial background, then the mechanism can provide a spectroscopy test: presence of $Y(4260)$ but absence of $Z_c(3900)$ would be more indicative of such triangle mechanism, while presence of both would rather point out to $Z_c$ being an exotic hadron.


title: Unboundedness phenomenon in a model of urban crime

abstract: We show that spatial patterns ("hotspots") may form in the crime model \begin{equation} \left\{\; \begin{aligned} u_{t} &= \tfrac{1}{\varepsilon}\Delta u - \tfrac{\chi}{\varepsilon} \nabla \cdot \left(\tfrac{u}{v} \nabla v \right) - \varepsilon uv, \\ v_{t} &= \Delta v - v + u v, \end{aligned} \right. \end{equation} which we consider in $\Omega = B_R(0) \subset \mathbb R^n$, $R > 0$, $n \geq 3$ with $\varepsilon > 0$, $\chi > 0$ and initial data $u_0$, $v_0$ with sufficiently large initial mass $m := \int_\Omega u_0$. More precisely, for each $T > 0$ and fixed $\Omega$, $\chi$ and (large) $m$, we construct initial data $v_0$ exhibiting the following unboundedness phenomenon: Given any $M>0$, we can find $\varepsilon > 0$ such that the first component of the associated maximal solution becomes larger than $M$ at some point in $\Omega$ before the time $T$. Since the $L^1$ norm of $u$ is decreasing, this implies that some heterogeneous structure must form. We do this by first constructing classical solutions to the nonlocal scalar problem \[ w_t = \Delta w + m \frac{w^{\chi+1}}{\int_\Omega w^\chi} \] from the solutions to the crime model by taking the limit $\varepsilon \searrow 0$ under the assumption that the unboundedness phenomenon explicitly does not occur on some interval $(0,T)$. We then construct initial data for this scalar problem leading to blow-up before time $T$. As solutions to the scalar problem are unique, this proves our central result by contradiction.


title: Coherent cochain complexes and Beilinson t-structures, with an appendix by Achim Krause

abstract: We define and study coherent cochain complexes in arbitrary stable $\infty$-categories, following Joyal. Our main result is that the $\infty$-category of coherent cochain complexes in a stable $\infty$-category $\mathscr C$ is equivalent to the $\infty$-category of complete filtered objects in $\mathscr C$. We then show how the Beilinson t-structure can be interpreted in light of such equivalence, and analyze its behavior in the presence of symmetric monoidal structures. We also examine the relationship between the notion of (higher) Toda brackets and coherent cochain complexes. Finally, we prove how every coherent cochain complex gives rise to a spectral sequence and illustrate some examples.