title: Optimising Knee Injury Detection with Spatial Attention and Validating Localisation Ability

abstract: This work employs a pre-trained, multi-view Convolutional Neural Network (CNN) with a spatial attention block to optimise knee injury detection. An open-source Magnetic Resonance Imaging (MRI) data set with image-level labels was leveraged for this analysis. As MRI data is acquired from three planes, we compare our technique using data from a single-plane and multiple planes (multi-plane). For multi-plane, we investigate various methods of fusing the planes in the network. This analysis resulted in the novel 'MPFuseNet' network and state-of-the-art Area Under the Curve (AUC) scores for detecting Anterior Cruciate Ligament (ACL) tears and Abnormal MRIs, achieving AUC scores of 0.977 and 0.957 respectively. We then developed an objective metric, Penalised Localisation Accuracy (PLA), to validate the model's localisation ability. This metric compares binary masks generated from Grad-Cam output and the radiologist's annotations on a sample of MRIs. We also extracted explainability features in a model-agnostic approach that were then verified as clinically relevant by the radiologist.


title: Argon Broad Ion beam sectioning and high resolution scanning electron microscopy imaging of hydrated alite

abstract: Scanning electron microscopy (SEM) imaging is able to visualize micro- to nano-structures of cement and concrete. A prerequisite is that the sample preparation preserves the native structure of the specimen. In this study, argon Broad Ion Beam (BIB) sectioning is compared to state-of-the-art sample preparation (resin embedding, polishing) for hydrated alite. Additionally, it is investigated if during BIB, sample cooling is beneficial to avoid deterioration of cement hydrates. The aim is to quantitatively measure phase and pore size distributions in hardened alite pastes. Therefore, not only optimized sample preparation but also optimized imaging conditions are investigated. Finally, it is demonstrated that by image analysis pores down to a diameter of 5 nm in hydrated alite pastes can be quantitatively analysed.


title: Bulk-Fermi-Arc Transition Induced Large Photogalvanic Effect in Weyl Semimetals

abstract: The surface Fermi arc, as a hallmark of Weyl semimetals (WSMs), has been well known in current research, but it remains a challenge to unveil novel phenomena associated with the Fermi arc. Here, we predict a heretofore unrecognized process in WSMs, namely, the photoinduced transition between the bulk states and the Fermi arc. We find this process is significant and can lead to a large effective three-dimensional shift current on the boundaries with the Fermi arc in wide terahertz range. Moreover, due to the low symmetry of the boundaries, the surface photogalvanic effect predicted here can appear in a large class of WSMs that do not have bulk shift current. Hence, our work not only unveils a hidden photogalvanic effect in WSMs but also suggests that all the WSMs are promising material candidates for developing efficient terahertz photodetectors.


title: Towards Mapping Control Theory and Software Engineering Properties using Specification Patterns

abstract: A traditional approach to realize self-adaptation in software engineering (SE) is by means of feedback loops. The goals of the system can be specified as formal properties that are verified against models of the system. On the other hand, control theory (CT) provides a well-established foundation for designing feedback loop systems and providing guarantees for essential properties, such as stability, settling time, and steady state error. Currently, it is an open question whether and how traditional SE approaches to self-adaptation consider properties from CT. Answering this question is challenging given the principle differences in representing properties in both fields. In this paper, we take a first step to answer this question. We follow a bottom up approach where we specify a control design (in Simulink) for a case inspired by Scuderia Ferrari (F1) and provide evidence for stability and safety. The design is then transferred into code (in C) that is further optimized. Next, we define properties that enable verifying whether the control properties still hold at code level. Then, we consolidate the solution by mapping the properties in both worlds using specification patterns as common language and we verify the correctness of this mapping. The mapping offers a reusable artifact to solve similar problems. Finally, we outline opportunities for future work, particularly to refine and extend the mapping and investigate how it can improve the engineering of self-adaptive systems for both SE and CT engineers.


title: Critical point and Bose-Einstein condensation in pion matter

abstract: The Bose-Einstein condensation and the liquid-gas first order phase transition are studied in the interacting pion matter. Two phenomenological models are used: the mean-field model and the hybrid model. Free model parameters are fixed by fitting the lattice QCD data on the pion Bose condensate density at zero temperature. In spite of some minor differences the two model demonstrate an identical qualitative and very close quantitative behavior for the thermodynamic functions and electric charge fluctuations. A peculiar property of the considered models is an intersection of the Bose-Einstein condensation line and the line of the first order phase transition at the critical end point.


title: Growth of Sobolev Norms in 1-d Quantum Harmonic Oscillator with Polynomial Time Quasi-periodic Perturbation

abstract: We consider the one-dimensional quantum harmonic oscillator perturbed by a linear operator which is a polynomial of degree $2$ in $(x,-{\rm i}\partial_x)$, with coefficients quasi-periodically depending on time. By establishing the reducibility results, we describe the growth of Sobolev norms. In particular, the $t^{2s}-$polynomial growth of ${\mathcal H}^s-$norm is observed in this model if the original time quasi-periodic equation is reduced to a constant Stark Hamiltonian.


title: Stellar Dynamical Models for 797 $z\sim 0.8$ Galaxies from LEGA-C

abstract: We present spatially resolved stellar kinematics for 797 $z=0.6-1$ galaxies selected from the LEGA-C survey and construct axisymmetric Jeans models to quantify their dynamical mass and degree of rotational support. The survey is $K_s$-band selected, irrespective of color or morphological type, and allows for a first assessment of the stellar dynamical structure of the general $L^*$ galaxy population at large lookback time. Using light profiles from Hubble Space Telescope imaging as a tracer, our approach corrects for observational effects (seeing convolution and slit geometry), and uses well-informed priors on inclination, anisotropy and a non-luminous mass component. Tabulated data include total mass estimates in a series of spherical apertures (1, 5, and 10 kpc; 1$\times$ and 2$\times$\re), as well as rotational velocities, velocity dispersions and anisotropy. We show that almost all star-forming galaxies and $\sim$50\% of quiescent galaxies are rotation-dominated, with deprojected $V/\sigma\sim1-2$. Revealing the complexity in galaxy evolution, we find that the most massive star-forming galaxies are among the most rotation-dominated, and the most massive quiescent galaxies among the least rotation-dominated galaxies. These measurements set a new benchmark for studying galaxy evolution, using stellar dynamical structure for galaxies at large lookback time. Together with the additional information on stellar population properties from the LEGA-C spectra, the dynamical mass and $V/\sigma$ measurements presented here create new avenues for studying galaxy evolution at large lookback time.


title: Effective and scalable clustering of SARS-CoV-2 sequences

abstract: SARS-CoV-2, like any other virus, continues to mutate as it spreads, according to an evolutionary process. Unlike any other virus, the number of currently available sequences of SARS-CoV-2 in public databases such as GISAID is already several million. This amount of data has the potential to uncover the evolutionary dynamics of a virus like never before. However, a million is already several orders of magnitude beyond what can be processed by the traditional methods designed to reconstruct a virus's evolutionary history, such as those that build a phylogenetic tree. Hence, new and scalable methods will need to be devised in order to make use of the ever increasing number of viral sequences being collected. Since identifying variants is an important part of understanding the evolution of a virus, in this paper, we propose an approach based on clustering sequences to identify the current major SARS-CoV-2 variants. Using a $k$-mer based feature vector generation and efficient feature selection methods, our approach is effective in identifying variants, as well as being efficient and scalable to millions of sequences. Such a clustering method allows us to show the relative proportion of each variant over time, giving the rate of spread of each variant in different locations -- something which is important for vaccine development and distribution. We also compute the importance of each amino acid position of the spike protein in identifying a given variant in terms of information gain. Positions of high variant-specific importance tend to agree with those reported by the USA's Centers for Disease Control and Prevention (CDC), further demonstrating our approach.


title: Properties of Invariant Set Theory

abstract: In a recent paper (arXiv:2107.04761), Sen critiques a superdeterministic model of quantum physics, Invariant Set Theory, proposed by one of the authors. He concludes that superdeterminism is `unlikely to solve the puzzle posed by the Bell correlations'. He also claims that the model is neither local nor $\psi$-epistemic. We here detail multiple inaccuracies with Sen's arguments - notably that the hidden-variable model of quantum physics he uses to critique Invariant Set Theory bares no relation to Invariant Set Theory - and use this opportunity to lay out the properties of Invariant Set Theory as clearly as possible.


title: Active Observer Visual Problem-Solving Methods are Dynamically Hypothesized, Deployed and Tested

abstract: The STAR architecture was designed to test the value of the full Selective Tuning model of visual attention for complex real-world visuospatial tasks and behaviors. However, knowledge of how humans solve such tasks in 3D as active observers is lean. We thus devised a novel experimental setup and examined such behavior. We discovered that humans exhibit a variety of problem-solving strategies whose breadth and complexity are surprising and not easily handled by current methodologies. It is apparent that solution methods are dynamically composed by hypothesizing sequences of actions, testing them, and if they fail, trying different ones. The importance of active observation is striking as is the lack of any learning effect. These results inform our Cognitive Program representation of STAR extending its relevance to real-world tasks.


title: Duality between Generalized Non-Hermitian HN Model in Flat Space and Hermitian System in Curved space

abstract: Non-Hermitian systems in condensed matter Physics are well studied in recent years. In conventional viewpoint, the non-Hermiticity of a Hamiltonian is obtained by dissipative or gain and loss. Recently, some people investigate the non-Hermiticity from other perspective, which point out that non-Hermiticity may come from the curved space. In this letter, we derive a duality between a generalized non-Hermitian HN model in $d$-dimensional flat space and a Hermitian system in $3d$-dimensional curved space, and give the metric of the curved space analytically. From this duality, we establish a correspondence between Hermitian and non-Hermitian systems, which gives a new perspective to explore non-Hermitian systems.


title: Bulk-surface Lie splitting for parabolic problems with dynamic boundary conditions

abstract: This paper studies bulk-surface splitting methods of first order for (semi-linear) parabolic partial differential equations with dynamic boundary conditions. The proposed Lie splitting scheme is based on a reformulation of the problem as a coupled partial differential-algebraic equation system, i.e., the boundary conditions are considered as a second dynamic equation which is coupled to the bulk problem. The splitting approach is combined with bulk-surface finite elements and an implicit Euler discretization of the two subsystems. We prove first-order convergence of the resulting fully discrete scheme in the presence of a weak CFL condition of the form $\tau \leq c h$ for some constant $c>0$. The convergence is also illustrated numerically using dynamic boundary conditions of Allen-Cahn-type.


title: Probable identification of the impact craters associated with two luminous historical lunar flashes

abstract: We have reviewed and analyzed the lunar luminous events observations by William Herschel during the peak of the Lyrid meteor shower of 1787 and Leon Stuart near the peak of the Leonid meteor shower of 1953, seeking the impact craters that these events presumably formed. Evidence is presented that identifies two cold spot fresh craters as the expected candidates.


title: The Infrared Evolution of Dust in V838 Monocerotis

abstract: Luminous Red Variables (LRVs) are most likely eruptions that are the outcome of stellar mergers. V838 Mon is one of the best-studied members of this class, representing an archetype for stellar mergers resulting from B-type stars. As result of the merger event, nova-like eruptions occur driving mass-loss from the system. As the gas cools considerable circumstellar dust is formed. V838 Mon erupted in 2002 and is undergoing very dynamic changes in its dust composition, geometry, and infrared luminosity providing a real-time laboratory to validate mineralogical condensation sequences in stellar mergers and evolutionary scenarios. We discuss recent NASA Stratospheric Observatory for Infrared Astronomy SOFIA 5 to 38 micron observations combined with archival NASA Spitzer spectra that document the temporal evolution of the freshly formed (within the last 20 yrs) circumstellar material in the environs of V838 Mon. Changes in the 10 micron spectral region are strong evidence that we are witnessing a classical dust condensation sequence expected to occur in oxygen-rich environments where alumina formation is followed by that of silicates at the temperature cools.


title: Charge Order and Fluctuations in Bi$_2$Sr$_{2-x}$La$_x$CuO$_{6+\delta}$ Revealed by $^{63,65}$Cu-Nuclear Magnetic Resonance

abstract: The discovery of a magnetic-field-induced charge-density-wave (CDW) order in the pseudogap state via nuclear magnetic resonance (NMR) studies has highlighted the importance of "charge" in the physics of high transition-temperature ($T_{\rm c}$) superconductivity in copper oxides (cuprates). Herein, after briefly reviewing the progress achieved in the last few years, we report new results of $^{63,65}$Cu-NMR measurements on the CDW order and its fluctuation in the single-layered cuprate Bi$_2$Sr$_{2-x}$La$_x$CuO$_{6+\delta}$. The NMR spectrum under both in- and out-of-plane magnetic fields above $ H $ = 10 T indicates that the CDW replaces the antiferromagnetic order before superconductivity appears, but disappears before superconductivity is optimized. We found that the CDW onset temperature $T_{\rm CDW}$ scales with the pseudogap temperature $T^{\rm *}$. Comparison between $^{63}$Cu and $^{65}$Cu NMR indicates that the spin-lattice relaxation process is dominated by charge fluctuations in the doping regions where the CDW appears as well as at the pseudogap end point ($T^*$ = 0). These results suggest that charge orders and fluctuations exist in multiple doping regions and over a quite wide temperature range.


title: Multi-Target Localization Using Polarization Sensitive Arrays

abstract: In this work we develop clustering techniques for the Bearing Only Target Localization (BOTL) problem. Our scenario has a receiver move along some path, generating bearing estimates on some interval. Multiple emitting targets exist in the environment, and may be physically close with respect to the receiver distance. The first method is iterative and uses only a series of observed bearings to multiple targets to establish clusters. In each iteration, target positions are estimated using a nonlinear least squares solution. The second technique uses additional polarization information, and is shown to be more effective while requiring more information. In addition the second technique is non-iterative and requires far less computation. In this work we presume knowledge of the number of targets. We conclude by providing simulations of our method and show that the proposed approach outperforms previously proposed methods.


title: Nonlinear analysis of forced mechanical systems with internal resonance using spectral submanifolds, Part II: Bifurcation and quasi-periodic response

abstract: In Part I of this paper, we have used spectral submanifold (SSM) theory to construct reduced-order models for harmonically excited mechanical systems with internal resonances. In that setting, extracting forced response curves formed by periodic orbits of the full system was reduced to locating the solution branches of equilibria of the corresponding reduced-order model. Here we use bifurcations of the equilibria of the reduced-order model to predict bifurcations of the periodic response of the full system. Specifically, we identify Hopf bifurcations of equilibria and limit cycles in reduced models on SSMs to predict the existence of two-dimensional and three-dimensional quasi-periodic attractors and repellers in periodically forced mechanical systems of arbitrary dimension. We illustrate the accuracy and efficiency of these computations on finite-element models of beams and plates.


title: Modeling and simulation of interface failure in metal-composite hybrids

abstract: The application of hybrid composites in lightweight engineering enables the combination of material-specific advantages of fiber-reinforced polymers and classical metals. The interface between the connected materials is of particular interest since failure often initializes in the bonding zone. In this contribution the connection of an aluminum component and a glass fiber-reinforced epoxy is considered on the microscale. The constitutive modeling accounts for adhesive failure of the local interfaces and cohesive failure of the bulk material. Interface failure is represented by cohesive zone models, while the behavior of the polymer is described by an elastic-plastic damage model. A gradient-enhanced formulation is applied to avoid the well-known mesh dependency of local continuum damage models. The application of numerical homogenization schemes allows for the prediction of effective traction-separation relations. Therefore, the influence of the local interface strength and geometry of random rough interfaces on the macroscopical properties is investigated in a numerical study. There is a positive effect of an increased roughness on the effective joint behavior.


title: A note on numerical ranges of tensors

abstract: Theory of numerical range and numerical radius for tensors is not studied much in the literature. In 2016, Ke {\it et al.} [Linear Algebra Appl., 508 (2016) 100-132] introduced first the notion of numerical range of a tensor via the $k$-mode product. However, the convexity of the numerical range via the $k$-mode product was not proved by them. In this paper, the notion of numerical range and numerical radius for even-order square tensors using inner product via the Einstein product are introduced first. We provide some sufficient conditions using numerical radius for a tensor to being unitary. The convexity of the numerical range is also proved. We also provide an algorithm to plot the numerical range of a tensor. Furthermore, some properties of the numerical range for the Moore--Penrose inverse of a tensor are discussed.


title: Measurements of the magnetic field strengths at the bases of stellar coronae using the magnetic-field-induced transition theory

abstract: Measurements of the magnetic field in the stellar coronae are extremely difficult. Recently, it was proposed that the magnetic-field-induced transition (MIT) of the Fe X 257 {\AA} line can be used to measure the coronal magnetic field of the Sun. We performed forward modeling with a series of global stellar magnetohydrodynamics models to investigate the possibility of extending this method to other late-type stars. We first synthesized the emissions of several Fe X lines for each stellar model, then calculated the magnetic field strengths using the intensity ratios of Fe X 257 {\AA} to several other Fe X lines based on the MIT theory. Finally, we compared the derived field strengths with those in the models, and concluded that this method can be used to measure at least the magnetic field strengths at the coronal bases of stars with a mean surface magnetic flux density about one order of magnitude higher than that of the Sun. Our investigation suggests the need of an extreme ultraviolet spectrometer to perform routine measurements of the stellar coronal magnetic field.


title: First order framework for vortices in generalized Maxwell-Chern-Simons models without a neutral field

abstract: This work introduces a procedure to obtain vortex configurations described by first order equations in generalized Maxwell-Chern-Simons models without the inclusion of a neutral field. The results show that the novel methodology is capable of inducing important modification in the vortex core, leading to vortex configurations with unconventional features.


title: Towards Deep and Efficient: A Deep Siamese Self-Attention Fully Efficient Convolutional Network for Change Detection in VHR Images

abstract: Recently, FCNs have attracted widespread attention in the CD field. In pursuit of better CD performance, it has become a tendency to design deeper and more complicated FCNs, which inevitably brings about huge numbers of parameters and an unbearable computational burden. With the goal of designing a quite deep architecture to obtain more precise CD results while simultaneously decreasing parameter numbers to improve efficiency, in this work, we present a very deep and efficient CD network, entitled EffCDNet. In EffCDNet, to reduce the numerous parameters associated with deep architecture, an efficient convolution consisting of depth-wise convolution and group convolution with a channel shuffle mechanism is introduced to replace standard convolutional layers. In terms of the specific network architecture, EffCDNet does not use mainstream UNet-like architecture, but rather adopts the architecture with a very deep encoder and a lightweight decoder. In the very deep encoder, two very deep siamese streams stacked by efficient convolution first extract two highly representative and informative feature maps from input image-pairs. Subsequently, an efficient ASPP module is designed to capture multi-scale change information. In the lightweight decoder, a recurrent criss-cross self-attention (RCCA) module is applied to efficiently utilize non-local similar feature representations to enhance discriminability for each pixel, thus effectively separating the changed and unchanged regions. Moreover, to tackle the optimization problem in confused pixels, two novel loss functions based on information entropy are presented. On two challenging CD datasets, our approach outperforms other SOTA FCN-based methods, with only benchmark-level parameter numbers and quite low computational overhead.


title: Practical X-ray Gastric Cancer Screening Using Refined Stochastic Data Augmentation and Hard Boundary Box Training

abstract: In gastric cancer screening, X-rays can be performed by radiographers, allowing them to see far more patients than endoscopy, which can only be performed by physicians. However, due to subsequent diagnostic difficulties, the sensitivity of gastric X-ray is only 85.5%, and little research has been done on automated diagnostic aids that directly target gastric cancer. This paper proposes a practical gastric cancer screening system for X-ray images taken under realistic clinical imaging conditions. Our system not only provides a diagnostic result for each image, but also provides an explanation for the result by displaying candidate cancer areas with bounding boxes. Training object detection models to do this was very expensive in terms of assigning supervised labels, and had the disadvantage of not being able to use negative (i.e., non-cancer) data for training. Our proposal consists of two novel techniques: (1) refined stochastic gastric image augmentation (R-sGAIA) and (2) hard boundary box training (HBBT). The R-sGAIA probabilistically highlights the gastric folds in the X-ray image based on medical knowledge, thus increasing the detection efficiency of gastric cancer. The HBBT is a new, efficient, and versatile training method that can reduce the number of false positive detections by actively using negative samples. The results showed that the proposed R-sGAIA and HBBT significantly improved the F1 score by 5.9% compared to the baseline EfficientDet-D7 + RandAugment (F1: 57.8%, recall: 90.2%, precision: 42.5%). This score is higher than the physician's cancer detection rate, indicating that at least 2 out of 5 areas detected are cancerous, confirming the utility of gastric cancer screening.


title: Classification of a Class of Solvable Real Lie Algebras by using Techniques in Matrix Theory

abstract: We give a complete classification of the class of Lie algebras of simply connected real Lie groups whose nontrivial coadjoint orbits are of codimension 1. Such a Lie group belongs to a well-known class, called the class of MD-groups. The Lie algebra of an MD-group is called an MD-algebra. Some interest properties of MD-algebras will be investigated as well. The techniques used in this paper is elementary techniques in matrix theory and available to apply to more general cases.


title: Bottomonium suppression and flow in heavy-ion collisions

abstract: The strong suppression of bottomonia production in ultra-relativistic heavy-ion collisions is a smoking gun for the creation of a deconfined quark-gluon plasma (QGP). In this proceedings contribution, I review recent work that aims to provide a more comprehensive and systematic understanding of bottomonium dynamics in the QGP through the use of pNRQCD and an open quantum systems approach. This approach allows one to evolve the heavy-quarkonium reduced density matrix, taking into account non-unitary effective Hamiltonian evolution of the wave-function and quantum jumps between different angular momentum and color states. In the case of a strong coupled QGP in which E << T,m_D << 1/a_0, the corresponding evolution equation is Markovian and can therefore be mapped to a Lindblad evolution equation. To solve the resulting Lindblad equation, we make use of a stochastic unraveling called the quantum trajectories algorithm and couple the non-abelian quantum evolution to a realistic 3+1D viscous hydrodynamical background. Using a large number of Monte-Carlo sampled bottomonium trajectories, we make predictions for bottomonium R_AA and elliptic flow as a function of centrality and transverse momentum and compare to data collected by the ALICE, ATLAS, and CMS collaborations.


title: Electrically-charged black holes and the Blandford-Znajek mechanism

abstract: Recently, it was claimed that accretion of electric charge by a black hole rotating in an aligned external magnetic field results in a "dead" vacuum magnetosphere, where the electric field is totally screened, no vacuum breakdown is possible, and the Blandford-Znajek mechanism cannot operate King & Pringle (2021). Here we study in details the properties of the Wald(1974) solution for electrically charged black holes discussed in that paper. Our results show that the claim is erroneous as in the solution with the critical charge $q_0=2aB_0$ there exists a drop of electrostatic potential along all magnetic field lines except the one coinciding with the symmetry axis. It is also found that while uncharged rotating black holes expel external vacuum magnetic field from their event horizon (the Meissner effect), electric charging of black holes pulls the magnetic field lines back on it, resembling what has been observed in some previous force-free, RMHD and PIC simulations of black hole magnetospheres. This suggests that accretion of electric charge may indeed be a feature of the black hole electrodynamics. However, our analysis shows that the value $q_0$ of the BH charge given by Wald is likely to be only an upper limit, and that the actual value depends of the details of the magnetospheric physics.


title: Specificity-preserving RGB-D Saliency Detection

abstract: Salient object detection (SOD) on RGB and depth images has attracted more and more research interests, due to its effectiveness and the fact that depth cues can now be conveniently captured. Existing RGB-D SOD models usually adopt different fusion strategies to learn a shared representation from the two modalities (\ie, RGB and depth), while few methods explicitly consider how to preserve modality-specific characteristics. In this study, we propose a novel framework, termed SPNet} (Specificity-preserving network), which benefits SOD performance by exploring both the shared information and modality-specific properties (\eg, specificity). Specifically, we propose to adopt two modality-specific networks and a shared learning network to generate individual and shared saliency prediction maps, respectively. To effectively fuse cross-modal features in the shared learning network, we propose a cross-enhanced integration module (CIM) and then propagate the fused feature to the next layer for integrating cross-level information. Moreover, to capture rich complementary multi-modal information for boosting the SOD performance, we propose a multi-modal feature aggregation (MFA) module to integrate the modality-specific features from each individual decoder into the shared decoder. By using a skip connection, the hierarchical features between the encoder and decoder layers can be fully combined. Extensive experiments demonstrate that our~\ours~outperforms cutting-edge approaches on six popular RGB-D SOD and three camouflaged object detection benchmarks. The project is publicly available at: https://github.com/taozh2017/SPNet.


title: Analysis of pangolin metagenomic datasets reveals significant contamination, raising concerns for pangolin CoV host attribution

abstract: Metagenomic datasets from pangolin tissue specimens have previously yielded SARS-related coronaviruses which show high homology in their receptor binding domain to SARS-CoV-2, suggesting a potential zoonotic source for this feature of the human virus, possibly via recombination (Liu et al. 2019, Lam et al. 2020, Xiao et al. 2020, Liu et al. 2020). Here we re-examine these published datasets. We report that only a few pangolin samples were found to contain coronavirus reads, and even then in low abundance, while other non-pangolin hosted viruses were present in higher abundance. We also discovered extensive contamination with human, rodent, and other mammalian gene sequences, which was a surprising finding. Furthermore, we uncovered a number of pangolin CoV sequences embedded in standard laboratory cloning vectors, which suggests the pangolin specimens could have been contaminated with sequences derived from synthetic biology experiments. Finally, we discover a third pangolin dataset (He et al. 2022) with low levels of SARSr-CoV sequences and unambiguous extensive contamination of several pangolin samples. For these reasons, we find it unlikely that the pangolins in question had a coronavirus infection while alive, and all current versions of the cited papers claiming a zoonotic infection of pangolins with a SARS-r CoV require substantial corrections and should be retracted until such corrections are made.


title: Generalized hydrodynamics of the Lennard-Jones liquid in view of hidden scale invariance

abstract: In recent years lines along which structure and dynamics are invariant to a good approximation, so-called isomorphs, have been identified in the thermodynamic phase diagrams of several model liquids and solids. This paper reports computer simulations of the transverse and longitudinal collective dynamics at different length scales along an isomorph of the Lennard-Jones system. Our findings are compared to corresponding results along an isotherm and an isochore. Confirming the theoretical prediction, the reduced-unit dynamics of the transverse momentum density is invariant to a good approximation along the isomorph at all time and length scales. Likewise, the wave-vector dependent shear-stress autocorrelation function is found to be isomorph invariant. A similar invariance is not seen along the isotherm or the isochore. Using a spatially non-local hydrodynamic model for the transverse momentum-density time-autocorrelation function, the macroscopic shear viscosity and its wave dependence are determined, demonstrating that the shear viscosity is isomorph invariant on all length scales studied. This analysis implies the existence of a novel length scale which characterizes each isomorph. The transverse sound-wave velocity, the Maxwell relaxation time, and the rigidity shear modulus are also isomorph invariant. In contrast, the reduced-unit dynamics of the mass density is not invariant at length scales longer than the inter-particle distance. By fitting to a generalized hydrodynamic model, we extract values for the wave-vector-dependent thermal diffusion coefficient, sound attenuation coefficient, and adiabatic sound velocity. The isomorph variation of these quantities in reduced units at long length scales can be eliminated by scaling with the density-scaling, a fundamental quantity in the isomorph theory framework, an empirical observation that remains to be explained theoretically.


title: Generalized and Incremental Few-Shot Learning by Explicit Learning and Calibration without Forgetting

abstract: Both generalized and incremental few-shot learning have to deal with three major challenges: learning novel classes from only few samples per class, preventing catastrophic forgetting of base classes, and classifier calibration across novel and base classes. In this work we propose a three-stage framework that allows to explicitly and effectively address these challenges. While the first phase learns base classes with many samples, the second phase learns a calibrated classifier for novel classes from few samples while also preventing catastrophic forgetting. In the final phase, calibration is achieved across all classes. We evaluate the proposed framework on four challenging benchmark datasets for image and video few-shot classification and obtain state-of-the-art results for both generalized and incremental few shot learning.


title: Deployment of Deep Neural Networks for Object Detection on Edge AI Devices with Runtime Optimization

abstract: Deep neural networks have proven increasingly important for automotive scene understanding with new algorithms offering constant improvements of the detection performance. However, there is little emphasis on experiences and needs for deployment in embedded environments. We therefore perform a case study of the deployment of two representative object detection networks on an edge AI platform. In particular, we consider RetinaNet for image-based 2D object detection and PointPillars for LiDAR-based 3D object detection. We describe the modifications necessary to convert the algorithms from a PyTorch training environment to the deployment environment taking into account the available tools. We evaluate the runtime of the deployed DNN using two different libraries, TensorRT and TorchScript. In our experiments, we observe slight advantages of TensorRT for convolutional layers and TorchScript for fully connected layers. We also study the trade-off between runtime and performance, when selecting an optimized setup for deployment, and observe that quantization significantly reduces the runtime while having only little impact on the detection performance.


title: The Missing Link? Discovery of Pulsations in the Nitrogen-rich PG 1159 Star PG 1144+005

abstract: Up to 98% of all single stars will eventually become white dwarfs - stars that link the history and future evolution of the Galaxy, and whose previous evolution is engraved in their interiors. Those interiors can be studied using asteroseismology, utilizing stellar pulsations as seismic waves. The pulsational instability strips of DA and DB white dwarf stars are pure, allowing the important generalization that their interior structure represents that of all DA and DB white dwarfs. This is not the case for the hottest pulsating white dwarfs, the GW Vir stars: only about 50% of white dwarfs in this domain pulsate. Several explanations for the impurity of the GW Vir instability strip have been proposed, based on different elemental abundances, metallicity, and helium content. Surprisingly, there is a dichotomy that only stars rich in nitrogen, which by itself cannot cause pulsation driving, pulsate - the only previous exception being the nitrogen-rich non-pulsator PG 1144+005. Here, we report the discovery of pulsations in PG 1144+005 based on new observations. We identified four frequency regions: 40, 55, 97, and 112 day$^{-1}$ with low and variable amplitudes of about 3-6 mmag and therefore confirm the nitrogen dichotomy. As nitrogen is a trace element revealing the previous occurrence of a very late thermal pulse (VLTP) in hot white dwarf stars, we speculate that it is this VLTP that provides the interior structure required to make a GW Vir pulsator.


title: Sequence of families of lattice polarized $K3$ surfaces, modular forms and degrees of complex reflection groups

abstract: We introduce a sequence of families of lattice polarized $K3$ surfaces. This sequence is closely related to complex reflection groups of exceptional type. Namely, we obtain modular forms coming from the inverse correspondences of the period mappings attached to our sequence. We study a non-trivial relation between our modular forms and invariants of complex reflection groups. Especially, we consider a family concerned with the Shepherd-Todd group of No.34 based on arithmetic properties of lattices and algebro-geometric properties of the period mappings.


title: Higher rank Brill-Noether theory and coherent systems: Open questions

abstract: This article presents a list of open questions on higher rank Brill-Noether theory and coherent systems. Background material and appropriate references are included.


title: DeepExpress: Heterogeneous and Coupled Sequence Modeling for Express Delivery Prediction

abstract: The prediction of express delivery sequence, i.e., modeling and estimating the volumes of daily incoming and outgoing parcels for delivery, is critical for online business, logistics, and positive customer experience, and specifically for resource allocation optimization and promotional activity arrangement. A precise estimate of consumer delivery requests has to involve sequential factors such as shopping behaviors, weather conditions, events, business campaigns, and their couplings. Besides, conventional sequence prediction assumes a stable sequence evolution, failing to address complex nonlinear sequences and various feature effects in the above multi-source data. Although deep networks and attention mechanisms demonstrate the potential of complex sequence modeling, extant networks ignore the heterogeneous and coupling situation between features and sequences, resulting in weak prediction accuracy. To address these issues, we propose DeepExpress - a deep-learning based express delivery sequence prediction model, which extends the classic seq2seq framework to learning complex coupling between sequence and features. DeepExpress leverages an express delivery seq2seq learning, a carefully-designed heterogeneous feature representation, and a novel joint training attention mechanism to adaptively map heterogeneous data, and capture sequence-feature coupling for precise estimation. Experimental results on real-world data demonstrate that the proposed method outperforms both shallow and deep baseline models.


title: Further insights into the mysteries of the values of zeta functions at integers

abstract: We present a remarkably simple and surprisingly natural interpretation of the values of zeta functions at negative integers and zero. Namely we are able to relate these values to areas related to partial sums of powers. We apply these results to further interpretations of values of $L$-functions at negative integers. We hint in a very brief way at some expected connections of this work with other current efforts to understand the mysteries of the values of zeta functions at integers.


title: Open Torelli locus and complex ball quotients

abstract: We study the problem of non-existence of totally geodesic complex ball quotients in the open Torelli locus in a moduli space of principally polarized Abelian varieties using analytic techniques.


title: Wideband Channel Estimation for THz Massive MIMO

abstract: Terahertz (THz) communication is considered to be a promising technology for future 6G network. To overcome the severe attenuation and relieve the high power consumption, massive MIMO with hybrid precoding has been widely considered for THz communication. However, accurate wideband channel estimation is challenging in THz massive MIMO systems. The existing wideband channel estimation schemes based on the ideal assumption of common sparse channel support will suffer from a severe performance loss due to the beam split effect. In this paper, we propose a beam split pattern detection based channel estimation scheme to realize reliable wideband channel estimation. Specifically, a comprehensive analysis on the angle-domain sparse structure of the wideband channel is provided by considering the beam split effect. Based on the analysis, we define a series of index sets called as beam split patterns, which are proved to have a one-to-one match to different physical channel directions. Inspired by this one-to-one match, we propose to estimate the physical channel direction by exploiting beam split patterns at first. Then, the sparse channel supports at different subcarriers can be obtained by utilizing a support detection window. This support detection window is generated by expanding the beam split pattern which is determined by the obtained physical channel direction. The above estimation procedure will be repeated path by path until all path components are estimated. The proposed scheme exploits the wideband channel property implied by the beam split effect, which can significantly improve the channel estimation accuracy. Simulation results show that the proposed scheme is able to achieve higher accuracy than existing schemes.


title: Harmonic dual dressing of spin one-half systems

abstract: Controlled modifications of the quantum magnetic response are produced in dressed systems by a high frequency, strong and not-resonant electromagnetic field. This quantum control is greatly enhanced and enriched by the harmonic, commensurable and orthogonally oriented dual dressing theoretically discussed here. The secondary field enables a fine tuning of the qubit response, with control parameters amplitude, harmonic content, spatial orientation and phase relation. Our analysis is based on a perturbative approach and includes few numerical solutions. The long-time dynamics is described in terms of an anisotropic effective static magnetic field representing the handle for the system full engineering. Through a low-order harmonic mixing the bichromatic driving generates a rectified static field acting on the spin. The Zeeman response becomes anisotropic in a triaxial geometry and includes a quadratic contribution. Our dressing increases the two-level energy splitting, improving the spin detection sensitivity. On the low field direction it compensates the static fields applied in different geometries. A resonant spin exchange between two species having very different magnetic response as electron and nucleus is allowed by the dressing. The spin temporal evolution includes a micromotion at harmonics of the driving frequency whose role in the spin detection is examined and can be exploited in quantum information. The results presented here lay a foundation for additional applications to be harnessed in quantum simulations.


title: Higher rank confining subsets and hyperbolic actions of solvable groups

abstract: Recent papers of the authors have completely described the hyperbolic actions of several families of classically studied solvable groups. A key tool for these investigations is the machinery of confining subsets of Caprace, Cornulier, Monod, and Tessera, which applies, in particular, to solvable groups with virtually cyclic abelianizations. In this paper, we extend this machinery and give a correspondence between the hyperbolic actions of certain solvable groups with higher rank abelianizations and confining subsets of these more general groups. We then apply this extension to give a complete description of the hyperbolic actions of generalized solvable Baumslag-Solitar groups and to reprove a result of Sgobbi-Wong computing their Bieri-Neumann-Strebel invariants.


title: Cost and Routing of Continuous Variable Quantum Networks

abstract: We study continuous-variable graph states with regular and complex network shapes and we report for their cost as a global measure of squeezing and number of squeezed modes that are necessary to build the network. We provide an analytical formula to compute the experimental resources required to implement the graph states and we use it to show that the scaling of the squeezing cost with the size of the network strictly depends on its topology. We show that homodyne measurements along parallel paths between two nodes allow to increase the final entanglement in these nodes and we use this effect to boost the efficiency of an entanglement routing protocol. The devised routing protocol is particularly efficient in running-time for complex sparse networks.


title: A note on circular wirelength for hypercubes

abstract: We study embeddings of the $n$-dimensional hypercube into the circuit with $2^n$ vertices. We prove that the circular wirelength attains minimum by gray coding, which is called the CT conjecture by Chavez and Trapp (Discrete Applied Mathematics, 1998). This problem had claimed to be settled by Ching-Jung Guu in her doctor dissertation "The circular wirelength problem for hypercubes" (University of California, Riverside, 1997). Many people argue there are gaps in her proof. We eliminate gaps in her dissertation.


title: Thermal radio absorption as a tracer of the interaction of SNRs with their environments

abstract: We present new images and continuum spectral analysis for 14 resolved Galactic SNRs selected from the 74 MHz Very Large Array Low-Frequency Sky Survey Redux (VLSSr). We combine new integrated measurements from the VLSSr with flux densities extracted from the GLEAM and measurements from the literature to generate improved continuum spectra. We combine the VLSSr images with publicly available images at 1.4 GHz, to analyse the resolved morphology and spectral index distribution across each SNR. Three of the SNRs, Kepler, G28.6-0.1, and Tycho, have integrated spectra which can be adequately fit with simple power laws. The resolved spectral index map for Tycho confirms internal absorption which was previously detected by the LOFAR, but it is insufficient to affect the fit to the integrated spectrum. For the pulsar wind nebulae G21.5-0.9 and 3C58 we identify high-frequency spectral breaks at 38 and 12 GHz, respectively. A low frequency spectral turnover adequately fits the data of the remaining nine SNRs. For Kes 67, Kes 69, Kes75, and 3C397, we attribute the absorption to ionised gas along the line of sight, possibly from extended HII region envelopes. For W41 the absorption can be attributed to HII regions located in its immediate proximity. Thermal absorption from interactions at the ionised interface between SNR forward shocks and the surrounding medium were previously identified as responsible for the low frequency turnover in SNR 3C391; our integrated spectrum is consistent with the previous results. We present evidence for the same phenomenon in three additional SNRs, Kes73, W49B, and 3C396, and derive constraints on the physical properties of the interaction. This result indicates that interactions between SNRs and their environs should be readily detectable through thermal absorption by future low frequency observations of SNRs with improved sensitivity and resolution.


title: Effect of Parameter Optimization on Classical and Learning-based Image Matching Methods

abstract: Deep learning-based image matching methods are improved significantly during the recent years. Although these methods are reported to outperform the classical techniques, the performance of the classical methods is not examined in detail. In this study, we compare classical and learning-based methods by employing mutual nearest neighbor search with ratio test and optimizing the ratio test threshold to achieve the best performance on two different performance metrics. After a fair comparison, the experimental results on HPatches dataset reveal that the performance gap between classical and learning-based methods is not that significant. Throughout the experiments, we demonstrated that SuperGlue is the state-of-the-art technique for the image matching problem on HPatches dataset. However, if a single parameter, namely ratio test threshold, is carefully optimized, a well-known traditional method SIFT performs quite close to SuperGlue and even outperforms in terms of mean matching accuracy (MMA) under 1 and 2 pixel thresholds. Moreover, a recent approach, DFM, which only uses pre-trained VGG features as descriptors and ratio test, is shown to outperform most of the well-trained learning-based methods. Therefore, we conclude that the parameters of any classical method should be analyzed carefully before comparing against a learning-based technique.


title: Structure Parameter Optimized Kernel Based Online Prediction with a Generalized Optimization Strategy for Nonstationary Time Series

abstract: In this paper, sparsification techniques aided online prediction algorithms in a reproducing kernel Hilbert space are studied for nonstationary time series. The online prediction algorithms as usual consist of the selection of kernel structure parameters and the kernel weight vector updating. For structure parameters, the kernel dictionary is selected by some sparsification techniques with online selective modeling criteria, and moreover the kernel covariance matrix is intermittently optimized in the light of the covariance matrix adaptation evolution strategy (CMA-ES). Optimizing the real symmetric covariance matrix can not only improve the kernel structure's flexibility by the cross relatedness of the input variables, but also partly alleviate the prediction uncertainty caused by the kernel dictionary selection for nonstationary time series. In order to sufficiently capture the underlying dynamic characteristics in prediction-error time series, a generalized optimization strategy is designed to construct the kernel dictionary sequentially in multiple kernel connection modes. The generalized optimization strategy provides a more self-contained way to construct the entire kernel connections, which enhances the ability to adaptively track the changing dynamic characteristics. Numerical simulations have demonstrated that the proposed approach has superior prediction performance for nonstationary time series.


title: On Gauduchon K\"ahler-like manifolds

abstract: In a paper by Angella, Otal, Ugarte, and Villacampa, the authors conjectured that on a compact Hermitian manifold, if a Gauduchon connection other than Chern or Strominger is K\"ahler-like, then the Hermitian metric must be K\"ahler. They also conjectured that if two Gauduchon connections are both K\"ahler-like, then the metric must be K\"ahler. In this paper, we discuss some partial answers to the first conjecture, and give a proof to the second conjecture. In the process, we discovered an interesting `duality' phenomenon amongst Gauduchon connections, which seems to be intimately tied to the question, though we do not know if there is any underlying reason for that from physics.


title: Synthetic complex Weyl superconductors, chiral Josephson effect and synthetic half-vortices

abstract: We show that the most generic form of spin-singlet superconducting order parameter for chiral fermions is of the $\Delta_s+i\gamma^5\Delta_5$ where $\Delta_s$ is the usual order parameter and $\Delta_5$ is the pseudo-scalar order parameter. After factoring out the $U(1)$ phase $e^{i\phi}$, this form of superconductivity admits yet additional complex structure in the plane of $(\Delta_s,\Delta_5)$. The polar angle $\chi$ in this plane dubbed chiral angle will be locked to the $U(1)$ phase $\phi$. We propose a synthetic setup based on stacking of topological insulators (TIs) and superconductors (SCs). Alternatively flux biasing the superconductors with a fluxes $\pm\Phi$ leads to $\Delta_5=\Delta_0 \sin(\chi)$, where $\Delta_0$ is the superconducting order parameter of the SC layers, and the chiral angle $\chi=\Phi/\Phi_0$ is directly given by the flux $\Phi$ in units of the flux quantum $\Phi_0=h/(2e)$. This can be used as a building block to construct a two-dimensional Josephson array. In this setup $\chi$ will be a background field defining a pseudoscalar $\Delta_5$ that can be tuned to desired configuration. While in a uniform background field $\Delta_5$ the dynamics of $\phi$ is given by standard XY model and its associated vortices, a {\em staggered} background $\pm\Delta_5$ (or equivalently $\chi$ and $\chi+\pi$ in alternating lattice sites) creates a new set of minima for the $\phi$ field that will support half-vortex excitations. An isolated single synthetic "half-vortex" in the $\chi$ field in an otherwise uniform background will bind a $\phi$-half-vortex. This is similar to the way a p-wave superconducting vortex core binds a Majorana fermion.

categories: cond-mat.supr-con cond-mat.stat-mech hep-lat hep-th


title: Tunning the tilt of a Dirac cone by atomic manipulations: application to 8Pmmn borophene

abstract: We decipher the microscopic mechanism of the formation of tilt in the two-dimensional Dirac cone of $8Pmmn$ borphene. In our ab-initio calculations, we identify relevant low-energy degrees of freedom on the $8Pmmn$ lattice and find that these atomic orbitals reside on an effective honeycomb lattice (inner sites), while the high-energy degrees of freedom reside on the rest of the $8Pmmn$ lattice (ridge sites). Integrating out the high-energy atomic orbitals, gives rise to remarkably large effective further neighbor hoppings on the coarse grained "honeycomb graph" of inner sites that determine the location and tilt of the Dirac cone. Molecular orbitals -- that can be modified by atomic manipulations -- are responsible for the creation of further neighbor edges on the honeycomb graph that controls the tilt of the resulting Dirac cone. This leads to an effective tight-binding model on a parent honeycomb graph that facilitates numerical modeling of various effects such as disorder/interactions/symmetry-breaking for tilted Dirac cone fermions. Since the tilt is a proxy to spacetime metric, our result offers a robust perspective on the fabrication of desired emergent spacetime structure and synthesis of geometric forces at ambient conditions that are likely to enhance our control on the movement of electrons in electric/optical devices.

categories: cond-mat.mtrl-sci cond-mat.str-el gr-qc hep-lat


title: RTE: A Tool for Annotating Relation Triplets from Text

abstract: In this work, we present a Web-based annotation tool `Relation Triplets Extractor' \footnote{https://abera87.github.io/annotate/} (RTE) for annotating relation triplets from the text. Relation extraction is an important task for extracting structured information about real-world entities from the unstructured text available on the Web. In relation extraction, we focus on binary relation that refers to relations between two entities. Recently, many supervised models are proposed to solve this task, but they mostly use noisy training data obtained using the distant supervision method. In many cases, evaluation of the models is also done based on a noisy test dataset. The lack of annotated clean dataset is a key challenge in this area of research. In this work, we built a web-based tool where researchers can annotate datasets for relation extraction on their own very easily. We use a server-less architecture for this tool, and the entire annotation operation is processed using client-side code. Thus it does not suffer from any network latency, and the privacy of the user's data is also maintained. We hope that this tool will be beneficial for the researchers to advance the field of relation extraction.


title: A note on the Gaffney Laplacian on infinite metric graphs

abstract: We show that the deficiency indices of the minimal Gaffney Laplacian on an infinite locally finite metric graph are equal to the number of finite volume graph ends. Moreover, we provide criteria, formulated in terms of finite volume graph ends, for the Gaffney Laplacian to be closed.


title: Generalizing MLPs With Dropouts, Batch Normalization, and Skip Connections

abstract: A multilayer perceptron (MLP) is typically made of multiple fully connected layers with nonlinear activation functions. There have been several approaches to make them better (e.g. faster convergence, better convergence limit, etc.). But the researches lack structured ways to test them. We test different MLP architectures by carrying out the experiments on the age and gender datasets. We empirically show that by whitening inputs before every linear layer and adding skip connections, our proposed MLP architecture can result in better performance. Since the whitening process includes dropouts, it can also be used to approximate Bayesian inference. We have open sourced our code, and released models and docker images at https://github.com/tae898/age-gender/


title: ME-PCN: Point Completion Conditioned on Mask Emptiness

abstract: Point completion refers to completing the missing geometries of an object from incomplete observations. Main-stream methods predict the missing shapes by decoding a global feature learned from the input point cloud, which often leads to deficient results in preserving topology consistency and surface details. In this work, we present ME-PCN, a point completion network that leverages `emptiness' in 3D shape space. Given a single depth scan, previous methods often encode the occupied partial shapes while ignoring the empty regions (e.g. holes) in depth maps. In contrast, we argue that these `emptiness' clues indicate shape boundaries that can be used to improve topology representation and detail granularity on surfaces. Specifically, our ME-PCN encodes both the occupied point cloud and the neighboring `empty points'. It estimates coarse-grained but complete and reasonable surface points in the first stage, followed by a refinement stage to produce fine-grained surface details. Comprehensive experiments verify that our ME-PCN presents better qualitative and quantitative performance against the state-of-the-art. Besides, we further prove that our `emptiness' design is lightweight and easy to embed in existing methods, which shows consistent effectiveness in improving the CD and EMD scores.


title: Airborne Quantum Key Distribution with Boundary Layer Effects

abstract: Airborne quantum key distribution (QKD) is now becoming a flexible bond between terrestrial fiber and satellite, which is an efficient solution to establish a mobile, on-demand, and real-time coverage quantum network. Furthermore, When the aircraft is flying at a high speed, usually larger than 0.3 Ma, the produced boundary layer will impair the performance of aircraft-based QKD. The boundary layer would introduce random wavefront aberration, jitter and extra intensity attenuation to the transmitted photons. However, previous airborne QKD implementations only considered the influences from atmospheric turbulence and molecular scattering, but ignored the boundary layer effects. In this article, we propose a detailed performance evaluation scheme of airborne QKD with boundary layer effects and estimate the overall photon transmission efficiency, quantum bit error rate and final secure key rate. Through simulations and modeling, in our proposed airborne QKD scenario, the boundary layer would introduce 3.5dB loss to the transmitted photons and decrease 70.7% of the secure key rate, which shows that the aero-optical effects caused by the boundary layer can not be ignored. With tolerated quantum bit error rate set to 10%, the suggested quantum communication azimuth angle between the aircraft and the ground station is within 60 degrees. Moreover, the optimal beacon laser module and adaptive optics module are suggested to be employed to improve the performance of airborne QKD system. Our detailed airborne QKD evaluation study can be performed to the future airborne quantum communication designs.


title: FOX-NAS: Fast, On-device and Explainable Neural Architecture Search

abstract: Neural architecture search can discover neural networks with good performance, and One-Shot approaches are prevalent. One-Shot approaches typically require a supernet with weight sharing and predictors that predict the performance of architecture. However, the previous methods take much time to generate performance predictors thus are inefficient. To this end, we propose FOX-NAS that consists of fast and explainable predictors based on simulated annealing and multivariate regression. Our method is quantization-friendly and can be efficiently deployed to the edge. The experiments on different hardware show that FOX-NAS models outperform some other popular neural network architectures. For example, FOX-NAS matches MobileNetV2 and EfficientNet-Lite0 accuracy with 240% and 40% less latency on the edge CPU. FOX-NAS is the 3rd place winner of the 2020 Low-Power Computer Vision Challenge (LPCVC), DSP classification track. See all evaluation results at https://lpcv.ai/competitions/2020. Search code and pre-trained models are released at https://github.com/great8nctu/FOX-NAS.


title: Higher-order interactions improve optimal collective dynamics on networks

abstract: Collective behavior plays a key role in the function of a wide range of physical, biological, and neurological systems where empirical evidence has recently uncovered the prevalence of higher-order interactions, i.e., structures that represent interactions between more than just two individual units, in complex network structures. Here, we study the optimization of collective behavior in networks with higher-order interactions encoded in clique complexes. Our approach involves adapting the Synchrony Alignment Function framework to a new composite Laplacian matrix that encodes multi-order interactions including, e.g., both dyadic and triadic couplings. We show that as higher-order coupling interactions are equitably strengthened, so that overall coupling is conserved, the optimal collective behavior improves. We find that this phenomenon stems from the broadening of a composite Laplacian's eigenvalue spectrum, which improves the optimal collective behavior and widens the range of possible behaviors. Moreover, we find in constrained optimization scenarios that a nontrivial, ideal balance between the relative strengths of pair-wise and higher-order interactions leads to the strongest collective behavior supported by a network. This work provides insight into how systems balance interactions of different types to optimize or broaden their dynamical range of behavior, especially for self-regulating systems like the brain.


title: Masked Face Recognition Challenge: The InsightFace Track Report

abstract: During the COVID-19 coronavirus epidemic, almost everyone wears a facial mask, which poses a huge challenge to deep face recognition. In this workshop, we organize Masked Face Recognition (MFR) challenge and focus on bench-marking deep face recognition methods under the existence of facial masks. In the MFR challenge, there are two main tracks: the InsightFace track and the WebFace260M track. For the InsightFace track, we manually collect a large-scale masked face test set with 7K identities. In addition, we also collect a children test set including 14K identities and a multi-racial test set containing 242K identities. By using these three test sets, we build up an online model testing system, which can give a comprehensive evaluation of face recognition models. To avoid data privacy problems, no test image is released to the public. As the challenge is still under-going, we will keep on updating the top-ranked solutions as well as this report on the arxiv.


title: Comparing the spatial and kinematic distribution of gas and young stars around the shell-like structure in the CMa OB1 association

abstract: The relationship between young stellar clusters and respective parental molecular clouds is still an open issue: for instance, are the similarities between substructures of clouds and clusters just a coincidence? Or would they be the indication of a physical relationship? In order to address these issues, we have studied the CMa OB1/R1 region that shows evidence for a complex star formation history. We obtained molecular clouds mapping with the IRAM-30 metre telescope to reveal the physical conditions of an unexplored side of the CMa region aiming to compare the morphology of the clouds with the distribution of the young stellar objects (YSOs). We also study the clouds kinematics searching for gradients and jet signatures that could trace different star formation scenarios. The YSOs were selected on the basis of astrometric data from Gaia EDR3 that characterise the moving groups. The distance of 1099$_{-24}^{+25}$ pc was obtained for the sample, based on the mean error-weighted parallax. Optical and near-infrared photometry is used to verify the evolutionary status and circumstellar characteristics of the YSOs. Among the selected candidates we found 40 members associated with the cloud: 1 Class I, 11 Class II, and 28 Class III objects. Comparing the spatial distribution of the stellar population with the cores revealed by the 13CO map, we verify that peaks of emission coincide with the position of YSOs confirming the association of these objects to their dense natal gas. Our observations support the large-scale scenario of the CMa shell-like structure formed as a relic of successive supernova events.


title: On the Milnor fibration of certain Newton degenerate functions

abstract: It is well known that the diffeomorphism-type of the Milnor fibration of a (Newton) non-degenerate polynomial function $f$ is uniquely determined by the Newton boundary of $f$. In the present paper, we generalize this result to certain degenerate functions, namely we show that the diffeomorphism-type of the Milnor fibration of a (possibly degenerate) polynomial function of the form $f=f^1\cdots f^{k_0}$ is uniquely determined by the Newton boundaries of $f^1,\ldots, f^{k_0}$ if $\{f^{k_1}=\cdots=f^{k_m}=0\}$ is a non-degenerate complete intersection variety for any $k_1,\ldots,k_m\in \{1,\ldots, k_0\}$.


title: On variance estimation for the one-sample log-rank test

abstract: Time-to-event endpoints show an increasing popularity in phase II cancer trials. The standard statistical tool for such one-armed survival trials is the one-sample log-rank test. Its distributional properties are commonly derived in the large sample limit. It is however known from the literature, that the asymptotical approximations suffer when sample size is small. There have already been several attempts to address this problem. While some approaches do not allow easy power and sample size calculations, others lack a clear theoretical motivation and require further considerations. The problem itself can partly be attributed to the dependence of the compensated counting process and its variance estimator. For this purpose, we suggest a variance estimator which is uncorrelated to the compensated counting process. Moreover, this and other present approaches to variance estimation are covered as special cases by our general framework. For practical application, we provide sample size and power calculations for any approach fitting into this framework. Finally, we use simulations and real world data to study the empirical type I error and power performance of our methodology as compared to standard approaches.


title: ALLNet: A Hybrid Convolutional Neural Network to Improve Diagnosis of Acute Lymphocytic Leukemia (ALL) in White Blood Cells

abstract: Due to morphological similarity at the microscopic level, making an accurate and time-sensitive distinction between blood cells affected by Acute Lymphocytic Leukemia (ALL) and their healthy counterparts calls for the usage of machine learning architectures. However, three of the most common models, VGG, ResNet, and Inception, each come with their own set of flaws with room for improvement which demands the need for a superior model. ALLNet, the proposed hybrid convolutional neural network architecture, consists of a combination of the VGG, ResNet, and Inception models. The ALL Challenge dataset of ISBI 2019 (available here) contains 10,691 images of white blood cells which were used to train and test the models. 7,272 of the images in the dataset are of cells with ALL and 3,419 of them are of healthy cells. Of the images, 60% were used to train the model, 20% were used for the cross-validation set, and 20% were used for the test set. ALLNet outperformed the VGG, ResNet, and the Inception models across the board, achieving an accuracy of 92.6567%, a sensitivity of 95.5304%, a specificity of 85.9155%, an AUC score of 0.966347, and an F1 score of 0.94803 in the cross-validation set. In the test set, ALLNet achieved an accuracy of 92.0991%, a sensitivity of 96.5446%, a specificity of 82.8035%, an AUC score of 0.959972, and an F1 score of 0.942963. The utilization of ALLNet in the clinical workspace can better treat the thousands of people suffering from ALL across the world, many of whom are children.


title: Empirical Comparison of Black-box Test Case Generation Tools for RESTful APIs

abstract: In literature, we can find research tools to automatically generate test cases for RESTful APIs, addressing the specificity of this particular programming domain. However, no direct comparison of these tools is available to guide developers in deciding which tool best fits their REST API project. In this paper, we present the results of an empirical comparison of automated black-box test case generation approaches for REST APIs. We surveyed the available black-box testing tools that have been proposed in recent literature, finding four usable prototypes: RestTestGen, RESTler, bBOXRT and RESTest. We used these tools to generate test cases for 14 real-world REST services. Then, testing results have been analyzed and compared in terms of robustness (i.e., success rate) and test coverage. Among the considered tools, RESTler appears to be the most solid, able to successfully test all case studies (the other tools experienced crashes). Conversely, test cases generated by RestTestGen scored the highest coverage, suggesting that its testing strategy is the most effective in testing REST APIs.


title: CARE: Coherent Actionable Recourse based on Sound Counterfactual Explanations

abstract: Counterfactual explanation methods interpret the outputs of a machine learning model in the form of "what-if scenarios" without compromising the fidelity-interpretability trade-off. They explain how to obtain a desired prediction from the model by recommending small changes to the input features, aka recourse. We believe an actionable recourse should be created based on sound counterfactual explanations originating from the distribution of the ground-truth data and linked to the domain knowledge. Moreover, it needs to preserve the coherency between changed/unchanged features while satisfying user/domain-specified constraints. This paper introduces CARE, a modular explanation framework that addresses the model- and user-level desiderata in a consecutive and structured manner. We tackle the existing requirements by proposing novel and efficient solutions that are formulated in a multi-objective optimization framework. The designed framework enables including arbitrary requirements and generating counterfactual explanations and actionable recourse by choice. As a model-agnostic approach, CARE generates multiple, diverse explanations for any black-box model in tabular classification and regression settings. Several experiments on standard data sets and black-box models demonstrate the effectiveness of our modular framework and its superior performance compared to the baselines.


title: Dimension-free Bounds for Sums of Independent Matrices and Simple Tensors via the Variational Principle

abstract: We consider the deviation inequalities for the sums of independent $d$ by $d$ random matrices, as well as rank one random tensors. Our focus is on the non-isotropic case and the bounds that do not depend explicitly on the dimension $d$, but rather on the effective rank. In an elementary and unified manner, we show the following results: 1) A deviation bound for the sums of independent positive-semi-definite matrices. This result complements the dimension-free bound of Koltchinskii and Lounici [Bernoulli, 2017] on the sample covariance matrix in the sub-Gaussian case. 2) A new bound for truncated covariance matrices that is used to prove a dimension-free version of the bound of Adamczak, Litvak, Pajor and Tomczak-Jaegermann [Journal Of Amer. Math. Soc., 2010] on the sample covariance matrix in the log-concave case. 3) Dimension-free bounds for the operator norm of the sums of random tensors of rank one formed either by sub-Gaussian or by log-concave random vectors. This complements the result of Gu\'{e}don and Rudelson [Adv. in Math., 2007]. 4) A non-isotropic version of the result of Alesker [Geom. Asp. of Funct. Anal., 1995] on the deviation of the norm of sub-exponential random vectors. 5) A dimension-free lower tail bound for sums of positive semi-definite matrices with heavy-tailed entries, sharpening the bound of Oliveira [Prob. Th. and Rel. Fields, 2016]. Our approach is based on the duality formula between entropy and moment generating functions. In contrast to the known proofs of dimension-free bounds, we avoid Talagrand's majorizing measure theorem, as well as generic chaining bounds for empirical processes. Some of our tools were pioneered by O. Catoni and co-authors in the context of robust statistical estimation.


title: Modeling Performance and Energy trade-offs in Online Data-Intensive Applications

abstract: We consider energy minimization for data-intensive applications run on large number of servers, for given performance guarantees. We consider a system, where each incoming application is sent to a set of servers, and is considered to be completed if a subset of them finish serving it. We consider a simple case when each server core has two speed levels, where the higher speed can be achieved by higher power for each core independently. The core selects one of the two speeds probabilistically for each incoming application request. We model arrival of application requests by a Poisson process, and random service time at the server with independent exponential random variables. Our model and analysis generalizes to today's state-of-the-art in CPU energy management where each core can independently select a speed level from a set of supported speeds and corresponding voltages. The performance metrics under consideration are the mean number of applications in the system and the average energy expenditure. We first provide a tight approximation to study this previously intractable problem and derive closed form approximate expressions for the performance metrics when service times are exponentially distributed. Next, we study the trade-off between the approximate mean number of applications and energy expenditure in terms of the switching probability.


title: Implementation of a broadband focal plane estimator for high-contrast dark zones

abstract: The characterization of exoplanet atmospheres using direct imaging spectroscopy requires high-contrast over a wide wavelength range. We study a recently proposed focal plane wavefront estimation algorithm that exclusively uses broadband images to estimate the electric field. This approach therefore reduces the complexity and observational overheads compared to traditional single wavelength approaches. The electric field is estimated as an incoherent sum of monochromatic intensities with the pair-wise probing technique. This paper covers the detailed implementation of the algorithm and an application to the High-contrast Imager for Complex Aperture Telescopes (HiCAT) testbed with the goal to compare the performance between the broadband and traditional narrowband filter approaches.


title: Probing IGM Physics during Cosmic Dawn using the Redshifted 21-cm Bispectrum

abstract: With the advent of the first luminous sources at Cosmic Dawn (CD), the redshifted 21-cm signal, from the neutral hydrogen in the Inter-Galactic Medium (IGM), is predicted to undergo a transition from absorption to emission against the CMB. Using simulations, we show that the redshift evolution of the sign and the magnitude of the 21-cm bispectrum can disentangle the contributions from Ly$\alpha$ coupling and X-ray heating of the IGM, the two most dominant processes which drive this transition. This opens a new avenue to probe the first luminous sources and the IGM physics at CD.


title: Overfitting the Data: Compact Neural Video Delivery via Content-aware Feature Modulation

abstract: Internet video delivery has undergone a tremendous explosion of growth over the past few years. However, the quality of video delivery system greatly depends on the Internet bandwidth. Deep Neural Networks (DNNs) are utilized to improve the quality of video delivery recently. These methods divide a video into chunks, and stream LR video chunks and corresponding content-aware models to the client. The client runs the inference of models to super-resolve the LR chunks. Consequently, a large number of models are streamed in order to deliver a video. In this paper, we first carefully study the relation between models of different chunks, then we tactfully design a joint training framework along with the Content-aware Feature Modulation (CaFM) layer to compress these models for neural video delivery. {\bf With our method, each video chunk only requires less than $1\% $ of original parameters to be streamed, achieving even better SR performance.} We conduct extensive experiments across various SR backbones, video time length, and scaling factors to demonstrate the advantages of our method. Besides, our method can be also viewed as a new approach of video coding. Our primary experiments achieve better video quality compared with the commercial H.264 and H.265 standard under the same storage cost, showing the great potential of the proposed method. Code is available at:\url{https://github.com/Neural-video-delivery/CaFM-Pytorch-ICCV2021}


title: A compact instrument for gamma-ray burst detection on a CubeSat platform I: Design drivers and expected performance

abstract: The Educational Irish Research Satellite 1 (EIRSAT-1) is a 2U CubeSat being developed under ESA's Fly Your Satellite! programme. The project has many aspects, which are primarily educational, but also include space qualification of new detector technologies for gamma-ray astronomy and the detection of gamma-ray bursts (GRBs). The Gamma-ray Module (GMOD), the main mission payload, is a small gamma-ray spectrometer comprising a 25 mm $\times$ 25 mm $\times$ 40 mm cerium bromide scintillator coupled to an array of 16 silicon photomultipliers. The readout is provided by IDE3380 (SIPHRA), a low-power and radiation tolerant readout ASIC. GMOD will detect gamma-rays and measure their energies in a range from tens of keV to a few MeV. Monte Carlo simulations were performed using the Medium Energy Gamma-ray Astronomy Library to evaluate GMOD's capability for the detection of GRBs in low Earth orbit. The simulations used a detailed mass model of the full spacecraft derived from a very high-fidelity 3D CAD model. The sky-average effective area of GMOD on board EIRSAT-1 was found to be 10 cm$^2$ at 120 keV. The instrument is expected to detect between 11 and 14 GRBs, at a significance greater than 10$\sigma$ (and up to 32 at 5$\sigma$), during a nominal one-year mission. The shape of the scintillator in GMOD results in omni-directional sensitivity which allows for a nearly all-sky field of view.


title: Intercomparison of micro- and nanodosimetry Monte Carlo simulations: an approach to assess the influence of different cross-sections for low-energy electrons on the dispersion of results

abstract: An intercomparison of microdosimetric and nanodosimetric quantities simulated Monte Carlo codes is in progress with the goal of assessing the uncertainty contribution to simulated results due to the uncertainties of the electron interaction cross-sections used in the codes. In the first stage of the intercomparison, significant discrepancies were found for nanodosimetric quantities as well as for microdosimetric simulations of a radiation source placed at the surface of a spherical water scoring volume. This paper reports insight gained from further analysis, including additional results for the microdosimetry case where the observed discrepancies in the simulated distributions could be traced back to the difference between track-structure and condensed-history approaches. Furthermore, detailed investigations into the sensitivity of nanodosimetric distributions to alterations in inelastic electron scattering cross-sections are presented which were conducted in the lead up to the definition of an approach to be used in the second stage of the intercomparison to come. The suitability of simulation results for assessing the sought uncertainty contributions from cross-sections is discussed and a proposed framework is described.


title: An Attention Module for Convolutional Neural Networks

abstract: Attention mechanism has been regarded as an advanced technique to capture long-range feature interactions and to boost the representation capability for convolutional neural networks. However, we found two ignored problems in current attentional activations-based models: the approximation problem and the insufficient capacity problem of the attention maps. To solve the two problems together, we initially propose an attention module for convolutional neural networks by developing an AW-convolution, where the shape of attention maps matches that of the weights rather than the activations. Our proposed attention module is a complementary method to previous attention-based schemes, such as those that apply the attention mechanism to explore the relationship between channel-wise and spatial features. Experiments on several datasets for image classification and object detection tasks show the effectiveness of our proposed attention module. In particular, our proposed attention module achieves 1.00% Top-1 accuracy improvement on ImageNet classification over a ResNet101 baseline and 0.63 COCO-style Average Precision improvement on the COCO object detection on top of a Faster R-CNN baseline with the backbone of ResNet101-FPN. When integrating with the previous attentional activations-based models, our proposed attention module can further increase their Top-1 accuracy on ImageNet classification by up to 0.57% and COCO-style Average Precision on the COCO object detection by up to 0.45. Code and pre-trained models will be publicly available.


title: On Einstein equations with cosmological constant in braneworld models

abstract: In this paper, we investigate the Einstein equations with cosmological constant for Randall-Sundrum (RS) and Dvali-Gabadadze-Porrati (DGP) models to determine the warp functions in the context of warp product spacetimes. In RS model, it is shown that Einstein's equation in the bulk is reduced into the brane as a vacuum equation, having vacuum solution, which is not affected by the cosmological constant in the bulk. In DGP model, it is shown that the Einstein's equation in the bulk is reduced into the brane and along the extra dimension, where both equations are affected by the cosmological constant in the bulk. We have solved these equations in DGP model, subject to vanishing cosmological constants on the brane and along extra dimension, and obtained exact solutions for the warp functions. The solutions depend on the typical values of cosmological constant in the bulk as well as the dimension of the brane. So, corresponding to the typical values, some solutions have exponential behaviours which may be set to represent warp inflation on the brane, and some other solutions have oscillating behaviours which may be set to represent warp waves or branes waves along the extra dimension.


title: SHAQ: Single Headed Attention with Quasi-Recurrence

abstract: Natural Language Processing research has recently been dominated by large scale transformer models. Although they achieve state of the art on many important language tasks, transformers often require expensive compute resources, and days spanning to weeks to train. This is feasible for researchers at big tech companies and leading research universities, but not for scrappy start-up founders, students, and independent researchers. Stephen Merity's SHA-RNN, a compact, hybrid attention-RNN model, is designed for consumer-grade modeling as it requires significantly fewer parameters and less training time to reach near state of the art results. We analyze Merity's model here through an exploratory model analysis over several units of the architecture considering both training time and overall quality in our assessment. Ultimately, we combine these findings into a new architecture which we call SHAQ: Single Headed Attention Quasi-recurrent Neural Network. With our new architecture we achieved similar accuracy results as the SHA-RNN while accomplishing a 4x speed boost in training.


title: Circuit Complexity in $U(1)$ Gauge Theory

abstract: We study circuit complexity for a free vector field of a $U(1)$ gauge theory in Coulomb gauge, and Gaussian states. We introduce a quantum circuit model with Gaussian states, including reference and target states. Using the Nielsen's geometric approach, the complexity then can be found as the shortest geodesic in the space of states. This geodesic is based on the notion of geodesic distance on the Lie group of Bogoliubov transformations equipped with a right-invariant metric. We use the framework of the covariance matrix to compute circuit complexity between Gaussian states. We apply this framework to the free vector field in general dimensions where we compute the circuit complexity of the ground state of the Hamiltonian.


title: Restats: A Test Coverage Tool for RESTful APIs

abstract: Test coverage is a standard measure used to evaluate the completeness of a test suite. Coverage is typically computed on source code, by assessing the extent of source code entities (e.g., statements, data dependencies, control dependencies) that are exercised when running test cases. When considering REST APIs, an alternative perspective to assess test suite completeness is with respect to the service definition. This paper presents Restats, a test coverage tool for REST APIs that supports eight state-of-the-art test coverage metrics with a black-box perspective, i.e., only relying on the OpenAPI interface specification of the REST API under test. In fact, metrics are computed by only observing the HTTP requests and responses occurring at testing time, and no access to source/compiled code of the REST API is required. These coverage metrics come in handy for: (i) developers and test engineers working at development and maintenance tasks; (ii) stakeholders and customers who want to evaluate the completeness of acceptance tests; (iii) researches interested in comparing different automated test case generation strategies.


title: Stabilization of product states and excited-state quantum phase transitions in a coupled qubit-field system

abstract: We study a system of a single qubit (or a few qubits) interacting with a soft-mode bosonic field. Considering an extended version of the Rabi model with both parity-conserving and parity-violating interactions, we disclose a complex arrangement of quantum phase transitions in the ground- and excited-state domains. An experimentally testable signature of some of these transitions is a dynamical stabilization of a fully factorized qubit-field state involving the field vacuum. It happens in the ultrastrong coupling regime where the superradiant field equilibrium is far from the vacuum state. The degree of stabilization varies abruptly with interaction parameters and increases with the softness of the field mode. We analyze semiclassical origins of these effects and show their connection to various forms of excited-state quantum phase transitions.


title: MBRS : Enhancing Robustness of DNN-based Watermarking by Mini-Batch of Real and Simulated JPEG Compression

abstract: Based on the powerful feature extraction ability of deep learning architecture, recently, deep-learning based watermarking algorithms have been widely studied. The basic framework of such algorithm is the auto-encoder like end-to-end architecture with an encoder, a noise layer and a decoder. The key to guarantee robustness is the adversarial training with the differential noise layer. However, we found that none of the existing framework can well ensure the robustness against JPEG compression, which is non-differential but is an essential and important image processing operation. To address such limitations, we proposed a novel end-to-end training architecture, which utilizes Mini-Batch of Real and Simulated JPEG compression (MBRS) to enhance the JPEG robustness. Precisely, for different mini-batches, we randomly choose one of real JPEG, simulated JPEG and noise-free layer as the noise layer. Besides, we suggest to utilize the Squeeze-and-Excitation blocks which can learn better feature in embedding and extracting stage, and propose a "message processor" to expand the message in a more appreciate way. Meanwhile, to improve the robustness against crop attack, we propose an additive diffusion block into the network. The extensive experimental results have demonstrated the superior performance of the proposed scheme compared with the state-of-the-art algorithms. Under the JPEG compression with quality factor Q=50, our models achieve a bit error rate less than 0.01% for extracted messages, with PSNR larger than 36 for the encoded images, which shows the well-enhanced robustness against JPEG attack. Besides, under many other distortions such as Gaussian filter, crop, cropout and dropout, the proposed framework also obtains strong robustness. The code implemented by PyTorch \cite{2011torch7} is avaiable in https://github.com/jzyustc/MBRS.


title: Confidence Adaptive Regularization for Deep Learning with Noisy Labels

abstract: Recent studies on the memorization effects of deep neural networks on noisy labels show that the networks first fit the correctly-labeled training samples before memorizing the mislabeled samples. Motivated by this early-learning phenomenon, we propose a novel method to prevent memorization of the mislabeled samples. Unlike the existing approaches which use the model output to identify or ignore the mislabeled samples, we introduce an indicator branch to the original model and enable the model to produce a confidence value for each sample. The confidence values are incorporated in our loss function which is learned to assign large confidence values to correctly-labeled samples and small confidence values to mislabeled samples. We also propose an auxiliary regularization term to further improve the robustness of the model. To improve the performance, we gradually correct the noisy labels with a well-designed target estimation strategy. We provide the theoretical analysis and conduct the experiments on synthetic and real-world datasets, demonstrating that our approach achieves comparable results to the state-of-the-art methods.


title: Experimental investigation of thermal boundary layers and associated heat loss for transient engine-relevant processes using HRCARS and phosphor thermometry

abstract: Design of efficient, downsized piston engines requires an understanding of transient wall heat losses. Measurements of the spatially and temporally evolving thermal boundary layer (TBL) are required to facilitate this knowledge. This work takes advantage of hybrid fs/ps rotational coherent anti-Stokes Raman spectroscopy (HRCARS) to measure single-shot, wall-normal gas temperatures, which provide exclusive access to the TBL. Phosphor thermometry is used to measure wall temperature. Experiments are performed in a fixed-volume chamber that operates with a transient pressure rise/decay to simulate engine-relevant compression/expansion events. This simplified environment is conducive for fundamental BL studies associated with engine-relevant processes. The TBL development and corresponding heat losses are evaluated within two engine-relevant regimes: (1) an unburned-gas regime comprised of gaseous compression and (2) a burned-gas regime, which includes high-temperature compression/expansion processes. The time-history of important BL quantities such as gas / wall temperatures, TBL thickness, wall heat flux, and relative energy lost at the wall are evaluated in these regimes. During the mild compression, Tcore increases by 30K and a TBL is initiated with {\delta}T ~ 200 {\mu}m. Wall heat fluxes remain below 6 kW/m2, but corresponds to ~6% energy loss per ms. In the burned-gas regime, Tcore resembles adiabatic flame temperatures, while Twall increases by 16K. A TBL rapidly develops as {\delta}T increases from 290-730 {\mu}m. Energy losses in excess of 25% occur after flame impingement and slowly decay to ~10% at the end of expansion. Measurements also resolve thermal mixing of fresh- and burned gases during expansion, which yield strong temperature reversals in the TBL. Findings are compared to canonical environments and demonstrate the transient TBL nature during engine-relevant processes.


title: Distinguishing Healthy Ageing from Dementia: a Biomechanical Simulation of Brain Atrophy using Deep Networks

abstract: Biomechanical modeling of tissue deformation can be used to simulate different scenarios of longitudinal brain evolution. In this work,we present a deep learning framework for hyper-elastic strain modelling of brain atrophy, during healthy ageing and in Alzheimer's Disease. The framework directly models the effects of age, disease status, and scan interval to regress regional patterns of atrophy, from which a strain-based model estimates deformations. This model is trained and validated using 3D structural magnetic resonance imaging data from the ADNI cohort. Results show that the framework can estimate realistic deformations, following the known course of Alzheimer's disease, that clearly differentiate between healthy and demented patterns of ageing. This suggests the framework has potential to be incorporated into explainable models of disease, for the exploration of interventions and counterfactual examples.


title: Goodman-Fried surgery, Birkhoff section, and R-covered Anosov flows

abstract: In this paper, we show that any topologically transitive Anosov flow on a closed three-dimensional manifold with the orientable weak stable and unstable foliations turns into an R-covered one by a Goodman-Fried surgery along periodic points. When a Birkhoff section of the Anosov flow is given, we can choose the periodic points from the boundary of the Birkhoff section.


title: Dark zone maintenance results for segmented aperture wavefront error drift in a high contrast space coronagraph

abstract: Due to the limited number of photons, directly imaging planets requires long integration times with a coronagraphic instrument. The wavefront must be stable on the same time scale, which is often difficult in space due to thermal variations and other mechanical instabilities. In this paper, we discuss the implications on future space mission observing conditions of our recent laboratory demonstration of a dark zone maintenance (DZM) algorithm. The experiments are performed on the High-contrast imager for Complex Aperture Telescopes (HiCAT) at the Space Telescope Science Institute (STScI). The testbed contains a segmented aperture, a pair of continuous deformable mirrors (DMs), and a lyot coronagraph. The segmented aperture injects high order wavefront aberration drifts into the system which are then corrected by the DMs downstream via the DZM algorithm. We investigate various drift modes including segmented aperture drift, all three DMs drift simultaneously, and drift correction at multiple wavelengths.