title: On the Asymptotic $u_0$-Expected Flooding Time of Stationary Edge-Markovian Graphs

abstract: Consider that $u_0$ nodes are aware of some piece of data $d_0$. This note derives the expected time required for the data $d_0$ to be disseminated through-out a network of $n$ nodes, when communication between nodes evolves according to a graphical Markov model $\overline{ \mathcal{G}}_{n,\hat{p}}$ with probability parameter $\hat{p}$. In this model, an edge between two nodes exists at discrete time $k \in \mathbb{N}^+$ with probability $\hat{p}$ if this edge existed at $k-1$, and with probability $(1-\hat{p})$ if this edge did not exist at $k-1$. Each edge is interpreted as a bidirectional communication link over which data between neighbors is shared. The initial communication graph is assumed to be an Erdos-Renyi random graph with parameters $(n,\hat{p})$, hence we consider a \emph{stationary} Markov model $\overline{\mathcal{G}}_{n,\hat{p}}$. The asymptotic "$u_0$-expected flooding time" of $\overline{\mathcal{G}}_{n,\hat{p}}$ is defined as the expected number of iterations required to transmit the data $d_0$ from $u_0$ nodes to $n$ nodes, in the limit as $n$ approaches infinity. Although most previous results on the asymptotic flooding time in graphical Markov models are either \emph{almost sure} or \emph{with high probability}, the bounds obtained here are \emph{in expectation}. However, our bounds are tighter and can be more complete than previous results.


title: Query-controllable Video Summarization

abstract: When video collections become huge, how to explore both within and across videos efficiently is challenging. Video summarization is one of the ways to tackle this issue. Traditional summarization approaches limit the effectiveness of video exploration because they only generate one fixed video summary for a given input video independent of the information need of the user. In this work, we introduce a method which takes a text-based query as input and generates a video summary corresponding to it. We do so by modeling video summarization as a supervised learning problem and propose an end-to-end deep learning based method for query-controllable video summarization to generate a query-dependent video summary. Our proposed method consists of a video summary controller, video summary generator, and video summary output module. To foster the research of query-controllable video summarization and conduct our experiments, we introduce a dataset that contains frame-based relevance score labels. Based on our experimental result, it shows that the text-based query helps control the video summary. It also shows the text-based query improves our model performance. Our code and dataset: https://github.com/Jhhuangkay/Query-controllable-Video-Summarization.


title: More Absent-Minded Passengers

abstract: We offer a formula for the probability distribution of the number of misseated airplane passengers resulting from the presence of multiple absent-minded passengers, given the number of seats available and the number of absent-minded passengers. This extends the work of Henze and Last on the absent-minded passenger problem.


title: Interaction between moving Abrikosov vortices in type-II superconductors

abstract: The self-energy of a moving vortex is shown do decrease with increasing velocity. The interaction energy of two parallel slowly moving vortices differs from the static case by a small term $\propto v^2$; the "slow" motion is defined as having the velocity $v<v_c =c^2/4\pi\sigma\lambda$, where $\sigma (T)$ is conductivity of the normal excitations and $\lambda (T)$ is London penetration depth. For higher velocities, $v>v_c(T)$, the interaction energy of two vortices situated along the velocity direction is enhanced and along the perpendicular direction is suppressed compared to the static case.


title: Photo-Seebeck effect in single-crystalline bismuth telluride topological insulator

abstract: Bismuth telluride is a low energy bulk band-gap topological system with conducting surface states. Besides its very good thermoelectric properties, it also makes a very good candidate for broadband photodetectors. Here, we report temperature-dependent photo-Seebeck effect in a bulk single crystalline bismuth telluride. On light illumination, an electrically biased sample shows distinguishable contributions in the measured current due to both the Seebeck effect and the normal photo-generated carriers within a narrow layer of the sample. Detailed experiments are performed to elucidate the distinction between the Seebeck contribution and the photogenerated current. The temperature-dependence of the photocurrent without Seebeck contribution shows a sign reversal from negative to positive at a specific temperature depending on the wavelength of photoexcitation light.


title: Interval Observers for Simultaneous State and Model Estimation of Partially Known Nonlinear Systems

abstract: We study the problem of designing interval-valued observers that simultaneously estimate the system state and learn an unknown dynamic model for partially unknown nonlinear systems with dynamic unknown inputs and bounded noise signals. Leveraging affine abstraction methods and the existence of nonlinear decomposition functions, as well as applying our previously developed data-driven function over-approximation/abstraction approach to over-estimate the unknown dynamic model, our proposed observer recursively computes the maximal and minimal elements of the estimate intervals that are proven to contain the true augmented states. Then, using observed output/measurement signals, the observer iteratively shrinks the intervals by eliminating estimates that are not compatible with the measurements. Finally, given new interval estimates, the observer updates the over-approximation of the unknown model dynamics. Moreover, we provide sufficient conditions for uniform boundedness of the sequence of estimate interval widths, i.e., stability of the designed observer, in the form of tractable (mixed-)integer programs with finitely countable feasible sets.


title: Compositional Formal Analysis Based on Conventional Engineering Models

abstract: Applications of formal methods for state space exploration have been successfully applied to evaluate robust critical software systems. Formal methods enable discovery of error conditions that conventional testing may miss, and can aid in planning complex system operations. However, broad application of formal methods has been hampered by the effort required to generate formal specifications for real systems. In this paper we present State Linked Interface Compliance Engine for Data (SLICED), a methodology that addresses the complexity of formal state machine specification generation by leveraging conventional engineering models to derive compositional formal state models and to generate formal assertions on the state machines. We demonstrate SLICED using the Virtual ADAPT model published by NASA and validate our results by replicating them using Simulink.


title: Exact statistics and thermodynamic uncertainty relations for a periodically driven electron pump

abstract: We introduce a model for a periodically driven electron pump that sequentially interact with an arbitrary number of heat and particle reservoirs. Exact expressions for the thermodynamic fluxes, such as entropy production and particle flows are derived arbitrarily far from equilibrium. We use the present model to perform a comparative study of thermodynamic uncertainty relations that are valid for systems with time-periodic driving.


title: Star Cluster Formation in Orion A

abstract: We introduce new analysis methods for studying the star cluster formation processes in Orion A, especially examining the scenario of a cloud-cloud collision. We utilize the CARMA-NRO Orion survey $^{13}$CO (1-0) data to compare molecular gas to the properties of YSOs from the SDSS III IN-SYNC survey. We show that the increase of $v_{\rm 13CO} - v_{\rm YSO}$ and $\Sigma$ scatter of older YSOs can be signals of cloud-cloud collision. SOFIA-upGREAT 158$\mu$m [CII] archival data toward the northern part of Orion A are also compared to the $^{13}$CO data to test whether the position and velocity offsets between the emission from these two transitions resemble those predicted by a cloud-cloud collision model. We find that the northern part of Orion A, including regions ONC-OMC-1, OMC-2, OMC-3 and OMC-4, shows qualitative agreements with the cloud-cloud collision scenario, while in one of the southern regions, NGC1999, there is no indication of such a process in causing the birth of new stars. On the other hand, another southern cluster, L1641N, shows slight tendencies of cloud-cloud collision. Overall, our results support the cloud-cloud collision process as being an important mechanism for star cluster formation in Orion A.


title: Radon cumulative distribution transform subspace modeling for image classification

abstract: We present a new supervised image classification method applicable to a broad class of image deformation models. The method makes use of the previously described Radon Cumulative Distribution Transform (R-CDT) for image data, whose mathematical properties are exploited to express the image data in a form that is more suitable for machine learning. While certain operations such as translation, scaling, and higher-order transformations are challenging to model in native image space, we show the R-CDT can capture some of these variations and thus render the associated image classification problems easier to solve. The method -- utilizing a nearest-subspace algorithm in R-CDT space -- is simple to implement, non-iterative, has no hyper-parameters to tune, is computationally efficient, label efficient, and provides competitive accuracies to state-of-the-art neural networks for many types of classification problems. In addition to the test accuracy performances, we show improvements (with respect to neural network-based methods) in terms of computational efficiency (it can be implemented without the use of GPUs), number of training samples needed for training, as well as out-of-distribution generalization. The Python code for reproducing our results is available at https://github.com/rohdelab/rcdt_ns_classifier.


title: pAElla: Edge-AI based Real-Time Malware Detection in Data Centers

abstract: The increasing use of Internet-of-Things (IoT) devices for monitoring a wide spectrum of applications, along with the challenges of "big data" streaming support they often require for data analysis, is nowadays pushing for an increased attention to the emerging edge computing paradigm. In particular, smart approaches to manage and analyze data directly on the network edge, are more and more investigated, and Artificial Intelligence (AI) powered edge computing is envisaged to be a promising direction. In this paper, we focus on Data Centers (DCs) and Supercomputers (SCs), where a new generation of high-resolution monitoring systems is being deployed, opening new opportunities for analysis like anomaly detection and security, but introducing new challenges for handling the vast amount of data it produces. In detail, we report on a novel lightweight and scalable approach to increase the security of DCs/SCs, that involves AI-powered edge computing on high-resolution power consumption. The method -- called pAElla -- targets real-time Malware Detection (MD), it runs on an out-of-band IoT-based monitoring system for DCs/SCs, and involves Power Spectral Density of power measurements, along with AutoEncoders. Results are promising, with an F1-score close to 1, and a False Alarm and Malware Miss rate close to 0%. We compare our method with State-of-the-Art MD techniques and show that, in the context of DCs/SCs, pAElla can cover a wider range of malware, significantly outperforming SoA approaches in terms of accuracy. Moreover, we propose a methodology for online training suitable for DCs/SCs in production, and release open dataset and code.


title: Time-resolved multimode heterodyne detection for dissecting coherent states of matter

abstract: Unveiling and controlling the coherent evolution of low energy states is a key to attain light driven new functionalities of materials. Here we investigate the coherent evolution of non-equilibrium photon-phonon Raman interactions in the low photon number regime via femtosecond time-resolved multimode heterodyne detection. The time dependence of the weak probe spectral components is revealed by interferential amplification with shaped phase-locked reference fields that allow for a frequency selective amplification. We report measurements on $\alpha$-quartz that show that both amplitude and phase of the probe spectral components are modulated at the phonon frequency, but encode qualitatively different responses which are representative respectively of the time dependent position and momentum of the atoms. We stress that the sensitivity achieved here (1-10 photons per pulse) may be of relevance for both quantum information technologies and time domain studies on photosensitive materials.


title: Dynamic Data Selection and Weighting for Iterative Back-Translation

abstract: Back-translation has proven to be an effective method to utilize monolingual data in neural machine translation (NMT), and iteratively conducting back-translation can further improve the model performance. Selecting which monolingual data to back-translate is crucial, as we require that the resulting synthetic data are of high quality and reflect the target domain. To achieve these two goals, data selection and weighting strategies have been proposed, with a common practice being to select samples close to the target domain but also dissimilar to the average general-domain text. In this paper, we provide insights into this commonly used approach and generalize it to a dynamic curriculum learning strategy, which is applied to iterative back-translation models. In addition, we propose weighting strategies based on both the current quality of the sentence and its improvement over the previous iteration. We evaluate our models on domain adaptation, low-resource, and high-resource MT settings and on two language pairs. Experimental results demonstrate that our methods achieve improvements of up to 1.8 BLEU points over competitive baselines.


title: Maintaining a Library of Formal Mathematics

abstract: The Lean mathematical library mathlib is developed by a community of users with very different backgrounds and levels of experience. To lower the barrier of entry for contributors and to lessen the burden of reviewing contributions, we have developed a number of tools for the library which check proof developments for subtle mistakes in the code and generate documentation suited for our varied audience.


title: The Cavity Master Equation: average and fixed point of the ferromagnetic model in random graphs

abstract: The Cavity Master Equation (CME) is a closure scheme to the usual Master Equation representing the dynamics of discrete variables in continuous time. In this work we explore the CME for a ferromagnetic model in a random graph. We first derive and average equation of the CME that describes the dynamics of mean magnetization of the system. We show that the numerical results compare remarkably well with the Monte Carlo simulations. Then, we show that the stationary state of the CME is well described by BP-like equations (independently of the dynamic rules that let the system towards the stationary state). These equations may be rewritten exactly as the fixed point solutions of the Cavity Equation if one also assumes that the stationary state is well described by a Boltzmann distribution.


title: Spatio-temporal Learning from Longitudinal Data for Multiple Sclerosis Lesion Segmentation

abstract: Segmentation of Multiple Sclerosis (MS) lesions in longitudinal brain MR scans is performed for monitoring the progression of MS lesions. We hypothesize that the spatio-temporal cues in longitudinal data can aid the segmentation algorithm. Therefore, we propose a multi-task learning approach by defining an auxiliary self-supervised task of deformable registration between two time-points to guide the neural network toward learning from spatio-temporal changes. We show the efficacy of our method on a clinical dataset comprised of 70 patients with one follow-up study for each patient. Our results show that spatio-temporal information in longitudinal data is a beneficial cue for improving segmentation. We improve the result of current state-of-the-art by 2.6% in terms of overall score (p<0.05). Code is publicly available.


title: Gamma-Ray and X-Ray Observations of the Periodic-Repeater FRB 180916 During Active Phases

abstract: FRB 180916 is a most intriguing source at 150 Mpc distance capable of producing repeating fast radio bursts with a periodic 16.35 day temporal pattern. We report on the X-ray and $\gamma$-ray observations of FRB 180916 obtained by AGILE and Swift. We focused on the recurrent 5-day time intervals of active radio bursting and present results obtained on Feb. 3 - 8; Feb. 25; Mar. 5 - 10; Mar. 22 - 28, 2020 during a multiwavelength campaign involving high-energy and radio observations. We also searched for temporal coincidences at millisecond timescales between all known radio bursts of FRB 180916 and X-ray and MeV events detectable by AGILE. We do not detect any simultaneous event or any extended X-ray and $\gamma$-ray emission on timescales of hours/days/weeks. Our cumulative X-ray (0.3-10 keV) flux upper limit of $5 \times\,10^{-14} \rm \, erg \, cm^{-2} s^{-1}$ (obtained during 5-day active intervals) translates into an isotropic luminosity upper limit of $L_{X,UL} \sim 1.5 \times\, 10^{41} \rm erg \, s^{-1}$. Observations above 100 MeV over a many-year timescale provide an average luminosity upper limit one order of magnitude larger. These results provide the so-far most stringent limits on high-energy emission from FRB 180916 and constrain the dissipation of magnetic energy from a magnetar-like source of radius $R_m$, internal magnetic field $B_m$ and dissipation timescale $\tau_d$ to satisfy the relation $R_{m,6}^3 B_{m,16}^2 \tau_{d,8}^{-1} \lesssim 1$, where $R_{m,6}$ is $R_m$ in units of $10^6$ cm, $B_{m,16}$ is $B_m$ in units of $10^{16}$ G, and $\tau_{d,8}$ in units of $10^8$ s.


title: Semantic Image Manipulation Using Scene Graphs

abstract: Image manipulation can be considered a special case of image generation where the image to be produced is a modification of an existing image. Image generation and manipulation have been, for the most part, tasks that operate on raw pixels. However, the remarkable progress in learning rich image and object representations has opened the way for tasks such as text-to-image or layout-to-image generation that are mainly driven by semantics. In our work, we address the novel problem of image manipulation from scene graphs, in which a user can edit images by merely applying changes in the nodes or edges of a semantic graph that is generated from the image. Our goal is to encode image information in a given constellation and from there on generate new constellations, such as replacing objects or even changing relationships between objects, while respecting the semantics and style from the original image. We introduce a spatio-semantic scene graph network that does not require direct supervision for constellation changes or image edits. This makes it possible to train the system from existing real-world datasets with no additional annotation effort.


title: Strong, Temperature-Dependent Spin-Orbit Torques in Heavy Fermion YbAl$_3$

abstract: The use of current-generated spin-orbit torques[1] to drive magnetization dynamics is under investigation to enable a new generation of non-volatile, low-power magnetic memory. Previous research has focused on spin-orbit torques generated by heavy metals[2-8], interfaces with strong Rashba interactions[9,10] and topological insulators [11-14]. These families of materials can all be well-described using models with noninteracting-electron bandstructures. Here, we show that electronic interactions within a strongly correlated heavy fermion material, the Kondo lattice system YbAl$_{3}$, can provide a large enhancement in spin-orbit torque. The spin-torque conductivity increases by approximately a factor of 4 as a function of decreasing temperature from room temperature to the coherence temperature of YbAl$_{3}$ ($T^* \approx 37$ K), with a saturation at lower temperatures, achieving a maximum value greater than any heavy metal element. This temperature dependence mimics the increase and saturation at $T^*$ of the density of states at the Fermi level arising from the ytterbium 4$f$-derived heavy bands in the Kondo regime, as measured by angle-resolved photoemission spectroscopy[15]. We therefore identify the many-body Kondo resonance as the source of the large enhancement of spin-orbit torque in YbAl$_{3}$. Our observation reveals new opportunities in spin-orbit torque manipulation of magnetic memories by engineering quantum many-body states.


title: Solar disk center shows scattering polarization in the Sr I 4607 {\AA} line

abstract: Magnetic fields in turbulent, convective high-$\beta$ plasma naturally develop highly tangled and complex topologies---the solar photosphere being the paradigmatic example. These fields are mostly undetectable by standard diagnostic techniques with finite spatio-temporal resolution due to cancellations of Zeeman polarization signals. Observations of resonance scattering polarization have been considered to overcome these problems. But up to now, observations of scattering polarization lack the necessary combination of high sensitivity and high spatial resolution in order to directly infer the turbulent magnetic structure at the resolution limit of solar telescopes. Here, we report the detection of clear spatial structuring of scattering polarization in a magnetically quiet solar region at disk center in the Sr~{\sc i} 4607~\AA~spectral line on granular scales, confirming theoretical expectations. We find that the linear polarization presents a strong spatial correlation with the local quadrupole of the radiation field. The result indicates that polarization survives the dynamic and turbulent magnetic environment of the middle photosphere and is thereby usable for spatially resolved Hanle observations. This is an important step toward the long-sought goal of directly observing turbulent solar magnetic fields at the resolution limit and investigating their spatial structure.


title: Log ordinarity and log plurigenera of a proper SNCL scheme over a log point in characterisitic $p>0$

abstract: In this article we give two applications of the spectral sequence of the log Hodge-Witt cohomology of a proper SNCL scheme over the log point of a perfect field of characterisitic $p>0$.


title: The Worpitzky identity for the groups of signed and even-signed permutations

abstract: The well-known Worpitzky identity provides a connection between two bases of $\mathbb{Q}[x]$: The standard basis $(x+1)^n$ and the binomial basis ${{x+n-i} \choose {n}}$, where the Eulerian numbers for the Coxeter group of type $A$ (the symmetric group) serve as the entries of the transformation matrix. Brenti has generalized this identity to the Coxeter groups of types $B$ and $D$ (signed and even-signed permutations groups, respectively) using generating function techniques. Motivated by Foata-Sch\"utzenberger and Rawlings' proof for the Worpitzky identity in the symmetric group, we provide combinatorial proofs of this identity and for their $q-$analogues in the Coxeter groups of types $B$ and $D$.


title: Towards High Performance Relativistic Electronic Structure Modelling: The EXP-T Program Package

abstract: Modern challenges arising in the fields of theoretical and experimental physics require new powerful tools for high-precision electronic structure modelling; one of the most perspective tools is the relativistic Fock space coupled cluster method (FS-RCC). Here we present a new extensible implementation of the FS-RCC method designed for modern parallel computers. The underlying theoretical model, algorithms and data structures are discussed. The performance and scaling features of the implementation are analyzed. The software developed allows to achieve a completely new level of accuracy for prediction of properties of atoms and molecules containing heavy and superheavy nuclei.


title: A general framework for inference on algorithm-agnostic variable importance

abstract: In many applications, it is of interest to assess the relative contribution of features (or subsets of features) toward the goal of predicting a response -- in other words, to gauge the variable importance of features. Most recent work on variable importance assessment has focused on describing the importance of features within the confines of a given prediction algorithm. However, such assessment does not necessarily characterize the prediction potential of features, and may provide a misleading reflection of the intrinsic value of these features. To address this limitation, we propose a general framework for nonparametric inference on interpretable algorithm-agnostic variable importance. We define variable importance as a population-level contrast between the oracle predictiveness of all available features versus all features except those under consideration. We propose a nonparametric efficient estimation procedure that allows the construction of valid confidence intervals, even when machine learning techniques are used. We also outline a valid strategy for testing the null importance hypothesis. Through simulations, we show that our proposal has good operating characteristics, and we illustrate its use with data from a study of an antibody against HIV-1 infection.


title: New atomic decompositions of Bergman spaces on bounded symmetric domains

abstract: We provide a large family of atoms for Bergman spaces on irreducible bounded symmetric domains. This vastly generalizes results by Coifman and Rochberg from 1980. The atomic decompositions are derived using the holomorphic discrete series representations for the domain, and the approach is inspired by recent advances in wavelet and coorbit theory. This approach also settles the relation between atomic decompositions for the bounded and unbounded realizations of the domain.


title: Towards Faithfully Interpretable NLP Systems: How should we define and evaluate faithfulness?

abstract: With the growing popularity of deep-learning based NLP models, comes a need for interpretable systems. But what is interpretability, and what constitutes a high-quality interpretation? In this opinion piece we reflect on the current state of interpretability evaluation research. We call for more clearly differentiating between different desired criteria an interpretation should satisfy, and focus on the faithfulness criteria. We survey the literature with respect to faithfulness evaluation, and arrange the current approaches around three assumptions, providing an explicit form to how faithfulness is "defined" by the community. We provide concrete guidelines on how evaluation of interpretation methods should and should not be conducted. Finally, we claim that the current binary definition for faithfulness sets a potentially unrealistic bar for being considered faithful. We call for discarding the binary notion of faithfulness in favor of a more graded one, which we believe will be of greater practical utility.


title: Exemplar Fine-Tuning for 3D Human Model Fitting Towards In-the-Wild 3D Human Pose Estimation

abstract: Differently from 2D image datasets such as COCO, large-scale human datasets with 3D ground-truth annotations are very difficult to obtain in the wild. In this paper, we address this problem by augmenting existing 2D datasets with high-quality 3D pose fits. Remarkably, the resulting annotations are sufficient to train from scratch 3D pose regressor networks that outperform the current state-of-the-art on in-the-wild benchmarks such as 3DPW. Additionally, training on our augmented data is straightforward as it does not require to mix multiple and incompatible 2D and 3D datasets or to use complicated network architectures and training procedures. This simplified pipeline affords additional improvements, including injecting extreme crop augmentations to better reconstruct highly truncated people, and incorporating auxiliary inputs to improve 3D pose estimation accuracy. It also reduces the dependency on 3D datasets such as H36M that have restrictive licenses. We also use our method to introduce new benchmarks for the study of real-world challenges such as occlusions, truncations, and rare body poses. In order to obtain such high quality 3D pseudo-annotations, inspired by progress in internal learning, we introduce Exemplar Fine-Tuning (EFT). EFT combines the re-projection accuracy of fitting methods like SMPLify with a 3D pose prior implicitly captured by a pre-trained 3D pose regressor network. We show that EFT produces 3D annotations that result in better downstream performance and are qualitatively preferable in an extensive human-based assessment.


title: Multi-terminal electronic transport in boron nitride encapsulated TiS$_3$ nanosheets

abstract: We have studied electrical transport as a function of carrier density, temperature and bias in multi-terminal devices consisting of hexagonal boron nitride (h-BN) encapsulated titanium trisulfide (TiS$_3$) sheets. Through the encapsulation with h-BN, we observe metallic behavior and high electron mobilities. Below $\sim$60 K an increase in the resistance, and non-linear transport with plateau-like features in the differential resistance are present, in line with the expected charge density wave (CDW) formation. Importantly, the critical temperature and the threshold field of the CDW phase can be controlled through the back-gate.


title: A large-scale COVID-19 Twitter chatter dataset for open scientific research -- an international collaboration

abstract: As the COVID-19 pandemic continues its march around the world, an unprecedented amount of open data is being generated for genetics and epidemiological research. The unparalleled rate at which many research groups around the world are releasing data and publications on the ongoing pandemic is allowing other scientists to learn from local experiences and data generated in the front lines of the COVID-19 pandemic. However, there is a need to integrate additional data sources that map and measure the role of social dynamics of such a unique world-wide event into biomedical, biological, and epidemiological analyses. For this purpose, we present a large-scale curated dataset of over 152 million tweets, growing daily, related to COVID-19 chatter generated from January 1st to April 4th at the time of writing. This open dataset will allow researchers to conduct a number of research projects relating to the emotional and mental responses to social distancing measures, the identification of sources of misinformation, and the stratified measurement of sentiment towards the pandemic in near real time.


title: On the settling of small grains in dusty discs: analysis and formulas

abstract: Instruments achieve sharper and finer observations of micron-in-size dust grains in the top layers of young stellar discs. To provide accurate models, we revisit the theory of dust settling for small grains, when gas stratification, dust inertia and finite correlation times for the turbulence should be handled simultaneously. We start from a balance of forces and derive distributions at steady-state. Asymptotic expansions require caution since limits do not commute. In particular, non-physical bumpy distributions appear when turbulence is purely diffusive. This excludes very short correlation times for real discs, as predicted by numerical simulations.


title: Stability of charged sulfur vacancies in 2D and bulk MoS$_2$ from plane-wave density functional theory with electrostatic corrections

abstract: Two-dimensional (2D) semiconducting transition metal dichalcogenides such as MoS$_2$ have attracted extensive research interests for potential applications in optoelectronics, spintronics, photovoltaics, and catalysis. To harness the potential of these materials for electronic devices requires a better understanding of how defects control the carrier concentration, character, and mobility. Utilizing a correction scheme developed by Freysoldt and Neugebauer to ensure the appropriate electrostatic boundary conditions for charged defects in 2D materials, we perform density functional theory calculations to compute formation energies and charge transition levels associated with sulfur vacancies in monolayer and layered bulk MoS$_2$. We investigate the convergence of these defect properties with respect to vacuum spacing, in-plane supercell dimensions, and different levels of theory. We also analyze the electronic structures of the defects in different charge states to gain insights into the effect of defects on bonding and magnetism. We predict that both vacancy structures undergo a Jahn-Teller distortion, which helps stabilize the sulfur vacancy in the $-1$ charged state.


title: Soft-Bubble grippers for robust and perceptive manipulation

abstract: Manipulation in cluttered environments like homes requires stable grasps, precise placement and robustness against external contact. We present the Soft-Bubble gripper system with a highly compliant gripping surface and dense-geometry visuotactile sensing, capable of multiple kinds of tactile perception. We first present various mechanical design advances and a fabrication technique to deposit custom patterns to the internal surface of the sensor that enable tracking of shear-induced displacement of the manipuland. The depth maps output by the internal imaging sensor are used in an in-hand proximity pose estimation framework -- the method better captures distances to corners or edges on the manipuland geometry. We also extend our previous work on tactile classification and integrate the system within a robust manipulation pipeline for cluttered home environments. The capabilities of the proposed system are demonstrated through robust execution multiple real-world manipulation tasks. A video of the system in action can be found here: [https://youtu.be/G_wBsbQyBfc].


title: A novel greedy Gauss-Seidel method for solving large linear least squares problem

abstract: We present a novel greedy Gauss-Seidel method for solving large linear least squares problem. This method improves the greedy randomized coordinate descent (GRCD) method proposed recently by Bai and Wu [Bai ZZ, and Wu WT. On greedy randomized coordinate descent methods for solving large linear least-squares problems. Numer Linear Algebra Appl. 2019;26(4):1--15], which in turn improves the popular randomized Gauss-Seidel method. Convergence analysis of the new method is provided. Numerical experiments show that, for the same accuracy, our method outperforms the GRCD method in term of the computing time.


title: Cutting cycles of rods in space is FPT

abstract: In this short note, we show that cutting cycles of rods is fixed-parameter tractable by reducing the problem to computing a feedback vertex set in a mixed graph.


title: Magnetic Order Driven Ultrafast Phase Transition in NdNiO$_3$

abstract: Ultrashort x-ray pulses can be used to disentangle magnetic and structural dynamics and are accordingly utilized here to study the photoexcitation of NdNiO$_3$ (NNO), a model nickelate exhibiting structural and magnetic dynamics that conspire to induce an IMT. During the course of the photoinduced insulator to metal transition (IMT) with above gap excitation, we observe an ultrafast ($<$ 180 fs) quenching of magnetic order followed by a time delayed collapse of the insulating phase probed by X-ray absorption and THz transmission (~ 450 fs) that correlates with the slowest optical phonon mode involved in the structural transition. A simultaneous order-disorder response at the Ni site and displacive response at the Nd site coexist in the ultrafast magnetic response. Crucially, we observe the optical phonon through its coherent coupling with Nd magnetic order, demonstrating that the magnetic and structural degrees of freedom both contribute in driving the IMT. Density functional theory (DFT) calculations reveal a consistent scenario where optically driven inter-site charge transfer (ICT) drives a collapse of antiferromagnetic order that in turn destabilizes the charge-ordered phase resulting in an IMT. These experiments provide new modalities for control of electronic phase transitions in quantum materials based on ultrafast interplay between structural and magnetic orders created by femtosecond photoexcitation.


title: Offsite Autotuning Approach -- Performance Model Driven Autotuning Applied to Parallel Explicit ODE Methods

abstract: Autotuning techniques are a promising approach to minimize the otherwise tedious manual effort of optimizing scientific applications for a specific target platform. Ideally, an autotuning approach is capable of reliably identifying the most efficient implementation variant(s) for a new target system or new characteristics of the input by applying suitable program transformations and analytic models. In this work, we introduce Offsite, an offline autotuning approach which automates this selection process at installation time by rating implementation variants based on an analytic performance model without requiring time-consuming runtime experiments. From abstract multilevel YAML description languages, Offsite automatically derives optimized, platform-specific and problem-specific code of possible implementation variants and applies the performance model to these implementation variants. We apply Offsite to parallel numerical methods for ordinary differential equations (ODEs). In particular, we investigate tuning a specific class of explicit ODE solvers (PIRK methods) for various initial value problems (IVPs) on shared-memory systems. Our experiments demonstrate that Offsite is able to reliably identify a set of the most efficient implementation variants for given test configurations (ODE solver, IVP, platform) and is capable of effectively handling important autotuning scenarios.


title: SA-UNet: Spatial Attention U-Net for Retinal Vessel Segmentation

abstract: The precise segmentation of retinal blood vessels is of great significance for early diagnosis of eye-related diseases such as diabetes and hypertension. In this work, we propose a lightweight network named Spatial Attention U-Net (SA-UNet) that does not require thousands of annotated training samples and can be utilized in a data augmentation manner to use the available annotated samples more efficiently. SA-UNet introduces a spatial attention module which infers the attention map along the spatial dimension, and multiplies the attention map by the input feature map for adaptive feature refinement. In addition, the proposed network employs structured dropout convolutional blocks instead of the original convolutional blocks of U-Net to prevent the network from overfitting. We evaluate SA-UNet based on two benchmark retinal datasets: the Vascular Extraction (DRIVE) dataset and the Child Heart and Health Study (CHASE_DB1) dataset. The results show that the proposed SA-UNet achieves state-of-the-art performance on both datasets.The implementation and the trained networks are available on Github1.


title: Dense Residual Network for Retinal Vessel Segmentation

abstract: Retinal vessel segmentation plays an imaportant role in the field of retinal image analysis because changes in retinal vascular structure can aid in the diagnosis of diseases such as hypertension and diabetes. In recent research, numerous successful segmentation methods for fundus images have been proposed. But for other retinal imaging modalities, more research is needed to explore vascular extraction. In this work, we propose an efficient method to segment blood vessels in Scanning Laser Ophthalmoscopy (SLO) retinal images. Inspired by U-Net, "feature map reuse" and residual learning, we propose a deep dense residual network structure called DRNet. In DRNet, feature maps of previous blocks are adaptively aggregated into subsequent layers as input, which not only facilitates spatial reconstruction, but also learns more efficiently due to more stable gradients. Furthermore, we introduce DropBlock to alleviate the overfitting problem of the network. We train and test this model on the recent SLO public dataset. The results show that our method achieves the state-of-the-art performance even without data augmentation.


title: Coronavirus (COVID-19) Classification using Deep Features Fusion and Ranking Technique

abstract: Coronavirus (COVID-19) emerged towards the end of 2019. World Health Organization (WHO) was identified it as a global epidemic. Consensus occurred in the opinion that using Computerized Tomography (CT) techniques for early diagnosis of pandemic disease gives both fast and accurate results. It was stated by expert radiologists that COVID-19 displays different behaviours in CT images. In this study, a novel method was proposed as fusing and ranking deep features to detect COVID-19 in early phase. 16x16 (Subset-1) and 32x32 (Subset-2) patches were obtained from 150 CT images to generate sub-datasets. Within the scope of the proposed method, 3000 patch images have been labelled as CoVID-19 and No finding for using in training and testing phase. Feature fusion and ranking method have been applied in order to increase the performance of the proposed method. Then, the processed data was classified with a Support Vector Machine (SVM). According to other pre-trained Convolutional Neural Network (CNN) models used in transfer learning, the proposed method shows high performance on Subset-2 with 98.27% accuracy, 98.93% sensitivity, 97.60% specificity, 97.63% precision, 98.28% F1-score and 96.54% Matthews Correlation Coefficient (MCC) metrics.


title: On the consistency of a non-Hermitian Yukawa interaction

abstract: We study different properties of an anti-Hermitian Yukawa interaction, motivated by a scenario of radiative anomalous generation of masses for the right-handed sterile neutrinos. The model, involving either a pseudo-scalar or a scalar, is consistent both at the classical and quantum levels, and particular attention is given to its properties under improper Lorentz transformations. The path integral is consistently defined with a Euclidean signature, and we discuss the energetics of the model, which show that no dynamical mass generation can occur, unless extra interactions are considered.


title: Electronic correlations and transport in iron at Earth's core conditions

abstract: The transport properties of iron under Earth's inner core conditions are essential input for the geophysical modelling but are poorly constrained experimentally. Here we show that the thermal and electrical conductivity of iron at those conditions remains high even if the electron-electron-scattering (EES) is properly taken into account. This result is obtained by ab initio simulations taking into account consistently both thermal disorder and electronic correlations. Thermal disorder suppresses the non-Fermi-liquid behavior of the body-centered cubic iron phase, hence, reducing the EES; the total calculated thermal conductivity of this phase is 220 Wm$^{-1}$K$^{-1}$ with the EES reduction not exceeding 20%. The EES and electron-lattice scattering are intertwined resulting in breaking of the Matthiessen's rule with increasing EES. In the hexagonal close-packed iron the EES is also not increased by thermal disorder and remains weak. Our main finding thus holds for the both likely iron phases in the inner core.


title: Optimal periodicity searching: Revisiting the Fast Folding Algorithm for large-scale pulsar surveys

abstract: The Fast Folding Algorithm (FFA) is a phase-coherent search technique for periodic signals. It has rarely been used in radio pulsar searches, having been historically supplanted by the less computationally expensive Fast Fourier Transform (FFT) with incoherent harmonic summing (IHS). Here we derive from first principles that an FFA search closely approaches the theoretical optimum sensitivity to all periodic signals; it is analytically shown to be significantly more sensitive than the standard FFT+IHS method, regardless of pulse period and duty cycle. A portion of the pulsar phase space has thus been systematically under-explored for decades; pulsar surveys aiming to fully sample the pulsar population should include an FFA search as part of their data analysis. We have developed an FFA software package, riptide, fast enough to process radio observations on a large scale; riptide has already discovered sources undetectable using existing FFT+IHS implementations. Our sensitivity comparison between search techniques also shows that a more realistic radiometer equation is needed, which includes an additional term: the search efficiency. We derive the theoretical efficiencies of both the FFA and the FFT+IHS methods and discuss how excluding this term has consequences for pulsar population synthesis studies.


title: Channel Attention Residual U-Net for Retinal Vessel Segmentation

abstract: Retinal vessel segmentation is a vital step for the diagnosis of many early eye-related diseases. In this work, we propose a new deep learning model, namely Channel Attention Residual U-Net (CAR-UNet), to accurately segment retinal vascular and non-vascular pixels. In this model, we introduced a novel Modified Efficient Channel Attention (MECA) to enhance the discriminative ability of the network by considering the interdependence between feature maps. On the one hand, we apply MECA to the "skip connections" in the traditional U-shaped networks, instead of simply copying the feature maps of the contracting path to the corresponding expansive path. On the other hand, we propose a Channel Attention Double Residual Block (CADRB), which integrates MECA into a residual structure as a core structure to construct the proposed CAR-UNet. The results show that our proposed CAR-UNet has reached the state-of-the-art performance on three publicly available retinal vessel datasets: DRIVE, CHASE DB1 and STARE.


title: Unconventional steady states and topological phases in an open two-level non-Hermitian system

abstract: Decoherence and non-Hermiticity are two different effects of the open quantum systems. Both of them have triggered many interesting phenomena. In this paper, we theoretically study an open two-level non-Hermitian system coupling to a dissipative environment by solving the vectorized Lindblad equation. This scheme provides us a powerful framework to address widespread open systems with gain, loss and dissipation. Our results show that there exist a new class of exceptional points (EPs) and steady states due to the interplay between non-Hermiticity and decoherence. Furthermore, we also demonstrate new-type topological properties of eigenstates with zero real-part of eigenvalues ($Re[\lambda]=0$) which are corresponding to Fermi arcs. It is revealed that the phases of eigenstates located in Fermi arcs regime have a topological phase $|\pi/2|$ which is totally unaffected by the dissipative environment. Our results provide a promising approach for further uncovering and understanding the intriguing properties of non-Hermitian open systems.


title: Mass sum rules of the electron in quantum electrodynamics

abstract: Different decompositions of the nucleon mass, in terms of the masses and energies of the underlying constituents, have been proposed in the literature. We explore the corresponding sum rules in quantum electrodynamics for an electron at one-loop order in perturbation theory. To this end we compute the form factors of the energy-momentum tensor, by paying particular attention to the renormalization of ultraviolet divergences, operator mixing and scheme dependence. We clarify the expressions of all the proposed sum rules in the electron rest frame in terms of renormalized operators. Furthermore, we consider the same sum rules in a moving frame, where they become energy decompositions. Finally, we discuss some implications of our study on the mass sum rules for the nucleon.


title: Deep Learning Based Text Classification: A Comprehensive Review

abstract: Deep learning based models have surpassed classical machine learning based approaches in various text classification tasks, including sentiment analysis, news categorization, question answering, and natural language inference. In this paper, we provide a comprehensive review of more than 150 deep learning based models for text classification developed in recent years, and discuss their technical contributions, similarities, and strengths. We also provide a summary of more than 40 popular datasets widely used for text classification. Finally, we provide a quantitative analysis of the performance of different deep learning models on popular benchmarks, and discuss future research directions.


title: Long-Tailed Recognition Using Class-Balanced Experts

abstract: Deep learning enables impressive performance in image recognition using large-scale artificially-balanced datasets. However, real-world datasets exhibit highly class-imbalanced distributions, yielding two main challenges: relative imbalance amongst the classes and data scarcity for mediumshot or fewshot classes. In this work, we address the problem of long-tailed recognition wherein the training set is highly imbalanced and the test set is kept balanced. Differently from existing paradigms relying on data-resampling, cost-sensitive learning, online hard example mining, loss objective reshaping, and/or memory-based modeling, we propose an ensemble of class-balanced experts that combines the strength of diverse classifiers. Our ensemble of class-balanced experts reaches results close to state-of-the-art and an extended ensemble establishes a new state-of-the-art on two benchmarks for long-tailed recognition. We conduct extensive experiments to analyse the performance of the ensembles, and discover that in modern large-scale datasets, relative imbalance is a harder problem than data scarcity. The training and evaluation code is available at https://github.com/ssfootball04/class-balanced-experts.


title: Magnetic Field Fingerprinting of Integrated Circuit Activity with a Quantum Diamond Microscope

abstract: Current density distributions in active integrated circuits (ICs) result in patterns of magnetic fields that contain structural and functional information about the IC. Magnetic fields pass through standard materials used by the semiconductor industry and provide a powerful means to fingerprint IC activity for security and failure analysis applications. Here, we demonstrate high spatial resolution, wide field-of-view, vector magnetic field imaging of static (DC) magnetic field emanations from an IC in different active states using a Quantum Diamond Microscope (QDM). The QDM employs a dense layer of fluorescent nitrogen-vacancy (NV) quantum defects near the surface of a transparent diamond substrate placed on the IC to image magnetic fields. We show that QDM imaging achieves simultaneous $\sim10$ $\mu$m resolution of all three vector magnetic field components over the 3.7 mm $\times$ 3.7 mm field-of-view of the diamond. We study activity arising from spatially-dependent current flow in both intact and decapsulated field-programmable gate arrays (FPGAs); and find that QDM images can determine pre-programmed IC active states with high fidelity using machine-learning classification methods.

categories: quant-ph cond-mat.mes-hall physics.app-ph physics.ins-det


title: Context-Aware Group Captioning via Self-Attention and Contrastive Features

abstract: While image captioning has progressed rapidly, existing works focus mainly on describing single images. In this paper, we introduce a new task, context-aware group captioning, which aims to describe a group of target images in the context of another group of related reference images. Context-aware group captioning requires not only summarizing information from both the target and reference image group but also contrasting between them. To solve this problem, we propose a framework combining self-attention mechanism with contrastive feature construction to effectively summarize common information from each image group while capturing discriminative information between them. To build the dataset for this task, we propose to group the images and generate the group captions based on single image captions using scene graphs matching. Our datasets are constructed on top of the public Conceptual Captions dataset and our new Stock Captions dataset. Experiments on the two datasets show the effectiveness of our method on this new task. Related Datasets and code are released at https://lizw14.github.io/project/groupcap .


title: Integral and quasi-abelian hearts of twin cotorsion pairs on extriangulated categories

abstract: It was shown recently that the heart of a twin cotorsion pair ((S,T),(U,V)) on an extriangulated category is semi-abelian. We provide a sufficient condition for the heart to be integral and another for the heart to be quasi-abelian. This unifies and improves the corresponding results for exact and triangulated categories. Furthermore, if T=U, then we show that the Gabriel-Zisman localisation of the heart at the class of its regular morphisms is equivalent to the heart of the single twin cotorsion pair (S,T). This generalises and improves the known result for triangulated categories, thereby providing new insights in the exact setting.


title: DataFed: Towards Reproducible Research via Federated Data Management

abstract: The increasingly collaborative, globalized nature of scientific research combined with the need to share data and the explosion in data volumes present an urgent need for a scientific data management system (SDMS). An SDMS presents a logical and holistic view of data that greatly simplifies and empowers data organization, curation, searching, sharing, dissemination, etc. We present DataFed -- a lightweight, distributed SDMS that spans a federation of storage systems within a loosely-coupled network of scientific facilities. Unlike existing SDMS offerings, DataFed uses high-performance and scalable user management and data transfer technologies that simplify deployment, maintenance, and expansion of DataFed. DataFed provides web-based and command-line interfaces to manage data and integrate with complex scientific workflows. DataFed represents a step towards reproducible scientific research by enabling reliable staging of the correct data at the desired environment.


title: Status of the Laser Spectroscopy and Merged-beam Experiments at RICE

abstract: Recently, we reported the commissioning of the new cryogenic ion storage ring RICE, which demonstrated potential capabilities for the precise studies of molecular structures and reaction dynamics. In the present article, we describe the status of experimental programs ongoing at RICE with a focus on the laser spectroscopy and merged-beam collision experiments.


title: Heart Sound Segmentation using Bidirectional LSTMs with Attention

abstract: This paper proposes a novel framework for the segmentation of phonocardiogram (PCG) signals into heart states, exploiting the temporal evolution of the PCG as well as considering the salient information that it provides for the detection of the heart state. We propose the use of recurrent neural networks and exploit recent advancements in attention based learning to segment the PCG signal. This allows the network to identify the most salient aspects of the signal and disregard uninformative information. The proposed method attains state-of-the-art performance on multiple benchmarks including both human and animal heart recordings. Furthermore, we empirically analyse different feature combinations including envelop features, wavelet and Mel Frequency Cepstral Coefficients (MFCC), and provide quantitative measurements that explore the importance of different features in the proposed approach. We demonstrate that a recurrent neural network coupled with attention mechanisms can effectively learn from irregular and noisy PCG recordings. Our analysis of different feature combinations shows that MFCC features and their derivatives offer the best performance compared to classical wavelet and envelop features. Heart sound segmentation is a crucial pre-processing step for many diagnostic applications. The proposed method provides a cost effective alternative to labour extensive manual segmentation, and provides a more accurate segmentation than existing methods. As such, it can improve the performance of further analysis including the detection of murmurs and ejection clicks. The proposed method is also applicable for detection and segmentation of other one dimensional biomedical signals.

categories: eess.SP cs.LG cs.SD eess.AS q-bio.QM stat.ML


title: Resonant Tunneling Anisotropic Magnetoresistance Induced by Magnetic Proximity

abstract: We reveal that the interplay between Rashba spin-orbit coupling and proximity-induced magnetization in a two-dimensional electron gas leads to peculiar transport properties and large anisotropy of magnetoresistance. While the related tunneling anisotropic magnetoresistance (TAMR) has been extensively studied before, we predict an effect with a different origin arising from the evolution of a resonant condition with the in-plane rotation of magnetization and having a much larger magnitude. The resonances in the tunneling emerge from a spin-parity-time symmetry of the scattering states. However, such a symmetry is generally absent from the system itself and only appears for certain parameter values. Without resonant behavior in the topological surface states of a proximitized three-dimensional topological insulator (TI), TAMR measurements can readily distinguish them from often misinterpreted trivial Rashba-like states inherent to many TIs.


title: Scattering of charged fermion to two-dimensional wormhole with constant axial magnetic flux

abstract: Scattering of charged fermion with $(1+2)$-dimensional wormhole in the presence of constant axial magnetic flux is explored. By extending the class of fermionic solutions of the Dirac equation in the curved space of wormhole surface to include normal modes with real energy and momentum, we found a quantum selection rule for the scattering of fermion waves to the wormhole. The newly found {\it momentum-angular momentum relation} implies that only fermion with the quantized momentum $k=m'/a\sqrt{q}$ can be transmitted through the hole. The allowed momentum is proportional to an effective angular momentum quantum number $m'$ and inversely proportional to the radius of the throat of the wormhole $a$. Flux dependence of the effective angular momentum quantum number permits us to select fermions that can pass through according to their momenta. A conservation law is also naturally enforced in terms of the unitarity condition among the incident, reflected, and transmitted waves. The scattering involving quasinormal modes~(QNMs) of fermionic states in the wormhole is subsequently explored. It is found that the transmitted waves through the wormhole for all scenarios involving QNMs are mostly suppressed and decaying in time. In the case of QNMs scattering, the unitarity condition is violated but a more generic relation of the scattering coefficients is established. When the magnetic flux $\phi=mhc/e$, i.e., quantized in units of the magnetic flux quantum $hc/e$, the fermion will tunnel through the wormhole with zero reflection.

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


title: Crisis-Critical Intellectual Property: Findings from the COVID-19 Pandemic

abstract: Within national and international innovation systems a pandemic calls for large-scale action by many actors across sectors, to mobilise resources, developing and manufacturing Crisis-Critical Products (CC-Products) efficiently and in the huge quantities needed. Nowadays, this also includes digital innovations from complex epidemiological models, AI, to open data platforms for prevention, diagnostic and treatment. Amongst the many challenges during a pandemic, innovation and manufacturing stakeholders find themselves engaged in new relationships, and are likely to face intellectual property (IP) related challenges. This paper adopts an IP perspective on the COVID-19 pandemic to identify pandemic related IP considerations and IP challenges. The focus is on challenges related to research, development and urgent upscaling of capacity to manufacture CC-Products in the huge volumes suddenly in demand. Its purpose is to provide a structure for steering clear of IP challenges to avoid delays in fighting a pandemic. We identify 4 stakeholder groups concerned with IP challenges: (i) governments, (ii) organisations owning existing Crisis-Critical IP, described as incumbents in Crisis-Critical Sectors (CC-Sectors), (iii) manufacturing firms from other sectors normally not producing CC-Products suddenly rushing into CC-Sectors to support the manufacturing of CC-Products (new entrants), and (iv) voluntary grassroot initiatives that are formed during a pandemic. This paper discusses IP challenges related to the development and manufacturing of technologies and products for (i) prevention (of spread), (ii) diagnosis of infected patients and (iii) the development of treatments. We offer an initial discussion of potential response measures to reduce IP associated risks among industrial stakeholders during a pandemic.


title: Maintaining Triangle Queries under Updates

abstract: We consider the problem of incrementally maintaining the triangle queries with arbitrary free variables under single-tuple updates to the input relations. We introduce an approach called IVM$^\epsilon$ that exhibits a trade-off between the update time, the space, and the delay for the enumeration of the query result, such that the update time ranges from the square root to linear in the database size while the delay ranges from constant to linear time. IVM$^\epsilon$ achieves Pareto worst-case optimality in the update-delay space conditioned on the Online Matrix-Vector Multiplication conjecture. It is strongly Pareto optimal for the triangle queries with zero or three free variables and weakly Pareto optimal for the triangle queries with one or two free variables.


title: Compiling Spiking Neural Networks to Neuromorphic Hardware

abstract: Machine learning applications that are implemented with spike-based computation model, e.g., Spiking Neural Network (SNN), have a great potential to lower the energy consumption when they are executed on a neuromorphic hardware. However, compiling and mapping an SNN to the hardware is challenging, especially when compute and storage resources of the hardware (viz. crossbar) need to be shared among the neurons and synapses of the SNN. We propose an approach to analyze and compile SNNs on a resource-constrained neuromorphic hardware, providing guarantee on key performance metrics such as execution time and throughput. Our approach makes the following three key contributions. First, we propose a greedy technique to partition an SNN into clusters of neurons and synapses such that each cluster can fit on to the resources of a crossbar. Second, we exploit the rich semantics and expressiveness of Synchronous Dataflow Graphs (SDFGs) to represent a clustered SNN and analyze its performance using Max-Plus Algebra, considering the available compute and storage capacities, buffer sizes, and communication bandwidth. Third, we propose a self-timed execution-based fast technique to compile and admit SNN-based applications to a neuromorphic hardware at run-time, adapting dynamically to the available resources on the hardware. We evaluate our approach with standard SNN-based applications and demonstrate a significant performance improvement compared to current practices.


title: Mobile-Based Deep Learning Models for Banana Diseases Detection

abstract: Smallholder farmers in Tanzania are challenged on the lack of tools for early detection of banana diseases. This study aimed at developing a mobile application for early detection of Fusarium wilt race 1 and black Sigatoka banana diseases using deep learning. We used a dataset of 3000 banana leaves images. We pre-trained our model on Resnet152 and Inceptionv3 Convolution Neural Network architectures. The Resnet152 achieved an accuracy of 99.2% and Inceptionv3 an accuracy of 95.41%. On deployment using Android mobile phones, we chose Inceptionv3 since it has lower memory requirements compared to Resnet152. The mobile application on real environment detected the two diseases with a confidence level of 99% of the captured leaf area. This result indicates the potential in improving the yield of bananas by smallholder farmers using a tool for early detection of diseases.


title: The Mathematical Syntax of Architectures

abstract: Despite several (accepted) standards, core notions typically employed in information technology or system engineering architectures lack the precise and exact foundations encountered in logic, algebra, and other branches of mathematics. In this contribution we define the syntactical aspects of the term architecture in a mathematically rigorous way. We motivate our particular choice by demonstrating (i) how commonly understood and expected properties of an architecture--as defined by various standards--can be suitably identified or derived within our formalization, (ii) how our concept is fully compatible with real life (business) architectures, and (iii) how our definition complements recent foundational work in this area (Wilkinson 2018, Dickersen 2020). We furthermore develop a rigorous notion of architectural similarity based on the notion of homomorphisms allowing the class of architectures to be regarded as a category, Arch. We demonstrate the applicability of our concepts to theory by deriving theorems on the classification of certain types of architectures.


title: Byte Pair Encoding is Suboptimal for Language Model Pretraining

abstract: The success of pretrained transformer language models (LMs) in natural language processing has led to a wide range of pretraining setups. In particular, these models employ a variety of subword tokenization methods, most notably byte-pair encoding (BPE) (Sennrich et al., 2016; Gage, 1994), the WordPiece method (Schuster and Nakajima, 2012), and unigram language modeling (Kudo, 2018), to segment text. However, to the best of our knowledge, the literature does not contain a direct evaluation of the impact of tokenization on language model pretraining. We analyze differences between BPE and unigram LM tokenization, finding that the latter method recovers subword units that align more closely with morphology and avoids problems stemming from BPE's greedy construction procedure. We then compare the fine-tuned task performance of identical transformer masked language models pretrained with these tokenizations. Across downstream tasks and two languages (English and Japanese), we find that the unigram LM tokenization method matches or outperforms BPE. We hope that developers of future pretrained LMs will consider adopting the unigram LM method over the more prevalent BPE.


title: Toric co-Higgs sheaves

abstract: We characterise and investigate co-Higgs sheaves and associated algebraic and combinatorial invariants on toric varieties. In particular, we compute explicit examples.


title: Challenges in Vessel Behavior and Anomaly Detection: From Classical Machine Learning to Deep Learning

abstract: The global expansion of maritime activities and the development of the Automatic Identification System (AIS) have driven the advances in maritime monitoring systems in the last decade. Monitoring vessel behavior is fundamental to safeguard maritime operations, protecting other vessels sailing the ocean and the marine fauna and flora. Given the enormous volume of vessel data continually being generated, real-time analysis of vessel behaviors is only possible because of decision support systems provided with event and anomaly detection methods. However, current works on vessel event detection are ad-hoc methods able to handle only a single or a few predefined types of vessel behavior. Most of the existing approaches do not learn from the data and require the definition of queries and rules for describing each behavior. In this paper, we discuss challenges and opportunities in classical machine learning and deep learning for vessel event and anomaly detection. We hope to motivate the research of novel methods and tools, since addressing these challenges is an essential step towards actual intelligent maritime monitoring systems.


title: Quantized grain boundary states promote nanoparticle alignment during imperfect oriented attachment

abstract: Oriented attachment (OA) has become a well-recognized mechanism for the growth of metal, ceramic, and biomineral crystals. While many computational and experimental studies of OA have shown that particles can attach with some misorientation then rotate to remove adjoining grain boundaries, the underlying atomistic pathways for this "Imperfect OA" process remain the subject of debate. In this study, molecular dynamics and in situ TEM were used to probe the crystallographic evolution of up to 30 gold and copper nanoparticles during aggregation. It was found that Imperfect OA occurs because (1) grain boundaries become quantized when their size is comparable to the separation between constituent dislocations and (2) kinetic barriers associated with the glide of grain boundary dislocations are small. In support of these findings, TEM experiments show the formation of a single crystal aggregate after annealing 9 initially misoriented, agglomerated particles with evidence of dislocation slip and twin formation during particle/grain alignment. These observations motivate future work on assembled nanocrystals with tailored defects and call for a revision of Read-Shockley models for grain boundary energies in nanocrystalline materials.


title: No Jackson-type estimates for piecewise $q$-monotone, $q\ge3$, trigonometric approximation

abstract: We say that a function $f\in C[a,b]$ is $q$-monotone, $q\ge3$, if $f\in C^{q-2}(a,b)$ and $f^{(q-2)}$ is convex in $(a,b)$. Let $f$ be continuous and $2\pi$-periodic, and change its $q$-monotonicity finitely many times in $[-\pi,\pi]$. We are interested in estimating the degree of approximation of $f$ by trigonometric polynomials which are co-$q$-monotone with it, namely, trigonometric polynomials that change their $q$-monotonicity exactly at the points where $f$ does. Such Jackson type estimates are valid for piecewise monotone ($q=1$) and piecewise convex (q=2) approximations. However, we prove, that no such estimates are valid, in general, for co-$q$-monotone approximation, when $q\ge3$.


title: Fully-Heterogeneous Containment Control of a Network of Leader-Follower Systems

abstract: This paper develops a distributed solution to the fully-heterogeneous containment control problem (CCP), for which not only the followers' dynamics but also the leaders' dynamics are non-identical. A novel formulation of the fully-heterogeneous CCP is first presented in which each follower constructs its virtual exo-system. To build these virtual exo-systems by followers, a novel distributed algorithm is developed to calculate the so-called normalized level of influences (NLIs) of all leaders on each follower and a novel adaptive distributed observer is designed to estimate the dynamics and states of all leaders that have an influence on each follower. Then, a distributed control protocol is proposed based on the cooperative output regulation framework, utilizing this virtual exo-system. Based on estimations of leaders' dynamics and states and NLIs of leaders on each follower, the solutions of the so-called linear regulator equations are calculated in a distributed manner, and consequently, a distributed control protocol is designed for solving the output containment problem. Finally, theoretical results are verified by performing numerical simulations.


title: Resilient Control: Compromising to Adapt

abstract: In optimal control problems, disturbances are typically dealt with using robust solutions, such as H-infinity or tube model predictive control, that plan control actions feasible for the worst-case disturbance. Yet, planning for every contingency can lead to over-conservative, poorly performing solutions or even, in extreme cases, to infeasibility. Resilience addresses these shortcomings by adapting the underlying control problem, e.g., by relaxing its specifications, to obtain a feasible, possibly still valuable trajectory. Despite their different aspects, robustness and resilience are often conflated in the context of dynamical systems and control. The goal of this paper is to formalize, in the context of optimal control, the concept of resilience understood as above, i.e., in terms of adaptation. To do so, we introduce a resilient formulation of optimal control by allowing disruption-dependent modifications of the requirements that induce the desired resilient behavior. We then propose a framework to design these behaviors automatically by trading off control performance and requirement violations. We analyze this resilience-by-compromise method to obtain inverse optimality results and quantify the effect of disturbances on the induced requirement relaxations. By proving that robustness and resilience optimize different objectives, we show that these are in fact distinct system properties. We conclude by illustrating the effect of resilience in different control problems.


title: Towards Highly Scalable Runtime Models with History

abstract: Advanced systems such as IoT comprise many heterogeneous, interconnected, and autonomous entities operating in often highly dynamic environments. Due to their large scale and complexity, large volumes of monitoring data are generated and need to be stored, retrieved, and mined in a time- and resource-efficient manner. Architectural self-adaptation automates the control, orchestration, and operation of such systems. This can only be achieved via sophisticated decision-making schemes supported by monitoring data that fully captures the system behavior and its history. Employing model-driven engineering techniques we propose a highly scalable, history-aware approach to store and retrieve monitoring data in form of enriched runtime models. We take advantage of rule-based adaptation where change events in the system trigger adaptation rules. We first present a scheme to incrementally check model queries in the form of temporal logic formulas which represent the conditions of adaptation rules against a runtime model with history. Then we enhance the model to retain only information that is temporally relevant to the queries, therefore reducing the accumulation of information to a required minimum. Finally, we demonstrate the feasibility and scalability of our approach via experiments on a simulated smart healthcare system employing a real-world medical guideline.


title: Practical Data Poisoning Attack against Next-Item Recommendation

abstract: Online recommendation systems make use of a variety of information sources to provide users the items that users are potentially interested in. However, due to the openness of the online platform, recommendation systems are vulnerable to data poisoning attacks. Existing attack approaches are either based on simple heuristic rules or designed against specific recommendations approaches. The former often suffers unsatisfactory performance, while the latter requires strong knowledge of the target system. In this paper, we focus on a general next-item recommendation setting and propose a practical poisoning attack approach named LOKI against blackbox recommendation systems. The proposed LOKI utilizes the reinforcement learning algorithm to train the attack agent, which can be used to generate user behavior samples for data poisoning. In real-world recommendation systems, the cost of retraining recommendation models is high, and the interaction frequency between users and a recommendation system is restricted.Given these real-world restrictions, we propose to let the agent interact with a recommender simulator instead of the target recommendation system and leverage the transferability of the generated adversarial samples to poison the target system. We also propose to use the influence function to efficiently estimate the influence of injected samples on the recommendation results, without re-training the models within the simulator. Extensive experiments on two datasets against four representative recommendation models show that the proposed LOKI achieves better attacking performance than existing methods.


title: Inverse Nodal Problem for a Conformable Fractional Diffusion Operator

abstract: In this paper, a diffusion operator including conformable fractional derivatives of order {\alpha} ({\alpha} in (0,1)) is considered. The asymptotics of the eigenvalues, eigenfunctions and nodal points of the operator are obtained. Furthermore, an effective procedure for solving the inverse nodal problem is given.


title: Stability of Gibbs Posteriors from the Wasserstein Loss for Bayesian Full Waveform Inversion

abstract: Recently, the Wasserstein loss function has been proven to be effective when applied to deterministic full-waveform inversion (FWI) problems. We consider the application of this loss function in Bayesian FWI so that the uncertainty can be captured in the solution. Other loss functions that are commonly used in practice are also considered for comparison. Existence and stability of the resulting Gibbs posteriors are shown on function space under weak assumptions on the prior and model. In particular, the distribution arising from the Wasserstein loss is shown to be quite stable with respect to high-frequency noise in the data. We then illustrate the difference between the resulting distributions numerically, using Laplace approximations to estimate the unknown velocity field and uncertainty associated with the estimates.


title: Neutrino condensation from a New Higgs Interaction

abstract: We study the consequences of having a new interaction between neutrinos and a Higgs scalar. We find that there are two possible attractive channels in the resulting effective 4-fermi theory which lead to a neutrino condensation in cosmic neutrinos and the creation of a neutrino superfluid at low temperatures and finite density. We find that at the minimum of the effective potential V the condensates are mostly made up of pairs of left-left+ right-right composites, with a slight admixture of left-right + right-left composites.


title: Tunable cavity-enhanced terahertz frequency-domain optical Hall effect

abstract: Presented here is the development and demonstration of a tunable cavity-enhanced terahertz frequency-domain optical Hall effect technique. The cavity consists of at least one fixed and one tunable Fabry-P\'erot resonator. The approach is suitable for enhancement of the optical signatures produced by the optical Hall effect in semi-transparent conductive layer structures with plane parallel interfaces. The physical principle is the constructive interference of electric field components that undergo multiple optical Hall effect induced polarization rotations upon multiple light passages through the conductive layer stack. Tuning one of the cavity parameters, such as the external cavity thickness, permits shifting of the frequencies of the constructive interference, and enhancement of the optical signatures produced by the optical Hall effect can be obtained over large spectral regions. A cavity-tuning optical stage and gas flow cell are used as examples of instruments that exploit tuning an external cavity to enhance polarization changes in a reflected terahertz beam. Permanent magnets are used to provide the necessary external magnetic field. Conveniently, the highly reflective surface of a permanent magnet can be used to create the tunable external cavity. The signal enhancement allows the extraction of the free charge carrier properties of thin films, and can eliminate the need for expensive super-conducting magnets. Furthermore, the thickness of the external cavity establishes an additional independent measurement condition, similar to, for example, the magnetic field strength, terahertz frequency, and angle of incidence. A high electron mobility transistor structure and epitaxial graphene are studied as examples. We discuss the theoretical background, instrument design, data acquisition, and data analysis procedures.


title: Strong Invariance Using Control Barrier Functions: A Clarke Tangent Cone Approach

abstract: Many control applications require that a system be constrained to a particular set of states, often termed as safe set. A practical and flexible method for rendering safe sets forward-invariant involves computing control input using Control Barrier Functions and Quadratic Programming methods. Many prior results however require the resulting control input to be continuous, which requires strong assumptions or can be difficult to demonstrate theoretically. In this paper we use differential inclusion methods to show that simultaneously rendering multiple sets invariant can be accomplished using a discontinuous control input. We present an optimization formulation which computes such control inputs and which can be posed in multiple forms, including a feasibility problem, a linear program, or a quadratic program. In addition, we discuss conditions under which the optimization problem is feasible and show that any feasible solution of the considered optimization problem which is measurable renders the multiple safe sets forward invariant.


title: Locality Preserving Loss: Neighbors that Live together, Align together

abstract: We present a locality preserving loss (LPL) that improves the alignment between vector space embeddings while separating uncorrelated representations. Given two pretrained embedding manifolds, LPL optimizes a model to project an embedding and maintain its local neighborhood while aligning one manifold to another. This reduces the overall size of the dataset required to align the two in tasks such as cross-lingual word alignment. We show that the LPL-based alignment between input vector spaces acts as a regularizer, leading to better and consistent accuracy than the baseline, especially when the size of the training set is small. We demonstrate the effectiveness of LPL optimized alignment on semantic text similarity (STS), natural language inference (SNLI), multi-genre language inference (MNLI) and cross-lingual word alignment(CLA) showing consistent improvements, finding up to 16% improvement over our baseline in lower resource settings.


title: Field Theory for Magnetic Monopoles in (Square, Artificial) Spin Ice

abstract: Proceeding from the more general to the more concrete, we propose an equilibrium field theory describing spin ice systems in terms of topological charges and magnetic monopoles. We show that for a spin ice on a graph, the entropic interaction in a Gaussian approximation is the inverse of the graph Laplacian matrix, while the screening function for external charges is the inverse of the screened laplacian. We particularize the treatment to square and pyrochlore ice. For square ice we highlight the gauge-free duality between direct and perpendicular structure in terms of symmetry between charges and currents, typical of magnetic fragmentation in a two-dimensional setting. We derive structure factors, correlations, correlation lengths, and susceptibilities for spins, topological charges, and currents. We show that the divergence of the correlation length at low temperature is exponential and inversely proportional to the mean square charge. While in three dimension real and entropic interactions among monopoles are both 3D-Coulomb, in two dimension the former is a 3D-Coulomb and the latter 2D-Coulomb, or logarithmic, leading to weak singularities in correspondence of the pinch points and destroying charge screening. This suggests that the monopole plasma of square ice is a magnetic charge insulator.


title: Learning Mixed-Integer Convex Optimization Strategies for Robot Planning and Control

abstract: Mixed-integer convex programming (MICP) has seen significant algorithmic and hardware improvements with several orders of magnitude solve time speedups compared to 25 years ago. Despite these advances, MICP has been rarely applied to real-world robotic control because the solution times are still too slow for online applications. In this work, we present the CoCo (Combinatorial Offline, Convex Online) framework to solve MICPs arising in robotics at very high speed. CoCo encodes the combinatorial part of the optimal solution into a strategy. Using data collected from offline problem solutions, we train a multiclass classifier to predict the optimal strategy given problem-specific parameters such as states or obstacles. Compared to previous approaches, we use task-specific strategies and prune redundant ones to significantly reduce the number of classes the predictor has to select from, thereby greatly improving scalability. Given the predicted strategy, the control task becomes a small convex optimization problem that we can solve in milliseconds. Numerical experiments on a cart-pole system with walls, a free-flying space robot, and task-oriented grasps show that our method provides not only 1 to 2 orders of magnitude speedups compared to state-of-the-art solvers but also performance close to the globally optimal MICP solution.


title: Learning to Detect Head Movement in Unconstrained Remote Gaze Estimation in the Wild

abstract: Unconstrained remote gaze estimation remains challenging mostly due to its vulnerability to the large variability in head-pose. Prior solutions struggle to maintain reliable accuracy in unconstrained remote gaze tracking. Among them, appearance-based solutions demonstrate tremendous potential in improving gaze accuracy. However, existing works still suffer from head movement and are not robust enough to handle real-world scenarios. Especially most of them study gaze estimation under controlled scenarios where the collected datasets often cover limited ranges of both head-pose and gaze which introduces further bias. In this paper, we propose novel end-to-end appearance-based gaze estimation methods that could more robustly incorporate different levels of head-pose representations into gaze estimation. Our method could generalize to real-world scenarios with low image quality, different lightings and scenarios where direct head-pose information is not available. To better demonstrate the advantage of our methods, we further propose a new benchmark dataset with the most rich distribution of head-gaze combination reflecting real-world scenarios. Extensive evaluations on several public datasets and our own dataset demonstrate that our method consistently outperforms the state-of-the-art by a significant margin.


title: Location-Enabled IoT (LE-IoT): A Survey of Positioning Techniques, Error Sources, and Mitigation

abstract: The Internet of Things (IoT) has started to empower the future of many industrial and mass-market applications. Localization techniques are becoming key to add location context to IoT data without human perception and intervention. Meanwhile, the newly-emerged Low-Power Wide-Area Network (LPWAN) technologies have advantages such as long-range, low power consumption, low cost, massive connections, and the capability for communication in both indoor and outdoor areas. These features make LPWAN signals strong candidates for mass-market localization applications. However, there are various error sources that have limited localization performance by using such IoT signals. This paper reviews the IoT localization system through the following sequence: IoT localization system review -- localization data sources -- localization algorithms -- localization error sources and mitigation -- localization performance evaluation. Compared to the related surveys, this paper has a more comprehensive and state-of-the-art review on IoT localization methods, an original review on IoT localization error sources and mitigation, an original review on IoT localization performance evaluation, and a more comprehensive review of IoT localization applications, opportunities, and challenges. Thus, this survey provides comprehensive guidance for peers who are interested in enabling localization ability in the existing IoT systems, using IoT systems for localization, or integrating IoT signals with the existing localization sensors.


title: Theory of the tertiary instability and the Dimits shift within a scalar model

abstract: The Dimits shift is the shift between the threshold of the drift-wave primary instability and the actual onset of turbulent transport in magnetized plasma. It is generally attributed to the suppression of turbulence by zonal flows, but developing a more detailed understanding calls for consideration of specific reduced models. The modified Terry--Horton system has been proposed by St-Onge [J. Plasma Phys. $\boldsymbol{\rm 83}$, 905830504 (2017)] as a minimal model capturing the Dimits shift. Here, we use this model to develop an analytic theory of the Dimits shift and a related theory of the tertiary instability of zonal flows. We show that tertiary modes are localized near extrema of the zonal velocity $U(x)$, where $x$ is the radial coordinate. By approximating $U(x)$ with a parabola, we derive the tertiary-instability growth rate using two different methods and show that the tertiary instability is essentially the primary drift-wave instability modified by the local $U''$. Then, depending on $U''$, the tertiary instability can be suppressed or unleashed. The former corresponds to the case when zonal flows are strong enough to suppress turbulence (Dimits regime), while the latter corresponds to the case when zonal flows are unstable and turbulence develops. This understanding is different from the traditional paradigm that turbulence is controlled by the flow shear $U'$. Our analytic predictions are in agreement with direct numerical simulations of the modified Terry--Horton system.


title: Bragg solitons in topological Floquet insulators

abstract: We consider a topological Floquet insulator consisting of two honeycomb arrays of identical waveguides having opposite helicities. The interface between the arrays supports two distinct topological edge states, which can be resonantly coupled by additional weak longitudinal refractive index modulation with a period larger than the helix period. In the presence of Kerr nonlinearity, such coupled edge states enable topological Bragg solitons. Theory and examples of such solitons are presented.


title: Measuring non-Markovianity via incoherent mixing with Markovian dynamics

abstract: We introduce a measure of non-Markovianity based on the minimal amount of extra Markovian noise we have to add to the process via incoherent mixing, in order to make the resulting transformation Markovian too at all times. We show how to evaluate this measure by considering the set of depolarizing evolutions in arbitrary dimension and the set of dephasing evolutions for qubits.


title: Towards Evaluating the Robustness of Chinese BERT Classifiers

abstract: Recent advances in large-scale language representation models such as BERT have improved the state-of-the-art performances in many NLP tasks. Meanwhile, character-level Chinese NLP models, including BERT for Chinese, have also demonstrated that they can outperform the existing models. In this paper, we show that, however, such BERT-based models are vulnerable under character-level adversarial attacks. We propose a novel Chinese char-level attack method against BERT-based classifiers. Essentially, we generate "small" perturbation on the character level in the embedding space and guide the character substitution procedure. Extensive experiments show that the classification accuracy on a Chinese news dataset drops from 91.8% to 0% by manipulating less than 2 characters on average based on the proposed attack. Human evaluations also confirm that our generated Chinese adversarial examples barely affect human performance on these NLP tasks.


title: A formula for symmetry recursion operators from non-variational symmetries of partial differential equations

abstract: An explicit formula to find symmetry recursion operators for partial differential equations (PDEs) is obtained from new results connecting variational integrating factors and non-variational symmetries. The formula is special case of a general formula that produces a pre-symplectic operator from a non-gradient adjoint-symmetry. These formulas are illustrated by several examples of linear PDEs and integrable nonlinear PDEs. Additionally, a classification of quasilinear second-order PDEs admitting a multiplicative symmetry recursion operator through the first formula is presented.


title: e-SNLI-VE: Corrected Visual-Textual Entailment with Natural Language Explanations

abstract: The recently proposed SNLI-VE corpus for recognising visual-textual entailment is a large, real-world dataset for fine-grained multimodal reasoning. However, the automatic way in which SNLI-VE has been assembled (via combining parts of two related datasets) gives rise to a large number of errors in the labels of this corpus. In this paper, we first present a data collection effort to correct the class with the highest error rate in SNLI-VE. Secondly, we re-evaluate an existing model on the corrected corpus, which we call SNLI-VE-2.0, and provide a quantitative comparison with its performance on the non-corrected corpus. Thirdly, we introduce e-SNLI-VE, which appends human-written natural language explanations to SNLI-VE-2.0. Finally, we train models that learn from these explanations at training time, and output such explanations at testing time.


title: In Praise of Clausius Entropy: Reassessing the Foundations of Boltzmannian Statistical Mechanics

abstract: I will argue, pace a great many of my contemporaries, that there's something right about Boltzmann's attempt to ground the second law of thermodynamics in a suitably amended deterministic time-reversal invariant classical dynamics, and that in order to appreciate what's right about (what was at least at one time) Boltzmann's explanatory project, one has to fully apprehend the nature of microphysical causal structure, time-reversal invariance, and the relationship between Boltzmann entropy and the work of Rudolf Clausius.


title: On Khovanov complexes

abstract: In this paper, we discuss a proof of the isotopy invariance of a parametrized Khovanov link homology including categorifications of the Jones polynomial and the Kauffman bracket polynomial though it is a known fact. In order to present a proof easy-to-follow, we give an explicit description of retractions and chain homotopies between complexes to induce the invariance under isotopy of links. This is a refined version of arXiv: 0907.2104.


title: COVID_MTNet: COVID-19 Detection with Multi-Task Deep Learning Approaches

abstract: COVID-19 is currently one the most life-threatening problems around the world. The fast and accurate detection of the COVID-19 infection is essential to identify, take better decisions and ensure treatment for the patients which will help save their lives. In this paper, we propose a fast and efficient way to identify COVID-19 patients with multi-task deep learning (DL) methods. Both X-ray and CT scan images are considered to evaluate the proposed technique. We employ our Inception Residual Recurrent Convolutional Neural Network with Transfer Learning (TL) approach for COVID-19 detection and our NABLA-N network model for segmenting the regions infected by COVID-19. The detection model shows around 84.67% testing accuracy from X-ray images and 98.78% accuracy in CT-images. A novel quantitative analysis strategy is also proposed in this paper to determine the percentage of infected regions in X-ray and CT images. The qualitative and quantitative results demonstrate promising results for COVID-19 detection and infected region localization.


title: Probing the Temperature Structure of Optically Thick Disks Using Polarized Emission of Aligned Grains

abstract: Polarized continuum emission from aligned grains in disks around young stellar objects can be used to probe the magnetic field, radiation anisotropy, or drift between dust and gas, depending on whether the non-spherical grains are aligned magnetically, radiatively or mechanically. We show that it can also be used to probe another key disk property -- the temperature gradient -- along sight lines that are optically thick, independent of the grain alignment mechanism. We first illustrate the technique analytically using a simple 1D slab model, which yields an approximate formula that relates the polarization fraction to the temperature gradient with respect to the optical depth tau at the tau=1 surface. The formula is then validated using models of stellar irradiated disks with and without accretion heating. The promises and challenges of the technique are illustrated with a number of Class 0 and I disks with ALMA dust polarization data, including NGC 1333 IRAS4A1, IRAS 16293B, BHB 07-11, L1527, HH 212 and HH 111. We find, in particular, that the sight lines passing through the near-side of a highly inclined disk trace different temperature gradient directions than those through the far-side, which can lead to a polarization orientation on the near-side that is orthogonal to that on the far-side, and that the HH 111 disk may be such a case. Our technique for probing the disk temperature gradient through dust polarization can complement other methods, particularly those using molecular lines.