title: The Closed Resolver Project: Measuring the Deployment of Source Address Validation of Inbound Traffic

abstract: Source Address Validation (SAV) is a standard aimed at discarding packets with spoofed source IP addresses. The absence of SAV for outgoing traffic has been known as a root cause of Distributed Denial-of-Service (DDoS) attacks and received widespread attention. While less obvious, the absence of inbound filtering enables an attacker to appear as an internal host of a network and may reveal valuable information about the network infrastructure. Inbound IP spoofing may amplify other attack vectors such as DNS cache poisoning or the recently discovered NXNSAttack. In this paper, we present the preliminary results of the Closed Resolver Project that aims at mitigating the problem of inbound IP spoofing. We perform the first Internet-wide active measurement study to enumerate networks that filter or do not filter incoming packets by their source address, for both the IPv4 and IPv6 address spaces. To achieve this, we identify closed and open DNS resolvers that accept spoofed requests coming from the outside of their network. The proposed method provides the most complete picture of inbound SAV deployment by network providers. Our measurements cover over 55 % IPv4 and 27 % IPv6 Autonomous Systems (AS) and reveal that the great majority of them are fully or partially vulnerable to inbound spoofing. By identifying dual-stacked DNS resolvers, we additionally show that inbound filtering is less often deployed for IPv6 than it is for IPv4. Overall, we discover 13.9 K IPv6 open resolvers that can be exploited for amplification DDoS attacks - 13 times more than previous work. Furthermore, we enumerate uncover 4.25 M IPv4 and 103 K IPv6 vulnerable closed resolvers that could only be detected thanks to our spoofing technique, and that pose a significant threat when combined with the NXNSAttack.


title: An Overview of Deep Semi-Supervised Learning

abstract: Deep neural networks demonstrated their ability to provide remarkable performances on a wide range of supervised learning tasks (e.g., image classification) when trained on extensive collections of labeled data (e.g., ImageNet). However, creating such large datasets requires a considerable amount of resources, time, and effort. Such resources may not be available in many practical cases, limiting the adoption and the application of many deep learning methods. In a search for more data-efficient deep learning methods to overcome the need for large annotated datasets, there is a rising research interest in semi-supervised learning and its applications to deep neural networks to reduce the amount of labeled data required, by either developing novel methods or adopting existing semi-supervised learning frameworks for a deep learning setting. In this paper, we provide a comprehensive overview of deep semi-supervised learning, starting with an introduction to the field, followed by a summarization of the dominant semi-supervised approaches in deep learning.


title: Role of pre-ordered liquid in the selection mechanism of crystal polymorphs during nucleation

abstract: We investigate the atomistic mechanism of homogeneous nucleation during solidification in molybdenum employing transition path sampling. The mechanism is characterized by the formation of a pre-structured region of high bond-orientational order in the supercooled liquid followed by the nucleation of the crystalline bulk phase within the center of the growing solid cluster. This precursor plays a crucial role in the process, as it provides a diffusive interface between the liquid and crystalline core, which lowers the interfacial free energy and facilitates the nucleation of the bulk phase. Furthermore, the structural features of the pre-ordered regions are distinct from the liquid and solid phases, and preselect the specific polymorph that nucleates. The similarity in the nucleation mechanism of Mo with that of metals that exhibit different crystalline bulk phases indicates that the formation of a precursor is a general feature observed in these materials. The strong influence of the structural characteristics of the precursors on the final crystalline bulk phase demonstrates that for the investigated system polymorph selection takes place in the very early stages of nucleation.


title: The lively accretion disk in NGC 2992. I. Transient iron K emission lines in the high flux state

abstract: We report on one of the brightest flux levels of the Seyfert 2 galaxy NGC 2992 ever observed in X-rays, on May 2019. The source has been monitored every few days from March 26, 2019 to December 14, 2019 by Swift-XRT, and simultaneous XMM-Newton (250 ks) and NuSTAR (120 ks) observations were triggered on May 6, 2019. The high count rate of the source (its 2-10 keV flux ranged between 0.7 and $1.0\times10^{-10}$ erg cm$^{-2}$ s$^{-1}$) allows us to perform a time-resolved spectroscopy, probing spatial scales of tens of gravitational radii from the central black hole. By constructing a map of the excess emission over the primary continuum, we find several emission structures in the 5.0-7.2 keV energy band. From fitting the 50 EPIC pn spectral slices of $\sim$5 ks duration, we interpret them as a constant narrow iron K$\alpha$ line and three variable components in the iron K complex. When a self-consistent model accounting for the accretion disk emission is considered (KYNrline), two of these features (in the 5.0-5.8 keV and 6.8-7.2 keV bands) can be ascribed to a flaring region of the accretion disk located at ${r_{in}}\simeq15$-40 r$_{g\rm }$ from the black hole. The third one (6.5-6.8 keV) is likely produced at much larger radii ($r_{in}>50$ r$_{g\rm }$). The inner radius and the azimuthal extension retrieved from the coadded spectra of the flaring states are ${ r_{in}}=15\pm3$ r$_{g\rm }$ and $\phi=165^{\circ}-330^{\circ}$, suggesting that the emitting region responsible for the broad iron K component is a relatively compact annular sector within the disk. Our findings support a physical scenario in which the accretion disk in NGC 2992 becomes more active at high accretion rates ($L_{\rm bol}/L_{\rm Edd}\geq4\%$).


title: Extensive Error Analysis and a Learning-Based Evaluation of Medical Entity Recognition Systems to Approximate User Experience

abstract: When comparing entities extracted by a medical entity recognition system with gold standard annotations over a test set, two types of mismatches might occur, label mismatch or span mismatch. Here we focus on span mismatch and show that its severity can vary from a serious error to a fully acceptable entity extraction due to the subjectivity of span annotations. For a domain-specific BERT-based NER system, we showed that 25% of the errors have the same labels and overlapping span with gold standard entities. We collected expert judgement which shows more than 90% of these mismatches are accepted or partially accepted by the user. Using the training set of the NER system, we built a fast and lightweight entity classifier to approximate the user experience of such mismatches through accepting or rejecting them. The decisions made by this classifier are used to calculate a learning-based F-score which is shown to be a better approximation of a forgiving user's experience than the relaxed F-score. We demonstrated the results of applying the proposed evaluation metric for a variety of deep learning medical entity recognition models trained with two datasets.


title: Wiener-Hopf difference equations and semi-cardinal interpolation with integrable convolution kernels

abstract: Let $H\subset\mathbb{Z}^d$ be a half-space lattice, defined either relative to a fixed coordinate (e.g.\ $H = \mathbb{Z}^{d-1}\!\times\!\mathbb{Z}_+$), or relative to a linear order $\preceq$ on $\mathbb{Z}^d$, i.e.\ $H = \{j\in\mathbb{Z}^d : 0\preceq j\}$. We consider the problem of interpolation at the points of $H$ from the space of series expansions in terms of the $H$-shifts of a decaying kernel $\phi$. Using the Wiener-Hopf factorization of the symbol for cardinal interpolation with $\phi$ on $\mathbb{Z}^d$, we derive some essential properties of semi-cardinal interpolation on $H$, such as existence and uniqueness, Lagrange series representation, variational characterization, and convergence to cardinal interpolation. Our main results prove that specific algebraic or exponential decay of the kernel $\phi$ is transferred to the Lagrange functions for interpolation on $H$, as in the case of cardinal interpolation. These results are shown to apply to a variety of examples, including the Gaussian, Mat\'{e}rn, generalized inverse multiquadric, box-spline, and polyharmonic B-spline kernels.


title: Stabilization of antiferromagnetism in 1T-Fe$_{0.05}$TaS$_2$

abstract: 1T-TaS$_2$ is a prototypical charge-density-wave (CDW) system with a Mott insulating ground state. Usually, a Mott insulator is accompanied by an antiferromagnetic state. However, the antiferromagnetic order had never been observed in 1T-TaS$_2$. Here, we report the stabilization of the antiferromagnetic order by the intercalation of a small amount of Fe into the van der Waals gap of 1T-TaS$_2$, i.e. forming 1T-Fe$_{0.05}$TaS$_2$. Upon cooling from 300~K, the electrical resistivity increases with a decreasing temperature before reaching a maximum value at around 15~K, which is close to the Neel temperature determined from our magnetic susceptibility measurement. The antiferromagnetic state can be fully suppressed when the sample thickness is reduced, indicating that the antiferromagnetic order in Fe$_{0.05}$TaS$_2$ has a non-negligible three-dimensional character. For the bulk Fe$_{0.05}$TaS$_2$, a comparison of our high pressure electrical transport data with that of 1T-TaS$_2$ indicates that, at ambient pressure, Fe$_{0.05}$TaS$_2$ is in the nearly commensurate charge-density-wave (NCCDW) phase near the border of the Mott insulating state. The temperature-pressure phase diagram thus reveals an interesting decoupling of the antiferromagnetism from the Mott insulating state.


title: Bogoliubov type recursions for renormalisation in regularity structures

abstract: Hairer's regularity structures transformed the solution theory of singular stochastic partial differential equations. The notions of positive and negative renormalisation are central and the intricate interplay between these two renormalisation procedures is captured through the combination of cointeracting bialgebras and an algebraic Birkhoff-type decomposition of bialgebra morphisms. This work revisits the latter by defining Bogoliubov-type recursions similar to Connes and Kreimer's formulation of BPHZ renormalisation. We then apply our approach to the renormalisation problem for SPDEs.


title: A geometric characterisation of subvarieties of the standard E_6-variety related to the ternions, degenerate split quaternions and sextonions over arbitrary fields

abstract: The main achievement of this paper is a geometric characterisation of certain subvarieties of the Cartan variety (the standard projective variety associated to the split exceptional group of Lie type E_6) over an arbitrary field K. The characterised varieties arise as Veronese representations of certain ring projective planes over quadratic subalgebras of the split octonions over K (among which the sextonions, a 6-dimensional non-associative algebra). We describe how these varieties are linked to the Freudenthal-Tits magic square, and discuss how they would even fit in, when also allowing the sextonions and other "degenerate composition algebras" as the algebras used to construct the square.


title: On The Log-Concavity of Polygonal Figurate Number Sequences

abstract: This paper presents the log-concavity of the $m$-gonal figurate number sequences. The author gives and proves the recurrence formula for $m$-gonal figurate number sequences and its corresponding quotient sequences which are found to be bounded. Finally, the author also show that for $m\geq 3$, the sequence $\big \{S_n(m)\big\}_{n\geq 1}$ of $m$-gonal figurate numbers is a log-concave.


title: The properties of Vlasov-Maxwell-Einstein equations and its applications to cosmological models

abstract: The method of obtaining of Vlasov-type equations for systems of interacting massive charged particles from the general relativistic Einstein-Hilbert action is considered. An effective approach to synchronizing the proper times of various particles of a many-particle system is proposed. Based on the resulting expressions for the relativistic actions, an analysis of composite structure of cosmological term in Einstein's equations is performed.


title: Data-Driven Discrete-time Control with H\"{o}lder-Continuous Real-time Learning

abstract: This work provides a framework for data-driven control of discrete time systems with unknown input-output dynamics and outputs controllable by the inputs. This framework leads to stable and robust real-time control of the system such that a feasible output trajectory can be tracked. This is made possible by rapid real-time stable learning of the unknown dynamics using H\"{o}lder-continuous learning schemes that are designed as discrete-time stable disturbance observers. This observer learns from prior input-output history and it ensures finite-time stable convergence of model estimation errors to a bounded neighborhood of the zero vector if the system is known to be Lipschitz-continuous with respect to outputs, inputs, internal parameters and states, and time. In combination with nonlinearly stable controller designs, this makes the proposed framework nonlinearly stable and robust to disturbances, model uncertainties, and unknown measurement noise. Nonlinear stability and robustness analyses of the observer and controller designs are carried out using discrete Lyapunov analysis. H\"{o}lder-continuous Finite-time stable observer and controller designs in this framework help to prove robustness of these schemes and guaranteed convergence of outputs to a bounded neighborhood of the desired output trajectory. A numerical experiment on a nonlinear second-order system demonstrates the performance of this discrete nonlinear model-free control framework.


title: Creating a Robot Coach for Mindfulness and Wellbeing: A Longitudinal Study

abstract: Social robots are starting to become incorporated into daily lives by assisting in the promotion of physical and mental wellbeing. This paper investigates the use of social robots for delivering mindfulness sessions. We created a teleoperated robotic platform that enables an experienced human coach to conduct the sessions in a virtual manner by replicating upper body and head pose in real time. The coach is also able to view the world from the robot's perspective and make a conversation with participants by talking and listening through the robot. We studied how participants interacted with a teleoperated robot mindfulness coach over a period of 5 weeks and compared with the interactions another group of participants had with a human coach. The mindfulness sessions delivered by both types of coaching invoked positive responses from the participants for all the sessions. We found that the participants rated the interactions with human coach consistently high in all aspects. However, there is a longitudinal change in the ratings for the interaction with the teleoperated robot for the aspects of motion and conversation. We also found that the participants' personality traits -- conscientiousness and neuroticism influenced the perceptions of the robot coach.


title: Moderate Deviation estimates for Nodal Lengths of Random Spherical Harmonics

abstract: We prove Moderate Deviation estimates for nodal lengths of random spherical harmonics both on the whole sphere and on shrinking spherical domains. Central Limit Theorems for the latter were recently established in Marinucci, Rossi and Wigman (2020) and Todino (2020) respectively. Our proofs are based on the combination of a Moderate Deviation Principle by Schulte and Th\"ale (2016) for sequences of random variables living in a fixed Wiener chaos with a well-known result based on the concept of exponential equivalence.


title: Mathematical Theory of Atomic Norm Denoising In Blind Two-Dimensional Super-Resolution (Extended Version)

abstract: This paper develops a new mathematical framework for denoising in blind two-dimensional (2D) super-resolution upon using the atomic norm. The framework denoises a signal that consists of a weighted sum of an unknown number of time-delayed and frequency-shifted unknown waveforms from its noisy measurements. Moreover, the framework also provides an approach for estimating the unknown parameters in the signal. We prove that when the number of the observed samples satisfies certain lower bound that is a function of the system parameters, we can estimate the noise-free signal, with very high accuracy, upon solving a regularized least-squares atomic norm minimization problem. We derive the theoretical mean-squared error of the estimator, and we show that it depends on the noise variance, the number of unknown waveforms, the number of samples, and the dimension of the low-dimensional space where the unknown waveforms lie. Finally, we verify the theoretical findings of the paper by using extensive simulation experiments.


title: Gravitational-wave astronomy with an uncertain noise power spectral density

abstract: In order to extract information about the properties of compact binaries, we must estimate the noise power spectral density of gravitational-wave data, which depends on the properties of the gravitational-wave detector. In practice, it is not possible to know this perfectly, only to estimate it from the data. Multiple estimation methods are commonly used and each has a corresponding statistical uncertainty. However, this uncertainty is widely ignored when measuring the physical parameters describing compact binary coalescences, and the appropriate likelihoods which account for the uncertainty are not well known. In order to perform increasingly precise astrophysical inference and model selection, it will be essential to account for this uncertainty. In this work, we derive the correct likelihood for one of the most widely used estimation methods in gravitational-wave transient analysis, the median average. We demonstrate that simulated Gaussian noise follows the predicted distributions. We then examine real gravitational-wave data at and around the time of GW151012, a relatively low-significance binary black hole merger event. We show that the data are well described by stationary-Gaussian noise and explore the impact of different noise power spectral density estimation methods on the astrophysical inferences we draw about GW151012.


title: Asymptotic stability of spatial homogeneity in a haptotxis model for oncolytic virotherapy

abstract: This work considers a model for oncolytic virotherapy, as given by the reaction-diffusion-taxis system $$ \left\{ \begin{array}{l} u_t = \Delta u - \nabla \cdot (u\nabla v)-\rho uz, \\[1mm] v_t = - (u+w)v, \\[1mm] w_t = D_w \Delta w - w + uz, \\[1mm] z_t = D_z \Delta z - z - uz + \beta w, \end{array} \right. $$ in a smoothly bounded domain $\Omega\subset\mathbb{R}^2$, with parameters $D_w>0, D_z>0, \beta>0$ and $\rho\ge 0$.\\ % Previous analysis has asserted that for all reasonably regular initial data, an associated no-flux type initial-boundary value problem admits a global classical solution, and that this solution is bounded if $\beta<1$, whereas whenever $\beta>1$ and $\frac{1}{|\Omega|}\int_{\Omega} u(\cdot,0)>\frac{1}{\beta-1}$, infinite-time blow-up occurs at least in the particular case when $\rho=0$.\abs % In order to provide an appropriate complement to this, the present work reveals that for any $\rho\ge 0$ and arbitrary $\beta>0$, at each prescribed level $\gamma\in (0,\frac{1}{(\beta-1)_+})$ one can identify an $L^\infty$-neighborhood of the homogeneous distribution $(u,v,w,z)\equiv (\gamma,0,0,0)$ within which all initial data lead to globally bounded solutions that stabilize toward the constant equilibrium $(u_\infty,0,0,0)$ with some $u_\infty>0$.


title: Adaptive staggered DG method for Darcy flows in fractured porous media

abstract: Modeling flows in fractured porous media is important in applications. One main challenge in numerical simulation is that the flow is strongly influenced by the fractures, so that the solutions typically contain complex features, which require high computational grid resolutions. Instead of using uniformly fine mesh, a more computationally efficient adaptively refined mesh is desirable. In this paper we design and analyze a novel residual-type a posteriori error estimator for staggered DG methods on general polygonal meshes for Darcy flows in fractured porous media. The method can handle fairly general meshes and hanging nodes can be simply incorporated into the construction of the method, which is highly appreciated for adaptive mesh refinement. The reliability and efficiency of the error estmator are proved. The derivation of the reliability hinges on the stability of the continuous setting in the primal formulation. A conforming counterpart that is continuous within each bulk domain for the discrete bulk pressure is defined to facilitate the derivation of the reliability. Finally, several numerical experiments including multiple non-intersecting fractures are carried out to confirm the proposed theories.


title: Effect of epitaxial strain on the electronic structure and magnetic correlations in infinite-layer (Nd,Sr)NiO$_2$

abstract: We present a theoretical study of the effect of electron-electron interactions and Sr doping on the electronic structure of infinite-layer (Nd,Sr)NiO$_2$ using the density functional+dynamical mean-field theory approach. In particular, we explore the impact of epitaxial compressive strain that experience (Nd,Sr)NiO$_2$ films on the electronic properties, magnetic correlations, and exchange couplings. Our results reveal the crucial importance of orbital-dependent correlation effects in the Ni $3d$ shell of Sr-doped NdNiO$_2$. Upon doping with Sr, it undergoes a Lifshitz transition which is accompanied by a reconstruction of magnetic correlations: For Sr $x<0.2$ (Nd,Sr)NiO$_2$ adopts the N\'eel $(111)$ antiferromagnetic (AFM) order, while for $x>0.2$ the $C$-type $(110)$ AFM sets in the unstrained (Nd,Sr)NiO$_2$, with a highly frustrated region at $x \simeq 0.2$, all within DFT+DMFT at $T=290$ K. Our results for the N\'eel AFM at Sr $x=0$ suggest that AFM NdNiO$_2$ appears at the verge of a Mott-Hubbard transition, providing a plausible explanation for the experimentally observed weakly insulating behavior of NdNiO$_2$ for Sr $x<0.1$. We observe that the Lifshitz transition makes a change of the band structure character from electron- to hole-like with Sr $x$, in agreement with recent experiments. Our results for magnetic couplings demonstrate an unanticipated frustration of the Ni $3d$ magnetic moments, which suppresses magnetic order near Sr $x=0.2$. We find that the effect of frustration is maximal for Sr doping $x \simeq 0.1-0.2$ that nearly corresponds to the experimentally observed doping value. We conclude that the in-plane strain adjusts a bandwidth of the Ni $x^2-y^2$ band, i.e., controls the effect of electron correlations in the Ni $x^2-y^2$ orbitals. The electronic properties of (Nd,Sr)NiO$_2$ reveal an anomalous sensitivity upon a change of the crystal structure parameters.


title: Probing a new decay of vector-like top partner mediated by heavy Majorana neutrino via single production

abstract: Models beyond the Standard Model have been proposed to simultaneously solve the problems of naturalness and neutrino mass, in which heavy Majorana neutrinos and vector-like top partners are usually predicted. A new decay channel of the top partner mediated by the heavy Majorana neutrino can thus appear: $T\to b\,W^{+}\to b\,\ell^{+}\ell^{+}q\bar{q'}$. We study in this paper the observability of this decay process through single production of the top partner at the 14 TeV LHC: $pp\to T/\bar{T}$+jets$\to b/\bar{b}+\mu^{\pm}\mu^{\pm}$+jets. $2\sigma$ exclusion bounds on the top partner mass and mixing parameters are given by Monte-Carlo simulation, which surpass those from the search through VLT pair production in the mass range of $m_{T}>1.3$ TeV.


title: A curiously cubulated group

abstract: We construct a finitely generated 2-dimensional group that acts properly on a locally finite CAT(0) cube complex but does not act properly on a finite dimensional CAT(0) cube complex.


title: Fundamental Nomic Vagueness

abstract: If there are fundamental laws of nature, can they fail to be exact? In this paper, I consider the possibility that some fundamental laws are vague. I call this phenomenon 'fundamental nomic vagueness.' I characterize fundamental nomic vagueness as the existence of borderline lawful worlds and the presence of several other accompanying features. Under certain assumptions, such vagueness prevents the fundamental physical theory from being completely expressible in the mathematical language. Moreover, I suggest that such vagueness can be regarded as 'vagueness in the world.' For a case study, we turn to the Past Hypothesis, a postulate that (partially) explains the direction of time in our world. We have reasons to take it seriously as a candidate fundamental law of nature. Yet it is vague: it admits borderline (nomologically) possible worlds. An exact version would lead to an untraceable arbitrariness absent in any other fundamental laws. However, the dilemma between fundamental nomic vagueness and untraceable arbitrariness is dissolved in a new quantum theory of time's arrow.


title: $\gamma^* \gamma$ and $\gamma^* p$ scattering in IHQCD

abstract: We perform joint fits using measurements of the proton structure functions $F_2(x,Q^2)$ and $F_L(x,Q^2)$, of the photon structure function $F_2^\gamma(x,Q^2)$ and of the total cross-sections $\sigma\left( \gamma p \rightarrow X\right)$ and $\sigma \left( \gamma \gamma \rightarrow X\right)$. The data is gathered from several sources including HERA and LEP. The kinematical range considered is wide with a photon virtuality $Q^2 \leq400 \, {\rm GeV}^2$, Bjorken variable $x<0.01$ and $\sqrt{s} > 4 \, {\rm GeV}$. This is done by considering a $U\left(1\right)$ vector gauge field minimally coupled to the graviton Regge trajectory in improved holographic QCD. We find good agreement with the data for a joint fit of $F_2^\gamma$ and $\sigma\left(\gamma \gamma \rightarrow X\right)$ with a $\chi_{d.o.f.}^2 = 1.07$. For a joint fit of $F_2$, $F_L$ and $\sigma\left( \gamma p \rightarrow X\right)$ we find $\chi_{d.o.f.}^2 = 1.40$. A joint fit of all observables for both processes $\gamma^* \gamma$ and $\gamma^* p$ gives a $\chi_{d.o.f.}^2 = 1.38$. The gravitational couplings of the $U\left(1\right)$ vector gauge field and of the proton with the Reggeons of the graviton Regge trajectory are given as an output of the fitting procedure. An approximate relation between the structure functions, valid at NLO QCD, is used to estimate the parton distribution function of the gluon inside the proton.


title: Two-current correlations in the pion in the Nambu and Jona-Lasinio model

abstract: We present an analysis of two-current correlations for the pion in the Nambu--Jona-Lasinio model, with Pauli--Villars regularization. We provide explicit expressions in momentum space for two-current correlations corresponding to the zeroth component of the vector Dirac bilinear in the quark vertices, which has been evaluated on the lattice. The numerical results show a remarkable qualitative agreement with recent lattice data. The factorization approximation into one-body currents is discussed.


title: VAEs in the Presence of Missing Data

abstract: Real world datasets often contain entries with missing elements e.g. in a medical dataset, a patient is unlikely to have taken all possible diagnostic tests. Variational Autoencoders (VAEs) are popular generative models often used for unsupervised learning. Despite their widespread use it is unclear how best to apply VAEs to datasets with missing data. We develop a novel latent variable model of a corruption process which generates missing data, and derive a corresponding tractable evidence lower bound (ELBO). Our model is straightforward to implement, can handle both missing completely at random (MCAR) and missing not at random (MNAR) data, scales to high dimensional inputs and gives both the VAE encoder and decoder principled access to indicator variables for whether a data element is missing or not. On the MNIST and SVHN datasets we demonstrate improved marginal log-likelihood of observed data and better missing data imputation, compared to existing approaches.


title: New Collider Searches for Axion-like Particles Coupling to Gluons

abstract: Axion-like particles (ALPs) are pseudo Nambu-Goldstone bosons associated with spontaneously broken global symmetries emerging in many extensions of the Standard Model. Assuming the most general effective Lagrangian up to dimension-5 operators for an ALP interacting with the SM fields, we investigate for the first time the sensitivity of the LHC13 to the ALP production in association with a di-jet. This study is focused on light ALPs which appear as invisible particles at the detector. Performing a realistic detector simulation and deploying a multivariate technique to best discriminate the signal from backgrounds, we set expected upper bounds on the ALP coupling to gluons. A comprehensive set of background processes is considered, and it is shown that this process provides significant sensitivity to the ALP-gluon coupling and the resulting bound is more stringent than those already obtained at the LHC. We also present prospects for the HE-LHC27 and FCC-hh100 and show that these future colliders are able to improve the limits from the LHC by roughly one order of magnitude.


title: A Generalized One Parameter Polynomial Exponential Generator Family of Distributions

abstract: A new class of distributions, called Generalized One Parameter Polynomial Exponential-G family of distributions is proposed for modelling lifetime data. An account of the structural and reliability properties of the new class is presented. Maximum likelihood estimation of parameters of the class of distributions has been described. Simulation study results have been reported. Two data sets have been analyzed to illustrate its applicability.


title: An Ontological Metamodel for Cyber-Physical System Safety, Security, and Resilience Coengineering

abstract: System complexity has become ubiquitous in the design, assessment, and implementation of practical and useful cyber-physical systems. This increased complexity is impacting the management of models necessary for designing cyber-physical systems that are able to take into account a number of ``-ilities'', such that they are safe and secure and ultimately resilient to disruption of service. We propose an ontological metamodel for system design that augments an already existing industry metamodel to capture the relationships between various model elements and safety, security, and resilient considerations. Employing this metamodel leads to more cohesive and structured modeling efforts with an overall increase in scalability, usability, and unification of already existing models. In turn, this leads to a mission-oriented perspective in designing security defenses and resilience mechanisms to combat undesirable behaviors. We illustrate this metamodel in an open-source GraphQL implementation, which can interface with a number of modeling languages. We support our proposed metamodel with a detailed demonstration using an oil and gas pipeline model.


title: Translational and rotational velocities in shear-driven jamming of ellipsoidal particles

abstract: We study shear-driven jamming of ellipsoidal particles at zero temperature with a focus on the microscopic dynamics. We find that a change from spherical particles to ellipsoids with aspect ratio $\alpha=1.02$ gives dramatic changes of the microscopic dynamics with much lower translational velocities and a new role for the rotations. Whereas the velocity difference at contacts---and thereby the dissipation---in collections of spheres is dominated by the translational velocities and reduced by the rotations, the same quantity is in collections of ellipsoids instead totally dominated by the rotational velocities. By also examining the effect of different aspect ratios we find that the examined quantities show either a peak or a change in slope at $\alpha\approx1.2$, thus giving evidence for a crossover between different regions of low and high aspect ratio.


title: Numerical stability and three dimensionality of a streamline hyperbolic critical point in wake at low Reynolds number

abstract: In this work the numerical stability of a streamline singular hyperbolic/saddle critical point (HSP) and its relationship with the divergence of pressure force/fluid flux are numerically investigated at low Reynolds numbers. Three canonical configurations at different Reynolds numbers are considered: (a) an isolated circular cylinder; (b) side-by-side circular cylinders and (c) a near-wall circular cylinder. The objective is to investigate the behavior of a HSP subjecting to imbalanced shear-layer interaction and different Reynolds numbers. It is found that a HSP evolves along the shear-layer interfaces and imposes adverse pressure gradients, which potentially deteriorates near-wake stability. The inherent characteristics of a HSP is linked with net positive fluid-fluid divergence and fluid three dimensionality. A vorticity-free stagnant zone is formed around a HSP, which cut the kinetic energy supply of shear layers in wake, project third-dimensional fluid fluxes and develops three-dimensional streamwise braids. These findings are confirmed and explained via the quantification of the fluid-flux divergence, the hydrodynamic responses of cylinder(s) and the secondary enstrophy. The primary focus in this article is to reveal the subtle analytical relationships between HSP, divergence of pressure force/fluid flux, fluid three dimensionality and imbalanced shear-layer interaction. To the knowledge of authors, so far these analytical relationships have not been reported in literature.


title: Invariant bilinear forms under the operator group of order p^3 with odd prime p

abstract: In this paper we compute the number of n degree representations of a group of order p^3 for p an odd prime and the dimensions of corresponding spaces of invariant bilinear forms over an algebraically closed field F. We explicitly discuss about the existence of non-degenerate invariant bilinear forms. The results are important due to their application in the studies of physical sciences.


title: Ensemble Learning with Statistical and Structural Models

abstract: Statistical and structural modeling represent two distinct approaches to data analysis. In this paper, we propose a set of novel methods for combining statistical and structural models for improved prediction and causal inference. Our first proposed estimator has the doubly robustness property in that it only requires the correct specification of either the statistical or the structural model. Our second proposed estimator is a weighted ensemble that has the ability to outperform both models when they are both misspecified. Experiments demonstrate the potential of our estimators in various settings, including fist-price auctions, dynamic models of entry and exit, and demand estimation with instrumental variables.


title: Brown-York energy in stationary spacetimes

abstract: One usually defines the Brown-York energy for a 2-surface embedded in a spacelike 3-slice as an integration of the mean curvature of the 2-surface isometrically embedded into the 3-slice, with a proper reference 3-space. We demonstrate that this naive definition is ill for stationary spacetimes. As an example, we investigate the Kerr-Newman spacetime in detail. We show that the naive definition of the Brown-York energy is not a component of the Brown-York boundary stress tensor, and thus deviates from the original idea of Brown and York. Furthermore, we present the exact form of the Brown-York energy for the Kerr-Newman spacetime with the proper reference.


title: The Continuous Joint Replenishment Problem is Strongly NP-Hard

abstract: The Continuous Periodic Joint Replenishment Problem (CPJRP) has been one of the core and most studied problems in supply chain management for the last half a century. Nonetheless, despite the vast effort put into studying the problem, its complexity has eluded researchers for years. Although the CPJRP has one of the tighter constant approximation ratio of 1.02, a polynomial optimal solution to it was never found. Recently, the discrete version of this problem was finally proved to be NP-hard. In this paper, we extend this result and finaly prove that the CPJRP problem is also strongly NP-hard.


title: Deep learning of free boundary and Stefan problems

abstract: Free boundary problems appear naturally in numerous areas of mathematics, science and engineering. These problems present a great computational challenge because they necessitate numerical methods that can yield an accurate approximation of free boundaries and complex dynamic interfaces. In this work, we propose a multi-network model based on physics-informed neural networks to tackle a general class of forward and inverse free boundary problems called Stefan problems. Specifically, we approximate the unknown solution as well as any moving boundaries by two deep neural networks. Besides, we formulate a new type of inverse Stefan problems that aim to reconstruct the solution and free boundaries directly from sparse and noisy measurements. We demonstrate the effectiveness of our approach in a series of benchmarks spanning different types of Stefan problems, and illustrate how the proposed framework can accurately recover solutions of partial differential equations with moving boundaries and dynamic interfaces. All code and data accompanying this manuscript are publicly available at \url{https://github.com/PredictiveIntelligenceLab/DeepStefan}.


title: Feature Interaction based Neural Network for Click-Through Rate Prediction

abstract: Click-Through Rate (CTR) prediction is one of the most important and challenging in calculating advertisements and recommendation systems. To build a machine learning system with these data, it is important to properly model the interaction among features. However, many current works calculate the feature interactions in a simple way such as inner product and element-wise product. This paper aims to fully utilize the information between features and improve the performance of deep neural networks in the CTR prediction task. In this paper, we propose a Feature Interaction based Neural Network (FINN) which is able to model feature interaction via a 3-dimention relation tensor. FINN provides representations for the feature interactions on the the bottom layer and the non-linearity of neural network in modelling higher-order feature interactions. We evaluate our models on CTR prediction tasks compared with classical baselines and show that our deep FINN model outperforms other state-of-the-art deep models such as PNN and DeepFM. Evaluation results demonstrate that feature interaction contains significant information for better CTR prediction. It also indicates that our models can effectively learn the feature interactions, and achieve better performances in real-world datasets.


title: Comment on "Cosmic Microwave Background Constraints Cast a Shadow On Continuous Spontaneous Localization Models"

abstract: In a recent paper [J. Martin and V. Vennin, Phys. Rev. Lett. 124, 080402 (2020)] it was argued that, for most natural choices, the direct application of the continuous spontaneous localization (CSL) theory to the inflationary case, as it is known to work in non-relativistic laboratory situations, is ruled out by cosmological observational data, thus casting a shadow on models based on CSL theory. We point out that such results are based on the consideration of a rather narrow set of choices for the application of the theory to the cosmological context and that the landscape of open and different possibilities is extremely vast.


title: Regularized Off-Policy TD-Learning

abstract: We present a novel $l_1$ regularized off-policy convergent TD-learning method (termed RO-TD), which is able to learn sparse representations of value functions with low computational complexity. The algorithmic framework underlying RO-TD integrates two key ideas: off-policy convergent gradient TD methods, such as TDC, and a convex-concave saddle-point formulation of non-smooth convex optimization, which enables first-order solvers and feature selection using online convex regularization. A detailed theoretical and experimental analysis of RO-TD is presented. A variety of experiments are presented to illustrate the off-policy convergence, sparse feature selection capability and low computational cost of the RO-TD algorithm.


title: No Paradox in Wave-Particle Duality

abstract: The assertion that an experiment by Afshar et al. demonstrates violation of Bohr's Principle of Complementarity is based on the faulty assumption that which-way information in a double-slit interference experiment can be retroactively determined from a future measurement.


title: Social Media and COVID-19: Can Social Distancing be Quantified without Measuring Human Movements?

abstract: The COVID-19 outbreak has posed significant threats to international health and the economy. In the absence of treatment for this virus, public health officials asked the public to practice social distancing to reduce the number of physical contacts. However, quantifying social distancing is a challenging task and current methods are based on human movements. We propose a time and cost-effective approach to measure how people practice social distancing. This study proposes a new method based on utilizing the frequency of hashtags supporting and encouraging social distancing for measuring social distancing. We have identified 18 related hashtags and tracked their trends between Jan and May 2020. Our evaluation results show that there is a strong correlation (P<0.05) between our findings and the Google social distancing report.


title: Extremals of a left-invariant sub-Finsler quasimetric on the Cartan group

abstract: Using the Pontryagin Maximum Principle for the time-optimal problem in coordinates of the first kind, we find extremals of abitrary left-invariant sub-Finsler quasimetric on the Cartan group defined by a distribution of rank two.


title: The effect of varying viscosity in turbulent channel flow

abstract: In this article we examine channel flow subject to spatially varying viscosity in the streamwise direction. The Reynolds number is imposed locally with three different ramps. The setup is reminiscent of transient channel flow, but with a space dependent viscosity rather than a time dependent viscosity. It is also relevant to various applications in nuclear engineering and in particular in test reactors, where the viscosity changes significantly in the streamwise direction, and there is a severe lack of Direct Numerical Simulation (DNS) data to benchmark turbulence models in these conditions. As part of this work we set up a novel benchmark case: the channel is extended in the stream-wise direction up to 20p. The viscosity is kept constant in the first 4p region. This inlet region is used as a cyclic region to obtain a fully developed flow profile at the beginning of the ramping region. In the ramping region the Reynolds number is linearly increased along the channel. The flow is homogenous in the spanwise direction, while it is nonhomogenous in the stream-wise and wall-normal direction. We perform here Direct Numerical Simulation (DNS) with Nek5000, a spectral-element computational fluid dynamics (CFD) code developed at Argonne National Laboratory. In this study, specific focus is given to the investigation of turbulence properties and structures in the near-wall region along the flow direction. Turbulent statistics are collected and investigated. Similarly to transient channel flow, the results show that a variation in the Reynolds across a channel does not cause an immediate change in the size of turbulent structures in the ramp region and a delay is in fact observed in both wall shear and friction Reynolds number. The results from the present study are compared with a correlation available in the literature for the friction velocity and as a function of the Reynolds number.


title: An Analytic Center Cutting Plane Method to Determine Complete Positivity of a Matrix

abstract: We propose an analytic center cutting plane method to determine if a matrix is completely positive, and return a cut that separates it from the completely positive cone if not. This was stated as an open (computational) problem by Berman, D\"ur, and Shaked-Monderer [Electronic Journal of Linear Algebra, 2015]. Our method optimizes over the intersection of a ball and the copositive cone, where membership is determined by solving a mixed-integer linear program suggested by Xia, Vera, and Zuluaga [INFORMS Journal on Computing, 2018]. Thus, our algorithm can, more generally, be used to solve any copositive optimization problem, provided one knows the radius of a ball containing an optimal solution. Numerical experiments show that the number of oracle calls (matrix copositivity checks) for our implementation scales well with the matrix size, growing roughly like $O(d^2)$ for $d\times d$ matrices. The method is implemented in Julia, and available at https://github.com/rileybadenbroek/CopositiveAnalyticCenter.jl.


title: Gaussian concentration and uniqueness of equilibrium states in lattice systems

abstract: We consider equilibrium states (that is, shift-invariant Gibbs measures) on the configuration space $S^{\mathbb{Z}^d}$ where $d\geq 1$ and $S$ is a finite set. We prove that if an equilibrium state for a shift-invariant uniformly summable potential satisfies a Gaussian concentration bound, then it is unique. Equivalently, if there exist several equilibrium states for a potential, none of them can satisfy such a bound.


title: Fast Rank Reduction for Non-negative Matrices via Mean Field Theory

abstract: We propose an efficient matrix rank reduction method for non-negative matrices, whose time complexity is quadratic in the number of rows or columns of a matrix. Our key insight is to formulate rank reduction as a mean-field approximation by modeling matrices via a log-linear model on structured sample space, which allows us to solve the rank reduction as convex optimization. The highlight of this formulation is that the optimal solution that minimizes the KL divergence from a given matrix can be analytically computed in a closed form. We empirically show that our rank reduction method is faster than NMF and its popular variant, lraNMF, while achieving competitive low rank approximation error on synthetic and real-world datasets.


title: Generalized Drazin-Meromorphic Invertible Operators and Browder's Type Theorems

abstract: In this paper we give necessary and sufficient conditions for a bounded linear operator $T$ to be generalized Drazin-Riesz invertible or generalized Drazin-meromorphic invertible. Also, we study generalized Browder's theorem and generalized a-Browder's theorem by means of set of interior points of various parts of spectrum of $T$.


title: Morphology and surface photometry of a sample of isolated early-type galaxies from deep imaging

abstract: Isolated early-type galaxies (iETGs) are evolving in unusually poor environments for this morphological family, which is typical of cluster inhabitants. We investigate the mechanisms driving the evolution of these galaxies. Several studies indicate that interactions, accretions, and merging episodes leave their signature on the galaxy structure, from the nucleus down to the faint outskirts. We focus on revealing such signatures, if any, in a sample of iETGs, and we quantitatively revise their galaxy classification. We observed 20 (out of 104) iETGs, selected from the AMIGA catalog, with the 4KCCD camera at the VATT in the SDSS g and r bands. These are the deepest observations of a sample of iETGs so far. The analysis was performed using the AIDA package, providing PSF-corrected 2D surface photometry up to the galaxy outskirts. The package provides a model of the 2D galaxy light distribution, which after model subtraction enhances the fine and peculiar structures in the residual image of the galaxies. Our re-classification suggests that the sample is composed of bona fide ETGs spanning from ellipticals to late-S0s galaxies. Most of the surface brightness profiles are best fitted with a bulge plus disc model, suggesting the presence of an underlying disc structure. The residuals obtained after the model subtraction show the nearly ubiquitous presence of fine structures, such as shells, stellar fans, rings, and tails. Shell systems are revealed in about 60% of these galaxies. Because interaction, accretion, and merging events are widely interpreted as the origin of the fans, ripples, shells and tails in galaxies, we suggest that most of these iETGs have experienced such events. Because they are isolated (after 2-3 Gyr), these galaxies are the cleanest environment in which to study phenomena connected with events like these.


title: ORCAS: 18 Million Clicked Query-Document Pairs for Analyzing Search

abstract: Users of Web search engines reveal their information needs through queries and clicks, making click logs a useful asset for information retrieval. However, click logs have not been publicly released for academic use, because they can be too revealing of personally or commercially sensitive information. This paper describes a click data release related to the TREC Deep Learning Track document corpus. After aggregation and filtering, including a k-anonymity requirement, we find 1.4 million of the TREC DL URLs have 18 million connections to 10 million distinct queries. Our dataset of these queries and connections to TREC documents is of similar size to proprietary datasets used in previous papers on query mining and ranking. We perform some preliminary experiments using the click data to augment the TREC DL training data, offering by comparison: 28x more queries, with 49x more connections to 4.4x more URLs in the corpus. We present a description of the dataset's generation process, characteristics, use in ranking and suggest other potential uses.


title: ComboNet: Combined 2D & 3D Architecture for Aorta Segmentation

abstract: 3D segmentation with deep learning if trained with full resolution is the ideal way of achieving the best accuracy. Unlike in 2D, 3D segmentation generally does not have sparse outliers, prevents leakage to surrounding soft tissues, at the very least it is generally more consistent than 2D segmentation. However, GPU memory is generally the bottleneck for such an application. Thus, most of the 3D segmentation applications handle sub-sampled input instead of full resolution, which comes with the cost of losing precision at the boundary. In order to maintain precision at the boundary and prevent sparse outliers and leakage, we designed ComboNet. ComboNet is designed in an end to end fashion with three sub-network structures. The first two are parallel: 2D UNet with full resolution and 3D UNet with four times sub-sampled input. The last stage is the concatenation of 2D and 3D outputs along with a full-resolution input image which is followed by two convolution layers either with 2D or 3D convolutions. With ComboNet we have achieved $92.1\%$ dice accuracy for aorta segmentation. With Combonet, we have observed up to $2.3\%$ improvement of dice accuracy as opposed to 2D UNet with the full-resolution input image.


title: Covers of generalized quadrangles, 2. Kantor-Knuth covers and embedded ovoids

abstract: In this paper, which is a sequel to \cite{part1}, we proceed with our study of covers and decomposition laws for geometries related to generalized quadrangles. In particular, we obtain a higher decomposition law for all Kantor-Knuth generalized quadrangles which generalizes one of the main results in \cite{part1}. In a second part of the paper, we study the set of all Kantor-Knuth ovoids (with given parameter) in a fixed finite parabolic quadrangle, and relate this set to embeddings of parabolic quadrangles into Kantor-Knuth quadrangles. This point of view gives rise to an answer of a question posed in \cite{JATSEP}.


title: mEBAL: A Multimodal Database for Eye Blink Detection and Attention Level Estimation

abstract: This work presents mEBAL, a multimodal database for eye blink detection and attention level estimation. The eye blink frequency is related to the cognitive activity and automatic detectors of eye blinks have been proposed for many tasks including attention level estimation, analysis of neuro-degenerative diseases, deception recognition, drive fatigue detection, or face anti-spoofing. However, most existing databases and algorithms in this area are limited to experiments involving only a few hundred samples and individual sensors like face cameras. The proposed mEBAL improves previous databases in terms of acquisition sensors and samples. In particular, three different sensors are simultaneously considered: Near Infrared (NIR) and RGB cameras to capture the face gestures and an Electroencephalography (EEG) band to capture the cognitive activity of the user and blinking events. Regarding the size of mEBAL, it comprises 6,000 samples and the corresponding attention level from 38 different students while conducting a number of e-learning tasks of varying difficulty. In addition to presenting mEBAL, we also include preliminary experiments on: i) eye blink detection using Convolutional Neural Networks (CNN) with the facial images, and ii) attention level estimation of the students based on their eye blink frequency.


title: Hamilton-Jacobi equations for nonsymmetric matrix inference

abstract: We study the high-dimensional limit of the free energy associated with the inference problem of a rank-one nonsymmetric matrix. The matrix is expressed as the outer product of two vectors, not necessarily independent. The distributions of the two vectors are only assumed to have scaled bounded supports. We bound the difference between the free energy and the solution to a suitable Hamilton-Jacobi equation in terms of two much simpler quantities: concentration rate of this free energy, and the convergence rate of a simpler free energy in a decoupled system. To demonstrate the versatility of this approach, we apply our result to the i.i.d. case and the spherical case. By plugging in estimates of the two simpler quantities, we identify the limits and obtain convergence rates.


title: Transverse momentum dependent PDFs at N$^3$LO

abstract: We compute the quark and gluon transverse momentum dependent parton distribution functions at next-to-next-to-next-to-leading order (N$^3$LO) in perturbative QCD. Our calculation is based on an expansion of the differential Higgs boson and Drell-Yan production cross sections about their collinear limit. This method allows us to employ cutting edge techniques for the computation of cross sections to extract the universal building blocks in question. The corresponding perturbative matching kernels for all channels are expressed in terms of simple harmonic polylogarithms up to weight five. As a byproduct, we confirm a previous computation of the soft function for transverse momentum factorization at N$^3$LO. Our results are the last missing ingredient to extend the $q_T$ subtraction methods to N$^3$LO and to obtain resummed $q_T$ spectra at N$^3$LL$^\prime$ accuracy both for gluon as well as for quark initiated processes.


title: Are weighted games sufficiently good for binary voting?

abstract: Binary yes-no decisions in a legislative committee or a shareholder meeting are commonly modeled as a weighted game. However, there are noteworthy exceptions. E.g., the voting rules of the European Council according to the Treaty of Lisbon use a more complicated construction. Here we want to study the question if we lose much from a practical point of view, if we restrict ourselves to weighted games. To this end, we invoke power indices that measure the influence of a member in binary decision committees. More precisely, we compare the achievable power distributions of weighted games with those from a reasonable superset of weighted games. It turns out that the deviation is relatively small.


title: Data Augmentation for Enhancing EEG-based Emotion Recognition with Deep Generative Models

abstract: The data scarcity problem in emotion recognition from electroencephalography (EEG) leads to difficulty in building an affective model with high accuracy using machine learning algorithms or deep neural networks. Inspired by emerging deep generative models, we propose three methods for augmenting EEG training data to enhance the performance of emotion recognition models. Our proposed methods are based on two deep generative models, variational autoencoder (VAE) and generative adversarial network (GAN), and two data augmentation strategies. For the full usage strategy, all of the generated data are augmented to the training dataset without judging the quality of the generated data, while for partial usage, only high-quality data are selected and appended to the training dataset. These three methods are called conditional Wasserstein GAN (cWGAN), selective VAE (sVAE), and selective WGAN (sWGAN). To evaluate the effectiveness of these methods, we perform a systematic experimental study on two public EEG datasets for emotion recognition, namely, SEED and DEAP. We first generate realistic-like EEG training data in two forms: power spectral density and differential entropy. Then, we augment the original training datasets with a different number of generated realistic-like EEG data. Finally, we train support vector machines and deep neural networks with shortcut layers to build affective models using the original and augmented training datasets. The experimental results demonstrate that the augmented training datasets produced by our methods enhance the performance of EEG-based emotion recognition models and outperform the existing data augmentation methods such as conditional VAE, Gaussian noise, and rotational data augmentation.


title: Advance Warning Methodologies for COVID-19 using Chest X-Ray Images

abstract: Coronavirus disease 2019 (COVID-19) has rapidly become a global health concern after its first known detection in December 2019. As a result, accurate and reliable advance warning system for the early diagnosis of COVID-19 has now become a priority. The detection of COVID-19 in early stages is not a straightforward task from chest X-ray images according to expert medical doctors because the traces of the infection are visible only when the disease has progressed to a moderate or severe stage. In this study, our first aim is to evaluate the ability of recent \textit{state-of-the-art} Machine Learning techniques for the early detection of COVID-19 from chest X-ray images. Both compact classifiers and deep learning approaches are considered in this study. Furthermore, we propose a recent compact classifier, Convolutional Support Estimator Network (CSEN) approach for this purpose since it is well-suited for a scarce-data classification task. Finally, this study introduces a new benchmark dataset called Early-QaTa-COV19, which consists of 1065 early-stage COVID-19 pneumonia samples (very limited or no infection signs) labelled by the medical doctors and 12 544 samples for control (normal) class. A detailed set of experiments shows that the CSEN achieves the top (over 97%) sensitivity with over 95.5% specificity. Moreover, DenseNet-121 network produces the leading performance among other deep networks with 95% sensitivity and 99.74% specificity.


title: Computing Homotopy Types of Directed Flag Complexes

abstract: Combinatorially and stochastically defined simplicial complexes often have the homotopy type of a wedge of spheres. A prominent conjecture of Kahle quantifies this precisely for the case of random flag complexes. We explore whether such properties might extend to graphs arising from nature. We consider the brain network (as reconstructed by Varshney & al.) of the Caenorhabditis elegans nematode, an important model organism in biology. Using an iterative computational procedure based on elementary methods of algebraic topology, namely homology, simplicial collapses and coning operations, we show that its directed flag complex is homotopy equivalent to a wedge of spheres, completely determining, for the first time, the homotopy type of a flag complex corresponding to a brain network. We also consider the corresponding flag tournaplex and show that torsion can be found in the homology of its local directionality filtration. As a toy example, directed flag complexes of tournaments from McKay's collection are classified up to homotopy. Moore spaces other than spheres occur in this classification. As a tool, we prove that the fundamental group of the directed flag complex of any tournament is free by considering its cell structure.


title: Two questions of Moorhouse on indiscernible locally finite generalized quadrangles

abstract: We settle two questions posed by G. Eric Moorhouse on the existence of locally finite generalized quadrangles with indiscernible ovoids or spreads.


title: On the Uniform Controllability of the Inviscid and Viscous Burgers-$\alpha$ Systems

abstract: This work is devoted to prove the global uniform exact controllability of the inviscid and viscous Burgers-$\alpha$ systems. The state $y$ is the solution to a regularized Burgers equation, where the transport velocity $z$ consists of a filtered version of $y$ - specifically $z=(Id-\alpha^2\partial^2_ {xx})^{-1}y$ with $\alpha>0$ being a small parameter - in place of $y$. First, a global uniform exact controllability result for the nonviscous Burgers-$\alpha$ system with three scalar controls is obtained, using the return method. Then, global exact controllability to constant states of the viscous system is deduced from a local exact controllability result and a global approximate controllability result for smooth initial and target states.


title: On the Effectiveness of Regularization Against Membership Inference Attacks

abstract: Deep learning models often raise privacy concerns as they leak information about their training data. This enables an adversary to determine whether a data point was in a model's training set by conducting a membership inference attack (MIA). Prior work has conjectured that regularization techniques, which combat overfitting, may also mitigate the leakage. While many regularization mechanisms exist, their effectiveness against MIAs has not been studied systematically, and the resulting privacy properties are not well understood. We explore the lower bound for information leakage that practical attacks can achieve. First, we evaluate the effectiveness of 8 mechanisms in mitigating two recent MIAs, on three standard image classification tasks. We find that certain mechanisms, such as label smoothing, may inadvertently help MIAs. Second, we investigate the potential of improving the resilience to MIAs by combining complementary mechanisms. Finally, we quantify the opportunity of future MIAs to compromise privacy by designing a white-box `distance-to-confident' (DtC) metric, based on adversarial sample crafting. Our metric reveals that, even when existing MIAs fail, the training samples may remain distinguishable from test samples. This suggests that regularization mechanisms can provide a false sense of privacy, even when they appear effective against existing MIAs.


title: Electromagnetic instabilities of low-beta alpha/proton beams in space plasmas

abstract: Relative drifts between different species or particle populations are characteristic to solar plasma outflows, e.g., in the fast streams of the solar winds, coronal mass ejections and interplanetary shocks. This paper characterizes the dispersion and stability of the low-beta alpha/proton drifts in the absence of any intrinsic thermal anisotropies, which are usually invoked in order to stimulate various instabilities. The dispersion relations derived here describe the full spectrum of instabilities and their variations with the angle of propagation and plasma parameters. The results unveil a potential competition between instabilities of the electromagnetic proton cyclotron and alpha cyclotron modes. For conditions specific to a low-beta solar wind, e.g., at low heliocentric distances in the outer corona, the instability operates on the alpha cyclotron branch. The growth rates of the alpha cyclotron mode are systematically stimulated by the (parallel) plasma beta and/or the alpha-proton temperature ratio. One can therefore expect that this instability develops even in the absence of temperature anisotropies, with potential to contribute to a self-consistent regulation of the observed drift of alpha particles.


title: On Data Augmentation for GAN Training

abstract: Recent successes in Generative Adversarial Networks (GAN) have affirmed the importance of using more data in GAN training. Yet it is expensive to collect data in many domains such as medical applications. Data Augmentation (DA) has been applied in these applications. In this work, we first argue that the classical DA approach could mislead the generator to learn the distribution of the augmented data, which could be different from that of the original data. We then propose a principled framework, termed Data Augmentation Optimized for GAN (DAG), to enable the use of augmented data in GAN training to improve the learning of the original distribution. We provide theoretical analysis to show that using our proposed DAG aligns with the original GAN in minimizing the Jensen-Shannon (JS) divergence between the original distribution and model distribution. Importantly, the proposed DAG effectively leverages the augmented data to improve the learning of discriminator and generator. We conduct experiments to apply DAG to different GAN models: unconditional GAN, conditional GAN, self-supervised GAN and CycleGAN using datasets of natural images and medical images. The results show that DAG achieves consistent and considerable improvements across these models. Furthermore, when DAG is used in some GAN models, the system establishes state-of-the-art Frechet Inception Distance (FID) scores. Our code is available.


title: A note on B\"odewadt-Hartmann layers

abstract: This paper addresses the problem of axisymetric rotating flows bounded by a fixed horizontal plate and subject to a permanent, uniform, vertical magnetic field (the so-called B\"odewadt-Hartmann problem). The aim is to find out which one of the Coriolis or the Lorentz force dominates the dynamics (and hence the boundary layer thickness) when their ratio, represented by the Elsasser number $A$, varies. After a short review of existing linear solutions of the semi infinite Ekman-Hartmann problem, weakly non-linear analytical solutions as well as fully non-linear numerical solutions are given. The case of a rotating vortex in a finite depth fluid layer is then studied, first when the flow is steady under a forced rotation and second for spin-down from some initial state. The angular velocity in the first case and decay time in the second are obtained analytically as a function of $A$ using the weakly non linear results of the semi-infinite B\"{o}dewadt-Hartmann problem.


title: Improving student understanding of quantum mechanics underlying the Stern-Gerlach experiment using a research-validated multiple-choice question sequence

abstract: Engaging students with well-designed multiple-choice questions during class and asking them to discuss their answers with their peers after each student has contemplated the response individually can be an effective evidence-based active-engagement pedagogy in physics courses. Moreover, validated sequences of multiple-choice questions are more likely to help students build a good knowledge structure of physics than individual multiple-choice questions on various topics. Here we discuss a framework to develop robust sequences of multiple-choice questions and then use the framework for the development, validation and implementation of a sequence of multiple-choice questions focusing on helping students learn quantum mechanics via the Stern-Gerlach experiment that takes advantage of the guided inquiry-based learning sequences in an interactive tutorial on the same topic. The extensive research in developing and validating the multiple-choice question sequence strives to make it effective for students with diverse prior preparation in upper-level undergraduate quantum physics courses. We discuss student performance on assessment task focusing on the Stern-Gerlach experiment after traditional lecture-based instruction vs. after engaging with the research-validated multiple-choice question sequence administered as clicker questions in which students had the opportunity to discuss their responses with their peers.


title: Development, validation and in-class evaluation of a sequence of clicker questions on Larmor precession of spin in quantum mechanics

abstract: Engaging students with well-designed clicker questions is one of the commonly used research-based instructional strategy in physics courses partly because it has a relatively low barrier to implementation. Moreover, validated robust sequences of clicker questions are likely to provide better scaffolding support and guidance to help students build a good knowledge structure of physics than an individual clicker question on a particular topic. Here we discuss the development, validation and in-class implementation of a clicker question sequence (CQS) for helping advanced undergraduate students learn about Larmor precession of spin, which takes advantage of the learning goals and inquiry-based guided learning sequences in a previously validated Quantum Interactive Learning Tutorial (QuILT). The in-class evaluation of the CQS using peer instruction is discussed by comparing upper-level undergraduate student performance after traditional lecture-based instruction and after engaging with the CQS.


title: Triangle Singularity as the Origin of the $a_1(1420)$

abstract: The COMPASS experiment recently discovered a new isovector resonance-like signal with axial-vector quantum numbers, the $a_1(1420)$, decaying to $f_0(980)\pi$. With a mass too close to and a width smaller than the axial-vector ground state $a_1(1260)$, it was immediately interpreted as a new light exotic meson, similar to the $X$, $Y$, $Z$ states in the hidden-charm sector. We show that a resonance-like signal fully matching the experimental data is produced by the decay of the $a_1(1260)$ resonance into $K^\ast(\to K\pi)\bar{K}$ and subsequent rescattering through a triangle singularity into the coupled $f_0(980)\pi$ channel. The amplitude for this process is calculated using a new approach based on dispersion relations. The triangle-singularity model is fitted to the partial-wave data of the COMPASS experiment. Despite having less parameters, this fit shows a slightly better quality than the one using a resonance hypothesis and thus eliminates the need for an additional resonance in order to describe the data. We thereby demonstrate for the first time in the light-meson sector that a resonance-like structure in the experimental data can be described by rescattering through a triangle singularity, providing evidence for a genuine three-body effect.


title: Mathematical estimates for the attractor dimension in MHD turbulence

abstract: The aim of the present work is to derive rigorous estimates for turbulent MHD flow quantities such as the size and anisotropy of the dissipative scales, as well as the transition between 2D and 3D state. To this end, we calculate an upper bound for the attractor dimension of the motion equations, which indicates the number of modes present in the fully developed flow. This method has already been used successfully to derive such estimates for 2D and 3D hydrodynamic turbulence as a function of the $\mathcal L_\infty$ norm of the dissipation, as in \cite{doering95}. We tackle here the problem of a flow periodic in the 3 spatial directions (spatial period $2\pi L$), to which a permanent magnetic field is applied. In addition, the detailed study of the dissipation operator provides more indications about the structure of the flow. In section 2, we review the tools of the dynamical system theory as well as the results they have led to in the case of 3D hydrodynamic turbulence. Section 3 is devoted to the study of the set of modes which minimises the trace of the operator associated to the total dissipation in MHD turbulence (viscous and Joule). Eventually, the estimates for the attractor dimension and dissipative scales in MHD turbulence under strong magnetic field are derived in section 4 and compared to results obtained from heuristic considerations.


title: Real-time Neural Networks Implementation Proposal for Microcontrollers

abstract: The adoption of intelligent systems with Artificial Neural Networks (ANNs) embedded in hardware for real-time applications currently faces a growing demand in fields like the Internet of Things (IoT) and Machine to Machine (M2M). However, the application of ANNs in this type of system poses a significant challenge due to the high computational power required to process its basic operations. This paper aims to show an implementation strategy of a Multilayer Perceptron (MLP) type neural network, in a microcontroller (a low-cost, low-power platform). A modular matrix-based MLP with the full classification process was implemented, and also the backpropagation training in the microcontroller. The testing and validation were performed through Hardware in the Loop (HIL) of the Mean Squared Error (MSE) of the training process, classification result, and the processing time of each implementation module. The results revealed a linear relationship between the values of the hyperparameters and the processing time required for classification, also the processing time concurs with the required time for many applications on the fields mentioned above. These findings show that this implementation strategy and this platform can be applied successfully on real-time applications that require the capabilities of ANNs.


title: Statistical Estimation of High-Dimensional Vector Autoregressive Models

abstract: High-dimensional vector autoregressive (VAR) models are important tools for the analysis of multivariate time series. This paper focuses on high-dimensional time series and on the different regularized estimation procedures proposed for fitting sparse VAR models to such time series. Attention is paid to the different sparsity assumptions imposed on the VAR parameters and how these sparsity assumptions are related to the particular consistency properties of the estimators established. A sparsity scheme for high-dimensional VAR models is proposed which is found to be more appropriate for the time series setting considered. Furthermore, it is shown that, under this sparsity setting, threholding extents the consistency properties of regularized estimators to a wide range of matrix norms. Among other things, this enables application of the VAR parameters estimators to different inference problems, like forecasting or estimating the second-order characteristics of the underlying VAR process. Extensive simulations compare the finite sample behavior of the different regularized estimators proposed using a variety of performance criteria.


title: Quantifying entanglement preservability of experimental processes

abstract: Preserving entanglement is a crucial dynamical process for entanglement-based quantum computation and quantum-information processes, such as one-way quantum computing and quantum key distribution. However, the problem of quantifying the ability of an experimental process to preserve two-qubit entanglement in experimentally feasible ways is not well understood. Accordingly, herein, we consider the use of two measures, namely composition and robustness, for quantitatively characterizing the ability of a process to preserve entanglement, referred to henceforth as entanglement preservability. A fidelity benchmark is additionally derived to identify the ability of a process to preserve entanglement. We show that the measures and introduced benchmark are experimentally feasible and require only local measurements on single qubits and preparations of separable states. Moreover, they are applicable to all physical processes that can be described using the general theory of quantum operations, e.g., qubit dynamics in photonic and superconducting systems. Our method extends the existing tools for analyzing channels, e.g., channel resource theory, to quantify entanglement preservability for non-trace-preserving quantum processes. The results are of significant interest for applications in quantum-information processing in which entanglement preservation is required.


title: User Cooperation for IRS-aided Secure SWIPT MIMO Systems

abstract: In this paper, intelligent reflecting surface (IRS) is proposed to enhance the physical layer security in the Rician fading channel where the angular direction of the eavesdropper is aligned with a legitimate user. In this scenario, we consider a two-phase communication system under the active attacks and passive eavesdropping. Particularly, in the first phase, the base station avoids direct transmission to the attacked user. While, in the second phase, other users cooperate to forward signals to the attacked user with the help of IRS and energy harvesting technology. Under the active attacks, we investigate an outage constrained beamforming design problem under the statistical cascaded channel error model, which is solved by using the Bernstein-type inequality. As for the passive eavesdropping, an average secrecy rate maximization problem is formulated, which is addressed by a low complexity algorithm. Numerical results show that the negative effect of the eavesdropper's channel error is greater than that of the legitimate user.


title: Flexible metro network architecture based on wavelength blockers and coherent transmission

abstract: A flexible semi-filterless architecture for metro DWDM networks with ring- or horseshoe topologies is presented. ROADM nodes are based on wavelength blockers. Coherent transmission enables filterless channel selection. Critical parameters are determined and a 4-span, 160-km horseshoe with 100Gbit/s DP-QPSK and 200Gbit/s DP-16QAM is demonstrated.


title: 13.16 Tbit/s Free-space Optical Transmission over 10.45 km for Geostationary Satellite Feeder-links

abstract: We report a 13.16 Tbit/s 54-channel DWDM free-space optical data transmission field trial emulating the worst-case scenario for optical GEO satellite uplinks through the atmosphere, and show the system performance under turbulent conditions.


title: 64 GBd DP-Bipolar-8ASK Transmission over 120 km SSMF Employing a Monolithically Integrated Driver and MZM in 0.25-um SiGe BiCMOS Technology

abstract: We demonstrate 64 GBd signal generation up to bipolar-8-ASK utilizing a single MZM, monolithically integrated with segmented drivers in SiGe. Using polarization multiplexing, 300-Gb/s net data rate transmission over 120 km SSMF is shown.


title: NLO QCD corrections to $J/\psi$ pair production in photon-photon collision

abstract: We calculate the next-to-leading order (NLO) quantum chromodynamics (QCD) correction to the exclusive process $\gamma+\gamma\to J/\psi+J/\psi$ in the framework of non-relativistic QCD (NRQCD) factorization formalism. The cross sections at the SuperKEKB electron-positron collider, as well as at the future colliders, like the Circular Electron Positron Collider (CEPC) and the International Linear Collider (ILC), are evaluated. Numerical result indicates that the process will be hopefully to be seen by the Belle II detector within the next decade.


title: Design Challenges of Neural Network Acceleration Using Stochastic Computing

abstract: The enormous and ever-increasing complexity of state-of-the-art neural networks (NNs) has impeded the deployment of deep learning on resource-limited devices such as the Internet of Things (IoTs). Stochastic computing exploits the inherent amenability to approximation characteristic of NNs to reduce their energy and area footprint, two critical requirements of small embedded devices suitable for the IoTs. This report evaluates and compares two recently proposed stochastic-based NN designs, referred to as BISC (Binary Interfaced Stochastic Computing) by Sim and Lee, 2017, and ESL (Extended Stochastic Logic) by Canals et al., 2016. Using analysis and simulation, we compare three distinct implementations of these designs in terms of performance, power consumption, area, and accuracy. We also discuss the overall challenges faced in adopting stochastic computing for building NNs. We find that BISC outperforms the other architectures when executing the LeNet-5 NN model applied to the MNIST digit recognition dataset. Our analysis and simulation experiments indicate that this architecture is around 50X faster, occupies 5.7X and 2.9X less area, and consumes 7.8X and 1.8X less power than the two ESL architectures.


title: MeshWalker: Deep Mesh Understanding by Random Walks

abstract: Most attempts to represent 3D shapes for deep learning have focused on volumetric grids, multi-view images and point clouds. In this paper we look at the most popular representation of 3D shapes in computer graphics - a triangular mesh - and ask how it can be utilized within deep learning. The few attempts to answer this question propose to adapt convolutions & pooling to suit Convolutional Neural Networks (CNNs). This paper proposes a very different approach, termed MeshWalker, to learn the shape directly from a given mesh. The key idea is to represent the mesh by random walks along the surface, which "explore" the mesh's geometry and topology. Each walk is organized as a list of vertices, which in some manner imposes regularity on the mesh. The walk is fed into a Recurrent Neural Network (RNN) that "remembers" the history of the walk. We show that our approach achieves state-of-the-art results for two fundamental shape analysis tasks: shape classification and semantic segmentation. Furthermore, even a very small number of examples suffices for learning. This is highly important, since large datasets of meshes are difficult to acquire.


title: Combination of abstractive and extractive approaches for summarization of long scientific texts

abstract: In this research work, we present a method to generate summaries of long scientific documents that uses the advantages of both extractive and abstractive approaches. Before producing a summary in an abstractive manner, we perform the extractive step, which then is used for conditioning the abstractor module. We used pre-trained transformer-based language models, for both extractor and abstractor. Our experiments showed that using extractive and abstractive models jointly significantly improves summarization results and ROUGE scores.


title: A Hybrid Framework for Matching Printing Design Files to Product Photos

abstract: We propose a real-time image matching framework, which is hybrid in the sense that it uses both hand-crafted features and deep features obtained from a well-tuned deep convolutional network. The matching problem, which we concentrate on, is specific to a certain application, that is, printing design to product photo matching. Printing designs are any kind of template image files, created using a design tool, thus are perfect image signals. However, photographs of a printed product suffer many unwanted effects, such as uncontrolled shooting angle, uncontrolled illumination, occlusions, printing deficiencies in color, camera noise, optic blur, et cetera. For this purpose, we create an image set that includes printing design and corresponding product photo pairs with collaboration of an actual printing facility. Using this image set, we benchmark various hand-crafted and deep features for matching performance and propose a framework in which deep learning is utilized with highest contribution, but without disabling real-time operation using an ordinary desktop computer.


title: Scalable Thompson Sampling using Sparse Gaussian Process Models

abstract: Thompson Sampling (TS) from Gaussian Process (GP) models is a powerful tool for the optimization of black-box functions. Although TS enjoys strong theoretical guarantees and convincing empirical performance, it incurs a large computational overhead that scales polynomially with the optimization budget. Recently, scalable TS methods based on sparse GP models have been proposed to increase the scope of TS, enabling its application to problems that are sufficiently multi-modal, noisy or combinatorial to require more than a few hundred evaluations to be solved. However, the approximation error introduced by sparse GPs invalidates all existing regret bounds. In this work, we perform a theoretical and empirical analysis of scalable TS. We provide theoretical guarantees and show that the drastic reduction in computational complexity of scalable TS can be enjoyed without loss in the regret performance over the standard TS. These conceptual claims are validated for practical implementations of scalable TS on synthetic benchmarks and as part of a real-world high-throughput molecular design task.


title: On the interplay between mobility and hospitalization capacity during the COVID-19 pandemic: The SEIRHUD model

abstract: Measures to reduce the impact of the COVID-19 pandemic require a mix of logistic, political and social capacity. Depending on the country, different approaches to increase hospitalization capacity or to properly apply lock-downs are observed. In order to better understand the impact of these measures we have developed a compartmental model which, on the one hand allows to calibrate the reduction of movement of people within and among different areas, and on the other hand it incorporates a hospitalization dynamics that differentiates the available kinds of treatment that infected people can receive. By bounding the hospitalization capacity, we are able to study in detail the interplay between mobility and hospitalization capacity.


title: First lattice calculation of radiative leptonic decay rates of pseudoscalar mesons

abstract: We present a non-perturbative lattice calculation of the form factors which contribute to the amplitudes for the radiative decays $P\to \ell \bar \nu_\ell \gamma$, where $P$ is a pseudoscalar meson and $\ell$ is a charged lepton. Together with the non-perturbative determination of the corrections to the processes $P\to \ell \bar \nu_\ell$ due to the exchange of a virtual photon, this allows accurate predictions at $O(\alpha_{em})$ to be made for leptonic decay rates for pseudoscalar mesons ranging from the pion to the $D_s$ meson. We are able to separate unambiguously and non-pertubatively the point-like contribution, from the structure-dependent, infrared-safe, terms in the amplitude. The fully non-perturbative $O(a)$ improved calculation of the inclusive leptonic decay rates will lead to the determination of the corresponding Cabibbo-Kobayashi-Maskawa (CKM) matrix elements also at $O(\alpha_{em})$. Prospects for a precise evaluation of leptonic decay rates with emission of a hard photon are also very interesting, especially for the decays of heavy $D$ and $B$ mesons for which currently only model-dependent predictions are available to compare with existing experimental data.


title: Probing and steering bulk and surface phonon polaritons in uniaxial materials using fast electrons: hexagonal boron nitride

abstract: We theoretically describe how fast electrons couple to polaritonic modes in uniaxial materials by analyzing the electron energy loss (EEL) spectra. We show that in the case of an uniaxial medium with hyperbolic dispersion, bulk and surface modes can be excited by a fast electron traveling through the volume or along an infinite interface between the material and vacuum. Interestingly, and in contrast to the excitations in isotropic materials, bulk modes can be excited by fast electrons traveling outside the uniaxial medium. We demonstrate our findings with the representative uniaxial material hexagonal boron nitride. We show that the excitation of bulk and surface phonon polariton modes is strongly related to the electron velocity and highly dependent on the angle between the electron beam trajectory and the optical axis of the material. Our work provides a systematic study for understanding bulk and surface polaritons excited by a fast electron beam in hyperbolic materials and sets a way to steer and control the propagation of the polaritonic waves by changing the electron velocity and its direction.


title: Self-Optimizing Grinding Machines using Gaussian Process Models and Constrained Bayesian Optimization

abstract: In this study, self-optimization of a grinding machine is demonstrated with respect to production costs, while fulfilling quality and safety constraints. The quality requirements of the final workpiece are defined with respect to grinding burn and surface roughness, and the safety constraints are defined with respect to the temperature at the grinding surface. Grinding temperature is measured at the contact zone between the grinding wheel and workpiece using a pyrometer and an optical fiber, which is embedded inside the rotating grinding wheel. Constrained Bayesian optimization combined with Gaussian process models is applied to determine the optimal feed rate and cutting speed of a cup wheel grinding machine manufacturing tungsten carbide cutting inserts. The approach results in the determination of optimal parameters for unknown workpiece and tool combinations after only a few grinding trials. It also incorporates the uncertainty of the constraints in the prediction of optimal parameters by using stochastic process models.


title: A fully Eulerian solver for the simulation of multiphase flows with solid bodies: application to surface gravity waves

abstract: In this paper a fully Eulerian solver for the study of multiphase flows for simulating the propagation of surface gravity waves over submerged bodies is presented. We solve the incompressible Navier-Stokes equations coupled with the volume of fluid technique for the modeling of the liquid phases with the interface, an immersed body method for the solid bodies and an iterative strong-coupling procedure for the fluid-structure interaction. The flow incompressibility is enforced via the solution of a Poisson equation which, owing to the density jump across the interfaces of the liquid phases, has to resort to the splitting procedure of Dodd & Ferrante [12]. The solver is validated through comparisons against classical test cases for fluid-structure interaction like migration of particles in pressure-driven channel, multiphase flows, water exit of a cylinder and a good agreement is found for all tests. Furthermore, we show the application of the solver to the case of a surface gravity wave propagating over a submerged reversed pendulum and verify that the solver can reproduce the energy exchange between the wave and the pendulum. Finally the three-dimensional spilling breaking of a wave induced by a submerged sphere is considered.


title: The simplicial coalgebra of chains determines homotopy types rationally and one prime at a time

abstract: We prove that the simplicial cocommutative coalgebra of singular chains on a connected topological space determines the homotopy type rationally and one prime at a time, without imposing any restriction on the fundamental group. In particular, the fundamental group and the homology groups with coefficients in arbitrary local systems of vector spaces are completely determined by the natural algebraic structure of the chains. The algebraic structure is presented as the class of the simplicial cocommutative coalgebra of chains under a notion of weak equivalence induced by a functor from coalgebras to algebras coined by Adams as the cobar construction. The fundamental group is determined by a quadratic equation on the zeroth homology of the cobar construction of the normalized chains which involves Steenrod's chain homotopies for cocommutativity of the coproduct. The homology groups with local coefficients are modeled by an algebraic analog of the universal cover which is invariant under our notion of weak equivalence. We conjecture that the integral homotopy type is also determined by the simplicial coalgebra of integral chains, which we prove when the universal cover is of finite type.


title: Optimization of laser stabilization via self-injection locking to WGM microresonator

abstract: Self-injection locking is a dynamic phenomenon representing stabilization of the emission frequency of an oscillator with a passive cavity enabling frequency filtered coherent feedback to the oscillator cavity. For instance, self-injection locking of a semiconductor laser to a high-quality-factor (high-Q) whispering gallery mode (WGM) microresonator can result in multiple orders of magnitude reduction of the laser linewidth. The phenomenon was broadly studied in experiments, but its detailed theoretical model allowing improving the stabilization performance does not exist. In this paper we develop such a theory. We introduce five parameters identifying efficiency of the self-injection locking in an experiment, comprising back-scattering efficiency, phase delay between the laser and the high-Q cavities, frequency detuning between the laser and the high-Q cavities, the pump coupling efficiency, the optical path length between the laser and the microresonator. Our calculations show that the laser linewidth can be improved by two orders of magnitude compared with the case of not optimal self-injection locking. We present recommendations on the experimental realization of the optimal self-injection locking regime. The theoretical model provides deeper understanding of the self-injection locking and benefits multiple practical applications of self-injection locked oscillators.


title: Current Groups and the Hamiltonian Anomaly

abstract: Gauge symmetry invariance is an indispensable aspect of the field-theoretic models in classical and quantum physics. Geometrically this symmetry is often modelled with current groups and current algebras, which are used to capture both the idea of gauge invariance and the algebraic structure of gauge currents related to the symmetry. The Hamiltonian anomaly is a well-known problem in the quantisation of massless fermion fields, originally manifesting as additional terms in current algebra commutators. The appearance of these anomalous terms is a signal of two things: that the gauge invariance of quantised Hamiltonian operators is broken, and that consequently it is not possible to coherently define a vacuum state over the physical configuration space of equivalent gauge connections. In this thesis we explore the geometric and topological origins of the Hamiltonian anomaly, emphasising the usefulness of higher geometric structures. Given this context we also discuss higher versions of the gauge-theoretic current groups. These constructions are partially motivated by the $2$-group models of the abstract string group, and we extend some of these ideas to current groups on the three-sphere $S^3$. The study of the Hamiltonian anomaly utilises a wide variety of tools from such fields as differential geometry, group cohomology, and operator K-theory. We gather together many of these approaches and apply them in the standard case involving the time components of the gauge currents. We then proceed to extend the analysis to the general case with all space-time components. We show how the anomaly terms for these generalised current algebra commutators are derived from the same topological foundations; namely, from the Dixmier-Douady class of the anomalous bundle gerbe. As an example we then compute the full set of anomalous commutators for the three-sphere $S^3$ as the physical space.


title: Vocal markers from sustained phonation in Huntington's Disease

abstract: Disease-modifying treatments are currently assessed in neurodegenerative diseases. Huntington's Disease represents a unique opportunity to design automatic sub-clinical markers, even in premanifest gene carriers. We investigated phonatory impairments as potential clinical markers and propose them for both diagnosis and gene carriers follow-up. We used two sets of features: Phonatory features and Modulation Power Spectrum Features. We found that phonation is not sufficient for the identification of sub-clinical disorders of premanifest gene carriers. According to our regression results, Phonatory features are suitable for the predictions of clinical performance in Huntington's Disease.