title: Tales from the Trenches: Developing sciview, a new 3D viewer for the ImageJ community

abstract: ImageJ/Fiji is a widely-used tool in the biomedical community for performing everyday image analysis tasks. However, its 3D viewer component (aptly named 3D Viewer) has become dated and is no longer actively maintained. We set out to create an alternative tool that not only brings modern concepts and APIs from computer graphics to ImageJ, but is designed to be robust to long-term, open-source development. To achieve this we divided the visualization logic into two parts: the rendering framework, scenery, and the user-facing application, sciview. In this paper we describe the development process and design decisions made, putting an emphasis on sustainable development, community building, and software engineering best practises. We highlight the motivation for the Java Virtual Machine (JVM) as a target platform for visualisation applications. We conclude by discussing the remaining milestones and strategy for long-term sustainability.


title: Adversarial Machine Learning in Network Intrusion Detection Systems

abstract: Adversarial examples are inputs to a machine learning system intentionally crafted by an attacker to fool the model into producing an incorrect output. These examples have achieved a great deal of success in several domains such as image recognition, speech recognition and spam detection. In this paper, we study the nature of the adversarial problem in Network Intrusion Detection Systems (NIDS). We focus on the attack perspective, which includes techniques to generate adversarial examples capable of evading a variety of machine learning models. More specifically, we explore the use of evolutionary computation (particle swarm optimization and genetic algorithm) and deep learning (generative adversarial networks) as tools for adversarial example generation. To assess the performance of these algorithms in evading a NIDS, we apply them to two publicly available data sets, namely the NSL-KDD and UNSW-NB15, and we contrast them to a baseline perturbation method: Monte Carlo simulation. The results show that our adversarial example generation techniques cause high misclassification rates in eleven different machine learning models, along with a voting classifier. Our work highlights the vulnerability of machine learning based NIDS in the face of adversarial perturbation.


title: Chiral torsional effect with finite temperature, density and curvature

abstract: We scrutinize the novel chiral transport phenomenon driven by spacetime torsion, namely the chiral torsional effect (CTE). We calculate the torsion-induced chiral currents with finite temperature, density and curvature in the most general torsional gravity theory. The conclusion complements the previous study on the CTE by including curvature and substantiates the relation between the CTE and the Nieh-Yan anomaly. We also analyze the response of chiral torsional current to an external electromagnetic field. The resulting topological current is analogous to that in the axion electrodynamics.


title: Rigidity theorems for constant weighted mean curvature hypersurfaces

abstract: In this article, we study hypersurfaces $\Sigma\subset \mathbb{R}^{n+1}$ with constant weighted mean curvature. Recently, Wei-Peng proved a rigidity theorem for CWMC hypersurfaces that generalizes Le-Sesum classification theorem for self-shrinker. More specifically, they showed that a complete CWMC hypersurface with polynomial volume growth, bounded norm of the second fundamental form and that satisfies $|A|^2H(H-\lambda)\leq H^2/2$ must either be a hyperplane or a generalized cylinder. We generalize this result by removing the bound condition on the norm of the second fundamental form. Moreover, we prove that under some conditions if the reverse inequality holds then the hypersurface must either be a hyperplane or a generalized cylinder. As an application of one of the results proved in this paper, we will obtain another version of the classification theorem obtained by the authors of this article, that is, we show that under some conditions, a complete CWMC hypersurface with $H\geq 0$ must either be a hyperplane or a generalized cylinder.


title: QCD axion and topological susceptibility in chiral effective Lagrangian models at finite temperature

abstract: In this work we compute the axion mass and, from this (exploiting a well-known relation), we also derive an expression for the QCD topological susceptibility in the finite-temperature case, both below and above the chiral phase transition at $T_c$, making use of a chiral effective Lagrangian model which includes the axion, the scalar and pseudoscalar mesons and implements the $U(1)$ axial anomaly of the fundamental theory. We also provide a numerical estimate of the topological susceptibility at $T=0$ (in the physical case of three light quark flavors) and discuss the question of the temperature and quark-mass dependence of the topological susceptibility in the high-temperature regime.


title: Suppression of the longitudinal coupled bunch instability in DA${\Phi}$NE in collisions with a crossing angle

abstract: In DAFNE, the Frascati $e^+e^-$ collider operating since 1998, an innovative collision scheme, the crab waist, has been successfully implemented during the years 2008-09. During operations for the Siddharta experiment an unusual synchrotron oscillation damping effect induced by beam-beam collisions has been observed. Indeed, when the longitudinal feedback is off, the positron beam becomes unstable with currents above 200-300 mA due to coupled bunch instability. The longitudinal instability is damped by colliding the positron beam with a high current electron beam (of the order of 2 A). A shift of about -600 Hz in the residual synchrotron sidebands is observed. Precise measurements have been performed by using both a commercial spectrum analyzer and the diagnostic capabilities of the longitudinal bunch-by-bunch feedback. The damping effect has been observed in DAFNE for the first time during collisions with the crab waist scheme. Our explanation, based both on theoretical consideration and modeling simulation, is that beam collisions with a large crossing angle produce longitudinal tune shift and spread, providing Landau damping of synchrotron oscillations.


title: On SICA models for HIV transmission

abstract: We revisit the SICA (Susceptible-Infectious-Chronic-AIDS) mathematical model for transmission dynamics of the human immunodeficiency virus (HIV) with varying population size in a homogeneously mixing population. We consider SICA models given by systems of ordinary differential equations and some generalizations given by systems with fractional and stochastic differential operators. Local and global stability results are proved for deterministic, fractional, and stochastic-type SICA models. Two case studies, in Cape Verde and Morocco, are investigated.


title: A relation between chiral central charge and ground state degeneracy in 2+1-dimensional topological orders

abstract: A bosonic topological order on $d$-dimensional closed space $\Sigma^d$ may have degenerate ground states. The space $\Sigma^d$ with different shapes (different metrics) form a moduli space ${\cal M}_{\Sigma^d}$. Thus the degenerate ground states on every point in the moduli space ${\cal M}_{\Sigma^d}$ form a complex vector bundle over ${\cal M}_{\Sigma^d}$. It was suggested that the collection of such vector bundles for $d$-dimensional closed spaces of all topologies completely characterizes the topological order. Using such a point of view, we propose a direct relation between two seemingly unrelated properties of 2+1-dimensional topological orders: (1) the chiral central charge $c$ that describes the many-body density of states for edge excitations (or more precisely the thermal Hall conductance of the edge), (2) the ground state degeneracy $D_g$ on closed genus $g$ surface. We show that $c D_g/2 \in \mathbb{Z},\ g\geq 3$ for bosonic topological orders. We explicitly checked the validity of this relation for over 140 simple topological orders. For fermionic topological orders, let $D_{g,\sigma}^{e}$ ($D_{g,\sigma}^{o}$) be the degeneracy with even (odd) number of fermions for genus-$g$ surface with spin structure $\sigma$. Then we have $2c D_{g,\sigma}^{e} \in \mathbb{Z}$ and $2c D_{g,\sigma}^{o} \in \mathbb{Z}$ for $g\geq 3$.


title: Invariants of forth order linear differential operators

abstract: In this paper, we study scalar the forth order linear differential operators over an oriented 2-dimensional manifold. We investigate differential invariants of these operators and show their application to the equivalence problem.


title: Symmetries and Differential Invariants for Inviscid Flows on a Curve

abstract: Symmetries and the corresponding fields of differential invariants of the inviscid flows on a curve are given. Their dependence on thermodynamic states of media is studied, and a classification of thermodynamic states is given.


title: Compact formulas for Macdonald polynomials and quasisymmetric Macdonald polynomials

abstract: We present several new and compact formulas for the modified and integral form of the Macdonald polynomials, building on the compact "multiline queue" formula for Macdonald polynomials due to Corteel, Mandelshtam, and Williams. We also introduce a new quasisymmetric analogue of Macdonald polynomials. These "quasisymmetric Macdonald polynomials" refine the (symmetric) Macdonald polynomials and specialize to the quasisymmetric Schur polynomials defined by Haglund, Luoto, Mason, and van Willigenburg.


title: Longitudinal Beam Dynamics -- Recap

abstract: This paper gives a very brief summary of longitudinal beam dynamics for both linear and circular accelerators. After discussing synchronism conditions in linacs, it focuses on particle motion in synchrotrons. It summarizes the equations of motion, discusses phase-space matching during beam transfer, and introduces the Hamiltonian of longitudinal motion.


title: On the safety of vulnerable road users by cyclist orientation detection using Deep Learning

abstract: In this work, orientation detection using Deep Learning is acknowledged for a particularly vulnerable class of road users,the cyclists. Knowing the cyclists' orientation is of great relevance since it provides a good notion about their future trajectory, which is crucial to avoid accidents in the context of intelligent transportation systems. Using Transfer Learning with pre-trained models and TensorFlow, we present a performance comparison between the main algorithms reported in the literature for object detection,such as SSD, Faster R-CNN and R-FCN along with MobilenetV2, InceptionV2, ResNet50, ResNet101 feature extractors. Moreover, we propose multi-class detection with eight different classes according to orientations. To do so, we introduce a new dataset called "Detect-Bike", containing 20,229 cyclist instances over 11,103 images, which has been labeled based on cyclist's orientation. Then, the same Deep Learning methods used for detection are trained to determine the target's heading. Our experimental results and vast evaluation showed satisfactory performance of all of the studied methods for the cyclists and their orientation detection, especially using Faster R-CNN with ResNet50 proved to be precise but significantly slower. Meanwhile, SSD using InceptionV2 provided good trade-off between precision and execution time, and is to be preferred for real-time embedded applications.


title: A Relation Spectrum Inheriting Taylor Series: Muscle Synergy and Coupling for Hand

abstract: There are two famous function decomposition methods in math: Taylor Series and Fourier Series. Fourier series developed into Fourier spectrum, which was applied to signal decomposition\analysis. However, because the Taylor series whose function without a definite functional expression cannot be solved, Taylor Series has rarely been used in engineering. Here, we developed Taylor series by our Dendrite Net, constructed a relation spectrum, and applied it to model or system decomposition\analysis. Specific engineering: the knowledge of the intuitive link between muscle activity and the finger movement is vital for the design of commercial prosthetic hands that do not need user pre-training. However, this link has yet to be understood due to the complexity of human hand. In this study, the relation spectrum was applied to analyze the muscle-finger system. One single muscle actuates multiple fingers, or multiple muscles actuate one single finger simultaneously. Thus, the research was in muscle synergy and muscle coupling for hand. This paper has two main contributions. (1) The findings of hand contribute to designing prosthetic hands. (2) The relation spectrum makes the online model human-readable, which unifies online performance and offline results. Code (novel tool for most fields) is available at https://github.com/liugang1234567/Gang-neuron.


title: Feeding and feedback from little monsters: AGN in dwarf galaxies

abstract: Detecting the seed black holes from which quasars formed is extremely challenging; however, those seeds that did not grow into supermassive should be found as intermediate-mass black holes (IMBHs) of 100-10$^5$ M$_{\odot}$ in local dwarf galaxies. The use of deep multiwavelength surveys has revealed that a population of actively accreting IMBHs (low-mass AGN) exists in dwarf galaxies at least out to $z\sim$3. The black hole occupation fraction of these galaxies suggests that the early Universe seed black holes formed from direct collapse of gas, which is reinforced by the possible flattening of the black hole-galaxy scaling relations at the low-mass end. This scenario is however challenged by the finding that AGN feedback can have a strong impact on dwarf galaxies, which implies that low-mass AGN in dwarf galaxies might not be the untouched relics of the early seed black holes. This has important implications for seed black hole formation models.


title: Predictions of the L$_{\rm[CII]}$-SFR and [C$_{\rm II}$] Luminosity Function at the Epoch of Reionization

abstract: We present the first predictions for the $L_{\rm [CII]}$ - SFR relation and [CII] luminosity function (LF) in the Epoch of Reionization (EoR) based on cosmological hydrodynamics simulations using the SIMBA suite plus radiative transfer calculations via S\'IGAME. The sample consists of 11,137 galaxies covering halo mass $\log M_{\rm halo}\in$[9, 12.4] $M_\odot$, star formation rate SFR$\in$[0.01, 330] $M_\odot$ yr$^{-1}$, and metallicity $<Z_{\rm gas}>_{\rm SFR}\in$[0.1, 0.9] $Z_\odot$. The simulated $L_{\rm [CII]}$-SFR relation is consistent with the range observed, but with a spread of $\simeq$0.3 dex at the high end of SFR ($>$100 $M_\odot$ yr$^{-1}$) and $\simeq$0.6 dex at the lower end, and there is tension between our predictions and the values of $L_{\rm [CII]}$ above 10$^{8.5}$ $L_\odot$ observed in some galaxies reported in the literature. The scatter in the $L_{\rm [CII]}$-SFR relation is mostly driven by galaxy properties, such that at a given SFR, galaxies with higher molecular gas mass and metallicity have higher $L_{\rm [CII]}$. The [CII] LF predicted by SIMBA is consistent with the upper limits placed by the only existing untargeted flux-limited [CII] survey at the EoR (ASPECS) and those predicted by semi-analytic models. We compare our results with existing models and discuss differences responsible for the discrepant slopes in the $L_{\rm [CII]}$-SFR relatiion.


title: Evaluating the impact of binary parameter uncertainty on stellar population properties

abstract: Binary stars have been shown to have a substantial impact on the integrated light of stellar populations, particularly at low metallicity and early ages - conditions prevalent in the distant Universe. But the fraction of stars in stellar multiples as a function of mass, their likely initial periods and distribution of mass ratios are all known empirically from observations only in the local Universe. Each has associated uncertainties. We explore the impact of these uncertainties in binary parameters on the properties of integrated stellar populations, considering which properties and timescales are most susceptible to uncertainty introduced by binary fractions and whether observations of the integrated light might be sufficient to determine binary parameters. We conclude that the effects of uncertainty in the empirical binary parameter distributions are likely smaller than those introduced by metallicity and stellar population age uncertainties for observational data. We identify emission in the He II 1640 Angstrom emission line and continuum colour in the ultraviolet-optical as potential indicators of a high mass binary presence, although poorly constrained metallicity, dust extinction and degeneracies in plausible star formation history are likely to swamp any measurable signal.


title: Spin Evolution of Stellar-mass Black Hole Binaries in Active Galactic Nuclei

abstract: The astrophysical origin of gravitational wave (GW) events is one of the most timely problems in the wake of the LIGO/Virgo discoveries. In active galactic nuclei (AGN), binaries form and evolve efficiently by dynamical interactions and gaseous dissipation. Previous studies have suggested that binary black hole (BBH) mergers in AGN disks can contribute significantly to BBH mergers observed by GW interferometers. Here we examine the distribution of the effective spin parameter $\chi_\mathrm{eff}$ of this GW source population. We extend our semi-analytical model of binary formation and evolution in AGN disks by following the evolution of the binary orbital angular momenta and black hole (BH) spins. BH spins change due to gas accretion and BH mergers, while the binary orbital angular momenta evolve due to gas accretion and binary-single interactions. We find that the distribution of $\chi_\mathrm{eff}$ predicted by our AGN model is similar to the distribution observed during LIGO/Virgo O1 and O2. On the other hand, if radial migration of BHs is inefficient, $\chi_\mathrm{eff}$ is skewed toward higher values compared with the observed distribution, because of the paucity of scattering events that would randomize spin directions relative to the orbital plane. We suggest that high binary masses and the positive correlation between binary mass and the standard deviation of $\chi_\mathrm{eff}$ for chirp masses up to $\approx 20$ $\mathrm{M}_\odot$, can be possible signatures for mergers originating in AGN disks. Finally, hierarchical mergers in AGN disks naturally produce properties of the recent GW event GW190412, including a low mass ratio, a high primary BH spin, and a significant spin component in the orbital plane.


title: The Fully-Differential Gluon Beam Function at NNLO

abstract: The fully-differential beam function (dBF) is a universal ingredient in resummed predictions of hadron collider observables that probe the full kinematics of the incoming parton from each colliding proton -- the virtuality and transverse momentum as well as the light-cone momentum fraction $x$. In this paper we compute the matching coefficients between the unpolarized gluon dBF and the usual parton distribution functions (PDFs) at the two-loop order. For observables probing both the virtuality and transverse momentum of incoming gluons, our results provide the part of the NNLO singular cross section related to collinear initial-state radiation, and are required for the resummation of large logarithms through N$^3$LL. Further to this, the dBF is closely linked to the beam function appearing in a generalized version of threshold factorization, via a simple integration. By performing this integration for the two-loop gluon matching coefficients, we also obtain the corresponding quantities for the generalized threshold beam function.


title: Quantum-classical crossover in the spin-1/2 Heisenberg-Kitaev kagome magnet

abstract: The spin-1/2 Heisenberg kagome antiferromagnet is one of the paradigmatic playgrounds for frustrated quantum magnetism, with an extensive number of competing resonating valence bond (RVB) states emerging at low energies, including gapped and gapless spin liquids and valence bond crystals. Here we revisit the crossover from this quantum RVB phase to a semiclassical regime brought about by anisotropic Kitaev interactions, and focus on the precise mechanisms underpinning this crossover. To this end, we introduce a simple parametrization of the classical ground states (GSs) in terms of emergent Ising-like variables, and use this parametrizaton: i) to construct an effective low-energy description of the order-by-disorder mechanism operating in a large part of the phase diagram, and ii) to contrast, side by side, exact diagonalization data obtained from the full basis with that obtained from the restricted (orthonormalized) basis of classical GSs. The results reveal that fluctuation corrections from states outside the restricted basis are strongly quenched inside the semiclassical regime (due to the large anisotropy spin gaps), and that the RVB phase survives up to a relatively large value of Kitaev anisotropy $K$. We further find that the pure Kitaev model admits a subextensive number of one-dimensional symmetries, which explains naturally the absence of classical and quantum order by disorder reported previously.


title: GASP XXVII: Gas-phase metallicity scaling relations in disk galaxies with and without ram-pressure stripping

abstract: Exploiting the data from the GAs Stripping Phenomena in galaxies with MUSE (GASP) survey, we study the gas-phase metallicity scaling relations of a sample of 29 cluster galaxies undergoing ram-pressure stripping and of a reference sample of (16 cluster and 16 field) galaxies with no significant signs of gas disturbance. We adopt the PYQZ code to infer the mean gas metallicity at the effective radius and achieve a well-defined mass-metallicity relation (MZR) in the stellar mass range $10^{9.25}\le M_\star \le 10^{11.5}\,{\rm M_\odot}$ with a scatter of 0.12 dex. At any given mass, reference cluster and stripping galaxies have similar metallicities, while the field galaxies with $M_\star < 10^{10.25}\,{\rm M_\odot}$ show on average lower gas metallicity than galaxies in clusters. Our results indicate that at the effective radius the chemical properties of the stripping galaxies are independent of the ram-pressure stripping mechanism. Nonetheless, at the lowest masses we detect 4 stripping galaxies well above the common MZR that suggest a more complex scenario. Overall, we find signs of an anti-correlation between the metallicity and both the star formation rate and the galaxy size, in agreement with previous studies. No significant trends are instead found with the halo mass, clustercentric distance and local galaxy density in clusters. In conclusion, we advise a more detailed analysis of the spatially resolved gas metallicity maps of the galaxies, able to highlight effects of gas redistribution inside the disk due to the ram-pressure stripping.


title: Asymptotically Achieving Centralized Rate on the Decentralized Network MISO Channel

abstract: We analyze the high-SNR regime of the MxK Network MISO channel in which each transmitter has access to a different channel estimate, possibly with different precision. It has been recently shown that, for some regimes, this setting attains the same Degrees-of-Freedom as the ideal centralized setting with perfect CSI sharing, in which all the transmitters are endowed with the best estimate available at any transmitter. This result is restricted by the limitations of the DoF metric, as it only provides information about the slope of growth of the capacity as a function of the SNR, without any insight about the possible performance at a given SNR. To overcome this limitation, we analyze the affine approximation of the rate on the high-SNR regime for this decentralized Network MISO setting for the antenna configurations in which it achieves the DoF of the centralized setting. We show that, for a regime of antenna configurations, it is possible to asymptotically attain the same achievable rate as in the ideal centralized scenario. Consequently, it is possible to achieve the beamforming gain of the ideal perfect-CSI-sharing setting even if only a subset of transmitters is endowed with precise CSI, which can be exploited in scenarios such as distributed massive MIMO where the number of transmit antennas is much bigger than the number of served users. This outcome is a consequence of the synergistic compromise between CSI precision at the transmitters and consistency between the locally-computed precoders, which is an inherent trade-off of decentralized settings that does not exist in a centralized CSI configuration. We propose a precoding scheme achieving the previous result, which is built on an uneven structure in which some transmitters reduce the precision of their own precoding for the sake of using transmission parameters that can be more easily predicted by the other transmitters.


title: Neutrino Self-Interactions and Double Beta Decay

abstract: Neutrino Self-Interactions ($\nu$SI) beyond the Standard Model are an attractive possibility to soften cosmological constraints on neutrino properties and also to explain the tension in late and early time measurements of the Hubble expansion rate. The required strength of $\nu$SI to explain the $4\sigma$ Hubble tension is in terms of a point-like effective four-fermion coupling that can be as high as $10^9\, G_F$, where $G_F$ is the Fermi constant. In this work, we show that such strong $\nu$SI can cause significant effects in two-neutrino double beta decay, leading to an observable enhancement of decay rates and to spectrum distortions. We analyze self-interactions via an effective operator as well as when mediated by a light scalar. Data from observed two-neutrino double beta decay is used to constrain $\nu$SI, which rules out the regime around $10^9\, G_F$.


title: Effects of the mean field on fluid dynamics in the relaxation time approximation

abstract: In this paper the nonequilibrium correction to the distribution function containing a time and space dependent mass is obtained. Given that, fully consistent fluid dynamic equations are formulated. Then, the physics of the bulk viscosity is elaborated for Boltzmann and Bose-Einstein gases within the relaxation time approximation. It is found that the parametric form of the ratio $\zeta/\tau_R$ for the quantum gas is affected by the infrared cut-off. This may be an indication that the relaxation time approximation is too crude to obtain a reliable form of bulk viscosity.


title: Electron Density Structure of the Local Galactic Disk

abstract: Pulsar dispersion measures (DMs) have been used to model the electron density of the interstellar medium (ISM) in the Galactic disk as a plane-parallel medium, despite significant scatter in the DM-distance distribution and strong evidence for inhomogeneities in the ISM. We use a sample of pulsars with independent distance measurements to evaluate a model of the local ISM in the thick disk of the Galaxy that incorporates turbulent fluctuations, clumps, and voids in the electron density. The latter two components are required because $\sim 1/3$ of the lines of sight are discrepant from a strictly plane parallel model. A likelihood analysis for smooth components of the model yields a scale height $z_0=1.57^{+0.15}_{-0.14}$ kpc and a mid-plane density $n_0=0.015 \pm 0.001$ cm$^{-3}$. The scatter in the DM-distance distribution is dominated by clumps and voids but receives significant contributions from a broad spectrum of density fluctuations, such as a Kolmogorov spectrum. The model is used to identify lines of sight with outlier values of DM. Three of these pulsars, J1614$-$2230, J1623$-$0908, and J1643$-$1224, lie behind known HII regions, and the electron density model is combined with H$\alpha$ intensity data to constrain the filling factors and other substructure properties of the HII regions (Sh 2-7 and Sh 2-27). Several pulsars also exhibit enhanced DM fluctuations that are likely caused by their lines of sight intersecting the superbubble GSH 238+00+09.


title: Accurate Graph Filtering in Wireless Sensor Networks

abstract: Wireless sensor networks (WSNs) are considered as a major technology enabling the Internet of Things (IoT) paradigm. The recent emerging Graph Signal Processing field can also contribute to enabling the IoT by providing key tools, such as graph filters, for processing the data associated with the sensor devices. Graph filters can be performed over WSNs in a distributed manner by means of a certain number of communication exchanges among the nodes. But, WSNs are often affected by interferences and noise, which leads to view these networks as directed, random and time-varying graph topologies. Most of existing works neglect this problem by considering an unrealistic assumption that claims the same probability of link activation in both directions when sending a packet between two neighboring nodes. This work focuses on the problem of operating graph filtering in random asymmetric WSNs. We show first that graph filtering with finite impulse response graph filters (node-invariant and node-variant) requires having equal connectivity probabilities for all the links in order to have an unbiased filtering, which can not be achieved in practice in random WSNs. After this, we characterize the graph filtering error and present an efficient strategy to conduct graph filtering tasks over random WSNs with node-variant graph filters by maximizing accuracy, that is, ensuring a small bias-variance trade-off. In order to enforce the desired accuracy, we optimize the filter coefficients and design a cross-layer distributed scheduling algorithm at the MAC layer. Extensive numerical experiments are presented to show the efficiency of the proposed solution as well as the cross-layer distributed scheduling algorithm for the denoising application.


title: Local-controllability of the one-dimensional nonlocal Gray-Scott model with moving controls

abstract: In this paper, we prove the local-controllability to positive constant trajectories of a nonlinear system of two coupled ODE equations, posed in the one-dimensional spatial setting, with nonlocal spatial nonlinearites, and using only one localized control with a moving support. The model we deal with is derived from the well-known nonlinear reaction-diffusion Gray-Scott model when the diffusion coefficient of the first chemical species $d_u$ tends to $0$ and the diffusion coefficient of the second chemical species ${d_v}$ tends to $+ \infty$. The strategy of the proof consists in two main steps. First, we establish the local-controllability of the reaction-diffusion ODE-PDE derived from the Gray-Scott model taking $d_u=0$, and uniformly with respect to the diffusion parameter ${d_v} \in (1, +\infty)$. In order to do this, we prove the (uniform) null-controllability of the linearized system thanks to an observability estimate obtained through adapted Carleman estimates for ODE-PDE. To pass to the nonlinear system, we use a precise inverse mapping argument and, secondly, we apply the shadow limit ${d_v} \rightarrow + \infty$ to reduce to the initial system.


title: Learning Mobility Flows from Urban Features with Spatial Interaction Models and Neural Networks

abstract: A fundamental problem of interest to policy makers, urban planners, and other stakeholders involved in urban development projects is assessing the impact of planning and construction activities on mobility flows. This is a challenging task due to the different spatial, temporal, social, and economic factors influencing urban mobility flows. These flows, along with the influencing factors, can be modelled as attributed graphs with both node and edge features characterising locations in a city and the various types of relationships between them. In this paper, we address the problem of assessing origin-destination (OD) car flows between a location of interest and every other location in a city, given their features and the structural characteristics of the graph. We propose three neural network architectures, including graph neural networks (GNN), and conduct a systematic comparison between the proposed methods and state-of-the-art spatial interaction models, their modifications, and machine learning approaches. The objective of the paper is to address the practical problem of estimating potential flow between an urban development project location and other locations in the city, where the features of the project location are known in advance. We evaluate the performance of the models on a regression task using a custom data set of attributed car OD flows in London. We also visualise the model performance by showing the spatial distribution of flow residuals across London.


title: Active matter: quantifying the departure from equilibrium

abstract: Active matter systems are driven out of equilibrium at the level of individual constituents. One widely studied class are systems of athermal particles that move under the combined influence of interparticle interactions and self-propulsions, with the latter evolving according to the Ornstein-Uhlenbeck stochastic process. Intuitively, these so-called active Ornstein-Uhlenbeck particles (AOUPs) systems are farther from equilibrium for longer self-propulsion persistence times. Quantitatively, this is confirmed by the increasing equal-time velocity correlations (which are trivial in equilibrium) and by the increasing violation of the Einstein relation between the self-diffusion and mobility coefficients. In contrast, the entropy production rate, calculated from the ratio of the probabilities of the position space trajectory and its time-reversed counterpart, has a non-monotonic dependence on the persistence time. Thus, it does not properly quantify the departure of AOUPs systems from equilibrium.


title: Local Equivalence of Metrics for Multiparameter Persistence Modules

abstract: An ideal invariant for multiparameter persistence would be discriminative, computable and stable. In this work we analyse the discriminative power of a stable, computable invariant of multiparameter persistence modules: the fibered bar code. The fibered bar code is equivalent to the rank invariant and encodes the bar codes of the 1-parameter submodules of a multiparameter module. This invariant is well known to be globally incomplete. However in this work we show that the fibered bar code is locally complete for finitely presented modules by showing a local equivalence of metrics between the interleaving distance (which is complete on finitely-presented modules) and the matching distance on fibered bar codes. More precisely, we show that: for a finitely-presented multiparameter module $M$ there is a neighbourhood of $M$, in the interleaving distance $d_I$, for which the matching distance, $d_0$, satisfies the following bi-Lipschitz inequalities $\frac{1}{34}d_I(M,N) \leq d_0(M,N) \leq d_I(M,N)$ for all $N$ in this neighbourhood about $M$. As a consequence no other module in this neighbourhood has the same fibered bar code as $M$.


title: Ambipolar diffusion in the Bifrost code

abstract: Ambipolar diffusion is a physical mechanism related to the drift between charged and neutral particles in a partially ionized plasma that is key in many different astrophysical systems. However, understanding its effects is challenging due to basic uncertainties concerning relevant microphysical aspects and the strong constraints it imposes on the numerical modeling. Our aim is to introduce a numerical tool that allows us to address complex problems involving ambipolar diffusion in which, additionally, departures from ionization equilibrium are important or high resolution is needed. The primary application of this tool is for solar atmosphere calculations, but the methods and results presented here may also have a potential impact on other astrophysical systems. We have developed a new module for the stellar atmosphere Bifrost code that improves its computational capabilities of the ambipolar diffusion term in the Generalized Ohm's Law. This module includes, among other things, collision terms adequate to processes in the coolest regions in the solar chromosphere. As a key feature of the module, we have implemented the Super Time-Stepping (STS) technique, that allows an important acceleration of the calculations. We have also introduced hyperdiffusion terms to guarantee the stability of the code. We show that to have an accurate value for the ambipolar diffusion coefficient in the solar atmosphere it is necessary to include as atomic elements in the equation of state not only hydrogen and helium but also the main electron donors like sodium, silicon and potassium. In addition, we establish a range of criteria to set up an automatic selection of the free parameters of the STS method that guarantees the best performance, optimizing the stability and speed for the ambipolar diffusion calculations. We validate the STS implementation by comparison with a self-similar analytical solution.


title: Many-Body Flatband Localization

abstract: We generate translationally invariant systems exhibiting many-body localization from All-Bands- Flat single particle lattice Hamiltonians dressed with suitable short-range many-body interactions. This phenomenon - dubbed Many-Body Flatband Localization (MBFBL) - is based on symmetries of both single particle and interaction terms in the Hamiltonian, and it holds for any interaction strength. We propose a generator of MBFBL Hamiltonians which covers both interacting bosons and fermions for arbitrary lattice dimensions, and we provide explicit examples of MBFBL models in one and two lattice dimensions. We also explicitly construct an extensive set of local integrals of motion for MBFBL models. Our results can be further generalized to long-range interactions as well as to systems lacking translational invariance.


title: Robust posterior inference when statistically emulating forward simulations

abstract: Scientific analyses often rely on slow, but accurate forward models for observable data conditioned on known model parameters. While various emulation schemes exist to approximate these slow calculations, these approaches are only safe if the approximations are well understood and controlled. This workshop submission reviews and updates a previously published method, which has been used in cosmological simulations, to (1) train an emulator while simultaneously estimating posterior probabilities with MCMC and (2) explicitly propagate the emulation error into errors on the posterior probabilities for model parameters. We demonstrate how these techniques can be applied to quickly estimate posterior distributions for parameters of the $\Lambda$CDM cosmology model, while also gauging the robustness of the emulator approximation.


title: Triangles in graphs without bipartite suspensions

abstract: Given graphs $T$ and $H$, the generalized Tur\'an number ex$(n,T,H)$ is the maximum number of copies of $T$ in an $n$-vertex graph with no copies of $H$. Alon and Shikhelman, using a result of Erd\H os, determined the asymptotics of ex$(n,K_3,H)$ when the chromatic number of $H$ is greater than 3 and proved several results when $H$ is bipartite. We consider this problem when $H$ has chromatic number 3. Even this special case for the following relatively simple 3-chromatic graphs appears to be challenging. The suspension $\widehat H$ of a graph $H$ is the graph obtained from $H$ by adding a new vertex adjacent to all vertices of $H$. We give new upper and lower bounds on ex$(n,K_3,\widehat{H})$ when $H$ is a path, even cycle, or complete bipartite graph. One of the main tools we use is the triangle removal lemma, but it is unclear if much stronger statements can be proved without using the removal lemma.


title: Towards A Domain-Customized Automated Machine Learning Framework For Networks and Systems

abstract: Clouds gather a vast volume of telemetry from their networked systems which contain valuable information that can help solve many of the problems that continue to plague them. However, it is hard to extract useful information from such raw data. Machine Learning (ML) models are useful tools that enable operators to either leverage this data to solve such problems or develop intuition about whether/how they can be solved. Building practical ML models is time-consuming and requires experts in both ML and networked systems to tailor the model to the system/network (a.k.a "domain-customize" it). The number of applications we deploy exacerbates the problem. The speed with which our systems evolve and with which new monitoring systems are deployed (deprecated) means these models often need to be adapted to keep up. Today, the lack of individuals with both sets of expertise is becoming one of the bottlenecks for adopting ML in cloud operations. This paper argues it is possible to build a domain-customized automated ML framework for networked systems that can help save valuable operator time and effort.


title: Topological and flat bands states induced by hybridized interactions in one-dimensional photonic lattices

abstract: We report on a study of a one-dimensional linear photonic lattice hosting, simultaneously, fundamental and dipolar modes at every site. We show how, thanks to the interaction between the different orbital modes, this minimal model exhibits rich transport and topological properties. By varying the detuning coefficient we find a regime where bands become flatter (with reduced transport) and, a second regime, where both bands connect on at a gap-closing transition (with enhanced transport). We detect an asymmetric transport due to the asymmetric inter-mode coupling and a linear energy exchange mechanism between modes. Further analysis show that the bands have a topological transition with a non-trivial Zak phase which leads to the appeareance of edge states in a finite system. Finally, for zero detuning, we found a symmetric condition for coupling constants, where the linear spectrum becomes completely flat, with states fully localized in space occupying only two lattice sites.


title: A Tannakian approach to patching

abstract: We use Tannakian methods to show that patching for coherent sheaves implies patching for objects in any Noetherian algebraic stack with affine stabilizers. Among other things, this gives a straightforward way to prove patching for torsors under linear algebraic groups, as well as patching for sheaves and torsors on proper algebraic spaces.


title: Correlation-aware Unsupervised Change-point Detection via Graph Neural Networks

abstract: Change-point detection (CPD) aims to detect abrupt changes over time series data. Intuitively, effective CPD over multivariate time series should require explicit modeling of the dependencies across input variables. However, existing CPD methods either ignore the dependency structures entirely or rely on the (unrealistic) assumption that the correlation structures are static over time. In this paper, we propose a Correlation-aware Dynamics Model for CPD, which explicitly models the correlation structure and dynamics of variables by incorporating graph neural networks into an encoder-decoder framework. Extensive experiments on synthetic and real-world datasets demonstrate the advantageous performance of the proposed model on CPD tasks over strong baselines, as well as its ability to classify the change-points as correlation changes or independent changes. Keywords: Multivariate Time Series, Change-point Detection, Graph Neural Networks


title: The Variational Bandwidth Bottleneck: Stochastic Evaluation on an Information Budget

abstract: In many applications, it is desirable to extract only the relevant information from complex input data, which involves making a decision about which input features are relevant. The information bottleneck method formalizes this as an information-theoretic optimization problem by maintaining an optimal tradeoff between compression (throwing away irrelevant input information), and predicting the target. In many problem settings, including the reinforcement learning problems we consider in this work, we might prefer to compress only part of the input. This is typically the case when we have a standard conditioning input, such as a state observation, and a "privileged" input, which might correspond to the goal of a task, the output of a costly planning algorithm, or communication with another agent. In such cases, we might prefer to compress the privileged input, either to achieve better generalization (e.g., with respect to goals) or to minimize access to costly information (e.g., in the case of communication). Practical implementations of the information bottleneck based on variational inference require access to the privileged input in order to compute the bottleneck variable, so although they perform compression, this compression operation itself needs unrestricted, lossless access. In this work, we propose the variational bandwidth bottleneck, which decides for each example on the estimated value of the privileged information before seeing it, i.e., only based on the standard input, and then accordingly chooses stochastically, whether to access the privileged input or not. We formulate a tractable approximation to this framework and demonstrate in a series of reinforcement learning experiments that it can improve generalization and reduce access to computationally costly information.


title: Orbital Migration of Interacting Stellar Mass Black Holes in Disks around Supermassive Black Holes II. Spins and Incoming Objects

abstract: The masses, rates, and spins of merging stellar-mass binary black holes (BBHs) detected by aLIGO and Virgo provide challenges to traditional BBH formation and merger scenarios. An active galactic nucleus (AGN) disk provides a promising additional merger channel, because of the powerful influence of the gas that drives orbital evolution, makes encounters dissipative, and leads to migration. Previous work showed that stellar mass black holes (sBHs) in an AGN disk migrate to regions of the disk, known as migration traps, where positive and negative gas torques cancel out, leading to frequent BBH formation. Here we build on that work by simulating the evolution of additional sBHs that enter the inner disk by either migration or inclination reduction. We also examine whether the BBHs formed in our models have retrograde or prograde orbits around their centers of mass with respect to the disk, determining the orientation, relative to the disk, of the spin of the merged BBHs. Orbiters entering the inner disk form BBHs with sBHs on resonant orbits near the migration trap. When these sBHs reach ~80 Msun, they form BBHs with sBHs in the migration trap, which over 10 Myr reach ~1000 Msun. We find 68% of the BBHs in our simulation orbit in the retrograde direction, which implies BBHs in our merger channel will have small dimensionless aligned spins, \chi_eff. Overall, our models produce BBHs that resemble both the majority of BBH mergers detected thus far (0.66 to 120 Gpc^-3 yr^-1 ) and two recent unusual detections, GW190412 (~0.3 Gpc^-3 yr^-1 ) and GW190521 (~0.1 Gpc^-3 yr^-1 ).


title: A linear fixed parameter tractable algorithm for connected pathwidth

abstract: The graph parameter of pathwidth can be seen as a measure of the topological resemblance of a graph to a path. A popular definition of pathwidth is given in terms of node search where we are given a system of tunnels that is contaminated by some infectious substance and we are looking for a search strategy that, at each step, either places a searcher on a vertex or removes a searcher from a vertex and where an edge is cleaned when both endpoints are simultaneously occupied by searchers. It was proved that the minimum number of searchers required for a successful cleaning strategy is equal to the pathwidth of the graph plus one. Two desired characteristics for a cleaning strategy is to be monotone (no recontamination occurs) and connected (clean territories always remain connected). Under these two demands, the number of searchers is equivalent to a variant of pathwidth called {\em connected pathwidth}. We prove that connected pathwidth is fixed parameter tractable, in particular we design a $2^{O(k^2)}\cdot n$ time algorithm that checks whether the connected pathwidth of $G$ is at most $k.$ This resolves an open question by [Dereniowski, Osula, and Rz{\k{a}}{\.{z}}ewski, Finding small-width connected path-decompositions in polynomial time. Theor. Comput. Sci., 794:85-100, 2019]. For our algorithm, we enrich the typical sequence technique that is able to deal with the connectivity demand. Typical sequences have been introduced in [Bodlaender and Kloks. Efficient and constructive algorithms for the pathwidth and treewidth of graphs. J. Algorithms, 21(2):358-402, 1996] for the design of linear parameterized algorithms for treewidth and pathwidth. The proposed extension is based on an encoding of the connectivity property that is quite versatile and may be adapted so to deliver linear parameterized algorithms for the connected variants of other width parameters as well.


title: Towards Differentiable Resampling

abstract: Resampling is a key component of sample-based recursive state estimation in particle filters. Recent work explores differentiable particle filters for end-to-end learning. However, resampling remains a challenge in these works, as it is inherently non-differentiable. We address this challenge by replacing traditional resampling with a learned neural network resampler. We present a novel network architecture, the particle transformer, and train it for particle resampling using a likelihood-based loss function over sets of particles. Incorporated into a differentiable particle filter, our model can be end-to-end optimized jointly with the other particle filter components via gradient descent. Our results show that our learned resampler outperforms traditional resampling techniques on synthetic data and in a simulated robot localization task.


title: An asymptotic model for internal capillary-gravity waves in deep water

abstract: Considered in this paper is a bi-directional model for the propagation of interfacial capillary-gravity waves in a two-layer system of fluids with rigid lid condition for the upper layer and lower layer with a much larger or infinite depth. The system is derived from a reformulation of the Euler equations for internal waves with nonnegligible surface tension effects in the interface and the corresponding asymptotic model under the Benjamin-Ono regime. Another unidirectional model, so-called regularized Benjamin equation, generalizing the Benjamin equation, is also introduced. Well-posedness of the new equations and existence of solitary wave solutions are discussed.


title: Improving time use measurement with personal big data collection -- the experience of the European Big Data Hackathon 2019

abstract: This article assesses the experience with i-Log at the European Big Data Hackathon 2019, a satellite event of the New Techniques and Technologies for Statistics (NTTS) conference, organised by Eurostat. i-Log is a system that allows to capture personal big data from smartphones' internal sensors to be used for time use measurement. It allows the collection of heterogeneous types of data, enabling new possibilities for sociological urban field studies. Sensor data such as those related to the location or the movements of the user can be used to investigate and have insights on the time diaries' answers and assess their overall quality. The key idea is that the users' answers are used to train machine-learning algorithms, allowing the system to learn from the user's habits and to generate new time diaries' answers. In turn, these new labels can be used to assess the quality of existing ones, or to fill the gaps when the user does not provide an answer. The aim of this paper is to introduce the pilot study, the i-Log system and the methodological evidence that arose during the survey.


title: Unimodular families of symmetric matrices

abstract: We introduce the volume-preserving equivalence among symmetric matrix-valued map-germs which is the unimodular version of Bruce's $\mathcal{G}$-equivalence. The key concept to deduce unimodular classification out of classification relative to $\mathcal{G}$-equivalence is symmetrical quasi-homogeneity, which is a generalization of the condition for a $2 \times 2$ symmetric matrix-valued map-germ in Corollary~2.1 (ii) by Bruce, Goryunov and Zakalyukin. If a $\mathcal{G}$-equivalence class contains a symmetrically quasi-homogeneous representative, the class coincides with that relative to the volume-preserving equivalence (up to orientation reversing diffeomorphism in case if the ground field is real). By using that we show that all the simple classes relative to $\mathcal{G}$-equivalence in Bruce's list coincides with those relative to the volume preserving equivalence. Then, we classify map-germs from the plane to the set of $2 \times 2$ and $3 \times 3$ real symmetric matrices of corank at most $1$ and of $\mathcal{G}_e$-codimension less than $9$ and we show some of the normal forms split into two different unimodular singularities. We provide several examples to illustrate that non simplicity does not imply non symmetrical quasi-homogeneity and the condition that a map-germ is symmetrically quasi-homogeneous is stronger than one that each component of the map-germ is quasi-homogeneous. We also present an example of non symmetrically quasi-homogeneous normal form relative to $\mathcal{G}$ and its corresponding formal unimodular normal form.


title: Quantitative comparison of electrically induced spin and orbital polarizations in heavy-metal/3d-metal bilayers

abstract: Electrical control of magnetization is of crucial importance for integrated spintronics devices. Spin-orbit torques (SOT) in heavy-metal/ferromagnetic heterostructures have emerged as promising tool to achieve efficiently current-induced magnetization reversal. However, the microscopic origin of the SOT is being debated,with the spin Hall effect (SHE) due to nonlocal spin currents and the spin Rashba-Edelstein effect (SREE) due to local spin polarization at the interface being the primary candidates. We investigate the electrically induced out-of-equilibrium spin and orbital polarizations in pure Pt films and in Pt/3d-metal (Co, Ni, Cu) bilayer films using ab initio electronic structure methods and linear-response theory. We compute atom-resolved response quantities that allow us to identify the induced spin-polarization contributions that lead to fieldlike SOTs, mostly associated with the SREE, and dampinglike (DL) SOTs, mostly associated with the SHE, and compare their relative magnitude, dependence on the magnetization direction, as well as their Pt-layer thickness dependence. We find that both the FL and DL components contribute to the resulting SOT at the Pt/Co and Pt/Ni interfaces, with the former contributions being larger at the Pt interface layer and the latter larger in the Co or Ni layers. Our calculations show that the electrically-induced transverse orbital polarization is exceedingly larger than the induced spin polarization and present even without spin-orbit coupling, in contrast to the spin polarization.


title: From elusive to ubiquitous: understanding smart cities

abstract: Converting the city into a "smart" one is the emerging strategy of alleviating the problems generated by the rapid population growth in most urban areas, i.e., urbanisation. However, as the rate in which the different concepts of the smart city architecture are implemented is very high, academic research pertaining these advancements simply can not keep up. To improve the existing knowledge-base regarding the concept of smart cities, this paper reviews the existing definitions, as well as its architectures, based on an in-depth literature review of relevant studies and research fields alike. Additionally, we also provide our own definition of the smart city concept.


title: Galois connections for phylogenetic networks and their polytopes

abstract: We describe Galois connections which arise between two kinds of combinatorial structures, both of which generalize trees with labelled leaves, and then apply those connections to a family of polytopes. The graphs we study can be imbued with metric properties or associated to vectors. Famous examples are the Billera-Holmes-Vogtmann metric space of phylogenetic trees, and the Balanced Minimal Evolution polytopes of phylogenetic trees described by Eickmeyer, Huggins, Pachter and Yoshida. Recently the space of trees has been expanded to split networks by Devadoss and Petti, while the definition of phylogenetic polytopes has been generalized to encompass 1-nested phylogenetic networks, by Durell and Forcey. The first Galois connection we describe is a reflection between the (unweighted) circular split networks and the 1-nested phylogenetic networks. Another Galois connection exists between certain metric versions of these structures. Reflection between the purely combinatorial posets becomes a coreflection in the geometric case. Our chief contributions here, beyond the discovery of the Galois connections, are: a translation between approaches using PC-trees and networks, a new way to look at weightings on networks, and a fuller characterization of faces of the phylogenetic polytopes.


title: Nonlinear effects on the dynamics of quantum harmonic modes coupled through angular momentum

abstract: We investigate nonlinear effects on the dynamics of entanglement and other quantum observables in a system of two harmonic modes coupled through angular momentum. The nonlinearity arises from a quartic anharmonic term in each mode. The emergence and evolution of entanglement, non-gaussianity, photon number, photon antibunching and squeezing are examined for different initial product coherent states and couplings, through exact diagonalization in a truncated basis. It is shown that the anharmonic terms, even if weak, can lead to very significant effects for such initial states, considerably enhancing and stabilizing entanglement and leading to a non negligible non-gaussianity of the evolved states. They also affect other observables, stabilizing the dynamics after an initial transient regime, for not too small initial average populations of each mode. Analytic short-time approximate expressions are also provided.


title: Computation on Sparse Neural Networks: an Inspiration for Future Hardware

abstract: Neural network models are widely used in solving many challenging problems, such as computer vision, personalized recommendation, and natural language processing. Those models are very computationally intensive and reach the hardware limit of the existing server and IoT devices. Thus, finding better model architectures with much less amount of computation while maximally preserving the accuracy is a popular research topic. Among various mechanisms that aim to reduce the computation complexity, identifying the zero values in the model weights and in the activations to avoid computing them is a promising direction. In this paper, we summarize the current status of the research on the computation of sparse neural networks, from the perspective of the sparse algorithms, the software frameworks, and the hardware accelerations. We observe that the search for the sparse structure can be a general methodology for high-quality model explorations, in addition to a strategy for high-efficiency model execution. We discuss the model accuracy influenced by the number of weight parameters and the structure of the model. The corresponding models are called to be located in the weight dominated and structure dominated regions, respectively. We show that for practically complicated problems, it is more beneficial to search large and sparse models in the weight dominated region. In order to achieve the goal, new approaches are required to search for proper sparse structures, and new sparse training hardware needs to be developed to facilitate fast iterations of sparse models.


title: Symbolic Regression Driven by Training Data and Prior Knowledge

abstract: In symbolic regression, the search for analytic models is typically driven purely by the prediction error observed on the training data samples. However, when the data samples do not sufficiently cover the input space, the prediction error does not provide sufficient guidance toward desired models. Standard symbolic regression techniques then yield models that are partially incorrect, for instance, in terms of their steady-state characteristics or local behavior. If these properties were considered already during the search process, more accurate and relevant models could be produced. We propose a multi-objective symbolic regression approach that is driven by both the training data and the prior knowledge of the properties the desired model should manifest. The properties given in the form of formal constraints are internally represented by a set of discrete data samples on which candidate models are exactly checked. The proposed approach was experimentally evaluated on three test problems with results clearly demonstrating its capability to evolve realistic models that fit the training data well while complying with the prior knowledge of the desired model characteristics at the same time. It outperforms standard symbolic regression by several orders of magnitude in terms of the mean squared deviation from a reference model.


title: An active learning high-throughput microstructure calibration framework for solving inverse structure-process problems in materials informatics

abstract: Determining a process-structure-property relationship is the holy grail of materials science, where both computational prediction in the forward direction and materials design in the inverse direction are essential. Problems in materials design are often considered in the context of process-property linkage by bypassing the materials structure, or in the context of structure-property linkage as in microstructure-sensitive design problems. However, there is a lack of research effort in studying materials design problems in the context of process-structure linkage, which has a great implication in reverse engineering. In this work, given a target microstructure, we propose an active learning high-throughput microstructure calibration framework to derive a set of processing parameters, which can produce an optimal microstructure that is statistically equivalent to the target microstructure. The proposed framework is formulated as a noisy multi-objective optimization problem, where each objective function measures a deterministic or statistical difference of the same microstructure descriptor between a candidate microstructure and a target microstructure. Furthermore, to significantly reduce the physical waiting wall-time, we enable the high-throughput feature of the microstructure calibration framework by adopting an asynchronously parallel Bayesian optimization by exploiting high-performance computing resources. Case studies in additive manufacturing and grain growth are used to demonstrate the applicability of the proposed framework, where kinetic Monte Carlo (kMC) simulation is used as a forward predictive model, such that for a given target microstructure, the target processing parameters that produced this microstructure are successfully recovered.


title: Two-dimensional partial covariance mass spectrometry for the top-down analysis of intact proteins

abstract: Two-dimensional partial covariance mass spectrometry (2D-PC-MS) exploits the inherent fluctuations of fragment ion abundances across a series of tandem mass spectra, to identify correlated pairs of fragment ions produced along the same fragmentation pathway of the same parent (e.g. peptide) ion. Here, we apply 2D-PC-MS to the analysis of intact protein ions in a standard linear ion trap mass analyzer, using the fact that the fragment-fragment correlation signals are much more specific to bio-molecular sequence than 1D MS/MS signals at the same mass accuracy and resolution. We show that from the distribution of signals on a 2D-PC-MS map it is possible to extract the charge state of both parent and fragment ions without resolving the isotopic envelope. Furthermore, the 2D map of fragment-fragment correlations naturally reveals the secondary decomposition pathways of the fragment ions. We access this spectral information using an adapted version of the Hough transform. We demonstrate the successful identification of highly charged, intact protein molecules without the need for high mass resolution. Using this technique we also perform the in silico deconvolution of the overlapping fragment ion signals from two co-isolated and co-fragmented intact protein molecules, demonstrating a viable new method for the concurrent mass spectrometric identification of a mixture of intact protein ions from the same fragment ion spectrum.


title: Etudes of the resolvent

abstract: Based on the notion of the resolvent and on the Hilbert identities, this paper presents a number of classical results in the theory of differential operators and some of their applications to the theory of automorphic functions and number theory from a unified point of view. For instance, for the Sturm-Liouville operator there is a derivation of the Gelfand-Levitan trace formula, and for the one-dimensional Schroedinger operator a derivation of Faddeev's formula for the characteristic determinant and the Zakharov-Faddeev trace identities. Recent results on the spectral theory of a certain functional-difference operator arising in conformal field theory are then presented. The last section of the survey is devoted to the Laplace operator on a fundamental domain of a Fuchsian group of the first kind on the Lobachevsky plane. An algebraic scheme is given for proving analytic continuation of the integral kernel of the resolvent of the Laplace operator and the Eisenstein-Maass series. In conclusion, there is a discussion of the relation between the values of the Eisenstein-Maass series at Heegner points and Dedekind zeta-functions of imaginary quadratic fields, and it is explained why pseudo-cuspforms for the case of the modular group do not provide any information about the zeros of the Riemann zeta-function.


title: Lipschitz Free Spaces over Locally Compact Metric Spaces

abstract: We prove that the Lipschitz free space over a certain type of discrete metric space has the Radon-Nikod\'ym property. We also show that the Lipschitz free space over a complete, locally compact metric space has the Schur or approximation property whenever the Lipschitz free space over each compact subset also has this property.


title: Bosonic entanglement renormalization circuits from wavelet theory

abstract: Entanglement renormalization is a unitary real-space renormalization scheme. The corresponding quantum circuits or tensor networks are known as MERA, and they are particularly well-suited to describing quantum systems at criticality. In this work we show how to construct Gaussian bosonic quantum circuits that implement entanglement renormalization for ground states of arbitrary free bosonic chains. The construction is based on wavelet theory, and the dispersion relation of the Hamiltonian is translated into a filter design problem. We give a general algorithm that approximately solves this design problem and provide an approximation theory that relates the properties of the filters to the accuracy of the corresponding quantum circuits. Finally, we explain how the continuum limit (a free bosonic quantum field) emerges naturally from the wavelet construction.

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


title: From orders to prices: A stochastic description of the limit order book to forecast intraday returns

abstract: We propose a microscopic model to describe the dynamics of the fundamental events in the limit order book (LOB): order arrivals and cancellations. It is based on an operator algebra for individual orders and describes their effect on the LOB. The model inputs are arrival and cancellation rate distributions that emerge from individual behavior of traders, and we show how prices and liquidity arise from the LOB dynamics. In a simulation study we illustrate how the model works and highlight its sensitivity with respect to assumptions regarding the collective behavior of market participants. Empirically, we test the model on a LOB snapshot of XETRA, estimate several linearized model specifications, and conduct in- and out-of-sample forecasts.The in-sample results based on contemporaneous information suggest that our model describes returns very well, resulting in an adjusted $R^2$ of roughly 80%. In the more realistic setting where only past information enters the model, we observe an adjusted $R^2$ around 15%. The direction of the next return can be predicted (out-of-sample) with an accuracy above 75% for time horizons below 10 minutes. On average, we obtain an RMSPE that is 10 times lower than values documented in the literature.

categories: q-fin.TR econ.EM q-fin.MF q-fin.ST stat.AP


title: Practical Comparable Data Collection for Low-Resource Languages via Images

abstract: We propose a method of curating high-quality comparable training data for low-resource languages with monolingual annotators. Our method involves using a carefully selected set of images as a pivot between the source and target languages by getting captions for such images in both languages independently. Human evaluations on the English-Hindi comparable corpora created with our method show that 81.1% of the pairs are acceptable translations, and only 2.47% of the pairs are not translations at all. We further establish the potential of the dataset collected through our approach by experimenting on two downstream tasks - machine translation and dictionary extraction. All code and data are available at https://github.com/madaan/PML4DC-Comparable-Data-Collection.


title: Quelques propri\'et\'es qualitatives pour le probl\`eme de surfaces de quadrature dans le plan

abstract: In this paper, we begin by giving a necessary and sufficient condition of existence for the quadrature surfaces problem in the case where the term source is a uniform density supported by a segment. Then, we use the Steiner continuous symmetrization to prove that the obtained solution is symmetric with respect the x-coordinate axis and that its boundary is analytic. ----------- Dans ce papier, nous commen\c{c}ons par donner une condition n\'ecessaire et suffisante d'existence de solutions pour le probl\`eme de surfaces de quadrature dans le cas o\`u le terme source est une densit\'e support\'ee par un segment. Ensuite, en utilisant la sym\'etrisation de Steiner continue, nous montrons que la solution obtenue est sym\'etrique par rapport \`a l'axe des abscisses et que son bord est analytique.


title: Binaural Audio Source Remixing with Microphone Array Listening Devices

abstract: Augmented listening devices, such as hearing aids and augmented reality headsets, enhance human perception by changing the sounds that we hear. Microphone arrays can improve the performance of listening systems in noisy environments, but most array-based listening systems are designed to isolate a single sound source from a mixture. This work considers a source-remixing filter that alters the relative level of each source independently. Remixing rather than separating sounds can help to improve perceptual transparency: it causes less distortion to the signal spectrum and especially to the interaural cues that humans use to localize sounds in space.


title: Measurement-induced quantum criticality under continuous monitoring

abstract: We investigate entanglement phase transitions from volume-law to area-law entanglement in a quantum many-body state under continuous position measurement on the basis of the quantum trajectory approach. We find the signatures of the transitions as peak structures in the mutual information as a function of measurement strength, as previously reported for random unitary circuits with projective measurements. At the transition points, the entanglement entropy scales logarithmically and various physical quantities scale algebraically, implying emergent conformal criticality, for both integrable and nonintegrable one-dimensional interacting Hamiltonians; however, such transitions have been argued to be absent in noninteracting regimes in some previous studies. With the aid of $U(1)$ symmetry in our model, the measurement-induced criticality exhibits a spectral signature resembling a Tomonaga-Luttinger liquid theory from symmetry-resolved entanglement. These intriguing critical phenomena are unique to steady-state regimes of the conditional dynamics at the single-trajectory level, and are absent in the unconditional dynamics obeying the Lindblad master equation, in which the system ends up with the featureless, infinite-temperature mixed state. We also propose a possible experimental setup to test the predicted entanglement transition based on the subsystem particle-number fluctuations. This quantity should readily be measured by the current techniques of quantum gas microscopy and is in practice easier to obtain than the entanglement entropy itself.

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


title: The Plant Pathology 2020 challenge dataset to classify foliar disease of apples

abstract: Apple orchards in the U.S. are under constant threat from a large number of pathogens and insects. Appropriate and timely deployment of disease management depends on early disease detection. Incorrect and delayed diagnosis can result in either excessive or inadequate use of chemicals, with increased production costs, environmental, and health impacts. We have manually captured 3,651 high-quality, real-life symptom images of multiple apple foliar diseases, with variable illumination, angles, surfaces, and noise. A subset, expert-annotated to create a pilot dataset for apple scab, cedar apple rust, and healthy leaves, was made available to the Kaggle community for 'Plant Pathology Challenge'; part of the Fine-Grained Visual Categorization (FGVC) workshop at CVPR 2020 (Computer Vision and Pattern Recognition). We also trained an off-the-shelf convolutional neural network (CNN) on this data for disease classification and achieved 97% accuracy on a held-out test set. This dataset will contribute towards development and deployment of machine learning-based automated plant disease classification algorithms to ultimately realize fast and accurate disease detection. We will continue to add images to the pilot dataset for a larger, more comprehensive expert-annotated dataset for future Kaggle competitions and to explore more advanced methods for disease classification and quantification.


title: Towards temperature-induced topological phase transition in SnTe: A first principles study

abstract: The temperature renormalization of the bulk band structure of a topological crystalline insulator, SnTe, is calculated using first principles methods. We explicitly include the effect of thermal-expansion-induced modification of electronic states and their band inversion on electron-phonon interaction. We show that the direct gap decreases with temperature, as both thermal expansion and electron-phonon interaction drive SnTe towards the phase transition to a topologically trivial phase as temperature increases. The band gap renormalization due to electron-phonon interaction exhibits a non-linear dependence on temperature as the material approaches the phase transition, while the lifetimes of the conduction band states near the band edge show a non-monotonic behavior with temperature. These effects should have important implications on bulk electronic and thermoelectric transport in SnTe and other topological insulators.


title: An Abstraction-guided Approach to Scalable and Rigorous Floating-Point Error Analysis

abstract: Automated techniques for rigorous floating-point round-off error analysis are important in areas including formal verification of correctness and precision tuning. Existing tools and techniques, while providing tight bounds, fail to analyze expressions with more than a few hundred operators, thus unable to cover important practical problems. In this work, we present Satire, a new tool that sheds light on how scalability and bound-tightness can be attained through a combination of incremental analysis, abstraction, and judicious use of concrete and symbolic evaluation. Satire has handled problems exceeding 200K operators. We present Satire's underlying error analysis approach, information-theoretic abstraction heuristics, and a wide range of case studies, with evaluation covering FFT, Lorenz system of equations, and various PDE stencil types. Our results demonstrate the tightness of Satire's bounds, its acceptable runtime, and valuable insights provided.


title: CLUE: Exact maximal reduction of kinetic models by constrained lumping of differential equations

abstract: Motivation: Detailed mechanistic models of biological processes can pose significant challenges for analysis and parameter estimations due to the large number of equations used to track the dynamics of all distinct configurations in which each involved biochemical species can be found. Model reduction can help tame such complexity by providing a lower-dimensional model in which each macro-variable can be directly related to the original variables. Results: We present CLUE, an algorithm for exact model reduction of systems of polynomial differential equations by constrained linear lumping. It computes the smallest dimensional reduction as a linear mapping of the state space such that the reduced model preserves the dynamics of user-specified linear combinations of the original variables. Even though CLUE works with nonlinear differential equations, it is based on linear algebra tools, which makes it applicable to high-dimensional models. Using case studies from the literature, we show how CLUE can substantially lower model dimensionality and help extract biologically intelligible insights from the reduction. Availability: An implementation of the algorithm and relevant resources to replicate the experiments herein reported are freely available for download at https://github.com/pogudingleb/CLUE. Supplementary information: enclosed.


title: Spectrally-Shaped Continuous-Variable QKD Operating at 500 MHz Over an Optical Pipe Lit by 11 DWDM Channels

abstract: We demonstrate high-rate CV-QKD supporting a secure-key rate of 22Mb/s through spectral tailoring and optimal use of quantum receiver bandwidth. Co-existence with 11 adjacent carrier-grade C-band channels spaced by only 20nm is accomplished at >10Mb/s.


title: Online Learning with Cumulative Oversampling: Application to Budgeted Influence Maximization

abstract: We propose a cumulative oversampling (CO) method for online learning. Our key idea is to sample parameter estimations from the updated belief space once in each round (similar to Thompson Sampling), and utilize the cumulative samples up to the current round to construct optimistic parameter estimations that asymptotically concentrate around the true parameters as tighter upper confidence bounds compared to the ones constructed with standard UCB methods. We apply CO to a novel budgeted variant of the Influence Maximization (IM) semi-bandits with linear generalization of edge weights, whose offline problem is NP-hard. Combining CO with the oracle we design for the offline problem, our online learning algorithm simultaneously tackles budget allocation, parameter learning, and reward maximization. We show that for IM semi-bandits, our CO-based algorithm achieves a scaled regret comparable to that of the UCB-based algorithms in theory, and performs on par with Thompson Sampling in numerical experiments.


title: The Inception Team at NSURL-2019 Task 8: Semantic Question Similarity in Arabic

abstract: This paper describes our method for the task of Semantic Question Similarity in Arabic in the workshop on NLP Solutions for Under-Resourced Languages (NSURL). The aim is to build a model that is able to detect similar semantic questions in the Arabic language for the provided dataset. Different methods of determining questions similarity are explored in this work. The proposed models achieved high F1-scores, which range from (88% to 96%). Our official best result is produced from the ensemble model of using a pre-trained multilingual BERT model with different random seeds with 95.924% F1-Score, which ranks the first among nine participants teams.


title: The Colored Noise of Magnetic Monopoles: Subdiffusion in a Coevolving Vacuum and Spin Ice Exponents

abstract: We relate the anomalous noise found experimentally in spin ice to the subdiffusion of magnetic monopoles. Because monopoles are emergent particles, they do not move in a structureless vacuum. Rather, the underlying spin ensemble filters the thermal white noise, leading to non-trivial coevolution. Thus, monopoles can be considered as random walkers under the effect of stochastic forces only as long as those are not trivially white, but instead subsume the evolution of the spin vacuum. Via this conceptualization, we conjecture relations between the color of the noise and other observables, such as relaxation time, monopole density, the dynamic exponent, and the order of the annihilation reaction, which lead us to introduce spin ice specific critical exponents in a neighborhood of the ice manifold.

categories: cond-mat.mes-hall cond-mat.mtrl-sci cond-mat.other cond-mat.stat-mech


title: Extreme Consistency: Overcoming Annotation Scarcity and Domain Shifts

abstract: Supervised learning has proved effective for medical image analysis. However, it can utilize only the small labeled portion of data; it fails to leverage the large amounts of unlabeled data that is often available in medical image datasets. Supervised models are further handicapped by domain shifts, when the labeled dataset, despite being large enough, fails to cover different protocols or ethnicities. In this paper, we introduce \emph{extreme consistency}, which overcomes the above limitations, by maximally leveraging unlabeled data from the same or a different domain in a teacher-student semi-supervised paradigm. Extreme consistency is the process of sending an extreme transformation of a given image to the student network and then constraining its prediction to be consistent with the teacher network's prediction for the untransformed image. The extreme nature of our consistency loss distinguishes our method from related works that yield suboptimal performance by exercising only mild prediction consistency. Our method is 1) auto-didactic, as it requires no extra expert annotations; 2) versatile, as it handles both domain shift and limited annotation problems; 3) generic, as it is readily applicable to classification, segmentation, and detection tasks; and 4) simple to implement, as it requires no adversarial training. We evaluate our method for the tasks of lesion and retinal vessel segmentation in skin and fundus images. Our experiments demonstrate a significant performance gain over both modern supervised networks and recent semi-supervised models. This performance is attributed to the strong regularization enforced by extreme consistency, which enables the student network to learn how to handle extreme variants of both labeled and unlabeled images. This enhances the network's ability to tackle the inevitable same- and cross-domain data variability during inference.


title: Defining Benchmarks for Continual Few-Shot Learning

abstract: Both few-shot and continual learning have seen substantial progress in the last years due to the introduction of proper benchmarks. That being said, the field has still to frame a suite of benchmarks for the highly desirable setting of continual few-shot learning, where the learner is presented a number of few-shot tasks, one after the other, and then asked to perform well on a validation set stemming from all previously seen tasks. Continual few-shot learning has a small computational footprint and is thus an excellent setting for efficient investigation and experimentation. In this paper we first define a theoretical framework for continual few-shot learning, taking into account recent literature, then we propose a range of flexible benchmarks that unify the evaluation criteria and allows exploring the problem from multiple perspectives. As part of the benchmark, we introduce a compact variant of ImageNet, called SlimageNet64, which retains all original 1000 classes but only contains 200 instances of each one (a total of 200K data-points) downscaled to 64 x 64 pixels. We provide baselines for the proposed benchmarks using a number of popular few-shot learning algorithms, as a result, exposing previously unknown strengths and weaknesses of those algorithms in continual and data-limited settings.


title: Visualizing key features in X-ray images of epoxy resins for improved material classification using singular value decomposition of deep learning features

abstract: Although the process variables of epoxy resins alter their mechanical properties, the visual identification of the characteristic features of X-ray images of samples of these materials is challenging. To facilitate the identification, we approximate the magnitude of the gradient of the intensity field of the X-ray images of different kinds of epoxy resins and then we use deep learning to discover the most representative features of the transformed images. In this solution of the inverse problem to finding characteristic features to discriminate samples of heterogeneous materials, we use the eigenvectors obtained from the singular value decomposition of all the channels of the feature maps of the early layers in a convolutional neural network. While the strongest activated channel gives a visual representation of the characteristic features, often these are not robust enough in some practical settings. On the other hand, the left singular vectors of the matrix decomposition of the feature maps, barely change when variables such as the capacity of the network or network architecture change. High classification accuracy and robustness of characteristic features are presented in this work.


title: Leveraging Planar Regularities for Point Line Visual-Inertial Odometry

abstract: With monocular Visual-Inertial Odometry (VIO) system, 3D point cloud and camera motion can be estimated simultaneously. Because pure sparse 3D points provide a structureless representation of the environment, generating 3D mesh from sparse points can further model the environment topology and produce dense mapping. To improve the accuracy of 3D mesh generation and localization, we propose a tightly-coupled monocular VIO system, PLP-VIO, which exploits point features and line features as well as plane regularities. The co-planarity constraints are used to leverage additional structure information for the more accurate estimation of 3D points and spatial lines in state estimator. To detect plane and 3D mesh robustly, we combine both the line features with point features in the detection method. The effectiveness of the proposed method is verified on both synthetic data and public datasets and is compared with other state-of-the-art algorithms.


title: DriftNet: Aggressive Driving Behavior Classification using 3D EfficientNet Architecture

abstract: Aggressive driving (i.e., car drifting) is a dangerous behavior that puts human safety and life into a significant risk. This behavior is considered as an anomaly concerning the regular traffic in public transportation roads. Recent techniques in deep learning proposed new approaches for anomaly detection in different contexts such as pedestrian monitoring, street fighting, and threat detection. In this paper, we propose a new anomaly detection framework applied to the detection of aggressive driving behavior. Our contribution consists in the development of a 3D neural network architecture, based on the state-of-the-art EfficientNet 2D image classifier, for the aggressive driving detection in videos. We propose an EfficientNet3D CNN feature extractor for video analysis, and we compare it with existing feature extractors. We also created a dataset of car drifting in Saudi Arabian context https://www.youtube.com/watch?v=vLzgye1-d1k . To the best of our knowledge, this is the first work that addresses the problem of aggressive driving behavior using deep learning.


title: Critical edge behavior in the singularly perturbed Pollaczek-Jacobi type unitary ensemble

abstract: In this paper, we study the strong asymptotic for the orthogonal polynomials and universality associated with singularly perturbed Pollaczek-Jacobi type weight $$w_{p_J2}(x,t)=e^{-\frac{t}{x(1-x)}}x^\alpha(1-x)^\beta, $$ where $t \ge 0$, $\alpha >0$, $\beta >0$ and $x \in [0,1].$ Our main results obtained here include two aspects: { I. Strong asymptotics:} We obtain the strong asymptotic expansions for the monic Pollaczek-Jacobi type orthogonal polynomials in different interval $(0,1)$ and outside of interval $\mathbb{C}\backslash (0,1)$, respectively; Due to the effect of $\frac{t}{x(1-x)}$ for varying $t$, different asymptotic behaviors at the hard edge $0$ and $1$ were found with different scaling schemes. Specifically, the uniform asymptotic behavior can be expressed as a Airy function in the neighborhood of point $1$ as $\zeta= 2n^2t \to \infty, n\to \infty$, while it is given by a Bessel function as $\zeta \to 0, n \to \infty$. { II. Universality:} We respectively calculate the limit of the eigenvalue correlation kernel in the bulk of the spectrum and at the both side of hard edge, which will involve a $\psi$-functions associated with a particular Painlev$\acute{e}$ \uppercase\expandafter{\romannumeral3} equation near $x=\pm 1$. Further, we also prove the $\psi$-funcation can be approximated by a Bessel kernel as $\zeta \to 0$ compared with a Airy kernel as $\zeta \to \infty$. Our analysis is based on the Deift-Zhou nonlinear steepest descent method for the Riemann-Hilbert problems.


title: A "Challenging Question" of Bj\"orner from 1976: Every Infinite Geometric Lattice of Finite Rank Has a Matching

abstract: It is proven that every geometric lattice of finite rank greater than 1 has a matching between the points and hyperplanes. This answers a question of P\'olya Prize-winner Anders Bj\"orner from the 1981 Banff Conference on Ordered Sets, which he raised as a "challenging question" in 1976.


title: Why lockdown : On the spread of SARS-CoV-2 in India, a network approach

abstract: We analyze the time series data of number of districts or cities in India that are affected by COVID-19 from March 01, 2020 to April 17, 2020. We study the data in the framework of time series network data. The networks are defined by using the geodesic distances of the districts or cities specified by the latitude and longitude coordinates. We particularly restrict our analysis to all but districts in the north-eastern part of India. Unlike recent studies on the projection of the number of people infected with SARS-CoV-2 in the near future, in this note, the emphasis is on understanding the dynamics of the spread of the virus across the districts of India. We perform spectral and structural analysis of the model networks by considering several measures, notably the spectral radius, the algebraic connectivity, the average clustering coefficient, the average path length and the structure of the communities. Furthermore, we study the overall expansion properties given by the number of districts or cities before and after lockdown. These studies show that lockdown has a significant impact on the spread of SARS-CoV-2 in districts or cities over long distances. However, this impact is only observed after approximately two weeks of lockdown. We speculate that this happened due to the insufficient number of tests for COVID-19 before the lockdown which could not stop the movement of people infected with the virus but not detected, over long distances.


title: Improving embedding efficiency for digital steganography by exploiting similarities between secret and cover images

abstract: Digital steganography is becoming a common tool for protecting sensitive communications in various applications such as crime(terrorism) prevention whereby law enforcing personals need to remotely compare facial images captured at the scene of crime with faces databases of known criminals(suspects); exchanging military maps or surveillance video in hostile environment(situations); privacy preserving in the healthcare systems when storing or exchanging patient medical images(records); and prevent bank customers accounts(records) from being accessed illegally by unauthorized users. Existing digital steganography schemes for embedding secret images in cover image files tend not to exploit various redundancies in the secret image bit-stream to deal with the various conflicting requirements on embedding capacity, stego-image quality, and un-detectibility. This paper is concerned with the development of innovative image procedures and data hiding schemes that exploit, as well as increase, similarities between secret image bit-stream and the cover image LSB plane. This will be achieved in two novel steps involving manipulating both the secret and the cover images,prior to embedding, to achieve higher 0:1 ratio in both the secret image bit-stream and the cover image LSB plane. The above two steps strategy has been exploited to use a bit-plane(s) mapping technique, instead of bit-plane(s) replacement to make each cover pixel usable for secret embedding. This paper will demonstrate that this strategy produces stego-images that have minimal distortion, high embedding efficiency, reasonably good stego-image quality and robustness against 3 well-known targeted steganalysis tools.


title: A null ideal for inaccessibles

abstract: In this paper we introduce a tree-like forcing notion extending some properties of the random forcing in the context of the generalised Cantor space and study its associated ideal of null sets and notion of measurability. This issue was also addressed by Shelah ([11, Problem 0.5]) and concerns the definition of a forcing which is $\kappa^kappa$-bounding, $< \kappa$-closed and $\kappa^+$-cc, for $\kappa$ inaccessible.


title: Continuity of Selected Pullback Attractors

abstract: In this work we obtain theoretical results on continuity of selected pullback attractors and we apply them to reaction diffusion equations with dynamical boundary conditions


title: Steganography Based on Pixel Intensity Value Decomposition

abstract: This paper focuses on steganography based on pixel intensity value decomposition. A number of existing schemes such as binary, Fibonacci, Prime, Natural, Lucas, and Catalan-Fibonacci (CF) are evaluated in terms of payload capacity and stego quality. A new technique based on a specific representation is used to decompose pixel intensity values into 16 (virtual) bit-planes suitable for embedding purposes. The new decomposition scheme has a desirable property whereby the sum of all bit-planes does not exceed the maximum pixel intensity value, i.e. 255. Experimental results demonstrate that the new decomposition scheme offers a better compromise between payload capacity and stego quality than other existing decomposition schemes used for embedding messages. However, embedding in the 6th bit-plane onwards, the proposed scheme offers better stego quality. In general, the new decomposition technique has less effect in terms of quality on pixel value when compared to most existing pixel intensity value decomposition techniques when embedding messages in higher bit-planes.


title: Brain-based control of car infotainment

abstract: Nowadays, the possibility to run advanced AI on embedded systems allows natural interaction between humans and machines, especially in the automotive field. We present a custom portable EEG-based Brain-Computer Interface (BCI) that exploits Event-Related Potentials (ERPs) induced with an oddball experimental paradigm to control the infotainment menu of a car. A preliminary evaluation of the system was performed on 10 participants in a standard laboratory setting and while driving on a closed private track. The task consisted of repeated presentations of 6 different menu icons in oddball fashion. Subject-specific models were trained with different machine learning approaches on cerebral data from either only laboratory or driving experiments (in-lab and in-car models) or a combination of the two (hybrid model) to classify EEG responses to target and non-target stimuli. All models were tested on the subjects' last in-car sessions that were not used for the training. Analysis of ERPs amplitude showed statistically significant (p < 0.05) differences between the EEG responses associated with target and non-target icons, both in the laboratory and while driving. Classification Accuracy (CA) was above chance level for all subjects in all training configurations, with a deep CNN trained on the hybrid set achieving the highest scores (mean CA = 53 $\pm$ 12 %, with 16 % chance level for the 6-class discrimination). The ranking of the features importance provided by a classical BCI approach suggests an ERP-based discrimination between target and non-target responses. No statistical differences were observed between the CAs for the in-lab and in-car training sets, nor between the EEG responses in these conditions, indicating that the data collected in the standard laboratory setting could be readily used for a real driving application without a noticeable decrease in performance.