title: First-order phase boundaries of the massive 1+1 dimensional Nambu--Jona-Lasinio model with isospin

abstract: The massive two-dimensional Nambu--Jona-Lasinio model with isospin (isoNJL) is reconsidered in the large $N_c$ limit. We continue the exploration of its phase diagram by constructing missing first-order phase boundaries. At zero temperature, a phase boundary in the plane of baryon and isospin chemical potentials separates the vacuum from a crystal phase. We derive it from the baryon spectrum of the isoNJL model which, in turn, is obtained via a numerical Hartree-Fock (HF) calculation. At finite temperature, a first-order phase boundary sheet is found using a thermal HF calculation. It interpolates smoothly between the zero temperature phase boundary and the perturbative sheet. The calculations remain tractable owing to the assumption that the charged pion condensate vanishes. In that case, most of the calculations can be done with methods developed in the past for solving the massive one-flavor NJL model.


title: The fate of the axial anomaly in a finite field theory

abstract: The conservation of the vector current and the axial anomaly responsible for the $\pi_0 \to \gamma \gamma$ decay amplitude are obtained in leading order within the Taylor-Lagrange formulation of fields considered as operator-valued distributions. As for gauge theories, where this formulation eliminates all divergences and preserves gauge-symmetry, it is shown that the different contributions can be evaluated directly in $4$-dimensional space-time, with no restrictions whatsoever on the four-momentum of the internal loop, and without the need to introduce any additional non physical degrees of freedom like Pauli-Villars fields. We comment on the similar contributions responsible for the decay of the Higgs boson into two photons.


title: Unsupervised Multiple Person Tracking using AutoEncoder-Based Lifted Multicuts

abstract: Multiple Object Tracking (MOT) is a long-standing task in computer vision. Current approaches based on the tracking by detection paradigm either require some sort of domain knowledge or supervision to associate data correctly into tracks. In this work, we present an unsupervised multiple object tracking approach based on visual features and minimum cost lifted multicuts. Our method is based on straight-forward spatio-temporal cues that can be extracted from neighboring frames in an image sequences without superivison. Clustering based on these cues enables us to learn the required appearance invariances for the tracking task at hand and train an autoencoder to generate suitable latent representation. Thus, the resulting latent representations can serve as robust appearance cues for tracking even over large temporal distances where no reliable spatio-temporal features could be extracted. We show that, despite being trained without using the provided annotations, our model provides competitive results on the challenging MOT Benchmark for pedestrian tracking.


title: A copula-based multivariate hidden Markov model for modelling momentum in football

abstract: We investigate the potential occurrence of change points - commonly referred to as "momentum shifts" - in the dynamics of football matches. For that purpose, we model minute-by-minute in-game statistics of Bundesliga matches using hidden Markov models (HMMs). To allow for within-state correlation of the variables considered, we formulate multivariate state-dependent distributions using copulas. For the Bundesliga data considered, we find that the fitted HMMs comprise states which can be interpreted as a team showing different levels of control over a match. Our modelling framework enables inference related to causes of momentum shifts and team tactics, which is of much interest to managers, bookmakers, and sports fans.


title: Solar Rossby waves observed in GONG++ ring-diagram flow maps

abstract: Context: Solar sectoral Rossby waves have only recently been unambiguously identified in Helioseimsic and Magnetic Imager (HMI) and Michelson Doppler Imager (MDI) maps of flows near the solar surface. So far this has not been done with the Global Oscillation Network Group (GONG) ground-based observations, which have different noise properties. Aims: We utilize 17 years of GONG++ data, to identify and characterize solar Rossby waves using ring-diagram helioseismology. We compare directly with HMI ring-diagram analysis. Methods: Maps of the radial vorticity are obtained for flows within the top 2 Mm of the surface for 17 years of GONG++. The data is corrected for systematic effects including the annual periodicity related to the $B_0$ angle. We then compute the Fourier components of the radial vorticity of the flows in the co-rotating frame. We perform the same analysis on the HMI data that overlap in time. Results: We find that the solar Rossby waves have measurable amplitudes in the GONG++ sectoral power spectra for azimuthal orders between $m=3$ and $m=15$. The measured mode characteristics (frequencies, lifetimes and amplitudes) from GONG++ are consistent with the HMI measurements in the overlap period from 2010 to 2018 for $m\le9$. For higher-$m$ modes the amplitudes and frequencies agree within two sigmas. The signal-to-noise ratio of modes in GONG++ power spectra is comparable to HMI for $8\le m\le11$, but is lower by a factor of two for other modes. Conclusions: The GONG++ data provide a long and uniform data set to study solar global-scale Rossby waves from 2001.


title: On solvable Lie algebras and integration method of ordinary differential equations

abstract: Some more general "inheritance conditions" have been found for a given set of symmetry generators $\{\mathbf{Z}_{\bar{l}}\}$ acting on some set of coupled ordinary differential equations, once the "first integration method" has been applied upon some Abelian sub-algebra of generators $\{\mathbf{Z}_{i}\}$ for the system of equations to be reduced. We have proven the following theorem: all the generators of some solvable sub-algebra can be used via the "first integration method" in order to reduce (the order) and/or (possibly) integrate the system of equations. The specific order in which the step by step reduction process has to be performed, and the condition to obtain the analytic solution solely in terms of quadratures, are also provided. We define the notion "optimum" for some given maximal, solvable sub-algebra and prove a theorem stating that: this algebra leads to the most profitable way of using the symmetry generators for the integration procedure at hand.


title: Dynamic Knowledge Routing Network For Target-Guided Open-Domain Conversation

abstract: Target-guided open-domain conversation aims to proactively and naturally guide a dialogue agent or human to achieve specific goals, topics or keywords during open-ended conversations. Existing methods mainly rely on single-turn datadriven learning and simple target-guided strategy without considering semantic or factual knowledge relations among candidate topics/keywords. This results in poor transition smoothness and low success rate. In this work, we adopt a structured approach that controls the intended content of system responses by introducing coarse-grained keywords, attains smooth conversation transition through turn-level supervised learning and knowledge relations between candidate keywords, and drives an conversation towards an specified target with discourse-level guiding strategy. Specially, we propose a novel dynamic knowledge routing network (DKRN) which considers semantic knowledge relations among candidate keywords for accurate next topic prediction of next discourse. With the help of more accurate keyword prediction, our keyword-augmented response retrieval module can achieve better retrieval performance and more meaningful conversations. Besides, we also propose a novel dual discourse-level target-guided strategy to guide conversations to reach their goals smoothly with higher success rate. Furthermore, to push the research boundary of target-guided open-domain conversation to match real-world scenarios better, we introduce a new large-scale Chinese target-guided open-domain conversation dataset (more than 900K conversations) crawled from Sina Weibo. Quantitative and human evaluations show our method can produce meaningful and effective target-guided conversations, significantly improving over other state-of-the-art methods by more than 20% in success rate and more than 0.6 in average smoothness score.


title: Selfish Robustness and Equilibria in Multi-Player Bandits

abstract: Motivated by cognitive radios, stochastic multi-player multi-armed bandits gained a lot of interest recently. In this class of problems, several players simultaneously pull arms and encounter a collision - with 0 reward - if some of them pull the same arm at the same time. While the cooperative case where players maximize the collective reward (obediently following some fixed protocol) has been mostly considered, robustness to malicious players is a crucial and challenging concern. Existing approaches consider only the case of adversarial jammers whose objective is to blindly minimize the collective reward. We shall consider instead the more natural class of selfish players whose incentives are to maximize their individual rewards, potentially at the expense of the social welfare. We provide the first algorithm robust to selfish players (a.k.a. Nash equilibrium) with a logarithmic regret, when the arm performance is observed. When collisions are also observed, Grim Trigger type of strategies enable some implicit communication-based algorithms and we construct robust algorithms in two different settings: the homogeneous (with a regret comparable to the centralized optimal one) and heterogeneous cases (for an adapted and relevant notion of regret). We also provide impossibility results when only the reward is observed or when arm means vary arbitrarily among players.


title: Three-dimensional modelling of absorption by various species for hot Jupiter HD 209458b

abstract: The absorption of stellar radiation observed by the HD209458b in resonant lines of OI and CII has not yet been satisfactorily modeled. In our previous 2D simulations we have shown that the hydrogen-dominated upper atmosphere of HD209458b, heated by XUV radiation, expands supersonically beyond the Roche lobe and drags the heavier species along with it. Assuming solar abundances, OI and CII particles accelerated by tidal forces to velocities up to 50 km/s should produce the absorption due to Doppler resonance mechanism at the level of 6-10%, consistent with the observations. Since the 2D geometry does not take into account the Coriolis force in the planet reference frame, the question remained to which extent the spiraling of the escaping planetary material and its actually achieved velocity may influence the conclusions made on the basis of 2D modeling. In the present paper we apply for the first time in the study of HD209458b a global 3D hydrodynamic multi-fluid model that self-consistently describes the formation and expansion of the escaping planetary wind, affected by the tidal and Coriolis forces, as well as by the surrounding stellar wind. The modeling results confirm our previous findings that the velocity and density of the planetary flow are sufficiently high to produce the absorption in HI, OI, and CII resonant lines at the level close to the in-transit observed values. The novel finding is that the matching of the absorption measured in MgII and SiIII lines requires at least 10 times lower abundances of these elements than the Solar system values.


title: Tomography of light mesons in light-cone quark model

abstract: We investigate the tomographical structure of pion and kaon in light cone quark model (LCQM). In particular, we study the parton distribution amplitude (PDA) of pion and kaon. We obtain the parton distribution function (PDF) and the generalized parton distributions (GPDs) of the pion and kaon. The valence quark PDA and PDF of pion, after QCD evolution, are found to be consistent with the data from the E791 and the E615 experiments at Fermilab, respectively. Further, we investigate the transverse momentum distributions (TMDs) of pion and kaon. We also discuss the unpolarized TMD evolution for pion and kaon in this model.


title: Essentially coercive forms and asympotically compact semigroups

abstract: Form methods are most efficient to prove generation theorems for semigroups but also for proving selfadjointness. So far those theorems are based on a coercivity notion which allows the use of the Lax-Milgram Lemma. Here we consider weaker "essential" versions of coerciveness which already suffice to obtain the generator of a semigroup S or a selfadjoint operator. We also show that one of these properties, namely essentially positive coerciveness implies a very special asymptotic behaviour of S, namely asymptotic compactness; i.e. that dist(S(t),K(H)) tends to 0 as t tends to infinity, where K(H) denotes the space of all compact operators on the underlying Hilbert space.


title: Constraining input parameters of AMPT model with $\phi$ meson production

abstract: A Multi-Phase Transport Model (AMPT) has been extensively used to understand the physics behind the experimental observation. Like other models, the outcome of the AMPT model depends on the initial parameters. Therefore, one needs to choose suitable initial parameters before using the model. Lund string fragmentation function has been used to create quark-antiquarks pairs in the AMPT model. The Lund string fragmentation parameters determine the yields and transverse momentum ($p_{T}$) spectra of particles produced in nucleus-nucleus collisions. The values of Lund string fragmentation parameters were determined by fitting the charged particle yield and $p_{T}$ spectra measured in the experiment. In this paper, we have shown the yield of strange quarks carrying hadrons, e.g. $\phi$ mesons, are more sensitive to Lund string fragmentation parameters compared to non-strange pions. Using $\phi$ meson spectra measured at RHIC, we have obtained new sets of Lund parameters for Au+Au collisions at $\sqrt{s_{\mathrm {NN}}}$ = 11.5, 39, and 200 GeV. We have found that using the same set of parameters, we can explain $\phi$-meson yield at $\sqrt{s_{\mathrm {NN}}}$ = 39 and 200 GeV, however, we need a different set of parameters for $\sqrt{s_{\mathrm {NN}}}$ = 11.5 GeV. This suggests that at low energy, $\sqrt{s_{\mathrm {NN}}}$ = 11.5 GeV, the underlying mechanism for particle production is different compared to top RHIC energies. We have also predicted invariant yield of $\pi$ and $\phi$ mesons as a function of $p_{T}$ in U+U collisions at $\sqrt{s_{\mathrm {NN}}}$ = 196 GeV to be measured by STAR experiment.


title: A Decision Procedure for Guarded Separation Logic: Complete Entailment Checking for Separation Logic with Inductive Definitions

abstract: We develop a doubly-exponential decision procedure for the satisfiability problem of guarded separation logic -- a novel fragment of separation logic featuring user-supplied inductive predicates, Boolean connectives, and separating connectives, including restricted (guarded) versions of negation, magic wand, and septraction. Moreover, we show that dropping the guards for any of the above connectives leads to an undecidable fragment. We further apply our decision procedure to reason about entailments in the popular symbolic heap fragment of separation logic. In particular, we obtain a doubly-exponential decision procedure for entailments between (quantifier-free) symbolic heaps with inductive predicate definitions of bounded treewidth (SLIDbtw) - one of the most expressive decidable fragments of separation logic. Together with the recently shown 2ExpTime-hardness for entailments in said fragment, we conclude that the entailment problem for SLIDbtw is 2ExpTime-complete - thereby closing a previously open complexity gap.


title: On a Flat Triangular Form Based on the Extended Chained Form

abstract: In this paper, we present a structurally flat triangular form which is based on the extended chained form. We provide necessary and sufficient conditions for an affine input system with two inputs to be static feedback equivalent to the proposed triangular form, and thus a sufficient condition for an affine input system to be flat.


title: CLT for quadratic variation of Gaussian processes and its application to the estimation of the Orey index

abstract: We give a two-dimensional central limit theorem (CLT) for the second-order quadratic variation of the centered Gaussian processes on $[0,T]$. Though the approach we use is well known in the literature, the conditions under which the CLT holds are usually based on differentiability of the corresponding covariance function. In our case, we replace differentiability conditions by the convergence of the scaled sums of the second-order moments. To illustrate the usefulness and easiness of use of the approach, we apply the obtained CLT to proving the asymptotic normality of the estimator of the Orey index of a subfractional Brownian motion.


title: Selective Convolutional Network: An Efficient Object Detector with Ignoring Background

abstract: It is well known that attention mechanisms can effectively improve the performance of many CNNs including object detectors. Instead of refining feature maps prevalently, we reduce the prohibitive computational complexity by a novel attempt at attention. Therefore, we introduce an efficient object detector called Selective Convolutional Network (SCN), which selectively calculates only on the locations that contain meaningful and conducive information. The basic idea is to exclude the insignificant background areas, which effectively reduces the computational cost especially during the feature extraction. To solve it, we design an elaborate structure with negligible overheads to guide the network where to look next. It's end-to-end trainable and easy-embedding. Without additional segmentation datasets, we explores two different train strategies including direct supervision and indirect supervision. Extensive experiments assess the performance on PASCAL VOC2007 and MS COCO detection datasets. Results show that SSD and Pelee integrated with our method averagely reduce the calculations in a range of 1/5 and 1/3 with slight loss of accuracy, demonstrating the feasibility of SCN.


title: A survey of topological Zimmer's program

abstract: In this article, we survey the status of topological Zimmer's conjecture on matrix group actions on manifolds.


title: Arabic Diacritic Recovery Using a Feature-Rich biLSTM Model

abstract: Diacritics (short vowels) are typically omitted when writing Arabic text, and readers have to reintroduce them to correctly pronounce words. There are two types of Arabic diacritics: the first are core-word diacritics (CW), which specify the lexical selection, and the second are case endings (CE), which typically appear at the end of the word stem and generally specify their syntactic roles. Recovering CEs is relatively harder than recovering core-word diacritics due to inter-word dependencies, which are often distant. In this paper, we use a feature-rich recurrent neural network model that uses a variety of linguistic and surface-level features to recover both core word diacritics and case endings. Our model surpasses all previous state-of-the-art systems with a CW error rate (CWER) of 2.86\% and a CE error rate (CEER) of 3.7% for Modern Standard Arabic (MSA) and CWER of 2.2% and CEER of 2.5% for Classical Arabic (CA). When combining diacritized word cores with case endings, the resultant word error rate is 6.0% and 4.3% for MSA and CA respectively. This highlights the effectiveness of feature engineering for such deep neural models.


title: Higher degree Killing forms on $2-$step nilmanifolds

abstract: We study left-invariant Killing forms of arbitrary degree on simply connected $2-$step nilpotent Lie groups endowed with left-invariant Riemannian metrics, and classify them when the center of the group is at most two-dimensional.


title: A topological equivalence relation for finitely presented groups

abstract: In this paper, we consider an equivalence relation within the class of finitely presented discrete groups attending to their asymptotic topology rather than their asymptotic geometry. More precisely, we say that two finitely presented groups $G$ and $H$ are "proper $2$-equivalent" if there exist (equivalently, for all) finite $2$-dimensional CW-complexes $X$ and $Y$, with $\pi_1(X) \cong G$ and $\pi_1(Y) \cong H$, so that their universal covers $\widetilde{X}$ and $\widetilde{Y}$ are proper $2$-equivalent. It follows that this relation is coarser than the quasi-isometry relation. We point out that finitely presented groups which are $1$-ended and semistable at infinity are classified, up to proper $2$-equivalence, by their fundamental pro-group, and we study the behaviour of this relation with respect to some of the main constructions in combinatorial group theory. A (finer) similar equivalence relation may also be considered for groups of type $F_n, n \geq 3$, which captures more of the large-scale topology of the group. Finally, we pay special attention to the class of those groups $G$ which admit a finite $2$-dimensional CW-complex $X$ with $\pi_1(X) \cong G$ and whose universal cover $\widetilde{X}$ has the proper homotopy type of a $3$-manifold. We show that if such a group $G$ is $1$-ended and semistable at infinity then it is proper $2$-equivalent to either ${\mathbb Z} \times {\mathbb Z} \times {\mathbb Z}$, ${\mathbb Z} \times {\mathbb Z}$ or ${\mathbb F}_2 \times {\mathbb Z}$ (here, ${\mathbb F}_2$ is the free group on two generators). As it turns out, this applies in particular to any group $G$ fitting as the middle term of a short exact sequence of infinite finitely presented groups, thus classifying such group extensions up to proper $2$-equivalence.


title: Deep-Geometric 6 DoF Localization from a Single Image in Topo-metric Maps

abstract: We describe a Deep-Geometric Localizer that is able to estimate the full 6 Degree of Freedom (DoF) global pose of the camera from a single image in a previously mapped environment. Our map is a topo-metric one, with discrete topological nodes whose 6 DoF poses are known. Each topo-node in our map also comprises of a set of points, whose 2D features and 3D locations are stored as part of the mapping process. For the mapping phase, we utilise a stereo camera and a regular stereo visual SLAM pipeline. During the localization phase, we take a single camera image, localize it to a topological node using Deep Learning, and use a geometric algorithm (PnP) on the matched 2D features (and their 3D positions in the topo map) to determine the full 6 DoF globally consistent pose of the camera. Our method divorces the mapping and the localization algorithms and sensors (stereo and mono), and allows accurate 6 DoF pose estimation in a previously mapped environment using a single camera. With potential VR/AR and localization applications in single camera devices such as mobile phones and drones, our hybrid algorithm compares favourably with the fully Deep-Learning based Pose-Net that regresses pose from a single image in simulated as well as real environments.


title: Theory of radio-frequency spectroscopy of impurities in quantum gases

abstract: We present a theory of radio-frequency spectroscopy of impurities interacting with a quantum gas at finite temperature. By working in the canonical ensemble of a single impurity, we show that the impurity spectral response is directly connected to the finite-temperature equation of state (free energy) of the impurity. We consider two different response protocols: "injection", where the impurity is introduced into the medium from an initially non-interacting state; and "ejection", where the impurity is ejected from an initially interacting state with the medium. We show that there is a simple mapping between injection and ejection spectra, which is connected to the detailed balance condition in thermal equilibrium. To illustrate the power of our approach, we specialize to the case of the Fermi polaron, corresponding to an impurity atom that is immersed in a non-interacting Fermi gas. For a mobile impurity with a mass equal to the fermion mass, we employ a finite-temperature variational approach to obtain the impurity spectral response. We find a striking non-monotonic dependence on temperature in the impurity free energy, the contact, and the radio-frequency spectra. For the case of an infinitely heavy Fermi polaron, we derive exact results for the finite-temperature free energy, thus generalizing Fumi's theorem to arbitrary temperature. We also determine the exact dynamics of the contact after a quench of the impurity-fermion interactions. Finally, we show that the injection and ejection spectra obtained from the variational approach compare well with the exact spectra, thus demonstrating the accuracy of our approximate method.


title: Molecular alignment echoes probe collision-induced rotational-speed changes

abstract: We show that the decays with pressure of the alignment echoes induced in N2O-He gas mixtures by two laser pulses with various delays bring detailed information on collision-induced changes of the rotational speed. Measurements and calculations demonstrate that collisions reduce the echo amplitude all the more efficiently when the echo appears late. We quantitatively explain this behavior by the filamentation of the classical rotational phase space induced by the first pulse and the progressive narrowing of the filaments with time. The variation of the echo decay thus reflects the ability of collisions to change the molecules' rotational speed by various amounts, enabling refined tests of models for the dissipation induced by intermolecular forces.


title: Range-kernel characterizations of operators which are adjoint of each other

abstract: We provide necessary and sufficient conditions for a pair $S,T$ of Hilbert space operators in order that they satisfy $S^*=T$ and $T^*=S$. As a main result we establish an improvement of von Neumann's classical theorem on the positive self-adjointness of $S^*S$ for two variables. We also give some new characterizations of self-adjointness and skew-adjointness of operators, not requiring their symmetry or skew-symmetry, respectively.


title: On Stochastic Automata over Monoids

abstract: Stochastic automata over monoids as input sets are studied. The well-definedness of these automata requires an extension postulate that replaces the inherent universal property of free monoids. As a generalization of Turakainen's result, it will be shown that the generalized automata over monoids have the same acceptance power as their stochastic counterparts. The key to homomorphisms is a commuting property between the monoid homomorphism of input states and the monoid homomorphism of transition matrices. Closure properties of the languages accepted by stochastic automata over monoids are investigated. matrices. Closure properties of the languages accepted by stochastic automata over monoids are investigated.


title: Reinhardt cardinals and iterates of V

abstract: Assume ZF($j$) and there is a Reinhardt cardinal, as witnessed by the elementary embedding $j:V\to V$. We investigate the linear iterates $(N_{\alpha},j_{\alpha})$ of $(V,j)$, and their relationship to $(V,j)$, forcing and definability, including that for each infinite ordinal $\alpha$, every set is set-generic over $N_{\alpha}$, but $N_{\alpha}$ is not a set-ground. Assume second order ZF. We prove that the existence of super Reinhardt cardinals and total Reinhardt cardinals is not affected by small forcing. And if $V[G]$ has a set of ordinals which is not in $V$, then $V[G]$ has no elementary embedding $j:V[G]\to M\subseteq V$ (even allowing $M$ to be illfounded).


title: Optimal quantization of the mean measure and applications to statistical learning

abstract: This paper addresses the case where data come as point sets, or more generally as discrete measures. Our motivation is twofold: first we intend to approximate with a compactly supported measure the mean of the measure generating process, that coincides with the intensity measure in the point process framework, or with the expected persistence diagram in the framework of persistence-based topological data analysis. To this aim we provide two algorithms that we prove almost minimax optimal. Second we build from the estimator of the mean measure a vectorization map, that sends every measure into a finite-dimensional Euclidean space, and investigate its properties through a clustering-oriented lens. In a nutshell, we show that in a mixture of measure generating process, our technique yields a representation in $\mathbb{R}^k$, for $k \in \mathbb{N}^*$ that guarantees a good clustering of the data points with high probability. Interestingly, our results apply in the framework of persistence-based shape classification via the ATOL procedure described in \cite{Royer19}.


title: QCD equation of state at vanishing and high baryon density: Chiral Mean Field model

abstract: The thermodynamic properties of high temperature and high density QCD-matter are studied using the Chiral SU(3)-flavor parity-doublet Polyakov-loop quark-hadron mean-field model, CMF. The CMF model provides a proper description of lattice QCD data, heavy-ions physics, and static neutron stars. The behavior of lines of constant pressure with increase of baryon density is discussed. The rapid change of pressure behavior at $\mu_B/T\approx3$ suggests a strong contribution of baryons to thermodynamic properties at this region. The position of this region is very close to the radius of convergence for a Taylor expansion of the QCD pressure. The role of mesons and unstable hadrons in the hydrodynamic expansion of strongly interacting matter is also discussed.


title: Removing Connected Obstacles in the Plane is FPT

abstract: Given two points in the plane, a set of obstacles defined by closed curves, and an integer $k$, does there exist a path between the two designated points intersecting at most $k$ of the obstacles? This is a fundamental and well-studied problem arising naturally in computational geometry, graph theory, wireless computing, and motion planning. It remains $\textsf{NP}$-hard even when the obstacles are very simple geometric shapes (e.g., unit-length line segments). In this paper, we show that the problem is fixed-parameter tractable ($\textsf{FPT}$) parameterized by $k$, by giving an algorithm with running time $k^{O(k^3)}n^{O(1)}$. Here $n$ is the number connected areas in the plane drawing of all the obstacles.


title: Superradiant-like dynamics by electron shuttling on a nuclear-spin island

abstract: We investigate superradiant-like dynamics of the nuclear-spin bath in a single-electron quantum dot, by considering electrons cyclically shuttling on/off an isotopically enriched `nuclear-spin island'. Assuming a uniform hyperfine interaction, we discuss in detail the nuclear spin evolution under shuttling and its relation to superradiance. We derive the minimum shuttling time which allows to escape the adiabatic spin evolution. Furthermore, we discuss slow/fast shuttling under the inhomogeneous field of a nearby micromagnet. Finally, by comparing our scheme to a model with stationary quantum dot, we stress the important role played by non-adiabatic shuttling in lifting the Coulomb blockade and thus establishing the superradiant-like behavior.


title: Well-posedness of SVI solutions to singular-degenerate stochastic porous media equations arising in self-organised criticality

abstract: We consider a class of generalised stochastic porous media equations with multiplicative Lipschitz continuous noise. These equations can be related to physical models exhibiting self-organised criticality. We show that these SPDEs have unique SVI solutions which depend continuously on the initial value. In order to formulate this notion of solution and to prove uniqueness in the case of a slowly growing nonlinearity, the arising energy functional is analysed in detail.


title: Novel rhenium carbides at 200 GPa

abstract: Laser heating of rhenium in a diamond anvil cell to 3000 K at about 200 GPa results in formation of two previously unknown rhenium carbides, hexagonal WC-type structured ReC and orthorhombic TiSi2-type structured ReC2. The Re-C slid solution formed at multimegabar pressure has the carbon content of ca. 20 at%. Unexpectedly long C-C distances (ca. 1.76-1.85 A) in 'graphene-like' carbon nets in the structure of ReC2 cannot be explained by a simple covalent bonding between carbon atoms and suggest that at very high pressures the mechanism of interaction between carbon atoms in inorganic compounds may be different from that considered so far.


title: On the use of recurrent neural networks for predictions of turbulent flows

abstract: In this paper, the prediction capabilities of recurrent neural networks are assessed in the low-order model of near-wall turbulence by Moehlis {\it et al.} (New J. Phys. {\bf 6}, 56, 2004). Our results show that it is possible to obtain excellent predictions of the turbulence statistics and the dynamic behavior of the flow with properly trained long short-term memory (LSTM) networks, leading to relative errors in the mean and the fluctuations below $1\%$. We also observe that using a loss function based only on the instantaneous predictions of the flow may not lead to the best predictions in terms of turbulence statistics, and it is necessary to define a stopping criterion based on the computed statistics. Furthermore, more sophisticated loss functions, including not only the instantaneous predictions but also the averaged behavior of the flow, may lead to much faster neural network training.


title: Integer--valued functions, Hurwitz functions and related topics: a survey

abstract: An integer--valued function is an entire function which maps the nonnegative integers $\mathbb N$ to the integers. An example is $2^z$. A Hurwitz function is an entire function having all derivatives taking integer values at $0$. An example is ${\mathrm e}^z$. Lower bound for the growth order of such functions have a rich history. Many variants have been considered: for instance, assuming that the first $k$ derivatives at the integers are integers, or assuming that the derivatives at $k$ points are integers. These as well as and many other variants have been considered. We survey some of them.


title: Radio-frequency response and contact of impurities in a quantum gas

abstract: We investigate the radio-frequency spectroscopy of impurities interacting with a quantum gas at finite temperature. In the limit of a single impurity, we show using Fermi's golden rule that introducing (or injecting) an impurity into the medium is equivalent to ejecting an impurity that is initially interacting with the medium, since the "injection" and "ejection" spectral responses are simply related to each other by an exponential function of frequency. Thus, the full spectral information for the quantum impurity is contained in the injection spectral response, which can be determined using a range of theoretical methods, including variational approaches. We use this property to compute the finite-temperature equation of state and Tan contact of the Fermi polaron. Our results for the contact of a mobile impurity are in excellent agreement with recent experiments and we find that the finite-temperature behavior is qualitatively different compared to the case of infinite impurity mass.


title: Fast reconstruction of atomic-scale STEM-EELS images from sparse sampling

abstract: This paper discusses the reconstruction of partially sampled spectrum-images to accelerate the acquisition in scanning transmission electron microscopy (STEM). The problem of image reconstruction has been widely considered in the literature for many imaging modalities, but only a few attempts handled 3D data such as spectral images acquired by STEM electron energy loss spectroscopy (EELS). Besides, among the methods proposed in the microscopy literature, some are fast but inaccurate while others provide accurate reconstruction but at the price of a high computation burden. Thus none of the proposed reconstruction methods fulfills our expectations in terms of accuracy and computation complexity. In this paper, we propose a fast and accurate reconstruction method suited for atomic-scale EELS. This method is compared to popular solutions such as beta process factor analysis (BPFA) which is used for the first time on STEM-EELS images. Experiments based on real as synthetic data will be conducted.


title: Large-Scale Fading Precoding for Maximizing the Product of SINRs

abstract: This paper considers the large-scale fading precoding design for mitigating the pilot contamination in the downlink of multi-cell massive MIMO (multiple-input multiple-output) systems. Rician fading with spatially correlated channels are considered where the line-of-sight (LOS) components of the channels are randomly phase-shifted in each coherence block. The large-scale fading precoding weights are designed based on maximizing the product of the signal-to-interference-plus-noise ratios (SINRs) of the users, which provides a good balance between max-min fairness and sum rate maximization. The spectral efficiency (SE) is derived based on the scaled least squares (LS) estimates of the channels, which only utilize the despreaded pilot signals without any matrix inversion. Simulation results show that the two-layer large-scale fading precoding improves the SE of almost all users compared to the conventional single-layer precoding.


title: ALPINE: Active Link Prediction using Network Embedding

abstract: Many real-world problems can be formalized as predicting links in a partially observed network. Examples include Facebook friendship suggestions, consumer-product recommendations, and the identification of hidden interactions between actors in a crime network. Several link prediction algorithms, notably those recently introduced using network embedding, are capable of doing this by just relying on the observed part of the network. Often, the link status of a node pair can be queried, which can be used as additional information by the link prediction algorithm. Unfortunately, such queries can be expensive or time-consuming, mandating the careful consideration of which node pairs to query. In this paper we estimate the improvement in link prediction accuracy after querying any particular node pair, to use in an active learning setup. Specifically, we propose ALPINE (Active Link Prediction usIng Network Embedding), the first method to achieve this for link prediction based on network embedding. To this end, we generalized the notion of V-optimality from experimental design to this setting, as well as more basic active learning heuristics originally developed in standard classification settings. Empirical results on real data show that ALPINE is scalable, and boosts link prediction accuracy with far fewer queries.


title: NOE-less protein structures-an alternative paradigm in Highly Paramagnetic Systems

abstract: The current paradigm for protein structure determination by NMR spectroscopy has thus far been based on collecting distance restrains between pairs of nuclei in the form of nuclear Overhauser enhancements (NOE). These, have in some circumstances been supplemented with other information sources such as paramagnetic relaxation enhancements or residual dipolar couplings. Here, we report for the first time a protein structure determination by NMR without the use of NOEs. The protein PioC from Rhodopseu-domonas palustris TIE-1 is an HIPIP where the 4Fe4S cluster is paramagnetic and provides the source of Paramagnetic Relaxation Enhancements (PRE) used as alternative distance constraints. Comparison of the family of structures obtained by NOE structural restraints, with that obtained by PRE and with the family of structures obtained by combining NOEs and PREs reveals that the pairwise RMSD between them are similar and comparable with the precision within each family. This work sets the stage for the structural characterization of small and dynamic paramagnetic metalloproteins opening a new paradigm in the use of NMR in structural biology.


title: Dark matter constraints from dwarf galaxies with data-driven J-factors

abstract: We present an updated analysis of the gamma-ray flux from the directions of classical dwarf spheroidal galaxies, deriving new constraints on WIMP dark matter (DM) annihilation using a decade of Fermi-LAT data. Among the major novelties, we infer the dwarfs' J-factors by including new observations without imposing any a priori parametric profile for the DM distribution. While statistically compatible with results obtained from more conventional parameterisations, this procedure reduces the theoretical bias imposed on the data. Furthermore, we retain the full data-driven shape of the J-factors' empirical probability distributions when setting limits on DM, without imposing log-normality as is typically done. In conjunction with the data-driven J-factors, we use a new method for estimating the probability distribution function of the astrophysical background at the dwarf position, fully profiling over background uncertainties. We show that, for most classical dwarfs, the background systematic uncertainty dominates over the uncertainty on their J-factors. Raw distributions of J- and D-factors (the latter being the analogous of J-factors for decaying DM) are available upon request.


title: Elasticity of Jammed Packings of Sticky Disks

abstract: Numerous soft materials jam into an amorphous solid at high packing fraction. This non-equilibrium phase transition is best understood in the context of a model system in which particles repel elastically when they overlap. Recently, however, it was shown that introducing any finite amount of attraction between particles changes the universality class of the transition. The properties of this new ``sticky jamming'' class remain almost entirely unexplored. We use molecular dynamics simulations and scaling analysis to determine the shear modulus, bulk modulus, and coordination of marginal solids close to the sticky jamming point. In each case, the behavior of the system departs sharply and qualitatively from the purely repulsive case.


title: Probing Mobile Charge Carriers in Semiconducting Carbon Nanotube Networks by Charge Modulation Spectroscopy

abstract: Solution-processed networks of semiconducting, single-walled carbon nanotubes (SWCNTs) have attracted considerable attention as materials for next-generation electronic devices and circuits. However, the impact of the SWCNT network composition on charge transport on a microscopic level remains an open and complex question. Here, we use charge-modulated absorption and photoluminescence spectroscopy to probe exclusively the mobile charge carriers in monochiral (6,5) and mixed SWCNT network field-effect transistors. Ground state bleaching and charge-induced trion absorption features, as well as exciton quenching are observed depending on applied voltage and modulation frequency. Through correlation of the modulated mobile carrier density and the optical response of the nanotubes, we find that charge transport in mixed SWCNT networks depends strongly on the diameter and thus bandgap of the individual species. Mobile charges are preferentially transported by small bandgap SWCNTs especially at low gate voltages, whereas large bandgap species only start to participate at higher carrier concentrations. Our results demonstrate the excellent suitability of modulation spectroscopy to investigate charge transport in nanotube network transistors and highlight the importance of SWCNT network composition for their performance.


title: Experimental adaptive Bayesian estimation of multiple phases with limited data

abstract: Achieving ultimate bounds in estimation processes is the main objective of quantum metrology. In this context, several problems require measurement of multiple parameters by employing only a limited amount of resources. To this end, adaptive protocols, exploiting additional control parameters, provide a tool to optimize the performance of a quantum sensor to work in such limited data regime. Finding the optimal strategies to tune the control parameters during the estimation process is a non-trivial problem, and machine learning techniques are a natural solution to address such task. Here, we investigate and implement experimentally for the first time an adaptive Bayesian multiparameter estimation technique tailored to reach optimal performances with very limited data. We employ a compact and flexible integrated photonic circuit, fabricated by femtosecond laser writing, which allows to implement different strategies with high degree of control. The obtained results show that adaptive strategies can become a viable approach for realistic sensors working with a limited amount of resources.


title: From flops to diffeomorphism groups

abstract: We exhibit many examples of closed complex surfaces whose diffeomorphism groups are not simply-connected and contain loops that are not homotopic to loops of symplectomorphisms.


title: On the generation of periodic discrete structures with identical two-point correlation

abstract: Strategies for the generation of periodic discrete structures with identical two-point correlation are developed. Starting from a pair of root structures, which are not related by translation, phase inversion or axis reflections, child structures of arbitrary resolution (i.e., pixel or voxel numbers) and number of phases (i.e., material phases/species) can be generated by means of trivial embedding based phase extension, application of kernels and/or phase coalescence, such that the generated structures inherit the two-point-correlation equivalence. Proofs of the inheritance property are provided by means of the Discrete Fourier Transform theory. A Python 3 implementation of the results is offered by the authors through the Github repository https://github.com/DataAnalyticsEngineering/EQ2PC in order to make the provided results reproducible and useful for all interested readers. Examples for the generation of structures are demonstrated, together with applications in the homogenization theory of periodic media.


title: Information and motility exchange in collectives of active particles

abstract: We examine the interplay of motility and information exchange in a model of run-and-tumble active particles where the particle's motility is encoded as a bit of information that can be exchanged upon contact according to the rules of AND and OR logic gates in a circuit. Motile AND particles become non-motile upon contact with a non-motile particle. Conversely, motile OR particles remain motile upon collision with their non-motile counterparts. AND particles that have become non-motile additionally "reawaken", i.e., recover their motility, at a fixed rate $\mu$, as in the SIS (Susceptible, Infected, Susceptible) model of epidemic spreading, where an infected agent can become healthy again, but keeps no memory of the recent infection, hence it is susceptible to a renewed infection. For $\mu=0$, both AND and OR particles relax irreversibly to absorbing states of all non-motile or all motile particles, respectively. The relaxation kinetics is, however, faster for OR particles that remain active throughout the process. At finite $\mu$, the AND dynamics is controlled by the interplay between reawakening and collision rates. The system evolves to a state of all motile particles (an absorbing state in the language of absorbing phase transitions) for $\mu>\mu_c$ and to a mixed state with coexisting motile and non-motile particles (an active state in the language of absorbing phase transitions) for $\mu<\mu_c$. The final state exhibits a rich structure controlled by motility-induced aggregation. Our work can be relevant to biochemical signaling in motile bacteria, the spreading of epidemics and of social consensus, as well as light-controlled organization of active colloids.


title: Spectrally-resolved dielectric function of amorphous and crystalline GeTe nanoparticle thin films

abstract: Phase-change materials (PCMs), which are well-established in optical and random-access memories, are increasingly studied for emerging topics such as brain-inspired computing and active photonics. These applications take advantage of the pronounced reflectivity and resistivity changes that accompany the structural transition in PCMs from their amorphous to crystalline state. However, PCMs are typically fabricated as thin films via sputtering, which is costly, requires advanced equipment, and limits the sample and device design. Here, we investigate a simpler and more flexi-ble approach for applications in tunable photonics: the use of sub-10 nm colloidal PCM nanoparticles (NPs). We report the optical properties of amorphous and crystalline germanium telluride (GeTe) NP thin films from the infrared to the ultraviolet spectral range. Using spectroscopic ellipsometry with support from cross-sectional scanning electron microscopy, atomic force microscopy, and absorption spectroscopy, we extract refractive indices n, extinction coefficients k, and band gaps Eg and compare to values known for sputtered GeTe thin films. We find a decrease of n and k and an increase of Eg for NP-based GeTe films, yielding insights into size-dependent property changes for nanoscale PCMs. Furthermore, our results reveal the suitability of GeTe NPs for tunable photonics in the near-infrared and visible spectral range. Finally, we studied sample reproducibility and aging of our NP films. We found that the colloidally-prepared PCM thin films were stable for at least two months stored under nitrogen, further supporting the great promise of these materials in applications.


title: Correlations in scattered perfect optical vortices

abstract: We have studied correlations in the speckle patterns generated by the scattering of perfect optical vortex (POV) beams and used them for producing a new-class of coherence functions, namely Bessel coherence functions. Higher (zeroth) order Bessel coherence functions have been realized in cross (auto)-correlation between the speckle patterns generated by the scattering of perfect vortex beams of different orders. We have also studied the propagation of produced Bessel coherence functions and characterized their divergence with respect to the radius of their first ring for different orders m=0--4. We observed that the divergence varies linearly with the order of the coherence function. We provide the exact analytical expression for the auto-correlation as well as cross-correlation functions for speckle patterns. Our experimental results are in good agreement with the analytical results.


title: Determination of the relative inclination and the viewing angle of an interacting pair of galaxies using convolutional neural networks

abstract: Constructing dynamical models for interacting pair of galaxies as constrained by their observed structure and kinematics crucially depends on the correct choice of the values of the relative inclination ($i$) between their galactic planes as well as the viewing angle ($\theta$), the angle between the line of sight and the normal to the plane of their orbital motion. We construct Deep Convolutional Neural Network (DCNN) models to determine the relative inclination ($i$) and the viewing angle ($\theta$) of interacting galaxy pairs, using N-body $+$ Smoothed Particle Hydrodynamics (SPH) simulation data from the GALMER database for training the same. In order to classify galaxy pairs based on their $i$ values only, we first construct DCNN models for a (a) 2-class ( $i$ = 0 $^{\circ}$, 45$^{\circ}$ ) and (b) 3-class ($i = 0^{\circ}, 45^{\circ} \text{ and } 90^{\circ}$) classification, obtaining $F_1$ scores of 99% and 98% respectively. Further, for a classification based on both $i$ and $\theta$ values, we develop a DCNN model for a 9-class classification ($(i,\theta) \sim (0^{\circ},15^{\circ}) ,(0^{\circ},45^{\circ}), (0^{\circ},90^{\circ}), (45^{\circ},15^{\circ}), (45^{\circ}, 45^{\circ}), (45^{\circ}, 90^{\circ}), (90^{\circ}, 15^{\circ}), (90^{\circ}, 45^{\circ}), (90^{\circ},90^{\circ})$), and the $F_1$ score was 97$\%$. Finally, we tested our 2-class model on real data of interacting galaxy pairs from the Sloan Digital Sky Survey (SDSS) DR15, and achieve an $F_1$ score of 78%. Our DCNN models could be further extended to determine additional parameters needed to model dynamics of interacting galaxy pairs, which is currently accomplished by trial and error method.


title: Chargino production at the ILC

abstract: The lighter chargino, $\widetilde{\chi}_1^{\pm}$, is a prime candidate to be the next-to-lightest SUSY particle (the NLSP). Several analyses of $\widetilde{\chi}_1^{\pm}$ pair-production at the ILC, at specific model-points, have been performed, showing that detection and property-determination is possible, even for very difficult cases. However, no recent studies have evaluated the reach of the ILC to detect $\widetilde{\chi}_1^{\pm}$ pair production in general. In this study, cross sections for $\widetilde{\chi}_1^{\pm}$ pair production at the ILC were evaluated within a wide range of parameters. The aim was to determine the conditions for the lowest cross sections and compare these worst-case values with an estimation of the cross section limit for the observation of the lightest charginos at the ILC. The estimated limits were extrapolated from the studies performed at LEP, which can also be regarded as a worst-case scenario, since the tremendous advances in detector and accelerator technologies are disregarded


title: Learning rewards for robotic ultrasound scanning using probabilistic temporal ranking

abstract: Informative path-planning is a well established approach to visual-servoing and active viewpoint selection in robotics, but typically assumes that a suitable cost function or goal state is known. This work considers the inverse problem, where the goal of the task is unknown, and a reward function needs to be inferred from exploratory example demonstrations provided by a demonstrator, for use in a downstream informative path-planning policy. Unfortunately, many existing reward inference strategies are unsuited to this class of problems, due to the exploratory nature of the demonstrations. In this paper, we propose an alternative approach to cope with the class of problems where these sub-optimal, exploratory demonstrations occur. We hypothesise that, in tasks which require discovery, successive states of any demonstration are progressively more likely to be associated with a higher reward, and use this hypothesis to generate time-based binary comparison outcomes and infer reward functions that support these ranks, under a probabilistic generative model. We formalise this \emph{probabilistic temporal ranking} approach and show that it improves upon existing approaches to perform reward inference for autonomous ultrasound scanning, a novel application of learning from demonstration in medical imaging while also being of value across a broad range of goal-oriented learning from demonstration tasks. \keywords{Visual servoing \and reward inference \and probabilistic temporal ranking


title: Synthesizing Compact Hardware for Accelerating Inference from Physical Signals in Sensors

abstract: We present dimensional circuit synthesis, a new method for generating digital logic circuits that improve the efficiency of training and inference of machine learning models from sensor data. The hardware accelerators that the method generates are compact enough (a few thousand gates) to allow integration within low-cost miniaturized sensor integrated circuits, right next to the sensor transducer. The method takes as input a description of physical properties of relevant signals in the sensor transduction process and generates as output a Verilog register transfer level (RTL) description for a circuit that computes low-level features that exploit the units of measure of the signals in the system. We implement dimensional circuit synthesis as a backend to the compiler for Newton, a language for describing physical systems. We evaluate the backend implementation and the hardware it generates, on descriptions of 7 physical systems. The results show that our implementation of dimensional circuit synthesis generates circuits of as little as 1662 logic cells / 1239 gates for the systems we evaluate. We synthesize the designs generated by the dimensional circuit synthesis compilation backend for a low-power miniature FPGA targeted by its manufacturer at sensor interface applications. The circuits which the method generated use as little as 27% of the resources of the 2.15x2.5 mm FPGA. We measure the power dissipation of the FPGA's isolated core supply rail and show that, driven with a pseudorandom signal input stream, the synthesized designs use as little as 1.0 mW and no more than 5.8 mW. These results show the feasibility of integrating physics-inspired machine learning methods within low-cost miniaturized sensor integrated circuits, right next to the sensor transducer.


title: Stability and Applications

abstract: We give a brief overview of Bridgeland's theory of stability conditions, focusing on applications to algebraic geometry. We sketch the basic ideas in Bayer's proof of the Brill--Noether Theorem and in the authors' proof of a theorem by Gruson--Peskine and Harris on the genus of space curves. This note originated from the lecture of the first author at the conference From Algebraic Geometry to Vision and AI: A Symposium Celebrating the Mathematical Work of David Mumford, held at the Center of Mathematical Sciences and Applications, Harvard University, August 18-20, 2018.


title: Local Bitcoin Network Simulator for Performance Evaluation using Lightweight Virtualization

abstract: This paper presents a new blockchain network simulator that uses bitcoin's original reference implementation as its main application. The proposed simulator leverages the use of lightweight virtualization technology to build a fine tuned local testing network. To enable fast simulation of a large scale network without disabling mining service, the simulator can adjust the bitcoin mining difficulty level to below the default minimum value. In order to assess the performance of blockchain under different network conditions, the simulator allows to define different network topologies, and integrates Linux kernel traffic control (tc) tool to apply distinct delay or packet loss on the network nodes. Moreover, to validate the efficiency of our simulator we conduct a set of experiments and study the impact of the computation power and network delay on the network's consistency in terms of number of forks and mining revenues. The impact of applying different mining difficulty levels is also studied and the block time as well as fork occurrences are evaluated. Furthermore, a comprehensive survey and taxonomy of existing blockchain simulators are provided along with a discussion justifying the need of new simulator. As part of our contribution, we have made the simulator available on Github (https://github.com/noureddinel/core-bitcoin-net-simulator) for the community to use and improve it.


title: Machine Learning Techniques to Detect and Characterise Whistler Radio Waves

abstract: Lightning strokes create powerful electromagnetic pulses that routinely cause very low frequency (VLF) waves to propagate across hemispheres along geomagnetic field lines. VLF antenna receivers can be used to detect these whistler waves generated by these lightning strokes. The particular time/frequency dependence of the received whistler wave enables the estimation of electron density in the plasmasphere region of the magnetosphere. Therefore the identification and characterisation of whistlers are important tasks to monitor the plasmasphere in real-time and to build large databases of events to be used for statistical studies. The current state of the art in detecting whistler is the Automatic Whistler Detection (AWD) method developed by Lichtenberger (2009). This method is based on image correlation in 2 dimensions and requires significant computing hardware situated at the VLF receiver antennas (e.g. in Antarctica). The aim of this work is to develop a machine learning-based model capable of automatically detecting whistlers in the data provided by the VLF receivers. The approach is to use a combination of image classification and localisation on the spectrogram data generated by the VLF receivers to identify and localise each whistler. The data at hand has around 2300 events identified by AWD at SANAE and Marion and will be used as training, validation, and testing data. Three detector designs have been proposed. The first one using a similar method to AWD, the second using image classification on regions of interest extracted from a spectrogram, and the last one using YOLO, the current state of the art in object detection. It has been shown that these detectors can achieve a misdetection and false alarm of less than 15% on Marion's dataset.


title: A Regression Tsetlin Machine with Integer Weighted Clauses for Compact Pattern Representation

abstract: The Regression Tsetlin Machine (RTM) addresses the lack of interpretability impeding state-of-the-art nonlinear regression models. It does this by using conjunctive clauses in propositional logic to capture the underlying non-linear frequent patterns in the data. These, in turn, are combined into a continuous output through summation, akin to a linear regression function, however, with non-linear components and unity weights. Although the RTM has solved non-linear regression problems with competitive accuracy, the resolution of the output is proportional to the number of clauses employed. This means that computation cost increases with resolution. To reduce this problem, we here introduce integer weighted RTM clauses. Our integer weighted clause is a compact representation of multiple clauses that capture the same sub-pattern-N repeating clauses are turned into one, with an integer weight N. This reduces computation cost N times, and increases interpretability through a sparser representation. We further introduce a novel learning scheme that allows us to simultaneously learn both the clauses and their weights, taking advantage of so-called stochastic searching on the line. We evaluate the potential of the integer weighted RTM empirically using six artificial datasets. The results show that the integer weighted RTM is able to acquire on par or better accuracy using significantly less computational resources compared to regular RTMs. We further show that integer weights yield improved accuracy over real-valued ones.


title: Benchmarking Flexible Electric Loads Scheduling Algorithms under Market Price Uncertainty

abstract: Because of increasing amounts of intermittent and distributed generators in power systems, many demand response programs have been developed to schedule flexible energy consumption. However, proper benchmarks for comparing these methods are lacking, especially when decisions are made based on information which is repeatedly updated. This paper presents a new benchmarking tool designed to bridge this gap. Surveys that classify flexibility planning algorithms were an input to define the benchmarking standards. The framework can be used for different objectives and under diverse conditions faced by electricity energy stakeholders interested in flexibility scheduling algorithms. It includes a simulation environment that captures the evolution of look--ahead information, which enables comparing online planning and scheduling algorithms. The benchmarking tool is used to test seven planning algorithms measuring their performance under uncertain market conditions. The results show the importance of online decision making, the influence of data quality on the algorithm performance, the benefit of using robust and stochastic programming approaches, and the necessity of trustworthy benchmarking.


title: Edge Current and Pairing Order Transition in Chiral Bacterial Vortex

abstract: We report the selective stabilization of chiral rotational direction of bacterial vortices, from turbulent bacterial suspension, in achiral circular microwells sealed by an oil-water interface. This broken-symmetry, originating from the intrinsic chirality of bacterial swimming near hydrodynamically different top and bottom surfaces, generates a chiral edge current of bacteria at lateral boundary and grows stronger as bacterial density increases. We demonstrate that chiral edge current favors co-rotational configurations of interacting vortices, enhancing their ordering. The interplay between the intrinsic chirality of bacteria and the geometric properties of the boundary is a key-feature for the pairing order transition of active turbulence.


title: Erd\H{o}s Distance Problem in $\mathbb{R}^d$

abstract: In this paper, we prove Erd\H{o}s distance conjecture in $\mathbb{R}^d$, namely, a set of $n$ points in $\mathbb{R}^2$ determines $\Omega(\frac{n}{\sqrt{\log n}})$ distances, and for $d\ge 3$, a set of $n$ points in $\mathbb{R}^d$ determines $\Omega(n^{\frac{2}{d}})$ distinct distances.


title: Adversarial Attacks to Scale-Free Networks: Testing the Robustness of Physical Criteria

abstract: Adversarial attacks have been alerting the artificial intelligence community recently, since many machine learning algorithms were found vulnerable to malicious attacks. This paper studies adversarial attacks to scale-free networks to test their robustness in terms of statistical measures. In addition to the well-known random link rewiring (RLR) attack, two heuristic attacks are formulated and simulated: degree-addition-based link rewiring (DALR) and degree-interval-based link rewiring (DILR). These three strategies are applied to attack a number of strong scale-free networks of various sizes generated from the Barab\'asi-Albert model. It is found that both DALR and DILR are more effective than RLR, in the sense that rewiring a smaller number of links can succeed in the same attack. However, DILR is as concealed as RLR in the sense that they both are constructed by introducing a relatively small number of changes on several typical structural properties such as average shortest path-length, average clustering coefficient, and average diagonal distance. The results of this paper suggest that to classify a network to be scale-free has to be very careful from the viewpoint of adversarial attack effects.


title: Scattering, absorption, and thermal emission by large cometary dust particles: Synoptic numerical solution

abstract: Context: Remote light scattering and thermal infrared observations provide clues about the physical properties of cometary and interplanetary dust particles. Identifying these properties will lead to a better understanding of the formation and evolution of the Solar System. Aims: We present a numerical solution for the radiative and conductive heat transport in a random particulate medium enclosed by an arbitrarily shaped surface. The method will be applied to study thermal properties of cometary dust particles. Methods: The recently introduced incoherent Monte Carlo radiative transfer method developed for scattering, absorption, and propagation of electromagnetic waves in dense discrete random media is extended for radiative heat transfer and thermal emission. The solution is coupled with the conductive Fourier transport equation that is solved with the finite-element method. Results: The proposed method allows the synoptic analysis of light scattering and thermal emission by large cometary dust particles consisting of submicrometer-sized grains. In particular, we show that these particles can sustain significant temperature gradients resulting in the superheating factor phase function observed for the coma of comet 67P/Churyumov-Gerasimenko.


title: Local Aggregation in Preference Games

abstract: In this work we introduce a new model of decision-making by agents in a social network. Agents have innate preferences over the strategies but, because of the social interactions, the decision of the agents are not only affected by their innate preferences but also by the decision taken by their social neighbors. We assume that the strategies of the agents are embedded in an {approximate} metric space. Furthermore, departing from the previous literature, we assume that, due to the lack of information, each agent locally represents the trend of the network through an aggregate value, which can be interpreted as the output of an aggregation function. We answer some fundamental questions related to the existence and efficiency of pure Nash equilibria.


title: A local radial basis function method for the Laplace-Beltrami operator

abstract: We introduce a new local meshfree method for the approximation of the Laplace-Beltrami operator on a smooth surface of co-dimension one embedded in $\R^3$. A key element of this method is that it does not need an explicit expression of the surface, which can be simply defined by a set of scattered nodes. It does not require expressions for the surface normal vectors and for the curvature of the surface neither, which are approximated using formulas derived in the paper. An additional advantage is that it is a local method and, hence, the matrix that approximates the Laplace-Beltrami operator is sparse, which translates into good scalability properties. The convergence, accuracy and other computational characteristics of the method are studied numerically. The performance is shown by solving two reaction-diffusion partial differential equations on surfaces; the Turing model for pattern formation, and the Schaeffer's model for electrical cardiac tissue behavior.


title: Commuting probability and simultaneous conjugacy classes of commuting tuples in a group

abstract: Let $G$ be a finite group. This expository article explores the subject of commuting probability in the group $G$ and its relation with simultaneous conjugacy classes of commuting tuples in $G$. We also point out the relevance of this topic in context of topology where similar problems are studied when $G$ is a Lie group.


title: Tackling Existence Probabilities of Objects with Motion Planning for Automated Urban Driving

abstract: Motion planners take uncertain information about the environment as an input. The environment information is often quite noisy and has a tendency to contain false positive object detection. State-of-the-art motion planners consider all objects alike, thus producing overcautious behavior. In this paper we present a planning approach that considers alternative maneuvers in a combined fashion and plans a motion that is formed by the probabilities of those alternatives. The proposed planner can smoothly react to objects with low existence probability while remaining collision-free in case their existence substantiates. In this way, it tolerates the faults arising from perception and prediction, thus reducing their impact on operational reliability.


title: Revealing Much While Saying Less: Predictive Wireless for Status Update

abstract: Wireless communications for status update are becoming increasingly important, especially for machine-type control applications. Existing work has been mainly focused on Age of Information (AoI) optimizations. In this paper, a status-aware predictive wireless interface design, networking and implementation are presented which aim to minimize the status recovery error of a wireless networked system by leveraging online status model predictions. Two critical issues of predictive status update are addressed: practicality and usefulness. Link-level experiments on a Software-Defined-Radio (SDR) testbed are conducted and test results show that the proposed design can significantly reduce the number of wireless transmissions while maintaining a low status recovery error. A Status-aware Multi-Agent Reinforcement learning neTworking solution (SMART) is proposed to dynamically and autonomously control the transmit decisions of devices in an ad hoc network based on their individual statuses. System-level simulations of a multi dense platooning scenario are carried out on a road traffic simulator. Results show that the proposed schemes can greatly improve the platooning control performance in terms of the minimum safe distance between successive vehicles, in comparison with the AoI-optimized status-unaware and communication latency-optimized schemes---this demonstrates the usefulness of our proposed status update schemes in a real-world application.


title: Minimax Defense against Gradient-based Adversarial Attacks

abstract: State-of-the-art adversarial attacks are aimed at neural network classifiers. By default, neural networks use gradient descent to minimize their loss function. The gradient of a classifier's loss function is used by gradient-based adversarial attacks to generate adversarially perturbed images. We pose the question whether another type of optimization could give neural network classifiers an edge. Here, we introduce a novel approach that uses minimax optimization to foil gradient-based adversarial attacks. Our minimax classifier is the discriminator of a generative adversarial network (GAN) that plays a minimax game with the GAN generator. In addition, our GAN generator projects all points onto a manifold that is different from the original manifold since the original manifold might be the cause of adversarial attacks. To measure the performance of our minimax defense, we use adversarial attacks - Carlini Wagner (CW), DeepFool, Fast Gradient Sign Method (FGSM) - on three datasets: MNIST, CIFAR-10 and German Traffic Sign (TRAFFIC). Against CW attacks, our minimax defense achieves 98.07% (MNIST-default 98.93%), 73.90% (CIFAR-10-default 83.14%) and 94.54% (TRAFFIC-default 96.97%). Against DeepFool attacks, our minimax defense achieves 98.87% (MNIST), 76.61% (CIFAR-10) and 94.57% (TRAFFIC). Against FGSM attacks, we achieve 97.01% (MNIST), 76.79% (CIFAR-10) and 81.41% (TRAFFIC). Our Minimax adversarial approach presents a significant shift in defense strategy for neural network classifiers.


title: Structure of Fano fibrations of varieties admitting an int-amplified endomorphism

abstract: In this paper, we study the structure of Fano fibrations of varieties admitting an int-amplified endomorphism. We prove that if a normal $\mathbb{Q}$-factorial klt projective variety $X$ has an int-amplified endomorphism, then there exists an \'etale in codimension one finite morphism $\widetilde{X} \to X$ such that $\widetilde{X}$ is of Fano type over its albanese variety. As a corollary, if we further assume that $X$ is smooth and rationally connected, then $X$ is of Fano type.


title: From tree matching to sparse graph alignment

abstract: In this paper we consider alignment of sparse graphs, for which we introduce the Neighborhood Tree Matching Algorithm (NTMA). For correlated Erd\H{o}s-R\'{e}nyi random graphs, we prove that the algorithm returns -- in polynomial time -- a positive fraction of correctly matched vertices, and a vanishing fraction of mismatches. This result holds with average degree of the graphs in $O(1)$ and correlation parameter $s$ that can be bounded away from 1, conditions under which random graph alignment is particularly challenging. As a byproduct of the analysis we introduce a matching metric between trees and characterize it for several models of correlated random trees. These results may be of independent interest, yielding for instance efficient tests for determining whether two random trees are correlated or independent.


title: Subelliptic wave equations are never observable

abstract: It is well-known that observability (and, by duality, controllability) of the elliptic wave equation, i.e., with a Riemannian Laplacian, in time $T_0$ is almost equivalent to the Geometric Control Condition (GCC), which stipulates that any geodesic ray meets the control set within time $T_0$. We show that in the subelliptic setting, GCC is never verified, and that subelliptic wave equations are never observable in finite time. More precisely, given any subelliptic Laplacian $\Delta=-\sum_{i=1}^m X_i^*X_i$ on a manifold $M$, and any measurable subset $\omega\subset M$ such that $M\backslash \omega$ contains in its interior a point $q$ with $[X_i,X_j](q)\notin \text{Span}(X_1,\ldots,X_m)$ for some $1\leq i,j\leq m$, we show that for any $T_0>0$, the wave equation with subelliptic Laplacian $\Delta$ is not observable on $\omega$ in time $T_0$. The proof is based on the construction of sequences of solutions of the wave equation concentrating on geodesics (for the associated sub-Riemannian distance) spending a long time in $M\backslash \omega$. As a counterpart, we prove a positive result of observability for the wave equation in the Heisenberg group, where the observation set is a well-chosen part of the phase space.


title: Non-invasive optical focusing inside strongly scattering media with linear fluorescence

abstract: Non-invasive optical focusing inside scattering media is still a big challenge because inhomogeneous media scatter both incoming photons for focusing and outgoing photons for observation. Various approaches, utilizing non-linear fluorescence or ultrasound, have been reported to address this difficulty. However, implementation of these methods is complicated and highly expensive, as ultrafast laser systems or photo-acoustic equipment must be employed. Here, we demonstrate a wavefront shaping technique to achieve non-invasive focusing (NiF) inside scattering media using only a linear fluorescent signal. Contrast and mean of incoherent speckles, produced by the linear fluorescence, are utilized as feedback signals to optimize the input wavefront. While increasing speckle contrast makes the focus tighter, and increasing the speckle mean enhances the intensity, fine-tuning the contribution of these two factors in our two-step optimization is essential. An optimal wavefront is found to achieve simultaneously both a micrometer focal spot size (down to 20 um diameter) and high intensity (more than a 100-fold enhancement) inside the scattering media. Our method promises a new route in life science towards focusing, imaging or manipulating deep into biological tissues with linear fluorescent agents.


title: A Multi-Objective Approach for Post-Nonlinear Source Separation and its Application to Ion-Selective Electrodes

abstract: Blind source separation (BSS) methods have been applied to deal with the lack of selectivity of ion-selective electrodes (ISE). In this paper, differently from the standard BSS solutions, which are based on the optimization of a mono-objective cost function associated with a given property of the sought signals, we introduce a novel approach by relying on multi-objective optimization. Numerical experiments with actual data attested that our proposal allows the incorporation of additional information on the interference model and also provides the user a set of solutions from which he/she can select a proper one according to his/her prior knowledge on the problem.


title: Primordial perturbations in the Dapor-Liegener model of hybrid loop quantum cosmology

abstract: In this work, we extend the formalism of hybrid loop quantum cosmology for primordial perturbations around a flat, homogeneous, and isotropic universe to the new treatment of Friedmann-Lema\^itre-Robertson-Walker geometries proposed recently by Dapor and Liegener, based on an alternative regularization of the Hamiltonian constraint. In fact, our discussion is applicable also to other possible regularization schemes for loop quantum cosmology, although we specialize our analysis to the Dapor-Liegener proposal and construct explicitly all involved quantum operators for that case.


title: The 1:2:4 resonance in a particle chain

abstract: We consider four masses in a circular configuration with nearest-neighbour interaction, generalizing the spatially periodic Fermi--Pasta--Ulam-chain where all masses are equal. We identify the mass ratios that produce the $1{:}2{:}4$~resonance --- the normal form in general is non-integrable already at cubic order. Taking two of the four masses equal allows to retain a discrete symmetry of the fully symmetric Fermi--Pasta--Ulam-chain and yields an integrable normal form approximation. The latter is also true if the cubic terms of the potential vanish. We put these cases in context and analyse the resulting dynamics, including a detuning of the $1{:}2{:}4$~resonance within the particle chain.


title: Boosting API Recommendation with Implicit Feedback

abstract: Developers often need to use appropriate APIs to program efficiently, but it is usually a difficult task to identify the exact one they need from a vast of candidates. To ease the burden, a multitude of API recommendation approaches have been proposed. However, most of the currently available API recommenders do not support the effective integration of users' feedback into the recommendation loop. In this paper, we propose a framework, BRAID (Boosting RecommendAtion with Implicit FeeDback), which leverages learning-to-rank and active learning techniques to boost recommendation performance. By exploiting users' feedback information, we train a learning-to-rank model to re-rank the recommendation results. In addition, we speed up the feedback learning process with active learning. Existing query-based API recommendation approaches can be plugged into BRAID. We select three state-of-the-art API recommendation approaches as baselines to demonstrate the performance enhancement of BRAID measured by Hit@k (Top-k), MAP, and MRR. Empirical experiments show that, with acceptable overheads, the recommendation performance improves steadily and substantially with the increasing percentage of feedback data, comparing with the baselines.


title: Second law of thermodynamics at stopping times

abstract: Events in mesoscopic systems often take place at first-passage times, as is for instance the case for a colloidal particle that escapes a metastable state. An interesting question is how much work an external agent has done on a particle when it escapes a metastable state. We develop a thermodynamic theory for processes in mesoscopic systems that terminate at stopping times, which generalize first-passage times. This theory implies a thermodynamic bound, reminiscent of the second law of thermodynamics, for the work exerted by an external protocol on a mesoscopic system at a stopping time. As an illustration, we use this law to bound the work required to stretch a polymer to a certain length or to let a particle escape from a metastable state.


title: Packing a number of copies of a $(p,\,q)$-graph

abstract: Let $k,p,q$ be three positive integers. A graph $G$ with order $n$ is said to be $k$-placeable if there are $k$ edge disjoint copies of $G$ in the complete graph on $n$ vertices. A $(p,\,q)$-graph is a graph of order $p$ with $q$ edges. Packing results have proved useful in the study of the complexity of graph properties. Bollob\'{a}s et al. investigated the $k$-placeable of $(n,\,n-2)$-graphs and $(n,\,n-1)$-graphs with $k=2$ and $k=3$. Motivated by their results, this paper characterizes $(n,\,n-1)$-graphs with girth at least $9$ which are $4$-placeable. We also consider the $k$-placeable of $(n,\,n+1)$-graphs and 2-factors.


title: Intra-scales energy transfer during the evolution of turbulence in a trapped Bose-Einstein condensate

abstract: In turbulence phenomena, including the quantum turbulence in superfluids, an energy flux flows from large to small length scales, composing a cascade of energy. A universal characteristic of turbulent flows is the existence of a range of scales where the energy flux is scale-invariant: this interval of scales is often referred to as inertial region. This property is fundamental as, for instance, in turbulence of classical fluids it characterizes the behavior of statistical features such as spectra and structure functions. Here we show that also in decaying quantum turbulence generated in trapped Bose-Einstein condensates (BECs), intervals of momentum space where the energy flux is constant can be identified. Indeed, we present a procedure to measure the energy flux using both the energy spectrum and the continuity equation. A range of scales where the flux is constant is then determined employing two distinct protocols and in the same range, the momentum distribution measured is consistent with previous work. The successful identification of a region with constant flux in turbulent BECs is a manifestation of the universal character of turbulence in these quantum systems. These measurements pave the way for studies of energy conservation and dissipation in trapped atomic superfluids, and also analogies with the related processes that take place in ordinary fluids.


title: Finite Time Analysis of Linear Two-timescale Stochastic Approximation with Markovian Noise

abstract: Linear two-timescale stochastic approximation (SA) scheme is an important class of algorithms which has become popular in reinforcement learning (RL), particularly for the policy evaluation problem. Recently, a number of works have been devoted to establishing the finite time analysis of the scheme, especially under the Markovian (non-i.i.d.) noise settings that are ubiquitous in practice. In this paper, we provide a finite-time analysis for linear two timescale SA. Our bounds show that there is no discrepancy in the convergence rate between Markovian and martingale noise, only the constants are affected by the mixing time of the Markov chain. With an appropriate step size schedule, the transient term in the expected error bound is $o(1/k^c)$ and the steady-state term is ${\cal O}(1/k)$, where $c>1$ and $k$ is the iteration number. Furthermore, we present an asymptotic expansion of the expected error with a matching lower bound of $\Omega(1/k)$. A simple numerical experiment is presented to support our theory.


title: Lee-Yang theory of the Curie-Weiss model and its rare fluctuations

abstract: Phase transitions are typically accompanied by non-analytic behaviors of the free energy, which can be explained by considering the zeros of the partition function in the complex plane of the control parameter and their approach to the critical value on the real-axis as the system size is increased. Recent experiments have shown that partition function zeros are not just a theoretical concept. They can also be determined experimentally by measuring fluctuations of thermodynamic observables in systems of finite size. Motivated by this progress, we investigate here the partition function zeros for the Curie-Weiss model of spontaneous magnetization using our recently established cumulant method. Specifically, we extract the leading Fisher and Lee-Yang zeros of the Curie-Weiss model from the fluctuations of the energy and the magnetization in systems of finite size. We develop a finite-size scaling analysis of the partition function zeros, which is valid for mean-field models, and which allows us to extract both the critical values of the control parameters and the critical exponents, even for small systems that are away from criticality. We also show that the Lee-Yang zeros carry important information about the rare magnetic fluctuations as they allow us to predict many essential features of the large-deviation statistics of the magnetization. This finding may constitute a profound connection between Lee-Yang theory and large-deviation statistics.


title: Unbiased Estimation of the Solution to Zakai's Equation

abstract: In the following article we consider the non-linear filtering problem in continuous-time and in particular the solution to Zakai's equation or the normalizing constant. We develop a methodology to produce finite variance, almost surely unbiased estimators of the solution to Zakai's equation. That is, given access to only a first order discretization of solution to the Zakai equation, we present a method which can remove this discretization bias. The approach, under assumptions, is proved to have finite variance and is numerically compared to using a particular multilevel Monte Carlo method.


title: Apsidal motion in the massive binary HD152248

abstract: The eccentric massive binary HD152248 (also known as V1007 Sco), which hosts two O7.5 III-II(f) stars, is the most emblematic eclipsing O-star binary in the very young and rich open cluster NGC6231. Its properties render the system an interesting target for studying tidally induced apsidal motion. Measuring the rate of apsidal motion in such a binary system gives insight into the internal structure and evolutionary state of the stars composing it. A large set of optical spectra was used to reconstruct the spectra of the individual binary components and establish their radial velocities using a disentangling code. Radial velocities measured over seven decades were used to establish the rate of apsidal motion. We furthermore analysed the reconstructed spectra with the CMFGEN model atmosphere code to determine stellar and wind properties of the system. Optical photometry was analysed with the Nightfall binary star code. A complete photometric and radial velocity model was constructed in PHOEBE 2 to determine robust uncertainties. We find a rate of apsidal motion of $(1.843^{+0.064}_{-0.083})\deg$ yr$^{-1}$. The photometric data indicate an orbital inclination of $(67.6^{+0.2}_{-0.1})\deg$ and Roche-lobe filling factors of both stars of about 0.86. Absolute masses of $29.5^{+0.5}_{-0.4}$M$_\odot$ and mean stellar radii of $15.07^{+0.08}_{-0.12}$R$_\odot$ are derived for both stars. We infer an observational value for the internal structure constant of both stars of $0.0010\pm0.0001$. Our in-depth analysis of the massive binary HD152248 and the redetermination of its fundamental parameters can serve as a basis for the construction of stellar evolution models to determine theoretical rates of apsidal motion to be compared with the observational one. In addition, the system hosts two twin stars, which offers a unique opportunity to obtain direct insight into the internal structure of the stars.


title: Detectability of nGauss primordial magnetic fields in the B-mode polarization of CMB

abstract: The origin of large-scale magnetic fields in the Universe is still unknown. Observations suggest the presence of nGauss primordial magnetic fields at the last scattering surface. The presence of such fields will affect the evolution of cosmological perturbations and potentially leave an imprint on the CMB anisotropies. Here, we show that the B-mode power spectrum carries a clear signature of the stochastic primordial magnetic fields up to a few nGauss. Specifically, the presence of nGauss primordial magnetic fields changes the BB power spectrum at all scales. At large scales, the tensor modes contribute to the B-mode spectrum, while non-vanishing vector modes contribute at small scales. We show that the B-mode of CMB carry a distinct signature of the primordial magnetic fields. To validate our prediction, we use BICEP2 and POLARBEAR data and find that B-mode observations from the experiments are consistent with non-zero primordial fields. We also use the BICEP2 observations to constrain the primordial magnetic field. We provide a detailed analysis of the B-mode polarization of the CMB with primordial magnetic fields and investigate the implications for the upcoming CMB missions.


title: Group-valued momentum maps for actions of automorphism groups

abstract: The space of smooth sections of a symplectic fiber bundle carries a natural symplectic structure. We provide a general framework to determine the momentum map for the action of the group of bundle automorphism on this space. Since, in general, this action does not admit a classical momentum map, we introduce the more general class of group-valued momentum maps which is inspired by the Poisson Lie setting. In this approach, the group-valued momentum map assigns to every section of the symplectic fiber bundle a principal circle-bundle with connection. The power of this general framework is illustrated in many examples: we construct generalized Clebsch variables for fluids with integral helicity; the anti-canonical bundle turns out to be the momentum map for the action of the group of symplectomorphisms on the space of compatible complex structures; the Teichm\"uller moduli space is realized as a symplectic orbit reduced space associated to a coadjoint orbit of $\mathrm{SL}(2,\mathbb{R})$ and spaces related to the other coadjoint orbits are identified and studied. Moreover, we show that the momentum map for the group of bundle automorphisms on the space of connections over a Riemann surface encodes, besides the curvature, also topological information of the bundle.


title: Coalescing Eigenvalues and Crossing Eigencurves of 1-Parameter Matrix Flows

abstract: We investigate the eigenvalue curves of 1-parameter hermitean and general complex or real matrix flows $A(t)$ in light of their geometry and the uniform decomposability of $A(t)$ for all parameters $t$. The often misquoted and misapplied results by Hund and von Neumann and by Wigner for eigencurve crossings from the late 1920s are clarified for hermitean matrix flows $A(t) = (A(t))^*$. A conjecture on extending these results to general non-normal or non-hermitean 1-parameter matrix flows is formulated and investigated. An algorithm to compute the block dimensions of uniformly decomposable hermitean matrix flows is described and tested. The algorithm uses the ZNN method to compute the time-varying matrix eigenvalue curves of $A(t)$ for $t_o \leq t\leq t_f$. Similar efforts for general complex matrix flows are described. This extension leads to many new and open problems. Specifically, we point to the difficult relationship between the geometry of eigencurves for general complex matrix flows $A(t)$ and a general flow's decomposability into blockdiagonal form via one fixed unitary or general matrix similarity for all parameters $t$.


title: Code Duplication on Stack Overflow

abstract: Despite the unarguable importance of Stack Overflow (SO) for the daily work of many software developers and despite existing knowledge about the impact of code duplication on software maintainability, the prevalence and implications of code clones on SO have not yet received the attention they deserve. In this paper, we motivate why studies on code duplication within SO are needed and how existing studies on code reuse differ from this new research direction. We present similarities and differences between code clones in general and code clones on SO and point to open questions that need to be addressed to be able to make data-informed decisions about how to properly handle clones on this important platform. We present results from a first preliminary investigation, indicating that clones on SO are common and diverse. We further point to specific challenges, including incentives for users to clone successful answers and difficulties with bulk edits on the platform, and conclude with possible directions for future work.


title: GTC: Guided Training of CTC Towards Efficient and Accurate Scene Text Recognition

abstract: Connectionist Temporal Classification (CTC) and attention mechanism are two main approaches used in recent scene text recognition works. Compared with attention-based methods, CTC decoder has a much shorter inference time, yet a lower accuracy. To design an efficient and effective model, we propose the guided training of CTC (GTC), where CTC model learns a better alignment and feature representations from a more powerful attentional guidance. With the benefit of guided training, CTC model achieves robust and accurate prediction for both regular and irregular scene text while maintaining a fast inference speed. Moreover, to further leverage the potential of CTC decoder, a graph convolutional network (GCN) is proposed to learn the local correlations of extracted features. Extensive experiments on standard benchmarks demonstrate that our end-to-end model achieves a new state-of-the-art for regular and irregular scene text recognition and needs 6 times shorter inference time than attentionbased methods.


title: Public-Key Based Authentication Architecture for IoT Devices Using PUF

abstract: Nowadays, Internet of Things (IoT) is a trending topic in the computing world. Notably, IoT devices have strict design requirements and are often referred to as constrained devices. Therefore, security techniques and primitives that are lightweight are more suitable for such devices, e.g., Static Random-Access Memory (SRAM) Physical Unclonable Functions (PUFs) and Elliptic Curve Cryptography (ECC). SRAM PUF is an intrinsic security primitive that is seeing widespread adoption in the IoT segment. ECC is a public-key algorithm technique that has been gaining popularity among constrained IoT devices. The popularity is due to using significantly smaller operands when compared to other public-key techniques such as RSA (Rivest Shamir Adleman). This paper shows the design, development, and evaluation of an application-specific secure communication architecture based on SRAM PUF technology and ECC for constrained IoT devices. More specifically, it introduces an Elliptic Curve Diffie-Hellman (ECDH) public-key based cryptographic protocol that utilizes PUF-derived keys as the root-of-trust for silicon authentication. Also, it proposes a design of a modular hardware architecture that supports the protocol. Finally, to analyze the practicality as well as the feasibility of the proposed protocol, we demonstrate the solution by prototyping and verifying a protocol variant on the commercial Xilinx Zynq-7000 APSoC device.