title: Reconstructing quantum molecular rotor ground states

abstract: Nanomolecular assemblies of C$_{60}$ can be synthesized to enclose dipolar molecules. The low-temperature states of such endofullerenes are described by quantum mechanical rotors, which are candidates for quantum information devices with higher-dimensional local Hilbert spaces. The experimental exploration of endofullerene arrays comes at a time when machine learning techniques are rapidly being adopted to characterize, verify, and reconstruct quantum states from measurement data. In this paper, we develop a strategy for reconstructing the ground state of chains of dipolar rotors using restricted Boltzmann machines (RBMs) adapted to train on data from higher-dimensional Hilbert spaces. We demonstrate accurate generation of energy expectation values from an RBM trained on data in the free-rotor eigenstate basis, and explore the learning resources required for various chain lengths and dipolar interaction strengths. Finally, we show evidence for fundamental limitations in the accuracy achievable by RBMs due to the difficulty in imposing symmetries in the sampling procedure. We discuss possible avenues to overcome this limitation in the future, including the further development of autoregressive models such as recurrent neural networks for the purposes of quantum state reconstruction.


title: Tactile Presentation of Network Data: Text, Matrix or Diagram?

abstract: Visualisations are commonly used to understand social, biological and other kinds of networks. Currently, we do not know how to effectively present network data to people who are blind or have low-vision (BLV). We ran a controlled study with 8 BLV participants comparing four tactile representations: organic node-link diagram, grid node-link diagram, adjacency matrix and braille list. We found that the node-link representations were preferred and more effective for path following and cluster identification while the matrix and list were better for adjacency tasks. This is broadly in line with findings for the corresponding visual representations.


title: Extended thermodynamics and microstructures of four-dimensional charged Gauss-Bonnet black hole in AdS space

abstract: The discovery of new four-dimensional black hole solutions presents a new approach to understand the Gauss-Bonnet gravity in low dimensions. In this paper, we test the Gauss-Bonnet gravity by studying the phase transition and microstructures for the four-dimensional charged AdS black hole. In the extended phase space, where the cosmological constant and the Gauss-Bonnet coupling parameter are treated as thermodynamic variables, we find that the thermodynamic first law and the corresponding Smarr formula are satisfied. Both in the canonical ensemble and grand canonical ensemble, we observe the small-large black hole phase transition, which is similar to the case of the van der Walls fluid. This phase transition can also appear in the neutral black hole system. Furthermore, we construct the Ruppeiner geometry, and find that besides the attractive interaction, the repulsive interaction can also dominate among the microstructures for the small black hole with high temperature in a charged or neutral black hole system. This is quite different from the five-dimensional neutral black hole, for which only dominant attractive interaction can be found. The critical behaviors of the normalized scalar curvature are also examined. These results will shed new light into the characteristic property of four-dimensional Gauss-Bonnet gravity.


title: Optimal Combination of Arctic Sea Ice Extent Measures: A Dynamic Factor Modeling Approach

abstract: The diminishing extent of Arctic sea ice is a key indicator of climate change as well as an accelerant for future global warming. Since 1978, Arctic sea ice has been measured using satellite-based microwave sensing; however, different measures of Arctic sea ice extent have been made available based on differing algorithmic transformations of the raw satellite data. We propose and estimate a dynamic factor model that combines four of these measures in an optimal way that accounts for their differing volatility and cross-correlations. We then use the Kalman smoother to extract an optimal combined measure of Arctic sea ice extent. It turns out that almost all weight is put on the NSIDC Sea Ice Index, confirming and enhancing confidence in the Sea Ice Index and the NASA Team algorithm on which it is based.


title: Anosov groups: local mixing, counting, and equidistribution

abstract: Let $G$ be a connected semisimple real algebraic group, and $\Gamma<G$ be a Zariski dense Anosov subgroup with respect to a minimal parabolic subgroup. We describe the asymptotic behavior of matrix coefficients $\langle (\exp tv). f_1, f_2\rangle$ in $L^2(\Gamma\backslash G)$ as $t\to \infty$ for any $f_1, f_2\in C_c(\Gamma\backslash G)$ and any vector $v$ in the interior of the limit cone of $\Gamma$. These asymptotics involve higher rank analogues of Burger-Roblin measures which are introduced in this paper. As an application, for any affine symmetric subgroup $H$ of $G$, we obtain a bisector counting result for $\Gamma$-orbits with respect to the corresponding generalized Cartan decomposition of $G$. Moreover, we obtain analogues of the results of Duke-Rudnick-Sarnak and Eskin-McMullen for counting discrete $\Gamma$-orbits in affine symmetric spaces $H\backslash G$.


title: On the unisolvence for the quasi-polynomial spaces of differential forms

abstract: We consider quasi-polynomial spaces of differential forms defined as weighted (with a positive weight) spaces of differential forms with polynomial coefficients. We show that the unisolvent set of functionals for such spaces on a simplex in any spatial dimension is the same as the set of such functionals used for the polynomial spaces. The analysis in the quasi-polynomial spaces, however, is not standard and requires a novel approach. We are able to prove our results without the use of Stokes' Theorem, which is the standard tool in showing the unisolvence of functionals in polynomial spaces of differential forms. These new results provide tools for studying exponentially-fitted discretizations stable for general convection-diffusion problems in Hilbert differential complexes.


title: Numerical Methods for Flow in Fractured Porous Media

abstract: In this work we present the mathematical models for single-phase flow in fractured porous media. An overview of the most common approaches is considered, which includes continuous fracture models and discrete fracture models. For the latter, we discuss strategies that are developed in literature for its numerical solution mainly related to the geometrical relation between the fractures and porous media grids.


title: Directed Polymer for very heavy tailed random walks

abstract: In the present work, we investigate the case of Directed Polymer in a Random Environment (DPRE), when the increments of the random walk are heavy-tailed with tail-exponent equal to zero ($\mathbf{P}[|X_1|\geq n]$ decays slower than any power of $n$). This case has not yet been studied in the context of directed polymers and present key differences with the simple symmetric random walk case and the cases where the increments belong to the domain of attraction of an $\alpha$-stable law, where $\alpha \in (0, 2]$. We establish the absence of a very strong disorder regime - that is, the free energy equals zero at every temperature - for every disorder distribution. We also prove that a strong disorder regime (partition function converging to zero at low temperature) may exist or not depending on finer properties of the random walk: we establish non-matching necessary and sufficient conditions for having a phase transition from weak to strong disorder. In particular our results imply that for this directed polymer model, very strong disorder is not equivalent to strong disorder, shedding a new light on a long standing conjecture concerning the original nearest-neighbor DPRE.


title: A naturally trapped rare-earth doped solid-state superradiant laser clock

abstract: We propose a solid-state based superradiance laser which is almost insensitive to the cavity mirror vibration. Therefore, it can compete with the best frequency-stable local oscillators. The long coherence time and the large optical density of rare-earth-ions (REIs) doped solids are employed to find a regime to demonstrate a steady-state laser emission with linewidth smaller than the atomic decay rate. The experimental parameters are discussed and intracavity photon number and laser linewidth are calculated based on the mean-field theory. A procedure for measuring absolute laser linewidth is proposed.


title: Inherent Dependency Displacement Bias of Transition-Based Algorithms

abstract: A wide variety of transition-based algorithms are currently used for dependency parsers. Empirical studies have shown that performance varies across different treebanks in such a way that one algorithm outperforms another on one treebank and the reverse is true for a different treebank. There is often no discernible reason for what causes one algorithm to be more suitable for a certain treebank and less so for another. In this paper we shed some light on this by introducing the concept of an algorithm's inherent dependency displacement distribution. This characterises the bias of the algorithm in terms of dependency displacement, which quantify both distance and direction of syntactic relations. We show that the similarity of an algorithm's inherent distribution to a treebank's displacement distribution is clearly correlated to the algorithm's parsing performance on that treebank, specifically with highly significant and substantial correlations for the predominant sentence lengths in Universal Dependency treebanks. We also obtain results which show a more discrete analysis of dependency displacement does not result in any meaningful correlations.


title: Parametric analysis of COVID-19 expansion in European countries in the period of February to June 2020

abstract: The data on number of registered cases of COVID-19 disease in twenty European countries is analyzed by the least-squares fitting procedure with generic analytic functions. Three regimes of the expansion of the disease are identified and quantified -- early exponential expansion, damped exponential, and linear expansion. Differences among countries in the early expansion period are quantified. The velocity of the expansion in the exponential regime lies within one standard deviation from the average value for 11 countries. The number of infected individuals at the initial time is excessively high for Italy, 7 standard deviations from the average value. Method for predicting the expansion based on extrapolation in the parametric space is presented. One-week predictions based on extrapolations have average precision of 18% and 29% during the later period of the damped exponential expansion for the case of Italy and Czechia, respectively. The method based on extrapolations in the parametric space may provide an elementary method to quantify the impact of restrictive measures on the spreading of the disease.


title: The fractal time growth of COVID-19 pandemic: an accurate self-similar model, and urgent conclusions

abstract: Current available data of the worldwide impact of the COVID-19 pandemic has been analyzed using dimensional analysis and self-similarity hypotheses. We show that the time series of infected population and deaths of the most impacted and unprepared countries exhibits an asymptotic power law behavior, compatible with the propagation of a signal in a fractal network. We propose a model which predicts an asymptotically self-similar expansion of deaths in time before containment, and the final death toll under total containment measures, as a function of the delay in taking those measures after the expansion is observed. The physics of the model resembles the expansion of a flame in a homogeneous domain with a fractal dimension 3.75. After containment measures are taken, the natural fractal structure of the network is drastically altered and a secondary evolution is observed. This evolution, akin to the homogeneous combustion in a static isolated enclosure with a final quenching, has a characteristic time of 20.1 days, according to available data of the pandemic behavior in China. The proposed model is remarkably consistent with available data, which supports the simplifying hypotheses made in the model. A universal formulation for a quarantine as a function of that delay is also proposed.


title: Explaining Motion Relevance for Activity Recognition in Video Deep Learning Models

abstract: A small subset of explainability techniques developed initially for image recognition models has recently been applied for interpretability of 3D Convolutional Neural Network models in activity recognition tasks. Much like the models themselves, the techniques require little or no modification to be compatible with 3D inputs. However, these explanation techniques regard spatial and temporal information jointly. Therefore, using such explanation techniques, a user cannot explicitly distinguish the role of motion in a 3D model's decision. In fact, it has been shown that these models do not appropriately factor motion information into their decision. We propose a selective relevance method for adapting the 2D explanation techniques to provide motion-specific explanations, better aligning them with the human understanding of motion as conceptually separate from static spatial features. We demonstrate the utility of our method in conjunction with several widely-used 2D explanation methods, and show that it improves explanation selectivity for motion. Our results show that the selective relevance method can not only provide insight on the role played by motion in the model's decision -- in effect, revealing and quantifying the model's spatial bias -- but the method also simplifies the resulting explanations for human consumption.


title: Deep Geometric Functional Maps: Robust Feature Learning for Shape Correspondence

abstract: We present a novel learning-based approach for computing correspondences between non-rigid 3D shapes. Unlike previous methods that either require extensive training data or operate on handcrafted input descriptors and thus generalize poorly across diverse datasets, our approach is both accurate and robust to changes in shape structure. Key to our method is a feature-extraction network that learns directly from raw shape geometry, combined with a novel regularized map extraction layer and loss, based on the functional map representation. We demonstrate through extensive experiments in challenging shape matching scenarios that our method can learn from less training data than existing supervised approaches and generalizes significantly better than current descriptor-based learning methods. Our source code is available at: https://github.com/LIX-shape-analysis/GeomFmaps.


title: Radiologist-level stroke classification on non-contrast CT scans with Deep U-Net

abstract: Segmentation of ischemic stroke and intracranial hemorrhage on computed tomography is essential for investigation and treatment of stroke. In this paper, we modified the U-Net CNN architecture for the stroke identification problem using non-contrast CT. We applied the proposed DL model to historical patient data and also conducted clinical experiments involving ten experienced radiologists. Our model achieved strong results on historical data, and significantly outperformed seven radiologist out of ten, while being on par with the remaining three.


title: Modeling and forecasting the early evolution of the Covid-19 pandemic in Brazil

abstract: We model and forecast the early evolution of the COVID-19 pandemic in Brazil using Brazilian recent data from February 25, 2020 to March 30, 2020. This early period accounts for unawareness of the epidemiological characteristics of the disease in a new territory, sub-notification of the real numbers of infected people and the timely introduction of social distancing policies to flatten the spread of the disease. We use two variations of the SIR model and we include a parameter that comprises the effects of social distancing measures. Short and long term forecasts show that the social distancing policy imposed by the government is able to flatten the pattern of infection of the COVID-19. However, our results also show that if this policy does not last enough time, it is only able to shift the peak of infection into the future keeping the value of the peak in almost the same value. Furthermore, our long term simulations forecast the optimal date to end the policy. Finally, we show that the proportion of asymptomatic individuals affects the amplitude of the peak of symptomatic infected, suggesting that it is important to test the population.


title: The $O(\alpha^2)$ Initial State QED Corrections to $e^+e^- \rightarrow \gamma^*/Z_0^*$

abstract: We calculate the complete $O(\alpha^2)$ initial state radiation corrections to $e^+ e^-$ annihilation into a neutral vector boson in a direct analytic computation without any approximation. The corrections are represented in terms of iterated incomplete (elliptic) integrals over alphabets of square--root valued letters. Performing the limit $s \gg m_e^2$, we find discrepancies with the earlier results of Ref.~\cite{Berends:1987ab} and confirm results obtained in Ref.~\cite{Blumlein:2011mi} where the effective method of massive operator matrix elements has been used, which works for all but the power corrections in $m^2_e/s$. In this way, we also confirm the validity of the factorization of massive partons in the Drell--Yan process. We add non--logarithmic terms at $O(\alpha^2)$ which have not been considered in previous calculations. The final results in the limit $s \gg m_e^2$ can be given in terms of Nielsen integrals.


title: Odd Khovanov homology for tangles

abstract: We extend the covering of even and odd Khovanov link homology to tangles, using arc algebras. For this, we develop the theory of quasi-associative algebras and bimodules graded over a category with a 3-cocycle. Furthermore, we show that a covering version of a level 2 cyclotomic half 2-Kac--Moody algebra acts on the bicategory of quasi-associative bimodules over the covering arc algebras, relating our work to a construction of Vaz.


title: Hurricanes and hashtags: Characterizing online collective attention for natural disasters

abstract: We study collective attention paid towards hurricanes through the lens of $n$-grams on Twitter, a social media platform with global reach. Using hurricane name mentions as a proxy for awareness, we find that the exogenous temporal dynamics are remarkably similar across storms, but that overall collective attention varies widely even among storms causing comparable deaths and damage. We construct `hurricane attention maps' and observe that hurricanes causing deaths on (or economic damage to) the continental United States generate substantially more attention in English language tweets than those that do not. We find that a hurricane's Saffir-Simpson wind scale category assignment is strongly associated with the amount of attention it receives. Higher category storms receive higher proportional increases of attention per proportional increases in number of deaths or dollars of damage, than lower category storms. The most damaging and deadly storms of the 2010s, Hurricanes Harvey and Maria, generated the most attention and were remembered the longest, respectively. On average, a category 5 storm receives 4.6 times more attention than a category 1 storm causing the same number of deaths and economic damage.


title: Graph Enhanced Representation Learning for News Recommendation

abstract: With the explosion of online news, personalized news recommendation becomes increasingly important for online news platforms to help their users find interesting information. Existing news recommendation methods achieve personalization by building accurate news representations from news content and user representations from their direct interactions with news (e.g., click), while ignoring the high-order relatedness between users and news. Here we propose a news recommendation method which can enhance the representation learning of users and news by modeling their relatedness in a graph setting. In our method, users and news are both viewed as nodes in a bipartite graph constructed from historical user click behaviors. For news representations, a transformer architecture is first exploited to build news semantic representations. Then we combine it with the information from neighbor news in the graph via a graph attention network. For user representations, we not only represent users from their historically clicked news, but also attentively incorporate the representations of their neighbor users in the graph. Improved performances on a large-scale real-world dataset validate the effectiveness of our proposed method.


title: Effects of top-quark decay modeling in $t\bar{t}\gamma$ production at the LHC

abstract: We present a systematic comparison of different approaches for the modeling of $t\bar{t}\gamma$ final states with leptonic decays at the LHC. On the one hand, we consider a complete calculation at NLO QCD accuracy which includes all resonant and non-resonant diagrams. On the other hand, we consider predictions in the narrow-width approximation with top quark decays modeled at various accuracies. In this way we quantify the impact of the off-shell effects in $t\bar{t}\gamma$ production. We also discuss the relative importance of double-, single- and non-resonant contributions in the complete calculation. Finally we investigate the fraction of isolated photons from decays of top quarks, which represent a background for measurements of anomalous $t\gamma$ couplings.


title: Baba is Y'all: Collaborative Mixed-Initiative Level Design

abstract: We present a collaborative mixed-initiative system for building levels for the puzzle game "Baba is You". Unlike previous mixed-initiative systems, Baba is Y'all is designed for collaborative asynchronous creation by multiple users over the internet. The system includes several AI-assisted features to help designers, including a level evolver and an automated player for playtesting. The level archives catalogues levels according to which mechanics are implemented and not implemented, allowing the system to ask users to design levels with specific combinations of mechanics. We describe the operation of the system and the results of small-scale informal user test, and discuss future development paths for this system as well as for collaborative mixed-initiative systems in general.


title: Decentralized Electric Vehicle Charging Control via a Novel Shrunken Primal Multi-Dual Subgradient (SPMDS) Algorithm

abstract: The charging processes of a large number of electric vehicles (EVs) require coordination and control for the alleviation of their impacts on the distribution network and for the provision of various grid services. However, the scalability of existing EV charging control paradigms are limited by either the number of EVs or the distribution network dimension, largely impairing EVs' aggregate service capability and applicability. To overcome the scalability barrier, this paper, motivated by the optimal scheduling problem for the valley-filling service, (1) proposes a novel dimension reduction methodology by grouping EVs (primal decision variables) and establishing voltage (global coupled constraints) updating subsets for each EV group in the distribution network and (2) develops a novel decentralized shrunken primal multi-dual subgradient (SPMDS) optimization algorithm to solve this reduced-dimension problem. The proposed SPMDS-based control framework requires no communication between EVs, reduces over 43% of the computational cost in the primal subgradient update, and reduces up to 68% of the computational cost in the dual subgradient update. The efficiency and efficacy of the proposed algorithm are demonstrated through simulations over a modified IEEE 13-bus test feeder and a modified IEEE 123-bus test feeder.


title: On $1$-bridge braids, satellite knots, the manifold $v2503$ and non-left-orderable surgeries and fillings

abstract: We define the property (D) for nontrivial knots. We show that the fundamental group of the manifold obtained by Dehn surgery on a knot $K$ with property (D) with slope $\frac{p}{q}\ge 2g(K)-1$ is not left orderable. By making full use of the fixed point method, we prove that (1) nontrivial knots which are closures of positive $1$-bridge braids have property (D); (2) L-space satellite knots, with positive $1$-bridge braid patterns, and companion with property (D), have property (D); (3) the fundamental group of the manifold obtained by Dehn filling on $v2503$ is not left orderable. Additionally, we prove that L-space twisted torus knots of form $T_{p,kp\pm 1}^{l,m}$ are closures of positive $1$-bridge braids.


title: Generative Latent Implicit Conditional Optimization when Learning from Small Sample

abstract: We revisit the long-standing problem of learning from a small sample, to which end we propose a novel method called GLICO (Generative Latent Implicit Conditional Optimization). GLICO learns a mapping from the training examples to a latent space and a generator that generates images from vectors in the latent space. Unlike most recent works, which rely on access to large amounts of unlabeled data, GLICO does not require access to any additional data other than the small set of labeled points. In fact, GLICO learns to synthesize completely new samples for every class using as little as 5 or 10 examples per class, with as few as 10 such classes without imposing any prior. GLICO is then used to augment the small training set while training a classifier on the small sample. To this end, our proposed method samples the learned latent space using spherical interpolation, and generates new examples using the trained generator. Empirical results show that the new sampled set is diverse enough, leading to improvement in image classification in comparison with the state of the art, when trained on small samples obtained from CIFAR-10, CIFAR-100, and CUB-200.


title: Plasma-enhanced interaction and optical nonlinearities of Cu$_2$O Rydberg excitons

abstract: We theoretically investigate the nonlinear optical transmission through a cuprous oxide crystal for wavelengths that cover the series of highly excited excitons, observed in recent experiments. Since such Rydberg excitons have strong van der Waals interactions, they can dynamically break the conditions for resonant exciton creation and dramatically modify the refractive index of the material in a nonlinear manner. We explore this mechanism theoretically and determine its effects on the optical properties of a semiconductor for the case of degenerate pair-state asymptotes of Rydberg excitons in Cu$_2$O. Upon analyzing the additional effects of a dilute residual electron-hole plasma, we find quantitative agreement with previous transmission measurements, which provides strong indications for the enhancement of Rydberg-induced nonlinearities by surrounding free charges.


title: Du$^2$Net: Learning Depth Estimation from Dual-Cameras and Dual-Pixels

abstract: Computational stereo has reached a high level of accuracy, but degrades in the presence of occlusions, repeated textures, and correspondence errors along edges. We present a novel approach based on neural networks for depth estimation that combines stereo from dual cameras with stereo from a dual-pixel sensor, which is increasingly common on consumer cameras. Our network uses a novel architecture to fuse these two sources of information and can overcome the above-mentioned limitations of pure binocular stereo matching. Our method provides a dense depth map with sharp edges, which is crucial for computational photography applications like synthetic shallow-depth-of-field or 3D Photos. Additionally, we avoid the inherent ambiguity due to the aperture problem in stereo cameras by designing the stereo baseline to be orthogonal to the dual-pixel baseline. We present experiments and comparisons with state-of-the-art approaches to show that our method offers a substantial improvement over previous works.


title: Computing first passage times for Markov-modulated fluid models using numerical PDE problem solvers

abstract: A popular method to compute first-passage probabilities in continuous-time Markov chains is by numerically inverting their Laplace transforms. Past decades, the scientific computing community has developed excellent numerical methods for solving problems governed by partial differential equations (PDEs), making the availability of a Laplace transform not necessary here for computational purposes. In this study we demonstrate that numerical PDE problem solvers are suitable for computing first passage times, and can be very efficient for this purpose. By doing extensive computational experiments, we show that modern PDE problem solvers can outperform numerical Laplace transform inversion, even if a transform is available. When the Laplace transform is explicit (e.g. does not require the computation of an eigensystem), numerical transform inversion remains the primary method of choice.


title: Approximation of Random Functions by Random Polynomials in the Framework of Choquet's Theory of Integration

abstract: Given a submodular capacity space, we prove the uniform convergence in capacity and also the uniform convergence in the Choquet-mean of order $p\ge1$ with a quantitative estimate, of the multivariate Bernstein polynomials associated to a random function. Applications to quantitative estimates concerning the uniform convergence in capacity in the univariate case are given.


title: The face generated by a point, generalized affine constraints, and quantum theory

abstract: We analyze faces generated by points in an arbitrary convex set and their relative algebraic interiors, which are nonempty as we shall prove. We show that by intersecting a convex set with a sublevel or level set of a generalized affine functional, the dimension of the face generated by a point may decrease by at most one. We apply the results to the set of quantum states on a separable Hilbert space. Among others, we show that every state having finite expected values of any two (not necessarily bounded) positive operators admits a decomposition into pure states with the same expected values. We discuss applications in quantum information theory.

categories: math.FA math-ph math.MG math.MP quant-ph


title: Studying the Effect of Digital Stain Separation of Histopathology Images on Image Search Performance

abstract: Due to recent advances in technology, digitized histopathology images are now widely available for both clinical and research purposes. Accordingly, research into computerized image analysis algorithms for digital histopathology images has been progressing rapidly. In this work, we focus on image retrieval for digital histopathology images. Image retrieval algorithms can be used to find similar images and can assist pathologists in making quick and accurate diagnoses. Histopathology images are typically stained with dyes to highlight features of the tissue, and as such, an image analysis algorithm for histopathology should be able to process colour images and determine relevant information from the stain colours present. In this study, we are interested in the effect that stain separation into their individual stain components has on image search performance. To this end, we implement a basic k-nearest neighbours (kNN) search algorithm on histopathology images from two publicly available data sets (IDC and BreakHis) which are: a) converted to greyscale, b) digitally stain-separated and c) the original RGB colour images. The results of this study show that using H\&E separated images yields search accuracies within one or two percent of those obtained with original RGB images, and that superior performance is observed using the H\&E images in most scenarios we tested.


title: New Perspectives on the Use of Online Learning for Congestion Level Prediction over Traffic Data

abstract: This work focuses on classification over time series data. When a time series is generated by non-stationary phenomena, the pattern relating the series with the class to be predicted may evolve over time (concept drift). Consequently, predictive models aimed to learn this pattern may become eventually obsolete, hence failing to sustain performance levels of practical use. To overcome this model degradation, online learning methods incrementally learn from new data samples arriving over time, and accommodate eventual changes along the data stream by implementing assorted concept drift strategies. In this manuscript we elaborate on the suitability of online learning methods to predict the road congestion level based on traffic speed time series data. We draw interesting insights on the performance degradation when the forecasting horizon is increased. As opposed to what is done in most literature, we provide evidence of the importance of assessing the distribution of classes over time before designing and tuning the learning model. This previous exercise may give a hint of the predictability of the different congestion levels under target. Experimental results are discussed over real traffic speed data captured by inductive loops deployed over Seattle (USA). Several online learning methods are analyzed, from traditional incremental learning algorithms to more elaborated deep learning models. As shown by the reported results, when increasing the prediction horizon, the performance of all models degrade severely due to the distribution of classes along time, which supports our claim about the importance of analyzing this distribution prior to the design of the model.


title: Consistent scaling exponents at the deconfined quantum-critical point

abstract: We report a quantum Monte Carlo study of the phase transition between antiferromagnetic and valence-bond solid ground states in the square-lattice $S=1/2$ $J$-$Q$ model. The critical correlation function of the $Q$ terms gives a scaling dimension corresponding to the value $\nu = 0.455 \pm 0.002$ of the correlation-length exponent. This value agrees with previous (less precise) results from conventional methods, e.g., finite-size scaling of the near-critical order parameters. We also study the $Q$-derivatives of the Binder cumulants of the order parameters for $L^2$ lattices with $L$ up to $448$. The slope grows as $L^{1/\nu}$ with a value of $\nu$ consistent with the scaling dimension of the $Q$ term. There are no indications of runaway flow to a first-order phase transition. The mutually consistent estimates of $\nu$ provide compelling support for a continuous deconfined quantum-critical point.


title: Magnetic properties of Co/Ni-based multilayers with Pd and Pt insertion layers

abstract: In this study, the influence of Pd and Pt insertion layers in Co/Ni multilayers (MLs) on their magnetic properties, e.g. magnetic anisotropies, saturation magnetization, coercivity, magnetic domain size, and Curie temperature, is investigated. We compare three series of [Co/Ni/X]N ML systems (X = Pd, Pt, no insertion layer), varying the individual Co layer thickness as well as the repetition number N. All three systems behave very similarly for the different Co layer thicknesses. For all systems, a maximum effective magnetic anisotropy was achieved for MLs with a Co layer thickness between 0.15 nm and 0.25 nm. The transition from an out-of-plane to an in-plane system occurs at about 0.4 nm of Co. While [Co(0.2 nm)/Ni(0.4 nm)]N MLs change their preferred easy magnetization axis from out-of-plane to in-plane after 6 bilayer repetitions, insertion of Pd and Pt results in an extension of this transition beyond 15 repetitions. The maximum effective magnetic anisotropy was more than doubled from 105 kJ/m3 for [Co/Ni]3 to 275 and 186 kJ/m3 for Pt and Pd, respectively. Furthermore, the insertion layers strongly reduce the initial saturation magnetization of 1100 kA/m of Co/Ni MLs and lower the Curie temperature from 720 to around 500 K


title: Constrained Hamiltonian approach to the Maxwell theory

abstract: The most common physical formalisms are the Lagrangian formalism and the Hamiltonian formalism. From the superficial point of view, they are one and the same, but rewritten in other terms. However, it seems that the Hamiltonian formalism has a richer structure and is more convenient for studying the electromagnetic field, especially in the formalization of its geometrization. Unfortunately for field problems, there is a whole set of Hamiltonian formalisms. The authors study the applicability of different variants of the Hamiltonian formalism to the problems of electrodynamics. In this paper we consider the Hamiltonian formalism with constraints.


title: Spectral methods for nonlinear functionals and functional differential equations

abstract: We present a rigorous convergence analysis for cylindrical approximations of nonlinear functionals, functional derivatives, and functional differential equations (FDEs). The purpose of this analysis is twofold: first, we prove that continuous nonlinear functionals, functional derivatives and FDEs can be approximated uniformly on any compact subset of a real Banach space admitting a basis by high-dimensional multivariate functions and high-dimensional partial differential equations (PDEs), respectively. Second, we show that the convergence rate of such functional approximations can be exponential, depending on the regularity of the functional (in particular its Fr\'echet differentiability), and its domain. We also provide necessary and sufficient conditions for consistency, stability and convergence of cylindrical approximations to linear FDEs. These results open the possibility to utilize numerical techniques for high-dimensional systems such as deep neural networks and numerical tensor methods to approximate nonlinear functionals in terms of high-dimensional functions, and compute approximate solutions to FDEs by solving high-dimensional PDEs. Numerical examples are presented and discussed for prototype nonlinear functionals and for an initial value problem involving a linear FDE.


title: A hyperbolic reformulation of the Serre-Green-Naghdi model for general bottom topographies

abstract: We present a novel hyperbolic reformulation of the Serre-Green-Naghdi (SGN) model for the description of dispersive water waves. Contrarily to the classical Boussinesq-type models, it contains only first order derivatives, thus allowing to overcome the numerical difficulties and the severe time step restrictions arising from higher order terms. The proposed model reduces to the original SGN model when an artificial sound speed tends to infinity. Moreover, it is endowed with an energy conservation law from which the energy conservation law associated with the original SGN model is retrieved when the artificial sound speed goes to infinity. The governing partial differential equations are then solved at the aid of high order ADER discontinuous Galerkin finite element schemes. The new model has been successfully validated against numerical and experimental results, for both flat and non-flat bottom. For bottom topographies with large variations, the new model proposed in this paper provides more accurate results with respect to the hyperbolic reformulation of the SGN model with the mild bottom approximation recently proposed in "C. Escalante, M. Dumbser and M.J. Castro. An efficient hyperbolic relaxation system for dispersive non-hydrostatic water waves and its solution with high order discontinuous Galerkin schemes, Journal of Computational Physics 2018".


title: Accelerography: Feasibility of Gesture Typing using Accelerometer

abstract: In this paper, we aim to look into the feasibility of constructing alphabets using gestures. The main idea is to construct gestures, that are easy to remember, not cumbersome to reproduce and easily identifiable. We construct gestures for the entire English alphabet and provide an algorithm to identify the gestures, even when they are constructed continuously. We tackle the problem statistically, taking into account the problem of randomness in the hand movement gestures of users, and achieve an average accuracy of 97.33% with the entire English alphabet.


title: Outstanding Challenges of Exoplanet Atmospheric Retrievals

abstract: Spectral retrieval has long been a powerful tool for interpreting planetary remote sensing observations. Flexible, parameterised, agnostic models are coupled with inversion algorithms in order to infer atmospheric properties directly from observations, with minimal reliance on physical assumptions. This approach, originally developed for application to Earth satellite data and subsequently observations of other Solar System planets, has been recently and successfully applied to transit, eclipse and phase curve spectra of transiting exoplanets. In this review, we present the current state-of-the-art in terms of our ability to accurately retrieve information about atmospheric chemistry, temperature, clouds and spatial variability; we discuss the limitations of this, both in the available data and modelling strategies used; and we recommend approaches for future improvement.


title: Exact Mapping Between a Laser Network Loss Rate and the Classical XY Hamiltonian by Laser Loss Control

abstract: Recently, there has been growing interest in the utilisation of physical systems as heuristic optimisers for classical spin Hamiltonians. A prominent approach employs gain-dissipative optical oscillator networks for this purpose. Unfortunately, these systems inherently suffer from an inexact mapping between the oscillator network loss rate and the spin Hamiltonian due to additional degrees of freedom present in the system such as oscillation amplitude. In this work, we theoretically analyse and experimentally demonstrate a scheme for the alleviation of this difficulty. The scheme involves control over the laser oscillator amplitude through modification of individual laser oscillator loss. We demonstrate this approach in a laser network classical XY model simulator based on a digital degenerate cavity laser. We prove that for each XY model energy minimum there corresponds a unique set of laser loss values that leads to a network state with identical oscillation amplitudes and to phase values that coincide with the XY model minimum. We experimentally demonstrate an 8 fold improvement in the deviation from the minimal XY energy by employing our proposed solution scheme.


title: Quasi-periodic incompressible Euler flows in 3D

abstract: We prove the existence of time-quasi-periodic solutions of the incompressible Euler equation on the three-dimensional torus $\T^3$, with a small time-quasi-periodic external force. The solutions are perturbations of constant (Diophantine) vector fields, and they are constructed by means of normal forms and KAM techniques for reversible quasilinear PDEs.


title: NGTS J214358.5-380102 -- NGTS discovery of the most eccentric known eclipsing M-Dwarf binary system

abstract: We present the discovery of NGTS J214358.5-380102, an eccentric M-dwarf binary discovered by the Next Generation Transit Survey. The system period of 7.618 days is greater than many known eclipsing M-dwarf binary systems. Its orbital eccentricity of $0.323^{+0.0014}_{-0.0037}$, is large relative to the period and semi-major axis of the binary. Global modelling of photometry and radial velocities indicate stellar masses of $M_A$=$0.426 ^{+0.0056}_{-0.0049}$, $M_B$=$0.455 ^{+0.0058}_{-0.0052}$ and stellar radii $R_A$=$0.461 ^{+0.038}_{-0.025}$ $R_B$=$0.411 ^{+0.027}_{-0.039}$, respectively. Comparisons with stellar models for low mass stars show that one star is consistent with model predictions whereas the other is substantially oversized. Spectral analysis of the system suggests a primary of spectral type M3V, consistent with both modelled masses and radii, and with SED fitting of NGTS photometry. As the most eccentric eclipsing M-dwarf binary known, NGTS J214358.5-380102 provides an interesting insight into the strength of tidal effects in the circularisation of stellar orbits.


title: Asymptotics for 2D whispering gallery modes in optical micro-disks with radially varying index

abstract: Whispering gallery modes [WGM] are resonant modes displaying special features: They concentrate along the boundary of the optical cavity at high polar frequencies and they are associated with complex scattering resonances very close to the real axis. As a classical simplification of the full Maxwell system, we consider two-dimensional Helmholtz equations governing transverse electric [TE] or magnetic [TM] modes. Even in this 2D framework, very few results provide asymptotic expansion of WGM resonances at high polar frequency $m\to\infty$ for cavities with radially varying optical index. In this work, using a direct Schr\"odinger analogy we highlight three typical behaviors in such optical micro-disks, depending on the sign of an effective curvature that takes into account the radius of the disk and the values of the optical index and its derivative. Accordingly, this corresponds to abruptly varying effective potentials (step linear or step harmonic) or more classical harmonic potentials, leading to three distinct asymptotic expansions for ground state energies. Using multiscale expansions, we design a unified procedure to construct families of quasi-resonances and associate quasi-modes that have the WGM structure and satisfy eigenequations modulo a super-algebraically small residual $O(m^{-\infty})$. We show using the black box scattering approach that quasi-resonances are $O(m^{-\infty})$ close to true resonances.


title: Beurling-Selberg Extremization and Modular Bootstrap at High Energies

abstract: We consider previously derived upper and lower bounds on the number of operators in a window of scaling dimensions $[\Delta - \delta,\Delta + \delta]$ at asymptotically large $\Delta$ in 2d unitary modular invariant CFTs. These bounds depend on a choice of functions that majorize and minorize the characteristic function of the interval $[\Delta - \delta,\Delta + \delta]$ and have Fourier transforms of finite support. The optimization of the bounds over this choice turns out to be exactly the Beurling-Selberg extremization problem, widely known in analytic number theory. We review solutions of this problem and present the corresponding bounds on the number of operators for any $\delta \geq 0$. When $2\delta \in \mathbb Z_{\geq 0}$ the bounds are saturated by known partition functions with integer-spaced spectra. Similar results apply to operators of fixed spin and Virasoro primaries in $c>1$ theories.


title: Engineering Exact Quasi-Threshold Editing

abstract: Quasi-threshold graphs are $\{C_4, P_4\}$-free graphs, i.e., they do not contain any cycle or path of four nodes as an induced subgraph. We study the $\{C_4, P_4\}$-free editing problem, which is the problem of finding a minimum number of edge insertions or deletions to transform an input graph into a quasi-threshold graph. This problem is NP-hard but fixed-parameter tractable (FPT) in the number of edits by using a branch-and-bound algorithm and admits a simple integer linear programming formulation (ILP). Both methods are also applicable to the general $F$-free editing problem for any finite set of graphs $F$. For the FPT algorithm, we introduce a fast heuristic for computing high-quality lower bounds and an improved branching strategy. For the ILP, we engineer several variants of row generation. We evaluate both methods for quasi-threshold editing on a large set of protein similarity graphs. For most instances, our optimizations speed up the FPT algorithm by one to three orders of magnitude. The running time of the ILP, that we solve using Gurobi, becomes only slightly faster. With all optimizations, the FPT algorithm is slightly faster than the ILP, even when listing all solutions. Additionally, we show that for almost all graphs, solutions of the previously proposed quasi-threshold editing heuristic QTM are close to optimal.


title: From transition electromagnetic form factors $\gamma^* \gamma^* \eta_c(1S,2S)$ to the production of $\eta_c(1S,2S)$ at the LHC

abstract: We review our recent results for production of $\eta_c(1S)$ and $\eta_c(2S)$ in the $\gamma^* \gamma^* \to \eta_c(1S,2S)$ fusion and in proton-proton collisions via gluon-gluon fusion. The quarkonium wave functions are calculated by solving Schr\"odinger equation for different $c \bar c$ potentials. Using Terentev prescription the light-cone wave functions are obtained. The light-cone wave functions are used then to calculate $\gamma^* \gamma^* \to \eta_c$ transition form factors. The theoretical results are compared to the Belle experimental data for $\eta_c(1S)$. In addition we discuss our results for two-photon decay width. We present also results of our calculations for proton-proton collisions obtained within $k_T$-factorization approach for different unintegrated gluon distributions. The results for hadroproduction of $\eta_c(1S)$ are compared to the LHCb experimental data.


title: On Error Estimation for Reduced-order Modeling of Linear Non-parametric and Parametric Systems

abstract: Motivated by a recently proposed error estimator for the transfer function of the reduced-order model of a given linear dynamical system, we further develop more theoretical results in this work. Furthermore, we propose several variants of the error estimator, and compare those variants with the existing ones both theoretically and numerically. It has been shown that some of the proposed error estimators perform better than or equally well as the existing ones. All the error estimators considered can be easily extended to estimate output error of reduced-order modeling for steady linear parametric systems.


title: Photoinduced ultrafast dynamics and control of chemical reactions: from quantum to classical dynamics

abstract: This perspective on laser control provides a quick overview over different schemes for coherent control of chemical reactions and photophysical processes. It originally appeared in Bunsen Magazin 1, 13 - 23 (2012).


title: Novel approach to Room Temperature Superconductivity problem

abstract: A long-standing problem of observing Room Temperature Superconductivity is finally solved by a novel approach. Instead of increasing the critical temperature Tc of a superconductor, the temperature of the room was decreased to an appropriate Tc value. We consider this approach more promising for obtaining a large number of materials possessing Room Temperature Superconductivity in the near future.


title: Formal controller synthesis for hybrid systems using genetic programming

abstract: This paper proposes a framework for automatic formal controller synthesis for general hybrid systems with a subset of safety and reachability specifications. The framework uses genetic programming to automatically co-synthesize controllers and candidate Lyapunov-like functions. These candidate Lyapunov-like functions are used to formally verify the control specification, and their correctness is proven using a Satisfiability Modulo Theories solver. The advantages of this approach are: no restriction is made to polynomial systems, the synthesized controllers are expressed as compact expressions, and no explicit solution structure has to be specified beforehand. We demonstrate the effectiveness of the proposed framework in several case studies, including nonpolynomial systems, sampled-data systems, systems with bounded uncertainties, switched systems, and systems with jumps. osed framework in several case studies, including nonpolynomial systems, sampled-data systems, systems with bounded uncertainties, switched systems, and systems with jumps.


title: How Useful is Self-Supervised Pretraining for Visual Tasks?

abstract: Recent advances have spurred incredible progress in self-supervised pretraining for vision. We investigate what factors may play a role in the utility of these pretraining methods for practitioners. To do this, we evaluate various self-supervised algorithms across a comprehensive array of synthetic datasets and downstream tasks. We prepare a suite of synthetic data that enables an endless supply of annotated images as well as full control over dataset difficulty. Our experiments offer insights into how the utility of self-supervision changes as the number of available labels grows as well as how the utility changes as a function of the downstream task and the properties of the training data. We also find that linear evaluation does not correlate with finetuning performance. Code and data is available at \href{https://www.github.com/princeton-vl/selfstudy}{github.com/princeton-vl/selfstudy}.


title: On the Integration of LinguisticFeatures into Statistical and Neural Machine Translation

abstract: New machine translations (MT) technologies are emerging rapidly and with them, bold claims of achieving human parity such as: (i) the results produced approach "accuracy achieved by average bilingual human translators" (Wu et al., 2017b) or (ii) the "translation quality is at human parity when compared to professional human translators" (Hassan et al., 2018) have seen the light of day (Laubli et al., 2018). Aside from the fact that many of these papers craft their own definition of human parity, these sensational claims are often not supported by a complete analysis of all aspects involved in translation. Establishing the discrepancies between the strengths of statistical approaches to MT and the way humans translate has been the starting point of our research. By looking at MT output and linguistic theory, we were able to identify some remaining issues. The problems range from simple number and gender agreement errors to more complex phenomena such as the correct translation of aspectual values and tenses. Our experiments confirm, along with other studies (Bentivogli et al., 2016), that neural MT has surpassed statistical MT in many aspects. However, some problems remain and others have emerged. We cover a series of problems related to the integration of specific linguistic features into statistical and neural MT, aiming to analyse and provide a solution to some of them. Our work focuses on addressing three main research questions that revolve around the complex relationship between linguistics and MT in general. We identify linguistic information that is lacking in order for automatic translation systems to produce more accurate translations and integrate additional features into the existing pipelines. We identify overgeneralization or 'algorithmic bias' as a potential drawback of neural MT and link it to many of the remaining linguistic issues.


title: N=4 super Yang-Mills correlators without anti-commuting variables

abstract: Quantum correlators of pure supersymmetric Yang-Mills theories in D=3,4,6 and 10 dimensions can be reformulated via the non-linear and non-local transformation (`Nicolai map') that maps the full functional measure of the interacting theory to that of a free bosonic theory. As a special application we show that for the maximally extended N=4 theory in four dimensions, and up to order O(g^2), all known results for scalar correlators can be recovered in this way without any use of anti-commuting variables, in terms of a purely bosonic and ghost free functional measure for the gauge fields. This includes in particular the dilatation operator yielding the anomalous dimensions of composite operators. The formalism is thus competitive with more standard perturbative techniques.


title: Double transgressions and Bott-Chern duality

abstract: We present a general framework for obtaining currential double transgression formulas on complex manifolds which can be seen as manifestations of Bott-Chern Duality. These results complement on one hand the simple transgression formulas obtained by Harvey -Lawson and on the other hand the double transgression formulas of Bismut-Gillet-Soul\'e. Among the applications we mention a Gysin isomorphism for Bott-Chern cohomology, an abstract Poincar\'e-Lelong formula for sections of holomorphic and Hermitian vector bundles implying Andersson's generalization of the standard Poincar\'e-Lelong, a Bott-Chern duality formula for the Chern-Fulton classes of singular varieties or a refinement of the first author's simple transgression formula for the Chern character of a Quillen superconnection associated to a self-adjoint, odd endomorphism. The existence of a Bismut-Gillet-Soul\'e double transgression without the hypothesis of degeneration along a submanifold stands out and is based on an extension to linear correspondences of the operation of morphism addition. Finally, as a by-product we also obtain a statement about the {pointwise localization} of the Samuel multiplicity of an analytic subvariety of a complex manifold along an irreducible component.


title: A PDF PSA, or Never gonna set_xscale again -- guilty feats with logarithms

abstract: In the course of doing astronomy, one often encounters plots of densities, for example probability densities, flux densities, and mass functions. Quite frequently the ordinate of these diagrams is plotted logarithmically to accommodate a large dynamic range. In this situation, I argue that it is critical to adjust the density appropriately, rather than simply setting the x-scale to `log' in your favorite plotting code. I will demonstrate the basic issue with a pedagogical example, then mention a few common plots where this may arise, and finally some possible exceptions to the rule.


title: CRYSPNet: Crystal Structure Predictions via Neural Network

abstract: Structure is the most basic and important property of crystalline solids; it determines directly or indirectly most materials characteristics. However, predicting crystal structure of solids remains a formidable and not fully solved problem. Standard theoretical tools for this task are computationally expensive and at times inaccurate. Here we present an alternative approach utilizing machine learning for crystal structure prediction. We developed a tool called Crystal Structure Prediction Network (CRYSPNet) that can predict the Bravais lattice, space group, and lattice parameters of an inorganic material based only on its chemical composition. CRYSPNet consists of a series of neural network models, using as inputs predictors aggregating the properties of the elements constituting the compound. It was trained and validated on more than 100,000 entries from the Inorganic Crystal Structure Database. The tool demonstrates robust predictive capability and outperforms alternative strategies by a large margin. Made available to the public (at https://github.com/AuroraLHT/cryspnet), it can be used both as an independent prediction engine or as a method to generate candidate structures for further computational and/or experimental validation.


title: Software-Defined Radio Implementation of Age-of-Information-Oriented Random Access

abstract: More and more emerging Internet of Things (IoT) applications involve status updates, where various IoT devices monitor certain physical processes and report their latest statuses to the relevant information fusion nodes. A new performance measure, termed the age of information (AoI), has recently been proposed to quantify the information freshness in time-critical IoT applications. Due to a large number of devices in future IoT networks, the decentralized channel access protocols (e.g. random access) are preferable thanks to their low network overhead. Built on the AoI concept, some recent efforts have developed several AoI-oriented ALOHA-like random access protocols for boosting the network-wide information freshness. However, all relevant works focused on theoretical designs and analysis. The development and implementation of a working prototype to evaluate and further improve these random access protocols in practice have been largely overlooked. Motivated as such, we build a software-defined radio (SDR) prototype for testing and comparing the performance of recently proposed AoI-oriented random access protocols. To this end, we implement a time-slotted wireless system by devising a simple yet effective over-the-air time synchronization scheme, in which beacons that serve as reference timing packets are broadcast by an access point from time to time. For a complete working prototype, we also design the frame structures of various packets exchanged within the system. Finally, we design a set of experiments, implement them on our prototype and test the considered algorithms in an office environment.


title: Proof of dispersion relations for the amplitude in theories with a compactified space dimension

abstract: The analyticity properties of the scattering amplitude in the nonforward direction are investigated for a field theory in the manifold $\mathbb{R}^{3,1}\times S^1$. A scalar field theory of mass $m_0$ is considered in $D = 5$ Minkowski space to start with. Subsequently, one spatial dimension is compactified to a circle. The mass spectrum of the resulting theory is: (a) a massive scalar of mass, $m_0$, same as the original five dimensional theory and (b) a tower of massive Kaluza-Klein states. We derive nonforward dispersion relations for scattering of the excited Kaluza-Klein states in the Lehmann-Symanzik-Zimmermann formulation of the theory. In order to accomplish this object, first we generalize the Jost-Lehmann-Dyson theorem for a relativistic field theory with a compact spatial dimension. Next, we show the existence of the Lehmann-Martin ellipse inside which the partial wave expansion converges. It is proved that the scattering amplitude satisfies fixed-$t$ dispersion relations when $|t|$ lies within the Lehmann-Martin ellipse.


title: Numerical integration without smoothness assumption

abstract: We consider numerical integration in classes, for which we do not impose any smoothness assumptions. We illustrate how nonlinear approximation, in particular greedy approximation, allows us to guarantee some rate of decay of errors of numerical integration even in such a general setting with no smoothness assumptions.


title: Artificial chemistry experiments with chemlambda, lambda calculus, interaction combinators

abstract: Given a graph rewrite system, a graph G is a quine graph if it has a non-void maximal collection of non-conflicting matches of left patterns of graphs rewrites, such that after the parallel application of the rewrites we obtain a graph isomorphic with G. Such graphs exhibit a metabolism, they can multiply or they can die, when reduced by a random rewriting algorithm. These are introductory notes to the pages of artificial chemistry experiments with chemlambda, lambda calculus or interaction combinators, available from the entry page https://chemlambda.github.io/index.html . The experiments are bundled into pages, all of them based on a library of programs, on a database which contains hundreds of graphs and on a database of about 150 pages of text comments and a collection of more than 200 animations, most of them which can be re-done live, via the programs. There are links to public repositories of other contributors to these experiments, with versions of these programs in python, haskell, awk or javascript.


title: Prediction of repurposed drugs for treating lung injury in COVID-19

abstract: Coronavirus disease (COVID-19) is an infectious disease discovered in 2019 and currently in outbreak across the world. Lung injury with severe respiratory failure is the leading cause of death in COVID-19, brought by severe acute respiratory syndrome coronavirus 2 (SARS-CoV-2). However, there still lacks efficient treatment for COVID-19 induced lung injury and acute respiratory failure. Inhibition of Angiotensin-converting enzyme 2 (ACE2) caused by spike protein of SARS-CoV-2 is the most plausible mechanism of lung injury in COVID-19. We propose two candidate drugs, COL-3 (a chemically modified tetracycline) and CGP-60474 (a cyclin-dependent kinase inhibitor), for treating lung injuries in COVID-19, based on their abilities to reverse the gene expression patterns in HCC515 cells treated with ACE2 inhibitor and in human COVID-19 patient lung tissues. Further bioinformatics analysis shows that twelve significantly enriched pathways (P-value <0.05) overlap between HCC515 cells treated with ACE2 inhibitor and human COVID-19 patient lung tissues, including signaling pathways known to be associated with lung injury such as TNF signaling, MAPK signaling and Chemokine signaling pathways. All these twelve pathways are targeted in COL-3 treated HCC515 cells, in which genes such as RHOA, RAC2, FAS, CDC42 have reduced expression. CGP-60474 shares eleven of twelve pathways with COL-3 with common target genes such as RHOA. It also uniquely targets genes related to lung injury, such as CALR and MMP14. In summary, this study shows that ACE2 inhibition is likely part of the mechanisms leading to lung injury in COVID-19, and that compounds such as COL-3 and CGP-60474 have the potential as repurposed drugs for its treatment.


title: Estimating the infection horizon of COVID-19 in eight countries with a data-driven approach

abstract: The COVID-19 pandemic has affected all countries of the world producing a substantial number of fatalities accompanied by a major disruption in their social, financial, and educational organization. The strict disciplinary measures implemented by China were very effective and thus were subsequently adopted by most world countries to various degrees. The infection duration and number of infected persons are of critical importance for the battle against the pandemic. We use the quantitative landscape of the disease spreading in China as a benchmark and utilize infection data from eight countries to estimate the complete evolution of the infection in each of these countries. The analysis predicts successfully both the expected number of daily infections per country and, perhaps more importantly, the duration of the epidemic in each country. Our quantitative approach is based on a Gaussian spreading hypothesis that is shown to arise as a result of imposed measures in a simple dynamical infection model. This may have consequences and shed light in the efficiency of policies once the phenomenon is over.


title: On the hot spots of quantum graphs

abstract: We undertake a systematic investigation of the maxima and minima of the eigenfunctions associated with the first nontrivial eigenvalue of the Laplacian on a metric graph equipped with standard (continuity--Kirchhoff) vertex conditions. This is inspired by the famous hot spots conjecture for the Laplacian on a Euclidean domain, and the points on the graph where maxima and minima are achieved represent the generically "hottest" and "coldest" spots of the graph. We prove results on both the number and location of the hot spots of a metric graph, and also present a large number of examples, many of which run contrary to what one might na\"ively expect. Amongst other results we prove the following: (i) generically, up to arbitrarily small perturbations of the graph, the points where minimum and maximum, respectively, are attained are unique; (ii) the minima and maxima can only be located at the vertices of degree one or inside the doubly connected part of the metric graph; and (iii) for any fixed graph topology, for some choices of edge lengths all minima and maxima will occur only at degree-one vertices, while for others they will only occur in the doubly connected part of the graph.


title: HD 196390: A tight correlation of differential abundances with condensation temperature

abstract: Bedell et al. (2018) give precision differential abundances for 79 mostly G-dwarf stars. We correct these abundances for Galactic chemical evolution in a manner similar to that used by these authors but with parameters derived from linear fits to plots of [El/H] vs. age in lieu of [El/Fe]. We examine the resulting abundances for correlations with the 50% condensation temperature using values from both Lodders (2003) and Wood et al. (2019), and compare with the results of Bedell et al. HD 196390 is distinct in having the most significant correlation of the 79-star sample. We report statistics for a subset of stars with lower significance, but of some interest.


title: Efficient identification of infected sub-population

abstract: When testing for infections, the standard method is to test each subject individually. If testing methodology is such that samples from multiple subjects can be efficiently combined and tested at once, yielding a positive results if any one subject in the subgroup is positive, then one can often identify the infected sub-population with a considerably lower number of tests compared to the number of test subjects. We present two such methods that allow an increase in testing efficiency (in terms of total number of test performed) by a factor of $\approx$ 10 if population infection rate is $10^{-2}$ and a factor of $\approx$50 when it is $10^{-3}$. Such methods could be useful when testing large fractions of the total population, as will be perhaps required during the current coronavirus pandemic.


title: TartanAir: A Dataset to Push the Limits of Visual SLAM

abstract: We present a challenging dataset, the TartanAir, for robot navigation tasks and more. The data is collected in photo-realistic simulation environments with the presence of moving objects, changing light and various weather conditions. By collecting data in simulations, we are able to obtain multi-modal sensor data and precise ground truth labels such as the stereo RGB image, depth image, segmentation, optical flow, camera poses, and LiDAR point cloud. We set up large numbers of environments with various styles and scenes, covering challenging viewpoints and diverse motion patterns that are difficult to achieve by using physical data collection platforms. In order to enable data collection at such a large scale, we develop an automatic pipeline, including mapping, trajectory sampling, data processing, and data verification. We evaluate the impact of various factors on visual SLAM algorithms using our data. The results of state-of-the-art algorithms reveal that the visual SLAM problem is far from solved. Methods that show good performance on established datasets such as KITTI do not perform well in more difficult scenarios. Although we use the simulation, our goal is to push the limits of Visual SLAM algorithms in the real world by providing a challenging benchmark for testing new methods, while also using a large diverse training data for learning-based methods. Our dataset is available at \url{http://theairlab.org/tartanair-dataset}.


title: Synthetic Flux Attachment

abstract: Topological field theories emerge at low energy in strongly-correlated condensed matter systems and appear in the context of planar gravity. In particular, the study of Chern-Simons terms gives rise to the concept of flux attachment when the gauge field is coupled to matter, yielding flux-charge composites. Here we investigate the generation of flux attachment in a Bose-Einstein condensate in the presence of non-linear synthetic gauge potentials. In doing so, we identify the U(1) Chern-Simons gauge field as a singular density-dependent gauge potential, which in turn can be expressed as a Berry connection. We envisage a proof-of-concept scheme where the artificial gauge field is perturbatively induced by an effective light-matter detuning created by interparticle interactions. At a mean field level, we recover the action of a "charged" superfluid minimally coupled to both a background and a Chern-Simons gauge field. Remarkably, a localised density perturbation in combination with a non-linear gauge potential gives rise to an effective composite boson model of fractional quantum Hall effect, displaying anyonic vortices.

categories: cond-mat.quant-gas cond-mat.mes-hall cond-mat.str-el hep-th quant-ph


title: Observing the earliest moments of supernovae using strong gravitational lenses

abstract: We determine the viability of exploiting lensing time delays to observe strongly gravitationally lensed supernovae (gLSNe) from first light. Assuming a plausible discovery strategy, the Legacy Survey of Space and Time (LSST) and the Zwicky Transient Facility (ZTF) will discover $\sim$ 110 and $\sim$ 1 systems per year before the supernova (SN) explosion in the final image respectively. Systems will be identified $11.7^{+29.8}_{-9.3}$ days before the final explosion. We then explore the possibility of performing early-time observations for Type IIP and Type Ia SNe in LSST-discovered systems. Using a simulated Type IIP explosion, we predict that the shock breakout in one trailing image per year will peak at $\lesssim$ 24.1 mag ($\lesssim$ 23.3) in the $B$-band ($F218W$), however evolving over a timescale of $\sim$ 30 minutes. Using an analytic model of Type Ia companion interaction, we find that in the $B$-band we should observe at least one shock cooling emission event per year that peaks at $\lesssim$ 26.3 mag ($\lesssim$ 29.6) assuming all Type Ia gLSNe have a 1 M$_\odot$ red giant (main sequence) companion. We perform Bayesian analysis to investigate how well deep observations with 1 hour exposures on the European Extremely Large Telescope would discriminate between Type Ia progenitor populations. We find that if all Type Ia SNe evolved from the double-degenerate channel, then observations of the lack of early blue flux in 10 (50) trailing images would rule out more than 27% (19%) of the population having 1 M$_\odot$ main sequence companions at 95% confidence.


title: Interpolation and duality in algebras of multipliers on the ball

abstract: We study the multiplier algebras $A(\mathcal{H})$ obtained as the closure of the polynomials on certain reproducing kernel Hilbert spaces $\mathcal{H}$ on the ball $\mathbb{B}_d$ of $\mathbb{C}^d$. Our results apply, in particular, to the Drury-Arveson space, the Dirichlet space and the Hardy space on the ball. We first obtain a complete description of the dual and second dual spaces of $A(\mathcal H)$ in terms of the complementary bands of Henkin and totally singular measures for $\operatorname{Mult}(\mathcal{H})$. This is applied to obtain several definitive results in interpolation. In particular, we establish a sharp peak interpolation result for compact $\operatorname{Mult}(\mathcal{H})$-totally null sets as well as a Pick and peak interpolation theorem. Conversely, we show that a mere interpolation set is $\operatorname{Mult}(\mathcal{H})$-totally null.


title: Fusible numbers and Peano Arithmetic

abstract: Inspired by a mathematical riddle involving fuses, we define the "fusible numbers" as follows: $0$ is fusible, and whenever $x,y$ are fusible with $|y-x|<1$, the number $(x+y+1)/2$ is also fusible. We prove that the set of fusible numbers, ordered by the usual order on $\mathbb R$, is well-ordered, with order type $\varepsilon_0$. Furthermore, we prove that the density of the fusible numbers along the real line grows at an incredibly fast rate: Letting $g(n)$ be the largest gap between consecutive fusible numbers in the interval $[n,\infty)$, we have $g(n)^{-1} \ge F_{\varepsilon_0}(n-c)$ for some constant $c$, where $F_\alpha$ denotes the fast-growing hierarchy. Finally, we derive some true statements that can be formulated but not proven in Peano Arithmetic, of a different flavor than previously known such statements: PA cannot prove the true statement "For every natural number $n$ there exists a smallest fusible number larger than $n$." Also, consider the algorithm "$M(x)$: if $x<0$ return $-x$, else return $M(x-M(x-1))/2$." Then $M$ terminates on real inputs, although PA cannot prove the statement "$M$ terminates on all natural inputs."


title: Design and Practice of the Regulation in Speed with Flywheel

abstract: This paper aims at the teaching contents of "Fluctuation and Regulation in Speed of Machines" for students, explores the effect of the flywheel on the speed regulation of the mechanism system and its influencing factors, designs an experimental device with applied value, and develops a comparatively complete experimental scheme by contrasting experimental principles. Using this experimental device, we can in-depth study of the effect of the flywheel on the speed of different drive shafts, and deepen students' understanding and mastery of knowledge about regulation in speed.


title: Mean curvature flow with generic initial data

abstract: We show that the mean curvature flow of generic closed surfaces in $\mathbb{R}^{3}$ avoids asymptotically conical and non-spherical compact singularities. We also show that the mean curvature flow of generic closed low-entropy hypersurfaces in $\mathbb{R}^{4}$ is smooth until it disappears in a round point. The main technical ingredient is a long-time existence and uniqueness result for ancient mean curvature flows that lie on one side of asymptotically conical or compact shrinking solitons.


title: Searching for Space Vampires with TEvSS

abstract: It is a truth universally acknowledged, that a single human in possession of a good space telescope, must be in search of a space vampire. Here, we showcase our search for transit signatures of tidally locked space vampires, trapped in the gravitational pull of late M-dwarfs. We generate forward models representing two potential space vampire populations - those in bat shape and those in humanoid shape. We search lightcurves from the Transiting Exo-Vampire Survey Satellite (TEvSS) using a template matching algorithm and fit them using our allesfitter software. Adding the information gained from TEvSS data, we greatly decrease the uncertainty for the existence and occurrence rates of space vampires, and constrain eta(space vampire) to a range of 0% to 100% (or more). These precise analyses will be crucial for optimizing future observing schedules for space-vampire characterization with the James Webb Space-Vampire Telescope (JWSvT) and the Extremely-Large-Vampire Telescopes (ELvTs).


title: Stable chaos and delayed onset of statisticality in unimolecular dissociation reactions

abstract: Statistical models provide a powerful and useful class of approximations for calculating reaction rates by bypassing the need for detailed, and often difficult, dynamical considerations. Such approaches invariably invoke specific assumptions about the extent of intramolecular vibrational energy flow in the system. However, the nature of the transition to the statistical regime as a function of the molecular parameters is far from being completely understood. Here, we use tools from nonlinear dynamics to study the transition to statisticality in a model unimolecular reaction by explicitly visulaizing the high dimensional classical phase space. We identify generic features in the phase space involving the intersection of two or more independent anharmonic resonances and show that the presence of correlated, but chaotic, intramolecular dynamics near such junctions leads to nonstatisticality. Interestingly, akin to the stability of asteroids in the Solar System, molecules can stay protected from dissociation at the junctions for several picoseconds due to the phenomenon of stable chaos.


title: Discovery of a retrogradely rotating neutron star in the X-ray pulsar GX 301$-$2

abstract: We report on the analysis of the spin evolution of a slow X-ray pulsar GX 301$-$2 along the orbit using long-term monitoring by Fermi/GBM. Based on the observationally confirmed accretion scenario and an analytical model for the accretion of angular momentum we demonstrate that in this system, the neutron star spins retrogradely, that is, in a direction opposite to the orbital motion. This first-of-a-kind discovery of such a system proves the principal possibility of retrograde rotation in accreting systems with suitable accretion torque, and might have profound consequences for our understanding of the spin evolution of X-ray pulsars, estimates of their initial spin periods, and the ultimate result of their evolution.


title: UniformAugment: A Search-free Probabilistic Data Augmentation Approach

abstract: Augmenting training datasets has been shown to improve the learning effectiveness for several computer vision tasks. A good augmentation produces an augmented dataset that adds variability while retaining the statistical properties of the original dataset. Some techniques, such as AutoAugment and Fast AutoAugment, have introduced a search phase to find a set of suitable augmentation policies for a given model and dataset. This comes at the cost of great computational overhead, adding up to several thousand GPU hours. More recently RandAugment was proposed to substantially speedup the search phase by approximating the search space by a couple of hyperparameters, but still incurring non-negligible cost for tuning those. In this paper we show that, under the assumption that the augmentation space is approximately distribution invariant, a uniform sampling over the continuous space of augmentation transformations is sufficient to train highly effective models. Based on that result we propose UniformAugment, an automated data augmentation approach that completely avoids a search phase. In addition to discussing the theoretical underpinning supporting our approach, we also use the standard datasets, as well as established models for image classification, to show that UniformAugment's effectiveness is comparable to the aforementioned methods, while still being highly efficient by virtue of not requiring any search.


title: Shadows of charged rotating black holes: Kerr-Newman versus Kerr-Sen

abstract: Celebrating the centennial of its first experimental test, the theory of General Relativity (GR) has successfully and consistently passed all subsequent tests with flying colours. It is expected, however, that at certain scales new physics, in particular in the form of quantum corrections, will emerge, changing some of the predictions of GR, which is a classical theory. In this respect, black holes (BHs) are natural configurations to explore the quantum effects on strong gravitational fields. BH solutions in the low-energy effective field theory description of the heterotic string theory, which is one of the leading candidates to describe quantum gravity, have been the focus of many studies in the last three decades. The recent interest in strong gravitational lensing by BHs, in the wake of the Event Horizon Telescope observations, suggests comparing the BH lensing in both GR and heterotic string theory, in order to assess the phenomenological differences between these models. In this work, we investigate the differences in the shadows of two charged BH solutions with rotation: one arising in the context of GR, namely the Kerr-Newman solution, and the other within the context of low-energy heterotic string theory, the Kerr-Sen solution. We show and interpret, in particular, that the stringy BH always has a larger shadow, for the same physical parameters and observation conditions.


title: Current inversion in a periodically driven two-dimensional Brownian ratchet

abstract: It is well-known that Brownian ratchets can exhibit current reversals, wherein the sign of the current switches as a function of the driving frequency. We introduce a spatial discretization of such a two-dimensional Brownian ratchet to enable spectral methods that efficiently compute those currents. These discrete-space models provide a convenient way to study the Markovian dynamics conditioned upon generating particular values of the currents. By studying such conditioned processes, we demonstrate that low-frequency negative values of current arise from typical events and high-frequency positive values of current arises from rare events. We demonstrate how these observations can inform the sculpting of time-dependent potential landscapes with a specific frequency response.


title: Twinlike models for parametrized dark energy

abstract: We study cosmological models involving a single real scalar field that has an equation of state parameter which evolves with cosmic time. We highlight some common parametrizations for the equation of state as a function of redshift in the context of twinlike theories. The procedure is used to introduce different models that have the same acceleration parameter, with the very same energy densities and pressure in flat spacetime.


title: $(\Theta_n,sl_n)$-graded Lie algebras $(n=3,4)$

abstract: Let $\mathbb{F}$ be a field of characteristic zero and let $\mathfrak{g}$ be a non-zero finite-dimensional split semisimple Lie algebra with root system $\Delta$. Let $\Gamma$ be a finite set of integral weights of $\mathfrak{g}$ containing $\Delta$ and $\{0\}$. Following [2,10], we say that a Lie algebra $L$ over $\mathbb{F}$ is \emph{generalized root graded}, or more exactly $(\Gamma,\mathfrak{g})$-\emph{graded}, if $L$ contains a semisimple subalgebra isomorphic to $\mathfrak{g}$, the $\mathfrak{g}$-module $L$ is the direct sum of its weight subspaces $L_{\alpha}$ ($\alpha\in\Gamma$) and $L$ is generated by all $L_{\alpha}$ with $\alpha\ne0$ as a Lie algebra. Let $\mathfrak{g}\cong sl_{n}$ and \[ \Theta_n = \{0,\pm\varepsilon_i \pm\varepsilon_j, \pm\varepsilon_i, \pm2\varepsilon_i \mid1 \leq i \neq j \leq n\} \] where $\{\varepsilon_1, \dots, \varepsilon_n\}$ is the set of weights of the natural $sl_{n}$-module. In [9], we classify $(\Theta_{n},sl_{n})$-graded Lie algebras for $n>4$. In this paper we describe the multiplicative structures and the coordinate algebras of $(\Theta_{n},sl_{n})$-graded Lie algebras $(n=3,4)$. In $n=3$, we assume that \[ [V(2\omega_{1})\otimes C,V(2\omega_{1})\otimes C]=[V(2\omega_{2})\otimes C',V(2\omega_{2})\otimes C']=0 \] where $V(\omega)$ is the simple $\mathfrak{g}$-module of highest weight $\omega$, $C={\rm Hom_{\mathfrak{g}}}(V(2\omega_{1}),L)$ and $C'={\rm Hom_{\mathfrak{g}}}(V(2\omega_{2}),L)$ .


title: Distance-Based Formation Tracking with Unknown Bounded Reference Velocities

abstract: This paper studies a leader-follower formation tracking problem where the leaders are moving at the same unknown bounded velocity. A distance-based control law is proposed for follower agents to maintain the desired distances in the formation and move at the leaders' velocity. The control law consists of a component to handle the uncertainty of the leaders' velocity and a component to achieve the desired distances in finite time. Numerical simulations are also provided to support the theoretical results.


title: Microscopic free energy functional of superconductive amplitude and phase: Superfluid density in disordered superconductors

abstract: Recent experiments on disordered superconductors find that the superfluid density $n_s(T)$ decreases dramatically and characteristically with disorder, differently from what is expected for a mean order parameter field or BCS, amplitude only, picture for the superconductor. We describe here a new microscopic free energy functional which explicitly describes its dependence on both the amplitude and phase of superconducting order, in a gauge invariant manner. We use this here in an approximation of noninteracting phase fluctuations (Gaussian or harmonic approximation) to obtain $n_s(T)$ in the presence of (static) disorder. We compare our results successfully with experiment.


title: Parametric Lyapunov exponents

abstract: In an algebraic family of rational maps of $\mathbb{P}^1$, we show that, for almost every parameter for the trace of the bifurcation current of a marked critical value, the critical value is Collet-Eckmann. This extends previous results of Graczyk and \'{S}wi\c{a}tek in the unicritical family, using Makarov theorem. Our methods are based instead on ideas of laminar currents theory.


title: Yet another insecure group key distribution scheme using secret sharing

abstract: A recently proposed group key distribution scheme known as UMKESS, based on secret sharing, is shown to be insecure. Not only is it insecure, but it does not always work, and the rationale for its design is unsound. UMKESS is the latest in a long line of flawed group key distribution schemes based on secret sharing techniques.


title: Spurious Resonances in Coupled Domain-Boundary Variational Formulations of Transmission Problems in Electromagnetism and Acoustics

abstract: We develop a framework shedding light on common features of coupled variational formulations arising in electromagnetic scattering and acoustics. We show that spurious resonances haunting coupled domain-boundary formulations based on direct boundary integral equations of the first kind originate from the formal structure of their Calderon identities. Using this observation, the kernel of the coupled problem is characterized explicitly and we show that it completely vanishes under the exterior representation formula.


title: Controlling Rayleigh-B\'enard convection via Reinforcement Learning

abstract: Thermal convection is ubiquitous in nature as well as in many industrial applications. The identification of effective control strategies to, e.g., suppress or enhance the convective heat exchange under fixed external thermal gradients is an outstanding fundamental and technological issue. In this work, we explore a novel approach, based on a state-of-the-art Reinforcement Learning (RL) algorithm, which is capable of significantly reducing the heat transport in a two-dimensional Rayleigh-B\'enard system by applying small temperature fluctuations to the lower boundary of the system. By using numerical simulations, we show that our RL-based control is able to stabilize the conductive regime and bring the onset of convection up to a Rayleigh number $Ra_c \approx 3 \cdot 10^4$, whereas in the uncontrolled case it holds $Ra_{c}=1708$. Additionally, for $Ra > 3 \cdot 10^4$, our approach outperforms other state-of-the-art control algorithms reducing the heat flux by a factor of about $2.5$. In the last part of the manuscript, we address theoretical limits connected to controlling an unstable and chaotic dynamics as the one considered here. We show that controllability is hindered by observability and/or capabilities of actuating actions, which can be quantified in terms of characteristic time delays. When these delays become comparable with the Lyapunov time of the system, control becomes impossible.


title: A Knightian Irreversible Investment Problem

abstract: In this paper, we study an irreversible investment problem under Knightian uncertainty. In a general framework, in which Knightian uncertainty is modeled through a set of multiple priors, we prove existence and uniqueness of the optimal investment plan, and derive necessary and sufficient conditions for optimality. This allows us to construct the optimal policy in terms of the solution to a stochastic backward equation under the worst-case scenario. In a time-homogeneous setting - where risk is driven by a geometric Brownian motion and Knightian uncertainty is realized through a so-called "k-ignorance" - we are able to provide the explicit form of the optimal irreversible investment plan.


title: Application and Assessment of Deep Learning for the Generation of Potential NMDA Receptor Antagonists

abstract: Uncompetitive antagonists of the N-methyl D-aspartate receptor (NMDAR) have demonstrated therapeutic benefit in the treatment of neurological diseases such as Parkinson's and Alzheimer's, but some also cause dissociative effects that have led to the synthesis of illicit drugs. The ability to generate NMDAR antagonists in silico is therefore desirable both for new medication development and for preempting and identifying new designer drugs. Recently, generative deep learning models have been applied to de novo drug design as a means to expand the amount of chemical space that can be explored for potential drug-like compounds. In this study, we assess the application of a generative model to the NMDAR to achieve two primary objectives: (i) the creation and release of a comprehensive library of experimentally validated NMDAR phencyclidine (PCP) site antagonists to assist the drug discovery community and (ii) an analysis of both the advantages conferred by applying such generative artificial intelligence models to drug design and the current limitations of the approach. We apply, and provide source code for, a variety of ligand- and structure-based assessment techniques used in standard drug discovery analyses to the deep learning-generated compounds. We present twelve candidate antagonists that are not available in existing chemical databases to provide an example of what this type of workflow can achieve, though synthesis and experimental validation of these compounds is still required.


title: Graph structure via local occupancy

abstract: The first author together with Jenssen, Perkins and Roberts (2017) recently showed how local properties of the hard-core model on triangle-free graphs guarantee the existence of large independent sets, of size matching the best-known asymptotics due to Shearer (1983). The present work strengthens this in two ways: first, by guaranteeing stronger graph structure in terms of colourings through applications of the Lov\'asz local lemma; and second, by extending beyond triangle-free graphs in terms of local sparsity, treating for example graphs of bounded local edge density, of bounded local Hall ratio, and of bounded clique number. This generalises and improves upon much other earlier work, including that of Shearer (1995), Alon (1996) and Alon, Krivelevich and Sudakov (1999), and more recent results of Molloy (2019), Bernshteyn (2019) and Achlioptas, Iliopoulos and Sinclair (2019). Our results derive from a common framework built around the hard-core model. It pivots on a property we call local occupancy, giving a clean separation between the methods for deriving graph structure with probabilistic information and verifying the requisite probabilistic information itself.


title: Parity of n-Frames with Application to Non-Procrustean Orthogonalization

abstract: The space of complete orthonormal frames in Euclidean space is not path connected. In fact it has exactly two path components, containing respectively the coordinate frame of n standard coordinates and the frame with two coordinates reversed. The matrices corresponding to these frames have determinant one and minus one respectively. We wish to avoid the implement of the determinant function in many variables, and rather work with these compact spaces by means of fibrations and covering maps. The important fibrations are deletion of the final vector from the frame, and selection of the first vector. The long homotopy sequence for this fibration implies that the equivalence classes of loops form the group of two elements. One generator of this group is a circle of Givens rotations. Dimension three is critical for the proof. It is handled by the Rodrigues formula, together with Invariance of Domain. Another explicit proof that the mapping from unit quaternions is surjective to the main path-component is due to Itzhack. Thus the Orthogonal Group is not path connected, using the Homotopy Lifting Theorem for coverings. But the Givens loop performs an identity lifting, so it cannot be the group generator. As an application we review how quoted algorithms from the astronautical literature, related to the Wahba guidance problem, give rise to an orthogonalization of any matrix that is metrically close to some rotation. This method has a bias in the Frobenius norm, but under realistic conditions serves as well as a Procrustean method.


title: Automated Methods for Detection and Classification Pneumonia based on X-Ray Images Using Deep Learning

abstract: Recently, researchers, specialists, and companies around the world are rolling out deep learning and image processing-based systems that can fastly process hundreds of X-Ray and computed tomography (CT) images to accelerate the diagnosis of pneumonia such as SARS, COVID-19, and aid in its containment. Medical images analysis is one of the most promising research areas, it provides facilities for diagnosis and making decisions of a number of diseases such as MERS, COVID-19. In this paper, we present a comparison of recent Deep Convolutional Neural Network (DCNN) architectures for automatic binary classification of pneumonia images based fined tuned versions of (VGG16, VGG19, DenseNet201, Inception_ResNet_V2, Inception_V3, Resnet50, MobileNet_V2 and Xception). The proposed work has been tested using chest X-Ray & CT dataset which contains 5856 images (4273 pneumonia and 1583 normal). As result we can conclude that fine-tuned version of Resnet50, MobileNet_V2 and Inception_Resnet_V2 show highly satisfactory performance with rate of increase in training and validation accuracy (more than 96% of accuracy). Unlike CNN, Xception, VGG16, VGG19, Inception_V3 and DenseNet201 display low performance (more than 84% accuracy).


title: On Hausdorff integrations of Lie algebroids

abstract: We present Hausdorff versions for Lie Integration Theorems 1 and 2 and apply them to study Hausdorff symplectic groupoids arising from Poisson manifolds. To prepare for these results we include a discussion on Lie equivalences and propose an algebraic approach to holonomy. We also include subsidiary results, such as a generalization of the integration of subalgebroids to the non-wide case, and explore in detail the case of foliation groupoids.