title: Memory retrieval dynamics and storage capacity of a modular network model of association cortex with featural decomposition

abstract: The primate heteromodal cortex presents an evident functional modularity at a mesoscopic level, with physiological and anatomical evidence pointing to it as likely substrate of long-term memory. In order to investigate some of its properties, a model of multimodular autoassociator is studied. Each of the many modules represents a neocortical functional ensemble of recurrently connected neurons and operates as a Hebbian autoassociator, storing a number of local features which it can recall upon cue. The global memory patterns are made of combinations of features sparsely distributed across the modules. Intermodular connections are modelled as a finite-connectivity random graph. Any pair of features in any respective pair of modules is allowed to be involved in several memory patterns; the coarse-grained modular network dynamics is defined in such a way as to overcome the consequent ambiguity of associations. Effects of long-range homeostatic synaptic scaling on network performance are also assessed. The dynamical process of cued retrieval almost saturates a natural upper bound while producing negligible spurious activation. The extent of finite-size effects on storage capacity is quantitatively evaluated. In the limit of infinite size, the functional relationship between storage capacity and number of features per module reduces to that which other authors found by methods from equilibrium statistical mechanics, which suggests that the origin of the functional form is of a combinatorial nature. In contrast with its apparent inevitability at intramodular level, long-range synaptic scaling results to be of minor relevance to both retrieval and storage capacity, casting doubt on its existence in the neocortex. A conjecture is also posited about how statistical fluctuation of connectivity across the network may underpin spontaneous emergence of semantic hierarchies through learning.


title: Validating the Earth's Core using Atmospheric Neutrinos with ICAL at INO

abstract: The Iron Calorimeter (ICAL) detector at the proposed India-based Neutrino Observatory (INO) aims to detect atmospheric neutrinos and antineutrinos separately in the multi-GeV range of energies and over a wide range of baselines. By utilizing its charge identification capability, ICAL can efficiently distinguish $\mu^-$ and $\mu^+$ events. Atmospheric neutrinos passing long distances through Earth can be detected at ICAL with good resolution in energy and direction, which enables ICAL to see the density-dependent matter oscillations experienced by upward-going neutrinos in the multi-GeV range of energies. In this work, we explore the possibility of utilizing neutrino oscillations in the presence of matter to extract information about the internal structure of Earth complementary to seismic studies. Using good directional resolution, ICAL would be able to observe 331 $\mu^-$ and 146 $\mu^+$ core-passing events with 500 kt$\cdot$yr exposure. With this exposure, we show for the first time that the presence of Earth's core can be independently confirmed at ICAL with a median $\Delta \chi^2$ of 7.45 (4.83) assuming normal (inverted) mass ordering by ruling out the simple two-layered mantle-crust profile in theory while generating the prospective data with the PREM profile. We observe that in the absence of charge identification capability of ICAL, this sensitivity deteriorates significantly to 3.76 (1.59) for normal (inverted) mass ordering.


title: Lithium abundances and asteroseismology of red giants: understanding the evolution of lithium in giants based on asteroseismic parameters

abstract: In this study, we explore the evolution of lithium in giant stars based on data assembled from the literature on asteroseismology and Li abundances for giants. Our final sample of 187 giants consists of 44 red giant branch (RGB), 140 core He-burning (CHeB) and three giants with an unclassified evolutionary phase. For all 187 stars, the seismic parameters $\nu\rm_{max}$ (frequency of maximum oscillation power) and $\Delta \nu$ (large frequency spacing) are available, while $\Delta \Pi\rm_{1}$ (the asymptotic gravity-mode period spacing) is available for a subset of 64. For some of the CHeB giants, mass estimates from the asteroseismic scaling relations are found to be underestimated when compared with mass estimates from isochrones based on seismic data. Whilst most of the Li-rich giants in the sample have masses less than 1.5 $M_\odot$, they are also present up to and beyond the maximum mass expected to have suffered a core He-flash, i.e. $M$ $\leq$ 2.25 $M_\odot$: this suggests contributions from other processes towards Li enrichment. To understand the evolution of giants in the $\Delta \Pi\rm_{1}$ $-$ $\Delta \nu$ plane, we use the {\it Modules for Experiments in Stellar Astrophysics} models which show the presence of mini He-flashes following the initial strong core He-flash. From the distribution of A(Li) as a function of $\Delta \nu$, which is similar to the distribution of A(Li) as a function of luminosity, we find no indication of Li enrichment near the luminosity bump. Also, A(Li) trends to $\sim$ -1.5 dex near the RGB tip. The data also suggest a decrease in A(Li) with an increase in $\Delta \Pi\rm_{1}$ for CHeB giants.


title: Gravitational and electromagnetic perturbations of a charged black hole in a general gauge condition

abstract: We derive a set of coupled equations for the gravitational and electromagnetic perturbation in the Reissner-Nordstr\"om geometry using the Newman Penrose formalism. We show that the information of the physical gravitational signal is contained in the Weyl scalar function $\Psi_4$, as is well known, but for the electromagnetic signal the information is encoded in the function $\chi$ which relates the perturbations of the radiative Maxwell scalars $\varphi_2$ and the Weyl scalar $\Psi_3$. In deriving the perturbation equations we do not impose any gauge condition and our analysis contains as a limiting case the results obtained previously for instance in Chandrashekhar's book. In our analysis, we also include the sources for the perturbations and focus on a dust-like charged fluid distribution falling radially into the black hole. Finally, by writing the functions on a basis of spin weighted spherical harmonics and the Reissner-Nordstr\"om spacetime in Kerr-Schild type coordinates a hyperbolic system of coupled partial differential equations is presented and numerically solved. In this way, we solve completely a system which generates a gravitational signal as well as an electromagnetic/gravitational one, which sets the basis to find correlations between them and thus facilitating the gravitational wave detection via the electromagnetic signal.


title: Simple Bulk Reconstruction in AdS/CFT Correspondence

abstract: In this paper, we show that the bulk reconstruction in the AdS/CFT correspondence is rather simple and has an intuitive picture, by showing that the HKLL bulk reconstruction formula can be simplified. We also reconstruct the wave packets in the bulk theory from the CFT primary operators. With these wave packets, we discuss the causality and duality constraints and find our picture is only the consistent one. Our picture of the bulk reconstruction can be applied to the asymptotic AdS spacetime.


title: "In-System" Fission-Events: An Insight into Puzzles of Exoplanets and Stars?

abstract: In expansion of our recent proposal (Physics, 2020, 2, 213-276) that the solar system's evolution occurred in two stages -- during the first stage, the gaseous giants formed (via disk instability), and, during the second stage (caused by an encounter with a particular stellar-object leading to "in-system" fission-driven nucleogenesis), the terrestrial planets formed (via accretion) -- we emphasize here that the mechanism of formation of such stellar-objects is generally universal and therefore encounters of such objects with stellar-systems may have occurred elsewhere across galaxies. If so, their aftereffects may perhaps be observed as puzzling features in the spectra of individual stars (such as idiosyncratic chemical enrichments) and/or in the structures of exoplanetary systems (such as unusually high planet densities or short orbital periods). This paper reviews and reinterprets astronomical data within the "fission-events framework." Classification of stellar systems as "pristine" or "impacted" is offered.

categories: astro-ph.SR astro-ph.EP astro-ph.GA nucl-ex nucl-th


title: Dynamic CT Reconstruction from Limited Views with Implicit Neural Representations and Parametric Motion Fields

abstract: Reconstructing dynamic, time-varying scenes with computed tomography (4D-CT) is a challenging and ill-posed problem common to industrial and medical settings. Existing 4D-CT reconstructions are designed for sparse sampling schemes that require fast CT scanners to capture multiple, rapid revolutions around the scene in order to generate high quality results. However, if the scene is moving too fast, then the sampling occurs along a limited view and is difficult to reconstruct due to spatiotemporal ambiguities. In this work, we design a reconstruction pipeline using implicit neural representations coupled with a novel parametric motion field warping to perform limited view 4D-CT reconstruction of rapidly deforming scenes. Importantly, we utilize a differentiable analysis-by-synthesis approach to compare with captured x-ray sinogram data in a self-supervised fashion. Thus, our resulting optimization method requires no training data to reconstruct the scene. We demonstrate that our proposed system robustly reconstructs scenes containing deformable and periodic motion and validate against state-of-the-art baselines. Further, we demonstrate an ability to reconstruct continuous spatiotemporal representations of our scenes and upsample them to arbitrary volumes and frame rates post-optimization. This research opens a new avenue for implicit neural representations in computed tomography reconstruction in general.


title: VidTr: Video Transformer Without Convolutions

abstract: We introduce Video Transformer (VidTr) with separable-attention for video classification. Comparing with commonly used 3D networks, VidTr is able to aggregate spatio-temporal information via stacked attentions and provide better performance with higher efficiency. We first introduce the vanilla video transformer and show that transformer module is able to perform spatio-temporal modeling from raw pixels, but with heavy memory usage. We then present VidTr which reduces the memory cost by 3.3$\times$ while keeping the same performance. To further optimize the model, we propose the standard deviation based topK pooling for attention ($pool_{topK\_std}$), which reduces the computation by dropping non-informative features along temporal dimension. VidTr achieves state-of-the-art performance on five commonly used datasets with lower computational requirement, showing both the efficiency and effectiveness of our design. Finally, error analysis and visualization show that VidTr is especially good at predicting actions that require long-term temporal reasoning.


title: Learnable Online Graph Representations for 3D Multi-Object Tracking

abstract: Tracking of objects in 3D is a fundamental task in computer vision that finds use in a wide range of applications such as autonomous driving, robotics or augmented reality. Most recent approaches for 3D multi object tracking (MOT) from LIDAR use object dynamics together with a set of handcrafted features to match detections of objects. However, manually designing such features and heuristics is cumbersome and often leads to suboptimal performance. In this work, we instead strive towards a unified and learning based approach to the 3D MOT problem. We design a graph structure to jointly process detection and track states in an online manner. To this end, we employ a Neural Message Passing network for data association that is fully trainable. Our approach provides a natural way for track initialization and handling of false positive detections, while significantly improving track stability. We show the merit of the proposed approach on the publicly available nuScenes dataset by achieving state-of-the-art performance of 65.6% AMOTA and 58% fewer ID-switches.


title: KdV on an incoming tide

abstract: Given smooth step-like initial data $V(0,x)$ on the real line, we show that the Korteweg--de Vries equation is globally well-posed for initial data $u(0,x) \in V(0,x) + H^{-1}(\mathbb{R})$. The proof uses our general well-posedness result for exotic spatial asymptotics. As a prerequisite, we show that KdV is globally well-posed for $H^3(\mathbb{R})$ perturbations of step-like initial data. In the case $V \equiv 0$, we obtain a new proof of the Bona--Smith theorem using the low-regularity methods that established the sharp well-posedness of KdV in $H^{-1}$.


title: Risking your NEC

abstract: Energy conditions, especially the null energy condition (NEC), are generically imposed on solutions to retain a physically sensible classical field theory and they also play an important role in the AdS/CFT duality. Using this duality, we study non-trivially deformed strongly coupled quantum field theories at large-$N_c$. The corresponding dual classical gravity constructions entail the use of radially non-monotonic D-brane distributions. The gravity backgrounds are supersymmetric and hence perturbatively stable, and do not possess curvature singularities. There are no short-cuts through the bulk spacetime for signal propagation which assures that the field theory duals are causal. Nevertheless, some of our solutions violate the NEC in the gravity dual. In these cases the non-monotonicity of the D-brane distributions is reflected in the properties of the renormalization group flow: none of the $c$-functions proposed in the literature are monotonic. This further suggests that the non-monotonic behavior of the $c$-functions within previously known anisotropic backgrounds does not originate from the breaking of Lorentz invariance. We surmise that NEC violations induced by quantum corrections also need to be considered in holographic duals, but can be studied already at the classical level.


title: The New Generation Planetary Population Synthesis (NGPPS). V. Predetermination of planet types in global core accretion models

abstract: State-of-the-art planet formation models are now capable of accounting for the full spectrum of known planet types. This comes at the cost of increasing complexity of the models, which calls into question whether established links between their initial conditions and the calculated planetary observables are preserved. In this paper, we take a data-driven approach to investigate the relations between clusters of synthetic planets with similar properties and their formation history. We trained a Gaussian Mixture Model on typical exoplanet observables computed by a global model of planet formation to identify clusters of similar planets. We then traced back the formation histories of the planets associated with them. Using cluster affiliation as labels, we trained a Random Forest classifier to predict planet species from properties of the originating protoplanetary disk. Without presupposing any planet types, we identified four distinct classes in our synthetic population. They roughly correspond to the observed populations of (sub-)Neptunes, giant planets, and (super-)Earths, plus an additional unobserved class we denote as "icy cores". These groups emerge already within the first 0.1 Myr of the formation phase and are predicted from disk properties with an overall accuracy of >90%. The most reliable predictors are the initial orbital distance of planetary nuclei and the total planetesimal mass available. Giant planets form only in a particular region of this parameter space that is in agreement with purely analytical predictions. Including N-body interactions between the planets decreases the predictability, especially for sub-Neptunes that frequently undergo giant collisions and turn into super-Earths. The impact of gravitational interactions highlights the need for N-body integrators for realistic predictions of systems of low-mass planets. (abridged)


title: White Dwarf Subsystems in Core-Collapsed Globular Clusters

abstract: Numerical and observational evidence suggests that massive white dwarfs dominate the innermost regions of core-collapsed globular clusters by both number and total mass. Using NGC 6397 as a test case, we constrain the features of white dwarf populations in core-collapsed clusters, both at present day and throughout their lifetimes. The dynamics of these white dwarf subsystems have a number of astrophysical implications. We demonstrate that the collapse of globular cluster cores is ultimately halted by the dynamical burning of white dwarf binaries. We predict core-collapsed clusters in the local universe yield a white dwarf merger rate of $\mathcal{O}(10\rm{)\,Gpc}^{-3}\,\rm{yr}^{-1}$, roughly $0.1-1\%$ of the observed Type Ia supernova rate. We show that prior to merger, inspiraling white dwarf binaries will be observable as gravitational wave sources at milli- and decihertz frequencies. Over $90\%$ of these mergers have a total mass greater than the Chandrasekhar limit. If the merger/collision remnants are not destroyed completely in an explosive transient, we argue the remnants may be observed in core-collapsed clusters as either young neutron stars/pulsars/magnetars (in the event of accretion-induced collapse) or as young massive white dwarfs offset from the standard white dwarf cooling sequence. Finally, we show collisions between white dwarfs and main sequence stars, which may be detectable as bright transients, occur at a rate of $\mathcal{O}(100\rm{)\,Gpc}^{-3}\,\rm{yr}^{-1}$ in the local universe. We find that these collisions lead to depletion of blue straggler stars and main sequence star binaries in the centers of core-collapsed clusters.


title: Massive sterile neutrinos in the early universe: From thermal decoupling to cosmological constraints

abstract: We consider relatively heavy neutrinos $\nu_H$, mostly contributing to a sterile state $\nu_s$, with mass in the range 10 MeV $\lesssim m_s \lesssim m_{\pi} \sim 135$ MeV, which are thermally produced in the early universe in collisional processes involving active neutrinos, and freezing out after the QCD phase transition. If these neutrinos decay after the active neutrino decoupling, they generate extra neutrino radiation, but also contribute to entropy production. Thus, they alter the value of the effective number of neutrino species $N_{\rm eff}$ as for instance measured by the cosmic microwave background (CMB), as well as affect primordial nucleosynthesis (BBN), notably ${}^4$He production. We provide a detailed account of the solution of the relevant Boltzmann equations. We also identify the parameter space allowed by current Planck satellite data and forecast the parameter space probed by future Stage-4 ground-based CMB observations, expected to match or surpass BBN sensitivity.


title: Conserved Quantities from Entanglement Hamiltonian

abstract: We show that the subregion entanglement Hamiltonians of excited eigenstates of a quantum many-body system are approximately linear combinations of subregionally (quasi)local approximate conserved quantities, with relative commutation errors $\mathcal{O}\left(\frac{\text{subregion boundary area}}{\text{subregion volume}}\right)$. By diagonalizing an entanglement Hamiltonian superdensity matrix (EHSM) for an ensemble of eigenstates, we can obtain these conserved quantities as the EHSM eigen-operators with nonzero eigenvalues. For free fermions, we find the number of nonzero EHSM eigenvalues is cut off around the order of subregion volume, and some of their EHSM eigen-operators can be rather nonlocal, although subregionally quasilocal. In the interacting XYZ model, we numerically find the nonzero EHSM eigenvalues decay roughly in power law if the system is integrable, with the exponent $s\approx 1$ ($s\approx 1.5\sim 2$) if the eigenstates are extended (many-body localized). For fully chaotic systems, only two EHSM eigenvalues are significantly nonzero, the eigen-operators of which correspond to the identity and the subregion Hamiltonian.

categories: cond-mat.stat-mech cond-mat.quant-gas cond-mat.str-el hep-th quant-ph


title: General-relativistic instability in rapidly accreting supermassive stars: the impact of rotation

abstract: Supermassive stars (SMSs) collapsing via the general-relativistic (GR) instability are invoked as the possible progenitors of supermassive black holes. Their mass and angular momentum at the onset of the instability are key in many respects, in particular regarding the possibility for observational signatures of direct collapse. Here, we study the stability of rotating, rapidly accreting SMSs against GR and derive the properties of these stars at death. On the basis of hylotropic structures, relevant for rapidly accreting SMSs, we define rotation profiles under the assumption of local angular momentum conservation in radiative regions, which allows for differential rotation. We find that rotation favours the stability of rapidly accreting SMSs as soon as the accreted angular momentum represents a fraction f > 0.1% of the Keplerian angular momentum. For f = 0.3%-0.5% the maximum masses consistent with GR stability are increased by an order of magnitude compared to the non-rotating case. For f = 1%, the GR instability cannot be reached if the stellar mass does not exceed 10^7-10^8 Msun. These results imply that, like in the non-rotating case, the final masses of the progenitors of direct collapse black holes range in distinct intervals depending on the scenario considered: 10^5 Msun < M < 10^6 Msun for primordial atomically cooled haloes; 10^6 Msun < M < 10^9 Msun for metal-rich galaxy mergers. The models suggest that the centrifugal barrier is inefficient to prevent the direct formation of a supermassive black hole at the collapse of a SMS. Moreover, the conditions of galaxy mergers appear as more favorable than those of atomically cooled haloes for detectable gravitational wave emission and ultra-long gamma-ray bursts at black hole formation.


title: DELVE-ing into the Jet: a thin stellar stream on a retrograde orbit at 30 kpc

abstract: We perform a detailed photometric and astrometric analysis of stars in the Jet stream using data from the first data release of the DECam Local Volume Exploration Survey (DELVE) DR1 and \emph{Gaia} EDR3. We discover that the stream extends over $\sim 29 ^{\circ}$ on the sky (increasing the known length by $18^{\circ}$), which is comparable to the kinematically cold Phoenix, ATLAS, and GD-1 streams. Using blue horizontal branch stars, we resolve a distance gradient along the Jet stream of 0.2 kpc/deg, with distances ranging from $D_\odot \sim 27-34$ kpc. We use natural splines to simultaneously fit the stream track, width, and intensity to quantitatively characterize density variations in the Jet stream, including a large gap, and identify substructure off the main track of the stream. Furthermore, we report the first measurement of the proper motion of the Jet stream and find that it is well-aligned with the stream track suggesting the stream has likely not been significantly perturbed perpendicular to the line of sight. Finally, we fit the stream with a dynamical model and find that the stream is on a retrograde orbit, and is well fit by a gravitational potential including the Milky Way and Large Magellanic Cloud. These results indicate the Jet stream is an excellent candidate for future studies with deeper photometry, astrometry, and spectroscopy to study the potential of the Milky Way and probe perturbations from baryonic and dark matter substructure.


title: Cosmic Star-Formation History Measured at 1.4 GHz

abstract: We matched the 1.4 GHz local luminosity functions of star-forming galaxies (SFGs) and active galactic nuclei to the 1.4 GHz differential source counts from $0.25 \ \mu\mathrm{Jy}$ to 25 Jy using combinations of luminosity and density evolution. We present the most robust and complete local far-infrared (FIR)/radio luminosity correlation to date in a volume-limited sample of $\approx 4.3 \times 10^3$ nearby SFGs, finding that it is very tight but distinctly sub-linear: $L_\mathrm{FIR} \propto L_\mathrm{1.4\,GHz}^{0.85}$. If the local FIR/radio correlation does not evolve, the evolving 1.4 GHz luminosity function of SFGs yields the evolving star-formation rate density (SFRD) $\psi (M_\odot \ \mathrm{year}^{-1} \ \mathrm{Mpc}^{-3}$) as a function of time since the big bang. The SFRD measured at 1.4 GHz grows rapidly at early times, peaks at "cosmic noon" when $t \approx 3 \ \mathrm{Gyr}$ and $z \approx 2$, and subsequently decays with an $e$-folding time scale $\tau = 3.2 \ \mathrm{Gyr}$. This evolution is similar to, but somewhat stronger than, SFRD evolution estimated from UV and FIR data.


title: Becoming Good at AI for Good

abstract: AI for good (AI4G) projects involve developing and applying artificial intelligence (AI) based solutions to further goals in areas such as sustainability, health, humanitarian aid, and social justice. Developing and deploying such solutions must be done in collaboration with partners who are experts in the domain in question and who already have experience in making progress towards such goals. Based on our experiences, we detail the different aspects of this type of collaboration broken down into four high-level categories: communication, data, modeling, and impact, and distill eleven takeaways to guide such projects in the future. We briefly describe two case studies to illustrate how some of these takeaways were applied in practice during our past collaborations.


title: Active Learning of Sequential Transducers with Side Information about the Domain

abstract: Active learning is a setting in which a student queries a teacher, through membership and equivalence queries, in order to learn a language. Performance on these algorithms is often measured in the number of queries required to learn a target, with an emphasis on costly equivalence queries. In graybox learning, the learning process is accelerated by foreknowledge of some information on the target. Here, we consider graybox active learning of subsequential string transducers, where a regular overapproximation of the domain is known by the student. We show that there exists an algorithm using string equation solvers that uses this knowledge to learn subsequential string transducers with a better guarantee on the required number of equivalence queries than classical active learning.


title: Homogeneous study of Herbig Ae/Be stars from spectral energy distributions and Gaia EDR3

abstract: (Abridged) Herbig Ae/Be stars (HAeBes) have so far been studied based on relatively small samples that are scattered throughout the sky. Their fundamental stellar and circumstellar parameters and statistical properties were derived with heterogeneous approaches before Gaia. Our main goal is to contribute to the study of HAeBes from the largest sample of such sources to date, for which stellar and circumstellar properties have been determined homogeneously from the analysis of the spectral energy distributions (SEDs) and Gaia EDR3 parallaxes and photometry. Multiwavelength photometry was compiled for 209 bona fide HAeBes for which Gaia EDR3 distances were estimated. Using the Virtual Observatory SED Analyser (VOSA), photospheric models were fit to the optical SEDs to derive stellar parameters, and the excesses at infrared (IR) and longer wavelengths were characterized to derive several circumstellar properties. The stellar temperature, luminosity, radius, mass, and age were derived for each star based on optical photometry. In addition, their IR SEDs were classified according to two different schemes, and their mass accretion rates, disk masses, and the sizes of the inner dust holes were also estimated uniformly. The initial mass function fits the stellar mass distribution of the sample within 2 < M_star/M_sun < 12. In this aspect, the sample is therefore representative of the HAeBe regime and can be used for statistical purposes when it is taken into account that the boundaries are not well probed. A statistical analysis was carried out mainly focused on the different circumstellar properties of Herbig Ae (HAe) and Be (HBe) stars. The complete dataset is available online through a Virtual Observatory-compliant archive, representing the most recent reference for statistical studies on the HAeBe regime.


title: DeepCAT: Deep Category Representation for Query Understanding in E-commerce Search

abstract: Mapping a search query to a set of relevant categories in the product taxonomy is a significant challenge in e-commerce search for two reasons: 1) Training data exhibits severe class imbalance problem due to biased click behavior, and 2) queries with little customer feedback (e.g., tail queries) are not well-represented in the training set, and cause difficulties for query understanding. To address these problems, we propose a deep learning model, DeepCAT, which learns joint word-category representations to enhance the query understanding process. We believe learning category interactions helps to improve the performance of category mapping on minority classes, tail and torso queries. DeepCAT contains a novel word-category representation model that trains the category representations based on word-category co-occurrences in the training set. The category representation is then leveraged to introduce a new loss function to estimate the category-category co-occurrences for refining joint word-category embeddings. To demonstrate our model's effectiveness on minority categories and tail queries, we conduct two sets of experiments. The results show that DeepCAT reaches a 10% improvement on minority classes and a 7.1% improvement on tail queries over a state-of-the-art label embedding model. Our findings suggest a promising direction for improving e-commerce search by semantic modeling of taxonomy hierarchies.


title: Towards Trustworthy Deception Detection: Benchmarking Model Robustness across Domains, Modalities, and Languages

abstract: Evaluating model robustness is critical when developing trustworthy models not only to gain deeper understanding of model behavior, strengths, and weaknesses, but also to develop future models that are generalizable and robust across expected environments a model may encounter in deployment. In this paper we present a framework for measuring model robustness for an important but difficult text classification task - deceptive news detection. We evaluate model robustness to out-of-domain data, modality-specific features, and languages other than English. Our investigation focuses on three type of models: LSTM models trained on multiple datasets(Cross-Domain), several fusion LSTM models trained with images and text and evaluated with three state-of-the-art embeddings, BERT ELMo, and GloVe (Cross-Modality), and character-level CNN models trained on multiple languages (Cross-Language). Our analyses reveal a significant drop in performance when testing neural models on out-of-domain data and non-English languages that may be mitigated using diverse training data. We find that with additional image content as input, ELMo embeddings yield significantly fewer errors compared to BERT orGLoVe. Most importantly, this work not only carefully analyzes deception model robustness but also provides a framework of these analyses that can be applied to new models or extended datasets in the future.


title: 3-phonon scattering pathways for vibrational energy transfer in crystalline RDX

abstract: A long-held belief is that shock energy induces initiation of an energetic material through an indirect energy up-pumping mechanism involving phonon scattering through doorway modes. In this paper, a 3-phonon theoretical analysis of energy up-pumping in RDX is presented that involves both direct and indirect pathways where the direct energy transfer dominates. The calculation considers individual phonon modes which are then analyzed in bands. Scattering is handled up to the third order term in the Hamiltonian based on Fermi's Golden Rule. On average, modes with frequencies up to 90 cm-1 scatter quickly and redistribute the energy to all the modes. This direct stimulation occurs rapidly, within 0.16 ps, and involves distortions to NN bonds. Modes from 90 to 1839 cm-1 further up-pump the energy to NN bond distortion modes through an indirect route within 5.6 ps. The highest frequency modes have the lowest contribution to energy transfer due to their lower participation in phonon-phonon scattering. The modes stimulated directly by the shock with frequencies up to 90 cm-1 are estimated to account for 52 to 89\% of the total energy transfer to various NN bond distorting modes.


title: Leveraging Sharing Communities to Achieve Federated Learning for Cybersecurity

abstract: Automated cyber threat detection in computer networks is a major challenge in cybersecurity. The cyber domain has inherent challenges that make traditional machine learning techniques problematic, specifically the need to learn continually evolving attacks through global collaboration while maintaining data privacy, and the varying resources available to network owners. We present a scheme to mitigate these difficulties through an architectural approach using community model sharing with a streaming analytic pipeline. Our streaming approach trains models incrementally as each log record is processed, thereby adjusting to concept drift resulting from changing attacks. Further, we designed a community sharing approach which federates learning through merging models without the need to share sensitive cyber-log data. Finally, by standardizing data and Machine Learning processes in a modular way, we provide network security operators the ability to manage cyber threat events and model sensitivity through community member and analytic method weighting in ways that are best suited for their available resources and data.


title: Spitzer Mid-infrared Study of Sh 2-208: Evolution of Protoplanetary Disks in Low-metallicity Environments

abstract: This study presents sensitive MIR photometry obtained with the Spitzer/IRAC for a young cluster in Sh 2-208 (S208) located in one of the lowest-metallicity HII regions in the Galaxy, ${\rm [O/H]} = -0.8$ dex. Previous studies suggested that the cluster is $\sim$0.5-Myr old and has a distance of $D = 4$ kpc, which is consistent with the astrometric distance from Gaia EDR3. In $\sim$$3.5 \times 4$-arcmin field, 96 sources were detected in at least one MIR band at $\ge$10$\sigma$, covering intermediate-mass stars with $\sim$1.0-$M_\odot$ mass detection limit. Total 41 probable cluster members were identified based on the spatial distributions of spectral-energy-distribution slopes derived from the NIR $K_S$ and IRAC bands and extinctions of the sources. The cumulative distribution of the SED slopes for the S208 cluster was not significantly different from those of other clusters in solar-metallicity environments with approximately the same age for intermediate-mass stars, if one also considers non-detected MIR sources identified as S208 cluster members from NIR observations. This suggests that the degree of dust growth/settling does not significantly change with metallicities as different as $\sim$1 dex. The fraction of stars with MIR disk emissions for the cluster members with $\ge$1-$M_\odot$ mass was 64%-93%, which is comparable to the results in solar-metallicity environments. Although this may suggest that dominant disk-dispersal mechanisms for intermediate-mass stars have either no, or very weak, dependence on metallicity, it can be argued alternatively that this may suggest that the disk dispersal process does not work effectively at this young stage.


title: Helicity Evolution at Small $x$: the Single-Logarithmic Contribution

abstract: We calculate single-logarithmic corrections to the small-$x$ flavor-singlet helicity evolution equations derived recently in the double-logarithmic approximation. The new single-logarithmic part of the evolution kernel sums up powers of $\alpha_s \ln(1/x)$, which are an important correction to the dominant powers of $\alpha_s \ln^2(1/x)$ summed up by the double-logarithmic kernel at small values of Bjorken $x$ and with $\alpha_s$ the strong coupling constant. The single-logarithmic terms arise separately from either the longitudinal or transverse momentum integrals. Consequently, the evolution equations we derive employing the light-cone perturbation theory simultaneously include the small-$x$ evolution kernel and the leading-order polarized DGLAP splitting functions. We further enhance the equations by calculating the running coupling corrections to the kernel.


title: A very short guide to IOI: A general framework for statistical inference summarised

abstract: Integrated organic inference (IOI) is discussed in a concise and informal way with the aim that the reader is given the gist of what this approach to statistical inference is about as well as given pointers to further reading.


title: Comparing Mutation Coverage Against Branch Coverage in an Industrial Setting

abstract: The state-of-the-practice in software development is driven by constant change fueled by continuous integration servers. Such constant change demands for frequent and fully automated tests capable to detect faults immediately upon project build. As the fault detection capability of the test suite becomes so important, modern software development teams continuously monitor the quality of the test suite as well. However, it appears that the state-of-the-practice is reluctant to adopt strong coverage metrics (namely mutation coverage), instead relying on weaker kinds of coverage (namely branch coverage). In this paper, we investigate three reasons that prohibit the adoption of mutation coverage in a continuous integration setting: (1) the difficulty of its integration into the build system, (2) the perception that branch coverage is "good enough", and (3) the performance overhead during the build. Our investigation is based on a case study involving four open source systems and one industrial system. We demonstrate that mutation coverage reveals additional weaknesses in the test suite compared to branch coverage and that it is able to do so with an acceptable performance overhead during project build.


title: Estimating Future VaR from Value Samples and Applications to Future Initial Margin

abstract: Predicting future values at risk (fVaR) is an important problem in finance. They arise in the modelling of future initial margin requirements for counterparty credit risk and future market risk VaR. One is also interested in derived quantities such as: i) Dynamic Initial Margin (DIM) and Margin Value Adjustment (MVA) in the counterparty risk context; and ii) risk weighted assets (RWA) and Capital Value Adjustment (KVA) for market risk. This paper describes several methods that can be used to predict fVaRs. We begin with the Nested MC-empirical quantile method as benchmark, but it is too computationally intensive for routine use. We review several known methods and discuss their novel applications to the problem at hand. The techniques considered include computing percentiles from distributions (Normal and Johnson) that were matched to parametric moments or percentile estimates, quantile regressions methods, and others with more specific assumptions or requirements. We also consider how limited inner simulations can be used to improve the performance of these techniques. The paper also provides illustrations, results, and visualizations of intermediate and final results for the various approaches and methods.


title: Fine and hyperfine interactions in $^{171}$YbOH and $^{173}$YbOH

abstract: The odd isotopologues of ytterbium monohydroxide, $^{171,173}$YbOH, have been identified as promising molecules in which to measure parity (P) and time reversal (T) violating physics. Here we characterize the $\tilde{A}^{2}\Pi_{1/2}(0,0,0)-\tilde{X}^2\Sigma^+(0,0,0)$ band near 577 nm for these odd isotopologues. Both laser-induced fluorescence (LIF) excitation spectra of a supersonic molecular beam sample and absorption spectra of a cryogenic buffer-gas cooled sample were recorded. Additionally, a novel spectroscopic technique based on laser-enhanced chemical reactions is demonstrated and utilized in the absorption measurements. This technique is especially powerful for disentangling congested spectra. An effective Hamiltonian model is used to extract the fine and hyperfine parameters for the $\tilde{A}^{2}\Pi_{1/2}(0,0,0)$ and $\tilde{X}^2\Sigma^+(0,0,0)$ states. A comparison of the determined $\tilde{X}^2\Sigma^+(0,0,0)$ hyperfine parameters with recently predicted values (M. Denis, et al., J. Chem. Phys. $\bf{152}$, 084303 (2020), K. Gaul and R. Berger, Phys. Rev. A $\bf{101}$, 012508 (2020), J. Liu et al., J. Chem. Phys. $\bf{154}$, 064110 (2021)) is made. The measured hyperfine parameters provide experimental confirmation of the computational methods used to compute the P,T-violating coupling constants $W_d$ and $W_M$, which correlate P,T-violating physics to P,T-violating energy shifts in the molecule. The dependence of the fine and hyperfine parameters of the $\tilde{A}^{2}\Pi_{1/2}(0,0,0)$ and $\tilde{X}^2\Sigma^+(0,0,0)$ states for all isotopologues of YbOH are discussed and a comparison to isoelectronic YbF is made.


title: BRITE observations of $\nu$ Centauri and $\gamma$ Lupi, the first non-eclipsing members of the new class of nascent binaries

abstract: Results of an analysis of the BRITE-Constellation and SMEI photometry and radial-velocity observations, archival and new, of two single-lined spectroscopic binary systems $\nu$ Centauri and $\gamma$ Lupi are reported. In the case of $\gamma$ Lup AB, a visual binary, an examination of the light-time effect shows that component A is the spectroscopic binary. Both $\nu$ Cen and $\gamma$ Lup exhibit light variations with the orbital period. The variations are caused by the reflection effect, i.e. heating of the secondary's hemisphere by the early-B main sequence (MS) primary component's light. The modelling of the light curves augmented with the fundamental parameters of the primary components obtained from the literature photometric data and Hipparcos parallaxes, shows that the secondary components are pre-MS stars, in the process of contracting onto the MS. $\nu$ Cen and $\gamma$ Lup A are thus found to be non-eclipsing counterparts of the B2 IV eclipsing binary (and a $\beta$ Cephei variable) 16 (EN) Lac, the B5 IV eclipsing binary (and an SPB variable) $\mu$ Eri, and the recently discovered LMC nascent eclipsing binaries.


title: Quantitative Gromov Compactness

abstract: We establish a quantitative version of the Gromov compactness theorem for closed genus 0 pseudoholomorphic curves in the setting of a tamed almost complex manifold with bounded geometry.


title: Using Satellite Imagery and Deep Learning to Evaluate the Impact of Anti-Poverty Programs

abstract: The rigorous evaluation of anti-poverty programs is key to the fight against global poverty. Traditional evaluation approaches rely heavily on repeated in-person field surveys to measure changes in economic well-being and thus program effects. However, this is known to be costly, time-consuming, and often logistically challenging. Here we provide the first evidence that we can conduct such program evaluations based solely on high-resolution satellite imagery and deep learning methods. Our application estimates changes in household welfare in the context of a recent anti-poverty program in rural Kenya. The approach we use is based on a large literature documenting a reliable relationship between housing quality and household wealth. We infer changes in household wealth based on satellite-derived changes in housing quality and obtain consistent results with the traditional field-survey based approach. Our approach can be used to obtain inexpensive and timely insights on program effectiveness in international development programs.


title: Electrochemistry, Ion Adsorption and Dynamics in the Double Layer: A Study of NaCl(aq) on Graphite

abstract: Graphite is a ubiquitous electrode material with particular promise for use in e.g., energy storage and desalination devices, but very little is known about the properties of the graphite-electrolyte double layer at technologically relevant concentrations. Here, the (electrified) graphite-NaCl(aq) interface was examined using constant chemical potential molecular dynamics simulations; this approach avoids ion depletion (due to surface adsorption) and maintains a constant concentration of ions beyond the surface. Specific Na+ adsorption at the graphite basal surface causes charging of the interface in the absence of an applied potential. At moderate bulk concentrations, this leads to accumulation of counter-ions in a diffuse layer to balance the effective surface charge, consistent with established models of the electrical double layer (DL). Beyond 0.6 M, however, a combination of over-screening and ion crowding in the DL results in alternating compact layers of ion density perpendicular to the interface. The transition to this regime is marked by an increasing DL size and anomalous negative shifts to the potential of zero charge with incremental changes to the bulk concentration. Our observations are supported by changes to the position of the differential capacitance minimum measured by electrochemical impedance spectroscopy. Furthermore, a striking level of agreement between the differential capacitance from simulations and experiments allows us to critically assess the accepted norm that electrochemical capacitance measurements report simply on the density of states of the graphite material. Finally, ion crowding at the highest concentrations (beyond 5 M) leads to the formation of liquid-like NaCl clusters confined to highly non-ideal regions of the double layer, where ion diffusion is up to five times slower than in the bulk.


title: White dwarfs and generalized uncertainty principle

abstract: This work is motivated by the sign problem in a logarithmic parameter of black hole entropy and the existing more massive white dwarfs than the Chandrasekhar mass limit. We examine the quadratic, linear, and linear-quadratic generalized uncertainty principle (GUP) models within the virtue of recent masses and radii of white dwarfs. We consider the modification generated by introducing the minimal length proposal on the degenerate Fermi gas equation of state (EOS) and on the hydrostatic equation. For the latter, we applied Verlinde's proposal regarding entropic gravity to derived the quantum corrected Newtonian gravity which in turn responsible for modifying the hydrostatic equation. Through the chi-square analysis of the models, we have found that the observation data favor the quadratic dan linear GUP models without mass limit. However, for the quadratic-linear GUP model, we can obtain the positive value of the free parameter $\gamma_0$ as well as we can get mass limit more massive than the Chandrasekhar mass limit. In the linear-quadratic GUP model, the formation of stable massive white dwarfs than the Chandrasekhar limit is possible only if both parameters are not equal.


title: Adaptive Feedback Regulator for Powered Lower-Limb Exoskeleton under Model Uncertainty

abstract: This paper presents a neural network (NN) based adaptive feedback regulator to ensure the lateral and longitudinal stability and regulate the desired walking velocity of a lower-limb exoskeleton under model uncertainty. The traditional model-based controllers for lower-limb exoskeletons often fail to stabilize the robot or accurately track the desired behaviors under model uncertainties or external disturbances. This paper proposes a neural network (NN) based online adaptive regulator that compensates for the unknown changes in model parameters and external disturbances by modifying the nominal joint trajectory. A gradient descent-based delta rule is implemented to update the weights of a single layer NN, which can be efficiently performed online by design. We demonstrate the performance of the presented regulator on ATALANTE, a fully actuated lower limb exoskeleton designed for paraplegic patients. The simulation results show that the proposed approach noticeably improves stability and the tracking performance of the system, despite significant changes in model parameters and large adversarial pushes.


title: UnrealROX+: An Improved Tool for Acquiring Synthetic Data from Virtual 3D Environments

abstract: Synthetic data generation has become essential in last years for feeding data-driven algorithms, which surpassed traditional techniques performance in almost every computer vision problem. Gathering and labelling the amount of data needed for these data-hungry models in the real world may become unfeasible and error-prone, while synthetic data give us the possibility of generating huge amounts of data with pixel-perfect annotations. However, most synthetic datasets lack from enough realism in their rendered images. In that context UnrealROX generation tool was presented in 2019, allowing to generate highly realistic data, at high resolutions and framerates, with an efficient pipeline based on Unreal Engine, a cutting-edge videogame engine. UnrealROX enabled robotic vision researchers to generate realistic and visually plausible data with full ground truth for a wide variety of problems such as class and instance semantic segmentation, object detection, depth estimation, visual grasping, and navigation. Nevertheless, its workflow was very tied to generate image sequences from a robotic on-board camera, making hard to generate data for other purposes. In this work, we present UnrealROX+, an improved version of UnrealROX where its decoupled and easy-to-use data acquisition system allows to quickly design and generate data in a much more flexible and customizable way. Moreover, it is packaged as an Unreal plug-in, which makes it more comfortable to use with already existing Unreal projects, and it also includes new features such as generating albedo or a Python API for interacting with the virtual environment from Deep Learning frameworks.


title: Viscous control of minimum uncertainty state in hydrodynamics

abstract: A minimum uncertainty state for position and momentum of a fluid element is obtained. We consider a general fluid described by the Navier-Stokes-Korteweg (NSK) equation, which reproduces the behaviors of a standard viscous fluid, a fluid with the capillary action and a quantum fluid, with the proper choice of parameters. When the parameters of the NSK equation is adjusted to reproduce Madelung's hydrodynamic representation of the Schreodinger equation, the uncertainty relation of a fluid element reproduces the Kennard and the Robertson-Schreodinger inequalities in quantum mechanics. The derived minimum uncertainty state is the generalization of the coherent state and its uncertainty is given by a function of the shear viscosity. The viscous uncertainty can be smaller than the inviscid minimum value when the shear viscosity is smaller than a critical value which is similar in magnitude to the Kovtun-Son-Starinets (KSS) bound. This uncertainty reflects the information of the fluctuating microscopic degrees of freedom in the fluid and will modify the standard hydrodynamic scenario, for example, in heavy-ion collisions.


title: Gaia astrometric and photometric study of open clusters (Dolidze 18 & Ruprecht 70)

abstract: Here, we conducted a photometric and astrometric study of two open stellar clusters Dolidze-18 and Ruprecht-70, which have not been photometrically studied before. The most important thing for using Gaia (DR2) database lies in the positions, parallax, and proper motions, which make us split cluster members from the field ones and get precise astrophysical parameters. On studying the radial density profiles of these clusters, the actual sizes are estimated and found larger using Gaia. From the color-magnitude diagrams and theoretical isochrones, we simultaneously determined the ages, distance moduli, and reddening of the two clusters. However, considering the parallaxes of Gaia (DR2) for the cluster members, we calculated the cluster distance and confirmed what we obtained from the color-magnitude diagram. Then, the Cartesian galactocentric coordinates (Xo, Yo, Zo), and the distances from the galactic center (Rg) were also estimated. According to the luminosity and mass functions, the total luminosity and total mass of the clusters are estimated. Our study shows that Ruprecht-70 is recently dynamically relaxed, while Dolidze 18 is not relaxed yet.


title: Measuring two photon exchange in elastic nuclear scattering with $e^+/e^-$ charge asymmetries

abstract: Measurements of nuclear $\beta$-decay are commonly used to extract elements of the quark-mixing Cabibbo-Kobayashi-Maskawa (CKM) matrix. The precision of these measurements is currently limited by theoretical uncertainties in electroweak radiative corrections (EWRC) arising from so-called box diagrams, which involve the exchange of two gauge bosons. Two photon exchange (TPE) is the most experimentally accessible of such processes, making it a natural choice for providing constraints on the theoretical frameworks used for calculating EWRC. The cross section asymmetry between elastic $e^+/e^-$ scattering is directly sensitive to this, as the TPE contribution to the cross section has opposite sign for electrons and positrons. While charge asymmetry measurements have been performed on proton targets, no such data exists for nuclear targets. Proposed here is a measurement of the $e^+/e^-$ charge asymmetry on various nuclei relevant to $\beta$-decay measurements used for CKM matrix extraction. Determining the size of TPE through these processes can provide important constraints on EWRC.


title: Poisson bracket operator

abstract: We introduce the Poisson bracket operator which is an alternative quantum counterpart of the Poisson bracket. This operator is defined using the operator derivative formulated in quantum analysis and is equivalent to the Poisson bracket in the classical limit. Using this, we derive the quantum canonical equation which describes the time evolution of operators. In the standard applications of quantum mechanics, the quantum canonical equation is equivalent to the Heisenberg equation. At the same time, this equation is applicable to c-number canonical variables and then coincides with the canonical equation in classical mechanics. Therefore the Poisson bracket operator enables us to describe classical and quantum behaviors in a unified way. Moreover, the quantum canonical equation is applicable to non-standard system where the Heisenberg equation is not defined. As an example, we consider the application to the system where a c-number and a q-number particles coexist. The derived dynamics satisfies the Ehrenfest theorem and the energy and momentum conservations.


title: Further support for a trio of mass-to-light deviations in Abell 370: free-form Grale lens inversion using BUFFALO strong lensing data

abstract: We use the Beyond Ultra-deep Frontier Fields and Legacy Observations (BUFFALO) strong lensing image catalog of the merging galaxy cluster Abell 370 to obtain a mass model using the free-form lens inversion algorithm GRALE. The improvement of the strong lensing data quality results in a lens plane rms of only 0.45 arcsec, about a factor of two lower than that of our existing HFF v4 reconstruction. We attribute the improvement to spectroscopic data and use of the full reprocessed HST mosaics. In our reconstructed mass model, we found indications of three distinct mass features in Abell 370: (i) a $\sim 35$ kpc offset between the northern BCG and the nearest mass peak, (ii) a $\sim 100$ kpc mass concentration of roughly critical density $\sim 250$ kpc east of the main cluster, and (iii) a probable filament-like structure passing N-S through the cluster. While (i) is present in some form in most publicly available reconstructions spanning the range of modeling techniques: parametric, hybrid, and free-form, (ii) and (iii) are recovered by only about half of the reconstructions. We tested our hypothesis on the presence of the filament-like structure by creating a synthetic cluster - Irtysh IIIc - mocking the situation of a cluster with external mass. We also computed the source plane magnification distributions. Using them we estimated the probabilities of magnifications in the source plane, and scrutinized their redshift dependence. Finally, we explored the lensing effects of Abell 370 on the luminosity functions of sources at $z_s=9.0$, finding it consistent with published results.


title: Teleparallel gravity: Effects of torsion in 6D braneworlds

abstract: Braneworld models are interesting theoretical and phenomenological frameworks to search for new physics beyond the standard model of particles and cosmology. In this work, we discuss braneworld models whose gravitational dynamics are governed by teleparallel $f(T)$ gravities. Here, we emphasize a codimension two axisymmetric model, also known as a string-like brane. Likewise, in the 5D domain-walls models, the $f(T)$ gravitational modification leads to a phase transition on the perfect fluid source providing a brane-splitting mechanism. Furthermore, the torsion changes the gravitational perturbations. The torsion produces new potential wells inside the brane core leading to a massless mode more localized around the ring structures. In addition, the torsion keeps a gapless non-localizable and a stable tower of massive modes in the bulk.


title: Form 10-Q Itemization

abstract: The quarterly financial statement, or Form 10-Q, is one of the most frequently required filings for US public companies to disclose financial and other important business information. Due to the massive volume of 10-Q filings and the enormous variations in the reporting format, it has been a long-standing challenge to retrieve item-specific information from 10-Q filings that lack machine-readable hierarchy. This paper presents a solution for itemizing 10-Q files by complementing a rule-based algorithm with a Convolutional Neural Network (CNN) image classifier. This solution demonstrates a pipeline that can be generalized to a rapid data retrieval solution among a large volume of textual data using only typographic items. The extracted textual data can be used as unlabeled content-specific data to train transformer models (e.g., BERT) or fit into various field-focus natural language processing (NLP) applications.


title: Polarization-orbital angular momentum duality assisted entanglement observation for indistinguishable photons

abstract: Duality in the entanglement of identical particles manifests that entanglement in only one variable can be revealed at a time. We demonstrate this using polarization and orbital angular momentum (OAM) variables of indistinguishable photons generated from parametric down conversion. We show polarization entanglement by sorting photons in even and odd OAM basis, while sorting them in two orthogonal polarization modes reveals the OAM entanglement. The duality assisted observation of entanglement can be used as a verification for the preservation of quantum indistinguishability over communication channels. Indistinguishable photons entangled in complementary variables could also evoke interest in distributed quantum sensing protocols and remote entanglement generation.


title: On the Role of Sensor Fusion for Object Detection in Future Vehicular Networks

abstract: Fully autonomous driving systems require fast detection and recognition of sensitive objects in the environment. In this context, intelligent vehicles should share their sensor data with computing platforms and/or other vehicles, to detect objects beyond their own sensors' fields of view. However, the resulting huge volumes of data to be exchanged can be challenging to handle for standard communication technologies. In this paper, we evaluate how using a combination of different sensors affects the detection of the environment in which the vehicles move and operate. The final objective is to identify the optimal setup that would minimize the amount of data to be distributed over the channel, with negligible degradation in terms of object detection accuracy. To this aim, we extend an already available object detection algorithm so that it can consider, as an input, camera images, LiDAR point clouds, or a combination of the two, and compare the accuracy performance of the different approaches using two realistic datasets. Our results show that, although sensor fusion always achieves more accurate detections, LiDAR only inputs can obtain similar results for large objects while mitigating the burden on the channel.


title: Coherent Control of Ultrafast Bond Making and Subsequent Molecular Dynamics: Demonstration of Final-State Branching Ratio Control

abstract: Quantum coherent control of ultrafast bond making and the subsequent molecular dynamics is crucial for the realization of a new photochemistry, where a shaped laser field is actively driving the chemical system in a coherent way from the thermal initial state of the reactants to the final state of the desired products. We demonstrate here coherent control over the relative yields of Mg$_2$ molecules that are generated via photoassociation and subsequently photodriven into different groups of final states. The strong-field process involves non-resonant multiphoton femtosecond photoassociation of a pair of thermally hot magnesium atoms into a bound Mg$_{2}$ molecule and subsequent molecular dynamics on electronically excited states. The branching-ratio control is achieved with linearly chirped laser pulses, utilizing the different chirp dependence that various groups of final molecular states display for their post-pulse population. Our study establishes the feasibility of high degree coherent control over quantum molecular dynamics that is initiated by femtosecond photoassociation of thermal atoms.


title: MigCast in Monte Carlo: The Impact of Data Model Evolution in NoSQL Databases

abstract: During the development of NoSQL-backed software, the data model evolves naturally alongside the application code. Especially in agile development, new application releases are deployed frequently causing schema changes. Eventually, decisions have to be made regarding the migration of versioned legacy data which is persisted in the cloud-hosted production database. We solve this schema evolution problem and present the results of near-exhaustive calculations by means of which software project stakeholders can manage the operative costs for data model evolution and adapt their software release strategy accordingly in order to comply with service-level agreements regarding the competing metrics of migration costs and latency. We clarify conclusively how data model evolution in NoSQL databases impacts the metrics while taking all relevant characteristics of migration scenarios into account. As calculating all possible combinatorics in the search space of migration scenarios would by far exceed computational means, we used a probabilistic Monte Carlo method of repeated sampling, serving as a well-established means to bring the complexity of data model evolution under control. Our experiments show the qualitative and quantitative impact on the performance of migration strategies with respect to intensity and distribution of data entity accesses, the kinds of schema changes, and the characteristics of the underlying data model.


title: Lower Bound on the Size-Ramsey Number of Tight Paths

abstract: The size-Ramsey number $R^{(k)}(H)$ of a $k$-uniform hypergraph $H$ is the minimum number of edges in a $k$-uniform hypergraph $G$ with the property that every `$2$-edge coloring' of $G$ contains a monochromatic copy of $H$. For $k\ge2$ and $n\in\mathbb{N}$, a $k$-uniform tight path on $n$ vertices $P^{(k)}_{n}$ is defined as a $k$-uniform hypergraph on $n$ vertices for which there is an ordering of its vertices such that the edges are all sets of $k$ consecutive vertices with respect to this order. We prove a lower bound on the size-Ramsey number of $k$-uniform tight paths, which is, considered assymptotically in both the uniformity $k$ and the number of vertices $n$, $R^{(k)}(P^{(k)}_{n})= \Omega\big(\log (k)n\big)$.


title: Real-time Fault Estimation for a Class of Discrete-Time Linear Parameter-Varying Systems

abstract: Estimating and detecting faults is crucial in ensuring safe and efficient automated systems. In the presence of disturbances, noise or varying system dynamics, such estimation is even more challenging. To address this challenge, this article proposes a novel filter to estimate multiple fault signals for a class of discrete-time linear parameter-varying (LPV) systems. The design of such a filter is formulated as an optimization problem and is solved recursively, while the system dynamics may vary over time. Conditions for existence and detectability of the fault are introduced and the problem is formulated and solved using the quadratic programming framework. We further propose an approximate scheme that can be arbitrarily precise while it enjoys an analytical solution, which supports real-time implementation. The method is illustrated and validated on an automated vehicle's lateral dynamics, which is a practically relevant example for LPV systems. The results show that the estimation filter can decouple unknown disturbances and known or measurable parameter variations in the dynamics while estimating the unknown fault.


title: Anomaly Detection from Cyber Threats via Infrastructure to Automated Vehicle

abstract: Using Infrastructure-to-Vehicle (I2V) information can be of great benefit when driving autonomously in high-density traffic situations with limited visibility, since the sensing capabilities of the vehicle are enhanced by external sensors. In this research, a method is introduced to increase the vehicle's self-awareness in intersections for one of the largest foreseen challenges when using I2V communication: cyber security. The introduced anomaly detection algorithm, running on the automated vehicle, assesses the health of the I2V communication against multiple cyber security attacks. The analysis is done in a simulation environment, using cyber-attack scenarios from the Secredas Project (Cyber Security for Cross Domain Reliable Dependable Automated Systems) and provides insights into the limitations the vehicle has when facing I2V cyber attacks of different types and amplitudes and when sensor redundancy is lost. The results demonstrate that anomalies injected can be robustly detected and mitigated by the autonomous vehicle, allowing it to react more safely and comfortably and maintaining correct object tracking in intersections.


title: Fermi surface and mass renormalization in the iron-based superconductor YFe$_2$Ge$_2$

abstract: Quantum oscillation measurements in the new unconventional superconductor YFe$_2$Ge$_2$ resolve all four Fermi surface pockets expected from band structure calculations, which predict an electron pocket in the Brillouin zone corner and three hole pockets enveloping the centers of the top and bottom of the Brillouin zone. The carrier masses are uniformly renormalized by about a factor of five and broadly account for the enhanced heat capacity Sommerfeld coefficient $\simeq 100$ mJ/molK$^2$. Our data highlight the key role of the electron pocket, which despite its small volume accounts for about half the total density of states, and point towards a predominantly local mechanism underlying the mass renormalization in YFe$_2$Ge$_2$.


title: Investigating the Thixotropic Behaviour of Tremie Concrete Using the Slump-flow Test and the Material Point Method

abstract: A new thixotropic model is developed integrating the Papanastasiou-Bingham model with thixotropy equations to simulate the flow behaviour of Tremie Concrete in the Material Point Method framework. The effect of thixotropy on the rheological behaviour of fresh concrete is investigated by comparing field measurements with numerical simulations. The comparison yields new insights into a critical and often overlooked behaviour of concrete. A parametric study is performed to understand the effect of model parameters and rest-time on the shear stress response of fresh concrete. The Material Point Method with the Papanastasiou-Bingham model reproduces slump-flow measurements observed in the field. The novel model revealed a decline in concrete workability during the Slump-flow test after a period of rest due to thixotropy, which the physical version of the test fails to capture. This reduction in workability significantly affects the flow behaviour and the effective use of fresh concrete in construction operation.


title: A PMUT Integrated Microfluidic System for Fluid Density Sensing

abstract: We demonstrate the design, fabrication and use of a dual electrode PMUT (Piezoelectric Micromachined Ultrasound Transducer) integrated with a microfluidic channel as a fluid density sensor in both static and dynamic density-change conditions. The dual electrode configuration makes the PMUT resonator a self-contained resonant peak-shift sensor and the microfluidic integration makes this system a versatile fluid density sensing platform that can be used with extremely low volumes of fluids in various industrial and healthcare applications. The density measurements carried out here under flowing fluid conditions demonstrate the potential of this system as a real-time fluid density monitoring system. We include results of density measurements in the range of 1020 - 1090 kg/m3 that corresponds to the human blood density variation generally due to the change in its hemoglobin content. The sensitivity of the sensor-26.3 Hz/(kg/m3)-is good enough to reliably detect even 1% change in the hemoglobin content of the human blood. Thus, this system could potentially be used also as a hemoglobin measurement sensor in healthcare applications.


title: Some remarks on Heath-Brown's theorem on quadratic forms

abstract: In his paper from 1996 on quadratic forms Heath-Brown developed a version of circle method to count points in the intersection of an unbounded quadric with a lattice of short period, if each point is given a weight. The weight function is assumed to be $C_0^\infty$-smooth and to vanish near the singularity of the quadric. In out work we allow the weight function to be finitely smooth and not vanish near the singularity, and we give also an explicit dependence on the weight function.


title: Blue Shifts in Helium-Surface Bound-State Resonances and Quantum Effects in Knudsen Scattering

abstract: The scattering of gas from surfaces underpins technologies in fields such as gas permeation, heterogeneous catalysis and chemical vapour deposition. The effect of surface defects on the scattering is key in such technologies, but is still poorly understood. It is known empirically that unordered surfaces result-in Knudsen, random-angle, scattering, with the effect thought to be classical. We here demonstrate the transition from quantum mechanical diffraction to an apparent Knudsen scattering, and show that quantum bound-state resonances can greatly affect this transition. Further, we find that randomly distributed defects induce a blue-shift in the bound-state energies. We explore this phenomena, which can lay the basis for helium based quantum metrology of defects in 2D materials and material surfaces.


title: Steady-state squeezing transfer in hybrid optomechanics

abstract: A hybrid scheme is presented that allows the transfer of squeezed states (TSS) from the mechanical part to an optical cavity in the steady-state. In a standard optomechanical scheme, a three-level atom acts as an intermediate element for TSS. Two different procedures are developed that allow the visualization of the TSS effect: In the first one, we apply a coherent pump of squeezed phonons in our hybrid system, and the second method is achieved by placing the system in contact with a phonon squeezed bath. Our model and procedures show that in optomechanical systems TSS can be achieved with a high fidelity.


title: Ensembles of GANs for synthetic training data generation

abstract: Insufficient training data is a major bottleneck for most deep learning practices, not least in medical imaging where data is difficult to collect and publicly available datasets are scarce due to ethics and privacy. This work investigates the use of synthetic images, created by generative adversarial networks (GANs), as the only source of training data. We demonstrate that for this application, it is of great importance to make use of multiple GANs to improve the diversity of the generated data, i.e. to sufficiently cover the data distribution. While a single GAN can generate seemingly diverse image content, training on this data in most cases lead to severe over-fitting. We test the impact of ensembled GANs on synthetic 2D data as well as common image datasets (SVHN and CIFAR-10), and using both DCGANs and progressively growing GANs. As a specific use case, we focus on synthesizing digital pathology patches to provide anonymized training data.


title: Realising Active Inference in Variational Message Passing: the Outcome-blind Certainty Seeker

abstract: Active inference is a state-of-the-art framework in neuroscience that offers a unified theory of brain function. It is also proposed as a framework for planning in AI. Unfortunately, the complex mathematics required to create new models -- can impede application of active inference in neuroscience and AI research. This paper addresses this problem by providing a complete mathematical treatment of the active inference framework -- in discrete time and state spaces -- and the derivation of the update equations for any new model. We leverage the theoretical connection between active inference and variational message passing as describe by John Winn and Christopher M. Bishop in 2005. Since, variational message passing is a well-defined methodology for deriving Bayesian belief update equations, this paper opens the door to advanced generative models for active inference. We show that using a fully factorized variational distribution simplifies the expected free energy -- that furnishes priors over policies -- so that agents seek unambiguous states. Finally, we consider future extensions that support deep tree searches for sequential policy optimisation -- based upon structure learning and belief propagation.


title: A shifted Berenstein-Kirillov group and the cactus group

abstract: The Bender-Knuth involutions on semistandard Young tableaux are known to coincide with the tableau switching on horizontal border strips of two adjacent letters, together with the swapping of those letters. Motivated by this coincidence and using the shifted tableau switching due to Choi, Nam and Oh (2019), we consider a shifted version of the Bender-Knuth involutions and define a shifted version of the Berenstein-Kirillov group (1995). Similarly to the classical case, the shifted version of the Berenstein-Kirillov group also acts on the straight-shaped shifted tableau crystals introduced by Gillespie, Levinson and Purbhoo (2020), via partial Sch\"utzenberger involutions, thus coinciding with the action of the cactus group on the same crystal, due to the author. Following the works of Halacheva (2016, 2020), and Chmutov, Glick and Pylyavskyy (2020), on the relation between the actions of the Berenstein-Kirillov group and the cactus group on a crystal of straight-shaped Young tableaux, we also show that the shifted Berenstein-Kirillov group is isomorphic to a quotient of the cactus group. Not all the known relations that hold in the classic Berenstein-Kirillov group need to be satisfied by the shifted Bender-Knuth involutions, but the ones implying the relations of the cactus group are verified. Hence, we have an alternative presentation for the cactus group in terms of the shifted Bender-Knuth involutions. We also use the shifted growth diagrams due to Thomas and Yong (2016) to provide an alternative proof concerning the mentioned cactus group action.


title: Electrostatic control of the trion fine structure in transition metal dichalcogenide monolayers

abstract: Charged excitons (trions) are essential for the optical spectra in low dimensional doped monolayers (ML) of transitional metal dichalcogenides (TMDC). Using a direct diagonalization of the three-body Hamiltonian, we explore the low-lying trion states in four types of TMDC MLs. We show that the trions fine structure results from the interplay between the spin-valley fine structure of the single-particle bands and the exchange interaction between the composing particles. We demonstrate that by variations of the doping and dielectric environment, trion energy fine structure can be tuned, leading to anti-crossing of the bright and dark states with substantial implications for the optical spectra of TMDC MLs.


title: Task Offloading Optimization in NOMA-Enabled Multi-hop Mobile Edge Computing System Using Conflict Graph

abstract: Resource allocation is investigated for offloading computational-intensive tasks in multi-hop mobile edge computing (MEC) system. The envisioned system has both the cooperative access points (AP) with the computing capability and the MEC servers. A user-device (UD) therefore first uploads a computing task to the nearest AP, and the AP can either locally process the received task or offload to MEC server. In order to utilize the radio resource blocks (RRBs) in the APs efficiently, we exploit the non-orthogonal multiple access for offloading the tasks from the UDs to the AP(s). For the considered NOMA-enabled multi-hop MEC computing system, our objective is to minimize both the latency and energy consumption of the system jointly. Towards this goal, a joint optimization problem is formulated by taking the offloading decision of the APs, the scheduling among the UDs, RRBs, and APs, and UDs' transmit power allocation into account. To solve this problem efficiently, (i) a conflict graph-based approach is devised that solves the scheduling among the UDs, APs, and RRBs, the transmit power control, and the APs' computation resource allocation jointly, and (ii) a low-complexity pruning graph-based approach is also devised. The efficiency of the proposed graph-based approaches over several benchmark schemes is verified via extensive simulations.


title: Characterization of Exogenic Boulders on Near-Earth Asteroid (101955) Bennu from OSIRIS-REx Color Images

abstract: A small number of anomalously bright boulders on the near-Earth, rubble-pile asteroid (101955) Bennu were recently identified as eucritic material originating from asteroid (4) Vesta. Building on this discovery, we explored the global presence of exogenic boulders on Bennu. Our analysis focused on boulders larger than 1 m that show the characteristic 1-micron pyroxene absorption band in the four-color MapCam data from the OSIRIS-REx mission. We confirm the presence of exogenic boulders similar to eucrites and find that mixtures of eucrites with carbonaceous material is also a possible composition for some boulders. Some of the exogenic boulders have spectral properties similar to those of ordinary chondrite (OC) meteorites, although the laboratory spectra of these meteorites have a higher albedo than those measured on Bennu, which could be explained by either a grain size effect, the presence of impact melt, or optical mixing with carbonaceous material owing to dust coating. Our Monte Carlo simulations predict that the median amount of OC mass added to the parent body of Bennu is 0.055% and 0.037% of the volume of a 100- and 200-km-diameter parent body, respectively. If Bennu was a uniformly mixed byproduct of parent body and S-type projectiles, the equivalent mass of OC material would be a sphere with a diameter of 36 to 40 m (or a volume of 24,200 to 33,600 m3). The total amount of OC material in the interior of Bennu estimated from the MapCam data is slightly higher (91,000-150,000 m3).


title: Automata-based Controller Synthesis for Stochastic Systems: A Game Framework via Approximate Probabilistic Relations

abstract: In this work, we propose an abstraction and refinement methodology for the controller synthesis of discrete-time stochastic systems to enforce complex logical properties expressed by deterministic finite automata (a.k.a. DFA). Our proposed scheme is based on a notion of so-called $(\epsilon,\delta)$-approximate probabilistic relations, allowing one to quantify the similarity between stochastic systems modeled by discrete-time stochastic games and their corresponding finite abstractions. Leveraging this type of relations, the lower bound for the probability of satisfying the desired specifications can be well ensured by refining controllers synthesized over abstract systems to the original games. Moreover, we propose an algorithmic procedure to construct such a relation for a particular class of nonlinear stochastic systems with slope restrictions on the nonlinearity. The proposed methods are demonstrated on a quadrotor example, and the results indicate that the desired lower bound for the probability of satisfaction is guaranteed.


title: Higher-Order Corrections to the Bubble-Nucleation Rate at Finite Temperature

abstract: In this paper I discuss how to consistently incorporate higher-order corrections to the bubble-nucleation rate at finite temperature. Doing so I examine the merits of different approaches, with the goal of reducing uncertainties for gravitational-wave calculations. To be specific, the region of applicability and accuracy of the derivative expansion is discussed. The derivative expansion is then compared to a numerical implementation of the Gelfand-Yaglom theorem. Both methods are applied to popular first-order phase transition models, like a loop-induced barrier and a SM-EFT tree-level barrier. The results of these calculations are presented in easy-to-use parametrizations that can directly be used in gravitational-wave calculations. In addition, higher-order corrections for models with multiple scalar fields, such as singlet/triplet extensions, are studied. Lastly, the convergence and uncertainty of all calculations are discussed in detail. And I argue that leading-order results for the Standard Model with a tree-level barrier might be inaccurate.


title: Partitioning sparse deep neural networks for scalable training and inference

abstract: The state-of-the-art deep neural networks (DNNs) have significant computational and data management requirements. The size of both training data and models continue to increase. Sparsification and pruning methods are shown to be effective in removing a large fraction of connections in DNNs. The resulting sparse networks present unique challenges to further improve the computational efficiency of training and inference in deep learning. Both the feedforward (inference) and backpropagation steps in stochastic gradient descent (SGD) algorithm for training sparse DNNs involve consecutive sparse matrix-vector multiplications (SpMVs). We first introduce a distributed-memory parallel SpMV-based solution for the SGD algorithm to improve its scalability. The parallelization approach is based on row-wise partitioning of weight matrices that represent neuron connections between consecutive layers. We then propose a novel hypergraph model for partitioning weight matrices to reduce the total communication volume and ensure computational load-balance among processors. Experiments performed on sparse DNNs demonstrate that the proposed solution is highly efficient and scalable. By utilizing the proposed matrix partitioning scheme, the performance of our solution is further improved significantly.


title: Novices' Learning Barriers When Using Code Examples in Open-Ended Programming

abstract: Open-ended programming increases students' motivation by allowing them to solve authentic problems and connect programming to their own interests. However, such open-ended projects are also challenging, as they often encourage students to explore new programming features and attempt tasks that they have not learned before. Code examples are effective learning materials for students and are well-suited to supporting open-ended programming. However, there is little work to understand how novices learn with examples during open-ended programming, and few real-world deployments of such tools. In this paper, we explore novices' learning barriers when interacting with code examples during open-ended programming. We deployed Example Helper, a tool that offers galleries of code examples to search and use, with 44 novice students in an introductory programming classroom, working on an open-ended project in Snap. We found three high-level barriers that novices encountered when using examples: decision, search and integration barriers. We discuss how these barriers arise and design opportunities to address them.


title: Positive Definite Kernels, Algorithms, Frames, and Approximations

abstract: The main purpose of our paper is a new approach to design of algorithms of Kaczmarz type in the framework of operators in Hilbert space. Our applications include a diverse list of optimization problems, new Karhunen-Lo\`eve transforms, and Principal Component Analysis (PCA) for digital images. A key feature of our algorithms is our use of recursive systems of projection operators. Specifically, we apply our recursive projection algorithms for new computations of PCA probabilities and of variance data. For this we also make use of specific reproducing kernel Hilbert spaces, factorization for kernels, and finite-dimensional approximations. Our projection algorithms are designed with view to maximum likelihood solutions, minimization of "cost" problems, identification of principal components, and data-dimension reduction.


title: Unifying the Three Algebraic Approaches to the CSP via Minimal Taylor Algebras

abstract: This paper focuses on the algebraic theory underlying the study of the complexity and the algorithms for the Constraint Satisfaction Problem (CSP). We unify, simplify, and extend parts of the three approaches that have been developed to study the CSP over finite templates -- absorption theory that was used to characterize CSPs solvable by local consistency methods (JACM'14), and Bulatov's and Zhuk's theories that were used for two independent proofs of the CSP Dichotomy Theorem (FOCS'17, JACM'20). As the first contribution we present an elementary theorem about primitive positive definability and use it to obtain the starting points of Bulatov's and Zhuk's proofs as corollaries. As the second contribution we propose and initiate a systematic study of minimal Taylor algebras. This class of algebras is broad enough that it suffices to verify the CSP Dichotomy Theorem on this class only, but still is unusually well behaved. In particular, many concepts from the three approaches coincide in this class, which is in striking contrast with the general setting. We believe that the theory initiated in this paper will eventually result in a simple and more natural proof of the Dichotomy Theorem that employs a simpler and more efficient algorithm, and will help in attacking complexity questions in other CSP-related problems.


title: Compilation-based Solvers for Multi-Agent Path Finding: a Survey, Discussion, and Future Opportunities

abstract: Multi-agent path finding (MAPF) attracts considerable attention in artificial intelligence community as well as in robotics, and other fields such as warehouse logistics. The task in the standard MAPF is to find paths through which agents can navigate from their starting positions to specified individual goal positions. The combination of two additional requirements makes the problem computationally challenging: (i) agents must not collide with each other and (ii) the paths must be optimal with respect to some objective. Two major approaches to optimal MAPF solving include (1) dedicated search-based methods, which solve MAPF directly, and (2) compilation-based methods that reduce a MAPF instance to an instance in a different well established formalism, for which an efficient solver exists. The compilation-based MAPF solving can benefit from advancements accumulated during the development of the target solver often decades long. We summarize and compare contemporary compilation-based solvers for MAPF using formalisms like ASP, MIP, and SAT. We show the lessons learned from past developments and current trends in the topic and discuss its wider impact.


title: Quasinormal modes and dual resonant states on de Sitter space

abstract: The existence of quasinormal modes (QNMs) for waves propagating on pure de Sitter space has been called into question in several works. We definitively prove the existence of quasinormal modes for massless and massive scalar fields in all dimensions and for all scalar field masses, and present a simple method for the explicit calculation of QNMs and the corresponding mode solutions. By passing to coordinates which are regular at the cosmological horizon, we demonstrate that certain QNMs only appear in the QNM expansion of the field when the initial data do not vanish near the cosmological horizon. The key objects in the argument are dual resonant states. These are distributional mode solutions of the adjoint field equation satisfying a generalized incoming condition at the horizon, and they characterize the amplitudes with which QNMs contribute to the QNM expansion of the field.


title: ACK-Less Rate Adaptation for IEEE 802.11bc Enhanced Broadcast Services Using Sim-to-Real Deep Reinforcement Learning

abstract: In IEEE 802.11bc, the broadcast mode on wireless local area networks (WLANs), data rate control that is based on acknowledgement (ACK) mechanism similar to the one in the current IEEE 802.11 WLANs is not applicable because ACK mechanism is not implemented. This paper addresses this challenge by proposing ACK-less data rate adaptation methods by capturing non-broadcast uplink frames of STAs. In IEEE 802.11bc, an use case is assumed, where a part of STAs in the broadcast recipients is also associated with non-broadcast APs, and such STAs periodically transmit uplink frames including ACK frames. The proposed method is based on the idea that by overhearing such uplink frames, the broadcast AP surveys channel conditions at partial STAs, thereby setting appropriate data rates for the STAs. Furthermore, in order to avoid reception failures in a large portion of STAs, this paper proposes deep reinforcement learning (DRL)-based data rate adaptation framework that uses a sim-to-real approach. Therein, information of reception success/failure at broadcast recipient STAs, that could not be notified to the broadcast AP in real deployments, are made available by simulations beforehand, thereby forming data rate adaptation strategies. Numerical results show that utilizing overheard uplink frames of recipients makes it feasible to manage data rates in ACK-less broadcast WLANs, and using the sim-to-real DRL framework can decrease reception failures.


title: SnapCheck: Automated Testing for Snap Programs

abstract: Programming environments such as Snap, Scratch, and Processing engage learners by allowing them to create programming artifacts such as apps and games, with visual and interactive output. Learning programming with such a media-focused context has been shown to increase retention and success rate. However, assessing these visual, interactive projects requires time and laborious manual effort, and it is therefore difficult to offer automated or real-time feedback to students as they work. In this paper, we introduce SnapCheck, a dynamic testing framework for Snap that enables instructors to author test cases with Condition-Action templates. The goal of SnapCheck is to allow instructors or researchers to author property-based test cases that can automatically assess students' interactive programs with high accuracy. Our evaluation of SnapCheck on 162 code snapshots from a Pong game assignment in an introductory programming course shows that our automated testing framework achieves at least 98% accuracy over all rubric items, showing potentials to use SnapCheck for auto-grading and providing formative feedback to students.


title: Discrete Maximum principle of a high order finite difference scheme for a generalized Allen-Cahn equation

abstract: We consider solving a generalized Allen-Cahn equation coupled with a passive convection for a given incompressible velocity field. The numerical scheme consists of the first order accurate stabilized implicit explicit time discretization and a fourth order accurate finite difference scheme, which is obtained from the finite difference formulation of the $Q^2$ spectral element method. We prove that the discrete maximum principle holds under suitable mesh size and time step constraints. The same result also applies to construct a bound-preserving scheme for any passive convection with an incompressible velocity field.


title: Flattening knotted surfaces

abstract: A knotted surface in the 4-sphere may be described by means of a hyperbolic diagram that captures the 0-section of a special Morse function, called a hyperbolic decomposition. We show that every hyperbolic decomposition of a knotted surface K defines a projection of K onto a 2-sphere, whose set of critical values is the hyperbolic diagram of K. We apply such projections, called flattenings, to define three invariants of knotted surfaces: the layering, the trunk and the partition number. The basic properties of flattenings and their derived invariants are obtained. Our construction is used to study flattenings of satellite 2-knots.


title: A stochastically perturbed fluid-structure interaction problem modeled by a stochastic viscous wave equation

abstract: We study well-posedness for fluid-structure interaction driven by stochastic forcing. This is of particular interest in real-life applications where forcing and/or data have a strong stochastic component. The prototype model studied here is a stochastic viscous wave equation, which arises in modeling the interaction between Stokes flow and an elastic membrane. To account for stochastic perturbations, the viscous wave equation is perturbed by spacetime white noise scaled by a nonlinear Lipschitz function, which depends on the solution. We prove the existence of a unique function-valued stochastic mild solution to the corresponding Cauchy problem in spatial dimensions one and two. Additionally, we show that up to a modification, the stochastic mild solution is $\alpha$-H\"{o}lder continuous for almost every realization of the solution's sample path, where $\alpha\in[0,1)$ for spatial dimension $n=1$, and $\alpha \in [0,1/2)$ for spatial dimension $n=2$. This result contrasts the known results for the heat and wave equations perturbed by spacetime white noise, including the damped wave equation perturbed by spacetime white noise, for which a function-valued mild solution exists only in spatial dimension one and not higher. Our results show that dissipation due to fluid viscosity, which is in the form of the Dirichlet-to-Neumann operator applied to the time derivative of the membrane displacement, sufficiently regularizes the roughness of white noise in the stochastic viscous wave equation to allow the stochastic mild solution to exist even in dimension two, which is the physical dimension of the problem. To the best of our knowledge, this is the first result on well-posedness for a stochastically perturbed fluid-structure interaction problem.


title: Simulating instrumental systematics of Cosmic Microwave Background experiments with s4cmb

abstract: The observation of cosmic microwave background (CMB) anisotropies is one of the key probes of physical cosmology. The weak nature of this signal has driven the construction of increasingly complex and sensitive experiments observing the sky at multiple frequencies with thousands of polarization sensitive detectors. Given the high sensitivity of such experiments, instrumental systematic effects can become the limiting factor towards the full scientific exploitation of their data. In this paper we present s4cmb (Systematics for CMB), a Python package designed to simulate raw data streams in time domain of modern CMB experiments based on bolometric technology, and to inject in these realistic instrumental systematics effects. The aim of the package is to help assessing the contamination due to instrumental systematic effects on real data, to guide the design of future instruments, as well as to increase the realism of simulated data sets required in the development of accurate data analysis methods.


title: Plasticity, localization, and damage in ferritic-pearlitic steel studied by nanoscale digital image correlation

abstract: The evolution of deformation from plasticity to localization to damage is investigated in ferritic-pearlitic steel through nanometer-resolution microstructure-correlated SEM-DIC (u-DIC) strain mapping, enabled through highly accurate microstructure-to-strain alignment. We reveal the key plasticity mechanisms in ferrite and pearlite as well as their evolution into localization and damage and their relation to the microstructural arrangement. Notably, two contrasting mechanisms were identified that control whether damage initiation in pearlite occurs and, through connection of localization hotspots in ferrite grains, potentially results in macroscale fracture: (i) cracking of pearlite bridges with relatively clean lamellar structure by brittle fracture of cementite lamellae due to build-up of strain concentrations in nearby ferrite, versus (ii) large plasticity without damage in pearlite bridges with a more "open", chaotic pearlite morphology, which enables plastic percolation paths in the interlamellar ferrite channels. Based on these insights, recommendations for damage resistant ferritic-pearlitic steels are proposed.