title: Validation of neutron emission and neutron energy spectrum calculations on MAST with DRESS

abstract: The recently developed Directional RElativistic Spectrum Simulator (DRESS) code has been validated for the first time against numerical calculations and experimental measurements performed on MAST. In this validation, the neutron emissivities and rates computed by DRESS are benchmarked against TRANSP/NUBEAM predictions while the neutron energy spectra provided by DRESS taking as input TRANSP/NUBEAM and ASCOT/BBNBI in Gyro-Orbit (GO) mode fast ion distributions are validated against proton pulse height spectra (PHS) measured by the neutron flux monitor. Excellent agreement was found between DRESS and TRANSP/NUBEAM predictions of local and total neutron emission.


title: A non-linear discrete-time dynamical system related to epidemic SISI model

abstract: We consider SISI epidemic model with discrete-time. The crucial point of this model is that an individual can be infected twice. This non-linear evolution operator depends on seven parameters and we assume that the population size under consideration is constant, so death rate is the same with birth rate per unit time. Reducing to quadratic stochastic operator (QSO) we study the dynamical system of the SISI model.


title: Comparison Between Genetic Fuzzy Methodology and Q-learning for Collaborative Control Design

abstract: A comparison between two machine learning approaches viz., Genetic Fuzzy Methodology and Q-learning, is presented in this paper. The approaches are used to model controllers for a set of collaborative robots that need to work together to bring an object to a target position. The robots are fixed and are attached to the object through elastic cables. A major constraint considered in this problem is that the robots cannot communicate with each other. This means that at any instant, each robot has no motion or control information of the other robots and it can only pull or release its cable based only on the motion states of the object. This decentralized control problem provides a good example to test the capabilities and restrictions of these two machine learning approaches. The system is first trained using a set of training scenarios and then applied to an extensive test set to check the generalization achieved by each method.


title: Person-in-Context Synthesiswith Compositional Structural Space

abstract: Despite significant progress, controlled generation of complex images with interacting people remains difficult. Existing layout generation methods fall short of synthesizing realistic person instances; while pose-guided generation approaches focus on a single person and assume simple or known backgrounds. To tackle these limitations, we propose a new problem, \textbf{Persons in Context Synthesis}, which aims to synthesize diverse person instance(s) in consistent contexts, with user control over both. The context is specified by the bounding box object layout which lacks shape information, while pose of the person(s) by keypoints which are sparsely annotated. To handle the stark difference in input structures, we proposed two separate neural branches to attentively composite the respective (context/person) inputs into shared ``compositional structural space'', which encodes shape, location and appearance information for both context and person structures in a disentangled manner. This structural space is then decoded to the image space using multi-level feature modulation strategy, and learned in a self supervised manner from image collections and their corresponding inputs. Extensive experiments on two large-scale datasets (COCO-Stuff \cite{caesar2018cvpr} and Visual Genome \cite{krishna2017visual}) demonstrate that our framework outperforms state-of-the-art methods w.r.t. synthesis quality.


title: Bayesian Neural Networks for Uncertainty Estimation of Imaging Biomarkers

abstract: Image segmentation enables to extract quantitative measures from scans that can serve as imaging biomarkers for diseases. However, segmentation quality can vary substantially across scans, and therefore yield unfaithful estimates in the follow-up statistical analysis of biomarkers. The core problem is that segmentation and biomarker analysis are performed independently. We propose to propagate segmentation uncertainty to the statistical analysis to account for variations in segmentation confidence. To this end, we evaluate four Bayesian neural networks to sample from the posterior distribution and estimate the uncertainty. We then assign confidence measures to the biomarker and propose statistical models for its integration in group analysis and disease classification. Our results for segmenting the liver in patients with diabetes mellitus clearly demonstrate the improvement of integrating biomarker uncertainty in the statistical inference.


title: Below band gap formation of solvated electrons in neutral water clusters?

abstract: Below band gap formation of solvated electrons in neutral water clusters using pump-probe photoelectron imaging is compared with recent data for liquid water and with above band gap excitation studies in the liquid and clusters. Similar relaxation times in the order of 200 fs and 1-2 ps are retrieved for below and above band gap excitation, in both clusters and liquid. The relaxation times independence from the generation process indicates that these times are dominated by the solvent response, which is significantly slower than the different solvated electron formation processes. The analysis of the temporal evolution of the vertical electron binding energy and the electron binding energy at half maximum suggests a dependence of the solvation time on the binding energy.


title: A Simple Algorithm for Exact Multinomial Tests

abstract: This work proposes a new method for computing acceptance regions of exact multinomial tests. From this an algorithm is derived, which finds exact p-values for tests of simple multinomial hypotheses. Using concepts from discrete convex analysis, the method is proven to be exact for various popular test statistics, including Pearson's chi-square and the log-likelihood ratio. The proposed algorithm improves greatly on the naive approach using full enumeration of the sample space. However, its use is limited to multinomial distributions with a small number of categories, as the runtime grows exponentially in the number of possible outcomes. The method is applied in a simulation study and uses of multinomial tests in forecast evaluation are outlined. Additionally, properties of a test statistic using probability ordering, referred to as the "exact multinomial test" by some authors, are investigated and discussed. The algorithm is implemented in the accompanying R package ExactMultinom.


title: Machine Learning and Meta-Analysis Approach to Identify Patient Comorbidities and Symptoms that Increased Risk of Mortality in COVID-19

abstract: Background: Providing appropriate care for people suffering from COVID-19, the disease caused by the pandemic SARS-CoV-2 virus is a significant global challenge. Many individuals who become infected have pre-existing conditions that may interact with COVID-19 to increase symptom severity and mortality risk. COVID-19 patient comorbidities are likely to be informative about individual risk of severe illness and mortality. Accurately determining how comorbidities are associated with severe symptoms and mortality would thus greatly assist in COVID-19 care planning and provision. Methods: To assess the interaction of patient comorbidities with COVID-19 severity and mortality we performed a meta-analysis of the published global literature, and machine learning predictive analysis using an aggregated COVID-19 global dataset. Results: Our meta-analysis identified chronic obstructive pulmonary disease (COPD), cerebrovascular disease (CEVD), cardiovascular disease (CVD), type 2 diabetes, malignancy, and hypertension as most significantly associated with COVID-19 severity in the current published literature. Machine learning classification using novel aggregated cohort data similarly found COPD, CVD, CKD, type 2 diabetes, malignancy and hypertension, as well as asthma, as the most significant features for classifying those deceased versus those who survived COVID-19. While age and gender were the most significant predictor of mortality, in terms of symptom-comorbidity combinations, it was observed that Pneumonia-Hypertension, Pneumonia-Diabetes and Acute Respiratory Distress Syndrome (ARDS)-Hypertension showed the most significant effects on COVID-19 mortality. Conclusions: These results highlight patient cohorts most at risk of COVID-19 related severe morbidity and mortality which have implications for prioritization of hospital resources.


title: Record dynamics of evolving metastable systems: theory and applications

abstract: Record Dynamics (RD) deals with complex systems evolving through a sequence of metastable stages. These are macroscopically distinguishable and appear stationary, except for the sudden and rapid changes, called quakes, which induce the transitions from one stage to the next. This phenomenology is well known in physics as "physical aging", but from the vantage point of RD the evolution of a class of systems of physical, biological and cultural origin is rooted in a hierarchically structured configuration space and can therefore be analyzed by similar statistical tools. This colloquium paper strives to present in a coherent fashion methods and ideas that have gradually evolved over time. To this end, it first describes the differences and similarities between RD and two widespread paradigms of complex dynamics, Self Organized Criticality and Continuous Time Random Walks. It then outlines the Poissonian nature of records events in white noise time series, and connects it to the statistics of quakes in metastable hierarchical systems, arguing that the relaxation effects of quakes can generally be described by power laws unrelated to criticality. Several different applications of RD have been developed over the years. Some of these are described, showinghe basic RD hypothesis, the log time homogeneity of quake dynamics, can be empirically verified in a given context. The discussion summarizes the paper and briefly mentions applications not discussed in detail. Finally, the outlook points to possible improvements and to new areas of research where RG could be of use.


title: Functional Inequalities on Simple Edge Spaces

abstract: In this paper we are focusing on functional inequalities on compact simple edge spaces. More precisely we address the question whether the classical functional inequalities (Sobolev, Poincar\'e) hold in this setting, and as a by-product of our methods we obtain an optimality result concerning the $B-$constant of the Sobolev inequality.


title: Self-Organizing Map assisted Deep Autoencoding Gaussian Mixture Model for Intrusion Detection

abstract: In the information age, a secure and stable network environment is essential and hence intrusion detection is critical for any networks. In this paper, we propose a self-organizing map assisted deep autoencoding Gaussian mixture model (SOMDAGMM) supplemented with well-preserved input space topology for more accurate network intrusion detection. The deep autoencoding Gaussian mixture model comprises a compression network and an estimation network which is able to perform unsupervised joint training. However, the code generated by the autoencoder is inept at preserving the topology of the input space, which is rooted in the bottleneck of the adopted deep structure. A self-organizing map has been introduced to construct SOMDAGMM for addressing this issue. The superiority of the proposed SOM-DAGMM is empirically demonstrated with extensive experiments conducted upon two datasets. Experimental results show that SOM-DAGMM outperforms state-of-the-art DAGMM on all tests, and achieves up to 15.58% improvement in F1 score and with better stability.


title: Online Dynamic Trajectory Optimization and Control for a Quadruped Robot

abstract: Legged robot locomotion requires the planning of stable reference trajectories, especially while traversing uneven terrain. The proposed trajectory optimization framework is capable of generating dynamically stable base and footstep trajectories for multiple steps. The locomotion task can be defined with contact locations, base motion or both, making the algorithm suitable for multiple scenarios (e.g., presence of moving obstacles). The planner uses a simplified momentum-based task space model for the robot dynamics, allowing computation times that are fast enough for online replanning.This fast planning capabilitiy also enables the quadruped to accommodate for drift and environmental changes. The algorithm is tested on simulation and a real robot across multiple scenarios, which includes uneven terrain, stairs and moving obstacles. The results show that the planner is capable of generating stable trajectories in the real robot even when a box of 15 cm height is placed in front of its path at the last moment.


title: Modular Reactivation of Mexico City After COVID-19 Lockdown

abstract: During the COVID-19 pandemic, the slope of the epidemic curve in Mexico City has been quite unstable. We have predicted that in the case that a fraction of the population above a certain threshold returns to the public space, the negative tendency of the epidemic curve will revert. Such predictions were based on modeling the reactivation of economic activity after lockdown by means of an epidemiological model on a contact network of Mexico City derived from mobile device co-localization. We evaluated the epidemic dynamics considering the tally of active and recovered cases documented in the mexican government's open database. Scenarios were modeled in which different percentages of the population are reintegrated to the public space by scanning values ranging from 5% up to 50%. Null models were built by using data from the Jornada Nacional de Sana Distancia (the Mexican model of elective lockdown) in which there was a mobility reduction of 75% and no mandatory mobility restrictions. We found that a new peak of cases in the epidemic curve was very likely for scenarios in which more than 5% of the population rejoined the public space; The return of more than 50% of the population synchronously will unleash a peak of a magnitude similar to the one that was predicted with no mitigation strategies. By evaluating the tendencies of the epidemic dynamics, the number of new cases registered, new cases hospitalized, and new deaths, we consider that under this scenario, reactivation following only elective measures may not be optimal. Given the need to reactivate economic activities, we suggest to consider alternative measures that allow to diminish the contacts among people returning to the public space. We evaluated that by "encapsulating" reactivated workers may allow a reactivation of a larger fraction of the population without compromising the desired tendency in the epidemic curve.


title: Topological interpretation of color exchange invariants: hexagonal lattice on a torus

abstract: We explain a correspondence between some invariants in the dynamics of color exchange in a 2d coloring problem, which are polynomials of winding numbers, and linking numbers in 3d. One invariant is visualized as linking of lines on a special surface with Arf-Kervaire invariant one, and is interpreted as resulting from an obstruction to transform the surface into its chiral image with special continuous deformations. We also consider additional constraints on the dynamics and see how the surface is modified.


title: ROOT-SGD: Sharp Nonasymptotics and Near-Optimal Asymptotics in a Single Algorithm

abstract: We study the problem of solving strongly convex and smooth unconstrained optimization problems using stochastic first-order algorithms. We devise a novel algorithm, referred to as \emph{Recursive One-Over-T SGD} (\textsf{ROOT-SGD}), based on an easily implementable, recursive averaging of past stochastic gradients. We prove that it simultaneously achieves state-of-the-art performance in both a finite-sample, nonasymptotic sense and an asymptotic sense. On the nonasymptotic side, we prove risk bounds on the last iterate of \textsf{ROOT-SGD} with leading-order terms that match the optimal statistical risk with a unity pre-factor, along with a higher-order term that scales at the sharp rate of $O(n^{-3/2})$ under the Lipschitz condition on the Hessian matrix. On the asymptotic side, we show that when a mild, one-point Hessian continuity condition is imposed, the rescaled last iterate of (multi-epoch) \textsf{ROOT-SGD} converges asymptotically to a Gaussian limit with the Cram\'{e}r-Rao optimal asymptotic covariance, for a broad range of step-size choices.


title: On Transfer Learning of Traditional Frequency and Time Domain Features in Turning

abstract: There has been an increasing interest in leveraging machine learning tools for chatter prediction and diagnosis in discrete manufacturing processes. Some of the most common features for studying chatter include traditional signal processing tools such as Fast Fourier Transform (FFT), Power Spectral Density (PSD), and the Auto-correlation Function (ACF). In this study, we use these tools in a supervised learning setting to identify chatter in accelerometer signals obtained from a turning experiment. The experiment is performed using four different tool overhang lengths with varying cutting speed and the depth of cut. We then examine the resulting signals and tag them as either chatter or chatter-free. The tagged signals are then used to train a classifier. The classification methods include the most common algorithms: Support Vector Machine (SVM), Logistic Regression (LR), Random Forest (RF), and Gradient Boost (GB). Our results show that features extracted from the Fourier spectrum are the most informative when training a classifier and testing on data from the same cutting configuration yielding accuracy as high as %96. However, the accuracy drops significantly when training and testing on two different configurations with different structural eigenfrequencies. Thus, we conclude that while these traditional features can be highly tuned to a certain process, their transfer learning ability is limited. We also compare our results against two other methods with rising popularity in the literature: Wavelet Packet Transform (WPT) and Ensemble Empirical Mode Decomposition (EEMD). The latter two methods, especially EEMD, show better transfer learning capabilities for our dataset.


title: Challenges and opportunities of inertia estimation and forecasting in low-inertia power systems

abstract: Accurate inertia estimates and forecasts are crucial to support the system operation in future low-inertia power systems. A large literature on inertia estimation methods is available. This paper aims to provide an overview and classification of inertia estimation methods. The classification considers the time horizon the methods are applicable to, i.e., offline post mortem, online real time and forecasting methods, and the scope of the inertia estimation, e.g., system-wide, regional, generation, demand, individual resource. Shortcomings of the existing inertia estimation methods have been identified and suggestions for future work have been made.


title: Sample Efficiency in Sparse Reinforcement Learning: Or Your Money Back

abstract: Sparse rewards present a difficult problem in reinforcement learning and may be inevitable in certain domains with complex dynamics such as real-world robotics. Hindsight Experience Replay (HER) is a recent replay memory development that allows agents to learn in sparse settings by altering memories to show them as successful even though they may not be. While, empirically, HER has shown some success, it does not provide guarantees around the makeup of samples drawn from an agent's replay memory. This may result in minibatches that contain only memories with zero-valued rewards or agents learning an undesirable policy that completes HER-adjusted goals instead of the actual goal. In this paper, we introduce Or Your Money Back (OYMB), a replay memory sampler designed to work with HER. OYMB improves training efficiency in sparse settings by providing a direct interface to the agent's replay memory that allows for control over minibatch makeup, as well as a preferential lookup scheme that prioritizes real-goal memories before HER-adjusted memories. We test our approach on five tasks across three unique environments. Our results show that using HER in combination with OYMB outperforms using HER alone and leads to agents that learn to complete the real goal more quickly.


title: The logical strength of K\"onig's edge coloring theorem

abstract: K\"onig's edge coloring theorem says that a bipartite graph with maximal degree $n$ has an edge coloring with no more than $n$ colors. We explore the computability theory and Reverse Mathematics aspects of this theorem. Computable bipartite graphs with degree bounded by $n$ have computable edge colorings with $n+1$ colors, but the theorem that there is an edge coloring with $n$ colors is equivalent to WKLo over RCAo. This gives an additional proof of a theorem of Hirst: WKLo is equivalent over RCAo to the principle that every countable bipartite $n$-regular graph is the union of $n$ complete matchings. We describe open questions related to Vizing's edge coloring theorem and a countable form of Birkhoff's theorem.


title: On the genus two skein algebra

abstract: We study the skein algebra of the genus 2 surface and its action on the skein module of the genus 2 handlebody. We compute this action explicitly, and we describe how the module decomposes over certain subalgebras in terms of polynomial representations of double affine Hecke algebras. Finally, we show that this algebra is isomorphic to the $t=q$ specialisation of the genus two spherical double affine Hecke algebra recently defined by Arthamonov and Shakirov.


title: Scattering of radial solutions for quadratic-type Schr\"{o}dinger systems in dimension five

abstract: In this paper we study the scattering of radial solutions to a $l$-component system of nonlinear Schr\"{o}dinger equations with quadratic-type growth interactions in dimension five. Our approach is based on the recent technique introduced by Dodson and Murphy, which relies on the radial Sobolev embedding and a Morawetz estimate.


title: A secure state estimation algorithm for nonlinear systems under sensor attacks

abstract: The state estimation of continuous-time nonlinear systems in which a subset of sensor outputs can be maliciously controlled through injecting a potentially unbounded additive signal is considered in this paper. Analogous to our earlier work for continuous-time linear systems in \cite{chong2015observability}, we term the convergence of the estimates to the true states in the presence of sensor attacks as `observability under $M$ attacks', where $M$ refers to the number of sensors which the attacker has access to. Unlike the linear case, we only provide a sufficient condition such that a nonlinear system is observable under $M$ attacks. The condition requires the existence of asymptotic observers which are robust with respect to the attack signals in an input-to-state stable sense. We show that an algorithm to choose a compatible state estimate from the state estimates generated by the bank of observers achieves asymptotic state reconstruction. We also provide a constructive method for a class of nonlinear systems to design state observers which have the desirable robustness property. The relevance of this study is illustrated on monitoring the safe operation of a power distribution network.


title: Ten Lectures on the Moment Problem

abstract: These are ten lectures on the moment problem delivered by the author at the Vietnam Institute of Advanced Studies in Mathematics, Hanoi, March 2019. The first 3 lectures are about the one-dimensional full and truncated moment problem. The next 4 lectures deal with the multidimensional full moment problem with particular emphasis on the interactions with real algebraic geometry and polynomial optimization. The final 3 lectures are devoted to the truncated multidimensional moment problem and some recent developments in this area..


title: Quantum Effects in the Aubry Transition

abstract: The Aubry transition between sliding and pinned phases, driven by the competition between two incommensurate length scales, represents a paradigm that is applicable to a large variety of microscopically distinct systems. Despite previous theoretical studies, it remains an open question to what extent quantum effects modify the transition, or are experimentally observable. An experimental platform that can potentially reach the quantum regime has recently become available in the form of trapped laser-cooled ions subject to a periodic optical potential [A. Bylinskii, D. Gangloff, I. Counts, and V. Vuletic, Nature Materials 15, 717 (2016)]. Using Path-Integral Monte Carlo (PIMC) simulation methods, we analyze the impact of quantum tunneling on the sliding-to-pinned transition in this system, and determine the phase diagram in terms of incommensuration and potential strength. We propose new signatures of the quantum Aubry transition that are robust against thermal and finite-size effects, and that can be observed in future experiments.


title: On the Reliability of the PNU for Source Camera Identification Tasks

abstract: The PNU is an essential and reliable tool to perform SCI and, during the years, became a standard de-facto for this task in the forensic field. In this paper, we show that, although strategies exist that aim to cancel, modify, replace the PNU traces in a digital camera image, it is still possible, through our experimental method, to find residual traces of the noise produced by the sensor used to shoot the photo. Furthermore, we show that is possible to inject the PNU of a different camera in a target image and trace it back to the source camera, but only under the condition that the new camera is of the same model of the original one used to take the target image. Both cameras must fall within our availability. For completeness, we carried out 2 experiments and, rather than using the popular public reference dataset, CASIA TIDE, we preferred to introduce a dataset that does not present any kind of statistical artifacts. A preliminary experiment on a small dataset of smartphones showed that the injection of PNU from a different device makes it impossible to identify the source camera correctly. For a second experiment, we built a large dataset of images taken with the same model DSLR. We extracted a denoised version of each image, injected each one with the RN of all the cameras in the dataset and compared all with a RP from each camera. The results of the experiments, clearly, show that either in the denoised images and the injected ones is possible to find residual traces of the original camera PNU. The combined results of the experiments show that, even in theory is possible to remove or replace the \ac{PNU} from an image, this process can be, easily, detected and is possible, under some hard conditions, confirming the robustness of the \ac{PNU} under this type of attacks.


title: Primordial gravitational waves spectrum in the interacting Bose-Einstein gas model

abstract: We study the evolution and power spectrum of primordial gravitational waves in the interactive Bose-Einstein gas model for dark energy, relevant, as it addresses the coincidence problem. The model is applied in the radiation, matter and dark-energy domination stages. The model introduces a scale factor associated to the radiation-matter transition which influences the gravitational spectrum. We focus on the impact of the free parameters on both the gravitational waves amplitude and its power-spectrum slope. For sets of parameters fitting Hubble's law, we show that the model's parameter for today's dark-matter energy density has a noticeable impact on such waves, while the others produce an indistinguishable effect. The feasibility of detecting such waves under present and future measurements is discussed.


title: Control on the Manifolds of Mappings with a View to the Deep Learning

abstract: Deep learning of the Artificial Neural Networks (ANN) can be treated as a particular class of interpolation problems. The goal is to find a neural network whose input-output map approximates well the desired map on a finite or an infinite training set. Our idea consists of taking as an approximant the input-output map, which arises from a nonlinear continuous-time control system. In the limit such control system can be seen as a network with a continuum of layers, each one labelled by the time variable. The values of the controls at each instant of time are the parameters of the layer.


title: Electromagnetic self-force on a charged particle on Kerr spacetime: equatorial circular orbits

abstract: We calculate the self-force acting on a charged particle on a circular geodesic orbit in the equatorial plane of a rotating black hole. We show by direct calculation that the dissipative self-force balances with the sum of the flux radiated to infinity and through the black hole horizon. Prograde orbits are found to stimulate black hole superradiance, but we confirm that the condition for floating orbits cannot be met. We calculate the conservative component of the self-force by application of the mode sum regularization method, and we present a selection of numerical results. By numerical fitting, we extract the leading-order coefficients in post-Newtonian expansions. The self-force on the innermost stable circular orbits of the Kerr spacetime is calculated, and comparisons are drawn between the electromagnetic and gravitational self forces.


title: Two Step Joint Model for Drug Drug Interaction Extraction

abstract: When patients need to take medicine, particularly taking more than one kind of drug simultaneously, they should be alarmed that there possibly exists drug-drug interaction. Interaction between drugs may have a negative impact on patients or even cause death. Generally, drugs that conflict with a specific drug (or label drug) are usually described in its drug label or package insert. Since more and more new drug products come into the market, it is difficult to collect such information by manual. We take part in the Drug-Drug Interaction (DDI) Extraction from Drug Labels challenge of Text Analysis Conference (TAC) 2018, choosing task1 and task2 to automatically extract DDI related mentions and DDI relations respectively. Instead of regarding task1 as named entity recognition (NER) task and regarding task2 as relation extraction (RE) task then solving it in a pipeline, we propose a two step joint model to detect DDI and it's related mentions jointly. A sequence tagging system (CNN-GRU encoder-decoder) finds precipitants first and search its fine-grained Trigger and determine the DDI for each precipitant in the second step. Moreover, a rule based model is built to determine the sub-type for pharmacokinetic interation. Our system achieved best result in both task1 and task2. F-measure reaches 0.46 in task1 and 0.40 in task2.


title: On a new norm on $\mathcal{B}({\mathcal{H}})$ and its applications to numerical radius inequalities

abstract: We introduce a new norm on the space of bounded linear operators on a complex Hilbert space, which generalizes the numerical radius norm, the usual operator norm and the modified Davis-Wielandt radius. We study basic properties of this norm, including the upper and the lower bounds for it. As an application of the present study, we estimate bounds for the numerical radius of bounded linear operators. We illustrate with examples that our results improve on some of the important existing numerical radius inequalities.


title: Nowcasting in a Pandemic using Non-Parametric Mixed Frequency VARs

abstract: This paper develops Bayesian econometric methods for posterior inference in non-parametric mixed frequency VARs using additive regression trees. We argue that regression tree models are ideally suited for macroeconomic nowcasting in the face of extreme observations, for instance those produced by the COVID-19 pandemic of 2020. This is due to their flexibility and ability to model outliers. In an application involving four major euro area countries, we find substantial improvements in nowcasting performance relative to a linear mixed frequency VAR.


title: Bandwidth Cost of Code Conversions in Distributed Storage: Fundamental Limits and Optimal Constructions

abstract: Erasure codes have become an integral part of distributed storage systems as a tool for providing data reliability and durability under the constant threat of device failures. In such systems, an $[n, k]$ code over a finite field $\mathbb{F}_q$ encodes $k$ message symbols into $n$ codeword symbols from $\mathbb{F}_q$ which are then stored on $n$ different nodes in the system. Recent work has shown that significant savings in storage space can be obtained by tuning $n$ and $k$ to variations in device failure rates. Such a tuning necessitates code conversion: the process of converting already encoded data under an initial $[n^I, k^I]$ code to its equivalent under a final $[n^F, k^F]$ code. The default approach to conversion is to reencode data, which places significant burden on system resources. Convertible codes are a recently proposed class of codes for enabling resource-efficient conversions. Existing work on convertible codes has focused on minimizing access cost, i.e., the number of code symbols accessed during conversion. Bandwidth, which corresponds to the amount of data read and transferred, is another important resource to optimize. In this paper, we initiate the study on the fundamental limits on bandwidth used during code conversion and present constructions for bandwidth-optimal convertible codes. First, we model the code conversion problem using network information flow graphs with variable capacity edges. Second, focusing on MDS codes and an important parameter regime called the merge regime, we derive tight lower bounds on the bandwidth cost of conversion. The derived bounds show that bandwidth cost can be significantly reduced even in regimes where access cost cannot be reduced as compared to the default approach. Third, we present a new construction for MDS convertible codes which matches the proposed lower bound and is thus bandwidth-optimal during conversion.


title: Disturbances in Influence of a Shepherding Agent is More Impactful than Sensorial Noise During Swarm Guidance

abstract: The guidance of a large swarm is a challenging control problem. Shepherding offers one approach to guide a large swarm using a few shepherding agents (sheepdogs). While noise is an inherent characteristic in many real-world problems, the impact of noise on shepherding is not a well-studied problem. We study two forms of noise. First, we evaluate noise in the sensorial information received by the shepherd about the location of sheep. Second, we evaluate noise in the ability of the sheepdog to influence sheep due to disturbance forces occurring during actuation. We study both types of noise in this paper, and investigate the performance of Str\"{o}mbom's approach under these actuation and perception noises. To ensure that the parameterisation of the algorithm creates a stable performance, we need to run a large number of simulations, while increasing the number of random episodes until stability is achieved. We then systematically study the impact of sensorial and actuation noise on performance. Str\"{o}mbom's approach is found to be more sensitive to actuation noise than perception noise. This implies that it is more important for the shepherding agent to influence the sheep more accurately by reducing actuation noise than attempting to reduce noise in its sensors. Moreover, different levels of noise required different parameterisation for the shepherding agent, where the threshold needed by an agent to decide whether or not to collect astray sheep is different for different noise levels.


title: Canonical 3D Deformer Maps: Unifying parametric and non-parametric methods for dense weakly-supervised category reconstruction

abstract: We propose the Canonical 3D Deformer Map, a new representation of the 3D shape of common object categories that can be learned from a collection of 2D images of independent objects. Our method builds in a novel way on concepts from parametric deformation models, non-parametric 3D reconstruction, and canonical embeddings, combining their individual advantages. In particular, it learns to associate each image pixel with a deformation model of the corresponding 3D object point which is canonical, i.e. intrinsic to the identity of the point and shared across objects of the category. The result is a method that, given only sparse 2D supervision at training time, can, at test time, reconstruct the 3D shape and texture of objects from single views, while establishing meaningful dense correspondences between object instances. It also achieves state-of-the-art results in dense 3D reconstruction on public in-the-wild datasets of faces, cars, and birds.


title: Non-Local Musical Statistics as Guides for Audio-to-Score Piano Transcription

abstract: We present an automatic piano transcription system that converts polyphonic audio recordings into musical scores. This has been a long-standing problem of music information processing, and recent studies have made remarkable progress in the two main component techniques: multipitch detection and rhythm quantization. Given this situation, we study a method integrating deep-neural-network-based multipitch detection and statistical-model-based rhythm quantization. In the first part, we conducted systematic evaluations and found that while the present method achieved high transcription accuracies at the note level, some global characteristics of music, such as tempo scale, metre (time signature), and bar line positions, were often incorrectly estimated. In the second part, we formulated non-local statistics of pitch and rhythmic contents that are derived from musical knowledge and studied their effects in inferring those global characteristics. We found that these statistics are markedly effective for improving the transcription results and that their optimal combination includes statistics obtained from separated hand parts. The integrated method had an overall transcription error rate of 7.1% and a downbeat F-measure of 85.6% on a dataset of popular piano music, and the generated transcriptions can be partially used for music performance and assisting human transcribers, thus demonstrating the potential for practical applications.


title: A comparison between quantum and classical noise radar sources

abstract: We compare the performance of a quantum radar based on two-mode squeezed states with a classical radar system based on correlated thermal noise. With a constraint of equal number of photons $N_S$ transmitted to probe the environment, we find that the quantum setup exhibits an advantage with respect to its classical counterpart of $\sqrt{2}$ in the cross-mode correlations. Amplification of the signal and the idler is considered at different stages of the protocol, showing that no quantum advantage is achievable when a large-enough gain is applied, even when quantum-limited amplifiers are available. We also characterize the minimal type-II error probability decay, given a constraint on the type-I error probability, and find that the optimal decay rate of the type-II error probability in the quantum setup is $\ln(1+1/N_S)$ larger than the optimal classical setup, in the $N_S\ll1$ regime. In addition, we consider the Receiver Operating Characteristic (ROC) curves for the scenario when the idler and the received signal are measured separately, showing that no quantum advantage is present in this case. Our work characterizes the trade-off between quantum correlations and noise in quantum radar systems.


title: Coffea -- Columnar Object Framework For Effective Analysis

abstract: The coffea framework provides a new approach to High-Energy Physics analysis, via columnar operations, that improves time-to-insight, scalability, portability, and reproducibility of analysis. It is implemented with the Python programming language, the scientific python package ecosystem, and commodity big data technologies. To achieve this suite of improvements across many use cases, coffea takes a factorized approach, separating the analysis implementation and data delivery scheme. All analysis operations are implemented using the NumPy or awkward-array packages which are wrapped to yield user code whose purpose is quickly intuited. Various data delivery schemes are wrapped into a common front-end which accepts user inputs and code, and returns user defined outputs. We will discuss our experience in implementing analysis of CMS data using the coffea framework along with a discussion of the user experience and future directions.


title: Reduced density matrices of Richardson-Gaudin states in the Gaudin algebra basis

abstract: Eigenvectors of the reduced Bardeen-Cooper-Schrieffer Hamiltonian have recently been employed as a variational wavefunction ansatz in quantum chemistry. This wavefunction is a mean-field of pairs of electrons (geminals). In this contribution we report optimal expressions for their reduced density matrices in both the original physical basis and the basis of the Richardson-Gaudin pairs. Physical basis expressions were originally reported by Gorohovsky and Bettelheim. In each case, the expressions scale like $\mathcal{O}(N^4)$, with the most expensive step the solution of linear equations. Analytic gradients are also reported in the physical basis. These expressions are an important step towards practical mean-field methods to treat strongly-correlated electrons.


title: Resonant Coupling Parameter Estimation with Superconducting Qubits

abstract: Today's quantum computers are comprised of tens of qubits interacting with each other and the environment in increasingly complex networks. In order to achieve the best possible performance when operating such systems, it is necessary to have accurate knowledge of all parameters in the quantum computer Hamiltonian. In this article, we demonstrate theoretically and experimentally a method to efficiently learn the parameters of resonant interactions for quantum computers consisting of frequency-tunable superconducting qubits. Such interactions include, for example, those to other qubits, resonators, two-level state defects, or other unwanted modes. Our method is based on a significantly improved swap spectroscopy calibration and consists of an offline data collection algorithm, followed by an online Bayesian learning algorithm. The purpose of the offline algorithm is to detect and roughly estimate resonant interactions from a state of zero knowledge. It produces a square-root reduction in the number of measurements. The online algorithm subsequently refines the estimate of the parameters to comparable accuracy as traditional swap spectroscopy calibration, but in constant time. We perform an experiment implementing our technique with a superconducting qubit. By combining both algorithms, we observe a reduction of the calibration time by one order of magnitude. We believe the method investigated will improve present medium-scale superconducting quantum computers and will also scale up to larger systems. Finally, the two algorithms presented here can be readily adopted by communities working on different physical implementations of quantum computing architectures.


title: Strong Coupling Constants of the Doubly Heavy Spin-1/2 Baryons with Light Pseudoscalar Mesons

abstract: The strong coupling constants of hadronic multiplets are fundamental parameters which carry information of the strong interactions among participating particles. These parameters can help us construct the hadron-hadron strong potential and gain information about the structure of the involved hadrons. Motivated by the recent observation of the doubly charmed $\Xi_{cc}$ state by LHCb, we determine the strong coupling constants among the doubly heavy spin-1/2 baryons, $ \Xi^{(\prime)}_{QQ^\prime }$, $ \Omega^{(\prime)}_{QQ^\prime}$ and light pseudoscalar mesons, $ \pi $, $ K $, $\eta$ and $ \eta^\prime $ within the framework of the light cone QCD sum rules. The obtained results may help experimental groups in analysis of the related data at hadron colliders.


title: Practical Idiomatic Considerations for Checkable Meta-Logic in Experimental Functional Programming

abstract: Implementing a complex concept as an executable model in a strongly typed, purely functional language hits a sweet spot between mere simulation and formal specification. For research and education it is often desirable to enrich the algorithmic code with meta-logical annotations, variously embodied as assertions, theorems or test cases. Checking frameworks use the inherent logical power of the functional paradigm to approximate theorem proving by heuristic testing. Here we propose several novel idioms to enhance the practical expressivity of checking, namely meta-language marking, nominal axiomatics, and constructive existentials. All of these are formulated in literate Haskell'98 with some common language extensions. Their use and impact are illustrated by application to a realistic modeling problem.


title: Atomic Resonant Tunneling in the Surface Diffusion of H Atoms on Pt(111)

abstract: The quantum motions of hydrogen (H) atoms play an important role in the dynamical properties and functionalities of condensed phase materials as well as biological systems. In this work, based on the transfer matrix method and first-principles calculations, we study the dynamics of H atoms on Pt(111) surface and numerically calculate the quantum probability of H transferring across the surface potential fields. Atomic resonant tunneling (ART) is demonstrated along a number of diffusion pathways. Owing to resonant tunneling, anomalous rate of transfer is predicted for H diffusion along certain path at low temperatures.The role of nuclear quantum effects (NQEs) on the surface reactions involving H is investigated, by analyzing the probabilities of barrier-crossing. The effective barrier is significantly reduced due to quantum tunneling, and decreases monotonically with temperature within a certain region. For barrier-crossing processes where the Arrhenius type relation applies, we show the existence of a nonzero low-temperature limit of rate constant, which indicates the nontrivial activity of H-involved reactions at cryogenic conditions.

categories: cond-mat.mtrl-sci cond-mat.mes-hall physics.chem-ph quant-ph


title: Bound states of a Klein-Gordon particle in presence of a smooth potential well

abstract: We solve the one-dimensional time-independent Klein-Gordon equation in presence of a smooth potential well. The bound state solutions are given in terms of the Whittaker $M_{\kappa,\mu}(x)$ function, and the antiparticle bound state is discussed in terms of potential parameters.


title: Loschmidt echo singularities as dynamical signatures of strongly localized phases

abstract: Quantum localization (single-body or many-body) comes with the emergence of local conserved quantities -- whose conservation is precisely at the heart of the absence of transport through the system. In the case of fermionic systems and $S=1/2$ spin models, such conserved quantities take the form of effective two-level systems, called $l$-bits. While their existence is the defining feature of localized phases, their direct experimental observation remains elusive. Here we show that strongly localized $l$-bits bear a dramatic universal signature, accessible to state-of-the-art quantum simulators, in the form of periodic cusp singularities in the Loschmidt echo following a quantum quench from a N\'eel/charge-density-wave state. Such singularities are perfectly captured by a simple model of Rabi oscillations of an ensemble of independent two-level systems, which also reproduces the short-time behavior of the entanglement entropy and the imbalance dynamics. In the case of interacting localized phases, the dynamics at longer times shows a sharp crossover to a faster decay of the Loschmidt echo singularities, offering an experimentally accessible signature of the interactions between $l$-bits.


title: Generalized Lee Bounds

abstract: Lee (2009) is a common approach to bound the average causal effect in the presence of selection bias, assuming the treatment effect on selection has the same sign for all subjects. This paper generalizes Lee bounds to allow the sign of this effect to be identified by pretreatment covariates, relaxing the standard (unconditional) monotonicity to its conditional analog. Asymptotic theory for generalized Lee bounds is proposed in low-dimensional smooth and high-dimensional sparse designs. The paper also generalizes Lee bounds to accommodate multiple outcomes. It characterizes the sharp identified set for the causal parameter and proposes uniform Gaussian inference on the support function. The estimated bounds achieve nearly point-identification in JobCorps job training program (Lee (2009)), where unconditional monotonicity is unlikely to hold.


title: QUBIC VII: The feedhorn-switch system of the technological demonstrator

abstract: We present the design, manufacturing and performance of the horn-switch system developed for the technological demonstrator of QUBIC (the $Q$\&$U$ Bolometric Interferometer for Cosmology). This system is constituted of 64 back-to-back dual-band (150\,GHz and 220\,GHz) corrugated feed-horns interspersed with mechanical switches used to select desired baselines during the instrument self-calibration. We manufactured the horns in aluminum platelets milled by photo-chemical etching and mechanically tightened with screws. The switches are based on steel blades that open and close the wave-guide between the back-to-back horns and are operated by miniaturized electromagnets. We also show the current development status of the feedhorn-switch system for the QUBIC full instrument, based on an array of 400 horn-switch assemblies.


title: Enhanced existence time of solutions to evolution equations of Whitham type

abstract: We show that Whitham type equations u_t + u u_x -L u_x = 0, where L is a general Fourier multiplier operator of order \alpha \in [-1,1], \alpha\neq 0, allow for small solutions to be extended beyond their expected existence time. The result is valid for a range of quadratic dispersive equations with inhomogeneous symbols in the dispersive range given by \alpha, and should be extendable to other equations of the same relative dispersive strength.


title: CD-SEIZ: Cognition-Driven SEIZ Compartmental Model for the Prediction of Information Cascades on Twitter

abstract: Information spreading social media platforms has become ubiquitous in our lives due to viral information propagation regardless of its veracity. Some information cascades turn out to be viral since they circulated rapidly on the Internet. The uncontrollable virality of manipulated or disorientated true information (fake news) might be quite harmful, while the spread of the true news is advantageous, especially in emergencies. We tackle the problem of predicting information cascades by presenting a novel variant of SEIZ (Susceptible/ Exposed/ Infected/ Skeptics) model that outperforms the original version by taking into account the cognitive processing depth of users. We define an information cascade as the set of social media users' reactions to the original content which requires at least minimal physical and cognitive effort; therefore, we considered retweet/ reply/ quote (mention) activities and tested our framework on the Syrian White Helmets Twitter data set from April 1st, 2018 to April 30th, 2019. In the prediction of cascade pattern via traditional compartmental models, all the activities are grouped, and their summation is taken into account; however, transition rates between compartments should vary according to the activity type since their requirements of physical and cognitive efforts are not same. Based on this assumption, we design a cognition-driven SEIZ (CD-SEIZ) model in the prediction of information cascades on Twitter. We tested SIS, SEIZ, and CD-SEIZ models on 1000 Twitter cascades and found that CD-SEIZ has a significantly low fitting error and provides a statistically more accurate estimation.


title: Roton excitation in overpressurized superfluid He-4

abstract: We carry out a theoretical investigation of overpressurized superfluid phases of He-4 by means of quantum Monte Carlo (QMC) simulations. As a function of density, we study structural and superfluid properties, and estimate the energy of the roton excitation by inverting imaginary-time density correlation functions computed by QMC, using Maximum Entropy. We estimate the pressure at which the roton energy vanishes to be about 100 bars, which we identify with the spinodal density, i.e., the upper limit for the existence of a metastable superfluid phase.


title: iviz: A ROS Visualization App for Mobile Devices

abstract: In this work, we introduce iviz, a mobile application for visualizing ROS data. In the last few years, the popularity of ROS has grown enormously, making it the standard platform for open source robotic programming. A key reason for this success is the availability of polished, general-purpose modules for many tasks, such as localization, mapping, path planning, and quite importantly, data visualization. However, the availability of the latter is generally restricted to PCs with the Linux operating system. Thus, users that want to see what is happening in the system with a smartphone or a tablet are stuck with solutions such as screen mirroring or using web browser versions of rviz, which are difficult to interact with from a mobile interface. More importantly, this makes newer visualization modalities such as Augmented Reality impossible. Our application iviz, based on the Unity engine, addresses these issues by providing a visualization platform designed from scratch to be usable in mobile platforms, such as iOS, Android, and UWP, and including native support for Augmented Reality for all three platforms. If desired, it can also be used in a PC with Linux, Windows, or macOS without any changes.


title: Type II critical collapse on a single fixed grid: a gauge-driven ingoing boundary method

abstract: We develop a numerical method suitable for gravitational collapse based on Cauchy evolution with an ingoing characteristic boundary. Unlike similar methods proposed recently (Ripley; Bieri, Garfinkle & Yau 2019/20), the numerical grid remains fixed during the evolution and no points need to be removed or added. Increasing coordinate refinement of the central region as the field collapses is achieved solely through the choice of spatial gauge and particularly its boundary condition. We apply this method to study critical collapse of a massless scalar field in spherical symmetry using maximal slicing and isotropic coordinates. Known results on mass scaling, discrete self-similarity and universality of the critical solution (Choptuik 1993) are reproduced using this considerably simpler numerical method.


title: Recoverable Robust Representatives Selection Problems with Discrete Budgeted Uncertainty

abstract: Recoverable robust optimization is a multi-stage approach, where it is possible to adjust a first-stage solution after the uncertain cost scenario is revealed. We analyze this approach for a class of selection problems. The aim is to choose a fixed number of items from several disjoint sets, such that the worst-case costs after taking a recovery action are as small as possible. The uncertainty is modeled as a discrete budgeted set, where the adversary can increase the costs of a fixed number of items. While special cases of this problem have been studied before, its complexity has remained open. In this work we make several contributions towards closing this gap. We show that the problem is NP-hard and identify a special case that remains solvable in polynomial time. We provide a compact mixed-integer programming formulation and two additional extended formulations. Finally, computational results are provided that compare the efficiency of different exact solution approaches.


title: Log symplectic manifolds and $[Q,R]=0$

abstract: We show, under an orientation hypothesis, that a log symplectic manifold with simple normal crossing singularities has a stable almost complex structure, and hence is Spin$_c$. In the compact Hamiltonian case we prove that the index of the Spin$_c$ Dirac operator twisted by a prequantum line bundle satisfies a $[Q,R]=0$ theorem.


title: Evolution of Real-world Hypergraphs: Patterns and Models without Oracles

abstract: What kind of macroscopic structural and dynamical patterns can we observe in real-world hypergraphs? What can be underlying local dynamics on individuals, which ultimately lead to the observed patterns, beyond apparently random evolution? Graphs, which provide effective ways to represent pairwise interactions among entities, fail to represent group interactions (e.g., collaboration of three or more researchers, etc.). Regarded as a generalization of graphs, hypergraphs allowing for various sizes of edges prove fruitful in addressing this limitation. The increased complexity, however, makes it challenging to understand hypergraphs as thoroughly as graphs. In this work, we closely examine seven structural and dynamical properties of real hypergraphs from six domains. To this end, we define new measures, extend notions of common graph properties to hypergraphs, and assess the significance of observed patterns by comparison with a null model and statistical tests. We also propose \textsc{HyperFF}, a stochastic model for generating realistic hypergraphs. Its merits are three-fold: (a) \underline{Realistic:} it successfully reproduces all seven patterns, in addition to five patterns established in previous studies, (b) \underline{Self-contained:} unlike previously proposed models, it does not rely on oracles (i.e., unexplainable external information) at all, and it is parameterized by just two scalars, and (c) \underline{Emergent:} it relies on simple and interpretable mechanisms on individual entities, which do not trivially enforce but surprisingly lead to macroscopic properties.


title: On the Tykhonov Well-posedness of an Antiplane Shear Problem

abstract: We consider a boundary value problem which describes the frictional antiplane shear of an elastic body. The process is static and friction is modeled with a slip-dependent version of Coulomb's law of dry friction. The weak formulation of the problem is in the form of a quasivariational inequality for the displacement field, denoted by $\cP$. We associated to problem $\cP$ a boundary optimal control problem, denoted by $\cQ$. For Problem $\cP$ we introduce the concept of well-posedness and for Problem $\cQ$ we introduce the concept of weakly and weakly generalized well-posedness, both associated to appropriate Tykhonov triples. Our main result are Theorems \ref{t1} and \ref{t2}. Theorem \ref{t1} provides the well-posedness of Problem $\cP$ and, as a consequence, the continuous dependence of the solution with respect to the data. Theorem \ref{t2} provides the weakly generalized well-posedness of Problem $\cQ$ and, under additional hypothesis, its weakly well posedness. The proofs of these theorems are based on arguments of compactness, lower semicontinuity, monotonicity and various estimates. Moreover, we provide the mechanical interpretation of our well-posedness results.


title: Decoding Dark Matter Substructure without Supervision

abstract: The identity of dark matter remains one of the most pressing questions in physics today. While many promising dark matter candidates have been put forth over the last half-century, to date the true identity of dark matter remains elusive. While it is possible that one of the many proposed candidates may turn out to be dark matter, it is at least equally likely that the correct physical description has yet to be proposed. To address this challenge, novel applications of machine learning can help physicists gain insight into the dark sector from a theory agnostic perspective. In this work we demonstrate the use of unsupervised machine learning techniques to infer the presence of substructure in dark matter halos using galaxy-galaxy strong lensing simulations.


title: Dynamic pair-breaking current, critical superfluid velocity and nonlinear electromagnetic response of nonequilibrium superconductors

abstract: We report numerical calculations of a dynamic pairbreaking current density $J_d$ and a critical superfluid velocity $v_d$ in a nonequilibrium superconductor carrying a uniform, large-amplitude ac current density $J(t)=J_a\sin\Omega t$ with $\Omega$ well below the gap frequency $\Omega\ll \Delta_0/\hbar$. The dependencies $J_d(\Omega,T)$ and $v_d(\Omega,T)$ near the critical temperature $T_c$ were calculated from either the full time-dependent nonequilibrium equations for a dirty s-wave superconductor and the time-dependent Ginzburg-Landau (TDGL) equations for a gapped superconductor, taking into account the GL relaxation time of the order parameter $\tau_{GL}$ and the inelastic electron-phonon relaxation time of quasiparticles $\tau_E$. We show that both approaches give similar frequency dependencies of $J_d(\Omega)$ and $v_d(\Omega)$ which gradually increase from their static pairbreaking GL values $J_c$ and $v_c$ at $\Omega\tau_E\ll 1$ to $\sqrt{2}J_c$ and $\sqrt{2}v_c$ at $\Omega\tau_E\gg 1$. Here $J_d$, $v_d$ and a dynamic superheating field at which the Meissner state becomes unstable were calculated in two different regimes of a fixed ac current and a fixed ac superfluid velocity induced by the applied ac magnetic field $H=H_a\sin\Omega t$ in a thin superconducting filament or a type-II superconductor with a large GL parameter. We also calculated a nonlinear electromagnetic response of a nonequilibrium superconducting state, particularly a dynamic kinetic inductance and a dissipative quasiparticle conductivity, taking into account the oscillatory dynamics of superconducting condensate and the kinetics of quasiparticles driven by a strong ac current. It is shown that an ac current density produces multiple harmonics of the electric field, the amplitudes of the higher-order harmonics diminishing as $\tau_E$ increases.


title: Influence of nano-hole defects and their geometric arrangements on the superfluid density in atomically thin single crystals of indium superconductor

abstract: Using Indium on Si(111) as an atomically thin superconductor platform, and by systematically controlling the density of nano-hole defects (nanometer size voids), we reveal the impacts of defects density and defects geometric arrangements on superconductivity at macroscopic and microscopic length scales. When nano-hole defects are uniformly dispersed in the atomic layer, the superfluid density monotonically decreases as a function of defect density (from 0.7% to 5% of the surface area) with minor change in the transition temperature Tc, measured both microscopically and macroscopically. With a slight increase in the defect density from 5% to 6%, these point defects are organized into defect chains that enclose individual two-dimensional patches. This new geometric arrangement of defects dramatically impacts the superconductivity, leading to the total disappearance of macroscopic superfluid density and the collapse of the microscopic superconducting gap. This study sheds new light on the understanding of how local defects and their geometric arrangement impact superconductivity in the two-dimensional limit.


title: On nonminimizing solutions of elliptic free boundary problems

abstract: We present a variational framework for studying the existence and regularity of solutions to elliptic free boundary problems that do not necessarily minimize energy. As applications, we obtain mountain pass solutions of critical and subcritical superlinear free boundary problems, and establish full regularity of the free boundary in dimension $N = 2$ and partial regularity in higher dimensions.


title: Soliciting Human-in-the-Loop User Feedback for Interactive Machine Learning Reduces User Trust and Impressions of Model Accuracy

abstract: Mixed-initiative systems allow users to interactively provide feedback to potentially improve system performance. Human feedback can correct model errors and update model parameters to dynamically adapt to changing data. Additionally, many users desire the ability to have a greater level of control and fix perceived flaws in systems they rely on. However, how the ability to provide feedback to autonomous systems influences user trust is a largely unexplored area of research. Our research investigates how the act of providing feedback can affect user understanding of an intelligent system and its accuracy. We present a controlled experiment using a simulated object detection system with image data to study the effects of interactive feedback collection on user impressions. The results show that providing human-in-the-loop feedback lowered both participants' trust in the system and their perception of system accuracy, regardless of whether the system accuracy improved in response to their feedback. These results highlight the importance of considering the effects of allowing end-user feedback on user trust when designing intelligent systems.


title: RKT : Relation-Aware Self-Attention for Knowledge Tracing

abstract: The world has transitioned into a new phase of online learning in response to the recent Covid19 pandemic. Now more than ever, it has become paramount to push the limits of online learning in every manner to keep flourishing the education system. One crucial component of online learning is Knowledge Tracing (KT). The aim of KT is to model student's knowledge level based on their answers to a sequence of exercises referred as interactions. Students acquire their skills while solving exercises and each such interaction has a distinct impact on student ability to solve a future exercise. This \textit{impact} is characterized by 1) the relation between exercises involved in the interactions and 2) student forget behavior. Traditional studies on knowledge tracing do not explicitly model both the components jointly to estimate the impact of these interactions. In this paper, we propose a novel Relation-aware self-attention model for Knowledge Tracing (RKT). We introduce a relation-aware self-attention layer that incorporates the contextual information. This contextual information integrates both the exercise relation information through their textual content as well as student performance data and the forget behavior information through modeling an exponentially decaying kernel function. Extensive experiments on three real-world datasets, among which two new collections are released to the public, show that our model outperforms state-of-the-art knowledge tracing methods. Furthermore, the interpretable attention weights help visualize the relation between interactions and temporal patterns in the human learning process.


title: Enhancement of transverse thermoelectric conductivity originating from stationary points in nodal line

abstract: Motivated by the recent discovery of a large anomalous Nernst effect in Co$_2$MnGa, Fe$_3X$ ($X$=Al, Ga) and Co$_3$Sn$_2$S$_2$, we performed a first-principles study to clarify the origin of the enhancement of the transverse thermoelectric conductivity ($\alpha_{ij}$) in these ferromagnets. The intrinsic contribution to $\alpha_{ij}$ can be understood in terms of the Berry curvature ($\Omega$) around the Fermi level, and $\Omega$ is singularly large along nodal lines (which are gapless in the absence of the spin-orbit coupling) in the Brillouin zone. We find that not only the Weyl points but also stationary points in the energy dispersion of the nodal lines play a crucial role. The stationary points make sharp peaks in the density of states projected onto the nodal line, clearly identifying the characteristic Fermi energies at which $\alpha_{ij}$ is most dramatically enhanced. We also find that $\alpha_{ij}/T$ breaks the Mott relation and show a peculiar temperature dependence at these energies. The present results suggest that the stationary points will give us a useful guiding principle to design magnets showing a large anomalous Nernst effect.


title: A sub-micron resolution, bunch-by-bunch beam trajectory feedback system and its application to reducing wakefield effects in single-pass beamlines

abstract: A high-precision intra-bunch-train beam orbit feedback correction system has been developed and tested in the ATF2 beamline of the Accelerator Test Facility at the High Energy Accelerator Research Organization in Japan. The system uses the vertical position of the bunch measured at two beam position monitors (BPMs) to calculate a pair of kicks which are applied to the next bunch using two upstream kickers, thereby correcting both the vertical position and trajectory angle. Using trains of two electron bunches separated in time by 187.6~ns, the system was optimised so as to stabilize the beam offset at the feedback BPMs to better than 350~nm, yielding a local trajectory angle correction to within 250~nrad. The quality of the correction was verified using three downstream witness BPMs and the results were found to be in agreement with the predictions of a linear lattice model used to propagate the beam trajectory from the feedback region. This same model predicts a corrected beam jitter of c.~1~nm at the focal point of the accelerator. Measurements with a beam size monitor at this location demonstrate that reducing the trajectory jitter of the beam by a factor of 4 also reduces the increase in the measured beam size as a function of beam charge by a factor of c.~1.6.


title: High-Bandwidth, Variable-Resistance Differential Noise Thermometry

abstract: We develop Johnson noise thermometry applicable to mesoscopic devices with variable source impedance with high bandwidth for fast data acquisition. By implementing differential noise measurement and two-stage impedance matching, we demonstrate noise measurement in the frequency range 120-250 MHz with a wide sample resistance range 30 {\Omega}-100 k{\Omega} tuned by gate voltages and temperature. We employ high-frequency, single-ended low noise amplifiers maintained at a constant cryogenic temperature in order to maintain the desired low noise temperature. We achieve thermometer calibration with temperature precision up to 650 mK on a 10 K background with 30 s of averaging. Using this differential noise thermometry technique, we measure thermal conductivity on a bilayer graphene sample spanning the metallic and semiconducting regimes in a wide resistance range, and we compare it to the electrical conductivity.


title: Schr\"odinger connection with selfdual nonmetricity vector in 2+1 dimensions

abstract: We present a three-dimensional metric affine theory of gravity whose field equations lead to a connection introduced by Schr\"odinger many decades ago. Although involving nonmetricity, the Schr\"odinger connection preserves the length of vectors under parallel transport, and appears thus to be more physical than the one proposed by Weyl. By considering solutions with constant scalar curvature, we obtain a self-duality relation for the nonmetricity vector which implies a Proca equation that may also be interpreted in terms of inhomogeneous Maxwell equations emerging from affine geometry.


title: The growth factor parametrization versus numerical solutions in flat and non-flat dark energy models

abstract: In the present investigation we use observational data of $ f \sigma_ {8} $ to determine observational constraints in the plane $(\Omega_{m0},\sigma_{8})$ using two different methods: the growth factor parametrization and the numerical solutions method for density contrast, $\delta_{m}$. We verified the correspondence between both methods for three models of accelerated expansion: the $\Lambda CDM$ model, the $ w_{0}w_{a} CDM$ model and the running cosmological constant $RCC$ model. In all case we consider also curvature as free parameter. The study of this correspondence is important because the growth factor parametrization method is frequently used to discriminate between competitive models. Our results we allow us to determine that there is a good correspondence between the observational constrains using both methods. We also test the power of the $ f\sigma_ {8} $ data to constraints the curvature parameter within the $ \Lambda CDM $ model. For this we use a non-parametric reconstruction using Gaussian processes. Our results show that the $ f\sigma_ {8}$ data with the current precision level does not allow to distinguish between a flat and non-flat universe.


title: Linked Credibility Reviews for Explainable Misinformation Detection

abstract: In recent years, misinformation on the Web has become increasingly rampant. The research community has responded by proposing systems and challenges, which are beginning to be useful for (various subtasks of) detecting misinformation. However, most proposed systems are based on deep learning techniques which are fine-tuned to specific domains, are difficult to interpret and produce results which are not machine readable. This limits their applicability and adoption as they can only be used by a select expert audience in very specific settings. In this paper we propose an architecture based on a core concept of Credibility Reviews (CRs) that can be used to build networks of distributed bots that collaborate for misinformation detection. The CRs serve as building blocks to compose graphs of (i) web content, (ii) existing credibility signals --fact-checked claims and reputation reviews of websites--, and (iii) automatically computed reviews. We implement this architecture on top of lightweight extensions to Schema.org and services providing generic NLP tasks for semantic similarity and stance detection. Evaluations on existing datasets of social-media posts, fake news and political speeches demonstrates several advantages over existing systems: extensibility, domain-independence, composability, explainability and transparency via provenance. Furthermore, we obtain competitive results without requiring finetuning and establish a new state of the art on the Clef'18 CheckThat! Factuality task.


title: Universality of ultra-relativistic gravitational scattering

abstract: We discuss the ultra-relativistic gravitational scattering of two massive particles at two-loop (3PM) level. We find that in this limit the real part of the eikonal, determining the deflection angle, is universal for gravitational theories in the two derivative approximation. This means that, regardless of the number of supersymmetries or the nature of the probes, the result connects smoothly with the massless case discussed since the late eighties by Amati, Ciafaloni and Veneziano. We analyse the problem both by using the analyticity and crossing properties of the scattering amplitudes and, in the case of the maximally supersymmetric theory, by explicit evaluation of the 4-point 2-loop amplitude using the results for the integrals in the full soft region. The first approach shows that the observable we are interested in is determined by the inelastic tree-level amplitude describing the emission of a graviton in the high-energy double-Regge limit, which is the origin of the universality property mentioned above. The second approach strongly suggests that the inclusion of the whole soft region is a necessary (and possibly sufficient) ingredient for recovering ultra relativistic finiteness and universality at the 3PM level. We conjecture that this universality persists at all orders in the PM expansion.


title: An eradication time problem for the SIR model

abstract: We consider a susceptible, infected, and recovered infectious disease model which incorporates a vaccination rate. In particular, we study the problem of choosing the vaccination rate in order to reduce the number of infected individuals to a given threshold as quickly as possible. This is naturally a problem of time-optimal control. We interpret the optimal time as a solution of two dynamic programming equations and give necessary and sufficient conditions for a vaccination rate to be optimal.


title: DNNExplorer: A Framework for Modeling and Exploring a Novel Paradigm of FPGA-based DNN Accelerator

abstract: Existing FPGA-based DNN accelerators typically fall into two design paradigms. Either they adopt a generic reusable architecture to support different DNN networks but leave some performance and efficiency on the table because of the sacrifice of design specificity. Or they apply a layer-wise tailor-made architecture to optimize layer-specific demands for computation and resources but loose the scalability of adaptation to a wide range of DNN networks. To overcome these drawbacks, this paper proposes a novel FPGA-based DNN accelerator design paradigm and its automation tool, called DNNExplorer, to enable fast exploration of various accelerator designs under the proposed paradigm and deliver optimized accelerator architectures for existing and emerging DNN networks. Three key techniques are essential for DNNExplorer's improved performance, better specificity, and scalability, including (1) a unique accelerator design paradigm with both high-dimensional design space support and fine-grained adjustability, (2) a dynamic design space to accommodate different combinations of DNN workloads and targeted FPGAs, and (3) a design space exploration (DSE) engine to generate optimized accelerator architectures following the proposed paradigm by simultaneously considering both FPGAs' computation and memory resources and DNN networks' layer-wise characteristics and overall complexity. Experimental results show that, for the same FPGAs, accelerators generated by DNNExplorer can deliver up to 4.2x higher performances (GOP/s) than the state-of-the-art layer-wise pipelined solutions generated by DNNBuilder for VGG-like DNN with 38 CONV layers. Compared to accelerators with generic reusable computation units, DNNExplorer achieves up to 2.0x and 4.4x DSP efficiency improvement than a recently published accelerator design from academia (HybridDNN) and a commercial DNN accelerator IP (Xilinx DPU), respectively.


title: Active control of liquid film flows: beyond reduced-order models

abstract: The ability to robustly and efficiently control the dynamics of nonlinear systems lies at the heart of many current technological challenges, ranging from drug delivery systems to ensuring flight safety. Most such scenarios are too complex to tackle directly and reduced-order modelling is used in order to create viable representations of the target systems. The simplified setting allows for the development of rigorous control theoretical approaches, but the propagation of their effects back up the hierarchy and into real-world systems remains a significant challenge. Using the canonical setup of a liquid film falling down an inclined plane under the action of active feedback controls in the form of blowing and suction, we develop a multi-level modelling framework containing both analytical models and direct numerical simulations acting as an in silico experimental platform. Constructing strategies at the inexpensive lower levels in the hierarchy, we find that offline control transfer is not viable, however analytically-informed feedback strategies show excellent potential, even far beyond the anticipated range of applicability of the models. The detailed effects of the controls in terms of stability and treatment of nonlinearity are examined in detail in order to gain understanding of the information transfer inside the flows, which can aid transition towards other control-rich frameworks and applications.


title: The Effectiveness of Interactive Visualization Techniques for Time Navigation of Dynamic Graphs on Large Displays

abstract: Dynamic networks can be challenging to analyze visually, especially if they span a large time range during which new nodes and edges can appear and disappear. Although it is straightforward to provide interfaces for visualization that represent multiple states of the network (i.e., multiple timeslices) either simultaneously (e.g., through small multiples) or interactively (e.g., through interactive animation), these interfaces might not support tasks in which disjoint timeslices need to be compared. Since these tasks are key for understanding the dynamic aspects of the network, understanding which interactive visualizations best support these tasks is important. We present the results of a series of laboratory experiments comparing two traditional approaches (small multiples and interactive animation), with a more recent approach based on interactive timeslicing. The tasks were performed on a large display through a touch interface. Participants completed 24 trials of three tasks with all techniques. The results show that interactive timeslicing brings benefit when comparing distant points in time, but less benefits when analyzing contiguous intervals of time.


title: Center-to-Limb Variation of the Inverse Evershed Flow

abstract: We present the properties of the inverse Evershed flow (IEF) based on the center-to-limb variation of the plasma speed and loop geometry of chromospheric superpenumbral fibrils in eleven sunspots that were located at a wide range of heliocentric angles from 12 to 79 deg. The observations were acquired at the Dunn Solar Telescope in the spectral lines of Halpha at 656nm, CaII IR at 854 nm and HeI at 1083 nm. All sunspots display opposite line-of-sight (LOS) velocities on the limb and center side with a distinct shock signature near the outer penumbral edge. We developed a simplified flexible sunspot model assuming axisymmetry and prescribing the radial flow speed profile at a known loop geometry to replicate the observed two-dimensional IEF patterns under different viewing angles. The simulated flow maps match the observations for chromospheric loops with 10-20 Mm length starting at 0.8-1.1 sunspot radii, an apex height of 2-3Mm and a true constant flow speed of 2-9km/s. We find on average a good agreement of the simulated velocities and the observations on elliptical annuli around the sunspot. Individual IEF channels show a significant range of variation in their properties and reach maximal LOS speeds of up to 12km/s. Upwards or downwards directed flows do not show a change of sign in the LOS velocities for heliocentric angles above 30 deg. Our results are consistent with the IEF being caused by a siphon flow mechanism driving a flow at a constant sonic speed along elevated loops with a flattened top in the chromosphere.


title: A modelling study of hydrodynamical and biogeochemical processes within the California Upwelling System

abstract: The ROMS modeling system was applied to the California Upwelling System (CalUS) to understand the key hydrodynamic conditions and dynamics of the nitrogen-based ecosystem using the NPZD model proposed by Powell et al. (2006). A new type of sponge layer has been successfully implemented in the ROMS modelling system in order to stabilize the hydrodynamic part of the modeling system when using so-called reduced boundary conditions. The hydrodynamic performance of the model was examined using a tidal analysis based on tidal measurement data, a comparison of the modeled sea surface temperature (SST) with buoy and satellite data, and vertical sections of the currents along the coast and the water temperature. This validation process shows that the hydrodynamic module used in this study can reproduce the basic hydrodynamic and circulation characteristics within the CalUS. The results of the ecosystem model show the characteristic features of upwelling regions as well as the well-known spotty horizontal structures of the zooplankton community. The model thus provides a solid basis for the hydrodynamic and ecological characteristics of the CalUS and enables the ecological model to be expanded into a complex ecological model for investigating the effects of climate change on the ecological balance in the area investigated.


title: CNN-Based Image Reconstruction Method for Ultrafast Ultrasound Imaging

abstract: Ultrafast ultrasound (US) revolutionized biomedical imaging with its capability of acquiring full-view frames at over 1 kHz, unlocking breakthrough modalities such as shear-wave elastography and functional US neuroimaging. Yet, it suffers from strong diffraction artifacts, mainly caused by grating lobes, side lobes, or edge waves. Multiple acquisitions are typically required to obtain a sufficient image quality, at the cost of a reduced frame rate. To answer the increasing demand for high-quality imaging from single unfocused acquisitions, we propose a two-step convolutional neural network (CNN)-based image reconstruction method, compatible with real-time imaging. A low-quality estimate is obtained by means of a backprojection-based operation, akin to conventional delay-and-sum beamforming, from which a high-quality image is restored using a residual CNN with multiscale and multichannel filtering properties, trained specifically to remove the diffraction artifacts inherent to ultrafast US imaging. To account for both the high dynamic range and the oscillating properties of radio frequency US images, we introduce the mean signed logarithmic absolute error (MSLAE) as a training loss function. Experiments were conducted with a linear transducer array, in single plane-wave (PW) imaging. Trainings were performed on a simulated dataset, crafted to contain a wide diversity of structures and echogenicities. Extensive numerical evaluations demonstrate that the proposed approach can reconstruct images from single PWs with a quality similar to that of gold-standard synthetic aperture imaging, on a dynamic range in excess of 60 dB. In vitro and in vivo experiments show that trainings carried out on simulated data perform well in experimental settings.


title: A Framework for Generating Diverse Haskell-IO Exercise Tasks

abstract: We present the design of a framework to automatically generate a large range of different exercise tasks on Haskell-I/O programming. Automatic task generation is useful in many different ways. Manual task creating is a time consuming process, so automating it saves valuable time for the educator. Together with an automated assessment system automatic task generation allows students to practice with as many exercise tasks as needed. Additionally, each student can be given a slightly different version of a task, reducing issues regarding plagiarism that arise naturally in an e-learning environment. Our task generation is centered around a specification language for I/O behavior that we developed in an earlier work. The task generation framework, an EDSL in Haskell, provides powerful primitives for the creation of various artifacts, including program code, from specifications. We will not go into detail on the technical realization of these primitives. This article instead showcases how such artifacts and the framework as a whole can be used to build exercise tasks templates that can then be (randomly) instantiated.


title: GRB 200415A: magnetar giant flare or short gamma-ray burst?

abstract: A detailed analysis of the GBM/Fermi experiment data is carried out to classify GRB 200415A. It is shown that, on the one hand, this event exhibits typical for type I (short) gamma-ray bursts (GRBs) properties, such as duration, variability, and the character of spectral evolution (lag). On the other hand, the localization of the event source on the celestial plane, obtained by the triangulation method (IPN), indicates the nearby ($ D_L $ = 3.5 Mpc) galaxy NGC 253 (Sculptor) as a possible host galaxy for this burst. It introduces significant restrictions on the energetics of the event ($ E_{iso} $ $ \sim $ $ 10^{46} $ erg) and gives an alternative interpretation of GRB 200415A as a giant flare (GF) of a soft gamma repeater (SGR). This interpretation is supported by the atypically hard energy spectrum. In addition, according to the position of the burst on the $ E_{p, i} $ -- $ E_{iso} $ (the position of the maximum in the energy spectrum $ \nu F_{\nu} $ in the source frame depending on the isotropic equivalent of the total energy, emitted in gamma rays) and $ T_{90, i} $ -- $ EH $ (duration in the source frame depending on the combination of parameters $ EH = E_{p,i,2} ~ E_{iso,51}^{ ~ -0.4} $) diagrams, GRB 200415A is unambiguously classified as a giant flare of a magnetar, assuming its association with the galaxy NGC 253. In these diagrams, known giant flares in the Galaxy and candidates for giant flares in nearby galaxies form a well-defined group, which includes the GRB 200415A.


title: High-order geodesic coupling of shear-Alfv\'{e}n and acoustic continua in tokamaks

abstract: High-order plasma shaping (mainly elongation and shift, as opposed to low-order toroidicity) is shown, under certain conditions, to open gaps in the coupled shear-Alfv\'{e}n and acoustic continua at frequencies significantly above the values predicted by previous theories. Global eigenmodes in these gaps, which lie between those of geodesic acoustic modes (GAMs) and toroidicity-induced Alfv\'{e}n eigenmodes (TAEs), are found unstable to hot-ion populations typical of tokamak operation, whilst their fundamental resonances with circulating particles are shown to take place at velocities near the geometric mean of the Alfv\'{e}n and sound speeds. Therefore, such eigenmodes are expected to be observed near the predicted frequencies at operating tokamaks, playing a still unexplored role in magnetohydrodynamic spectroscopy as well as in the stability of next-step fusion experiments.


title: Electronic Structure and Small Hole Polarons in YTiO3

abstract: As a prototypical Mott insulator with ferromagnetic ordering, YTiO3 (YTO) is of great interest in the study of strong electron correlation effects and orbital ordering. Here we report the first molecular beam epitaxy (MBE) growth of YTO films, combined with theoretical and experimental characterization of the electronic structure and charge transport properties. The obstacles of YTO MBE growth are discussed and potential routes to overcome them are proposed. DC transport and Seebeck measurements on thin films and bulk single crystals identify p-type Arrhenius transport behavior, with an activation energy of ~ 0.17 eV in thin films, consistent with the energy barrier for small hole polaron migration from hybrid density functional theory (DFT) calculations. Hard X-ray photoelectron spectroscopy measurements (HAXPES) show the lower Hubbard band (LHB) at 1.1 eV below the Fermi level, whereas a Mott-Hubbard band gap of ~1.5 eV is determined from photoluminescence (PL) measurements. These findings provide critical insight into the electronic band structure of YTO and related materials.


title: On the definitions and simulations of vibrational heat transport in nanojunctions

abstract: Thermal transport through nanosystems is central to numerous processes in chemistry, material sciences, electrical and mechanical engineering, with classical molecular dynamics as the key simulation tool. Here we focus on thermal junctions with a molecule bridging two solids that are maintained at different temperatures. The classical steady state heat current in this system can be simulated in different ways, either at the interfaces with the solids, which are represented by thermostats, or between atoms within the conducting molecule. We show that while the latter, intramolecular definition feasibly converges to the correct limit, the molecule-thermostat interface definition is more challenging to converge to the correct result. The problem with the interface definition is demonstrated by simulating heat transport in harmonic and anharmonic one-dimensional chains illustrating unphysical effects such as thermal rectification in harmonic junctions.


title: Investigating the relation between chaos and the three body problem

abstract: We review the properties of fractals, the Mandelbrot set and how deterministic chaos ties to the picture. A detailed study on three body systems, one of the major applications of chaos theory was undertaken. Systems belonging to different families produced till date were studied and their properties were analysed. We then segregated them into three classes according to their properties. We suggest that such reviews be carried out in regular intervals of time as there are an infinite number of solutions for three body systems and some of them may prove to be useful in various domains apart from hierarchical systems.


title: Revisiting dynamics of quantum causal structures -- when can causal order evolve?

abstract: Recently, there has been substantial interest in studying the dynamics of quantum theory beyond that of states, in particular, the dynamics of channels, measurements, and higher-order transformations. Ref. [Phys.~Rev.~X 8(1), 011047 (2018)] pursues this using the process matrix formalism, together with a definition of the possible dynamics of such process matrices, and focusing especially on the question of evolution of causal structures. One of its major conclusions is a strong theorem saying that, within the formalism, under continuous and reversible transformations, the causal order between operations must be preserved. Here we find a surprising result: if one is to take into account a full picture of the physical evolution of operations within the standard quantum-mechanical formalism, then one can actually draw the opposite conclusion. That is, we show that under certain continuous and reversible dynamics the causal order between operations is not necessarily preserved. We moreover identify and analyse the root of this apparent contradiction, specifically, that the commonly accepted and widely applied framework of higher-order processes, whilst mathematically sound, is not always appropriate for drawing conclusions on the fundamentals of physical dynamics. Finally we show how to reconcile the elements of the whole picture following the intuition based on entanglement processing by local operations and classical communication.


title: Stealth spontaneous spinorization of relativistic stars

abstract: We investigate the behavior of the Dirac spinor fields in general relativistic high density stellar backgrounds and the possibility of spontaneous spinorization which is analogous to spontaneous scalarization. We consider the model with the modified kinetic term of the Dirac field by the insertion of the fifth gamma matrix ${\hat \gamma}^5$ and the conformal coupling of the Dirac spinor field to the matter sector, which would lead to the tachyonic growth of the Dirac spinor field in the high density compact stellar backgrounds. In order to obtain the static and spherically symmetric solutions, we have to consider the two Dirac fields at the same time. We show that in the constant density stellar backgrounds our model gives rise to the nontrivial solutions of the Dirac spinor fields with any number of nodes, where one mode has one more nodes than the other. We also show that at the leading order all the components of the effective energy-momentum tensor of the Dirac spinor fields, after the summation over the two fields, vanish for any separable time-dependent ansatz of the Dirac spinor fields in any static and spherically symmetric spacetime backgrounds, indicating that spontaneous spinorization takes place as a stealth process in the static and spherically symmetric spacetime with any number of nodes, which would be quenched by nonlinear effects and leave no observable effects.


title: $H^1$-Stability of the $L^2$-Projection onto Finite Element Spaces on Adaptively Refined Quadrilateral Meshes

abstract: The $L^2$-orthogonal projection $\Pi_h:L^2(\Omega)\rightarrow\mathbb{V}_h$ onto a finite element (FE) space $\mathbb{V}_h$ is called $H^1$-stable iff $\|\nabla\Pi_h u\|_{L^2(\Omega)}\leq C\|u\|_{H^1(\Omega)}$, for any $u\in H^1(\Omega)$ with a positive constant $C\neq C(h)$ independent of the mesh size $h>0$. In this work, we discuss local criteria for the $H^1$-stability of adaptively refined meshes. We show that adaptive refinement strategies for quadrilateral meshes in 2D (Q-RG and Q-RB), introduced originally in Bank et al. 1982 and Kobbelt 1996, are $H^1$-stable for FE spaces of polynomial degree $p=2,\ldots,9$.


title: AllenAct: A Framework for Embodied AI Research

abstract: The domain of Embodied AI, in which agents learn to complete tasks through interaction with their environment from egocentric observations, has experienced substantial growth with the advent of deep reinforcement learning and increased interest from the computer vision, NLP, and robotics communities. This growth has been facilitated by the creation of a large number of simulated environments (such as AI2-THOR, Habitat and CARLA), tasks (like point navigation, instruction following, and embodied question answering), and associated leaderboards. While this diversity has been beneficial and organic, it has also fragmented the community: a huge amount of effort is required to do something as simple as taking a model trained in one environment and testing it in another. This discourages good science. We introduce AllenAct, a modular and flexible learning framework designed with a focus on the unique requirements of Embodied AI research. AllenAct provides first-class support for a growing collection of embodied environments, tasks and algorithms, provides reproductions of state-of-the-art models and includes extensive documentation, tutorials, start-up code, and pre-trained models. We hope that our framework makes Embodied AI more accessible and encourages new researchers to join this exciting area. The framework can be accessed at: https://allenact.org/