title: Mating of discrete trees and walks in the quarter-plane

abstract: We give a general construction of triangulations starting from a walk in the quarter plane with small steps, which is a discrete version of the mating of trees. We use a special instance of this construction to give a bijection between maps equipped with a rooted spanning tree and walks in the quarter plane. We also show how the construction allows to recover several known bijections between such objects in a uniform way.


title: Applying Bayesian Analysis Guidelines to Empirical Software Engineering Data: The Case of Programming Languages and Code Quality

abstract: Statistical analysis is the tool of choice to turn data into information, and then information into empirical knowledge. To be valid, the process that goes from data to knowledge should be supported by detailed, rigorous guidelines, which help ferret out issues with the data or model, and lead to qualified results that strike a reasonable balance between generality and practical relevance. Such guidelines are being developed by statisticians to support the latest techniques for Bayesian data analysis. In this article, we frame these guidelines in a way that is apt to empirical research in software engineering. To demonstrate the guidelines in practice, we apply them to reanalyze a GitHub dataset about code quality in different programming languages. The dataset's original analysis (Ray et al., 2014) and a critical reanalysis (Berger at al., 2019) have attracted considerable attention -- in no small part because they target a topic (the impact of different programming languages) on which strong opinions abound. The goals of our reanalysis are largely orthogonal to this previous work, as we are concerned with demonstrating, on data in an interesting domain, how to build a principled Bayesian data analysis and to showcase some of its benefits. In the process, we will also shed light on some critical aspects of the analyzed data and of the relationship between programming languages and code quality. The high-level conclusions of our exercise will be that Bayesian statistical techniques can be applied to analyze software engineering data in a way that is principled, flexible, and leads to convincing results that inform the state of the art while highlighting the boundaries of its validity. The guidelines can support building solid statistical analyses and connecting their results, and hence help buttress continued progress in empirical software engineering research.


title: Rational Hypergeometric Ramanujan Identities for $1/\pi^c$: Survey and Generalizations

abstract: We give a simple unified proof for all existing rational hypergeometric Ramanujan identities for $1/\pi$, and give a complete survey (without proof) of several generalizations: rational hypergeometric identities for $1/\pi^c$, Taylor expansions, upside-down formulas, and supercongruences.


title: On the Symbol Length of Fields with finite Square Class Number

abstract: Let $F$ be a field of characteristic not $2$ with finitely many square classes. Using combinatorial arguments applied to objects related to vector spaces over finite fields, we deduce an upper bound for the number of Pfister forms over $F$. Moreover, we compute upper bounds for the $n$-symbol length $F$ ($n\in\mathbb N$), i.e., the smallest integer $\mathrm{sl}_n(F)\geq 0$ such that to each quadratic form $\phi\in \mathsf I^n(F)$ there exists some $0\leq k\leq \mathrm{sl}_n(F)$ and Pfister forms $\pi_1,\ldots, \pi_k$ such that $\varphi\equiv \pi_1+\ldots+\pi_k\mod \mathsf I^{n+1}(F)$. In particular, we rediscover a bound that can also be deduced from a result by Bruno Kahn that he stated without proof.


title: Probing the Spatial Variation of the Inter-Valley Tunnel Coupling in a Silicon Triple Quantum Dot

abstract: Electrons confined in silicon quantum dots exhibit orbital, spin, and valley degrees of freedom. The valley degree of freedom originates from the bulk bandstructure of silicon, which has six degenerate electronic minima. The degeneracy can be lifted in silicon quantum wells due to strain and electronic confinement, but the "valley splitting" of the two lowest lying valleys is known to be sensitive to atomic-scale disorder. Large valley splittings are desirable to have a well-defined spin qubit. In addition, an understanding of the inter-valley tunnel coupling that couples different valleys in adjacent quantum dots is extremely important, as the resulting gaps in the energy level diagram may affect the fidelity of charge and spin transfer protocols in silicon quantum dot arrays. Here we use microwave spectroscopy to probe spatial variations in the valley splitting, and the intra- and inter-valley tunnel couplings ($t_{ij}$ and $t'_{ij}$) that couple dots $i$ and $j$ in a triple quantum dot (TQD). We uncover large spatial variations in the ratio of inter-valley to intra-valley tunnel couplings $t_{12}'/t_{12}=0.90$ and $t_{23}'/t_{23}=0.56$. By tuning the interdot tunnel barrier we also show that $t'_{ij}$ scales linearly with $t_{ij}$, as expected from theory. The results indicate strong interactions between different valley states on neighboring dots, which we attribute to local inhomogeneities in the silicon quantum well.


title: Radiation dose estimation in pencil beam x-ray luminescence computed tomography imaging

abstract: Pencil x-ray beam imaging provides superior spatial resolution than other imaging geometries like sheet beam and cone beam geometries due to the illumination of a line instead of an area or volume. However, the pencil beam geometry suffers from long scan times and concerns over dose discourage laboratory use of pencil beam x-ray sources. Molecular imaging techniques like XLCT imaging benefit most from pencil beam imaging to accurately localize the distribution of contrast agents embedded in a small animal object. To investigate the dose deposited by pencil beam x-ray imaging in XLCT, dose estimations from one angular projection scan by three different x-ray source energies were performed on a small animal object composed of water, bone, and blood with a Monte Carlo simulation platform, GATE (Geant4 Application for Tomographic Emission). Our results indicate that, with an adequate x-ray benchtop source with high brilliance and quasi-monochromatic properties like the Sigray source, the dose concerns can be reduced. With the Sigray source, the bone marrow was estimated to have a radiation dose of 30 mGy for a typical XLCT imaging, in which we have 6 angular projections, 100 micrometer scan step size, and 10^6 x-ray photons per linear scan.


title: cij: A Python code for quasiharmonic thermoelasticity

abstract: The Wu-Wentzcovitch semi-analytical method (SAM) is a concise and predictive formalism to calculate the high-pressure and high-temperature (high-PT) thermoelastic tensor (Cij) of crystalline materials. This method has been successfully applied to materials across different crystal systems in conjunction with ab initio calculations of static elastic coefficients and phonon frequencies. Such results have offered first-hand insights into the composition and structure of the Earth's mantle. Here we introduce the cij package, a Python implementation of the SAM-Cij formalism. It enables a thermoelasticity calculation to be initiated from a single command and fully configurable from a calculation settings file to work with solids within any crystalline system. These features allow SAM-Cij calculations to work on a personal computer and to be easily integrated as a part of high-throughput workflows. Here we show the performance of this code for three minerals from different crystal systems at their relevant PTs: diopside (monoclinic), akimotoite (trigonal), and bridgmanite (orthorhombic).


title: Direct Energy Minimization Based on Exponential Transformation in Density Functional Calculations of Finite and Extended Systems

abstract: The energy minimization involved in density functional calculations of electronic systems can be carried out using an exponential transformation that preserves the orthonormality of the orbitals. The energy of the system is then represented as a function of the elements of a skew-Hermitian matrix that can be optimized directly using unconstrained minimization methods. An implementation based on the limited memory Broyden-Fletcher-Goldfarb-Shanno approach with inexact line search and a preconditioner is presented and the performance compared with that of the commonly used self-consistent field approach. Results are presented for the G2 set of 148 molecules, liquid water configurations with up to 576 molecules and some insulating crystals. A general preconditioner is presented that is applicable to systems with fractional orbital occupation as is, for example, needed in the k-point sampling for periodic systems. This exponential transformation direct minimization approach is found to outperform the standard implementation of the self-consistent field approach in that all the calculations converge with the same set of parameter values and it requires less computational effort on average. The formulation of the exponential transformation and the gradients of the energy presented here are quite general and can be applied to energy functionals that are not unitary invariant such as self-interaction corrected functionals.


title: Quantum electrodynamical formulation of photochemical acid generation and its implications on optical lithography

abstract: The photochemical acid generation is refined from the very first principles of elementary particle physics. We first briefly review the formulation of the quantum theory of light based on the quantum electrodynamics framework to establish the probability for acid generation at a given spacetime point. The quantum mechanical acid generation is then combined with the deprotection mechanism to obtain the probabilistic description of the deprotection density, directly related to the feature formation in a photoresist. A statistical analysis of the random deprotection density is presented to reveal the leading characteristics of stochastic feature formation.


title: Singlemode spatiotemporal soliton attractor in multimode GRIN fibers

abstract: Experimental and numerical studies of spatiotemporal femtosecond soliton propagation over up to 1 km spans of parabolic graded-index (GRIN) fibers reveal that initial multimode soliton pulses naturally and irreversibly evolve into a singlemode soliton. This is carried by the fundamental mode of the fiber, which acts as a dynamical attractor of the multimode system for up to the record value (for multimode fibers) of 5600 chromatic dispersion distances. This experimental evidence invalidates the use of variational approaches, which intrinsically require that the initial multimode propagation of a self-imaging soliton is indefinitely maintained.


title: Novel design strategies for modulating conductive stretchable system response based on periodic assemblies

abstract: Soft electronics have recently gathered considerable interest thanks to their bio-mechanical compatibility. An important feature of such deformable conductors is their electrical response to strain. While development of stretchable materials with high gauge factors has attracted considerable attention, there is a growing need for stretchable conductors whose response to deformation can be accurately engineered to provide arbitrary resistance-strain relationships. The rare studies addressing this issue have focused on deterministic geometries of single rigid materials, limiting the scope of such strategies. Herein, we introduce the novel concept of periodic stretchable patterns combining multiple conductive materials to produce tailored responses. Using shortest-path algorithms, we establish a computationally efficient selection method to obtain required resistance-strain relationship. Using this algorithm, we identify and experimentally demonstrate constant resistance-strain responses up to 50% elongation using a single micro-textured material. Finally, we demonstrate counter-intuitive sinusoidal responses by integrating three materials, with interesting applications in sensing and soft robotics.


title: Stochastic block model entropy and broadcasting on trees with survey

abstract: The limit of the entropy in the stochastic block model (SBM) has been characterized in the sparse regime for the special case of disassortative communities [COKPZ17] and for the classical case of assortative communities but in the dense regime [DAM16]. The problem has not been closed in the classical sparse and assortative case. This paper establishes the result in this case for any SNR besides for the interval (1, 3.513). It further gives an approximation to the limit in this window. The result is obtained by expressing the global SBM entropy as an integral of local tree entropies in a broadcasting on tree model with erasure side-information. The main technical advancement then relies on showing the irrelevance of the boundary in such a model, also studied with variants in [KMS16], [MNS16] and [MX15]. In particular, we establish the uniqueness of the BP fixed point in the survey model for any SNR above 3.513 or below 1. This only leaves a narrow region in the plane between SNR and survey strength where the uniqueness of BP conjectured in these papers remains unproved.


title: On the differential privacy of dynamic location obfuscation with personalized error bounds

abstract: Geo-indistinguishability and expected inference error are two complementary notions for location privacy. The joint guarantee of differential privacy (indistinguishability) and distortion privacy (inference error) limits the information leakage. In this paper, we analyze the differential privacy of PIVE, a dynamic location obfuscation mechanism proposed by Yu, Liu and Pu (NDSS 2017), and show that PIVE fails to offer either of the privacy guarantees on adaptive Protection Location Sets (PLSs) as claimed. Specifically, we demonstrate that different PLSs could intersect with one another due to the defined search algorithm, and then different apriori locations in the same PLS could have different protection diameters. As a result, we can show that the proof of local differential privacy for PIVE is problematic. Besides, the condition introduced in PIVE is confirmed to be not sufficient for bounding expected inference errors in general, which makes the user-defined inference error threshold invalid. To address these issues, we propose a couple of correction approaches, analyze theoretically their satisfied privacy characteristics and detail their respective merits and demerits.


title: Finite-key analysis of loss-tolerant quantum key distribution based on random sampling theory

abstract: The core of security proofs of quantum key distribution (QKD) is the estimation of a parameter that determines the amount of privacy amplification that the users need to apply in order to distill a secret key. To estimate this parameter using the observed data, one needs to apply concentration inequalities, such as random sampling theory or Azuma's inequality. The latter can be straightforwardly employed in a wider class of QKD protocols, including those that do not rely on mutually unbiased encoding bases, such as the loss-tolerant (LT) protocol. However, when applied to real-life finite-length QKD experiments, Azuma's inequality typically results in substantially lower secret-key rates. Here, we propose an alternative security analysis of the LT protocol against general attacks, for both its prepare-and-measure and measure-device-independent versions, that is based on random sampling theory. Consequently, our security proof provides considerably higher secret-key rates than the previous finite-key analysis based on Azuma's inequality. This work opens up the possibility of using random sampling theory to provide alternative security proofs for other QKD protocols.


title: Detection and Prevention of New Attacks for ID-based Authentication Protocols

abstract: The rapid development of information and network technologies motivates the emergence of various new computing paradigms, such as distributed computing, and edge computing. This also enables more and more network enterprises to provide multiple different services simultaneously. To ensure these services can conveniently be accessed only by authorized users, many password and smart card-based authentication schemes for multi-server architecture have been proposed. In this paper, we review several dynamic ID-based password authentication schemes for multi-server environments. New attacks against four of these schemes are presented, demonstrating that an adversary can impersonate either legitimate or fictitious users. The impact of these attacks is the failure to achieve the main security requirement: authentication. Thus, the security of the analyzed schemes is proven to be compromised. We analyze these four dynamic ID-based schemes and discuss the reasons for the success of the new attacks. Additionally, we propose a new set of design guidelines to prevent such exploitable weaknesses on dynamic ID-based authentication protocols. Finally, we apply the proposed guidelines to the analyzed protocols and demonstrate that violation of these guidelines leads to insecure protocols.


title: Almost contact structures on manifolds with a $G_2$ structure

abstract: We review the construction of almost contact metric (three-) structures, abbreviated ACM(3)S, on manifolds with a $G_2$ structure. These are of interest for certain supersymmetric configurations in string and M-theory. We compute the torsion of the $SU(3)$ structure associated to an ACMS and apply these computations to heterotic $G_2$ systems and supersymmetry enhancement. We initiate the study of the space of ACM3Ss, which is an infinite dimensional space with a local product structure and interesting topological features. Tantalising links between ACM3Ss and associative and coassociative submanifolds are observed.


title: Dissipativity and optimal control

abstract: The close link between dissipativity and optimal control is already apparent in Jan C. Willems' first papers on the subject. In recent years, research on this link has been revived with a particular focus on nonlinear problems and applications in model predictive control (MPC). This paper surveys these recent developments and some of Willems' and other authors' earlier results.


title: A Symmetric Lambda-Calculus Corresponding to the Negation-Free Bilateral Natural Deduction

abstract: Filinski constructed a symmetric lambda-calculus consisting of expressions and continuations which are symmetric, and functions which have duality. In his calculus, functions can be encoded to expressions and continuations using primitive operators. That is, the duality of functions is not derived in the calculus but adopted as a principle of the calculus. In this paper, we propose a simple symmetric lambda-calculus corresponding to the negation-free natural deduction based bilateralism in proof-theoretic semantics. In our calculus, continuation types are represented as not negations of formulae but formulae with negative polarity. Function types are represented as the implication and but-not connectives in intuitionistic and paraconsistent logics, respectively. Our calculus is not only simple but also powerful as it includes a call-value calculus corresponding to the call-by-value dual calculus invented by Wadler. We show that mutual transformations between expressions and continuations are definable in our calculus to justify the duality of functions. We also show that every typable function has dual types. Thus, the duality of function is derived from bilateralism.


title: Does injecting linguistic structure into language models lead to better alignment with brain recordings?

abstract: Neuroscientists evaluate deep neural networks for natural language processing as possible candidate models for how language is processed in the brain. These models are often trained without explicit linguistic supervision, but have been shown to learn some linguistic structure in the absence of such supervision (Manning et al., 2020), potentially questioning the relevance of symbolic linguistic theories in modeling such cognitive processes (Warstadt and Bowman, 2020). We evaluate across two fMRI datasets whether language models align better with brain recordings, if their attention is biased by annotations from syntactic or semantic formalisms. Using structure from dependency or minimal recursion semantic annotations, we find alignments improve significantly for one of the datasets. For another dataset, we see more mixed results. We present an extensive analysis of these results. Our proposed approach enables the evaluation of more targeted hypotheses about the composition of meaning in the brain, expanding the range of possible scientific inferences a neuroscientist could make, and opens up new opportunities for cross-pollination between computational neuroscience and linguistics.


title: Open World Compositional Zero-Shot Learning

abstract: Compositional Zero-Shot learning (CZSL) requires to recognize state-object compositions unseen during training. In this work, instead of assuming prior knowledge about the unseen compositions, we operate in the open world setting, where the search space includes a large number of unseen compositions some of which might be unfeasible. In this setting, we start from the cosine similarity between visual features and compositional embeddings. After estimating the feasibility score of each composition, we use these scores to either directly mask the output space or as a margin for the cosine similarity between visual features and compositional embeddings during training. Our experiments on two standard CZSL benchmarks show that all the methods suffer severe performance degradation when applied in the open world setting. While our simple CZSL model achieves state-of-the-art performances in the closed world scenario, our feasibility scores boost the performance of our approach in the open world setting, clearly outperforming the previous state of the art.


title: Role of Water Model on Ion Dissociation at Ambient Conditions

abstract: We study ion pair dissociation in water at ambient conditions using a combination of classical and ab initio approaches. The goal of this study is to disentangle the sources of discrepancy observed in computed potentials of mean force. In particular we aim to understand why some models favor the stability of solvent-separated ion pairs versus contact ion pairs. We found that some observed differences can be explained by non-converged simulation parameters. However, we also unveil that for some models, small changes in the solution density can have significant effects on modifying the equilibrium balance between the two configurations. We conclude that the thermodynamic stability of contact and solvent-separated ion pairs is very sensitive to the dielectric properties of the underlying simulation model. In general, classical models are very robust on providing a similar estimation of the contact ion pair stability, while this is much more variable in density functional theory-based models. The barrier to transition from solvent-separated to contact ion pair is fundamentally dependent on the balance between electrostatic potential energy and entropy. This reflects the importance of water intra- and inter-molecular polarizability in obtaining an accurate description of the screened ion-ion interactions.


title: Morse inequalities at infinity for a resonant mean field equation

abstract: In this paper we study the following mean field type equation \begin{equation*} (MF) \qquad -\D_g u \, = \varrho ( \frac{K e^{u}}{\int_{\Sig} K e^{u} dV_g} \, - \, 1) \, \mbox{ in } \Sigma, \end{equation*} where $(\Sigma, g)$ is a closed oriented surface of unit volume $Vol_g(\Sigma)$ = 1, $K$ positive smooth function and $\varrho= 8 \pi m$, $ m \in \N$. Building on the critical points at infinity approach initiated in \cite{ABL17} we develop, under generic condition on the function $K$ and the metric $g$, a full Morse theory by proving Morse inequalities relating the Morse indices of the critical points, the indices of the critical points at infinity, and the Betti numbers of the space of formal barycenters $B_m(\Sigma)$.\\ We derive from these \emph{Morse inequalities at infinity} various new existence as well as multiplicity results of the mean field equation in the resonant case, i.e. $\varrho \in 8 \pi \N$.


title: Hawking radiation, local temperatures, and nonequilibrium thermodynamics of the black holes with non-killing horizon

abstract: Recently, a class of stationary black hole solutions with non-killing horizon in the asymptotic AdS bulk space was constructed to describe the far from equilibrium heat transport and particle transport from the boundary black holes via AdS/CFT correspondence. In this study, we calculate the spectrum of Hawking radiation of the black funnel solution. Our results indicate that the spectrum and the temperatures as well as the chemical potentials of the non-equilibrium black funnel do depend on one of the spatial coordinates. This is different from the equilibrium black holes with killing horizon, where the temperatures are uniform. Therefore, the black hole with non-killing horizon can be overall in non-equilibrium steady state while the Hawking temperature of the black funnel can be viewed as the local temperature and the corresponding Hawking radiation can be regarded as being in the local equilibrium with the horizon of the black funnel. By AdS/CFT, we discuss some possible implications of our results of local Hawking temperature for the non-equilibrium thermodynamics of dual conformal field theory. We further discuss the nonequilibrium thermodynamics of the black funnel, where the first law can be formulated as the entropy production rate being equal to the sum of the changes of the entropies from the system (black funnel) and environments while the second law is given by the entropy production being larger than or equal to zero. We found the time arrow emerged from the nonequilibrium black hole heat and particle transport dissipation. We also discuss how the nonequilibrium dissipation may influence the evaporation process of the black funnel.


title: Experimental Investigations on the TMI Thresholds of Low-NA Yb-doped single mode fibers

abstract: In this contribution we investigate the transversal mode instability behavior of an ytterbium doped commercial 20/400 fiber and obtain 2.9 kW of output power after optimizing the influencing parameters. In this context, we evaluate the influence of the bend diameter and the pump wavelength within the scope of the absorption length and the length of the fiber. Furthermore with a newly developed fiber we report on 4.4 kW of single-mode output power at 40 cm bend diameter.


title: Modeling blood flow in networks of viscoelastic vessels with the 1-D augmented fluid-structure interaction system

abstract: A noteworthy aspect in blood flow modeling is the definition of the mechanical interaction between the fluid flow and the biological structure that contains it, namely the vessel wall. It has been demonstrated that the addition of a viscous contribution to the mechanical characterization of vessels brings positive results when compared to in-vivo measurements. In this context, the numerical implementation of boundary conditions able to keep memory of the viscoelastic contribution of vessel walls assumes an important role, especially when dealing with large circulatory systems. In this work, viscoelasticity is taken into account in entire networks via the Standard Linear Solid Model. The implementation of the viscoelastic contribution at boundaries (inlet, outlet and junctions), is carried out considering the hyperbolic nature of the mathematical model. A non-linear system is established based on the definition of the Riemann Problem at junctions, characterized by rarefaction waves separated by contact discontinuities, among which the mass and the total energy are conserved. Basic junction tests are analyzed, such as a trivial 2-vessels junction, for both a generic artery and vein, and a simple 3-vessels junction, considering an aortic bifurcation scenario. The chosen asymptotic-preserving IMEX Runge-Kutta Finite Volume scheme is demonstrated to be second-order accurate in the whole domain and well-balanced, even when including junctions. Two different benchmark models of the arterial network are implemented, differing in number of vessels and in viscoelastic parameters. Comparison of the results obtained in the two networks underlines the high sensitivity of the model to the chosen viscoelastic parameters. The conservation of the contribution provided by the viscoelastic characterization of vessel walls is assessed in the whole network, including junctions and boundary conditions.


title: DigitalExposome: Quantifying the Urban Environment Influence on Wellbeing based on Real-Time Multi-Sensor Fusion and Deep Belief Network

abstract: In this paper, we define the term 'DigitalExposome' as a conceptual framework that takes us closer towards understanding the relationship between environment, personal characteristics, behaviour and wellbeing using multimodel mobile sensing technology. Specifically, we simultaneously collected (for the first time) multi-sensor data including urban environmental factors (e.g. air pollution including: PM1, PM2.5, PM10, Oxidised, Reduced, NH3 and Noise, People Count in the vicinity), body reaction (physiological reactions including: EDA, HR, HRV, Body Temperature, BVP and movement) and individuals' perceived responses (e.g. self-reported valence) in urban settings. Our users followed a pre-specified urban path and collected the data using a comprehensive sensing edge devices. The data is instantly fused, time-stamped and geo-tagged at the point of collection. A range of multivariate statistical analysis techniques have been applied including Principle Component Analysis, Regression and spatial visualisations to unravel the relationship between the variables. Results showed that EDA and Heart Rate Variability HRV are noticeably impacted by the level of Particulate Matters (PM) in the environment well with the environmental variables. Furthermore, we adopted Deep Belief Network to extract features from the multimodel data feed which outperformed Convolutional Neural Network and achieved up to (a=80.8%, {\sigma}=0.001) accuracy.


title: Polynomial Trajectory Predictions for Improved Learning Performance

abstract: The rising demand for Active Safety systems in automotive applications stresses the need for a reliable short to mid-term trajectory prediction. Anticipating the unfolding path of road users, one can act to increase the overall safety. In this work, we propose to train artificial neural networks for movement understanding by predicting trajectories in their natural form, as a function of time. Predicting polynomial coefficients allows us to increased accuracy and improve generalisation.


title: One-sided Frank-Wolfe algorithms for saddle problems

abstract: We study a class of convex-concave saddle-point problems of the form $\min_x\max_y \langle Kx,y\rangle+f_{\cal{P}}(x)-h^\ast(y)$ where $K$ is a linear operator, $f_{\cal{P}}$ is the sum of a convex function $f$ with a Lipschitz-continuous gradient and the indicator function of a bounded convex polytope $\cal{P}$, and $h^\ast$ is a convex (possibly nonsmooth) function. Such problem arises, for example, as a Lagrangian relaxation of various discrete optimization problems. Our main assumptions are the existence of an efficient linear minimization oracle ($lmo$) for $f_{\cal{P}}$ and an efficient proximal map for $h^*$ which motivate the solution via a blend of proximal primal-dual algorithms and Frank-Wolfe algorithms. In case $h^*$ is the indicator function of a linear constraint and function $f$ is quadratic, we show a $O(1/n^2)$ convergence rate on the dual objective, requiring $O(n \log n)$ calls of $lmo$. If the problem comes from the constrained optimization problem $\min_{x\in\mathbb R^d}\{f_{\cal{P}}(x)\:|\:Ax-b=0\}$ then we additionally get bound $O(1/n^2)$ both on the primal gap and on the infeasibility gap. In the most general case, we show a $O(1/n)$ convergence rate of the primal-dual gap again requiring $O(n\log n)$ calls of $lmo$. To the best of our knowledge, this improves on the known convergence rates for the considered class of saddle-point problems. We show applications to labeling problems frequently appearing in machine learning and computer vision.


title: Symplectic embeddings, homotopy algebras and almost Poisson gauge symmetry

abstract: We formulate general definitions of semi-classical gauge transformations for noncommutative gauge theories in general backgrounds of string theory, and give novel explicit constructions using techniques based on symplectic embeddings of almost Poisson structures. In the absence of fluxes the gauge symmetries close a Poisson gauge algebra and their action is governed by a $P_\infty$-algebra which we construct explicitly from the symplectic embedding. In curved backgrounds they close a field dependent gauge algebra governed by an $L_\infty$-algebra which is not a $P_\infty$-algebra. Our technique produces new all orders constructions which are significantly simpler compared to previous approaches, and we illustrate its applicability in several examples of interest in noncommutative field theory and gravity. We further show that our symplectic embeddings naturally define a $P_\infty$-structure on the exterior algebra of differential forms on a generic almost Poisson manifold, which generalizes earlier constructions of differential graded Poisson algebras, and suggests a new approach to defining noncommutative gauge theories beyond the gauge sector and the semi-classical limit based on $A_\infty$-algebras.


title: Comparison of Spin-Wave Modes in Connected and Disconnected Artificial Spin Ice Nanostructures Using Brillouin Light Scattering Spectroscopy

abstract: Artificial spin ice systems have seen burgeoning interest due to their intriguing physics and potential applications in reprogrammable memory, logic and magnonics. Integration of artificial spin ice with functional magnonics is a relatively recent research direction, with a host of promising results. As the field progresses, direct in-depth comparisons of distinct artificial spin systems are crucial to advancing the field. While studies have investigated the effects of different lattice geometries, little comparison exists between systems comprising continuously connected nanostructures, where spin-waves propagate via dipole-exchange interaction, and systems with nanobars disconnected at vertices where spin-wave propagation occurs via stray dipolar-field. Gaining understanding of how these very different coupling methods affect both spin-wave dynamics and magnetic reversal is key for the field to progress and provides crucial system-design information including for future systems containing combinations of connected and disconnected elements. Here, we study the magnonic response of two kagome spin ices via Brillouin light scattering, a continuously connected system and a disconnected system with vertex gaps. We observe distinct high-frequency dynamics and magnetization reversal regimes between the systems, with key distinctions in spin-wave localization and mode quantization, microstate-trajectory during reversal and internal field-profiles. These observations are pertinent for the fundamental understanding of artificial spin systems and broader design and engineering of reconfigurable functional magnonic crystals.


title: EphemeriShield -- defence against cyber-antisatellite weapons

abstract: Satellites, are both crucial and, despite common misbelieve, very fragile parts our civilian and military critical infrastructure. While, many efforts are focused on securing ground and space segments, especially when national security or large businesses interests are affected, the small-sat, newspace revolution democratizes access to, and exploitation of the near earth orbits. This brings new players to the market, typically in the form of small to medium sized companies, offering new or more affordable services. Despite the necessity and inevitability of this process, it also opens potential new venues for targeted attacks against space-related infrastructure. Since sources of satellite ephemerides are very often centralized, they are subject to classical Man-in-the-Middle attacks which open venues for TLE spoofing attack, which may result in unnecessary collision avoidance maneuvers, in best case and orchestrated crashes, in worst case. In this work, we propose a countermeasure to the presented problem that include distributed solution, which will have no central authority responsible for storing and disseminating TLE information. Instead, each of the peers participating to the system, have full access to all of the records stored in the system, and distribute the data in a consensual manner,ensuring information replication at each peer node. This way, single point of failure syndromes of classic systems, which currently exist due to the direct ephemerids distribution mechanism, are removed. Our proposed solution is to build data dissemination systems using permissioned, private ledgers where peers have strong and verifiable identities, which allow also for redundancy in SST data sourcing.


title: Garland's Technique for Posets and High Dimensional Grassmannian Expanders

abstract: Local to global machinery plays an important role in the study of simplicial complexes, since the seminal work of Garland [G] to our days. In this work we develop a local to global machinery for general posets. We show that the high dimensional expansion notions and many recent expansion results have a generalization to posets. Examples are fast convergence of high dimensional random walks generalizing [KO,AL], an equivalence with a global random walk definition, generalizing [DDFH] and a trickling down theorem, generalizing [O]. In particular, we show that some posets, such as the Grassmannian poset, exhibit qualitatively stronger trickling down effect than simplicial complexes. Using these methods, and the novel idea of Posetification, to Ramanujan complexes [LSV1,LSV2], we construct a constant degree expanding Grassmannian poset, and analyze its expansion. This it the first construction of such object, whose existence was conjectured in [DDFH].


title: The role physics can play in a multi-disciplinary curriculum for non-physics scientists and engineers

abstract: At many physics departments a significant fraction of teaching is in support of engineers and scientists in other majors. These service courses are thus an automatic crucible of interdisciplinary interaction, and at times, strife. For example, the traditional algebra-based physics course is often considered by both biology faculty and students as having little relevance to their discipline. To address this issue, our multi-disciplinary multi-university team has been negotiating the role of a physics in the curriculum of life-science students; In NEXUS/Physics we have designed a class that stresses traditional physics skills but in contexts chosen to better meet the needs of life science students. Non-standard topics include chemical energy, diffusion and random motion, and thermodynamics with careful discussions of entropy, enthalpy, and Gibbs free energy. Explorations into how physics intertwines with an engineer's curriculum suggests places where analogous negotiations could lead to substantial modifications of physics courses for engineers that substantially enhance their value for engineering students.


title: Using Markov transition matrices to generate trial configurations in Markov chain Monte Carlo simulations

abstract: We propose a new Markov chain Monte Carlo method in which trial configurations are generated by evolving a state, sampled from a prior distribution, using a Markov transition matrix. We present two prototypical algorithms and derive their corresponding acceptance rules. We first identify the important factors controlling the quality of the sampling. We then apply the method to the problem of sampling polymer configurations with fixed endpoints. Applications of the proposed method range from the design of new generative models to the improvement of the portability of specific Monte Carlo algorithms, like configurational-bias schemes.

categories: cond-mat.stat-mech cond-mat.soft hep-lat physics.comp-ph


title: MRIReco.jl: An MRI Reconstruction Framework written in Julia

abstract: Purpose: The aim of this work is to develop a high-performance, flexible and easy-to-use MRI reconstruction framework using the scientific programming language Julia. Methods: Julia is a modern, general purpose programming language with strong features in the area of signal / image processing and numerical computing. It has a high-level syntax but still generates efficient machine code that is usually as fast as comparable C/C++ applications. In addition to the language features itself, Julia has a sophisticated package management system that makes proper modularization of functionality across different packages feasible. Our developed MRI reconstruction framework MRIReco.jl can therefore reuse existing functionality from other Julia packages and concentrate on the MRI-related parts. This includes common imaging operators and support for MRI raw data formats. Results: MRIReco.jl is a simple to use framework with a high degree of accessibility. While providing a simple-to-use interface, many of its components can easily be extended and customized. The performance of MRIReco.jl is compared to the Berkeley Advanced Reconstruction Toolbox (BART) and we show that the Julia framework achieves comparable reconstruction speed as the popular C/C++ library. Conclusion: Modern programming languages can bridge the gap between high performance and accessible implementations. MRIReco.jl leverages this fact and contributes a promising environment for future algorithmic development in MRI reconstruction.


title: Fast and scalable likelihood maximization for Exponential Random Graph Models with local constraints

abstract: Exponential Random Graph Models (ERGMs) have gained increasing popularity over the years. Rooted into statistical physics, the ERGMs framework has been successfully employed for reconstructing networks, detecting statistically significant patterns in graphs, counting networked configurations with given properties. From a technical point of view, the ERGMs workflow is defined by two subsequent optimization steps: the first one concerns the maximization of Shannon entropy and leads to identify the functional form of the ensemble probability distribution that is maximally non-committal with respect to the missing information; the second one concerns the maximization of the likelihood function induced by this probability distribution and leads to its numerical determination. This second step translates into the resolution of a system of $O(N)$ non-linear, coupled equations (with $N$ being the total number of nodes of the network under analysis), a problem that is affected by three main issues, i.e. accuracy, speed and scalability. The present paper aims at addressing these problems by comparing the performance of three algorithms (i.e. Newton's method, a quasi-Newton method and a recently-proposed fixed-point recipe) in solving several ERGMs, defined by binary and weighted constraints in both a directed and an undirected fashion. While Newton's method performs best for relatively little networks, the fixed-point recipe is to be preferred when large configurations are considered, as it ensures convergence to the solution within seconds for networks with hundreds of thousands of nodes (e.g. the Internet, Bitcoin). We attach to the paper a Python code implementing the three aforementioned algorithms on all the ERGMs considered in the present work.


title: A note on the nonexistence of global solutions to the semilinear wave equation with nonlinearity of derivative-type in the generalized Einstein-de Sitter spacetime

abstract: In this paper, we establish blow-up results for the semilinear wave equation in generalized Einstein-de Sitter spacetime with nonlinearity of derivative type. Our approach is based on the integral representation formula for the solution to the corresponding linear problem in the one-dimensional case, that we will determine through Yagdjian's Integral Transform approach. As upper bound for the exponent of the nonlinear term, we discover a Glassey-type exponent which depends both on the space dimension and on the Lorentzian metric in the generalized Einstein-de Sitter spacetime.


title: On a periodic Jacobi-Perron type algorithm

abstract: In this paper we introduce a new modification of the Jacobi-Perron algorithm in three dimensional case and prove its periodicity for the case of totally-real conjugate cubic vectors. This provides an answer in the totally-real case to the question son algebraic periodicity for cubic irrationalities posed in 1849 by Ch.~Hermite.


title: Classification of Planetary Nebulae through Deep Transfer Learning

abstract: This study investigate the effectiveness of using Deep Learning (DL) for the classification of planetary nebulae (PNe). It focusses on distinguishing PNe from other types of objects, as well as their morphological classification. We adopted the deep transfer learning approach using three ImageNet pre-trained algorithms. This study was conducted using images from the Hong Kong/Australian Astronomical Observatory/Strasbourg Observatory H-alpha Planetary Nebula research platform database (HASH DB) and the Panoramic Survey Telescope and Rapid Response System (Pan-STARRS). We found that the algorithm has high success in distinguishing True PNe from other types of objects even without any parameter tuning. The Matthews correlation coefficient is 0.9. Our analysis shows that DenseNet201 is the most effective DL algorithm. For the morphological classification, we found for three classes, Bipolar, Elliptical and Round, half of objects are correctly classified. Further improvement may require more data and/or training. We discuss the trade-offs and potential avenues for future work and conclude that deep transfer learning can be utilized to classify wide-field astronomical images.


title: Quarter and Full Car Models Optimisation of Passive and Active Suspension System Using Genetic Algorithm

abstract: This study evaluates a suspension design of a passenger car to obtain maximum rider's comfort when the vehicle is subjected to different road profile or road surface condition. The challenge will be on finding a balance between the rider's comfort and vehicle handling to optimize design parameters. The study uses a simple passive suspension system and an active suspension model integrated with a pneumatic actuator controlled by proportional integral derivative (PID) controller in both quarter car and full car models having a different degree of freedoms (DOF) and increasing degrees of complexities. The quarter car considered as a 2-DOF model, while the full car model is a 7-DOF model. The design process set to optimise the spring stiffnesses, damping coefficients and actuator PID controller gains. For optimisation, the research featured genetic algorithm optimisation technique to obtain a balanced response of the vehicle as evaluated from the displacement, velocity and acceleration of sprung and unsprung masses along with different human comfort and vehicle performance criteria. The results revealed that the active suspension system with optimised spring stiffness, damping coefficients and PID gains demonstrated the superior riding comfort and road holding compared to a passive suspension system.


title: Unveiling the three-dimensional spin texture of skyrmion tubes

abstract: Magnetic skyrmions are stable topological solitons with complex non-coplanar spin structures. Their nanoscopic size and the low electric currents required to initiate and control their motion has opened a new field of research, skyrmionics, that aims at using skyrmions as information carriers for data storage and manipulation. Recent advances in skyrmionics prompt for a thorough understanding of the detailed three-dimensional (3D) spin texture of a skyrmion including skyrmion-skyrmion interactions and their coupling to surfaces and interfaces. These properties crucially affect application-related aspects such as the stability and mobility of skyrmions in confined structures. To date, however, experimental techniques to measure the three-dimensional spin texture with nanometer resolution are largely missing. We therefore adapt holographic vector field electron tomography to the problem and report on the first quantitative reconstruction of the 3D spin texture of skyrmions with sub-10 nanometer resolution. The reconstructed textures reveal a variety of previously unseen local deviations from a homogeneous Bloch character within the skyrmion tubes (SkTs), details of the collapse of the skyrmion texture at surfaces, and a correlated modulation of the SkT in FeGe along their tube axes. The quantitative 3D data of the magnetic induction also allow to experimentally confirm some principles of skyrmion formation by deriving spatially resolved maps of the magnetic energy density across these magnetic solitons.


title: A Comprehensive Survey and Experimental Comparison of Graph-Based Approximate Nearest Neighbor Search

abstract: Approximate nearest neighbor search (ANNS) constitutes an important operation in a multitude of applications, including recommendation systems, information retrieval, and pattern recognition. In the past decade, graph-based ANNS algorithms have been the leading paradigm in this domain, with dozens of graph-based ANNS algorithms proposed. Such algorithms aim to provide effective, efficient solutions for retrieving the nearest neighbors for a given query. Nevertheless, these efforts focus on developing and optimizing algorithms with different approaches, so there is a real need for a comprehensive survey about the approaches' relative performance, strengths, and pitfalls. Thus here we provide a thorough comparative analysis and experimental evaluation of 13 representative graph-based ANNS algorithms via a new taxonomy and fine-grained pipeline. We compared each algorithm in a uniform test environment on eight real-world datasets and 12 synthetic datasets with varying sizes and characteristics. Our study yields novel discoveries, offerings several useful principles to improve algorithms, thus designing an optimized method that outperforms the state-of-the-art algorithms. This effort also helped us pinpoint algorithms' working portions, along with rule-of-thumb recommendations about promising research directions and suitable algorithms for practitioners in different fields.


title: The Deep Radial Basis Function Data Descriptor (D-RBFDD) Network: A One-Class Neural Network for Anomaly Detection

abstract: Anomaly detection is a challenging problem in machine learning, and is even more so when dealing with instances that are captured in low-level, raw data representations without a well-behaved set of engineered features. The Radial Basis Function Data Descriptor (RBFDD) network is an effective solution for anomaly detection, however, it is a shallow model that does not deal effectively with raw data representations. This paper investigates approaches to modifying the RBFDD network to transform it into a deep one-class classifier suitable for anomaly detection problems with low-level raw data representations. We show that approaches based on transfer learning are not effective and our results suggest that this is because the latent representations learned by generic classification models are not suitable for anomaly detection. Instead we show that an approach that adds multiple convolutional layers before the RBF layer, to form a Deep Radial Basis Function Data Descriptor (D-RBFDD) network, is very effective. This is shown in a set of evaluation experiments using multiple anomaly detection scenarios created from publicly available image classification datasets, and a real-world anomaly detection dataset in which different types of arrhythmia are detected in electrocardiogram (ECG) data. Our experiments show that the D-RBFDD network out-performs state-of-the-art anomaly detection methods including the Deep Support Vector Data Descriptor (Deep SVDD), One-Class SVM, and Isolation Forest on the image datasets, and produces competitive results for the ECG dataset.


title: Further correcting pressure effects on SBE911 CTD-conductivity data from hadal depths

abstract: Hadal, more than 6000 m deep shipborne Sea-Bird Electronics SBE 911plus Conductivity Temperature Depth (CTD) data are obtained using two different systems in the vicinity of the Earths deepest point, in the Challenger Deep, Mariana Trench 14 years apart. Below 7000 m in very weakly density stratified waters, the salinity data from both sets show an artificial increase with depth of about 10-6 g kg-1 m-1 that is not covered by the SBE linear pressure correction to the conductivity data. With the aid of independent water sample data, salinity is corrected and an additional algorithm for the pressure correction on conductivity data is formulated. The corrected salinity data still weakly increase with depth, together with a decrease in temperature, which may point at an influx of dense modified Antarctic bottom water. The corrected density variations with depth are used in calculations of deep turbulence values.


title: Morphology of relaxed and merging galaxy clusters. Analytical models for monolithic Minkowski functionals

abstract: Galaxy clusters exhibit a rich morphology during the early and intermediate stages of mass assembly, especially beyond their boundary. A classification scheme based on shapefinders deduced from the Minkowski functionals is examined to fully account for the morphological diversity of galaxy clusters, including relaxed and merging clusters, clusters fed by filamentary structures, and cluster-pair bridges. These configurations are conveniently treated with idealised geometric models and analytical formulae, some of which are novel. Examples from CLASH and LC$^2$ clusters and observed cluster-pair bridges are discussed.


title: Placing LOFAR-detected quasars in CIV emission space: implications for winds, jets and star formation

abstract: We present an investigation of the low-frequency radio and ultraviolet properties of a sample of $\simeq$10,500 quasars from the Sloan Digital Sky Survey Data Release 14, observed as part of the first data release of the Low-Frequency-Array Two-metre Sky Survey. The quasars have redshifts $1.5 < z < 3.5$ and luminosities $44.6 < \log(L_{\text{bol}}/\text{erg s}^{-1}) < 47.2$. We employ ultraviolet spectral reconstructions based on an independent component analysis to parametrize the CIV$\lambda$1549-emission line that is used to infer the strength of accretion disc winds, and the HeII$\lambda$1640 line, an indicator of the soft X-ray flux. We find that radio-detected quasars are found in the same region of CIV blueshift versus equivalent-width space as radio-undetected quasars, but that the loudest, most luminous and largest radio sources exist preferentially at low CIV blueshifts. Additionally, the radio-detection fraction increases with blueshift whereas the radio-loud fraction decreases. In the radio-quiet population, we observe a range of HeII equivalent widths as well as a Baldwin effect with bolometric luminosity, whilst the radio-loud population has mostly strong HeII, consistent with a stronger soft X-ray flux. The presence of strong HeII is a necessary but not sufficient condition to detect radio-loud emission suggesting some degree of stochasticity in jet formation. Using energetic arguments and Monte Carlo simulations, we explore the plausibility of winds, compact jets and star formation as sources of the radio quiet emission, ruling out none. The existence of quasars with similar ultraviolet properties but differing radio properties suggests, perhaps, that the radio and ultraviolet emission is tracing activity occurring on different timescales.


title: Polyharmonic inequalities with nonlocal terms

abstract: We study the existence and non-existence of classical solutions for inequalities of type $$ \pm \Delta^m u \geq \big(\Psi(|x|)*u^p\big)u^q \quad\mbox{ in } {\mathbb R}^N (N\geq 1). $$ Here, $\Delta^m$ $(m\geq 1)$ is the polyharmonic operator, $p, q>0$ and $*$ denotes the convolution operator, where $\Psi>0$ is a continuous non-increasing function. We devise new methods to deduce that solutions of the above inequalities satisfy the poly-superharmonic property. This further allows us to obtain various Liouville type results. Our study is also extended to the case of systems of simultaneous inequalities.


title: CD2CR: Co-reference Resolution Across Documents and Domains

abstract: Cross-document co-reference resolution (CDCR) is the task of identifying and linking mentions to entities and concepts across many text documents. Current state-of-the-art models for this task assume that all documents are of the same type (e.g. news articles) or fall under the same theme. However, it is also desirable to perform CDCR across different domains (type or theme). A particular use case we focus on in this paper is the resolution of entities mentioned across scientific work and newspaper articles that discuss them. Identifying the same entities and corresponding concepts in both scientific articles and news can help scientists understand how their work is represented in mainstream media. We propose a new task and English language dataset for cross-document cross-domain co-reference resolution (CD$^2$CR). The task aims to identify links between entities across heterogeneous document types. We show that in this cross-domain, cross-document setting, existing CDCR models do not perform well and we provide a baseline model that outperforms current state-of-the-art CDCR models on CD$^2$CR. Our data set, annotation tool and guidelines as well as our model for cross-document cross-domain co-reference are all supplied as open access open source resources.


title: On foci of ellipses inscribed in cyclic polygons

abstract: Given a natural number $n\geq3$ and two points $a$ and $b$ in the unit disk $\mathbb D$ in the complex plane, it is known that there exists a unique elliptical disk having $a$ and $b$ as foci that can also be realized as the intersection of a collection of convex cyclic $n$-gons whose vertices fill the whole unit circle $\mathbb T$. What is less clear is how to find a convenient formula or expression for such an elliptical disk. Our main results reveal how orthogonal polynomials on the unit circle provide a useful tool for finding such a formula for some values of $n$. The main idea is to realize the elliptical disk as the numerical range of a matrix and the problem reduces to finding the eigenvalues of that matrix.


title: Optimizing $\alpha\mu$

abstract: $\alpha\mu$ is a search algorithm which repairs two defaults of Perfect Information Monte Carlo search: strategy fusion and non locality. In this paper we optimize $\alpha\mu$ for the game of Bridge, avoiding useless computations. The proposed optimizations are general and apply to other imperfect information turn-based games. We define multiple optimizations involving Pareto fronts, and show that these optimizations speed up the search. Some of these optimizations are cuts that stop the search at a node, while others keep track of which possible worlds have become redundant, avoiding unnecessary, costly evaluations. We also measure the benefits of parallelizing the double dummy searches at the leaves of the $\alpha\mu$ search tree.


title: Enhancing the Transformer Decoder with Transition-based Syntax

abstract: Notwithstanding recent advances, syntactic generalization remains a challenge for text decoders. While some studies showed gains from incorporating source-side symbolic syntactic and semantic structure into text generation Transformers, very little work addressed the decoding of such structure. We propose a general approach for tree decoding using a transition-based approach. Examining the challenging test case of incorporating Universal Dependencies syntax into machine translation, we present substantial improvements on test sets that focus on syntactic generalization, while presenting improved or comparable performance on standard MT benchmarks. Further qualitative analysis addresses cases where syntactic generalization in the vanilla Transformer decoder is inadequate and demonstrates the advantages afforded by integrating syntactic information.


title: Gas flow in Martian spider formation

abstract: Martian araneiform terrain, located in the Southern polar regions, consists of features with central pits and radial troughs which are thought to be associated with the solid state greenhouse effect under a CO$_{2}$ ice sheet. Sublimation at the base of this ice leads to gas buildup, fracturing of the ice and the flow of gas and entrained regolith out of vents and onto the surface. There are two possible pathways for the gas: through the gap between the ice slab and the underlying regolith, as proposed by Kieffer et al (2007), or through the pores of a permeable regolith layer, which would imply that regolith properties can control the spacing between adjacent spiders, as suggested by Hao et al. We test this hypothesis quantitatively in order to place constraints on the regolith properties. Based on previously estimated flow rates and thermophysical arguments, we suggest that there is insufficient depth of porous regolith to support the full gas flow through the regolith. By contrast, free gas flow through a regolith--ice gap is capable of supplying the likely flow rates for gap sizes on the order of a centimetre. This size of gap can be opened in the centre of a spider feature by gas pressure bending the overlying ice slab upwards, or by levitating it entirely as suggested in the original Kieffer et al (2007) model. Our calculations therefore support at least some of the gas flowing through a gap opened between the regolith and ice. Regolith properties most likely still play a role in the evolution of spider morphology, by regolith cohesion controlling the erosion of the central pit and troughs, for example.


title: Monitoring SEIRD model parameters using MEWMA for the COVID-19 pandemic with application to the State of Qatar

abstract: During the current COVID-19 pandemic, decision makers are tasked with implementing and evaluating strategies for both treatment and disease prevention. In order to make effective decisions, they need to simultaneously monitor various attributes of the pandemic such as transmission rate and infection rate for disease prevention, recovery rate which indicates treatment effectiveness as well as the mortality rate and others. This work presents a technique for monitoring the pandemic by employing an Susceptible, Exposed, Infected, Recovered Death model regularly estimated by an augmented particle Markov chain Monte Carlo scheme in which the posterior distribution samples are monitored via Multivariate Exponentially Weighted Average process monitoring. This is illustrated on the COVID-19 data for the State of Qatar.


title: Manipulation of an elongated internal Josephson junction of bosonic atoms

abstract: We report on the experimental characterization of a spatially extended Josephson junction realized with a coherently-coupled two-spin-component Bose-Einstein condensate. The cloud is trapped in an elongated potential such that that transverse spin excitations are frozen. We extract the non-linear parameter with three different manipulation protocols. The outcomes are all consistent with a simple local density approximation of the spin hydrodynamics, i.e., of the so-called Bose-Josephson junction equations. We also identify a method to produce states with a well defined uniform magnetization.


title: 5G Network Slicing for Wi-Fi Networks

abstract: Future networks will pave the way for a myriad of applications with different requirements and Wi-Fi will play an important role in local area networks. This is why network slicing is proposed by 5G networks, allowing to offer multiple logical networks tailored to the different user requirements, over a common infrastructure. However, this is not supported by current Wi-Fi networks. In this paper, we propose a standard-compliant network slicing approach for the radio access segment of Wi-Fi by defining multiple Service Set Identifiers (SSIDs) per Access Point (AP). We present two algorithms, one that assigns resources according to the requirements of slices in a static way, and another that dynamically configures the slices according to the network's conditions and relevant Key Performance Indicators (KPIs). The proposed algorithms were validated through extensive simulations, conducted in the ns-3 network simulator, and complemented by theoretical assessments. The obtained results reveal that the two proposed slicing approaches outperform today's Wi-Fi access technique, reaching lower error probability for bandwidth intensive slices and lower latency for time-critical slices. Simultaneously, the proposed approach is up to 32 times more energy efficient, when considering slices tailored for low-power and low-bandwidth devices, while increasing the overall spectrum efficiency.


title: Homogeneous multigrid for embedded discontinuous Galerkin methods

abstract: We introduce a homogeneous multigrid method in the sense that it uses the same embedded discontinuous Galerkin (EDG) discretization scheme for Poisson's equation on all levels. In particular, we use the injection operator developed in [LuRK2020] for HDG and prove optimal convergence of the method under the assumption of elliptic regularity. Numerical experiments underline our analytical findings.


title: Active engines: Thermodynamics moves forward

abstract: The study of thermal heat engines was pivotal to establishing the principles of equilibrium thermodynamics, with implications far wider than only engine optimization. For nonequilibrium systems, which by definition dissipate energy even at rest, how to best convert such dissipation into useful work is still largely an outstanding question, with similar potential to illuminate general physical principles. We review recent theoretical progress in studying the performances of engines operating with active matter, where particles are driven by individual self-propulsion. We distinguish two main classes, either autonomous engines exploiting a particle current, or cyclic engines applying periodic transformation to the system, and present the strategies put forward so far for optimization. We delineate the limitations of previous studies, and propose some futures perspectives, with a view to building a consistent thermodynamic framework far from equilibrium.


title: First principles investigation of thermal conductivity in Magnesium Selenide(MgSe) with different crystalline phase

abstract: Magnesium Selenide (MgSe) is a wide bandgap semiconductor with applications in optoelectronics and energy conversion technologies. Understanding thermal conductivity (k) of MgSe is critical for optimum design of thermal transport in these applications. In this work, we report the temperature and length dependence lattice thermal conductivity of magnesium selenide (MgSe) with different crystallographic phases; zincblende, rocksalt, wurtzite and nickel arsenic, using first principles computations. Computations reveal significant differences in thermal conductivity (k) of MgSe for different phases. The observed trend in thermal conductivities is : kNiAs < krocksalt < kwurtzite < kzincblende. Our first principles calculations show a room temperature low k of 4.5 Wm-1K-1 for the NiAs phase and a high k of 20.4 W/mK for wurtzite phase. These differences are explained in terms of a phonon band gap in the vibrational spectra of zincblende and wurtzite phases, which suppresses scattering of acoustic phonons, leading to high phonon lifetimes.


title: Defect $a$-Theorem and $a$-Maximization

abstract: Conformal defects describe the universal behaviors of a conformal field theory (CFT) in the presence of a boundary or more general impurities. The coupled critical system is characterized by new conformal anomalies which are analogous to, and generalize those of standalone CFTs. Here we study the conformal $a$- and $c$-anomalies of four dimensional defects in CFTs of general spacetime dimensions greater than four. We prove that under unitary defect renormalization group (RG) flows, the defect $a$-anomaly must decrease, thus establishing the defect $a$-theorem. For conformal defects preserving minimal supersymmetry, the full defect symmetry contains a distinguished $U(1)_R$ subgroup. We derive the anomaly multiplet relations that express the defect $a$- and $c$-anomalies in terms of the defect (mixed) 't Hooft anomalies for this $U(1)_R$ symmetry. Once the $U(1)_R$ symmetry is identified using the defect $a$-maximization principle which we prove, this enables a non-perturbative pathway to the conformal anomalies of strongly coupled defects. We illustrate our methods by discussing a number of examples including boundaries in five dimensions and codimension-two defects in six dimensions. We also comment on chiral algebra sectors of defect operator algebras and potential conformal collider bounds on defect anomalies.


title: A new communication paradigm: from bit accuracy to semantic fidelity

abstract: Wireless communication has achieved great success in the past several decades. The challenge is of improving bandwidth with limited spectrum and power consumption, which however has gradually become a bottleneck with evolution going on. The intrinsic problem is that communication is modeled as a message transportation from sender to receiver and pursues for an exact message replication in Shannon's information theory, which certainly leads to large bandwidth and power requirements with data explosion. However, the goal for communication among intelligent agents, entities with intelligence including humans, is to understand the meaning or semantics underlying data, not an accurate recovery of the transmitted messages. The separate first transmission and then understanding is a waste on bandwidth. In this article, we deploy semantics to solve the spectrum and power bottleneck and propose a first understanding and then transmission framework with high semantic fidelity. We first give a brief introduction of semantics covering the definition and properties to show the insights and scope of this paper. Then the proposed communication towards semantic fidelity framework is introduced, which takes the above mentioned properties into account to further improve efficiency. Specially, a semantic transformation is introduced to transform the input into semantic symbols. Different from the conventional transformations in signal processing area, for example discrete cosine transform, the transformation is with data loss, which is also the reason that the proposed framework can achieve large bandwidth saving with high semantic fidelity. Besides, we also discuss semantic noise and performance measurement. To evaluate the effectiveness, a case study of audio transmission is carried out. Finally, we discuss the typical applications and open challenges.


title: Qubits made by advanced semiconductor manufacturing

abstract: Full-scale quantum computers require the integration of millions of quantum bits. The promise of leveraging industrial semiconductor manufacturing to meet this requirement has fueled the pursuit of quantum computing in silicon quantum dots. However, to date, their fabrication has relied on electron-beam lithography and, with few exceptions, on academic style lift-off processes. Although these fabrication techniques offer process flexibility, they suffer from low yield and poor uniformity. An important question is whether the processing conditions developed in the manufacturing fab environment to enable high yield, throughput, and uniformity of transistors are suitable for quantum dot arrays and do not compromise the delicate qubit properties. Here, we demonstrate quantum dots hosted at a 28Si/28SiO2 interface, fabricated in a 300 mm semiconductor manufacturing facility using all-optical lithography and fully industrial processing. As a result, we achieve nanoscale gate patterns with remarkable homogeneity. The quantum dots are well-behaved in the multi-electron regime, with excellent tunnel barrier control, a crucial feature for fault-tolerant two-qubit gates. Single-spin qubit operation using magnetic resonance reveals relaxation times of over 1 s at 1 Tesla and coherence times of over 3 ms, matching the quality of silicon spin qubits reported to date. The feasibility of high-quality qubits made with fully-industrial techniques strongly enhances the prospects of a large-scale quantum computer


title: One dimensional martingale rearrangement couplings

abstract: We are interested in martingale rearrangement couplings. As introduced by Wiesel [37] in order to prove the stability of Martingale Optimal Transport problems, these are projections in adapted Wasserstein distance of couplings between two probability measures on the real line in the convex order onto the set of martingale couplings between these two marginals. In reason of the lack of relative compactness of the set of couplings with given marginals for the adapted Wasserstein topology, the existence of such a projection is not clear at all. Under a barycentre dispersion assumption on the original coupling which is in particular satisfied by the Hoeffding-Fr\'echet or comonotone coupling, Wiesel gives a clear algorithmic construction of a martingale rearrangement when the marginals are finitely supported and then gets rid of the finite support assumption by relying on a rather messy limiting procedure to overcome the lack of relative compactness. Here, we give a direct general construction of a martingale rearrangement coupling under the barycentre dispersion assumption. This martingale rearrangement is obtained from the original coupling by an approach similar to the construction we gave in [24] of the inverse transform martingale coupling, a member of a family of martingale couplings close to the Hoeffding-Fr\'echet coupling, but for a slightly different injection in the set of extended couplings introduced by Beiglb\"ock and Juillet [9] and which involve the uniform distribution on [0, 1] in addition to the two marginals. We last discuss the stability in adapted Wassertein distance of the inverse transform martingale coupling with respect to the marginal distributions.


title: On the number of critical points of stable solutions in bounded strip-like domains

abstract: In this paper we show that there exists a family of domains $\Omega_{\varepsilon}\subseteq\mathbb{R}^N$ with $N\ge2$, such that the $stable$ solution of the problem \[ \begin{cases} -\Delta u= g(u)&\hbox{in }\Omega_\varepsilon\\ u>0&\hbox{in }\Omega_\varepsilon\\ u=0&\hbox{on }\partial\Omega_\varepsilon \end{cases} \] admits $k$ critical points with $k\ge2$. Moreover the sets $\Omega_\varepsilon's$ are star-shaped and "close" to a strip as $\varepsilon\to0$. Next, if $g(u)\equiv1$ and $N\ge3$ we exhibit a family of domain $\Omega_\varepsilon's$ with $positive$ $mean$ $curvature$ and solutions $u_\varepsilon $ which have $k$ critical points with $k\ge2$. In this case, the domains $\Omega_\varepsilon $ turn out to be "close" to a cylinder as $\varepsilon\to0$.


title: Non-adaptive Combinatorial Quantitative Group Testing with Adversarially Perturbed Measurements

abstract: In this paper, combinatorial quantitative group testing (QGT) with noisy measurements is studied. The goal of QGT is to detect defective items from a data set of size $n$ with counting measurements, each of which counts the number of defects in a selected pool of items. While most literatures consider either probabilistic QGT with random noise or combinatorial QGT with noiseless measurements, our focus is on the combinatorial QGT with noisy measurements that might be adversarially perturbed by additive bounded noises. Since perfect detection is impossible, a partial detection criterion is adopted. With the adversarial noise being bounded by $d_n = \Theta(n^\delta)$ and the detection criterion being to ensure no more than $k_n = \Theta(n^\kappa)$ errors can be made, our goal is to characterize the fundamental limit on the number of measurement, termed \emph{pooling complexity}, as well as provide explicit construction of measurement plans with optimal pooling complexity and efficient decoding algorithms. We first show that the fundamental limit is $\frac{1}{1-2\delta}\frac{n}{\log n}$ to within a constant factor not depending on $(n,\kappa,\delta)$ for the non-adaptive setting when $0<2\delta\leq \kappa <1$, sharpening the previous result by Chen and Wang [2]. We also provide an explicit construction of a non-adaptive deterministic measurement plan with $\frac{1}{1-2\delta}\frac{n}{\log_{2} n}$ pooling complexity up to a constant factor, matching the fundamental limit, with decoding complexity being $o(n^{1+\rho})$ for all $\rho > 0$, nearly linear in $n$, the size of the data set.


title: Energies and widths of Efimov states in the three-boson continuum

abstract: Three-boson Efimov physics is well known in the bound-state regime, but far less in the three-particle continuum at negative two-particle scattering length where Efimov states evolve into resonances. They are studied solving rigorous three-particle scattering equations for transition operators in the momentum space. The dependence of the three-boson resonance energy and width on the two-boson scattering length is studied with several force models. The universal limit is determined numerically considering highly excited states; simple parametrizations for the resonance energy and width in terms of the scattering length are established. Decreasing the attraction, the resonances rise not much above the threshold but broaden rapidly and become physically unobservable, evolving into subthreshold resonances. Finite-range effects are studied and related to those in the bound-state regime.


title: Detecting and describing ramification for structured ring spectra

abstract: Ramification for commutative ring spectra can be detected by relative topological Hochschild homology and by topological Andr\'e-Quillen homology. In the classical algebraic context it is important to distinguish between tame and wild ramification. Noether's theorem characterizes tame ramification in terms of a normal basis and tame ramification can also be detected via the surjectivity of the trace map. We transfer the latter fact to ring spectra and use the Tate cohomology spectrum to detect wild ramification in the context of commutative ring spectra. We study ramification in examples in the context of topological K-theory and topological modular forms.


title: Randomising Realisability

abstract: We consider a randomised version of Kleene's realisability interpretation of intuitionistic arithmetic in which computability is replaced with randomised computability with positive probability. In particular, we show that (i) the set of randomly realisable statements is closed under intuitionistic first-order logic, but (ii) different from the set of realisable statements, that (iii) "realisability with probability 1" is the same as realisability and (iv) that the axioms of bounded Heyting's arithmetic are randomly realisable, but some instances of the full induction scheme fail to be randomly realisable.


title: Optimal control for interacting particle systems driven by neural networks

abstract: We propose a neural network approach to model general interaction dynamics and an adjoint based stochastic gradient descent algorithm to calibrate its parameters. The parameter calibration problem is considered as optimal control problem that is investigated from a theoretical and numerical point of view. We prove the existence of optimal controls, derive the corresponding first order optimality system and formulate a stochastic gradient descent algorithm to identify parameters for given data sets. To validate the approach we use real data sets from traffic and crowd dynamics to fit the parameters. The results are compared to forces corresponding to well-known interaction models such as the Lighthill-Whitham-Richards model for traffic and the social force model for crowd motion.


title: Doping isolated one-dimensional antiferro-magnetic semiconductor Vanadium tetrasulfide ($VS_4$) nanowires with carriers induces half-metallicity

abstract: Quasi one-dimensional (1D) vanadium tetrasulfide ($VS_4$) nanowires (NWs) are synthetic semiconductors which combine with each other through Van der Waals interactions to form bulk phases. However, the properties of these individual nanowires remain unknown. Nevertheless, our calculations of their stability indicate that $VS_4$) NWs can be separated from their bulk structures. Accordingly, we theoretically investigated the geometrical, electronic, and magnetic properties of bulk phase and isolated $VS_4$ NWs. Our results indicate that both bulk phase and isolated $VS_4$ NWs are semiconductors with band gaps of 2.24 and 2.64 eV, respectively, and that they prefer the antiferromagnetic (AFM) ground state based on DFT calculations. These calculations also suggested that isolated $VS_4$ NWs show half-metallic antiferromagnetism upon electron and hole doping because carrier doping splits the spin degeneracy to induce local spin polarisation. As a result, spin polarisation currents in isolated $VS_4$ NWs can be manipulated with locally applied gate voltage. Therefore, these 1D AFM materials have a high potential for advancing both fundamental research and spintronic applications because they are more resistant to magnetic perturbation than their 1D ferromagnetic counterparts.

categories: cond-mat.mtrl-sci cond-mat.str-el physics.chem-ph physics.comp-ph quant-ph


title: Aspects of Quantum Cosmology

abstract: In this thesis, we try to resolve the alleged problem of non-unitarity for various anisotropic cosmological models. Using Wheeler-DeWitt formulation, we quantized the anisotropic models with variable spatial curvature, namely Bianchi II and Bianchi VI. We showed that Hamiltonian of respective models admits self-adjoint extension, thus unitary evolution. We further extended the unitary evolution for higher dimensional anisotropic cosmological models. We also showed that unitarity of the model preserves the Noether symmetry but loses the scale invariance. In later part of this thesis, we showed the equivalence of Jordan and Einstein frames at the quantum level for the flat FRW model. Obtained expressions for wave packet matched exactly in both the frames indicating the equivalence of frames. We also showed that equivalence holds true for various anisotropic quantum cosmological models, i.e., Bianchi I, V, X, LRS Bianchi-I and Kantowski-Sachs models.


title: Cosmology with LIGO/Virgo dark sirens: Hubble parameter and modified gravitational wave propagation

abstract: We present a detailed study of the methodology for correlating `dark sirens' (compact binaries coalescences without electromagnetic counterpart) with galaxy catalogs. We propose several improvements on the current state of the art, and we apply them to the GWTC-2 catalog of LIGO/Virgo gravitational wave (GW) detections, and the GLADE galaxy catalog, performing a detailed study of several sources of systematic errors that, with the expected increase in statistics, will eventually become the dominant limitation. We provide a measurement of $H_0$ from dark sirens alone, finding as the best result $H_0=67.3^{+27.6}_{-17.9}\,\,{\rm km}\, {\rm s}^{-1}\, {\rm Mpc}^{-1}$ ($68\%$ c.l.) which is, currently, the most stringent constraint obtained using only dark sirens. Combining dark sirens with the counterpart for GW170817 we find $H_0= 72.2^{+13.9}_{-7.5} \,{\rm km}\, {\rm s}^{-1}\, {\rm Mpc}^{-1}$. We also study modified GW propagation, which is a smoking gun of dark energy and modifications of gravity at cosmological scales, and we show that current observations of dark sirens already start to provide interesting limits. From dark sirens alone, our best result for the parameter $\Xi_0$ that measures deviations from GR (with $\Xi_0=1$ in GR) is $\Xi_0=2.1^{+3.2}_{-1.2}$. We finally discuss limits on modified GW propagation under the tentative identification of the flare ZTF19abanrhr as the electromagnetic counterpart of the binary black hole coalescence GW190521, in which case our most stringent result is $\Xi_0=1.8^{+0.9}_{-0.6}$. We release the publicly available code $\tt{DarkSirensStat}$, which is available under open source license at \url{https://github.com/CosmoStatGW/DarkSirensStat}.


title: Extending the application of the LCSR method to low momenta using QCD renormalization-group summation. Theory and phenomenology

abstract: We show that using renormalization-group summation to generate the QCD radiative corrections to the $\pi-\gamma$ transition form factor, calculated with lightcone sum rules (LCSR), renders the strong coupling free of Landau singularities while preserving the QCD form-factor asymptotics. This enables a reliable applicability of the LCSR method to momenta well below 1 GeV$^2$. This way, one can use the new preliminary BESIII data with unprecedented accuracy below 1.5 GeV$^2$ to fine tune the prefactor of the twist-six contribution. Using a combined fit to all available data below 3.1 GeV$^2$, we are able to determine all nonperturbative scale parameters and a few Gegenbauer coefficients entering the calculation of the form factor. Employing these ingredients, we determine a pion distribution amplitude with conformal coefficients $(b_2,b_4)$ that agree at the $1\sigma$ level with the data for $Q^2 \leqslant 3.1$ GeV$^2$ and fulfill at the same time the lattice constraints on $b_2$ at N$^3$LO together with the constraints from QCD sum rules with nonlocal condensates.The form-factor prediction calculated herewith reproduces the data below 1 GeV$^2$ significantly better than analogous predictions based on a fixed-order power-series expansion in the strong coupling constant.


title: On the relation of powerflow and Telegrapher's equations: continuous and numerical Lyapunov stability

abstract: In this contribution we analyze the exponential stability of power networks modeled with the Telegrapher's equations as a system of balance laws on the edges. We show the equivalence of periodic solutions of these Telegrapher's equations and solutions to the well-established powerflow equations. In addition we provide a second-order accurate numerical scheme to integrate the powerflow equations and show (up to the boundary conditions) Lyapunov stability of the scheme.


title: Fluctuations of order parameter in an $SU(N_c)$ effective model

abstract: We investigate features of the deconfinement phase transition in an $SU(N_c)$ gauge theory as revealed by fluctuations of the order parameter. The tool of choice is an effective model built from one-loop expressions of the field determinants of gluon and ghost, in the presence of a Polyakov loop background field. We show that the curvature masses associated with the Cartan angles, which serve as a proxy to study the $A_0$-gluon screening mass, show a characteristic dip in the vicinity of the transition temperature. The strength of the observables, which reflects a competition between the confining and the deconfining forces, is sensitive to assumptions of dynamics, thus provides an interesting link between the $Z(N_c)$ vacuum structure and the properties of gluon and ghost propagators.


title: Weil polynomials of abelian varieties over finite fields with many rational points

abstract: We consider the finite set of isogeny classes of $g$-dimensional abelian varieties defined over the finite field $\mathbb{F}_q$ with endomorphism algebra being a field. We prove that the class within this set whose varieties have maximal number of rational points is unique, for any prime even power $q$ big enough and verifying mild conditions. We describe its Weil polynomial and we prove that the class is ordinary and cyclic outside the primes dividing an integer that only depends on $g$. In dimension $3$, we prove that the class is ordinary and cyclic and give explicitly its Weil polynomial, for any prime even power $q$.


title: Large area-constrained Willmore surfaces in asymptotically Schwarzschild 3-manifolds

abstract: We apply the method of Lyapunov-Schmidt reduction to study large area-constrained Willmore surfaces in Riemannian 3-manifolds asymptotic to Schwarzschild. In particular, we prove that the end of such a manifold is foliated by distinguished area-constrained Willmore spheres. The leaves are the unique area-constrained Willmore spheres with large area, non-negative Hawking mass, and distance to the center of the manifold at least a small multiple of the area radius. Unlike previous related work, we only require that the scalar curvature satisfies mild asymptotic conditions. We also give explicit examples to show that these conditions on the scalar curvature are necessary.


title: DOA Estimation for Transmit Beamspace MIMO Radar via Tensor Decomposition with Vandermonde Factor Matrix

abstract: We address the problem of tensor decomposition in application to direction-of-arrival (DOA) estimation for transmit beamspace (TB) multiple-input multiple-output (MIMO) radar. A general 4-order tensor model that enables computationally efficient DOA estimation is designed. Whereas other tensor decomposition-based methods treat all factor matrices as arbitrary, the essence of the proposed DOA estimation method is to fully exploit the Vandermonde structure of the factor matrices to take advantage of the shift-invariance between and within different subarrays. Specifically, the received signal of TB MIMO radar is expressed as a 4-order tensor. Depending on the target Doppler shifts, the constructed tensor is reshaped into two distinct 3-order tensors. A computationally efficient tensor decomposition method is proposed to decompose the Vandermonde factor matrices. The generators of the Vandermonde factor matrices are computed to estimate the phase rotations between subarrays, which can be utilized as a look-up table for finding target DOA. It is further shown that our proposed method can be used in a more general scenario where the subarray structures can be arbitrary but identical. The proposed DOA estimation method requires no prior information about the tensor rank and is guaranteed to achieve precise decomposition result. Simulation results illustrate the performance improvement of the proposed DOA estimation method as compared to conventional DOA estimation techniques for TB MIMO Radar.


title: The Census of Exoplanets in Visual Binaries: population trends from a volume-limited Gaia DR2 and literature search

abstract: We present an extensive search in the literature and Gaia DR2 for visual co-moving binary companions to stars hosting exoplanets and brown dwarfs within 200 pc. We found 218 planet hosts out of 938 to be part of multiple-star systems, with 10 newly discovered binaries and 2 new tertiary stellar components. This represents an overall raw multiplicity rate of 23.2$\pm$1.6% for hosts to exoplanets across all spectral types, with multi-planet systems found to have a lower duplicity frequency at the 2.2$\sigma$ level. We found that more massive hosts are more often in binary configurations, and that planet-bearing stars in multiple systems are predominantly the most massive component of stellar binaries. Investigations of multiplicity as a function of planet mass and separation revealed that giant planets with masses >0.1 MJup are more frequently seen in stellar binaries than small sub-Jovian planets with a 3.6$\sigma$ difference, a trend enhanced for the most massive (>7 MJup) short-period (<0.5 AU) planets and brown dwarf companions. Binarity was found to have no significant effect on the demographics of low-mass planets (<0.1 MJup) or warm and cool gas giants (>0.5 AU). While stellar companion mass appears to have no impact on planet properties, binary separation seems to be an important factor in the resulting structure of planetary systems. Stellar companions on separations <1000 AU can play a role in the formation or evolution of massive close-in planets, while planets in wider binaries show similar properties to planets orbiting single stars. Finally, numerous stellar companions on separations <1-3 arcsec likely remain undiscovered to this date. Continuous efforts to complete our knowledge of stellar multiplicity on separations of tens to hundreds of AU are essential to confirm the reported trends and further our understanding of the roles played by multiplicity on exoplanets.


title: Path integral contour deformations for observables in $SU(N)$ gauge theory

abstract: Path integral contour deformations have been shown to mitigate sign and signal-to-noise problems associated with phase fluctuations in lattice field theories. We define a family of contour deformations applicable to $SU(N)$ lattice gauge theory that can reduce sign and signal-to-noise problems associated with complex actions and complex observables. For observables, these contours can be used to define deformed observables with identical expectation value but different variance. As a proof-of-principle, we apply machine learning techniques to optimize the deformed observables associated with Wilson loops in two dimensional $SU(2)$ and $SU(3)$ gauge theory. We study loops consisting of up to 64 plaquettes and achieve variance reduction of up to 4 orders of magnitude.


title: Characteristic measures for language stable subshifts

abstract: We consider the problem of when a symbolic dynamical system supports a Borel probability measure that is invariant under every element of its automorphism group. It follows readily from a classical result of Parry that the full shift on finitely many symbols, and more generally any mixing subshift of finite type, supports such a measure. Frisch and Tamuz recently dubbed such measures characteristic, and further showed that every zero entropy subshift has a characteristic measure. While it remains open if every subshift over a finite alphabet has a characteristic measure, we define a new class of shifts, which we call language stable subshifts, and show that these shifts have characteristic measures. This is a large class that is generic in several senses and contains numerous positive entropy examples.


title: Radiative Poincare type eon and its follower

abstract: We consider two consecutive eons $\hat{M}$ and $\check{M}$ from Penrose's Conformal Cyclic Cosmology and study how the matter content of the past eon ($\hat{M}$) determines the matter content of the present eon ($\check{M}$) by means of the reciprocity hypothesis. We assume that the only matter content in the final stages of the past eon is a spherical wave described by Einstein's equations with the pure radiation energy momentum tensor $$\hat{T}^{ij} = \hat{\Phi}K^iK^j, \quad \hat{g}_{ij} K^iK^j = 0,$$ and with cosmological constant $\hat{\Lambda}$ . We solve these Einstein's equations associating to $\hat{M}$ the metric $\hat{g}=t^{-2}\big(-d t^2+h_t\big)$, which is a Lorentzian analog of the Poincar\'e-Einstein metric known from the theory of conformal invariants. The solution is obtained under the assumption that the 3-dimensional conformal structure $[h]$ on the $\mathscr{I}^+$ of $\hat{M}$ is flat, that the metric $\hat{g}$ admits a power series expansion in the time variable $t$, and that $h_0\in [h]$. Such solution depends on one real arbitrary function of the radial variable $r$. Applying the reciprocal hypothesis, $\hat{g}\to \check{g}=t^4\hat{g}$, we show that the new eon $(\check{M},\check{g})$ created from the one containing a single spherical wave, is filled at its initial state with three types of radiation: (i) the damped spherical wave which continues its life from the previous eon, (ii) the in-going spherical wave obtained as a result of a collision of the wave from the past eon with the Bang hypersurface and (3) randomly scattered waves that could be interpreted as perfect fluid with the energy density $\check{\rho}$ and the isotropic pressure $\check{p}$ such that $\check{p}=\tfrac13\check{\rho}$.


title: Covering a compact space by fixed-radius or growing random balls

abstract: Simple random coverage models, well studied in Euclidean space, can also be defined on a general compact metric space. By analogy with the geometric models, and with the discrete coupon collector's problem and with cover times for finite Markov chains, one expects a "weak concentration" bound for the distribution of the cover time to hold under minimal assumptions. We give two such results, one for random fixed-radius balls and the other for sequentially arriving randomly-centered and deterministically growing balls. Each is in fact a simple application of a different more general bound, the former concerning coverage by i.i.d. random sets with arbitrary distribution, and the latter concerning hitting times for Markov chains with a strong monotonicity property. The growth model seems generally more tractable, and we record some basic results and open problems for that model.


title: NLPBK at VLSP-2020 shared task: Compose transformer pretrained models for Reliable Intelligence Identification on Social network

abstract: This paper describes our method for tuning a transformer-based pretrained model, to adaptation with Reliable Intelligence Identification on Vietnamese SNSs problem. We also proposed a model that combines bert-base pretrained models with some metadata features, such as the number of comments, number of likes, images of SNS documents,... to improved results for VLSP shared task: Reliable Intelligence Identification on Vietnamese SNSs. With appropriate training techniques, our model is able to achieve 0.9392 ROC-AUC on public test set and the final version settles at top 2 ROC-AUC (0.9513) on private test set.