title: Optimal tail exponents in general last passage percolation via bootstrapping & geodesic geometry

abstract: We consider last passage percolation on $\mathbb Z^2$ with general weight distributions, which is expected to be a member of the Kardar-Parisi-Zhang (KPZ) universality class. In this model, an oriented path between given endpoints which maximizes the sum of the i.i.d. weight variables associated to its vertices is called a geodesic. Under natural conditions of curvature of the limiting geodesic weight profile and stretched exponential decay of both tails of the point-to-point weight, we use geometric arguments to upgrade the assumptions to prove optimal upper and lower tail behavior with the exponents of $3/2$ and $3$ for the weight of the geodesic from $(1,1)$ to $(r,r)$ for all large finite $r$. The proofs merge several ideas, including the well known super-additivity property of last passage values, concentration of measure behavior for sums of stretched exponential random variables, and geometric insights coming from the study of geodesics and more general objects called geodesic watermelons. Previously such optimal behavior was only known for exactly solvable models, with proofs relying on hard analysis of formulas from integrable probability, which are unavailable in the general setting. Our results illustrate a facet of universality in a class of KPZ stochastic growth models and provide a geometric explanation of the upper and lower tail exponents of the GUE Tracy-Widom distribution, the conjectured one point scaling limit of such models. The key arguments are based on an observation of general interest that super-additivity allows a natural iterative bootstrapping procedure to obtain improved tail estimates.


title: Universality and least singular values of random matrix products: a simplified approach

abstract: In this note, we show how to provide sharp control on the least singular value of a certain translated linearization matrix arising in the study of the local universality of products of independent random matrices. This problem was first considered in a recent work of Koppel, O'Rourke, and Vu, and compared to their work, our proof is substantially simpler and established in much greater generality . In particular, we only assume that the entries of the ensemble are centered, and have second and fourth moments uniformly bounded away from $0$ and infinity, whereas previous work assumed a uniform subgaussian decay condition and that the entries within each factor of the product are identically distributed. A consequence of our least singular value bound is that the four moment matching universality results for the products of independent random matrices, recently obtained by Koppel, O'Rourke, and Vu, hold under much weaker hypotheses. Our proof technique is also of independent interest in the study of structured sparse matrices.


title: An Emergency Medical Services Clinical Audit System driven by Named Entity Recognition from Deep Learning

abstract: Clinical performance audits are routinely performed in Emergency Medical Services (EMS) to ensure adherence to treatment protocols, to identify individual areas of weakness for remediation, and to discover systemic deficiencies to guide the development of the training syllabus. At present, these audits are performed by manual chart review which is time-consuming and laborious. In this paper, we present an automatic audit system based on both the structured and unstructured ambulance case records and clinical notes with a deep neural network-based named entities recognition model. The dataset used in this study contained 58,898 unlabelled ambulance incidents encountered by the Singapore Civil Defence Force from 1st April 2019 to 30th June 2019. A weakly-supervised training approach was adopted to label the sentences. Later on, we trained three different models to perform the NER task. All three models achieve F1 scores of around 0.981 under entity type matching evaluation and around 0.976 under strict evaluation, while the BiLSTM-CRF model is 1~2 orders of magnitude lighter and faster than our BERT-based models. Overall, our approach yielded a named entity recognition model that could reliably identify clinical entities from unstructured paramedic free-text reports. Our proposed system may improve the efficiency of clinical performance audits and can also help with EMS database research.


title: Monte Carlo estimation of the probability of causal contacts between communicating civilisations

abstract: In this work we address the problem of estimating the probabilities of causal contacts between civilisations in the Galaxy. We make no assumptions regarding the origin and evolution of intelligent life. We simply assume a network of causally connected nodes. These nodes refer somehow to intelligent agents with the capacity of receiving and emitting electromagnetic signals. Here we present a three-parametric statistical Monte Carlo model of the network in a simplified sketch of the Galaxy. Our goal, using Monte Carlo simulations, is to explore the parameter space and analyse the probabilities of causal contacts. We find that the odds to make a contact over decades of monitoring are low for most models, except for those of a galaxy densely populated with long-standing civilisations. We also find that the probability of causal contacts increases with the lifetime of civilisations more significantly than with the number of active civilisations. We show that the maximum probability of making a contact occurs when a civilisation discovers the required communication technology.


title: Spin shuttling in a silicon double quantum dot

abstract: The transport of quantum information between different nodes of a quantum device is among the challenging functionalities of a quantum processor. In the context of spin qubits, this requirement can be met by coherent electron spin shuttling between semiconductor quantum dots. Here we theoretically study a minimal version of spin shuttling between two quantum dots. To this end, we analyze the dynamics of an electron during a detuning sweep in a silicon double quantum dot (DQD) occupied by one electron. Possibilities and limitations of spin transport are investigated. Spin-orbit interaction and the Zeeman effect in an inhomogeneous magnetic field play an important role for spin shuttling and are included in our model. Interactions that couple the position, spin and valley degrees of freedom open a number of avoided crossings in the spectrum allowing for diabatic transitions and interfering paths. The outcomes of single and repeated spin shuttling protocols are explored by means of numerical simulations and an approximate analytical model based on the solution of the Landau--Zener problem. We find that a spin infidelity as low as $1-F_s\lesssim 0.002$ with a relatively fast level velocity of $\alpha = 600\, {\mu}$eV/ns is feasible for optimal choices of parameters or by making use of constructive interference.


title: X-vectors: New Quantitative Biomarkers for Early Parkinson's Disease Detection from Speech

abstract: Many articles have used voice analysis to detect Parkinson's disease (PD), but few have focused on the early stages of the disease and the gender effect. In this article, we have adapted the latest speaker recognition system, called x-vectors, in order to detect an early stage of PD from voice analysis. X-vectors are embeddings extracted from a deep neural network, which provide robust speaker representations and improve speaker recognition when large amounts of training data are used. Our goal was to assess whether, in the context of early PD detection, this technique would outperform the more standard classifier MFCC-GMM (Mel-Frequency Cepstral Coefficients - Gaussian Mixture Model) and, if so, under which conditions. We recorded 221 French speakers (including recently diagnosed PD subjects and healthy controls) with a high-quality microphone and with their own telephone. Men and women were analyzed separately in order to have more precise models and to assess a possible gender effect. Several experimental and methodological aspects were tested in order to analyze their impacts on classification performance. We assessed the impact of audio segment duration, data augmentation, type of dataset used for the neural network training, kind of speech tasks, and back-end analyses. X-vectors technique provided better classification performances than MFCC-GMM for text-independent tasks, and seemed to be particularly suited for the early detection of PD in women (7 to 15% improvement). This result was observed for both recording types (high-quality microphone and telephone).


title: Monitoring Browsing Behavior of Customers in Retail Stores via RFID Imaging

abstract: In this paper, we propose to use commercial off-the-shelf (COTS) monostatic RFID devices (i.e. which use a single antenna at a time for both transmitting and receiving RFID signals to and from the tags) to monitor browsing activity of customers in front of display items in places such as retail stores. To this end, we propose TagSee, a multi-person imaging system based on monostatic RFID imaging. TagSee is based on the insight that when customers are browsing the items on a shelf, they stand between the tags deployed along the boundaries of the shelf and the reader, which changes the multi-paths that the RFID signals travel along, and both the RSS and phase values of the RFID signals that the reader receives change. Based on these variations observed by the reader, TagSee constructs a coarse grained image of the customers. Afterwards, TagSee identifies the items that are being browsed by the customers by analyzing the constructed images. The key novelty of this paper is on achieving browsing behavior monitoring of multiple customers in front of display items by constructing coarse grained images via robust, analytical model-driven deep learning based, RFID imaging. To achieve this, we first mathematically formulate the problem of imaging humans using monostatic RFID devices and derive an approximate analytical imaging model that correlates the variations caused by human obstructions in the RFID signals. Based on this model, we then develop a deep learning framework to robustly image customers with high accuracy. We implement TagSee scheme using a Impinj Speedway R420 reader and SMARTRAC DogBone RFID tags. TagSee can achieve a TPR of more than ~90% and a FPR of less than ~10% in multi-person scenarios using training data from just 3-4 users.


title: A Sylvester-Gallai result for concurrent lines in the complex plane

abstract: We show that if a set of points in $\mathbb{C}^2$ lies on a family of $m$ concurrent lines, and if one of those lines contains more than $m-2$ points, then there is a line passing through exactly two points of the set. The bound $m-2$ in our result is optimal. Our main theorem resolves a conjecture of Frank de Zeeuw, and generalizes a result of Kelly and Nwankpa.


title: WLCG Authorisation from X.509 to Tokens

abstract: The WLCG Authorisation Working Group was formed in July 2017 with the objective to understand and meet the needs of a future-looking Authentication and Authorisation Infrastructure (AAI) for WLCG experiments. Much has changed since the early 2000s when X.509 certificates presented the most suitable choice for authorisation within the grid; progress in token based authorisation and identity federation has provided an interesting alternative with notable advantages in usability and compatibility with external (commercial) partners. The need for interoperability in this new model is paramount as infrastructures and research communities become increasingly interdependent. Over the past two years, the working group has made significant steps towards identifying a system to meet the technical needs highlighted by the community during staged requirements gathering activities. Enhancement work has been possible thanks to externally funded projects, allowing existing AAI solutions to be adapted to our needs. A cornerstone of the infrastructure is the reliance on a common token schema in line with evolving standards and best practices, allowing for maximum compatibility and easy cooperation with peer infrastructures and services. We present the work of the group and an analysis of the anticipated changes in authorisation model by moving from X.509 to token based authorisation. A concrete example of token integration in Rucio is presented.


title: The Disruptive Potential of FinTechs in the German Consumer Finance Sector -- A Blue Ocean Scenario?

abstract: Using the Blue Ocean strategy as an underlying strategic element, this dissertation analyses whether this statement holds true for the rather more conservative banking sector in Germany and the overall risk-averse mindset of the German population by using both quantitative and qualitative elements to assess the current market share of FinTech companies in the Federal Republic, as well as grasp a potential outlook on the future development. A literature review of the strategic framework, the banking sector in Germany and the FinTech sector is carried out accordingly. Subsequently, a formal verification as to whether the banking sector is a "Red Ocean" and if the FinTech industry is a "Blue Ocean" is carried out using case studies from both sectors. A quantitative analysis of banking customers in Germany and their use of FinTech companies is conducted by way of an online survey, with selected participants being interviewed thereafter to gain additional insights. Data evaluation is made using pivotal analysis and cross tabulation of survey results and interview findings, along with extrapolating indicators to reflect the full size of the German banking sector and transactional volumes per segment are provided and examined for signs of elevated FinTech use in the market. Despite several limitations from where ideas for future research are derived, the outcomes provide an overview of existing trends for the use of FinTechs in Germany. The main finding is that with the notable exception of payment solutions, Germans do not have a high affinity towards FinTechs, rendering them a byproduct of the financial service industry, with limited market share and low potential.


title: A Decade of Social Bot Detection

abstract: On the morning of November 9th 2016, the world woke up to the shocking outcome of the US Presidential elections: Donald Trump was the 45th President of the United States of America. An unexpected event that still has tremendous consequences all over the world. Today, we know that a minority of social bots, automated social media accounts mimicking humans, played a central role in spreading divisive messages and disinformation, possibly contributing to Trump's victory. In the aftermath of the 2016 US elections, the world started to realize the gravity of widespread deception in social media. Following Trump's exploit, we witnessed to the emergence of a strident dissonance between the multitude of efforts for detecting and removing bots, and the increasing effects that these malicious actors seem to have on our societies. This paradox opens a burning question: What strategies should we enforce in order to stop this social bot pandemic? In these times, during the run-up to the 2020 US elections, the question appears as more crucial than ever. What stroke social, political and economic analysts after 2016, deception and automation, has been however a matter of study for computer scientists since at least 2010. In this work, we briefly survey the first decade of research in social bot detection. Via a longitudinal analysis, we discuss the main trends of research in the fight against bots, the major results that were achieved, and the factors that make this never-ending battle so challenging. Capitalizing on lessons learned from our extensive analysis, we suggest possible innovations that could give us the upper hand against deception and manipulation. Studying a decade of endeavours at social bot detection can also inform strategies for detecting and mitigating the effects of other, more recent, forms of online deception, such as strategic information operations and political trolls.


title: Engines of Parsimony: Part I; Limits on Computational Rates in Physical Systems

abstract: We analyse the maximum achievable rate of sustained computation for a given convex region of three dimensional space subject to geometric constraints on power delivery and heat dissipation. We find a universal upper bound across both quantum and classical systems, scaling as $\sqrt{AV}$ where $V$ is the region volume and $A$ its area. Attaining this bound requires the use of reversible computation, else it falls to scaling as $A$. By specialising our analysis to the case of Brownian classical systems, we also give a semi-constructive proof suggestive of an implementation attaining these bounds by means of molecular computers. For regions of astronomical size, general relativistic effects become significant and more restrictive bounds proportional to $\sqrt{AR}$ and $R$ are found to apply, where $R$ is its radius. It is also shown that inhomogeneity in computational structure is generally to be avoided. These results are depicted graphically in Figure 1.


title: Data Science: A Comprehensive Overview

abstract: The twenty-first century has ushered in the age of big data and data economy, in which data DNA, which carries important knowledge, insights and potential, has become an intrinsic constituent of all data-based organisms. An appropriate understanding of data DNA and its organisms relies on the new field of data science and its keystone, analytics. Although it is widely debated whether big data is only hype and buzz, and data science is still in a very early phase, significant challenges and opportunities are emerging or have been inspired by the research, innovation, business, profession, and education of data science. This paper provides a comprehensive survey and tutorial of the fundamental aspects of data science: the evolution from data analysis to data science, the data science concepts, a big picture of the era of data science, the major challenges and directions in data innovation, the nature of data analytics, new industrialization and service opportunities in the data economy, the profession and competency of data education, and the future of data science. This article is the first in the field to draw a comprehensive big picture, in addition to offering rich observations, lessons and thinking about data science and analytics.


title: Acoustic Bandgaps of Phononic Penrose and Quasicrystals

abstract: Using 3D printing we manufactured two rodlike phononic crystals. Viewed from the top, one is a Penrose tile and the second is a quasicrystal. We explored the acoustic properties and band gaps for both in the frequency range of 5kHz to 25kHz.


title: Backdoor attacks and defenses in feature-partitioned collaborative learning

abstract: Since there are multiple parties in collaborative learning, malicious parties might manipulate the learning process for their own purposes through backdoor attacks. However, most of existing works only consider the federated learning scenario where data are partitioned by samples. The feature-partitioned learning can be another important scenario since in many real world applications, features are often distributed across different parties. Attacks and defenses in such scenario are especially challenging when the attackers have no labels and the defenders are not able to access the data and model parameters of other participants. In this paper, we show that even parties with no access to labels can successfully inject backdoor attacks, achieving high accuracy on both main and backdoor tasks. Next, we introduce several defense techniques, demonstrating that the backdoor can be successfully blocked by a combination of these techniques without hurting main task accuracy. To the best of our knowledge, this is the first systematical study to deal with backdoor attacks in the feature-partitioned collaborative learning framework.


title: Structure Probing Neural Network Deflation

abstract: Deep learning is a powerful tool for solving nonlinear differential equations, but usually, only the solution corresponding to the flattest local minimizer can be found due to the implicit regularization of stochastic gradient descent. This paper proposes a network-based structure probing deflation method to make deep learning capable of identifying multiple solutions that are ubiquitous and important in nonlinear physical models. First, we introduce deflation operators built with known solutions to make known solutions no longer local minimizers of the optimization energy landscape. Second, to facilitate the convergence to the desired local minimizer, a structure probing technique is proposed to obtain an initial guess close to the desired local minimizer. Together with neural network structures carefully designed in this paper, the new regularized optimization can converge to new solutions efficiently. Due to the mesh-free nature of deep learning, the proposed method is capable of solving high-dimensional problems on complicated domains with multiple solutions, while existing methods focus on merely one or two-dimensional regular domains and are more expensive in operation counts. Numerical experiments also demonstrate that the proposed method could find more solutions than exiting methods.


title: On the Berkovich double residue fields and birational models

abstract: For each point of Berkovich analytic spaces, we can consider the residue field in the similar way as we do it for each point of algebraic varieties. This Berkovich residue field is a valuation field in the algebraic sense. Then we can take its residue field as a valuation field. This is called the (Berkovich) double residue field. In this paper, we mainly consider valuations on varieties. As a result, we identify their double residue field as the union of the residue fields of their center in birational models. In addition, when these valuations are `monomial valuations', we compute their double residue field concretely.


title: P-Values in a Post-Truth World

abstract: The role of statisticians in society is to provide tools, techniques, and guidance with regards to how much to trust data. This role is increasingly more important with more data and more misinformation than ever before. The American Statistical Association recently released two statements on p-values, and provided four guiding principles. We evaluate their claims using these principles and find that they failed to adhere to them. In this age of distrust, we have an opportunity to be role models of trustworthiness, and responsibility to take it.


title: Airflows inside passenger cars and implications for airborne disease transmission

abstract: Transmission of highly infectious respiratory diseases, including SARS-CoV-2 are facilitated by the transport of tiny droplets and aerosols (harboring viruses, bacteria, etc.) that are breathed out by individuals and can remain suspended in air for extended periods of time in confined environments. A passenger car cabin represents one such situation in which there exists an elevated risk of pathogen transmission. Here we present results from numerical simulations of the potential routes of airborne transmission within a model car geometry, for a variety of ventilation configurations representing different combinations of open and closed windows. We estimate relative concentrations and residence times of a non-interacting, passive scalar -- a proxy for infectious pathogenic particles -- that are advected and diffused by the turbulent airflows inside the cabin. Our findings reveal that creating an airflow pattern that travels across the cabin, entering and existing farthest from the occupants can potentially reduce the transmission.

categories: physics.soc-ph physics.bio-ph physics.flu-dyn physics.pop-ph


title: PAN IIT Survey on Online Education: A Report

abstract: Due to the COVID-19 pandemic that set in in the middle of the semester, most of the IITs (and other institutions from across India and the world) switched to an online mode for completing the semester. Since then, many different institutions from across the world have been discussing ways and means to make online education effective, via various means, such as webinars, talks and short workshops. However, a general observation has been that there is a lack of data on online education, particularly in the Indian context. Anticipating this, we decided to conduct a pan-IIT survey on online education and compiled two sets of questionnaires (one each for faculty members and students) in discussion with the members of the pan-IIT group on Online Pedagogy (https://www.paniit-onlinepedagogy-researchgroup.net/), that has been formed for conducting research on the broad area of online education. The current survey has been steered by IIT Dharwad and IIT Jammu along with the members of the pan-IIT group on online pedagogy. The survey data was collected from 5th May 2020 to 25th May 2020. We received about 11,890 and 840 responses from students and faculty members, respectively. About 82% and 86% of the respondents were males among the students and faculty surveys, respectively. In the following, we present and discuss the survey responses pertaining to various aspects of online education. An infographic representation of the survey responses may be found in Appendix. We note that the survey conducted was a broad survey, covering various broad aspects of online education. However, a fine-grained survey may be required to obtain an in-depth understanding of specific aspects, such as on how to handle lab courses and carry out assessments.


title: Microsimulation Analysis for Network Traffic Assignment (MANTA) at Metropolitan-Scale for Agile Transportation Planning

abstract: Abrupt changes in the environment, such as unforeseen events due to climate change, have triggered massive and precipitous changes in human mobility. The ability to quickly predict traffic patterns in different scenarios has become more urgent to support short-term operations and long-term transportation planning. This requires modeling entire metropolitan areas to recognize the upstream and downstream effects on the network. However, there is a well-known trade-off between increasing the level of detail of a model and decreasing computational performance. To achieve the level of detail required for traffic microsimulation, current implementations often compromise by simulating small spatial scales, and those that operate at larger scales often require access to expensive high-performance computing systems or have computation times on the order of days or weeks that discourage productive research and real-time planning. This paper addresses the performance shortcomings by introducing a new platform, MANTA (Microsimulation Analysis for Network Traffic Assignment), for traffic microsimulation at the metropolitan-scale. MANTA employs a highly parallelized GPU implementation that is capable of running metropolitan-scale simulations within a few minutes. The runtime to simulate all morning trips, using half-second timesteps, for the nine-county San Francisco Bay Area is just over four minutes, not including routing and initialization. This computational performance significantly improves the state of the art in large-scale traffic microsimulation. MANTA expands the capacity to analyze detailed travel patterns and travel choices of individuals for infrastructure planning.


title: Detecting Signatures of Early-stage Dementia with Behavioural Models Derived from Sensor Data

abstract: There is a pressing need to automatically understand the state and progression of chronic neurological diseases such as dementia. The emergence of state-of-the-art sensing platforms offers unprecedented opportunities for indirect and automatic evaluation of disease state through the lens of behavioural monitoring. This paper specifically seeks to characterise behavioural signatures of mild cognitive impairment (MCI) and Alzheimer's disease (AD) in the \textit{early} stages of the disease. We introduce bespoke behavioural models and analyses of key symptoms and deploy these on a novel dataset of longitudinal sensor data from persons with MCI and AD. We present preliminary findings that show the relationship between levels of sleep quality and wandering can be subtly different between patients in the early stages of dementia and healthy cohabiting controls.


title: Artificial Stupidity

abstract: Public debate about AI is dominated by Frankenstein Syndrome, the fear that AI will become superhuman and escape human control. Although superintelligence is certainly a possibility, the interest it excites can distract the public from a more imminent concern: the rise of Artificial Stupidity (AS). This article discusses the roots of Frankenstein Syndrome in Mary Shelley's famous novel of 1818. It then provides a philosophical framework for analysing the stupidity of artificial agents, demonstrating that modern intelligent systems can be seen to suffer from 'stupidity of judgement'. Finally it identifies an alternative literary tradition that exposes the perils and benefits of AS. In the writings of Edmund Spenser, Jonathan Swift and E.T.A. Hoffmann, ASs replace, oppress or seduce their human users. More optimistically, Joseph Furphy and Laurence Sterne imagine ASs that can serve human intellect as maps or as pipes. These writers provide a strong counternarrative to the myths that currently drive the AI debate. They identify ways in which even stupid artificial agents can evade human control, for instance by appealing to stereotypes or distancing us from reality. And they underscore the continuing importance of the literary imagination in an increasingly automated society.


title: Smartphone-based Wellness Assessment Using Mobile Environmental Sensor

abstract: Mental health and general wellness are becoming a growing concern in our society. Environmental factors contribute to mental illness and have the power to affect a person's wellness. This work presents a smartphone-based wellness assessment system and examines if there is any correlation with one's environment and their wellness. The introduced system was initiated in response to a growing need for individualized and independent mental health care and evaluated through experimentation. The participants were given an Android smartphone and a mobile sensor board and they were asked to complete a brief psychological survey three times per day. During the survey completion, the board in their possession is reading environmental data. The five environmental variables collected are temperature, humidity, air pressure, luminosity, and noise level. Upon submission of the survey, the results of the survey and the environmental data are sent to a server for further processing. Three experiments with 62 participants in total have been completed. The correlation most regularly deemed statistically significant was that of light and audio and stress.


title: Asymptotic behaviour of learning rates in Armijo's condition

abstract: Fix a constant $0<\alpha <1$. For a $C^1$ function $f:\mathbb{R}^k\rightarrow \mathbb{R}$, a point $x$ and a positive number $\delta >0$, we say that Armijo's condition is satisfied if $f(x-\delta \nabla f(x))-f(x)\leq -\alpha \delta ||\nabla f(x)||^2$. It is a basis for the well known Backtracking Gradient Descent (Backtracking GD) algorithm. Consider a sequence $\{x_n\}$ defined by $x_{n+1}=x_n-\delta _n\nabla f(x_n)$, for positive numbers $\delta _n$ for which Armijo's condition is satisfied. We show that if $\{x_n\}$ converges to a non-degenerate critical point, then $\{\delta _n\}$ must be bounded. Moreover this boundedness can be quantified in terms of the norms of the Hessian $\nabla ^2f$ and its inverse at the limit point. This complements the first author's results on Unbounded Backtracking GD, and shows that in case of convergence to a non-degenerate critical point the behaviour of Unbounded Backtracking GD is not too different from that of usual Backtracking GD. On the other hand, in case of convergence to a degenerate critical point the behaviours can be very much different. We run some experiments to illustrate that both scenrios can really happen. In another part of the paper, we argue that Backtracking GD has the correct unit (according to a definition by Zeiler in his Adadelta's paper). The main point is that since learning rate in Backtracking GD is bound by Armijo's condition, it is not unitless.


title: GraphOpt: Learning Optimization Models of Graph Formation

abstract: Formation mechanisms are fundamental to the study of complex networks, but learning them from observations is challenging. In real-world domains, one often has access only to the final constructed graph, instead of the full construction process, and observed graphs exhibit complex structural properties. In this work, we propose GraphOpt, an end-to-end framework that jointly learns an implicit model of graph structure formation and discovers an underlying optimization mechanism in the form of a latent objective function. The learned objective can serve as an explanation for the observed graph properties, thereby lending itself to transfer across different graphs within a domain. GraphOpt poses link formation in graphs as a sequential decision-making process and solves it using maximum entropy inverse reinforcement learning algorithm. Further, it employs a novel continuous latent action space that aids scalability. Empirically, we demonstrate that GraphOpt discovers a latent objective transferable across graphs with different characteristics. GraphOpt also learns a robust stochastic policy that achieves competitive link prediction performance without being explicitly trained on this task and further enables construction of graphs with properties similar to those of the observed graph.


title: Wrapping of Microparticles by Floppy Lipid Vesicles

abstract: Lipid membranes, the barrier defining living cells and many of their sub-compartments, bind to a wide variety of nano- and micro-meter sized objects. In the presence of strong adhesive forces, membranes can strongly deform and wrap the particles, an essential step in crossing the membrane for a variety of health and disease-related processes. A large body of theoretical and numerical work has focused on identifying the physical properties that underly wrapping. Using a model system of micron-sized colloidal particles and giant unilamellar lipid vesicles with tunable adhesive forces, we measure a wrapping phase diagram and make quantitative comparisons to theoretical models. Our data is consistent with a model of membrane-particle interactions accounting for the adhesive energy per unit area, membrane bending rigidity, particle size, and vesicle radius.


title: Can GAN Generated Morphs Threaten Face Recognition Systems Equally as Landmark Based Morphs? -- Vulnerability and Detection

abstract: The primary objective of face morphing is to combine face images of different data subjects (e.g. a malicious actor and an accomplice) to generate a face image that can be equally verified for both contributing data subjects. In this paper, we propose a new framework for generating face morphs using a newer Generative Adversarial Network (GAN) - StyleGAN. In contrast to earlier works, we generate realistic morphs of both high-quality and high resolution of 1024$\times$1024 pixels. With the newly created morphing dataset of 2500 morphed face images, we pose a critical question in this work. \textit{(i) Can GAN generated morphs threaten Face Recognition Systems (FRS) equally as Landmark based morphs?} Seeking an answer, we benchmark the vulnerability of a Commercial-Off-The-Shelf FRS (COTS) and a deep learning-based FRS (ArcFace). This work also benchmarks the detection approaches for both GAN generated morphs against the landmark based morphs using established Morphing Attack Detection (MAD) schemes.


title: Comparison of Different Methods for Calculation of the Normalized Mott Cross Section

abstract: An intercomparison of some earlier methods for calculating the normalized Mott cross section and also a method proposed by the authors of the present work is carried out. It is demonstrated that applying the given method, along with the method of Lijian et al., is preferable for relevant calculations.


title: Chirp mass based glitch identification in long duration gravitational wave transients

abstract: The data from the ground-based interferometric gravitational wave detectors(GW) is often masqueraded by highly localised short-duration glitches which pose a serious challenge for any transient GW search. In this work, we propose a glitch identification algorithm for the scenario of presence of a glitch along with a long duration GW transient. We device the chirp mass consistency parameter across different Q planes in the Q-transform. We test this algorithm over a variety of short duration glitches from the observing runs along with a long duration binary inspiral signal. The demonstration of this algorithm for a generic low mass and low eccentricity binary systems shows the direct application of it in the long duration unmodeled searches.


title: Where is the photon in an interferometer?

abstract: In a paper titled "Asking photons where they have been?" \cite{LV} Danan, Farfurnik, Bar-Ad and Vaidman describe an experiment with pre and post selected photons going through nested Mach-Zehnder interferometers. They find that some of the mirrors leave no footprints on the signal and interpret this as evidence that the photon skipped these mirrors. They argue that the experiment supports Aharonov-Vaidman's formulation of quantum mechanics \cite{AharonovVaidman} where post-selected particles are assigned disconnected trajectories. I review the experiment and analyze it within the orthodox framework of quantum mechanics. The standard view of interfering trajectories accounts for the experimental findings.


title: Design and implementation of a tunable composite photonic crystal cavity on an optical nanofiber

abstract: We report a novel approach to the design and implementation of a tunable cavity on an optical nanofiber (ONF). The key point is to create a composite photonic crystal cavity (CPCC), by combining an ONF and a chirped period defect mode grating. Using numerical simulations we design the CPCC with low scattering loss while tuning the cavity resonance wavelength of \pm10 nm around the designed wavelength. We experimentally demonstrate the tunability of the CPCC, showing good agreement with the simulation results. Our results lay the foundation for a versatile platform for ONF cavity-quantum-electrodynamics with narrow bandwidth quantum emitters.


title: What Gives the Answer Away? Question Answering Bias Analysis on Video QA Datasets

abstract: Question answering biases in video QA datasets can mislead multimodal model to overfit to QA artifacts and jeopardize the model's ability to generalize. Understanding how strong these QA biases are and where they come from helps the community measure progress more accurately and provide researchers insights to debug their models. In this paper, we analyze QA biases in popular video question answering datasets and discover pretrained language models can answer 37-48% questions correctly without using any multimodal context information, far exceeding the 20% random guess baseline for 5-choose-1 multiple-choice questions. Our ablation study shows biases can come from annotators and type of questions. Specifically, annotators that have been seen during training are better predicted by the model and reasoning, abstract questions incur more biases than factual, direct questions. We also show empirically that using annotator-non-overlapping train-test splits can reduce QA biases for video QA datasets.


title: New Asymptotic Conservation laws for Electromagnetism

abstract: We obtain the subleading tail to the memory term in the late time electromagnetic radiative field generated due to a generic scattering of charged bodies. We show that there exists a new asymptotic conservation law which is related to the subleading tail term. The corresponding charge is made of a mode of the asymptotic electromagnetic field that appears at $\mathcal{O}(e^5)$ and we expect that it is uncorrected at higher orders. This hints that the subleading tail arises from classical limit of a 2-loop soft photon theorem. Building on the $m=1$ \cite{1903.09133, 1912.10229} and $m=2$ cases, we propose that there exists a conservation law for every $m$ such that the respective charge involves an $\mathcal{O}(e^{2m+1})$ mode and is conserved exactly. This would imply a hierarchy of an infinite number of $m$-loop soft theorems. We also predict the structure of $m^{th}$ order tails to the memory term that are tied to the classical limit of these soft theorems.


title: Early evolution of optimal perturbations in a viscosity-stratified channel

abstract: This work shows how the early stages of perturbation growth in a viscosity-stratified flow are different from those in a constant-viscosity flow, and how nonlinearity is a crucial ingredient. We derive the viscosity-varying adjoint Navier-Stokes equations, where gradients in viscosity force both the adjoint momentum and the adjoint scalar (here temperature). By the technique of direct-adjoint looping, we obtain the nonlinear optimal perturbation which maximises the perturbation kinetic energy of the nonlinear system. While we study three-dimensional plane Poiseuille (channel) flow with the walls at different temperatures, and a temperature-dependent viscosity, our findings are general for any flow with viscosity variations near walls. The Orr and modified lift-up mechanisms are in operation at low and high perturbation amplitudes respectively at our subcritical Reynolds number. The nonlinear optimal perturbation contains more energy on the hot (less-viscous) side, with a stronger initial lift-up. However, as the flow evolves, the important dynamics shifts to the cold (more-viscous) side, where wide high-speed streaks of low viscosity grow and persist, and strengthen the inflectional quality of the velocity profile. We provide a physical description of this process, and show that the evolution of the linear optimal perturbation misses most of the physics. The Prandtl number does not qualitatively affect the findings at these times. The study of nonlinear optimal perturbations is still in its infancy, and viscosity variations are ubiquitous. We hope that this first work on nonlinear optimal perturbation with viscosity variations will lead to wider studies on transition to turbulence in these flows.


title: Strong Generalization and Efficiency in Neural Programs

abstract: We study the problem of learning efficient algorithms that strongly generalize in the framework of neural program induction. By carefully designing the input / output interfaces of the neural model and through imitation, we are able to learn models that produce correct results for arbitrary input sizes, achieving strong generalization. Moreover, by using reinforcement learning, we optimize for program efficiency metrics, and discover new algorithms that surpass the teacher used in imitation. With this, our approach can learn to outperform custom-written solutions for a variety of problems, as we tested it on sorting, searching in ordered lists and the NP-complete 0/1 knapsack problem, which sets a notable milestone in the field of Neural Program Induction. As highlights, our learned model can perform sorting perfectly on any input data size we tested on, with $O(n log n)$ complexity, whilst outperforming hand-coded algorithms, including quick sort, in number of operations even for list sizes far beyond those seen during training.


title: The CMS monitoring infrastructure and applications

abstract: The globally distributed computing infrastructure required to cope with the multi-petabytes datasets produced by the Compact Muon Solenoid (CMS) experiment at the Large Hadron Collider (LHC) at CERN comprises several subsystems, such as workload management, data management, data transfers, and submission of users' and centrally managed production requests. The performance and status of all subsystems must be constantly monitored to guarantee the efficient operation of the whole infrastructure. Moreover, key metrics need to be tracked to evaluate and study the system performance over time. The CMS monitoring architecture allows both real-time and historical monitoring of a variety of data sources and is based on scalable and open source solutions tailored to satisfy the experiment's monitoring needs. We present the monitoring data flow and software architecture for the CMS distributed computing applications. We discuss the challenges, components, current achievements, and future developments of the CMS monitoring infrastructure.


title: Lower Bounds for XOR of Forrelations

abstract: The Forrelation problem, introduced by Aaronson [A10] and Aaronson and Ambainis [AA15], is a well studied problem in the context of separating quantum and classical models. Variants of this problem were used to give exponential separations between quantum and classical query complexity [A10, AA15]; quantum query complexity and bounded-depth circuits [RT19]; and quantum and classical communication complexity [GRT19]. In all these separations, the lower bound for the classical model only holds when the advantage of the protocol (over a random guess) is more than $\approx 1/\sqrt{N}$, that is, the success probability is larger than $\approx 1/2 + 1/\sqrt{N}$. To achieve separations when the classical protocol has smaller advantage, we study in this work the XOR of $k$ independent copies of the Forrelation function (where $k\ll N$). We prove a very general result that shows that any family of Boolean functions that is closed under restrictions, whose Fourier mass at level $2k$ is bounded by $\alpha^k$, cannot compute the XOR of $k$ independent copies of the Forrelation function with advantage better than $O\left(\frac{\alpha^k}{{N^{k/2}}}\right)$. This is a strengthening of a result of [CHLT19], that gave a similar result for $k=1$, using the technique of [RT19]. As an application of our result, we give the first example of a partial Boolean function that can be computed by a simultaneous-message quantum protocol of cost $\mbox{polylog}(N)$ (when players share $\mbox{polylog}(N)$ EPR pairs), however, any classical interactive randomized protocol of cost at most $\tilde{o}(N^{1/4})$, has quasipolynomially small advantage over a random guess. We also give the first example of a partial Boolean function that has a quantum query algorithm of cost $\mbox{polylog}(N)$, and such that, any constant-depth circuit of quasipolynomial size has quasipolynomially small advantage over a random guess.


title: Scribble-based Domain Adaptation via Co-segmentation

abstract: Although deep convolutional networks have reached state-of-the-art performance in many medical image segmentation tasks, they have typically demonstrated poor generalisation capability. To be able to generalise from one domain (e.g. one imaging modality) to another, domain adaptation has to be performed. While supervised methods may lead to good performance, they require to fully annotate additional data which may not be an option in practice. In contrast, unsupervised methods don't need additional annotations but are usually unstable and hard to train. In this work, we propose a novel weakly-supervised method. Instead of requiring detailed but time-consuming annotations, scribbles on the target domain are used to perform domain adaptation. This paper introduces a new formulation of domain adaptation based on structured learning and co-segmentation. Our method is easy to train, thanks to the introduction of a regularised loss. The framework is validated on Vestibular Schwannoma segmentation (T1 to T2 scans). Our proposed method outperforms unsupervised approaches and achieves comparable performance to a fully-supervised approach.


title: Streaming Complexity of SVMs

abstract: We study the space complexity of solving the bias-regularized SVM problem in the streaming model. This is a classic supervised learning problem that has drawn lots of attention, including for developing fast algorithms for solving the problem approximately. One of the most widely used algorithms for approximately optimizing the SVM objective is Stochastic Gradient Descent (SGD), which requires only $O(\frac{1}{\lambda\epsilon})$ random samples, and which immediately yields a streaming algorithm that uses $O(\frac{d}{\lambda\epsilon})$ space. For related problems, better streaming algorithms are only known for smooth functions, unlike the SVM objective that we focus on in this work. We initiate an investigation of the space complexity for both finding an approximate optimum of this objective, and for the related ``point estimation'' problem of sketching the data set to evaluate the function value $F_\lambda$ on any query $(\theta, b)$. We show that, for both problems, for dimensions $d=1,2$, one can obtain streaming algorithms with space polynomially smaller than $\frac{1}{\lambda\epsilon}$, which is the complexity of SGD for strongly convex functions like the bias-regularized SVM, and which is known to be tight in general, even for $d=1$. We also prove polynomial lower bounds for both point estimation and optimization. In particular, for point estimation we obtain a tight bound of $\Theta(1/\sqrt{\epsilon})$ for $d=1$ and a nearly tight lower bound of $\widetilde{\Omega}(d/{\epsilon}^2)$ for $d = \Omega( \log(1/\epsilon))$. Finally, for optimization, we prove a $\Omega(1/\sqrt{\epsilon})$ lower bound for $d = \Omega( \log(1/\epsilon))$, and show similar bounds when $d$ is constant.


title: PinnerSage: Multi-Modal User Embedding Framework for Recommendations at Pinterest

abstract: Latent user representations are widely adopted in the tech industry for powering personalized recommender systems. Most prior work infers a single high dimensional embedding to represent a user, which is a good starting point but falls short in delivering a full understanding of the user's interests. In this work, we introduce PinnerSage, an end-to-end recommender system that represents each user via multi-modal embeddings and leverages this rich representation of users to provides high quality personalized recommendations. PinnerSage achieves this by clustering users' actions into conceptually coherent clusters with the help of a hierarchical clustering method (Ward) and summarizes the clusters via representative pins (Medoids) for efficiency and interpretability. PinnerSage is deployed in production at Pinterest and we outline the several design decisions that makes it run seamlessly at a very large scale. We conduct several offline and online A/B experiments to show that our method significantly outperforms single embedding methods.


title: Efficient emulators for scattering using eigenvector continuation

abstract: Eigenvector continuation EC has been shown to accurately and efficiently reproduce ground states for targeted sets of Hamiltonian parameters. It uses as variational basis vectors the corresponding ground-state eigensolutions from selected other sets of parameters. Here we extend the EC approach to scattering using the Kohn variational principle. We first test it using a model for S-wave nucleon-nucleon scattering and then demonstrate that it also works to give accurate predictions for non-local potentials, charged-particle scattering, complex optical potentials, and higher partial waves. These proofs-of-principle validate EC as an accurate emulator for applying Bayesian inference to parameter estimation constrained by scattering observables. The efficiency of such emulators is because the accuracy is achieved with a small number of variational basis elements and the central computations are just linear algebra calculations in the space spanned by this basis.

categories: nucl-th cond-mat.mtrl-sci hep-lat hep-ph nucl-ex


title: On the Lettericity of Paths

abstract: Verifying a conjecture of Petkov{\v{s}}ec, we prove that the lettericity of an n-vertex path is precisely $\left\lfloor \frac{n+4}{3}\right\rfloor$.


title: Gravitational waves in massive conformal gravity

abstract: First, we obtain the plane wave solution of the linearized massive conformal gravity field equations. It is shown that the theory has seven physical plane waves. In addition, we investigate the gravitational radiation from binary systems in massive conformal gravity. We find that the theory with large graviton mass can reproduce the orbit of binaries by the emission of gravitational waves.


title: Riemannian optimization of isometric tensor networks

abstract: Several tensor networks are built of isometric tensors, i.e. tensors satisfying $W^\dagger W = \mathrm{I}$. Prominent examples include matrix product states (MPS) in canonical form, the multiscale entanglement renormalization ansatz (MERA), and quantum circuits in general, such as those needed in state preparation and quantum variational eigensolvers. We show how gradient-based optimization methods on Riemannian manifolds can be used to optimize tensor networks of isometries to represent e.g. ground states of 1D quantum Hamiltonians. We discuss the geometry of Grassmann and Stiefel manifolds, the Riemannian manifolds of isometric tensors, and review how state-of-the-art optimization methods like nonlinear conjugate gradient and quasi-Newton algorithms can be implemented in this context. We apply these methods in the context of infinite MPS and MERA, and show benchmark results in which they outperform the best previously-known optimization methods, which are tailor-made for those specific variational classes. We also provide open-source implementations of our algorithms.


title: Human Trajectory Forecasting in Crowds: A Deep Learning Perspective

abstract: Since the past few decades, human trajectory forecasting has been a field of active research owing to its numerous real-world applications: evacuation situation analysis, deployment of intelligent transport systems, traffic operations, to name a few. Early works handcrafted this representation based on domain knowledge. However, social interactions in crowded environments are not only diverse but often subtle. Recently, deep learning methods have outperformed their handcrafted counterparts, as they learned about human-human interactions in a more generic data-driven fashion. In this work, we present an in-depth analysis of existing deep learning-based methods for modelling social interactions. We propose two knowledge-based data-driven methods to effectively capture these social interactions. To objectively compare the performance of these interaction-based forecasting models, we develop a large scale interaction-centric benchmark TrajNet++, a significant yet missing component in the field of human trajectory forecasting. We propose novel performance metrics that evaluate the ability of a model to output socially acceptable trajectories. Experiments on TrajNet++ validate the need for our proposed metrics, and our method outperforms competitive baselines on both real-world and synthetic datasets.


title: Benefiting Deep Latent Variable Models via Learning the Prior and Removing Latent Regularization

abstract: There exist many forms of deep latent variable models, such as the variational autoencoder and adversarial autoencoder. Regardless of the specific class of model, there exists an implicit consensus that the latent distribution should be regularized towards the prior, even in the case where the prior distribution is learned. Upon investigating the effect of latent regularization on image generation our results indicate that in the case where a sufficiently expressive prior is learned, latent regularization is not necessary and may in fact be harmful insofar as image quality is concerned. We additionally investigate the benefit of learned priors on two common problems in computer vision: latent variable disentanglement, and diversity in image-to-image translation.


title: One-Bit Compressed Sensing via One-Shot Hard Thresholding

abstract: This paper concerns the problem of 1-bit compressed sensing, where the goal is to estimate a sparse signal from a few of its binary measurements. We study a non-convex sparsity-constrained program and present a novel and concise analysis that moves away from the widely used notion of Gaussian width. We show that with high probability a simple algorithm is guaranteed to produce an accurate approximation to the normalized signal of interest under the $\ell_2$-metric. On top of that, we establish an ensemble of new results that address norm estimation, support recovery, and model misspecification. On the computational side, it is shown that the non-convex program can be solved via one-step hard thresholding which is dramatically efficient in terms of time complexity and memory footprint. On the statistical side, it is shown that our estimator enjoys a near-optimal error rate under standard conditions. The theoretical results are substantiated by numerical experiments.


title: Dissociative electron attachment cross sections for ro-vibrationally excited NO molecule and N- anion formation

abstract: Motivated by the huge need of data for non-equilibrium plasma modeling, a theoretical investigation of dissociative electron attachment to the NO molecule is performed. The calculations presented here are based on the Local-Complex-Potential approach, taking into account five NO$^-$ resonances. Three specific channels of the process are studied, including the production of excited nitrogen atoms $\mathrm{N}(^2\mathrm{D})$ and of its anions N$^-$. Interpretation of the existing experimental data and their comparison with our theoretical result are given. A full set of ro-vibrationally-resolved cross sections and the corresponding rate coefficients are reported. In particular, a relatively notably large cross section of N$^-$ ion formation at low energy of the incident electron and for vibrationally excited NO target is predicted. Finally, molecular rotation effects are discussed.


title: Segmentation of Pulmonary Opacification in Chest CT Scans of COVID-19 Patients

abstract: The Severe Acute Respiratory Syndrome Coronavirus 2 (SARS-CoV-2) has rapidly spread into a global pandemic. A form of pneumonia, presenting as opacities with in a patient's lungs, is the most common presentation associated with this virus, and great attention has gone into how these changes relate to patient morbidity and mortality. In this work we provide open source models for the segmentation of patterns of pulmonary opacification on chest Computed Tomography (CT) scans which have been correlated with various stages and severities of infection. We have collected 663 chest CT scans of COVID-19 patients from healthcare centers around the world, and created pixel wise segmentation labels for nearly 25,000 slices that segment 6 different patterns of pulmonary opacification. We provide open source implementations and pre-trained weights for multiple segmentation models trained on our dataset. Our best model achieves an opacity Intersection-Over-Union score of 0.76 on our test set, demonstrates successful domain adaptation, and predicts the volume of opacification within 1.7\% of expert radiologists. Additionally, we present an analysis of the inter-observer variability inherent to this task, and propose methods for appropriate probabilistic approaches.


title: Ensemble of meta-heuristic and exact algorithm based on the divide and conquer framework for multi-satellite observation scheduling

abstract: Satellite observation scheduling plays a significant role in improving the efficiency of Earth observation systems. To solve the large-scale multi-satellite observation scheduling problem, this paper proposes an ensemble of meta-heuristic and exact algorithm based on a divide-and-conquer framework (EHE-DCF), including a task allocation phase and a task scheduling phase. In the task allocation phase, each task is allocated to a proper orbit based on a meta-heuristic incorporated with a probabilistic selection and a tabu mechanism derived from ant colony optimization and tabu search respectively. In the task scheduling phase, we construct a task scheduling model for every single orbit, and use an exact method (i.e., branch and bound, B&B) to solve this model. The task allocation and task scheduling phases are performed iteratively to obtain a promising solution. To validate the performance of EHE-DCF, we compare it with B&B, three divide-and-conquer based meta-heuristics, and a state-of-the-art meta-heuristic. Experimental results show that EHE-DCF can obtain higher scheduling profits and complete more tasks compared with existing algorithms. EHE-DCF is especially efficient for large-scale satellite observation scheduling problems.


title: Risk assessment of airborne transmission of COVID-19 by asymptomatic individuals under different practical settings

abstract: The lack of quantitative risk assessment of airborne transmission of COVID-19 under practical settings leads to large uncertainties and inconsistencies in our preventive measures. Combining in situ measurements and numerical simulations, we quantify the exhaled particles from normal respiratory behaviors and their transport under elevator, small classroom and supermarket settings to evaluate the risk of inhaling potentially virus-containing particles. Our results show that the design of ventilation is critical for reducing the risk of particle encounters. Inappropriate design can significantly limit the efficiency of particle removal, create local hot spots with orders of magnitude higher risks, and enhance particle deposition causing surface contamination. Additionally, our measurements reveal the presence of substantial fraction of crystalline particles from normal breathing and its strong correlation with breathing depth.


title: Blowups in BPS/CFT correspondence, and Painlev\'e VI

abstract: We study four dimensional supersymmetric gauge theory in the presence of surface and point-like defects (blowups) and propose an identity relating partition functions at different values of $\Omega$-deformation parameters $({\varepsilon}_{1}, {\varepsilon}_{2})$. As a consequence, we obtain the formula conjectured in 2012 by O.Gamayun, N.Iorgov, and O.Lysovyy, relating the tau-function ${\tau}_{PVI}$ to $c=1$ conformal blocks of Liouville theory and propose its generalization for the case of Garnier-Schlesinger system. To this end we clarify the notion of the quasiclassical tau-function ${\tau}_{PVI}$ of Painlev\'e VI and its generalizations. We also make some remarks about the sphere partition functions, the boundary operator product expansion in the ${\mathcal{N}}=(4,4)$ sigma models related to four dimensional ${\mathcal{N}}=2$ theories on toric manifolds, discuss crossed instantons on conifolds, elucidate some aspects of the BPZ/KZ correspondence, and applications to quantization.


title: Artistic Style in Robotic Painting; a Machine Learning Approach to Learning Brushstroke from Human Artists

abstract: Robotic painting has been a subject of interest among both artists and roboticists since the 1970s. Researchers and interdisciplinary artists have employed various painting techniques and human-robot collaboration models to create visual mediums on canvas. One of the challenges of robotic painting is to apply a desired artistic style to the painting. Style transfer techniques with machine learning models have helped us address this challenge with the visual style of a specific painting. However, other manual elements of style, i.e., painting techniques and brushstrokes of an artist, have not been fully addressed. We propose a method to integrate an artistic style to the brushstrokes and the painting process through collaboration with a human artist. In this paper, we describe our approach to 1) collect brushstrokes and hand-brush motion samples from an artist, and 2) train a generative model to generate brushstrokes that pertains to the artist's style, and 3) fine tune a stroke-based rendering model to work with our robotic painting setup. We will report on the integration of these three steps in a separate publication. In a preliminary study, 71% of human evaluators find our reconstructed brushstrokes are pertaining to the characteristics of the artist's style. Moreover, 58% of participants could not distinguish a painting made by our method from a visually similar painting created by a human artist.


title: The Vectorial Lambda Calculus Revisited

abstract: We revisit the Vectorial Lambda Calculus, a typed version of Lineal. Vectorial (as well as Lineal) has been originally designed for quantum computing, as an extension to System F where linear combinations of lambda terms are also terms and linear combinations of types are also types. In its first presentation, Vectorial only provides a weakened version of the Subject Reduction property. We prove that our revised Vectorial Lambda Calculus supports the standard version of said property, answering a long standing issue. In addition we also introduce the concept of weight of types and terms, and prove a relation between the weight of terms and of its types.


title: The essential numerical range and a theorem of Simon on the absorption of eigenvalues

abstract: Let $A(t)$ be a holomorphic family of self-adjoint operators of type (B) on a complex Hilbert space $\mathcal{H}$. Kato-Rellich perturbation theory says that isolated eigenvalues of $A(t)$ will be analytic functions of $t$ as long as they remain below the minimum of the essential spectrum of $A(t)$. At a threshold value $t_0$ where one of these eigenvalue functions hits the essential spectrum, the corresponding point in the essential spectrum might or might not be an eigenvalue of $A(t_0)$. Our results generalize a theorem of Simon to give a sufficient condition for the minimum of the essential spectrum to be an eigenvalue of $A(t_0)$ based on the rate at which eigenvalues approach the essential spectrum. We also show that the rates at which the eigenvalues of $A(t)$ can approach the essential spectrum from below correspond to eigenvalues of a bounded self-adjoint operator. The key insight behind these results is the essential numerical range which was recently extended to unbounded operators by B\"{o}gli, Marletta, and Tretter.


title: ILC Study Questions for Snowmass 2021

abstract: To aid contributions to the Snowmass 2021 US Community Study on physics at the International Linear Collider and other proposed $e^+e^-$ colliders, we present a list of study questions that could be the basis of useful Snowmass projects. We accompany this with links to references and resources on $e^+e^-$ physics, and a description of a new software framework that we are preparing for $e^+e^-$ studies at Snowmass.


title: Towards Systematically Deriving Defence Mechanisms from Functional Requirements of Cyber-Physical Systems

abstract: The threats faced by cyber-physical systems (CPSs) in critical infrastructure have motivated the development of different attack detection mechanisms, such as those that monitor for violations of invariants, i.e. properties that always hold in normal operation. Given the complexity of CPSs, several existing approaches focus on deriving invariants automatically from data logs, but these can miss possible system behaviours if they are not represented in that data. Furthermore, resolving any design flaws identified in this process is costly, as the CPS is already built. In this position paper, we propose a systematic method for deriving invariants before a CPS is built by analysing its functional requirements. Our method, inspired by the axiomatic design methodology for systems, iteratively analyses dependencies in the design to construct equations and process graphs that model the invariant relationships between CPS components. As a preliminary study, we applied it to the design of a water treatment plant testbed, implementing checkers for two invariants by using decision trees, and finding that they could detect some examples of attacks on the testbed with high accuracy and without false positives. Finally, we explore how developing our method further could lead to more robust CPSs and reduced costs by identifying design weaknesses before systems are implemented.


title: Real-time Sampling and Estimation on Random Access Channels: Age of Information and Beyond

abstract: Efficient sampling and remote estimation are critical for a plethora of wireless-empowered applications in the Internet of Things and cyber-physical systems. Motivated by such applications, this work proposes decentralized policies for the real-time monitoring and estimation of autoregressive processes over random access channels. Two classes of policies are investigated: (i) oblivious schemes in which sampling and transmission policies are independent of the processes that are monitored, and (ii) non-oblivious schemes in which transmitters causally observe their corresponding processes for decision making. In the class of oblivious policies, we show that minimizing the expected time-average estimation error is equivalent to minimizing the expected age of information. Consequently, we prove lower and upper bounds on the minimum achievable estimation error in this class. Next, we consider non-oblivious policies and design a threshold policy, called error-based thinning, in which each source node becomes active if its instantaneous error has crossed a fixed threshold (which we optimize). Active nodes then transmit stochastically following a slotted ALOHA policy. A closed-form, approximately optimal, solution is found for the threshold as well as the resulting estimation error. It is shown that non-oblivious policies offer a multiplicative gain close to $3$ compared to oblivious policies. Moreover, it is shown that oblivious policies that use the age of information for decision making improve the state-of-the-art at least by the multiplicative factor $2$. The performance of all discussed policies is compared using simulations. The numerical comparison shows that the performance of the proposed decentralized policy is very close to that of centralized greedy scheduling.


title: Online Topology Inference from Streaming Stationary Graph Signals with Partial Connectivity Information

abstract: We develop online graph learning algorithms from streaming network data. Our goal is to track the (possibly) time-varying network topology, and effect memory and computational savings by processing the data on-the-fly as they are acquired. The setup entails observations modeled as stationary graph signals generated by local diffusion dynamics on the unknown network. Moreover, we may have a priori information on the presence or absence of a few edges as in the link prediction problem. The stationarity assumption implies that the observations' covariance matrix and the so-called graph shift operator (GSO -- a matrix encoding the graph topology) commute under mild requirements. This motivates formulating the topology inference task as an inverse problem, whereby one searches for a sparse GSO that is structurally admissible and approximately commutes with the observations' empirical covariance matrix. For streaming data said covariance can be updated recursively, and we show online proximal gradient iterations can be brought to bear to efficiently track the time-varying solution of the inverse problem with quantifiable guarantees. Specifically, we derive conditions under which the GSO recovery cost is strongly convex and use this property to prove that the online algorithm converges to within a neighborhood of the optimal time-varying batch solution. Numerical tests illustrate the effectiveness of the proposed graph learning approach in adapting to streaming information and tracking changes in the sought dynamic network.


title: The Cathedral and the Starship: Learning from the Middle Ages for Future Long-Duration Projects

abstract: A popular analogue used in the space domain is that of historical building projects, notably cathedrals that took decades and in some cases centuries to complete. Cathedrals are often taken as archetypes for long-term projects. In this article, I will explore the cathedral from the point of view of project management and systems architecting and draw implications for long-term projects in the space domain, notably developing a starship. I will show that the popular image of a cathedral as a continuous long-term project is in contradiction to the current state of research. More specifically, I will show that for the following propositions: The cathedrals were built based on an initial detailed master plan; Building was a continuous process that adhered to the master plan; Investments were continuously provided for the building process. Although initial plans might have existed, the construction process took often place in multiple campaigns, sometimes separated by decades. Such interruptions made knowledge-preservation very challenging. The reason for the long stretches of inactivity was mostly due to a lack of funding. Hence, the availability of funding coincided with construction activity. These findings paint a much more relevant picture of cathedral building for long-duration projects today: How can a project be completed despite a range of uncertainties regarding loss in skills, shortage in funding, and interruptions? It is concluded that long-term projects such as an interstellar exploration program can take inspiration from cathedrals by developing a modular architecture, allowing for extensibility and flexibility, thinking about value delivery at an early point, and establishing mechanisms and an organization for stable funding.

categories: econ.GN physics.pop-ph physics.space-ph q-fin.EC


title: Accessing long timescales in the relaxation dynamics of spins coupled to a conduction-electron system using absorbing boundary conditions

abstract: The relaxation time of a classical spin interacting with a large conduction-electron system is computed for a weak magnetic field, which initially drives the spin out of equilibrium. We trace the spin and the conduction-electron dynamics on a time scale, which exceeds the characteristic electronic scale that is set by the inverse nearest-neighbor hopping by more than five orders of magnitude. This is achieved with a novel construction of absorbing boundary conditions, which employs a generalized Lindblad master-equation approach to couple the edge sites of the conduction-electron tight-binding model to an external bath. The failure of the standard Lindblad approach to absorbing boundaries is traced back to artificial excitations initially generated due to the coupling to the bath. This can be cured by introducing Lindblad parameter matrices and by fixing those matrices to perfectly suppress initial-state artifacts as well as reflections of physical excitations propagating to the system boundaries. Numerical results are presented and discussed for generic one-dimensional models of the electronic structure.


title: Program Verification via Predicate Constraint Satisfiability Modulo Theories

abstract: This paper presents a verification framework based on a new class of predicate Constraint Satisfaction Problems called pCSP where constraints are represented as clauses modulo first-order theories over function variables and predicate variables that may represent well-founded predicates. The verification framework generalizes an existing one based on Constrained Horn Clauses (CHCs) to arbitrary clauses, function variables, and well-foundedness constraints. While it is known that the satisfiability of CHCs and the validity of queries for Constrained Logic Programs (CLP) are inter-reducible, we show that, thanks to the added expressiveness, pCSP is expressive enough to express muCLP queries. muCLP itself is a new extension of CLP that we propose in this paper. It extends CLP with arbitrarily nested inductive and co-inductive predicates and is equi-expressive as first-order fixpoint logic. We show that muCLP can naturally encode a wide variety of verification problems including but not limited to termination/non-termination verification and even full modal mu-calculus model checking of programs written in various languages. To establish our verification framework, we present (1) a sound and complete reduction algorithm from muCLP to pCSP and (2) a constraint solving method for pCSP based on stratified CounterExample-Guided Inductive Synthesis (CEGIS) of (co-)inductive invariants, ranking functions, and Skolem functions witnessing existential quantifiers. Stratified CEGIS combines CEGIS with stratified families of templates to achieve relative completeness and faster and stable convergence of CEGIS by avoiding the overfitting problem. We have implemented the proposed framework and obtained promising results on diverse verification problems that are beyond the scope of the previous verification frameworks based on CHCs.


title: Anisotropy induced spin re-orientation in chemically-modulated amorphous ferrimagnetic films

abstract: The ability to tune the competition between the in-plane and out-of-plane orientation of magnetization provides a means to construct thermal sensors with a sharp spin re-orientation transition at specific temperatures. We have observed such a tuneable, temperature driven spin re-orientation in structurally amorphous, ferrimagnetic rare earth-transition metal (RE-TM) alloy thin films using scanning transmission X-ray microscopy (STXM) and magnetic measurements. The nature of the spin re-orientation transition in FeGd can be fully explained by a non-equilibrium, nanoscale modulation of the chemical composition of the films. This modulation leads to a magnetic domain pattern of nanoscale speckles superimposed on a background of in-plane domains that form Laudau configurations in micron-scale patterned elements. It is this speckle magnetic structure that gives rise to a sharp two step-reversal mechanism that is temperature dependent. The possibility to balance competing anisotropies through the temperature opens opportunities to create and manipulate topological spin textures.


title: Cross sections for coherent elastic and inelastic neutrino-nucleus scattering

abstract: The prospects of extracting new physics signals in coherent elastic neutrino--nucleus scattering (CE$\nu$NS) processes are limited by the precision with which the underlying nuclear structure physics, embedded in the weak nuclear form factor, is known. We present calculations of charge and weak nuclear form factors and CE$\nu$NS cross sections on $^{12}$C, $^{16}$O, $^{40}$Ar, $^{56}$Fe and $^{208}$Pb nuclei. We obtain the proton and neutron densities, and charge and weak form factors by solving Hartree--Fock (HF) equations with a Skyrme (SkE2) nuclear potential. We validate our approach by comparing $^{208}$Pb and $^{40}$Ar charge form factor predictions with available elastic electron scattering data. Since CE$\nu$NS experiments at stopped--pion sources are also well suited to measure inelastic charged--current and neutral--current neutrino--nucleus cross sections, we also present calculations for these processes, incorporating a continuum Random Phase Approximation (CRPA) description on top of the HF-SkE2 picture of the nucleus. Providing both coherent as well as inelastic cross sections in a consistent framework, we aim at obtaining a reliable and detailed comparison of the strength of these processes in the energy region below ~100 MeV. Furthermore, we attempt to gauge the level of theoretical uncertainty pertaining to the description of the $^{40}$Ar form factor and CE$\nu$NS cross sections by comparing relative differences between recent microscopic nuclear theory and widely--used phenomenological form factor predictions. Future precision measurements of CE$\nu$NS will potentially help in constraining these nuclear structure details that will in turn improve prospects of extracting new physics.


title: Promoting Strategic Research on Inclusive Access to Rich Online Content and Services

abstract: Access to content and services online is increasingly important for everyone, including people with disabilities. National commitments, including the Americans with Disabilities Act, and international resolutions, including the United Nations Declaration of the Rights of Persons with Disabilities, call for work to ensure that people with disabilities can participate fully in the online world. Gains in education, employment and health, as well as in civic engagement, social participation, and personal independence will follow from enhanced inclusion online. Research in many areas of computer science, including recognition technology, natural language processing, personalization, software architecture, and others, is needed to secure these benefits. Organizing this research calls for partnerships among academic researchers, federal agencies, and commercial organizations, as well as effective division of labor and cooperation between computer scientists, behavioral scientists, advocacy groups, and consumers.


title: Riemann-Hilbert correspondence and blown up surface defects

abstract: The relationship of two dimensional quantum field theory and isomonodromic deformations of Fuchsian systems has a long history. Recently four-dimensional $\mathcal{N}=2$ gauge theories joined the party in a multitude of roles. In this paper we study the vacuum expectation values of intersecting half-BPS surface defects in $SU(2)$ theory with $N_f=4$ fundamental hypermultiplets. We show they form a horizontal section of a Fuchsian system on a sphere with $5$ regular singularities, calculate the monodromy, and define the associated isomonodromic tau-function. Using the blowup formula in the presence of half-BPS surface defects, initiated in the companion paper, we obtain the GIL formula, establishing an unexpected relation of the topological string/free fermion regime of supersymmetric gauge theory to classical integrability.


title: Mathematical Foundations for Social Computing

abstract: Social computing encompasses the mechanisms through which people interact with computational systems: crowdsourcing systems, ranking and recommendation systems, online prediction markets, citizen science projects, and collaboratively edited wikis, to name a few. These systems share the common feature that humans are active participants, making choices that determine the input to, and therefore the output of, the system. The output of these systems can be viewed as a joint computation between machine and human, and can be richer than what either could produce alone. The term social computing is often used as a synonym for several related areas, such as "human computation" and subsets of "collective intelligence"; we use it in its broadest sense to encompass all of these things. Social computing is blossoming into a rich research area of its own, with contributions from diverse disciplines including computer science, economics, and other social sciences. Yet a broad mathematical foundation for social computing is yet to be established, with a plethora of under-explored opportunities for mathematical research to impact social computing. As in other fields, there is great potential for mathematical work to influence and shape the future of social computing. However, we are far from having the systematic and principled understanding of the advantages, limitations, and potentials of social computing required to match the impact on applications that has occurred in other fields. In June 2015, we brought together roughly 25 experts in related fields to discuss the promise and challenges of establishing mathematical foundations for social computing. This document captures several of the key ideas discussed.


title: Undulating Dark Matter

abstract: We suggest that an interplay between microscopic and macroscopic physics can give rise to dark matter (DM) whose interactions with the visible sector fundamentally undulate in time, independent of celestial dynamics. A concrete example is provided by fermionic DM with an electric dipole moment (EDM) sourced by an oscillating axion-like field, resulting in undulations in the scattering rate. The discovery potential of light DM searches can be enhanced by additionally searching for undulating scattering rates, especially in detection regions where background rates are large and difficult to estimate, such as for DM masses in the vicinity of 1 MeV where DM-electron scattering dominantly populates the single electron bin. An undulating signal could also reveal precious dark sector information after discovery. In this regard we emphasise that, if the recent XENON1T excess of events is due to light DM scattering exothermically off electrons, future analyses of the time-dependence of events could offer clues as to the microscopic origins of the putative signal.


title: Measurement Error Mitigation in Quantum Computers Through Classical Bit-Flip Correction

abstract: We develop a classical bit-flip correction method to mitigate measurement errors on quantum computers. This method can be applied to any operator, any number of qubits, and any realistic bit-flip probability. We first demonstrate the successful performance of this method by correcting the noisy measurements of the ground-state energy of the longitudinal Ising model. We then generalize our results to arbitrary operators and test our method both numerically and experimentally on IBM quantum hardware. As a result, our correction method reduces the measurement error on the quantum hardware by up to one order of magnitude. We finally discuss how to pre-process the method and extend it to other errors sources beyond measurement errors. For local Hamiltonians, the overhead costs are polynomial in the number of qubits, even if multi-qubit correlations are included.


title: Parity of coefficients of mock theta functions

abstract: We study the parity of coefficients of classical mock theta functions. Suppose $g$ is a formal power series with integer coefficients, and let $c(g;n)$ be the coefficient of $q^n$ in its series expansion. We say that $g$ is of parity type $(a,1-a)$ if $c(g;n)$ takes even values with probability $a$ for $n\geq 0$. We show that among the 44 classical mock theta functions, 21 of them are of parity type $(1,0)$. We further conjecture that 19 mock theta functions are of parity type $(\frac{1}{2},\frac{1}{2})$ and 4 functions are of parity type $(\frac{3}{4},\frac{1}{4})$. We also give characterizations of $n$ such that $c(g;n)$ is odd for the mock theta functions of parity type $(1,0)$.


title: Weak del Pezzo surfaces with global vector fields

abstract: We classify smooth weak del Pezzo surfaces with global vector fields over an arbitrary algebraically closed field $k$ of arbitrary characteristic $p \geq 0$. We give a complete description of the configuration of $(-1)$- and $(-2)$-curves on these surfaces and calculate the identity component of their automorphism schemes. It turns out that there are $53$ distinct families of such surfaces if $p \neq 2,3$, while there are $61$ such families if $p = 3$, and $75$ such families if $p = 2$. Each of these families has at most one moduli. As a byproduct of our classification, it follows that weak del Pezzo surfaces with non-reduced automorphism scheme exist over $k$ if and only if $p \in \{2,3\}$.


title: A Diffusion Problem with Neumann Boundary Control Utilizing Total Mass

abstract: The author studies the diffusion problem $u_t=u_{xx},\ 0<x<1,\ t>0; \ u(x,0)=0,$ and $-u_x(0,t)=u_x(1,t)=\phi(t),$ where $\phi(t)$ is a control function that ensures that the total mass $\int_0^1 u(x,t_k)dx$ stays between two predetermined values. Mathematically, $\phi(t)=1$ for $t_{2k} < t<t_{2k+1}$ and $\phi(t)=-1$ for $t_{2k+1} <t<t_{2k+2},\ k=0,1,2,\ldots$ with $t_0=0$ and the sequence $t_{k}$ is determined by the equations $\int_0^1 u(x,t_k)dx = M,$ for $k=1,3,5,\dots,$ and $\int_0^1 u(x,t_k)dx = m,$ for $k=2,4,6,\dots$ and where $0<m<M<u_0$. Note that the switching times $t_k$ are unknowns. Determination of switching times $t_k$ and their differences $t_{k+1}-t_k$ are obtained. Numerical verifying examples are presented.


title: Large independent sets from local considerations

abstract: The following natural problem was raised independently by Erd\H{o}s-Hajnal and Linial-Rabinovich in the late 80's. How large must the independence number $\alpha(G)$ of a graph $G$ be whose every $m$ vertices contain an independent set of size $r$? In this paper we discuss new methods to attack this problem. The first new approach, based on bounding Ramsey numbers of certain graphs, allows us to improve previously best lower bounds due to Linial-Rabinovich, Erd\H{o}s-Hajnal and Alon-Sudakov. As an example, we prove that any $n$-vertex graph $G$ having an independent set of size $3$ among every $7$ vertices has $\alpha(G) \ge \Omega(n^{5/12})$. This confirms a conjecture of Erd\H{o}s and Hajnal that $\alpha(G)$ should be at least $n^{1/3+\varepsilon}$ and brings the exponent half-way to the best possible value of $1/2$. Our second approach deals with upper bounds. It relies on a reduction of the original question to the following natural extremal problem. What is the minimum possible value of the $2$-density of a graph on $m$ vertices having no independent set of size $r$? This allows us to improve previous upper bounds due to Linial-Rabinovich, Krivelevich and Kostochka-Jancey. As part of our arguments we link the problem of Erd\H{o}s-Hajnal and Linial-Rabinovich and our new extremal $2$-density problem to a number of other well-studied questions. This leads to many interesting directions for future research.


title: Near-tight closure bounds for Littlestone and threshold dimensions

abstract: We study closure properties for the Littlestone and threshold dimensions of binary hypothesis classes. Given classes $\mathcal{H}_1, \ldots, \mathcal{H}_k$ of Boolean functions with bounded Littlestone (respectively, threshold) dimension, we establish an upper bound on the Littlestone (respectively, threshold) dimension of the class defined by applying an arbitrary binary aggregation rule to $\mathcal{H}_1, \ldots, \mathcal{H}_k$. We also show that our upper bounds are nearly tight. Our upper bounds give an exponential (in $k$) improvement upon analogous bounds shown by Alon et al. (COLT 2020), thus answering a question posed by their work.


title: See, Hear, Explore: Curiosity via Audio-Visual Association

abstract: Exploration is one of the core challenges in reinforcement learning. A common formulation of curiosity-driven exploration uses the difference between the real future and the future predicted by a learned model. However, predicting the future is an inherently difficult task which can be ill-posed in the face of stochasticity. In this paper, we introduce an alternative form of curiosity that rewards novel associations between different senses. Our approach exploits multiple modalities to provide a stronger signal for more efficient exploration. Our method is inspired by the fact that, for humans, both sight and sound play a critical role in exploration. We present results on several Atari environments and Habitat (a photorealistic navigation simulator), showing the benefits of using an audio-visual association model for intrinsically guiding learning agents in the absence of external rewards. For videos and code, see https://vdean.github.io/audio-curiosity.html.


title: Imprint of anisotropic primordial non-Gaussianity on halo intrinsic alignments in simulations

abstract: Using $N$-body simulations of cosmological large-scale structure formation, for the first time, we show that the anisotropic primordial non-Gaussianity (PNG) causes a scale-dependent modification, given by $1/k^2$ at small $k$ limit, in the three-dimensional power spectra of halo shapes (intrinsic alignments), whilst the conventional power spectrum of halo number density field remains unaffected. We discuss that wide-area imaging and spectrocopic surveys observing the same region of the sky allow us to constrain the quadrupole PNG coefficient $f_{\rm NL}^{s=2}$ at a precision comparable with or better than that of the cosmic microwave background.


title: Correlating the Antisymmetrized Geminal Power Wave Function

abstract: Strong pairing correlations are responsible for superconductivity and off-diagonal long range order in the two-particle density matrix. The antisymmetrized geminal power wave function was championed many years ago as the simplest model that can provide a reasonable qualitative description for these correlations without breaking number symmetry. The fact remains, however, that the antisymmetrized geminal power is not generally quantitatively accurate in all correlation regimes. In this work, we discuss how we might use this wave function as a reference state for a more sophisticated correlation technique such as configuration interaction, coupled cluster theory, or the random phase approximation.


title: Long-term Human Motion Prediction with Scene Context

abstract: Human movement is goal-directed and influenced by the spatial layout of the objects in the scene. To plan future human motion, it is crucial to perceive the environment -- imagine how hard it is to navigate a new room with lights off. Existing works on predicting human motion do not pay attention to the scene context and thus struggle in long-term prediction. In this work, we propose a novel three-stage framework that exploits scene context to tackle this task. Given a single scene image and 2D pose histories, our method first samples multiple human motion goals, then plans 3D human paths towards each goal, and finally predicts 3D human pose sequences following each path. For stable training and rigorous evaluation, we contribute a diverse synthetic dataset with clean annotations. In both synthetic and real datasets, our method shows consistent quantitative and qualitative improvements over existing methods.


title: Universal flow equations and chaos bound saturation in 2d dilaton gravity

abstract: We show that several features of the Jackiw-Teitelboim model are in fact universal properties of two-dimensional Maxwell-dilaton gravity theories with a broad class of asymptotics. These theories satisfy a flow equation with the structure of a dimensionally reduced TTbar deformation, and exhibit chaotic behavior signaled by a maximal Lyapunov exponent. One consequence of our results is a no-go theorem for smooth flows from an asymptotically AdS2 region to a de Sitter fixed point.


title: Stability in Gagliardo-Nirenberg-Sobolev inequalities: flows, regularity and the entropy method

abstract: The purpose of this work is to establish a quantitative and constructive stability result for a class of subcritical Gagliardo-Nirenberg-Sobolev inequalities which interpolates between the logarithmic Sobolev inequality and the standard Sobolev inequality (in dimension larger than three), or Onofri's inequality in dimension two. We develop a new strategy, in which the flow of the fast diffusion equation is used as a tool: a stability result in the inequality is equivalent to an improved rate of convergence to equilibrium for the flow. The regularity properties of the parabolic flow allow us to connect an improved entropy - entropy production inequality during an initial time layer to spectral properties of a suitable linearized problem which is relevant for the asymptotic time layer. Altogether, the stability in the inequalities is measured by a deficit which controls in strong norms (a Fisher information which can be interpreted as a generalized Heisenberg uncertainty principle) the distance to the manifold of optimal functions. The method is constructive and, for the first time, quantitative estimates of the stability constant are obtained, including in the critical case of Sobolev's inequality. To build the estimates, we establish a quantitative global Harnack principle and perform a detailed analysis of large time asymptotics by entropy methods.


title: Tradespace analysis of GNSS Space Segment Architectures

abstract: Global Navigation Satellite Systems (GNSS) provide ubiquitous, continuous and reliable positioning, navigation and timing information around the world. However, GNSS space segment design decisions have been based on the precursor Global Positioning System (GPS), which was designed in the 70s. This paper revisits those early design decisions in view of major technological advancements and new GNSS environmental threats. The rich tradespace between User Navigation Error (UNE) performance and constellation deployment costs is explored and conclusions are complemented by sensitivity analysis and association rule mining. This study finds that constellations at an orbit altitude of ~2 Earth radii can outperform existing GNSS in terms of cost, robustness and UNE. These insights should be taken into account when designing future generations of GNSS.


title: Information-Based Model Discrimination for Digital Twin Behavioral Matching

abstract: Digital Twin is a breaking technology that allows creating virtual representations of complex physical systems based on updated information of the system and its physical laws. However, making the Digital Twin behavior matching with the real system can be challenging due to the number of unknown parameters in each twin. Its search can be done using optimization-based techniques, producing a family of models based on different system datasets, so, a discrimination criterion is required to determine the best Digital Twin model. This paper presents an information theory-based discrimination criterion to determine the best Digital Twin model resulting from a behavioral matching process. The information gain of a model is employed as a discrimination criterion. Box-Jenkins models are used to define the family of models for each behavioral matching result. The proposed method is compared with other information-based metrics as well as the $\nu$gap metric. As a study case, the discrimination method is applied to the Digital Twin for a real-time vision feedback infrared temperature uniformity control system. Obtained results show that information-based methodologies are useful for selecting an accurate Digital Twin model representing the system among a family of plants