title: Exact and approximate analytic solutions in the SIR epidemic model

abstract: In this work, some new exact and approximate analytical solutions are obtained for the SIR epidemic model, which is formulated in terms of dimensionless variables and parameters. The susceptibles population (S) is in this way explicitly related to the infectives population (I) using the Lambert W function (both the principal and the secondary branches). A simple and accurate relation for the fraction of the population that does not catch the disease is also obtained. The explicit time dependences of the susceptibles, infectives and removed populations, as well as that of the epidemic curve are also modelled with good accuracy for any value of R0 (basic multiplication number) using simple functions that are modified solutions of the R0 -> infinity limiting case (logistic curve). It is also shown that for I0 << S0 the effect of a change in the ratio I0/S0 on the population evolution curves amounts to a time shift, their shape and relative position being unaffected.


title: Holographic subdiffusion

abstract: We initiate a study of finite temperature transport in gapless and strongly coupled quantum theories with charge and dipole conservation using gauge-gravity duality. In a model with non-dynamical gravity, the bulk fields of our model include a suitable mixed-rank tensor which encodes the boundary multipole symmetry. We describe how such a theory can arise at low energies in a theory with a covariant bulk action. Studying response functions at zero density, we find that charge relaxes via a fourth-order subdiffusion equation, consistent with a recently-developed field-theoretic framework.


title: Dynamical Inflection Point Inflation

abstract: We provide a mechanism to obtain multiple inflection points for the inflaton potential based on the Coleman-Weinberg potential. The key ingredient is the existence of zeros of the inflaton quartic coupling beta function, which can be simply realized by a sign change of a gauge coupling beta function at a massive threshold scale in gauge-Yukawa models. A universal inflaton potential emerges for a wide range of models and can accommodate the experimental data in the small-field inflation scenario. While the ratio of tensor over scalar amplitudes is predicted to be small, the running of the scalar spectral index, $\alpha_s$, has branches with both positive and negative values. The positive branch with $\alpha_s \gtrsim 0.002$ will be tested by the coming cosmic microwave background experiments.


title: Properties of DBD Plasma Jets using Powered Electrode With and Without Contact with the Plasma

abstract: An experimental investigation comparing the properties of plasma jets in dielectric barrier discharge (DBD) configurations using a powered electrode with and without a dielectric barrier, while keeping a second dielectric barrier over the grounded electrode, is reported in this work. For this purpose, two different power sources were used to produce the plasma jets, with one of them producing a pulsed high-voltage (HV) output and the other one producing a pulse-like HV output, which consists of a damped sine HV waveform. Measurements of plasma parameters were performed for both configurations using argon and helium as working gases. As a result, if the pulsed power source is used, significant differences were found in discharge power ($P_{plasma}$), rotational and vibrational temperatures ($T_r$ and $T_v$, respectively) when switching from one configuration to the other. On the other hand, using the pulse-like HV only the $P_{plasma}$ parameter presented significant differences when switching the electrode's configuration. For the pulsed source it has been observed that despite the remarkable increase in $P_{plasma}$ when changing from the double barrier configuration to the single barrier one, the values obtained for $T_r$ and $T_v$ also increased, but not in the same proportion as the increase in $P_{plasma}$, which suggests a non-linear dependency between temperatures and discharge power in the plasma jet. As an example for application of plasmas in both configurations, tests in an attempt to remove copper films deposited on alumina substrates were performed and, as a result, there was significant material removal only when the powered electrode was in contact with the plasma. As a general conclusion, if higher power is really required for some application it is better to use this configuration.


title: MPCC: Matching Priors and Conditionals for Clustering

abstract: Clustering is a fundamental task in unsupervised learning that depends heavily on the data representation that is used. Deep generative models have appeared as a promising tool to learn informative low-dimensional data representations. We propose Matching Priors and Conditionals for Clustering (MPCC), a GAN-based model with an encoder to infer latent variables and cluster categories from data, and a flexible decoder to generate samples from a conditional latent space. With MPCC we demonstrate that a deep generative model can be competitive/superior against discriminative methods in clustering tasks surpassing the state of the art over a diverse set of benchmark datasets. Our experiments show that adding a learnable prior and augmenting the number of encoder updates improve the quality of the generated samples, obtaining an inception score of 9.49 $\pm$ 0.15 and improving the Fr\'echet inception distance over the state of the art by a 46.9% in CIFAR10.


title: The large-N partition function for non-parity-invariant Chern-Simons-matter theories

abstract: We extend the Fermi gas approach to a class of ABJM-like necklace quiver theories without parity invariance. The resulting partition function on $S^3$ retains the form of an Airy function, but now includes a phase that scales as $Nk$ in the large-$N$ limit where $k$ is an overall Chern-Simons level. We demonstrate the presence of this phase both analytically and numerically in the case of a three node quiver.


title: Privacy Preserving Recalibration under Domain Shift

abstract: Classifiers deployed in high-stakes real-world applications must output calibrated confidence scores, i.e. their predicted probabilities should reflect empirical frequencies. Recalibration algorithms can greatly improve a model's probability estimates; however, existing algorithms are not applicable in real-world situations where the test data follows a different distribution from the training data, and privacy preservation is paramount (e.g. protecting patient records). We introduce a framework that abstracts out the properties of recalibration problems under differential privacy constraints. This framework allows us to adapt existing recalibration algorithms to satisfy differential privacy while remaining effective for domain-shift situations. Guided by our framework, we also design a novel recalibration algorithm, accuracy temperature scaling, that outperforms prior work on private datasets. In an extensive empirical study, we find that our algorithm improves calibration on domain-shift benchmarks under the constraints of differential privacy. On the 15 highest severity perturbations of the ImageNet-C dataset, our method achieves a median ECE of 0.029, over 2x better than the next best recalibration method and almost 5x better than without recalibration.


title: Blending of Learning-based Tracking and Object Detection for Monocular Camera-based Target Following

abstract: Deep learning has recently started being applied to visual tracking of generic objects in video streams. For the purposes of robotics applications, it is very important for a target tracker to recover its track if it is lost due to heavy or prolonged occlusions or motion blur of the target. We present a real-time approach which fuses a generic target tracker and object detection module with a target re-identification module. Our work focuses on improving the performance of Convolutional Recurrent Neural Network-based object trackers in cases where the object of interest belongs to the category of \emph{familiar} objects. Our proposed approach is sufficiently lightweight to track objects at 85-90 FPS while attaining competitive results on challenging benchmarks.


title: Urban Bike Lane Planning with Bike Trajectories: Models, Algorithms, and a Real-World Case Study

abstract: We study an urban bike lane planning problem based on the fine-grained bike trajectory data, which is made available by smart city infrastructure such as bike-sharing systems. The key decision is where to build bike lanes in the existing road network. As bike-sharing systems become widespread in the metropolitan areas over the world, bike lanes are being planned and constructed by many municipal governments to promote cycling and protect cyclists. Traditional bike lane planning approaches often rely on surveys and heuristics. We develop a general and novel optimization framework to guide the bike lane planning from bike trajectories. We formalize the bike lane planning problem in view of the cyclists' utility functions and derive an integer optimization model to maximize the utility. To capture cyclists' route choices, we develop a bilevel program based on the Multinomial Logit model. We derive structural properties about the base model and prove that the Lagrangian dual of the bike lane planning model is polynomial-time solvable. Furthermore, we reformulate the route choice based planning model as a mixed integer linear program using a linear approximation scheme. We develop tractable formulations and efficient algorithms to solve the large-scale optimization problem. Via a real-world case study with a city government, we demonstrate the efficiency of the proposed algorithms and quantify the trade-off between the coverage of bike trips and continuity of bike lanes. We show how the network topology evolves according to the utility functions and highlight the importance of understanding cyclists' route choices. The proposed framework drives the data-driven urban planning scheme in smart city operations management.


title: HRVGAN: High Resolution Video Generation using Spatio-Temporal GAN

abstract: In this paper, we present a novel network for high resolution video generation. Our network uses ideas from Wasserstein GANs by enforcing k-Lipschitz constraint on the loss term and Conditional GANs using class labels for training and testing. We present Generator and Discriminator network layerwise details along with the combined network architecture, optimization details and algorithm used in this work. Our network uses a combination of two loss terms: mean square pixel loss and an adversarial loss. The datasets used for training and testing our network are UCF101, Golf and Aeroplane Datasets. Using Inception Score and Fr\'echet Inception Distance as the evaluation metrics, our network outperforms previous state of the art networks on unsupervised video generation.


title: Generating synthetic photogrammetric data for training deep learning based 3D point cloud segmentation models

abstract: At I/ITSEC 2019, the authors presented a fully-automated workflow to segment 3D photogrammetric point-clouds/meshes and extract object information, including individual tree locations and ground materials (Chen et al., 2019). The ultimate goal is to create realistic virtual environments and provide the necessary information for simulation. We tested the generalizability of the previously proposed framework using a database created under the U.S. Army's One World Terrain (OWT) project with a variety of landscapes (i.e., various buildings styles, types of vegetation, and urban density) and different data qualities (i.e., flight altitudes and overlap between images). Although the database is considerably larger than existing databases, it remains unknown whether deep-learning algorithms have truly achieved their full potential in terms of accuracy, as sizable data sets for training and validation are currently lacking. Obtaining large annotated 3D point-cloud databases is time-consuming and labor-intensive, not only from a data annotation perspective in which the data must be manually labeled by well-trained personnel, but also from a raw data collection and processing perspective. Furthermore, it is generally difficult for segmentation models to differentiate objects, such as buildings and tree masses, and these types of scenarios do not always exist in the collected data set. Thus, the objective of this study is to investigate using synthetic photogrammetric data to substitute real-world data in training deep-learning algorithms. We have investigated methods for generating synthetic UAV-based photogrammetric data to provide a sufficiently sized database for training a deep-learning algorithm with the ability to enlarge the data size for scenarios in which deep-learning models have difficulties.


title: Semantic Segmentation and Data Fusion of Microsoft Bing 3D Cities and Small UAV-based Photogrammetric Data

abstract: With state-of-the-art sensing and photogrammetric techniques, Microsoft Bing Maps team has created over 125 highly detailed 3D cities from 11 different countries that cover hundreds of thousands of square kilometer areas. The 3D city models were created using the photogrammetric technique with high-resolution images that were captured from aircraft-mounted cameras. Such a large 3D city database has caught the attention of the US Army for creating virtual simulation environments to support military operations. However, the 3D city models do not have semantic information such as buildings, vegetation, and ground and cannot allow sophisticated user-level and system-level interaction. At I/ITSEC 2019, the authors presented a fully automated data segmentation and object information extraction framework for creating simulation terrain using UAV-based photogrammetric data. This paper discusses the next steps in extending our designed data segmentation framework for segmenting 3D city data. In this study, the authors first investigated the strengths and limitations of the existing framework when applied to the Bing data. The main differences between UAV-based and aircraft-based photogrammetric data are highlighted. The data quality issues in the aircraft-based photogrammetric data, which can negatively affect the segmentation performance, are identified. Based on the findings, a workflow was designed specifically for segmenting Bing data while considering its characteristics. In addition, since the ultimate goal is to combine the use of both small unmanned aerial vehicle (UAV) collected data and the Bing data in a virtual simulation environment, data from these two sources needed to be aligned and registered together. To this end, the authors also proposed a data registration workflow that utilized the traditional iterative closest point (ICP) with the extracted semantic information.


title: Multiscale statistical physics of the Human-SARS-CoV-2 interactome

abstract: Protein-protein interaction (PPI) networks have been used to investigate the influence of SARS-CoV-2 viral proteins on the function of human cells, laying out a deeper understanding of COVID--19 and providing ground for drug repurposing strategies. However, our knowledge of (dis)similarities between this one and other viral agents is still very limited. Here we compare the novel coronavirus PPI network against 45 known viruses, from the perspective of statistical physics. Our results show that classic analysis such as percolation is not sensitive to the distinguishing features of viruses, whereas the analysis of biochemical spreading patterns allows us to meaningfully categorize the viruses and quantitatively compare their impact on human proteins. Remarkably, when Gibbsian-like density matrices are used to represent each system's state, the corresponding macroscopic statistical properties measured by the spectral entropy reveals the existence of clusters of viruses at multiple scales. Overall, our results indicate that SARS-CoV-2 exhibits similarities to viruses like SARS-CoV and Influenza A at small scales, while at larger scales it exhibits more similarities to viruses such as HIV1 and HTLV1.


title: Comparison of non-parametric global envelopes

abstract: This study presents a simulation study to compare different non-parametric global envelopes that are refinements of the rank envelope proposed by Myllym\"aki et al. (2017, Global envelope tests for spatial processes, J. R. Statist. Soc. B 79, 381-404, doi: 10.1111/rssb.12172). The global envelopes are constructed for a set of functions or vectors. For a large number of vectors, all the refinements lead to the same outcome as the global rank envelope. For smaller numbers of vectors the refinement playes a role, where different refinements are sensitive to different types of extremeness of a vector among the set of vectors. The performance of the different alternatives are compared in a simulation study with respect to the numbers of available vectors, the dimensionality of the vectors, the amount of dependence between the vector elements and the expected type of extremeness.


title: Subelliptic pseudo-differential operators and Fourier integral operators on compact Lie groups

abstract: In this memoir we extend the theory of global pseudo-differential operators to the setting of arbitrary sub-Riemannian structures on a compact Lie group. More precisely, given a compact Lie group $G$, and the sub-Laplacian $\mathcal{L}$ associated to a system of vector fields $X=\{X_1,\cdots,X_k\}$ satisfying the H\"ormander condition, we introduce a (subelliptic) pseudo-differential calculus associated to $\mathcal{L},$ based on the matrix-valued quantisation process developed in [138]. This theory will be developed as follows. First, we will investigate the singular kernels of this calculus, estimates of $L^p$-$L^p$, $H^1$-$L^1$, $L^\infty$-$BMO$ type and also the weak (1,1) boundedness of these subelliptic H\"ormander classes. Between the obtained estimates we prove subelliptic versions of the celebrated sharp Fefferman $L^p$-theorem and the Calder\'on-Vaillancourt theorem. The obtained estimates will be used to establish the boundedness of subelliptic operators on subelliptic Sobolev and Besov spaces. We will investigate the ellipticity, the construction of parametrices, the heat traces and the regularisation of traces for the developed subelliptic calculus. A subelliptic global functional calculus will be established as well as a subelliptic version of Hulanicki theorem. The approach established in characterising our subelliptic H\"ormander classes (by proving that the definition of these classes is independent of certain parameters) will be also applied in order to characterise the global H\"ormander classes on arbitrary graded Lie groups developed in [90].


title: Constructing massive on-shell contact terms

abstract: The purely on-shell approach to effective field theories requires the construction of independent contact terms. Employing the little-group-covariant massive-spinor formalism, we present the first systematic derivation of independent four-point contact terms involving massive scalars, spin-1/2 fermions, and vectors. Independent three-point amplitudes are also listed for massive particles up to spin-3. We make extensive use of the simple relations between massless and massive amplitudes in this formalism. Our general results are specialized to the (broken-phase) particle content of the electroweak sector of the standard model. The (anti)symmetrization among identical particles is then accounted for. This work opens the way for the on-shell computation of massive four-point amplitudes.


title: Search for a moving target in a competitive environment

abstract: We consider a discrete-time dynamic search game in which a number of players compete to find an invisible object that is moving according to a time-varying Markov chain. We examine the subgame perfect equilibria of these games. The main result of the paper is that the set of subgame perfect equilibria is exactly the set of greedy strategy profiles, i.e. those strategy profiles in which the players always choose an action that maximizes their probability of immediately finding the object. We discuss various variations and extensions of the model.


title: Metrics and Ambits and Sprawls, Oh My

abstract: A follow-up to my previous tutorial on metric indexing, this paper walks through the classic structures, placing them all in the context of the recently proposed "sprawl of ambits" framework. The indexes are presented as configurations of a single, more general structure, all queried using the same search procedure.


title: DeepLandscape: Adversarial Modeling of Landscape Video

abstract: We build a new model of landscape videos that can be trained on a mixture of static landscape images as well as landscape animations. Our architecture extends StyleGAN model by augmenting it with parts that allow to model dynamic changes in a scene. Once trained, our model can be used to generate realistic time-lapse landscape videos with moving objects and time-of-the-day changes. Furthermore, by fitting the learned models to a static landscape image, the latter can be reenacted in a realistic way. We propose simple but necessary modifications to StyleGAN inversion procedure, which lead to in-domain latent codes and allow to manipulate real images. Quantitative comparisons and user studies suggest that our model produces more compelling animations of given photographs than previously proposed methods. The results of our approach including comparisons with prior art can be seen in supplementary materials and on the project page https://saic-mdal.github.io/deep-landscape


title: Auditing Digital Platforms for Discrimination in Economic Opportunity Advertising

abstract: Digital platforms, including social networks, are major sources of economic information. Evidence suggests that digital platforms display different socioeconomic opportunities to demographic groups. Our work addresses this issue by presenting a methodology and software to audit digital platforms for bias and discrimination. To demonstrate, an audit of the Facebook platform and advertising network was conducted. Between October 2019 and May 2020, we collected 141,063 ads from the Facebook Ad Library API. Using machine learning classifiers, each ad was automatically labeled by the primary marketing category (housing, employment, credit, political, other). For each of the categories, we analyzed the distribution of the ad content by age group and gender. From the audit findings, we considered and present the limitations, needs, infrastructure and policies that would enable researchers to conduct more systematic audits in the future and advocate for why this work must be done. We also discuss how biased distributions impact what socioeconomic opportunities people have, especially when on digital platforms some demographic groups are disproportionately excluded from the population(s) that receive(s) content regulated by law.


title: GraphReach: Position-Aware Graph Neural Network using Reachability Estimations

abstract: Majority of the existing graph neural networks (GNN) learn node embeddings that encode their local neighborhoods but not their positions. Consequently, two nodes that are vastly distant but located in similar local neighborhoods map to similar embeddings in those networks. This limitation prevents accurate performance in predictive tasks that rely on position information. In this paper, we develop GraphReach, a position-aware inductive GNN that captures the global positions of nodes through reachability estimations with respect to a set of anchor nodes. The anchors are strategically selected so that reachability estimations across all the nodes are maximized. We show that this combinatorial anchor selection problem is NP-hard and, consequently, develop a greedy (1-1/e) approximation heuristic. Empirical evaluation against state-of-the-art GNN architectures reveal that GraphReach provides up to 40% relative improvement in accuracy. In addition, it is more robust to adversarial attacks.


title: Particle sliding on a turntable in the presence of frictional forces

abstract: Motion of a point particle sliding on a turntable is studied. The equations of motion are derived assuming that the table exerts frictional force on the particle, which is of constant magnitude and directed opposite to the direction of motion of the particle relative to the turntable. After expressing the equations in terms of dimensionless variables, some of the general properties of the solutions are discussed. Approximate analytic solutions are found for the cases in which (i) the particle is released from rest with respect to the lab frame and, (ii) the particle is released from rest with respect to the turntable. The equations are then solved numerically to get a more complete understanding of the motion. It is found that one can define an escape speed for the particle which is the minimum speed required to get the particle to move off to infinity. The escape speed is a function of the distance from the center of the turntable and for a given distance from the center, it depends on the direction of initial velocity. A qualitative explanation of this behavior is given in terms of the fictitious forces. Numerical study also indicates an alternative way for measuring the coefficient of friction between the particle and the turntable.


title: Efficient neural speech synthesis for low-resource languages through multilingual modeling

abstract: Recent advances in neural TTS have led to models that can produce high-quality synthetic speech. However, these models typically require large amounts of training data, which can make it costly to produce a new voice with the desired quality. Although multi-speaker modeling can reduce the data requirements necessary for a new voice, this approach is usually not viable for many low-resource languages for which abundant multi-speaker data is not available. In this paper, we therefore investigated to what extent multilingual multi-speaker modeling can be an alternative to monolingual multi-speaker modeling, and explored how data from foreign languages may best be combined with low-resource language data. We found that multilingual modeling can increase the naturalness of low-resource language speech, showed that multilingual models can produce speech with a naturalness comparable to monolingual multi-speaker models, and saw that the target language naturalness was affected by the strategy used to add foreign language data.


title: Deletion to Induced Matching

abstract: In the DELETION TO INDUCED MATCHING problem, we are given a graph $G$ on $n$ vertices, $m$ edges and a non-negative integer $k$ and asks whether there exists a set of vertices $S \subseteq V(G) $ such that $|S|\le k$ and the size of any connected component in $G-S$ is exactly 2. In this paper, we provide a fixed-parameter tractable (FPT) algorithm of running time $O^*(1.748^{k})$ for the DELETION TO INDUCED MATCHING problem using branch-and-reduce strategy and path decomposition. We also extend our work to the exact-exponential version of the problem.


title: Training Sparse Neural Networks using Compressed Sensing

abstract: Pruning the weights of neural networks is an effective and widely-used technique for reducing model size and inference complexity. We develop and test a novel method based on compressed sensing which combines the pruning and training into a single step. Specifically, we utilize an adaptively weighted $\ell^1$ penalty on the weights during training, which we combine with a generalization of the regularized dual averaging (RDA) algorithm in order to train sparse neural networks. The adaptive weighting we introduce corresponds to a novel regularizer based on the logarithm of the absolute value of the weights. We perform a series of ablation studies demonstrating the improvement provided by the adaptive weighting and generalized RDA algorithm. Furthermore, numerical experiments on the CIFAR-10, CIFAR-100, and ImageNet datasets demonstrate that our method 1) trains sparser, more accurate networks than existing state-of-the-art methods; 2) can be used to train sparse networks from scratch, i.e. from a random initialization, as opposed to initializing with a well-trained base model; 3) acts as an effective regularizer, improving generalization accuracy.


title: Biased Mixtures Of Experts: Enabling Computer Vision Inference Under Data Transfer Limitations

abstract: We propose a novel mixture-of-experts class to optimize computer vision models in accordance with data transfer limitations at test time. Our approach postulates that the minimum acceptable amount of data allowing for highly-accurate results can vary for different input space partitions. Therefore, we consider mixtures where experts require different amounts of data, and train a sparse gating function to divide the input space for each expert. By appropriate hyperparameter selection, our approach is able to bias mixtures of experts towards selecting specific experts over others. In this way, we show that the data transfer optimization between visual sensing and processing can be solved as a convex optimization problem.To demonstrate the relation between data availability and performance, we evaluate biased mixtures on a range of mainstream computer vision problems, namely: (i) single shot detection, (ii) image super resolution, and (iii) realtime video action classification. For all cases, and when experts constitute modified baselines to meet different limits on allowed data utility, biased mixtures significantly outperform previous work optimized to meet the same constraints on available data.


title: Small-area Population Forecast in a Segregated City using Density-Functional Fluctuation Theory

abstract: Decisions regarding housing, transportation, and resource allocation would all benefit from accurate small-area population forecasts. While various tried-and-tested forecast methods exist at regional scales, developing an accurate neighborhood-scale forecast remains a challenge partly due to complex drivers of residential choice ranging from housing policies to social preferences and economic status that cumulatively cause drastic neighborhood-scale segregation. Here, we show how to forecast the dynamics of neighborhood-scale demographics by extending a novel statistical physics approach called Density-Functional Fluctuation Theory (DFFT) to multi-component time-dependent systems. In particular, this technique observes the fluctuations in neighborhood-scale demographics to extract effective drivers of segregation. As a demonstration, we simulate a segregated city using a Schelling-type segregation model, and found that DFFT accurately predicts how a city-scale demographic change trickles down to block scales. Should these results extend to actual human populations, DFFT could capitalize on the recent advances in demographic data collection and regional-scale forecasts to improve upon current small-area population forecasts.


title: Properties of the spherically symmetric polymer black holes

abstract: In this paper we systematically study a five-parameters class of spherically symmetric polymer black/white hole solutions, and find that only three independent combinations are physical and uniquely determine the spacetime properties. After exploring the whole 3-dimensional (3D) phase space, we find that the model has very rich physics, and depending on the choice of these parameters, various possibilities exist, including: (i) spacetimes that have the standard black/white hole structures, that is, spacetimes that are free of spacetime curvature singularities and possess two asymptotically flat regions, which are connected by a transition surface (throat) with a finite and non-zero geometric radius. The black/white hole masses measured by observers in the two asymptotically flat regions are all positive, and the surface gravity of the black (white) hole is positive (negative). (ii) Spacetimes that have wormhole-like structures, in which the two masses are all positive, but no horizons exist.(iii) Spacetimes that still possess curvature singularities, which can be either hidden inside trapped regions or naked. However, such spacetimes correspond to only some limit cases, and the necessary (but not sufficient) condition is that at least one of the two "polymerization" parameters vanishes. In addition, even for solar mass black/white holes, quantum gravitational effects can be still very large at the black/white hole horizons, again depending on the choice of the parameters.


title: Super efficiency of efficient geodesics in the complex of curves

abstract: We show that efficient geodesics have the strong property of "super efficiency". For any two vertices, $v , w \in \mathcal{C}(S_g)$, in the complex of curves of a closed oriented surface of genus $g \geq 2 $, and any efficient geodesic, $v = v_1 , \cdots , v_{{\text d}}=w$, it was previously established by Birman, Margalit and the second author (see arXiv:1408.4133) that there is an explicitly computable list of at most ${\text d}^{(6g-6)}$ candidates for the $v_1$ vertex. In this note we establish a bound for this computable list that is independent of ${\text d}$-distance and only dependent on genus -- the super efficiency property. The proof relies on a new intersection growth inequality between intersection number of curves and their distance in the complex of curves, together with a thorough analysis of the dot graph associated with the intersection sequence.


abstract: A weighted relative isoperimetric inequality in convex cones is obtained via the Monge-Ampere equation. The method improves several inequalities in the literature, e.g. constants in a theorem of Cabre--Ros--Oton--Serra. Applications are given in the context of a generalization of the log-convex density conjecture due to Brakke and resolved by Chambers: in the case of $\alpha-$homogeneous ($\alpha>0$), concave densities, (mod translations) balls centered at the origin and intersected with the cone are proved to uniquely minimize the weighted perimeter with a weighted mass constraint. In particular, if the cone is taken to be $\{x_n>0\}$, reflecting the density, balls intersected with $\{x_n>0\}$ remain (mod translations) unique minimizers in the $\mathbb{R}^n$ analog in the case when the density vanishes on $\{x_n=0\}$.


title: A Blockchain Transaction Graph based Machine Learning Method for Bitcoin Price Prediction

abstract: Bitcoin, as one of the most popular cryptocurrency, is recently attracting much attention of investors. Bitcoin price prediction task is consequently a rising academic topic for providing valuable insights and suggestions. Existing bitcoin prediction works mostly base on trivial feature engineering, that manually designs features or factors from multiple areas, including Bticoin Blockchain information, finance and social media sentiments. The feature engineering not only requires much human effort, but the effectiveness of the intuitively designed features can not be guaranteed. In this paper, we aim to mining the abundant patterns encoded in bitcoin transactions, and propose k-order transaction graph to reveal patterns under different scope. We propose the transaction graph based feature to automatically encode the patterns. A novel prediction method is proposed to accept the features and make price prediction, which can take advantage from particular patterns from different history period. The results of comparison experiments demonstrate that the proposed method outperforms the most recent state-of-art methods.


title: Comparison of Shape Derivatives using CutFEM for Ill-posed Bernoulli Free Boundary Problem

abstract: In this paper we discuss a level set approach for the identification of an unknown boundary in a computational domain. The problem takes the form of a Bernoulli problem where only the Dirichlet datum is known on the boundary that is to be identified, but additional information on the Neumann condition is available on the known part of the boundary. The approach uses a classical constrained optimization problem, where a cost functional is minimized with respect to the unknown boundary, the position of which is defined implicitly by a level set function. To solve the optimization problem a steepest descent algorithm using shape derivatives is applied. In each iteration the cut finite element method is used to obtain high accuracy approximations of the pde-model constraint for a given level set configuration without re-meshing. We consider three different shape derivatives. First the classical one, derived using the continuous optimization problem (optimize then discretize). Then the functional is first discretized using the CutFEM method and the shape derivative is evaluated on the finite element functional (discretize then optimize). Finally we consider a third approach, also using a discretized functional. In this case we do not perturb the domain, but consider a so-called boundary value correction method, where a small correction to the boundary position may be included in the weak boundary condition. Using this correction the shape derivative may be obtained by perturbing a distance parameter in the discrete variational formulation. The theoretical discussion is illustrated with a series of numerical examples showing that all three approaches produce similar result on the proposed Bernoulli problem.


title: Asymptotics of Chebyshev Polynomials, V. Residual Polynomials

abstract: We study residual polynomials, $R_{x_0,n}^{(\mathfrak{e})}$, $\mathfrak{e}\subset\mathbb{R}$, $x_0\in\mathbb{R}\setminus\mathfrak{e}$, which are the degree at most $n$ polynomials with $R(x_0)=1$ that minimize the $\sup$ norm on $\mathfrak{e}$. New are upper bounds on their norms (that are optimal in some cases) and Szeg\H{o}--Widom asymptotics under fairly general circumstances. We also discuss several illuminating examples and some results in the complex case.


title: Early Autism Spectrum Disorders Diagnosis Using Eye-Tracking Technology

abstract: While the number of children with diagnosed autism spectrum disorder (ASD) continues to rise from year to year, there is still no universal approach to autism diagnosis and treatment. A great variety of different tools and approaches for the on-site diagnostic are available right now, however, a big percent of parents have no access to them and they tend to search for the available tools and correction programs on the Internet. Lack of money, absence of qualified specialists, and low level of trust to the correction methods are the main issues that affect the in-time diagnoses of ASD and which need to be solved to get the early treatment for the little patients. Understanding the importance of this issue our team decided to investigate new methods of the online autism diagnoses and develop the algorithm that will be able to predict the chances of ASD according to the information from the gaze activity of the child. The results that we got during the experiments show supported our idea that eye-tracking technology is one of the most promising tools for the early detection of the eye-movement features that can be markers of the ASD. Moreover, we have conducted a series of experiments to ensure that our approach has a reliable result on the cheap webcam systems. Thus, this approach can be used as an additional first screening tool for the home monitoring of the early child development and ASD connected disorders monitoring. The further development of eye-tracking based autism diagnosis has a big potential of usage and can be further implemented in the daily practice for practical specialists and parents.


title: Estimating the outcomes of common envelope evolution in triple stellar systems

abstract: We present a new model describing the evolution of triple stars which undergo common envelope evolution, using a combination of analytic and numerical techniques. The early stages of evolution are driven by dynamical friction with the envelope, which causes the outer triple orbit to shrink faster than the inner binary. In most cases, this leads to a chaotic dynamical interaction between the three stars, culminating in the ejection of one of the stars from the triple. This ejection and resulting recoil on the remnant binary are sufficient to eject all three stars from the envelope, which expands and dissipates after the stars have escaped. These results have implications for the properties of post-common envelope triples: they may only exist in cases where the envelope was ejected before the onset of dynamical instability, the likelihood of which depends on the initial binary separation and the envelope structure. In cases where the triple becomes dynamically unstable, the triple does not survive and the envelope dissipates without forming a planetary nebula.


title: Towards Autonomous Driving: a Multi-Modal 360$^{\circ}$ Perception Proposal

abstract: In this paper, a multi-modal 360$^{\circ}$ framework for 3D object detection and tracking for autonomous vehicles is presented. The process is divided into four main stages. First, images are fed into a CNN network to obtain instance segmentation of the surrounding road participants. Second, LiDAR-to-image association is performed for the estimated mask proposals. Then, the isolated points of every object are processed by a PointNet ensemble to compute their corresponding 3D bounding boxes and poses. Lastly, a tracking stage based on Unscented Kalman Filter is used to track the agents along time. The solution, based on a novel sensor fusion configuration, provides accurate and reliable road environment detection. A wide variety of tests of the system, deployed in an autonomous vehicle, have successfully assessed the suitability of the proposed perception stack in a real autonomous driving application.


title: Another Unorthodox Introduction to QCD and now Machine Learning

abstract: These are lecture notes presented at the online 2020 Hadron Collider Physics Summer School hosted by Fermilab. These are an extension of lectures presented at the 2017 and 2018 CTEQ summer schools in arXiv:1709.06195 and still introduces perturbative QCD and its application to jet substructure from a bottom-up perspective based on the approximation of QCD as a weakly-coupled, conformal field theory. With machine learning becoming an increasingly important tool of particle physics, I discuss its utility exclusively from the biased view for increasing human knowledge. A simple argument that the likelihood for quark versus gluon discrimination is infrared and collinear safe is presented as an example of this approach. End-of-lecture exercises are also provided.


title: Eco-Routing Navigation System for Electric Vehicles

abstract: The goal of this project is to determine the feasibility of calculating a travel route for an electric vehicle (EV) that will require the least amount of energy for the trip, and thus extending the range of the EV. To achieve this goal, the research team set up several objectives, including 1) to demonstrate the accuracy of measurements from the data acquisition system; 2) to demonstrate the validity of the proposed algorithm in estimating energy consumption of the test EV (2013 NISSAN LEAF) in real-time; and 3) to demonstrate the benefit from the prototype system in terms energy savings for the test EV. The results from the project show that the proposed system can fulfill the aforementioned objectives and provide up to 51% of energy reduction, compared with the conventional navigation strategies (i.e., shortest travel distance and least travel duration).


title: Multiwavelength Study of High-Redshift Blazars

abstract: High-redshift blazars are among the most powerful objects in the Universe. The spectral and temporal properties of thirty-three distant blazars ($z>2.5$) detected in the high energy $\gamma$-ray band are investigated by analyzing the {\it Fermi}-LAT and {\it Swift} UVOT/ XRT data. The considered sources have soft time averaged $\gamma$-ray spectra ($\Gamma_{\rm \gamma}\geq2.2$) whereas those that have been observed in the X-ray band have hard X-ray spectra ($\Gamma_{\rm X}=1.01-1.86$). The $\gamma$-ray flux of high-redshift blazars ranges from $4.84\times10^{-10}$ to $1.50\times10^{-7}\:{\rm photon\:cm^{-2}\:s^{-1}}$ and the luminosity is within $(0.10-5.54)\times10^{48}\:{\rm erg\:s^{-1}}$ which during the $\gamma$-ray flares increases up to $(0.1-1)\times10^{50}\:{\rm erg\:s^{-1}}$. In the X-ray band, only the emission of PKS 0438-43, B2 0743+25 and TXS 0222+185 is found to vary in different Swift XRT observations whereas in the $\gamma$-ray band, the emission is variable for fourteen sources: the flux of B3 1343+451 and PKS 0537-286 changes in sub-day scales, that of PKS 0347-211 and PKS 0451-28 in day scales, while the$\gamma$-ray variability of the others is in week or month scales. The properties of distant blazar jets are derived by modeling the multiwavelength spectral energy distributions within a one-zone leptonic scenario assuming that the X-ray and $\gamma$-ray emissions are produced from inverse Compton scattering of synchrotron and dusty torus photons. From the fitting, the emission region size is found to be $\leq0.05$ pc and the magnetic field and the Doppler factor are correspondingly within $0.10-1.74$ G and $10.0-27.4$. By modeling the optical-UV excess, we found that the central black hole masses and accretion disk luminosities are within $L_{\rm d}\simeq(1.09-10.94)\times10^{46}\:{\rm erg \: s^{-1}}$ and $(1.69-5.35)\times10^{9}\:M_\odot$, respectively.


title: Abstractive Summarization of Spoken and Written Instructions with BERT

abstract: Summarization of speech is a difficult problem due to the spontaneity of the flow, disfluencies, and other issues that are not usually encountered in written texts. Our work presents the first application of the BERTSum model to conversational language. We generate abstractive summaries of narrated instructional videos across a wide variety of topics, from gardening and cooking to software configuration and sports. In order to enrich the vocabulary, we use transfer learning and pretrain the model on a few large cross-domain datasets in both written and spoken English. We also do preprocessing of transcripts to restore sentence segmentation and punctuation in the output of an ASR system. The results are evaluated with ROUGE and Content-F1 scoring for the How2 and WikiHow datasets. We engage human judges to score a set of summaries randomly selected from a dataset curated from HowTo100M and YouTube. Based on blind evaluation, we achieve a level of textual fluency and utility close to that of summaries written by human content creators. The model beats current SOTA when applied to WikiHow articles that vary widely in style and topic, while showing no performance regression on the canonical CNN/DailyMail dataset. Due to the high generalizability of the model across different styles and domains, it has great potential to improve accessibility and discoverability of internet content. We envision this integrated as a feature in intelligent virtual assistants, enabling them to summarize both written and spoken instructional content upon request.


title: A Bombieri-Vinogradov Theorem for primes in short intervals and small sectors

abstract: Let $K$ be a finite Galois extension of $\mathbb{Q}$. We count primes in short intervals represented by the norm of a prime ideal of $K$ satisfying a small sector condition determined by Hecke characters. We also show that such primes are well-distributed in arithmetic progressions in the sense of Bombieri-Vinogradov. This extends previous work of Duke and Coleman.


title: Realization of graded monomial ideal rings modulo torsion

abstract: Let $A$ be the quotient of a graded polynomial ring $\mathbb{Z}[x_1,\cdots,x_m]\otimes\Lambda[y_1,\cdots,y_n]$ by an ideal generated by monomials with leading coefficients 1. Then we constructed a space~$X_A$ such that $A$ is isomorphic to $H^*(X_A)$ modulo torsion elements.


title: Towards Resilient Autonomous Navigation of Drones

abstract: Robots and particularly drones are especially useful in exploring extreme environments that pose hazards to humans. To ensure safe operations in these situations, usually perceptually degraded and without good GNSS, it is critical to have a reliable and robust state estimation solution. The main body of literature in robot state estimation focuses on developing complex algorithms favoring accuracy. Typically, these approaches rely on a strong underlying assumption: the main estimation engine will not fail during operation. In contrast, we propose an architecture that pursues robustness in state estimation by considering redundancy and heterogeneity in both sensing and estimation algorithms. The architecture is designed to expect and detect failures and adapt the behavior of the system to ensure safety. To this end, we present HeRO (Heterogeneous Redundant Odometry): a stack of estimation algorithms running in parallel supervised by a resiliency logic. This logic carries out three main functions: a) perform confidence tests both in data quality and algorithm health; b) re-initialize those algorithms that might be malfunctioning; c) generate a smooth state estimate by multiplexing the inputs based on their quality. The state and quality estimates are used by the guidance and control modules to adapt the mobility behaviors of the system. The validation and utility of the approach are shown with real experiments on a flying robot for the use case of autonomous exploration of subterranean environments, with particular results from the STIX event of the DARPA Subterranean Challenge.


title: Transforming Probabilistic Programs for Model Checking

abstract: Probabilistic programming is perfectly suited to reliable and transparent data science, as it allows the user to specify their models in a high-level language without worrying about the complexities of how to fit the models. Static analysis of probabilistic programs presents even further opportunities for enabling a high-level style of programming, by automating time-consuming and error-prone tasks. We apply static analysis to probabilistic programs to automate large parts of two crucial model checking methods: Prior Predictive Checks and Simulation-Based Calibration. Our method transforms a probabilistic program specifying a density function into an efficient forward-sampling form. To achieve this transformation, we extract a factor graph from a probabilistic program using static analysis, generate a set of proposal directed acyclic graphs using a SAT solver, select a graph which will produce provably correct sampling code, then generate one or more sampling programs. We allow minimal user interaction to broaden the scope of application beyond what is possible with static analysis alone. We present an implementation targeting the popular Stan probabilistic programming language, automating large parts of a robust Bayesian workflow for a wide community of probabilistic programming users.


title: Unifying framework for strong and fragile liquids via machine learning: a study of liquid silica

abstract: The fragility of a glassforming liquid characterizes how rapidly its relaxation dynamics slow down with cooling. The viscosity of strong liquids follows an Arrhenius law with a temperature-independent barrier height to rearrangements responsible for relaxation, whereas fragile liquids experience a much faster increase in their dynamics, suggesting a barrier height that increases with decreasing temperature. Strong glassformers are typically network glasses, while fragile glassformers are typically molecular or hard-sphere-like. As a result of these differences at the microscopic level, strong and fragile glassformers are usually treated separately from a theoretical point of view. Silica is the archetypal strong glassformer at low temperatures, but also exhibits a mysterious strong-to-fragile crossover at higher temperatures. Here we show that softness, a structure-based machine learned parameter that has previously been applied to fragile glassformers provides a useful description of model liquid silica in the strong and fragile regimes, and through the strong-to-fragile crossover. Just as for fragile glassformers, the relationship between softness and dynamics is invariant and Arrhenius in all regimes, but the average softness changes with temperature. The strong-to-fragile crossover in silica is not due to a sudden, qualitative change in structure, but can be explained by a simple Arrhenius form with a continuously and linearly changing local structure. Our results unify the study of liquid silica under a single simple conceptual picture.


title: DwarvesGraph: A High-Performance Graph Mining System with Pattern Decomposition

abstract: Graph pattern mining (GPM) is an important application that identifies structures from graphs. Despite the recent progress, the performance gap between the state-of-the-art GPM systems and an efficient algorithm--pattern decomposition--is still at least an order of magnitude. This paper clears the fundamental obstacles of adopting pattern decomposition to a GPM system. First, the performance of pattern decomposition algorithms depends on how to decompose the whole pattern into subpatterns. The original method performs complexity analysis of algorithms for different choices, and selects the one with the lowest complexity upper bound. Clearly, this approach is not feasible for average or even expert users. To solve this problem, we develop a GPM compiler with conventional and GPM-specific optimizations to generate algorithms for different decomposition choices, which are evaluated based on an accurate cost model. The executable of the GPM task is obtained from the algorithm with the best performance. Second, we propose a novel partial-embedding API that is sufficient to construct advanced GPM applications while preserving pattern decomposition algorithm advantages. Compared to state-of-the-art systems, our new GPM system, DwarvesGraph, developed based on the ideas, reduces the execution time of GPM on large graphs and patterns from days to a few hours with low programming effort.


title: Press-Schechter primordial black hole mass functions and their observational constraints

abstract: We present a modification of the Press-Schechter (PS) formalism to derive general mass functions for primordial black holes (PBHs), considering their formation as being associated to the amplitude of linear energy density fluctuations. To accommodate a wide range of physical relations between the linear and non-linear conditions for collapse, we introduce an additional parameter to the PS mechanism, and that the collapse occurs at either a given cosmic time, or as fluctuations enter the horizon. We study the case where fluctuations obey Gaussian statistics and follow a primordial power spectrum of broken power-law form with a blue spectral index for small scales. We use the observed abundance of super-massive black holes (SMBH) to constrain the extended mass functions taking into account dynamical friction. We further constrain the modified PS by developing a method for converting existing constraints on the PBH mass fraction, derived assuming monochromatic mass distributions for PBHs, into constraints applicable for extended PBH mass functions. We find that when considering well established monochromatic constraints there are regions in parameter space where all the dark matter can be made of PBHs. Of special interest is the region for the characteristic mass of the distribution ~10^2 M_Sun, for a wide range of blue spectral indices in the scenario where PBHs form as they enter the horizon, where the linear threshold for collapse is of the order of the typical overdensities, as this is close to the black hole masses detected by LIGO which are difficult to explain by stellar collapse.


title: Measuring the masses of magnetic white dwarfs: A NuSTAR Legacy Survey

abstract: The hard X-ray spectrum of magnetic cataclysmic variables can be modelled to provide a measurement of white dwarf mass. This method is complementary to radial velocity measurements, which depend on the (typically rather uncertain) binary inclination. Here we present results from a Legacy Survey of 19 magnetic cataclysmic variables with NuSTAR. We fit accretion column models to their 20-78 keV spectra and derive the white dwarf masses, finding a weighted average $\bar{M}_{\rm WD}=0.77\pm0.02$ $M_{\odot}$, with a standard deviation $\sigma=0.10$ $M_{\odot}$, when we include the masses derived from previous NuSTAR observations of seven additional magnetic cataclysmic variables. We find that the mass distribution of accreting magnetic white dwarfs is consistent with that of white dwarfs in non-magnetic cataclysmic variables. Both peak at a higher mass than the distributions of isolated white dwarfs and post-common-envelope binaries. We speculate as to why this might be the case, proposing that consequential angular momentum losses may play a role in accreting magnetic white dwarfs and/or that our knowledge of how the white dwarf mass changes over accretion-nova cycles may also be incomplete.


title: Model-Free Episodic Control with State Aggregation

abstract: Episodic control provides a highly sample-efficient method for reinforcement learning while enforcing high memory and computational requirements. This work proposes a simple heuristic for reducing these requirements, and an application to Model-Free Episodic Control (MFEC) is presented. Experiments on Atari games show that this heuristic successfully reduces MFEC computational demands while producing no significant loss of performance when conservative choices of hyperparameters are used. Consequently, episodic control becomes a more feasible option when dealing with reinforcement learning tasks.


title: Experimental Black-box System identification and control of a Torus Cassegrain Telescope

abstract: The Astronomical Observatory of the Sergio Arboleda University (Bogota, Colombia) has as main instrument a Torus Classic Cassegrain telescope. In order to improve its precision and accuracy in the tracking of celestial objects, the Torus telescope requires to be properly automated. The motors, drivers and sensors of the telescope are modelled as a black-box systems and experimentally identified. Using the identified model several control laws are developed such as Proportional, Integral and Derivative (PID) control and State-feedback control for the velocity and position tracking and disturbance-rejection tasks.


title: A Principled Approach to Design Using High Fidelity Fluid-Structure Interaction Simulations

abstract: A high fidelity fluid-structure interaction simulation may require many days to run, on hundreds of cores. This poses a serious burden, both in terms of time and economic considerations, when repetitions of such simulations may be required (e.g. for the purpose of design optimization). In this paper we present strategies based on (constrained) Bayesian optimization (BO) to alleviate this burden. BO is a numerical optimization technique based on Gaussian processes (GP) that is able to efficiently (with minimal calls to the expensive FSI models) converge towards some globally optimal design, as gauged using a black box objective function. In this study we present a principled design evolution that moves from FSI model verification, through a series of Bridge Simulations (bringing the verification case incrementally closer to the application), in order that we may identify material properties for an underwater, unmanned, autonomous vehicle (UUAV) sail plane. We are able to achieve fast convergence towards an optimal design, using a small number of FSI simulations (a dozen at most), even when selecting over several design parameters, and while respecting optimization constraints.


title: Toward Quantifying Ambiguities in Artistic Images

abstract: It has long been hypothesized that perceptual ambiguities play an important role in aesthetic experience: a work with some ambiguity engages a viewer more than one that does not. However, current frameworks for testing this theory are limited by the availability of stimuli and data collection methods. This paper presents an approach to measuring the perceptual ambiguity of a collection of images. Crowdworkers are asked to describe image content, after different viewing durations. Experiments are performed using images created with Generative Adversarial Networks, using the Artbreeder website. We show that text processing of viewer responses can provide a fine-grained way to measure and describe image ambiguities.


title: Fine-tune BERT for E-commerce Non-Default Search Ranking

abstract: The quality of non-default ranking on e-commerce platforms, such as based on ascending item price or descending historical sales volume, often suffers from acute relevance problems, since the irrelevant items are much easier to be exposed at the top of the ranking results. In this work, we propose a two-stage ranking scheme, which first recalls wide range of candidate items through refined query/title keyword matching, and then classifies the recalled items using BERT-Large fine-tuned on human label data. We also implemented parallel prediction on multiple GPU hosts and a C++ tokenization custom op of Tensorflow. In this data challenge, our model won the 1st place in the supervised phase (based on overall F1 score) and 2nd place in the final phase (based on average per query F1 score).


title: The Intersection between Dual Potential and SL(2) Algebraic Spectral Problems

abstract: The relation between certain Hamiltonians, known as dual, or partner Hamiltonians, under the transformation $x{\rightarrow}\bar{x}^{\bar{\alpha}}$ has long been used as a method of simplifying spectral problems in quantum mechanics. This paper seeks to examine this further by expressing such Hamiltonians in terms of the generators of SL(2) algebra, which provides another method of solving spectral problems. It appears that doing so greatly restricts the set of allowable potentials, with the only non-trivial potentials allowed being the Coulomb $\frac{1}{r}$ potential and the Harmonic Oscillator $r^2$ potential, for both of which the SL(2) expression is already known. It also appears that, by utilizing both the partner potential transformation and the formalism of the Lie-algebraic construction of quantum mechanics, it may be possible to construct part of a Hamiltonian's spectrum from the quasi-solvability of its partner Hamiltonian.


title: On PMU Data Integrity under GPS Spoofing Attacks: A Sparse Error Correction Framework

abstract: Consider the problem of mitigating the impact on data integrity of phasor measurement units (PMUs) given a GPS spoofing attack. We present a sparse error correction framework to treat PMU measurements that are potentially corrupted due to a GPS spoofing attack. We exploit the sparse nature of a GPS spoofing attack, which is that only a small fraction of PMUs are affected by the attack. We first present attack identifiability conditions (in terms of network topology, PMU locations, and the number of spoofed PMUs) under which data manipulation by the spoofing attack is identifiable. The identifiability conditions have important implications on how the locations of PMUs affect their resilience to GPS spoofing attacks. To effectively correct spoofed PMU data, we present a sparse error correction approach wherein computation tasks are decomposed into smaller zones to ensure scalability. We present experimental results obtained from numerical simulations with the IEEE RTS-96 and IEEE 300 test networks to demonstrate the effectiveness of the proposed approach.


title: Coloring Drawings of Graphs

abstract: We consider cell colorings of drawings of graphs in the plane. Given a multi-graph $G$ together with a drawing $\Gamma(G)$ in the plane with only finitely many crossings, we define a cell $k$-coloring of $\Gamma(G)$ to be a coloring of the maximal connected regions of the drawing, the cells, with $k$ colors such that adjacent cells have different colors. By the $4$-color theorem, every drawing of a bridgeless graph has a cell $4$-coloring. A drawing of a graph is cell $2$-colorable if and only if the underlying graph is Eulerian. We show that every graph without degree 1 vertices admits a cell $3$-colorable drawing. This leads to the natural question which abstract graphs have the property that each of their drawings has a cell $3$-coloring. We say that such a graph is universally cell $3$-colorable. We show that every $4$-edge-connected graph and every graph admitting a nowhere-zero $3$-flow is universally cell $3$-colorable. We also discuss circumstances under which universal cell $3$-colorability guarantees the existence of a nowhere-zero $3$-flow. On the negative side, we present an infinite family of universally cell $3$-colorable graphs without a nowhere-zero $3$-flow. On the positive side, we formulate a conjecture which has a surprising relation to a famous open problem by Tutte known as the $3$-flow-conjecture. We prove our conjecture for subcubic and for $K_{3,3}$-minor-free graphs.


title: Spectral independent component analysis with noise modeling for M/EEG source separation

abstract: Background: Independent Component Analysis (ICA) is a widespread tool for exploration and denoising of electroencephalography (EEG) or magnetoencephalography (MEG) signals. In its most common formulation, ICA assumes that the signal matrix is a noiseless linear mixture of independent sources that are assumed non-Gaussian. A limitation is that it enforces to estimate as many sources as sensors or to rely on a detrimental PCA step. Methods: We present the Spectral Matching ICA (SMICA) model. Signals are modelled as a linear mixing of independent sources corrupted by additive noise, where sources and the noise are stationary Gaussian time series. Thanks to the Gaussian assumption, the negative log-likelihood has a simple expression as a sum of divergences between the empirical spectral covariance matrices of the signals and those predicted by the model. The model parameters can then be estimated by the expectation-maximization (EM) algorithm. Results: Experiments on phantom MEG datasets show that SMICA can recover dipole locations more precisely than usual ICA algorithms or Maxwell filtering when the dipole amplitude is low. Experiments on EEG datasets show that SMICA identifies a source subspace which contains sources that have less pairwise mutual information, and are better explained by the projection of a single dipole on the scalp. Comparison with existing methods: Noiseless ICA models lead to degenerate likelihood when there are fewer sources than sensors, while SMICA succeeds without resorting to prior dimension reduction. Conclusions: SMICA is a promising alternative to other noiseless ICA models based on non-Gaussian assumptions.


title: Many-shot from Low-shot: Learning to Annotate using Mixed Supervision for Object Detection

abstract: Object detection has witnessed significant progress by relying on large, manually annotated datasets. Annotating such datasets is highly time consuming and expensive, which motivates the development of weakly supervised and few-shot object detection methods. However, these methods largely underperform with respect to their strongly supervised counterpart, as weak training signals \emph{often} result in partial or oversized detections. Towards solving this problem we introduce, for the first time, an online annotation module (OAM) that learns to generate a many-shot set of \emph{reliable} annotations from a larger volume of weakly labelled images. Our OAM can be jointly trained with any fully supervised two-stage object detection method, providing additional training annotations on the fly. This results in a fully end-to-end strategy that only requires a low-shot set of fully annotated images. The integration of the OAM with Fast(er) R-CNN improves their performance by $17\%$ mAP, $9\%$ AP50 on PASCAL VOC 2007 and MS-COCO benchmarks, and significantly outperforms competing methods using mixed supervision.


title: A Unified Taylor Framework for Revisiting Attribution Methods

abstract: Attribution methods have been developed to understand the decision-making process of machine learning models, especially deep neural networks, by assigning importance scores to individual features. Existing attribution methods often built upon empirical intuitions and heuristics. There still lacks a general and theoretical framework that not only can unify these attribution methods, but also theoretically reveal their rationales, fidelity, and limitations. To bridge the gap, in this paper, we propose a Taylor attribution framework and reformulate seven mainstream attribution methods into the framework. Based on reformulations, we analyze the attribution methods in terms of rationale, fidelity, and limitation. Moreover, We establish three principles for a good attribution in the Taylor attribution framework, i.e., low approximation error, correct contribution assignment, and unbiased baseline selection. Finally, we empirically validate the Taylor reformulations and reveal a positive correlation between the attribution performance and the number of principles followed by the attribution method via benchmarking on real-world datasets.


title: Coupled-cluster calculations of neutrinoless double-beta decay in $^{48}$Ca

abstract: We use coupled-cluster theory and nuclear interactions from chiral effective field theory to compute the nuclear matrix element for the neutrinoless double-beta decay of $^{48}$Ca. Benchmarks with the no-core shell model in several light nuclei inform us about the accuracy of our approach. For $^{48}$Ca we find a relatively small matrix element. We also compute the nuclear matrix element for the two-neutrino double-beta decay of $^{48}$Ca with a quenching factor deduced from two-body currents in recent ab-initio calculation of the Ikeda sum-rule in $^{48}$Ca [Gysbers et al., Nature Physics 15, 428-431 (2019)].


title: Perceptual underwater image enhancement with deep learning and physical priors

abstract: Underwater image enhancement, as a pre-processing step to improve the accuracy of the following object detection task, has drawn considerable attention in the field of underwater navigation and ocean exploration. However, most of the existing underwater image enhancement strategies tend to consider enhancement and detection as two independent modules with no interaction, and the practice of separate optimization does not always help the underwater object detection task. In this paper, we propose two perceptual enhancement models, each of which uses a deep enhancement model with a detection perceptor. The detection perceptor provides coherent information in the form of gradients to the enhancement model, guiding the enhancement model to generate patch level visually pleasing images or detection favourable images. In addition, due to the lack of training data, a hybrid underwater image synthesis model, which fuses physical priors and data-driven cues, is proposed to synthesize training data and generalise our enhancement model for real-world underwater images. Experimental results show the superiority of our proposed method over several state-of-the-art methods on both real-world and synthetic underwater datasets.


title: $k$--Fibonacci numbers with two blocks of repdigits

abstract: A generalization of the well--known Fibonacci sequence is the $k$--Fibonacci sequence with some fixed integer $k\ge 2$. The first $k$ terms of this sequence are $0,\ldots,0,1$, and each term afterwards is the sum of the preceding $k$ terms. In this paper, we find all $k$--Fibonacci numbers that are concatenations of two repdigits. This generalizes prior results which dealt with the above problem for the particular cases of Fibonacci and Tribonacci numbers.


title: Mechanism, scaling and rates of protein aggregation from in vivo measurements

abstract: The formation and proliferation of protein aggregates play a central role in a number of devastating neuro-degenerative diseases. Many experimental studies indicate that the ability of existing aggregates to replicate is a key property in generating their pathogenic effect across a range of diseases. However, given the complexity of the process in vivo, no principled general approach currently exists to obtain the rates of the fundamental steps that underlie aggregate formation from measurements in living systems. In order to address this challenge, here we present a general approach for analysing aggregation kinetics that considers broad classes of processes that can be described by a family of scaling solutions. Our approach is not limited only to fibrillar aggregates, but applies to any aggregate shape. We show that the rates can reliably be extracted by fitting of a simple logistic function, even from experimental data in living systems, and give a very general analytical expression that relates the scaling of the exponential rate with monomer concentration to the microscopic details of the underlying reaction. This approach can thus be used to infer the microscopic mechanism driving the aggregation process from macroscopic measurements in complex systems.


title: Haze Formation in Warm H2-rich Exoplanet Atmospheres

abstract: New observing capabilities coming online over the next few years will provide opportunities for characterization of exoplanet atmospheres. However, clouds/hazes could be present in the atmospheres of many exoplanets, muting the amplitude of spectral features. We use laboratory simulations to explore photochemical haze formation in H2-rich exoplanet atmospheres at 800 K with metallicity either 100 and 1000 times solar. We find that haze particles are produced in both simulated atmospheres with small particle size (20 to 140 nm) and relative low production rate (2.4 x 10-5 to 9.7 x 10-5 mg cm-3 h-1), but the particle size and production rate is dependent on the initial gas mixtures and the energy sources used in the simulation experiments. The gas phase mass spectra show that complex chemical processes happen in these atmospheres and generate new gas products that can further react to form larger molecules and solid haze particles. Two H2-rich atmospheres with similar C/O ratios (~0.5) yield different haze particles size, haze production rate, and gas products, suggesting both the elemental abundances and their bonding environments in an atmosphere can significantly affect the photochemistry. There is no methane (CH4) in our initial gas mixtures, although CH4 is often believed to be required to generate organic hazes. However, haze production rates from our experiments with different initial gas mixtures indicate that CH4 is neither required to generate organic hazes nor necessary to promote the organic haze formation. The variety and relative yield of the gas products indicate that CO and N2 enrich chemical reactions in H2-rich atmospheres.


title: Zeta functions and topology of Heisenberg cycles for linear ergodic flows

abstract: Placing a Dirac-Schr\"odinger operator along the orbit of a flow on a compact manifold \(M\) defines an \(\R\)-equivariant spectral triple over the algebra of smooth functions on \(M\). We study some of the properties of these triples, especially their zeta functions, which have the form \(\trace (fH^{-s})\) with \(f\) the restriction to \(\R\) of a function on \(M\) and \(H = -\frac{\partial^2}{\partial x^2} + x^2\) the harmonic oscillator. The meromorphic continuation property and pole structure of these zeta functions is related to ergodic time averages in dynamics. The construction reproduces the `Heisenberg cycles' of Lesch and Moscovici, in the case of the periodic flow on the circle, where it produces a spectral triple over the smooth irrational torus in the irrational rotation algebra \(A_\h\). We strengthen a result of these authors, showing that the zeta function \(\trace (aH^{-s})\) extend mermomorphically for any element \(a\) of the C*-algebra \(A_\h\). Another variant of the construction produces a spectral cycle for \(A_\h\otimes A_{1/\h}\) and a spectral triple over a suitable subalgebra with the meromorphic continuation property if \(\h\) satisfies a Diophantine condition. The class of this cycle defines a fundamental class in the sense that it determines a KK-duality. We employ the Local Index Theorem of Connes and Moscovici in order to elaborate an index theorem of Connes for certain classes of differential operators on the line and compute the intersection form on K-theory induced by the fundamental class.


title: Low Influence, Utility, and Independence in Differential Privacy: A Curious Case of $3 \choose 2$

abstract: We study the relationship between randomized low influence functions and differentially private mechanisms. Our main aim is to formally determine whether differentially private mechanisms are low influence and whether low influence randomized functions can be differentially private. We show that differential privacy does not necessarily imply low influence in a formal sense. However, low influence implies approximate differential privacy. These results hold for both independent and non-independent randomized mechanisms, where an important instance of the former is the widely-used additive noise techniques in the differential privacy literature. Our study also reveals the interesting dynamics between utility, low influence, and independence of a differentially private mechanism. As the name of this paper suggests, we show that any two such features are simultaneously possible. However, in order to have a differentially private mechanism that has both utility and low influence, even under a very mild utility condition, one has to employ non-independent mechanisms.


title: Team DoNotDistribute at SemEval-2020 Task 11: Features, Finetuning, and Data Augmentation in Neural Models for Propaganda Detection in News Articles

abstract: This paper presents our systems for SemEval 2020 Shared Task 11: Detection of Propaganda Techniques in News Articles. We participate in both the span identification and technique classification subtasks and report on experiments using different BERT-based models along with handcrafted features. Our models perform well above the baselines for both tasks, and we contribute ablation studies and discussion of our results to dissect the effectiveness of different features and techniques with the goal of aiding future studies in propaganda detection.


title: Cryopreservation of sugarcane embryogenic callus using a simplified freezing process

abstract: A simplified freezing process was developed and successfully applied to embryogenic calluses of three sugarcane commercial hybrids (Saccharum sp. cv. CP 5243, C 91-301 and C 1051-73). To obtain optimal survival, the calluses were pretreated with a cryoprotective solution containing 10% DMSO and 0.3 to 0.75M sucrose. For freezing, the samples were immersed in an alcohol bath placed in a -40 degrees C freezer, thus allowing a freezing rate comprised between 0.4 and 0.6 degrees C/min. Samples were held at that temperature for 2 h before immersion in liquid nitrogen. The highest survival rates of cryopreserved calluses ranged between 20 and 94% depending on the variety, and fully developed plantlets could be obtained from regenerating calluses. Embryogenic calluses of one variety were stored for 14 months in liquid nitrogen without any effect on their survival rate and plantlet production.


title: An excision theorem for the K-theory of C*-algebras, with applications to groupoid C*-algebras

abstract: We discuss the relative K-theory for a $C^{*}$-algebra, $A$, together with a $C^{*}$-subalgebra, $A' \subseteq A$. The relative group is denoted $K_{i}(A';A), i = 0, 1$, and is due to Karoubi. We present a situation of two pairs $A' \subseteq A$ and $B' \subseteq B$ are related so that there is a natural isomorphism between their respective relative K-theories. We also discuss applications to the case where $A$ and $B$ are $C^{*}$-algebras of a pair of locally compact, Hausdorff topological groupoids, with Haar systems.


title: Detecting and Classifying Malevolent Dialogue Responses: Taxonomy, Data and Methodology

abstract: Conversational interfaces are increasingly popular as a way of connecting people to information. Corpus-based conversational interfaces are able to generate more diverse and natural responses than template-based or retrieval-based agents. With their increased generative capacity of corpusbased conversational agents comes the need to classify and filter out malevolent responses that are inappropriate in terms of content and dialogue acts. Previous studies on the topic of recognizing and classifying inappropriate content are mostly focused on a certain category of malevolence or on single sentences instead of an entire dialogue. In this paper, we define the task of Malevolent Dialogue Response Detection and Classification (MDRDC). We make three contributions to advance research on this task. First, we present a Hierarchical Malevolent Dialogue Taxonomy (HMDT). Second, we create a labelled multi-turn dialogue dataset and formulate the MDRDC task as a hierarchical classification task over this taxonomy. Third, we apply stateof-the-art text classification methods to the MDRDC task and report on extensive experiments aimed at assessing the performance of these approaches.


title: SOTER on ROS: A Run-Time Assurance Framework on the Robot Operating System

abstract: We present an implementation of SOTER, a run-time assurance framework for building safe distributed mobile robotic (DMR) systems, on top of the Robot Operating System (ROS). The safety of DMR systems cannot always be guaranteed at design time, especially when complex, off-the-shelf components are used that cannot be verified easily. SOTER addresses this by providing a language-based approach for run-time assurance for DMR systems. SOTER implements the reactive robotic software using the language P, a domain-specific language designed for implementing asynchronous event-driven systems, along with an integrated run-time assurance system that allows programmers to use unfortified components but still provide safety guarantees. We describe an implementation of SOTER for ROS and demonstrate its efficacy using a multi-robot surveillance case study, with multiple run-time assurance modules. Through rigorous simulation, we show that SOTER enabled systems ensure safety, even when using unknown and untrusted components.


title: Quantum Hierarchical Systems: Fluctuation Force by Coarse-Graining, Decoherence by Correlation Noise

abstract: While the issues of dissipation, fluctuations, noise and decoherence in open quantum systems (with autocratic divide) analyzed via Langevin dynamics are familiar subjects, the treatment of corresponding issues in closed quantum systems is more subtle, as witnessed by Boltzmann's explanation of dissipation in a macroscopic system made up of many equal constituents (a democratic system). How to extract useful physical information about a closed democratic system with no obvious ways to distinguish one constituent from another, nor the existence of conservation laws governing certain special kinds of variables, e.g., the hydrodynamic variables -- this is the question we raise in this essay. Taking the inspirations from Boltzmann and Langevin, we study a) how a hierarchical order introduced to a closed democratic system -- defined either by substance or by representation, and b) how hierarchical coarse-graining, executed in a specific order, can facilitate our understanding in how macro-behaviors arise from micro-dynamics. We give two examples in: a) the derivation of correlation noises in the BBGKY hierarchy and how using a Boltzmann-Langevin equation one can study the decoherence of the lower order correlations; and b) the derivation of quantum fluctuation forces by ordered coarse-grainings of the relevant variables in the medium, the quantum field and the internal degrees of freedom of an atom.

categories: cond-mat.stat-mech gr-qc hep-th nlin.AO quant-ph


title: Beyond perturbation theory: A time-dependent approach to inelastic scattering spectroscopies in- and away from equilibrium

abstract: We propose a non-perturbative numerical approach to calculate the spectrum of a many-body Hamiltonian with time and momentum resolution by exactly recreating a scattering event using the time-dependent Schr\"odinger equation. Akin an actual inelastic scattering experiment, we explicitly account for the incident and scattered particles ( e.g. photons, neutrons, electrons...) in the Hamiltonian and obtain the spectrum by measuring the energy and momentum lost by the particle after interacting with the sample. We illustrate the method by calculating the spin excitations of a Mott-insulating Hubbard chain after a sudden quench with the aid of the time-dependent density matrix renormalization group (tDMRG) method. Our formalism can be applied to different forms of spectroscopies, such as neutron and Compton scattering, and electron energy-loss spectroscopy (EELS), for instance.


title: One Exploit to Rule them All? On the Security of Drop-in Replacement and Counterfeit Microcontrollers

abstract: With the increasing complexity of embedded systems, the firmware has become a valuable asset. At the same time, pressure for cost reductions in hardware is imminent. These two aspects are united at the heart of the system, i.e., the microcontroller. It runs and protects its firmware, but simultaneously has to prevail against cheaper alternatives. For the very popular STM32F1 microcontroller series, this has caused the emergence of many competitors in the last few years who offer drop-in replacements or even sell counterfeit devices at a fraction of the original price. Thus, the question emerges whether the replacements are silicon-level clones and, if not, whether they provide better, equal, or less security. In this paper, we analyze a total of six devices by four manufacturers, including the original device, in depth. Via a low-level analysis, we identify all of them as being individually developed devices. We further put the focus on debug and hardware security, discovering several novel vulnerabilities in all devices, causing the exposure of the entire firmware. All of the presented vulnerabilities, including invasive ones, are on a Do it Yourself (DiY) level without the demand for a sophisticated lab -- thereby underlining the urgency for hardware fixes. To facilitate further research, reproduction, and testing of other devices, we provide a comprehensive description of all vulnerabilities in this paper and code for proofs-of-concepts online.


title: Fast Transit Computation Using Tabulated Stellar Intensities

abstract: Limb darkening laws are convenient parameterizations of the stellar intensity center-to-limb variation, and their use is ubiquitous in eclipse and transit modeling. But they are not "laws" in any sense -- they are simple approximations of the real intensity variations, and their limitations are becoming more and more apparent as stellar atmosphere models improve and higher precision data become available. When fitting eclipses and transit light curves, one would ideally like to use model intensities that are based on fundamental stellar parameters such as the mass, radius, and effective temperature of the star, rather than a limb darkening law representation and its coefficients. This is especially true when attempting to detect higher-order effects such as planetary oblateness, rings, satellites, or atmospheres. However, using model intensities requires numerically integrating many small-area "tiles" on the model stellar surface(s) and this has traditionally been too computationally expensive for general use. Here we present a fast technique to compute light curves and the Rossiter-McLaughlin effect that uses tabulated stellar models intensities. This is a step in the development of tools that obviate the need for limb darkening laws.


title: Disentangling the Sub-Cycle Electron Momentum Spectrum in Strong-Field Ionization

abstract: Quantum calculations of tunneling in strong-field ionization (SFI) predict intricate momentum distributions due to sub-laser-cycle attosecond electron dynamics. These are obscured in most experiments by the dominance of inter-cycle interference patterns which are the hallmark of above-threshold ionization (ATI). Highly controlled 1- to 2-cycle laser pulses produce less inter-cycle interference but cannot accurately recreate the sub-cycle features produced by uniform cycle calculations due to the effect of the carrier envelope of the pulse. We present a simple and effective technique to recover these sub-cycle features in experimental multi-cycle spectra. We time-filter the momentum distribution to highlight features originating from the interference of electron trajectory pairs with ionization times less than one field cycle apart. This method removes the ATI patterns and reveals sub-cycle interference structures in unprecedented detail. We can resolve new modulations in holographic structures that have not been previously noted in earlier experiments and which provide a new reference for comparing to calculations.


title: Comparative performance analysis of the ResNet backbones of Mask RCNN to segment the signs of COVID-19 in chest CT scans

abstract: COVID-19 has been detrimental in terms of the number of fatalities and rising number of critical patients across the world. According to the UNDP (United National Development Programme) Socio-Economic programme, aimed at the COVID-19 crisis, the pandemic is far more than a health crisis: it is affecting societies and economies at their core. There has been greater developments recently in the chest X-ray-based imaging technique as part of the COVID-19 diagnosis especially using Convolution Neural Networks (CNN) for recognising and classifying images. However, given the limitation of supervised labelled imaging data, the classification and predictive risk modelling of medical diagnosis tend to compromise. This paper aims to identify and monitor the effects of COVID-19 on the human lungs by employing Deep Neural Networks on axial CT (Chest Computed Tomography) scan of lungs. We have adopted Mask RCNN, with ResNet50 and ResNet101 as its backbone, to segment the regions, affected by COVID-19 coronavirus. Using the regions of human lungs, where symptoms have manifested, the model classifies condition of the patient as either "Mild" or "Alarming". Moreover, the model is deployed on the Google Cloud Platform (GCP) to simulate the online usage of the model for performance evaluation and accuracy improvement. The ResNet101 backbone model produces an F1 score of 0.85 and faster prediction scores with an average time of 9.04 seconds per inference.


title: Anderson localization effects on doped Hubbard model

abstract: We derive the disorder vs. doping phase diagram of the doped Hubbard model via Dynamical Mean Field Theory combined with Typical Medium Theory, which allows the description of both Mott (correlation driven) and Anderson (disorder driven) metal-insulator transitions. We observe a transition from a metal to an Anderson-Mott insulator for increasing disorder strength at all interactions. In the weak correlation regime and rather small doping, the Anderson-Mott insulator displays properties which are alike to the ones found at half-filling. In particular, this phase is characterized by the presence of empty sites. If we further increase either the doping or the correlation however, an Anderson-Mott phase of different kind arises for sharply weaker disorder strength. This phase occupies the largest part of the phase diagram in the strong correlation regime, and is characterized by the absence of the empty sites.


title: Modeling the Second Harmonic in Surface Water Waves Using Generalizations of NLS

abstract: When a mechanical wavemaker at one end of a water-wave tank oscillates with a frequency, $\omega_0$, time series of downstream surface waves typically include the dominant frequency (or first harmonic), $\omega_0$, along with the second, $2\omega_0$; third, $3\omega_0$; and higher harmonics. This behavior is common for the propagation of weakly nonlinear waves with a narrow band of frequencies centered around the dominant frequency such as in the evolution of ocean swell, pulse propagation in optical fibers, and Langmuir waves in plasmas. Presented herein are measurements of the amplitudes of the first and second harmonic bands from four surface water wave laboratory experiments. The Stokes expansion for small-amplitude surface water waves provides predictions for the amplitudes of the second and higher harmonics given the amplitude of the first harmonic. Similarly, the derivations of the NLS equation and its generalizations (models for the evolution of weakly nonlinear, narrow-banded waves) provide predictions for the second and third harmonic bands given measurements of the first harmonic band. We test the accuracy of these predictions by making two types of comparisons with the experimental measurements. First, we consider the evolution of the second harmonic band while neglecting all other harmonic bands. Second, we use explicit Stokes and generalized NLS formulas to predict the evolution of the second harmonic band using the first harmonic data as input. Comparisons of both types show reasonable agreement, though predictions obtained from dissipative generalizations of NLS consistently outperform the conservative ones. Finally, we show that the predictions obtained from these two methods are qualitatively different.


title: Quantum Fourier transform for quantum sensing

abstract: The Quantum Fourier Transformation ($QFT$) is a key building block for a whole wealth of quantum algorithms. Despite its proven efficiency, only a few proof-of-principle demonstrations have been reported. Here we utilize $QFT$ to enhance the performance of a quantum sensor. We implement the $QFT$ algorithm in a hybrid quantum register consisting of a nitrogen-vacancy (NV) center electron spin and three nuclear spins. The $QFT$ runs on the nuclear spins and serves to process the sensor - NV electron spin signal. We demonstrate $QFT$ for quantum (spins) and classical signals (radio frequency (RF) ) with near Heisenberg limited precision scaling. We further show the application of $QFT$ for demultiplexing the nuclear magnetic resonance (NMR) signal of two distinct target nuclear spins. Our results mark the application of a complex quantum algorithm in sensing which is of particular interest for high dynamic range quantum sensing and nanoscale NMR spectroscopy experiments.


title: Anosov diffeomorphisms on infra-nilmanifolds associated to graphs

abstract: Anosov diffeomorphisms on closed Riemannian manifolds are a type of dynamical systems exhibiting uniform hyperbolic behavior. Therefore their properties are intensively studied, including which spaces allow such a diffeomorphism. It is conjectured that any closed manifold admitting an Anosov diffeomorphism is homeomorphic to an infra-nilmanifold, i.e. a compact quotient of a 1-connected nilpotent Lie group by a discrete group of isometries. This conjecture motivates the problem of describing which infra-nilmanifolds admit an Anosov diffeomorphism. So far, most research was focused on the restricted class of nilmanifolds, which are quotients of 1-connected nilpotent Lie groups by uniform lattices. For example, Dani and Mainkar studied this question for the nilmanifolds associated to graphs, which form the natural generalization of nilmanifolds modeled on free nilpotent Lie groups. This paper further generalizes their work to the full class of infra-nilmanifolds associated to graphs, leading to a necessary and sufficient condition depending only on the induced action of the holonomy group on the defining graph. As an application, we construct families of infra-nilmanifolds with cyclic holonomy groups admitting an Anosov diffeomorphism, starting from faithful actions of the holonomy group on simple graphs.


title: Precision Nuclear-Spin Effects in Atoms: EFT Methods for Reducing Theory Errors

abstract: We use effective field theory to compute the influence of nuclear structure on precision calculations of atomic energy levels. As usual, the EFT's effective couplings correspond to the various nuclear properties (such as the charge radius, nuclear polarizabilities, Friar and Zemach moments {\it etc.}) that dominate its low-energy electromagnetic influence on its surroundings. By extending to spinning nuclei the arguments developed for spinless ones in {\tt arXiv:1708.09768}, we use the EFT to show -- to any fixed order in $Z\alpha$ (where $Z$ is the atomic number and $\alpha$ the fine-structure constant) and the ratio of nuclear to atomic size -- that nuclear properties actually contribute to electronic energies through fewer parameters than the number of these effective nuclear couplings naively suggests. Our result is derived using a position-space method for matching effective parameters to nuclear properties in the EFT, that more efficiently exploits the simplicity of the small-nucleus limit in atomic systems. By showing that precision calculations of atomic spectra depend on fewer nuclear uncertainties than naively expected, this observation allows the construction of many nucleus-independent combinations of atomic energy differences whose measurement can be used to test fundamental physics (such as the predictions of QED) because their theoretical uncertainties are not limited by the accuracy of nuclear calculations. We provide several simple examples of such nucleus-free predictions for Hydrogen-like atoms.