title: New non-binary quantum codes from skew constacyclic codes over the ring $\mathbb{F}_{p^m}+v\mathbb{F}_{p^m}+v^2 \mathbb{F}_{p^m}$

abstract: In this article, we construct new non-binary quantum codes from skew constacyclic codes over finite commutative non-chain ring $\mathcal{R}= \mathbb{F}_{p^m}[v]/\langle v^3 =v \rangle$ where $p$ is an odd prime and $m \geq 1$. In order to obtain such quantum codes, first we study the structural properties of skew constacyclic codes and their Euclidean duals over the ring $\mathcal{R}$. Then a necessary and sufficient condition for skew constacyclic codes over $\mathcal{R}$ to contain their Euclidean duals is established. Finally, with the help of CSS construction and using Gray map, many new non-binary quantum codes are obtained over $\mathbb{F}_{p^m}$.


title: A Short Review on Graphene-Based Filters: Perspectives and Challenges

abstract: Graphene is an interesting debated topic between scientists because of its unique properties such as tunable conductivity. Graphene conductivity can be varied by either electrostatic or magnetostatic gating or via chemical doping, which leads to design of various photonic and electronic devices. Among various graphene-based structures, plasmonic graphene filters have attracted the attention of many researchers because of their various applications in THz frequencies. There are four main types of graphene filters proposed in the literature, which are: 1- Circular filters, 2- Planar filters, 3- Periodic filters, and 4- Other types of filters (which are not categorized in any of the other three groups). This paper aims to study and investigate various types of graphene-based filters published in the literature.


title: Centralisers of formal maps

abstract: We consider formal maps in any finite dimension $d$ with coefficients in an integral domain $K$ with identity. Those invertible under formal composition form a group $\mathcal{G}$. We consider the centraliser $C_g$ of an element $g\in\mathcal{G}$ which is tangent to the identity of $\mathcal{G}$. Elements of finite order always have an uncountable centraliser. If $g$ has infinite order and $K$ is a field of characteristic zero we show that $C_g$ contains an isomorphic copy of the additive group $(K,+)$. If $g$ has infinite order and $K$ has finite characteristic we show that $C_g$ contains an uncountable abelian subgroup. The proofs are quite different in finite characteristic and in characteristic zero, but are connected by so-called sum functions.


title: Many-impurity scattering on the surface of a topological insulator

abstract: We theoretically address the impact of a random distribution of non-magnetic impurities on the surface states formed at the interface between a trivial and a topological insulator. The interaction of electrons with the impurities is accounted for by a separable pseudo-potential method that allows us to obtain closed expressions for the density of states. Spectral properties of surface states are assessed by means of the Green's function averaged over disorder realizations. For comparison purposes, the configurationally averaged Green's function is calculated by means of two different self-consistent methods, namely the self-consistent Born approximation (SCBA) and the coherent potential approximation (CPA). The latter is often regarded as the best single-site theory for the study of the spectral properties of disordered systems. However, although a large number of works employ the SCBA for the analysis of many-impurity scattering on the surface of a topological insulator, CPA studies of the same problem are scarce in the literature. In this work we find that the SCBA overestimates the impact of the random distribution of impurities on the spectral properties of surface states compared to the CPA predictions. The difference is more pronounced when increasing the magnitude of the disorder.


title: Spectral Analysis of Causal Dynamical Triangulations via Finite Element Method

abstract: We examine the dual graph representation of simplicial manifolds in Causal Dynamical Triangulations (CDT) as a mean to build observables, and propose a new representation based on the Finite Element Methods (FEM). In particular, with the application of FEM techniques, we extract the (low-lying) spectrum of the Laplace-Beltrami (LB) operator on the Sobolev space $H^1$ of scalar functions on piecewise flat manifolds, and compare them with corresponding results obtained by using the dual graph representation. We show that, besides for non-pathological cases in two dimensions, the dual graph spectrum and spectral dimension do not generally agree, neither quantitatively nor qualitatively, with the ones obtained from the LB operator on the continuous space. We analyze the reasons of this discrepancy and discuss its possible implications on the definition of generic observables built from the dual graph representation.


title: Interface-driven magnetic anisotropy in relaxed La$_{0.7}$Sr$_{0.3}$CrO$_3$/La$_{0.7}$Sr$_{0.3}$MnO$_3$ heterostructures on MgO

abstract: We investigate the structural and magnetic properties of La$_{0.7}$Sr$_{0.3}$CrO$_3$ (LSCO)/La$_{0.7}$Sr$_{0.3}$MnO$_3$(LSMO) heterostructures grown on (001)-oriented MgO by molecular beam epitaxy. Due to the large film-substrate lattice mismatch, strain relaxation is found to occur within the first 2-3 unit cells (uc) of the film as evidenced by reflection high energy electron diffraction and high-resolution synchrotron X-ray reciprocal space mapping. We find that the presence of the LSCO spacer and capping layers leads to ferromagnetism in ultra-thin LSMO layers with thicknesses on the order of 2 uc with the magnetic easy axis oriented in the film plane. Net magnetic moments of 1.4 and 2.4 $\mu_B$/Mn are measured for [2 uc LSCO/ 2 uc LSMO] and [2 uc LSCO/ 4 uc LSMO] superlattices, respectively by SQUID magnetometry. The effective magnetic anisotropy of the relaxed [2 uc LSCO/ 4 uc LSMO] heterostructure is found to be an order of magnitude higher than bulk LSMO highlighting the critical role of interfacial magnetic exchange interactions in tuning magnetic anisotropy at complex oxide interfaces.


title: On the maximum principles and the quantitative version of the Hopf lemma for uniformly elliptic integro-differential operators

abstract: In the present paper we prove estimates on {subsolutions of the equation $-Av+c(x)v=0$}, $x\in D$, where $D\subset \bbR^d$ is a domain (i.e. an open and connected set) and $A$ is an integro-differential operator of the Waldenfels type, whose differential part satisfies the uniform ellipticity condition on compact sets. In general, the coefficients of the operator need not be continuous but only bounded and Borel measurable. Some of our results may be considered "quantitative" versions of the Hopf lemma, as they provide the lower bound on the outward normal directional derivative at the maximum point of a subsolution %on a boundary of a domain in terms of its value at the point. We shall also show lower bounds on the subsolution around its maximum point by the principal eigenfunction associated with $A$ and the domain. Additional results, among them the weak and strong maximum principles, the weak Harnack inequality are also proven.


title: Quantum Corrections to Solitons in the $\Phi^8$ Model

abstract: We compute the vacuum polarization energy of kink solitons in the $\phi^{8}$ model in one space and one time dimensions. There are three possible field potentials that have eight powers of $\phi$ and that possess kink solitons. For these different field potentials we investigate whether the vacuum polarization destabilizes thesolitons. This may particularly be the case for those potentials that have degenerate ground states with different curvatures in field space yielding different thresholds for the quantum fluctuations about the solitons at negative and positive spatial infinity. We find that destabilization occurs in some cases, but this is not purely a matter of the field potential but also depends on the realized soliton solution for that potential. One of the possible field potentials has solitons with different topological charges. In that case the classical mass approximately scales like the topological charge. Even though destabilization precludes robust statements, there are indications that the vacuum polarization energy does not scale as the topological charge.


title: Assessing the brittle crust thickness from strike-slip fault segments on Earth, Mars and Icy Moons

abstract: Segment lengths along major strike-slip faults exhibit a size dependency related to the brittle crust thickness. These segments result in the formation of the localized 'P-shear' deformation crossing and connecting the initial Riedels structures (i.e. en-echelon fault structures) which formed during the genesis stage of the fault zone. Mechanical models show that at all scales, the geometrical characteristics of the Riedels exhibit dependency on the thickness of the brittle layer. Combining the results of our mechanical discrete element model with several analogue experiments using sand, clay and gypsum, we have formulated a relationship between the orientation and spacing of Riedels and the thickness of the brittle layer. From this relationship, we derive that for a pure strike-slip mode, the maximum spacing between the Riedels are close to three times the thickness. For a transtensional mode, as the extensive component becomes predominant, the spacing distance at the surface become much smaller than the thickness. Applying this relationship to several well-characterized strike-slip faults on Earth, we show that the predicted brittle thickness is consistent with the seismogenic depth. Supposing the ubiquity of this phenomenon, we extent this relationship to characterize en-echelon structures observed on Mars, in the Memnonia region located West of Tharsis. Assuming that the outer ice shells of Ganymede, Enceladus and Europa, exhibit a brittle behavior, we suggest values of the corresponding apparent brittle thicknesses.


title: A Vector-based Representation to Enhance Head Pose Estimation

abstract: This paper proposes to use the three vectors in a rotation matrix as the representation in head pose estimation and develops a new neural network based on the characteristic of such representation. We address two potential issues existed in current head pose estimation works: 1. Public datasets for head pose estimation use either Euler angles or quaternions to annotate data samples. However, both of these annotations have the issue of discontinuity and thus could result in some performance issues in neural network training. 2. Most research works report Mean Absolute Error (MAE) of Euler angles as the measurement of performance. We show that MAE may not reflect the actual behavior especially for the cases of profile views. To solve these two problems, we propose a new annotation method which uses three vectors to describe head poses and a new measurement Mean Absolute Error of Vectors (MAEV) to assess the performance. We also train a new neural network to predict the three vectors with the constraints of orthogonality. Our proposed method achieves state-of-the-art results on both AFLW2000 and BIWI datasets. Experiments show our vector-based annotation method can effectively reduce prediction errors for large pose angles.


title: Effective Algorithm-Accelerator Co-design for AI Solutions on Edge Devices

abstract: High quality AI solutions require joint optimization of AI algorithms, such as deep neural networks (DNNs), and their hardware accelerators. To improve the overall solution quality as well as to boost the design productivity, efficient algorithm and accelerator co-design methodologies are indispensable. In this paper, we first discuss the motivations and challenges for the Algorithm/Accelerator co-design problem and then provide several effective solutions. Especially, we highlight three leading works of effective co-design methodologies: 1) the first simultaneous DNN/FPGA co-design method; 2) a bi-directional lightweight DNN and accelerator co-design method; 3) a differentiable and efficient DNN and accelerator co-search method. We demonstrate the effectiveness of the proposed co-design approaches using extensive experiments on both FPGAs and GPUs, with comparisons to existing works. This paper emphasizes the importance and efficacy of algorithm-accelerator co-design and calls for more research breakthroughs in this interesting and demanding area.


title: A Teichmuller space for negatively curved surfaces

abstract: We first describe the action of the fundamental group of a closed surface of variable negative curvature on the oriented geodesics in its universal covering in terms of a naturally-defined flat connection whose holonomy lies in the group of Hamiltonian diffeomorphisms of S^1 x R. Consideration of the holonomy necessitates an extension from Riemannian to Finsler metrics. The second part of the paper follows the Higgs bundle approach to flat connections adapted to this infinite dimensional group and focuses on a family of metrics, relying on a construction of O.Biquard, which is parametrized by the infinite-dimensional space of CR functions on the unit circle bundle of a hyperbolic surface. This generates an alternative approach to defining a connection and offers the possibility of this vector space representing a moduli space which generalizes and includes the classical Teichmueller space.


title: A Minkowski inequality for the static Einstein-Maxwell space-time

abstract: In this paper we prove a Minkowski-like inequality for an asymptotically flat static Einstein-Maxwell (electrostatic) space-time using as approach the inverse mean curvature flow (IMCF). Moreover, we discuss the importance of this inequality in the understanding of the photon sphere.


title: Towards Increasing Trust In Expert Evidence Derived From Malware Forensic Tools

abstract: Following a series of high profile miscarriages of justice in the UK linked to questionable expert evidence, the post of the Forensic Science Regulator was created in 2008. The main objective of this role is to improve the standard of practitioner competences and forensic procedures. One of the key strategies deployed to achieve this is the push to incorporate a greater level of scientific conduct in the various fields of forensic practice. Currently there is no statutory requirement for practitioners to become accredited to continue working with the Criminal Justice System of England and Wales. However, the Forensic Science Regulator is lobbying the UK Government to make this mandatory. This paper focuses upon the challenge of incorporating a scientific methodology to digital forensic investigations where malicious software ('malware') has been identified. One aspect of such a methodology is the approach followed to both select and evaluate the tools used to perform dynamic malware analysis during an investigation. Based on the literature, legal, regulatory and practical needs we derive a set of requirements to address this challenge. We present a framework, called the 'Malware Analysis Tool Evaluation Framework' (MATEF), to address this lack of methodology to evaluate software tools used to perform dynamic malware analysis during investigations involving malware and discuss how it meets the derived requirements.


title: Supergravitational turbulent thermal convection

abstract: High-Rayleigh number convective turbulence is ubiquitous in many natural phenomena and in industries, such as atmospheric circulations, oceanic flows, flows in the fluid core of planets, and energy generations. In this work, we present a novel approach to boost the Rayleigh number in thermal convection by exploiting centrifugal acceleration and rapidly rotating a cylindrical annulus to reach an effective gravity of 60 times Earth's gravity. We show that in the regime where the Coriolis effect is strong, the scaling exponent of Nusselt number versus Rayleigh number exceeds one-third once the Rayleigh number is large enough. The convective rolls revolve in prograde direction, signifying the emergence of zonal flow. The present findings open a new avenue on the exploration of high-Rayleigh number turbulent thermal convection and will improve the understanding of the flow dynamics and heat transfer processes in geophysical and astrophysical flows and other strongly rotating systems.


title: Towards Resistant Audio Adversarial Examples

abstract: Adversarial examples tremendously threaten the availability and integrity of machine learning-based systems. While the feasibility of such attacks has been observed first in the domain of image processing, recent research shows that speech recognition is also susceptible to adversarial attacks. However, reliably bridging the air gap (i.e., making the adversarial examples work when recorded via a microphone) has so far eluded researchers. We find that due to flaws in the generation process, state-of-the-art adversarial example generation methods cause overfitting because of the binning operation in the target speech recognition system (e.g., Mozilla Deepspeech). We devise an approach to mitigate this flaw and find that our method improves generation of adversarial examples with varying offsets. We confirm the significant improvement with our approach by empirical comparison of the edit distance in a realistic over-the-air setting. Our approach states a significant step towards over-the-air attacks. We publish the code and an applicable implementation of our approach.


title: The extremal number of surfaces

abstract: In 1973, Brown, Erd\H{o}s and S\'os proved that if $\mathcal{H}$ is a 3-uniform hypergraph on $n$ vertices which contains no triangulation of the sphere, then $\mathcal{H}$ has at most $O(n^{5/2})$ edges, and this bound is the best possible up to a constant factor. Resolving a conjecture of Linial, also reiterated by Keevash, Long, Narayanan, and Scott, we show that the same result holds for triangulations of the torus. Furthermore, we extend our result to every closed orientable surface $\mathcal{S}$.


title: Quasi-2D parahydrogen: On the verge of turning superfluid?

abstract: First principle computer simulations of a thin parahydrogen film adsorbed on a silica substrate at low temperature (below 6 K) yield no evidence that the top layer is liquid and/or in the proximity of a superfluid transition, as claimed in recent experimental work [T. Makiuchi et al., Phys. Rev. Lett. 123, 245301 (2019)]. Computed values of first and second layer completion densities are in quantitative agreement with experiment, but as observed also on other substrates, the top layer is an insulating crystal, quantum-mechanical exchanges of molecules are non-existent, and the overall physical behavior of the system can be understood largely along classical lines.


title: Exploring KSZ velocity reconstruction with $N$-body simulations and the halo model

abstract: KSZ velocity reconstruction is a recently proposed method for mapping the largest-scale modes of the universe, by applying a quadratic estimator $\hat{v}_r$ to the small-scale CMB and a galaxy catalog. We implement kSZ velocity reconstruction in an $N$-body simulation pipeline and explore its properties. We find that the reconstruction noise can be larger than the analytic prediction which is usually assumed. We revisit the analytic prediction and find additional noise terms which explain the discrepancy. The new terms are obtained from a six-point halo model calculation, and are analogous to the $N^{(1)}$ and $N^{(3/2)}$ biases in CMB lensing. We implement an MCMC pipeline which estimates $f_{NL}$ from $N$-body kSZ simulations, and show that it recovers unbiased estimates of $f_{NL}$, with statistical errors consistent with a Fisher matrix forecast. Overall, these results confirm that kSZ velocity reconstruction will be a powerful probe of cosmology in the near future, but new terms should be included in the noise power spectrum.


title: Keys from the Sky: A First Exploration of Physical-Layer Security Using Satellite Links

abstract: In this paper, we investigate physical-layer security (PLS) methods for proximity-based group-key establishment and proof of location. Fields of application include secure car-to-car communication, privacy-preserving and secure distance evidence for healthcare or location-based feature activation. Existing technologies do not solve the problem satisfactorily, due to communication restrictions, e.g., ultra-wide band (UWB) based time of flight measurements, or trusted hardware, e.g., using global navigation satellite system (GNSS) positioning data. We introduce PLS as a solution candidate. It is information theoretically secure, which also means post-quantum resistant, and has the potential to run on resource constrained devices with low latency. Furthermore, we use wireless channel properties of satellite-to-Earth links, demonstrate the first feasibility study using off-the-shelf hardware testbeds and present first evaluation results and future directions for research.


title: Unified gas-kinetic wave-particle methods V: diatomic molecular flow

abstract: In this paper, the unified gas-kinetic wave-particle (UGKWP) method is further developed for diatomic gas with the energy exchange between translational and rotational modes for flow study in all regimes. The multiscale transport mechanism in UGKWP is coming from the direct modeling in a discretized space, where the cell's Knudsen number, defined by the ratio of particle mean free path over the numerical cell size, determines the flow physics simulated by the wave particle formulation. The non-equilibrium distribution function in UGKWP is tracked by the discrete particle and analytical wave. The weights of distributed particle and wave in different regimes are controlled by the accumulating evolution solution of particle transport and collision within a time step, where distinguishable macroscopic flow variables of particle and wave are updated inside each control volume. With the variation of local cell's Knudsen number, the UGKWP becomes a particle method in the highly rarefied flow regime and converges to the gas-kinetic scheme (GKS) for the Navier-Stokes solution in the continuum flow regime without particles. Even targeting on the same solution as the discrete velocity method (DVM)-based unified gas-kinetic scheme (UGKS), the computational cost and memory requirement in UGKWP could be reduced by several orders of magnitude for the high speed and high temperature flow simulation, where the translational and rotational non-equilibrium becomes important in the transition and rarefied regime. As a result, 3D hypersonic computations around a flying vehicle in all regimes can be conducted using a personal computer. The UGKWP method for diatomic gas will be validated in various cases from one dimensional shock structure to three dimensional flow over a sphere, and the numerical solutions will be compared with the reference DSMC results and experimental measurements.

categories: physics.comp-ph cs.NA math.NA physics.flu-dyn


title: Conserved quantities for black hole solutions in pure Lovelock gravity

abstract: We construct conserved quantities in pure Lovelock gravity for both static and dynamic Vaydia-type black holes with AdS, dS and flat asymptotics, applying field-theoretical formalism developed earlier. Global energy (where applicable), quasi-local energy together with fluxes of these quantities are presented for both types of black holes, considering asymptotic spacetime as background. The same quantities are constructed for dynamic black holes on the background of the related static black holes. Besides, for the dynamic black holes, energy densities and densities of energy flux are calculated in the frame of freely and radially falling observer on the background of the related static black holes. All the constructed energetic characteristics are analyzed and discussed in detail.


title: Analogues of Khintchine's theorem for random attractors

abstract: In this paper we study random iterated function systems. Our main result gives sufficient conditions for an analogue of a well known theorem due to Khintchine from Diophantine approximation to hold almost surely for stochastically self-similar and self-affine random iterated function systems.


title: Experimental study on wave attenuation by vegetation by means of particle imaging velocimetry

abstract: Coastal vegetation serves as an ecological defense and plays an important role when facing marine disaster such as storm surge. In this study, we investigated experimentally the wave attenuation, including wave height and wave force decay, and flow field within rigid vegetation by means of particle imaging velocimetry (PIV). Drag coefficient of vegetation is closely related the wave attenuation by vegetation. Based on Morison equation, a new modified direct measurement method to derive the drag coefficient of vegetation was proposed in this study. This method can eliminate the potential errors and obtain more accurate drag coefficient to have a well-fitted relationship with Reynolds number compared with the previous methods. More importantly, we showed the flow field including instantaneous velocity filed in different wave phase within the vegetation and turbulent kinetic energy (TKE) field to describe the mechanisms of wave energy dissipation. In addition, a prediction model to reproduce the instantaneous TKE was proposed by the work input of vegetation. The results illustrated that all these characteristics of parameters can help us understand the effect of the coastal vegetation on wave attenuation better.


title: Balayage of measures on a locally compact space

abstract: We develop a theory of inner balayage of a positive Radon measure $\mu$ of finite energy on a locally compact space $X$ to arbitrary $A\subset X$, generalizing Cartan's theory of Newtonian inner balayage on $\mathbb R^n$, $n\geqslant3$, to a suitable function kernel on $X$. As an application of the theory thereby established, we show that if the space $X$ is perfectly normal and of class $K_\sigma$, then a recent result by Bent Fuglede (Anal. Math., 2016) on outer balayage of $\mu$ to quasiclosed $A$ remains valid for arbitrary Borel $A$. We give in particular various alternative definitions of inner (outer) balayage, provide a formula for evaluation of its total mass, and prove convergence theorems for inner (outer) swept measures and their potentials. The results obtained do hold (and are new in part) for most classical kernels on $\mathbb R^n$, $n\geqslant2$, which is important in applications.


title: Heights and arithmetic dynamics over finitely generated fields

abstract: We develop a theory of vector-valued heights and intersections defined relative to finitely generated extensions K/k. These generalize both number field and geometric heights. When k is Q or F_p, or when a non-isotriviality condition holds, we obtain Northcott-type results. We then prove a version of the Hodge Index Theorem for vector-valued intersections, and use it to prove a rigidity theorem for polarized dynamical systems over any field.


title: Deficiency zero for random reaction networks under a stochastic block model framework

abstract: Deficiency zero is an important network structure and has been the focus of many celebrated results within reaction network theory. In our previous paper \textit{Prevalence of deficiency zero reaction networks in an Erd\H os-R\'enyi framework}, we provided a framework to quantify the prevalence of deficiency zero among randomly generated reaction networks. Specifically, given a randomly generated binary reaction network with $n$ species, with an edge between two arbitrary vertices occurring independently with probability $p_n$, we established the threshold function $r(n)=\frac{1}{n^3}$ such that the probability of the random network being deficiency zero converges to 1 if $\frac{p_n}{r(n)}\to 0$ and converges to 0 if $\frac{p_n}{r(n)}\to\infty$, as $n \to \infty$. With the base Erd\H os-R\'enyi framework as a starting point, the current paper provides a significantly more flexible framework by weighting the edge probabilities via control parameters $\alpha_{i,j}$, with $i,j\in \{0,1,2\}$ enumerating the types of possible vertices (zeroth, first, or second order). The control parameters can be chosen to generate random reaction networks with a specific underlying structure, such as "closed" networks with very few inflow and outflow reactions, or "open" networks with abundant inflow and outflow. Under this new framework, for each choice of control parameters $\{\alpha_{i,j}\}$, we establish a threshold function $r(n,\{\alpha_{i,j}\})$ such that the probability of the random network being deficiency zero converges to 1 if $\frac{p_n}{r(n,\{\alpha_{i,j}\})}\to 0$ and converges to 0 if $\frac{p_n}{r(n,\{\alpha_{i,j}\})}\to \infty$.


title: Black Hole Perturbations and Quasinormal Modes in Hybrid Metric-Palatini Gravity

abstract: The rapid advancement of gravitational wave astronomy in recent years has paved the way for the burgeoning development of black hole spectroscopy, which enhances the possibility of testing black holes by their quasinormal modes (QNMs). In this paper, the axial gravitational perturbations and the QNM frequencies of black holes in the hybrid metric-Palatini gravity (HMPG) are investigated. The HMPG theory is characterized by a dynamical scalar degree of freedom and is able to explain the late-time accelerating expansion of the universe without introducing any \textit{ad hoc} screening mechanism to preserve the dynamics at the Solar System scale. We obtain the master equation governing the axial gravitational perturbations of the HMPG black holes and calculate the QNM frequencies. Moreover, in the scrutiny of the black holes and their QNMs, we take into account the constraints on the model parameters based on the post-Newtonian analysis, and show how the QNM frequencies of the HMPG black holes would be altered in the observationally consistent range of parameter space.


title: Identifiable paths and cycles in linear compartmental models

abstract: We introduce a class of linear compartmental models called identifiable path/cycle models which have the property that all of the monomial functions of parameters associated to the directed cycles and paths from input compartments to output compartments are identifiable and give sufficient conditions to obtain one. Removing leaks, we then show how one can obtain a locally identifiable model from an identifiable path/cycle model. These identifiable path/cycle models yield the only identifiable models with certain conditions on their graph structure and thus we provide necessary and sufficient conditions for identifiable models with certain graph properties. A sufficient condition based on the graph structure of the model is also provided so that one can test if a model is an identifiable path/cycle model by examining the graph itself. We also provide some necessary conditions for identifiability based on graph structure. Our proofs use algebraic and combinatorial techniques.


title: Incorporating survival data into case-control studies with incident and prevalent cases

abstract: Typically, case-control studies to estimate odds-ratios associating risk factors with disease incidence from logistic regression only include cases with newly diagnosed disease. Recently proposed methods allow incorporating information on prevalent cases, individuals who survived from disease diagnosis to sampling, into cross-sectionally sampled case-control studies under parametric assumptions for the survival time after diagnosis. Here we propose and study methods to additionally use prospectively observed survival times from prevalent and incident cases to adjust logistic models for the time between disease diagnosis and sampling, the backward time, for prevalent cases. This adjustment yields unbiased odds-ratio estimates from case-control studies that include prevalent cases. We propose a computationally simple two-step generalized method-of-moments estimation procedure. First, we estimate the survival distribution based on a semi-parametric Cox model using an expectation-maximization algorithm that yields fully efficient estimates and accommodates left truncation for the prevalent cases and right censoring. Then, we use the estimated survival distribution in an extension of the logistic model to three groups (controls, incident and prevalent cases), to accommodate the survival bias in prevalent cases. In simulations, when the amount of censoring was modest, odds-ratios from the two-step procedure were equally efficient as those estimated by jointly optimizing the logistic and survival data likelihoods under parametric assumptions. Even with 90% censoring they were as efficient as estimates obtained using only cross-sectionally available information under parametric assumptions. This indicates that utilizing prospective survival data from the cases lessens model dependency and improves precision of association estimates for case-control studies with prevalent cases.


title: On coarse embeddings of amenable groups into hyperbolic graphs

abstract: In this note we prove that if a finitely generated amenable group admits a regular map to a direct product of a hyperbolic space and a euclidean space, then it must be virtually nilpotent. We deduce that an amenable group regularly embeds into a hyperbolic group if and only if it is virtually nilpotent, answering a question of Hume and Sisto. We describe an application to Lorentz geometry due to Charles Frances.


title: Ergodicity in Riesz spaces

abstract: The ergodic theorems of Hopf, Wiener and Birkhoff were extended to the context of Riesz spaces with a weak order unit and conditional expectation operator by Kuo, Labuschagne and Watson in [Ergodic Theory and the Strong Law of Large Numbers on Riesz Spaces. Journal of Mathematical Analysis and Applications, 325,(2007), 422-437.]. However, the precise concept of what constitutes ergodicity in Riesz spaces was not considered. In this short paper we fill in this omission and give some explanations of the choices made. In addition, we consider the interplay between mixing and ergodicity in the Riesz space setting.


title: Ribbon cobordisms between lens spaces

abstract: We determine when there exists a ribbon rational homology cobordism between two connected sums of lens spaces, i.e. one without $3$-handles. In particular, we show that if a lens space $L$ admits a ribbon rational homology cobordism to a different lens space, then $L$ must be homeomorphic to $L(n,1)$, up to orientation-reversal. As an application, we classify ribbon $\chi$-concordances between connected sums of $2$-bridge links. Our work builds on Lisca's work on embeddings of linear lattices.


title: Emergent Jaw Predominance in Vocal Development through Stochastic Optimization

abstract: Infant vocal babbling strongly relies on jaw oscillations, especially at the stage of canonical babbling, which underlies the syllabic structure of world languages. In this paper, we propose, model and analyze an hypothesis to explain this predominance of the jaw in early babbling. This hypothesis states that general stochastic optimization principles, when applied to learning sensorimotor control, automatically generate ordered babbling stages with a predominant exploration of jaw movements in early stages. The reason is that those movements impact the auditory effects more than other articulators. In previous computational models, such general principles were shown to selectively freeze and free degrees of freedom in a model reproducing the proximo-distal development observed in infant arm reaching. The contribution of this paper is to show how, using the same methods, we are able to explain such patterns in vocal development. We present three experiments. The two first ones show that the recruitment order of articulators emerging from stochastic optimization depends on the target sound to be achieved but that on average the jaw is largely chosen as the first recruited articulator. The third experiment analyses in more detail how the emerging recruitment order is shaped by the dynamics of the optimization process.


title: HeartBees: Visualizing Crowd Affects

abstract: Affective sharing within groups strengthens coordination and empathy, leads to better health outcomes, and increases productivity and performance. Existing tools for affective sharing face one main challenge: creating a representation of collective emotional states that is relatable and universally accessible. To overcome this challenge, we propose HeartBees, a bio-feedback system for visualizing collective emotional states, which maps a multi-dimensional emotion model into a metaphorical visualization of flocks of birds. Grounded on Affective Computing literature and physiological sensing, we mapped physiological indicators that could be obtained from wearable devices into a multi-dimensional emotion model, which, in turn, our HeartBees can make use of. We evaluated our nature-inspired interactive system with 353 online participants, whose responses showed good consensus in the way they subjectively perceived the visualizations. Last, we discuss practical applications of HeartBees.


title: Learning Propagation Rules for Attribution Map Generation

abstract: Prior gradient-based attribution-map methods rely on handcrafted propagation rules for the non-linear/activation layers during the backward pass, so as to produce gradients of the input and then the attribution map. Despite the promising results achieved, such methods are sensitive to the non-informative high-frequency components and lack adaptability for various models and samples. In this paper, we propose a dedicated method to generate attribution maps that allow us to learn the propagation rules automatically, overcoming the flaws of the handcrafted ones. Specifically, we introduce a learnable plugin module, which enables adaptive propagation rules for each pixel, to the non-linear layers during the backward pass for mask generating. The masked input image is then fed into the model again to obtain new output that can be used as a guidance when combined with the original one. The introduced learnable module can be trained under any auto-grad framework with higher-order differential support. As demonstrated on five datasets and six network architectures, the proposed method yields state-of-the-art results and gives cleaner and more visually plausible attribution maps.


title: Fast Generation of Unlabelled Free Trees using Weight Sequences

abstract: In this paper, we introduce a new representation for ordered trees, the weight sequence representation. We then use this to construct new representations for both rooted trees and free trees, namely the canonical weight sequence representation. We construct algorithms for generating the weight sequence representations for all rooted and free trees of order n, and then add a number of modifications to improve the efficiency of the algorithms. Python implementations of the algorithms incorporate further improvements by using generators to avoid having to store the long lists of trees returned by the recursive calls, as well as caching the lists for rooted trees of small order, thereby eliminating many of the recursive calls. We further show how the algorithm can be modifed to generate adjacency list and adjacency matrix representations for free trees. We compared the run-times of our Python implementation for generating free trees with the Python implementation of the well-known WROM algorithm taken from NetworkX. The implementation of our algorithm is over four times as fast as the implementation of the WROM algorithm. The run-times for generating adjacency lists and matrices are somewhat longer than those for weight sequences, but are still over three times as fast as the corresponding implementations of the WROM algorithm.


title: Geometry matters: Exploring language examples at the decision boundary

abstract: A growing body of recent evidence has highlighted the limitations of natural language processing (NLP) datasets and classifiers. These include the presence of annotation artifacts in datasets, classifiers relying on shallow features like a single word (e.g., if a movie review has the word "romantic", the review tends to be positive), or unnecessary words (e.g., learning a proper noun to classify a movie as positive or negative). The presence of such artifacts has subsequently led to the development of challenging datasets to force the model to generalize better. While a variety of heuristic strategies, such as counterfactual examples and contrast sets, have been proposed, the theoretical justification about what makes these examples difficult for the classifier is often lacking or unclear. In this paper, using tools from information geometry, we propose a theoretical way to quantify the difficulty of an example in NLP. Using our approach, we explore difficult examples for several deep learning architectures. We discover that both BERT, CNN and fasttext are susceptible to word substitutions in high difficulty examples. These classifiers tend to perform poorly on the FIM test set. (generated by sampling and perturbing difficult examples, with accuracy dropping below 50%). We replicate our experiments on 5 NLP datasets (YelpReviewPolarity, AGNEWS, SogouNews, YelpReviewFull and Yahoo Answers). On YelpReviewPolarity we observe a correlation coefficient of -0.4 between resilience to perturbations and the difficulty score. Similarly we observe a correlation of 0.35 between the difficulty score and the empirical success probability of random substitutions. Our approach is simple, architecture agnostic and can be used to study the fragilities of text classification models. All the code used will be made publicly available, including a tool to explore the difficult examples for other datasets.


title: Data Readiness Report

abstract: Data exploration and quality analysis is an important yet tedious process in the AI pipeline. Current practices of data cleaning and data readiness assessment for machine learning tasks are mostly conducted in an arbitrary manner which limits their reuse and results in loss of productivity. We introduce the concept of a Data Readiness Report as an accompanying documentation to a dataset that allows data consumers to get detailed insights into the quality of input data. Data characteristics and challenges on various quality dimensions are identified and documented keeping in mind the principles of transparency and explainability. The Data Readiness Report also serves as a record of all data assessment operations including applied transformations. This provides a detailed lineage for the purpose of data governance and management. In effect, the report captures and documents the actions taken by various personas in a data readiness and assessment workflow. Overtime this becomes a repository of best practices and can potentially drive a recommendation system for building automated data readiness workflows on the lines of AutoML [8]. We anticipate that together with the Datasheets [9], Dataset Nutrition Label [11], FactSheets [1] and Model Cards [15], the Data Readiness Report makes significant progress towards Data and AI lifecycle documentation.


title: Rudnick and Soundarajan's Theorem over Prime Polynomials for the Rational Function Field

abstract: In this paper, we use the methods of Andrade, Rudnick and Soundarajan to prove a Theorem about Lower bounds of moments of quadratic Dirichlet L-functions associated to monic irreducible polynomials over function fields.


title: PointManifold: Using Manifold Learning for Point Cloud Classification

abstract: In this paper, we propose a point cloud classification method based on graph neural network and manifold learning. Different from the conventional point cloud analysis methods, this paper uses manifold learning algorithms to embed point cloud features for better considering the geometric continuity on the surface. Then, the nature of point cloud can be acquired in low dimensional space, and after being concatenated with features in the original three-dimensional (3D)space, both the capability of feature representation and the classification network performance can be improved. We pro-pose two manifold learning modules, where one is based on locally linear embedding algorithm, and the other is a non-linear projection method based on neural network architecture. Both of them can obtain better performances than the state-of-the-art baseline. Afterwards, the graph model is constructed by using the k nearest neighbors algorithm, where the edge features are effectively aggregated for the implementation of point cloud classification. Experiments show that the proposed point cloud classification methods obtain the mean class accuracy (mA) of 90.2% and the overall accuracy (oA)of 93.2%, which reach competitive performances compared with the existing state-of-the-art related methods.


title: Physical Layer Security for V2I Communications: Reflecting Surfaces Vs. Relaying

abstract: Wireless vehicular network (WVN) is exponentially gaining attention from industries and researchers since it is the Keystone of intelligent transportation systems (ITS). Despite the sophisticated features and services that it can offer, it is susceptible to networking attacks such as eavesdropping threats where the confidential transmitted signal could be overheard by a malicious entity. In this paper, we intend to study the physical layer security (PLS) where we consider the eavesdropping attack for vehicle-to-infrastructure (V2I) communications. We analyze the average secrecy capacity, under different scenarios by comparing the performances of employing the decode-and-forward (D relay, the amplify-and-forward fixed gain (AFFG) relay, and the intelligent reflecting surface (IRS). Actually, this comparison investigates the efficiency of IRS comparing to the traditional relaying systems, since it was introduced as a novel paradigm in wireless technology with highly promising potential, especially in 5G and 6G.


title: Back to the Future: Cycle Encoding Prediction for Self-supervised Contrastive Video Representation Learning

abstract: In this paper we show that learning video feature spaces in which temporal cycles are maximally predictable benefits action classification. In particular, we propose a novel learning approach termed Cycle Encoding Prediction (CEP) that is able to effectively represent high-level spatio-temporal structure of unlabelled video content. CEP builds a latent space wherein the concept of closed forward-backward as well as backward-forward temporal loops is approximately preserved. As a self-supervision signal, CEP leverages the bi-directional temporal coherence of the video stream and applies loss functions that encourage both temporal cycle closure as well as contrastive feature separation. Architecturally, the underpinning network structure utilises a single feature encoder for all video snippets, adding two predictive modules that learn temporal forward and backward transitions. We apply our framework for pretext training of networks for action recognition tasks. We report significantly improved results for the standard datasets UCF101 and HMDB51. Detailed ablation studies support the effectiveness of the proposed components. We publish source code for the CEP components in full with this paper.


title: Peridynamics-based discrete element method (PeriDEM) model of granular systems involving breakage of arbitrarily shaped particles

abstract: Usage, manipulation, transport, delivery, and mixing of granular or particulate media, comprised of spherical or polyhedral particles, is commonly encountered in industrial sectors of construction (cement and rock fragments), pharmaceutics (tablets), and transportation (ballast). Elucidating particulate media's behavior in concert with particle attrition (i.e., particle wear and subsequent particle fragmentation) is essential for predicting the performance and increasing the efficiency of engineering systems using such media. Discrete element method (DEM) based techniques can describe the interaction between particles but cannot model intra-particle deformation, especially intra-particle fracture. On the other hand, peridynamics provides the means to account for intra-particle deformation and fracture due to contact forces between particles. The present study proposes a hybrid model referred to as \textit{PeriDEM} that combines the advantages of peridynamics and DEM. The model parameters can be tuned to achieve desired DEM contact forces, damping effects, and intra-particle stiffness. Two particle impacts and compressive behavior of multi-particle systems are thoroughly investigated. The model can account for any arbitrarily shaped particle in general. Spherical, hexagonal, and non-convex particle shapes are simulated in the present study. The effect of mesh resolution on intra-particle peridynamics is explicitly studied. The proposed hybrid model opens a new avenue to explore the complicated interactions encountered in discrete particle dynamics that involve the formation of force chains, particle interlocking, particle attrition, wear, and the eventual breakage.


title: Vision-Aided Radio: User Identity Match in Radio and Video Domains Using Machine Learning

abstract: 5G is designed to be an essential enabler and a leading infrastructure provider in the communication technology industry by supporting the demand for the growing data traffic and a variety of services with distinct requirements. The use of deep learning and computer vision tools has the means to increase the environmental awareness of the network with information from visual data. Information extracted via computer vision tools such as user position, movement direction, and speed can be promptly available for the network. However, the network must have a mechanism to match the identity of a user in both visual and radio systems. This mechanism is absent in the present literature. Therefore, we propose a framework to match the information from both visual and radio domains. This is an essential step to practical applications of computer vision tools in communications. We detail the proposed framework training and deployment phases for a presented setup. We carried out practical experiments using data collected in different types of environments. The work compares the use of Deep Neural Network and Random Forest classifiers and shows that the former performed better across all experiments, achieving classification accuracy greater than 99%.


title: Markov Decision Processes with Recursive Risk Measures

abstract: In this paper, we consider risk-sensitive Markov Decision Processes (MDPs) with Borel state and action spaces and unbounded cost under both finite and infinite planning horizons. Our optimality criterion is based on the recursive application of static risk measures. This is motivated by recursive utilities in the economic literature, has been studied before for the entropic risk measure and is extended here to an axiomatic characterization of suitable risk measures. We derive a Bellman equation and prove the existence of Markovian optimal policies. For an infinite planning horizon, the model is shown to be contractive and the optimal policy to be stationary. Moreover, we establish a connection to distributionally robust MDPs, which provides a global interpretation of the recursively defined objective function. Monotone models are studied in particular.


title: Affect-Driven Modelling of Robot Personality for Collaborative Human-Robot Interactions

abstract: Collaborative interactions require social robots to adapt to the dynamics of human affective behaviour. Yet, current approaches for affective behaviour generation in robots focus on instantaneous perception to generate a one-to-one mapping between observed human expressions and static robot actions. In this paper, we propose a novel framework for personality-driven behaviour generation in social robots. The framework consists of (i) a hybrid neural model for evaluating facial expressions and speech, forming intrinsic affective representations in the robot, (ii) an Affective Core, that employs self-organising neural models to embed robot personality traits like patience and emotional actuation, and (iii) a Reinforcement Learning model that uses the robot's affective appraisal to learn interaction behaviour. For evaluation, we conduct a user study (n = 31) where the NICO robot acts as a proposer in the Ultimatum Game. The effect of robot personality on its negotiation strategy is witnessed by participants, who rank a patient robot with high emotional actuation higher on persistence, while an inert and impatient robot higher on its generosity and altruistic behaviour.


title: Domain Shift in Computer Vision models for MRI data analysis: An Overview

abstract: Machine learning and computer vision methods are showing good performance in medical imagery analysis. Yetonly a few applications are now in clinical use and one of the reasons for that is poor transferability of themodels to data from different sources or acquisition domains. Development of new methods and algorithms forthe transfer of training and adaptation of the domain in multi-modal medical imaging data is crucial for thedevelopment of accurate models and their use in clinics. In present work, we overview methods used to tackle thedomain shift problem in machine learning and computer vision. The algorithms discussed in this survey includeadvanced data processing, model architecture enhancing and featured training, as well as predicting in domaininvariant latent space. The application of the autoencoding neural networks and their domain-invariant variationsare heavily discussed in a survey. We observe the latest methods applied to the magnetic resonance imaging(MRI) data analysis and conclude on their performance as well as propose directions for further research.


title: Cost-optimal V2X Service Placement in Distributed Cloud/Edge Environment

abstract: Deploying V2X services has become a challenging task. This is mainly due to the fact that such services have strict latency requirements. To meet these requirements, one potential solution is adopting mobile edge computing (MEC). However, this presents new challenges including how to find a cost efficient placement that meets other requirements such as latency. In this work, the problem of cost-optimal V2X service placement (CO-VSP) in a distributed cloud/edge environment is formulated. Additionally, a cost-focused delay-aware V2X service placement (DA-VSP) heuristic algorithm is proposed. Simulation results show that both CO-VSP model and DA-VSP algorithm guarantee the QoS requirements of all such services and illustrates the trade-off between latency and deployment cost.


title: A statistical inference approach to time-delay interferometry for gravitational-wave detection

abstract: The future space-based gravitational wave observatory LISA will consist of a constellation of three spacecraft in a triangular constellation, connected by laser interferometers with 2.5 million-kilometer arms. Among other challenges, the success of the mission strongly depends on the quality of the cancellation of laser frequency noise, whose power lies eight orders of magnitude above the gravitational signal. The standard technique to perform noise removal is time-delay interferometry (TDI). TDI constructs linear combinations of delayed phasemeter measurements tailored to cancel laser noise terms. Previous work has demonstrated the relationship between TDI and principal component analysis (PCA). We build on this idea to develop an extension of TDI based on a model likelihood that directly depends on the phasemeter measurements. Assuming stationary Gaussian noise, we decompose the measurement covariance using PCA in the frequency domain. We obtain a comprehensive and compact framework that we call PCI for "principal component interferometry," and show that it provides an optimal description of the LISA data analysis problem.


title: Asymptotically rigid mapping class groups I: Finiteness properties of braided Thompson's and Houghton's groups

abstract: This article is dedicated to the study of asymptotically rigid mapping class groups of infinitely-punctured surfaces obtained by thickening planar trees. Such groups include the braided Ptolemy-Thompson groups $T^\sharp,T^\ast$ introduced by Funar and Kapoudjian, and the braided Houghton groups $\mathrm{br}H_n$ introduced by Degenhardt. We present an elementary construction of a contractible cube complex, on which these groups act with cube-stabilisers isomorphic to finite extensions of braid groups. As an application, we prove Funar-Kapoudjian's and Degenhardt's conjectures by showing that $T^\sharp,T^\ast$ are of type $F_\infty$ and that $\mathrm{br}H_n$ is of type $F_{n-1}$ but not of type $F_n$.


title: Discriminating Equivalent Algorithms via Relative Performance

abstract: In scientific computing, it is common that a mathematical expression can be computed by many different algorithms (sometimes over hundreds), each identifying a specific sequence of library calls. Although mathematically equivalent, those algorithms might exhibit significant differences in terms of performance. However in practice, due to fluctuations, there is not one algorithm that consistently performs noticeably better than the rest. For this reason, with this work we aim to identify not the one best algorithm, but the subset of algorithms that are reliably faster than the rest. To this end, instead of using the usual approach of quantifying the performance of an algorithm in absolute terms, we present a measurement-based clustering approach to sort the algorithms into equivalence (or performance) classes using pair-wise comparisons. We show that this approach, based on relative performance, leads to robust identification of the fastest algorithms even under noisy system conditions. Furthermore, it enables the development of practical machine learning models for automatic algorithm selection.


title: A Note on S.Weinberg, "Massless Particles in Higher Dimensions"

abstract: In [1], Weinberg made a conjecture about the little-group representations of massless particles that can be created out of the vacuum by the action of a local operator in $d$ dimensions, generalizing his old result [2] in $d=4$. In this note, I prove his conjecture and extend it to arbitrary irreps of $so(1,d-1)$.


title: Polar Coding for Multi-level 3-Receiver Broadcast Channels

abstract: We consider achieving the rates in the capacity region of a multi-level 3-receiver broadcast channel, in which the second receiver is degraded with respect to the first receiver, with degraded message sets. We propose a two-level chaining strategy based on polar codes that achieves the capacity region of the considered setting without time-sharing. We also look at a slight variation of this problem, where the first receiver only requires to decode its own private message and the other two receivers require to decode another private message common to them. We observe that the capacity region does not enlarge and so the proposed polar coding strategy achieves the capacity region for this problem as well.


title: Optimal Boundary Control of a Nonlinear Reaction Diffusion Equation via Completing the Square and Al'brekht's Method

abstract: The two contributions of this paper are as follows. The first is the solution of an infinite dimensional, boundary controlled Linear Quadratic Regulator by the simple and constructive method of completing the square. The second contribution is the extension of Al'brekht's method to the optimal stabilization of a boundary controlled, nonlinear Reaction Diffusion system.


title: An Evasion Attack against Stacked Capsule Autoencoder

abstract: Capsule network is a type of neural network that uses the spatial relationship between features to classify images. By capturing the poses and relative positions between features, its ability to recognize affine transformation is improved, and it surpasses traditional convolutional neural networks (CNNs) when handling translation, rotation and scaling. The Stacked Capsule Autoencoder (SCAE) is the state-of-the-art capsule network. The SCAE encodes an image as capsules, each of which contains poses of features and their correlations. The encoded contents are then input into the downstream classifier to predict the categories of the images. Existing research mainly focuses on the security of capsule networks with dynamic routing or EM routing, and little attention has been given to the security and robustness of the SCAE. In this paper, we propose an evasion attack against the SCAE. After a perturbation is generated based on the output of the object capsules in the model, it is added to an image to reduce the contribution of the object capsules related to the original category of the image so that the perturbed image will be misclassified. We evaluate the attack using an image classification experiment, and the experimental results indicate that the attack can achieve high success rates and stealthiness. It confirms that the SCAE has a security vulnerability whereby it is possible to craft adversarial samples without changing the original structure of the image to fool the classifiers. We hope that our work will make the community aware of the threat of this attack and raise the attention given to the SCAE's security.


title: On the Oberwolfach problem for single-flip $2$-factors via graceful labelings

abstract: Let $F$ be a $2$-regular graph of order $v$. The Oberwolfach problem $OP(F)$, posed in 1967 and still open, asks for a decomposition of $K_v$ into copies of $F$. In this paper we show that $OP(F)$ has a solution whenever $F$ has a sufficiently large cycle which meets a given lower bound and, in addition, has a single-flip automorphism, which is an involutory automorphism acting as a reflection on exactly one of the cycles of $F$. Furthermore, we prove analogous results for the minimum covering version and the maximum packing version of the problem. We also show a similar result when the edges of $K_v$ have multiplicity 2, but in this case we do not require that $F$ be single-flip. Our approach allows us to explicitly construct solutions to the Oberwolfach Problem with well-behaved automorphisms, in contrast with some recent asymptotic results, based on probabilistic methods, which are nonconstructive and do not provide a lower bound on the order of $F$ that guarantees the solvability of $OP(F)$. Our constructions are based on a doubling construction which applies to graceful labelings of $2$-regular graphs with a vertex removed. We show that this class of graphs is graceful as long as the length of the path-component is sufficiently large. A much better lower bound on the length of the path is given for an $\alpha$-labeling of such graphs to exist.


title: Semi-classical quantisation of magnetic solitons in the anisotropic Heisenberg quantum chain

abstract: Using the algebro-geometric approach, we study the structure of semi-classical eigenstates in a weakly-anisotropic quantum Heisenberg spin chain. We outline how classical nonlinear spin waves governed by the anisotropic Landau-Lifshitz equation arise as coherent macroscopic low-energy fluctuations of the ferromagnetic ground state. Special emphasis is devoted to the simplest types of solutions, describing precessional motion and elliptic magnetisation waves. The internal magnon structure of classical spin waves is resolved by performing the semi-classical quantisation using the Riemann-Hilbert problem approach. We present an expression for the overlap of two semi-classical eigenstates and discuss how correlation functions at the semi-classical level arise from classical phase-space averaging.

categories: cond-mat.stat-mech cond-mat.str-el hep-th math-ph math.MP quant-ph


title: Fader Networks for domain adaptation on fMRI: ABIDE-II study

abstract: ABIDE is the largest open-source autism spectrum disorder database with both fMRI data and full phenotype description. These data were extensively studied based on functional connectivity analysis as well as with deep learning on raw data, with top models accuracy close to 75\% for separate scanning sites. Yet there is still a problem of models transferability between different scanning sites within ABIDE. In the current paper, we for the first time perform domain adaptation for brain pathology classification problem on raw neuroimaging data. We use 3D convolutional autoencoders to build the domain irrelevant latent space image representation and demonstrate this method to outperform existing approaches on ABIDE data.


title: Few-layer hyperbolic multilayer for spontaneous emission enhancement

abstract: Multilayer hyperbolic metamaterials consisting of alternating metal and dielectric layers have important applications in spontaneous emission enhancement. In contrast to the conventional choice of at least dozens of layers in multilayer structures to achieve tunable Purcell effect on quantum emitters, our numerical calculations reveal that multilayers with fewer layers and thinner layers would outperform in Purcell effect. These discoveries are attributed to the negative contributions by an increasing layer number to the imaginary part of the reflection coefficient, and the stronger coupling between surface plasmon polariton modes on a thinner metal layer. This work could provide fundamental insights and practical guide for optimizing the local density of optical states enhancement functionality of ultrathin and even two-dimensional photon sources.


title: The position-dependent matter density probability distribution function

abstract: We introduce the position-dependent probability distribution function (PDF) of the smoothed matter field as a cosmological observable. In comparison to the PDF itself, the spatial variation of the position-dependent PDF is simpler to model and has distinct dependence on cosmological parameters. We demonstrate that the position-dependent PDF is characterized by variations in the local mean density, and we compute the linear response of the PDF to the local density using separate universe N-body simulations. The linear response of the PDF to the local density field can be thought of as the linear bias of regions of the matter field selected based on density. We provide a model for the linear response, which accurately predicts our simulation measurements. We also validate our results and test the separate universe consistency relation for the local PDF using global universe simulations. We find excellent agreement between the two, and we demonstrate that the separate universe method gives a lower variance determination of the linear response.


title: A Whitney extension theorem for functions taking values in scales of Banach spaces

abstract: We introduce a modified version of the Whitney extension operators for collections of functions from a closed subset of $\mathbb{R}^n$ into scales of Banach spaces with smoothing operators. We prove an extension theorem for collections whose elements take values in different spaces of the scale. A motivation for considering this kind of collections comes from very basic observations on the composition of functions of more than one real variable. The idea at the base of the proof is rather natural in the context of scales of Banach spaces, and consists in introducing smoothing operators in the construction of the extension, with smoothing parameters related to the diameter of each Whitney dyadic cube. Classical examples of scales of Banach spaces with smoothing operators are also given, and some new related observations are proved.


title: Against the Others! Detecting Moral Outrage inSocial Media Networks

abstract: Online firestorms on Twitter are seemingly arbitrarily occurring outrages towards people, companies, media campaigns and politicians. Moral outrages can create an excessive collective aggressiveness against one single argument, one single word, or one action of a person resulting in hateful speech. With a collective "against the others" the negative dynamics often start. Using data from Twitter, we explored the starting points of several firestorm outbreaks. As a social media platform with hundreds of millions of users interacting in real-time on topics and events all over the world, Twitter serves as a social sensor for online discussions and is known for quick and often emotional disputes. The main question we pose in this article, is whether we can detect the outbreak of a firestorm. Given 21 online firestorms on Twitter, the key questions regarding the anomaly detection are: 1) How can we detect the changing point? 2) How can we distinguish the features that cause a moral outrage? In this paper we examine these challenges developing a method to detect the point of change systematically spotting on linguistic cues of tweets. We are able to detect outbreaks of firestorms early and precisely only by applying linguistic cues. The results of our work can help detect negative dynamics and may have the potential for individuals, companies, and governments to mitigate hate in social media networks.


title: Motivic fundamental groups of CM elliptic curves and geometry of Bianchi hyperbolic threefolds

abstract: In this paper we describe a connection between realizations of the action of the motivic Galois group on the motivic fundamental groups of Gaussian and Eisenstein elliptic curves punctured at the $\mathfrak{p}$-torsion points, $\pi_1^{\rm Mot}(E-E[\mathfrak{p}],v_0)$, and the geometry of the Bianchi hyperbolic threefolds $\Gamma_1(\mathfrak{p})\setminus\mathbb{H}^3$, where $\Gamma_1(\mathfrak{p})$ is a congruence subgroup of ${\rm GL}_2({\rm End}(E))$. The first instance of such a connection was found by A.Goncharov (arXiv:math/0510310). In particular, we study the Hodge realization of the image of the above action in the fundamental Lie algebra, a pronilpotent Lie algebra carrying a filtration by depth. The depth-1 associated graded quotient of the image is fully described by Beilinson and Levin's elliptic polylogarithms. In this paper, we consider the depth-2 associated graded quotient. One of our main results is the construction of a homomorphism from the complex computing the cohomology of a certain local system on the Bianchi threefold to this quotient's standard cochain complex. This result generalizes those of Goncharov, as well the connection between modular manifolds and the motivic fundamental group of $\mathbb{G}_m$ punctured at roots of unity (arXiv:1105.2076, arXiv:1910.10321). Our construction uses the mechanism of Hodge correlators, canonical generators in the image that were defined in arXiv:0803.0297. Our second main result is a system of double shuffle relations on the canonical real periods of these generators, the Hodge correlator integrals. These relations deform the relations on the depth-2 Hodge correlators on the projective line, previously found by the author (arXiv:2003.06521).


title: Handling plant-model mismatch in Koopman Lyapunov-based model predictive control via offset-free control framework

abstract: Koopman operator theory enables a global linear representation of a given nonlinear dynamical system by transforming the nonlinear dynamics into a higher dimensional observable function space where the evolution of observable functions is governed by an infinite-dimensional linear operator. For practical application of Koopman operator theory, various data-driven methods have been developed to derive lifted state-space models via approximation to the Koopman operator. Based on approximate models, several Koopman-based model predictive control (KMPC) schemes have been proposed. However, since a finite-dimensional approximation to the infinite-dimensional Koopman operator cannot fully represent a nonlinear dynamical system, plant-model mismatch inherently exists in these KMPC schemes and negatively influences the performance of control systems. In this work, we present offset-free Koopman Lyapunov-based model predictive control (KLMPC) framework that addresses the inherent plant-model mismatch in KMPC schemes using an offset-free control framework based on a disturbance estimator approach and ensures feasibility and stability of the control system by applying Lyapunov constraints to the optimal control problem. The zero steady-state offset condition of the developed framework is mathematically examined. The effectiveness of the developed framework is also demonstrated by comparing the closed-loop results of the proposed offset-free KLMPC and the nominal KLMPC.


title: Detecting Composite Dark Matter with Long Range and Contact Interactions in Gas Clouds

abstract: Cold interstellar gas clouds provide an exciting new method to discover dark matter. Their immense size makes them uniquely sensitive to interactions from the heaviest, most rarefied dark matter models. Using gas cloud observations, we derive constraints on heavy composite dark matter coupled to the Standard Model through a light dark photon for dark matter up to a thousand solar masses. We find gas clouds are also sensitive to very large composite dark matter that interacts with nuclei through a fixed contact interaction cross section. We also study the contact interaction model and implement multiscatter and overburden analyses to obtain bounds from experiments like CDMS, CRESST, DAMA, XQC, and XENON1T.


title: Statistics of the Chemical Composition of Solar Analog Stars and Links to Planet Formation

abstract: The Sun has been found to be depleted in refractory (rock-forming) elements relative to nearby solar analogs, suggesting a potential indicator of planet formation. Given the small amplitude of the depletion, previous analyses have primarily relied on high signal-to-noise stellar spectra and a strictly differential approach to determine elemental abundances. We present an alternative, likelihood-based approach that can be applied to much larger samples of stars with lower precision abundance determinations. We utilize measurements of about 1700 solar analogs from the Apache Point Observatory Galactic Evolution Experiment (APOGEE-2) and the stellar parameter and chemical abundance pipeline (ASPCAP DR16). By developing a hierarchical mixture model for the data, we place constraints on the statistical properties of the elemental abundances, including correlations with condensation temperature and the fraction of stars with refractory element depletions. We find evidence for two distinct populations: a depleted population of stars that makes up the majority of solar analogs including the Sun, and a not-depleted population that makes up between 10-30% of our sample. We find correlations with condensation temperature generally in agreement with higher precision surveys of a smaller sample of stars. Such trends, if robustly linked to the formation of planetary systems, provide a means to connect stellar chemical abundance patterns to planetary systems over large samples of Milky Way stars.


title: Graph Based Gaussian Processes on Restricted Domains

abstract: In nonparametric regression, it is common for the inputs to fall in a restricted subset of Euclidean space. Typical kernel-based methods that do not take into account the intrinsic geometry of the domain across which observations are collected may produce sub-optimal results. In this article, we focus on solving this problem in the context of Gaussian process (GP) models, proposing a new class of Graph Laplacian based GPs (GL-GPs), which learn a covariance that respects the geometry of the input domain. As the heat kernel is intractable computationally, we approximate the covariance using finitely-many eigenpairs of the Graph Laplacian (GL). The GL is constructed from a kernel which depends only on the Euclidean coordinates of the inputs. Hence, we can benefit from the full knowledge about the kernel to extend the covariance structure to newly arriving samples by a Nystr\"{o}m type extension. We provide substantial theoretical support for the GL-GP methodology, and illustrate performance gains in various applications.


title: Deep Neural Network Training with Frank-Wolfe

abstract: This paper studies the empirical efficacy and benefits of using projection-free first-order methods in the form of Conditional Gradients, a.k.a. Frank-Wolfe methods, for training Neural Networks with constrained parameters. We draw comparisons both to current state-of-the-art stochastic Gradient Descent methods as well as across different variants of stochastic Conditional Gradients. In particular, we show the general feasibility of training Neural Networks whose parameters are constrained by a convex feasible region using Frank-Wolfe algorithms and compare different stochastic variants. We then show that, by choosing an appropriate region, one can achieve performance exceeding that of unconstrained stochastic Gradient Descent and matching state-of-the-art results relying on $L^2$-regularization. Lastly, we also demonstrate that, besides impacting performance, the particular choice of constraints can have a drastic impact on the learned representations.


title: Reproducing GW150914: the first observation of gravitational waves from a binary black hole merger

abstract: In 2016, LIGO and Virgo announced the first observation of gravitational waves from a binary black hole merger, known as GW150914. To establish the confidence of this detection, large-scale scientific workflows were used to measure the event's statistical significance. They used code written by the LIGO/Virgo and were executed on the LIGO Data Grid. The codes are publicly available, but there has not yet been an attempt to directly reproduce the results, although several analyses have replicated the analysis, confirming the detection. We attempt to reproduce the result presented in the GW150914 discovery paper using publicly available code on the Open Science Grid. We show that we can reproduce the main result but we cannot exactly reproduce the LIGO analysis as the original data set used is not public. We discuss the challenges we encountered and make recommendations for scientists who wish to make their work reproducible.


title: Text Classification Using Label Names Only: A Language Model Self-Training Approach

abstract: Current text classification methods typically require a good number of human-labeled documents as training data, which can be costly and difficult to obtain in real applications. Humans can perform classification without seeing any labeled examples but only based on a small set of words describing the categories to be classified. In this paper, we explore the potential of only using the label name of each class to train classification models on unlabeled data, without using any labeled documents. We use pre-trained neural language models both as general linguistic knowledge sources for category understanding and as representation learning models for document classification. Our method (1) associates semantically related words with the label names, (2) finds category-indicative words and trains the model to predict their implied categories, and (3) generalizes the model via self-training. We show that our model achieves around 90% accuracy on four benchmark datasets including topic and sentiment classification without using any labeled documents but learning from unlabeled data supervised by at most 3 words (1 in most cases) per class as the label name.


title: Minimum stationary values of sparse random directed graphs

abstract: We consider the stationary distribution of the simple random walk on the directed configuration model with bounded degrees. Provided that the minimum out-degree is at least $2$, with high probability (whp) there is a unique stationary distribution. We show that the minimum positive stationary value is whp $n^{-(1+C+o(1))}$ for some constant $C \ge 0$ determined by the degree distribution. In particular, $C$ is the competing combination of two factors: (1) the contribution of atypically "thin" in-neighbourhoods, controlled by subcritical branching processes; and (2) the contribution of atypically "light" trajectories, controlled by large deviation rate functions. Additionally, our proof implies that whp the hitting and the cover time are both $n^{1+C+o(1)}$. Our results complement those of Caputo and Quattropani who showed that if the minimum in-degree is at least 2, stationary values have logarithmic fluctuations around $n^{-1}$.


title: Computing L-Polynomials of Picard curves from Cartier-Manin matrices

abstract: We study the sequence of zeta functions $Z(C_p,T)$ of a generic Picard curve $C:y^3=f(x)$ defined over $\mathbb{Q}$ at primes $p$ of good reduction for $C$. We define a degree 9 polynomial $\psi_f\in \mathbb{Q}[x]$ such that the splitting field of $\psi_f(x^3/2)$ is the $2$-torsion field of the Jacobian of $C$. We prove that, for all but a density zero subset of primes, the zeta function $Z(C_p,T)$ is uniquely determined by the Cartier-Manin matrix $A_p$ of $C$ modulo $p$ and the splitting behavior modulo $p$ of $f$ and $\psi_f$; we also show that for primes $\equiv 1 \pmod{3}$ the matrix $A_p$ suffices and that for primes $\equiv 2 \pmod{3}$ the genericity assumption on $C$ is unnecessary. An element of the proof, which may be of independent interest, is the determination of the density of the set of primes of ordinary reduction for a generic Picard curve. By combining this with recent work of Sutherland, we obtain a practical deterministic algorithm that computes $Z(C_p,T)$ for almost all primes $p \le N$ using $N\log(N)^{3+o(1)}$ bit operations. This is the first practical result of this type for curves of genus greater than 2.


title: A Polyfold proof of Gromov's Non-squeezing Theorem

abstract: We re-prove Gromov's non-squeezing theorem by applying Polyfold Theory to a simple Gromov-Witten moduli space. Thus we demonstrate how to utilize the work of Hofer-Wysocki-Zehnder to give proofs involving moduli spaces of pseudoholomorphic curves that are relatively short and broadly accessible, while also fully detailed and rigorous. We moreover review the polyfold description of Gromov-Witten moduli spaces in the relevant case of spheres with minimal energy and one marked point.


title: Environment Inference for Invariant Learning

abstract: Learning models that gracefully handle distribution shifts is central to research on domain generalization, robust optimization, and fairness. A promising formulation is domain-invariant learning, which identifies the key issue of learning which features are domain-specific versus domain-invariant. An important assumption in this area is that the training examples are partitioned into "domains" or "environments". Our focus is on the more common setting where such partitions are not provided. We propose EIIL, a general framework for domain-invariant learning that incorporates Environment Inference to directly infer partitions that are maximally informative for downstream Invariant Learning. We show that EIIL outperforms invariant learning methods on the CMNIST benchmark without using environment labels, and significantly outperforms ERM on worst-group performance in the Waterbirds and CivilComments datasets. Finally, we establish connections between EIIL and algorithmic fairness, which enables EIIL to improve accuracy and calibration in a fair prediction problem.


title: Scalable spray-coated graphene-based electrodes for high-power electrochemical double-layer capacitors operating over a wide range of temperature

abstract: Advancements in electrochemical double-layer capacitor (EDLC) technology require the concomitant use of novel efficient electrode materials and viable electrode manufacturing methods. Cost-effectiveness, scalability and sustainability are key-drivers for fulfilling product development chain accepted by worldwide legislations. Herein, we report a scalable and sprayable "green" electrode material-based ink based on activated carbon and single-/few-layer graphene (SLG/FLG) flakes. We show that, contrary to commercial reduced graphene oxide, defect-free and flat SLG/FLG flakes reduce the friction of ions over the electrode films, while spray coating deposition of our ink maximises the electrolyte accessibility to the electrode surface area. Sprayed SLG/FLG flakes-based EDLCs display superior rate capability performance (e.g., specific energies of 31.5, 23.7 and 12.5 Wh kg-1 at specific powers of 150, 7500 and 30000 W kg-1, respectively) compared to both SLG/FLG flakes-free devices and commercial-like EDLCs produced by slurry-coating method. The use of SLG/FLG flakes enables our sprayed EDLCs to operate in a wide range of temperature (-40/+100{\deg}C) compatible with ionic liquid/organic solvent-based electrolytes, overcoming the specific power limits of AC-based EDLCs. A prototype EDLCs stack consisting of multiple large-area EDLCs, each one displaying a capacitance of 25 F, demonstrates the industrial potential of our technology.


title: On the discrepancy of random subsequences of $\{n\alpha\}$ II

abstract: Let $\alpha$ be an irrational number, let $X_1, X_2, \ldots$ be independent, identically distributed, integer-valued random variables, and put $S_k=\sum_{j=1}^k X_j$. Assuming that $X_1$ has finite variance or heavy tails $P (|X_1|>t)\sim ct^{-\beta}$, $0<\beta<2$, in Part I of this paper we proved that, up to logarithmic factors, the order of magnitude of the discrepancy $D_N (S_k \alpha)$ of the first $N$ terms of the sequence $\{S_k \alpha\}$ is $O(N^{-\tau})$, where $\tau= \min (1/(\beta \gamma), 1/2)$ (with $\beta=2$ in the case of finite variances) and $\gamma$ is the strong Diophantine type of $\alpha$. This shows a change of behavior of the discrepancy at $\beta\gamma=2$. In this paper we determine the exact order of magnitude of $D_N (S_k \alpha)$ for $\beta\gamma<1$, and determine the limit distribution of $N^{-1/2} D_N (S_k \alpha)$. We also prove a functional version of these results describing the asymptotic behavior of a wide class of functionals of the sequence $\{S_k \alpha\}$. Finally, we extend our results to the discrepancy of $\{S_k\}$ for general random walks $S_k$ without arithmetic conditions on $X_1$, assuming only a mild polynomial rate on the weak convergence of $\{S_k\}$ to the uniform distribution.


title: Asymptotic Randomised Control with applications to bandits

abstract: We consider a general multi-armed bandit problem with correlated (and simple contextual and restless) elements, as a relaxed control problem. By introducing an entropy regularisation, we obtain a smooth asymptotic approximation to the value function. This yields a novel semi-index approximation of the optimal decision process. This semi-index can be interpreted as explicitly balancing an exploration-exploitation trade-off as in the optimistic (UCB) principle where the learning premium explicitly describes asymmetry of information available in the environment and non-linearity in the reward function. Performance of the resulting Asymptotic Randomised Control (ARC) algorithm compares favourably well with other approaches to correlated multi-armed bandits.


title: An SMT Solver for Regular Expressions and Linear Arithmetic over String Length

abstract: We present a novel length-aware solving algorithm for the quantifier-free first-order theory over regex membership predicate and linear arithmetic over string length. We implement and evaluate this algorithm and related heuristics in the Z3 theorem prover. A crucial insight that underpins our algorithm is that real-world instances contain a wealth of information about upper and lower bounds on lengths of strings under constraints, and such information can be used very effectively to simplify operations on automata representing regular expressions. Additionally, we present a number of novel general heuristics, such as the prefix/suffix method, that can be used in conjunction with a variety of regex solving algorithms, making them more efficient. We showcase the power of our algorithm and heuristics via an extensive empirical evaluation over a large and diverse benchmark of 57256 regex-heavy instances, almost 75% of which are derived from industrial applications or contributed by other solver developers. Our solver outperforms five other state-of-the-art string solvers, namely, CVC4, OSTRICH, Z3seq, Z3str3, and Z3-Trau, over this benchmark, in particular achieving a 2.4x speedup over CVC4, 4.4x speedup over Z3seq, 6.4x speedup over Z3-Trau, 9.1x speedup over Z3str3, and 13x speedup over OSTRICH.


title: Triangulations and Canonical Forms of Amplituhedra: a fiber-based approach beyond polytopes

abstract: Any totally positive $(k+m)\times n$ matrix induces a map $\pi_+$ from the positive Grassmannian ${\rm Gr}_+(k,n)$ to the Grassmannian ${\rm Gr}(k,k+m)$, whose image is the amplituhedron $\mathcal{A}_{n,k,m}$ and is endowed with a top-degree form called the canonical form ${\bf\Omega}(\mathcal{A}_{n,k,m})$. This construction was introduced by Arkani-Hamed and Trnka, where they showed that ${\bf\Omega}(\mathcal{A}_{n,k,4})$ encodes scattering amplitudes in $\mathcal{N}=4$ super Yang-Mills theory. Moreover, the computation of ${\bf\Omega}(\mathcal{A}_{n,k,m})$ is reduced to finding the triangulations of $\mathcal{A}_{n,k,m}$. However, while triangulations of polytopes are fully captured by their secondary polytopes, the study of triangulations of objects beyond polytopes is still underdeveloped. We initiate the geometric study of subdivisions of $\mathcal{A}_{n,k,m}$ and provide a concrete birational parametrization of fibers of $\pi: {\rm Gr}(k,n)\dashrightarrow {\rm Gr}(k,k+m)$. We then use this to explicitly describe a rational top-degree form $\omega_{n,k,m}$ (with simple poles) on the fibers and compute ${\bf\Omega}(\mathcal{A}_{n,k,m})$ as a summation of certain residues of $\omega_{n,k,m}$. As main application of our approach, we develop a well-structured notion of secondary amplituhedra for conjugate to polytopes, i.e. when $n-k-1=m$ (even). We show that, in this case, each fiber of $\pi$ is parametrized by a projective space and its volume form $\omega_{n,k,m}$ has only poles on a hyperplane arrangement. Using such linear structures, for amplituhedra which are cyclic polytopes or conjugate to polytopes, we show that the Jeffrey-Kirwan residue computes ${\bf\Omega}(\mathcal{A}_{n,k,m})$ from $\omega_{n,k,m}$. Finally, we propose a more general framework of fiber positive geometries and analyze new families of examples such as fiber polytopes and Grassmann polytopes.


title: Robust path-following control design of heavy vehicles based on multiobjective evolutionary optimization

abstract: The ability to deal with systems parametric uncertainties is an essential issue for heavy self-driving vehicles in unconfined environments. In this sense, robust controllers prove to be efficient for autonomous navigation. However, uncertainty matrices for this class of systems are usually defined by algebraic methods which demand prior knowledge of the system dynamics. In this case, the control system designer depends on the quality of the uncertain model to obtain an optimal control performance. This work proposes a robust recursive controller designed via multiobjective optimization to overcome these shortcomings. Furthermore, a local search approach for multiobjective optimization problems is presented. The proposed method applies to any multiobjective evolutionary algorithm already established in the literature. The results presented show that this combination of model-based controller and machine learning improves the effectiveness of the system in terms of robustness, stability and smoothness.


title: Fastener Installation Pattern Optimization in Airplane Assembly Process

abstract: Within the framework of an airplane assembly process, in particular the process of fastener installation at drilled holes, the following two problems are studied in this work: quadratic programming optimization of final fastener positioning, and optimization of the fastener installation order. Several algorithms were suggested, modelled on MATLAB, tested and compared.


title: Stationary States of the One-dimensional Facilitated Asymmetric Exclusion Process

abstract: We describe the translation invariant stationary states (TIS) of the one-dimensional facilitated asymmetric exclusion process in continuous time, in which a particle at site $i\in\mathbb{Z}$ jumps to site $i+1$ (respectively $i-1$) with rate $p$ (resp. $1-p$), provided that site $i-1$ (resp. $i+1$) is occupied and site $i+1$ (resp. $i-1$) is empty. All TIS states with density $\rho\le1/2$ are supported on trapped configurations in which no two adjacent sites are occupied; we prove that if in this case the initial state is i.i.d.~Bernoulli then the final state is independent of $p$. This independence also holds for the system on a finite ring. For $\rho>1/2$ there is only one TIS. It is the infinite volume limit of the probability distribution that gives uniform weight to all configurations in which no two holes are adjacent, and is isomorphic to the Gibbs measure for hard core particles with nearest neighbor exclusion.

categories: math.PR cond-mat.stat-mech math-ph math.MP


title: Self-Supervised Ranking for Representation Learning

abstract: We present a new framework for self-supervised representation learning by formulating it as a ranking problem in an image retrieval context on a large number of random views (augmentations) obtained from images. Our work is based on two intuitions: first, a good representation of images must yield a high-quality image ranking in a retrieval task; second, we would expect random views of an image to be ranked closer to a reference view of that image than random views of other images. Hence, we model representation learning as a learning to rank problem for image retrieval. We train a representation encoder by maximizing average precision (AP) for ranking, where random views of an image are considered positively related, and that of the other images considered negatives. The new framework, dubbed S2R2, enables computing a global objective on multiple views, compared to the local objective in the popular contrastive learning framework, which is calculated on pairs of views. In principle, by using a ranking criterion, we eliminate reliance on object-centric curated datasets. When trained on STL10 and MS-COCO, S2R2 outperforms SimCLR and the clustering-based contrastive learning model, SwAV, while being much simpler both conceptually and at implementation. On MS-COCO, S2R2 outperforms both SwAV and SimCLR with a larger margin than on STl10. This indicates that S2R2 is more effective on diverse scenes and could eliminate the need for an object-centric large training dataset for self-supervised representation learning.


title: Privacy-Preserving Object Detection & Localization Using Distributed Machine Learning: A Case Study of Infant Eyeblink Conditioning

abstract: Distributed machine learning is becoming a popular model-training method due to privacy, computational scalability, and bandwidth capacities. In this work, we explore scalable distributed-training versions of two algorithms commonly used in object detection. A novel distributed training algorithm using Mean Weight Matrix Aggregation (MWMA) is proposed for Linear Support Vector Machine (L-SVM) object detection based in Histogram of Orientated Gradients (HOG). In addition, a novel Weighted Bin Aggregation (WBA) algorithm is proposed for distributed training of Ensemble of Regression Trees (ERT) landmark localization. Both algorithms do not restrict the location of model aggregation and allow custom architectures for model distribution. For this work, a Pool-Based Local Training and Aggregation (PBLTA) architecture for both algorithms is explored. The application of both algorithms in the medical field is examined using a paradigm from the fields of psychology and neuroscience - eyeblink conditioning with infants - where models need to be trained on facial images while protecting participant privacy. Using distributed learning, models can be trained without sending image data to other nodes. The custom software has been made available for public use on GitHub: https://github.com/SLWZwaard/DMT. Results show that the aggregation of models for the HOG algorithm using MWMA not only preserves the accuracy of the model but also allows for distributed learning with an accuracy increase of 0.9% compared with traditional learning. Furthermore, WBA allows for ERT model aggregation with an accuracy increase of 8% when compared to single-node models.


title: Joint SO(3)-Spectral Domain Filtering of Spherical Signals in the Presence of Anisotropic Noise

abstract: We present a joint SO(3)-spectral domain filtering framework using directional spatially localized spherical harmonic transform (DSLSHT), for the estimation and enhancement of random anisotropic signals on the sphere contaminated by random anisotropic noise. We design an optimal filter for filtering the DSLSHT representation of the noise-contaminated signal in the joint SO(3)-spectral domain. The filter is optimal in the sense that the filtered representation in the joint domain is the minimum mean square error estimate of the DSLSHT representation of the underlying (noise-free) source signal. We also derive a least-square solution for the estimate of the source signal from the filtered representation in the joint domain. We demonstrate the capability of the proposed filtering framework using the Earth topography map in the presence of anisotropic, zero-mean, uncorrelated Gaussian noise, and compare its performance with the joint spatial-spectral domain filtering framework.


title: Learning Improvised Chatbots from Adversarial Modifications of Natural Language Feedback

abstract: The ubiquitous nature of chatbots and their interaction with users generate an enormous amount of data. Can we improve chatbots using this data? A self-feeding chatbot improves itself by asking natural language feedback when a user is dissatisfied with its response and uses this feedback as an additional training sample. However, user feedback in most cases contains extraneous sequences hindering their usefulness as a training sample. In this work, we propose a generative adversarial model that converts noisy feedback into a plausible natural response in a conversation. The generator's goal is to convert the feedback into a response that answers the user's previous utterance and to fool the discriminator which distinguishes feedback from natural responses. We show that augmenting original training data with these modified feedback responses improves the original chatbot performance from 69.94% to 75.96% in ranking correct responses on the Personachat dataset, a large improvement given that the original model is already trained on 131k samples.