title: Extracting Pasture Phenotype and Biomass Percentages using Weakly Supervised Multi-target Deep Learning on a Small Dataset

abstract: The dairy industry uses clover and grass as fodder for cows. Accurate estimation of grass and clover biomass yield enables smart decisions in optimizing fertilization and seeding density, resulting in increased productivity and positive environmental impact. Grass and clover are usually planted together, since clover is a nitrogen-fixing plant that brings nutrients to the soil. Adjusting the right percentages of clover and grass in a field reduces the need for external fertilization. Existing approaches for estimating the grass-clover composition of a field are expensive and time consuming - random samples of the pasture are clipped and then the components are physically separated to weigh and calculate percentages of dry grass, clover and weeds in each sample. There is growing interest in developing novel deep learning based approaches to non-destructively extract pasture phenotype indicators and biomass yield predictions of different plant species from agricultural imagery collected from the field. Providing these indicators and predictions from images alone remains a significant challenge. Heavy occlusions in the dense mixture of grass, clover and weeds make it difficult to estimate each component accurately. Moreover, although supervised deep learning models perform well with large datasets, it is tedious to acquire large and diverse collections of field images with precise ground truth for different biomass yields. In this paper, we demonstrate that applying data augmentation and transfer learning is effective in predicting multi-target biomass percentages of different plant species, even with a small training dataset. The scheme proposed in this paper used a training set of only 261 images and provided predictions of biomass percentages of grass, clover, white clover, red clover, and weeds with mean absolute error of 6.77%, 6.92%, 6.21%, 6.89%, and 4.80% respectively.


title: Global Solutions of the Nernst-Planck-Euler Equations

abstract: We consider the initial value problem for the Nernst-Planck equations coupled to the incompressible Euler equations in $\mathbb T^2$. We prove global existence of weak solutions for vorticity in $L^p$. We also obtain global existence and uniqueness of smooth solutions. We show that smooth solutions of the Nernst-Planck-Navier-Stokes equations converge to solutions of the Nernst-Planck-Euler equations as viscosity tends to zero. All the results hold for large data.


title: Nanomagnetic Boolean Logic -- The Tempered (and Realistic) Vision

abstract: The idea of nanomagnetic Boolean logic was advanced more than two decades ago. It envisaged the use of nanomagnets with two stable magnetization orientations as the primitive binary switch for implementing logic gates and ultimately combinational/sequential circuits. Enthusiastic proclamations of how nanomagnetic logic will eclipse traditional (transistor-based) logic circuits proliferated the applied physics literature. Two decades later there is not a single viable nanomagnetic logic chip in sight, let alone one that is a commercial success. In this perspective article, I offer my reasons on why this has come to pass. I present a realistic and tempered vision of nanomagnetic logic, pointing out many misconceptions about this paradigm, flaws in some proposals that appeared in the literature, shortcomings, and likely pitfalls that might stymie progress in this field.


title: SDRBench: Scientific Data Reduction Benchmark for Lossy Compressors

abstract: Efficient error-controlled lossy compressors are becoming critical to the success of today's large-scale scientific applications because of the ever-increasing volume of data produced by the applications. In the past decade, many lossless and lossy compressors have been developed with distinct design principles for different scientific datasets in largely diverse scientific domains. In order to support researchers and users assessing and comparing compressors in a fair and convenient way, we establish a standard compression assessment benchmark -- Scientific Data Reduction Benchmark (SDRBench). SDRBench contains a vast variety of real-world scientific datasets across different domains, summarizes several critical compression quality evaluation metrics, and integrates many state-of-the-art lossy and lossless compressors. We demonstrate evaluation results using SDRBench and summarize six valuable takeaways that are helpful to the in-depth understanding of lossy compressors.


title: Photo-induced phase transition and associated time scales in the excitonic insulator Ta$_2$NiSe$_5$

abstract: We investigate the non-equilibrium electronic structure and characteristic time scales in a candidate excitonic insulator, Ta$_2$NiSe$_5$, using time- and angle-resolved photoemission spectroscopy with a temporal resolution of 50 fs. Following a strong photoexcitation, the band gap closes transiently within 100 fs, i.e., on a time scale faster than the typical lattice vibrational period. Furthermore, we find that the characteristic time associated with the rise of the photoemission intensity above the Fermi energy decreases with increasing excitation strength, while the relaxation time of the electron population towards equilibrium shows an opposite behaviour. We argue that these experimental observations can be consistently explained by an excitonic origin of the band gap in the material. The excitonic picture is supported by microscopic calculations based on the non-equilibrium Green's function formalism for an interacting two-band system. We interpret the speedup of the rise time with fluence in terms of an enhanced scattering probability between photo-excited electrons and excitons, leading to an initially faster decay of the order parameter. We show that the inclusion of electron-phonon coupling at a semi-classical level changes only the quantitative aspects of the proposed dynamics, while the qualitative features remain the same. The experimental observations and microscopic calculations allow us to develop a simple and intuitive phenomenological model that captures the main dynamics after photoexcitation in Ta$_2$NiSe$_5$.


title: The Diabetic Buddy: A Diet Regulator andTracking System for Diabetics

abstract: The prevalence of Diabetes mellitus (DM) in the Middle East is exceptionally high as compared to the rest of the world. In fact, the prevalence of diabetes in the Middle East is 17-20%, which is well above the global average of 8-9%. Research has shown that food intake has strong connections with the blood glucose levels of a patient. In this regard, there is a need to build automatic tools to monitor the blood glucose levels of diabetics and their daily food intake. This paper presents an automatic way of tracking continuous glucose and food intake of diabetics using off-the-shelf sensors and machine learning, respectively. Our system not only helps diabetics to track their daily food intake but also assists doctors to analyze the impact of the food in-take on blood glucose in real-time. For food recognition, we collected a large-scale Middle-Eastern food dataset and proposed a fusion-based framework incorporating several existing pre-trained deep models for Middle-Eastern food recognition.


title: Misspelling Correction with Pre-trained Contextual Language Model

abstract: Spelling irregularities, known now as spelling mistakes, have been found for several centuries. As humans, we are able to understand most of the misspelled words based on their location in the sentence, perceived pronunciation, and context. Unlike humans, computer systems do not possess the convenient auto complete functionality of which human brains are capable. While many programs provide spelling correction functionality, many systems do not take context into account. Moreover, Artificial Intelligence systems function in the way they are trained on. With many current Natural Language Processing (NLP) systems trained on grammatically correct text data, many are vulnerable against adversarial examples, yet correctly spelled text processing is crucial for learning. In this paper, we investigate how spelling errors can be corrected in context, with a pre-trained language model BERT. We present two experiments, based on BERT and the edit distance algorithm, for ranking and selecting candidate corrections. The results of our experiments demonstrated that when combined properly, contextual word embeddings of BERT and edit distance are capable of effectively correcting spelling errors.


title: Visualizing the Financial Impact of Presidential Tweets on Stock Markets

abstract: As more and more data being created every day, all of it can help take better decisions with data analysis. It is not different from data generated in financial markets. Here we examine the process of how the global economy is affected by the market sentiment influenced by the micro-blogging data (tweets) of American President Donald Trump. The news feed is gathered from The Guardian and Bloomberg from the period between December 2016 and October 2019, which are used to further identify the potential tweets that influenced the markets as measured by changes in equity indices.


title: A Cool and Inflated Progenitor Candidate for the Type Ib Supernova 2019yvr at 2.6 Years Before Explosion

abstract: We present Hubble Space Telescope imaging of a pre-explosion counterpart to SN 2019yvr obtained 2.6 years before its explosion as a type Ib supernova (SN Ib). Aligning to a post-explosion Gemini-S/GSAOI image, we demonstrate that there is a single source consistent with being the SN 2019yvr progenitor system, the second SN Ib progenitor candidate after iPTF13bvn. We also analyzed pre-explosion Spitzer/IRAC imaging, but we do not detect any counterparts at the SN location. SN 2019yvr was highly reddened, and comparing its spectra and photometry to those of other, less extinguished SNe Ib we derive $E(B-V)=0.51\substack{+0.27\\-0.16}$ mag for SN 2019yvr. Correcting photometry of the pre-explosion source for dust reddening, we determine that this source is consistent with a $\log(L/L_{\odot}) = 5.3 \pm 0.2$ and $T_{\mathrm{eff}} = 6800\substack{+400\\-200}$ K star. This relatively cool photospheric temperature implies a radius of 320$\substack{+30\\-50} R_{\odot}$, much larger than expectations for SN Ib progenitor stars with trace amounts of hydrogen but in agreement with previously identified SN IIb progenitor systems. The photometry of the system is also consistent with binary star models that undergo common envelope evolution, leading to a primary star hydrogen envelope mass that is mostly depleted but seemingly in conflict with the SN Ib classification of SN 2019yvr. SN 2019yvr had signatures of strong circumstellar interaction in late-time ($>$150 day) spectra and imaging, and so we consider eruptive mass loss and common envelope evolution scenarios that explain the SN Ib spectroscopic class, pre-explosion counterpart, and dense circumstellar material. We also hypothesize that the apparent inflation could be caused by a quasi-photosphere formed in an extended, low-density envelope or circumstellar matter around the primary star.


title: Leveraging Multilingual Transformers for Hate Speech Detection

abstract: Detecting and classifying instances of hate in social media text has been a problem of interest in Natural Language Processing in the recent years. Our work leverages state of the art Transformer language models to identify hate speech in a multilingual setting. Capturing the intent of a post or a comment on social media involves careful evaluation of the language style, semantic content and additional pointers such as hashtags and emojis. In this paper, we look at the problem of identifying whether a Twitter post is hateful and offensive or not. We further discriminate the detected toxic content into one of the following three classes: (a) Hate Speech (HATE), (b) Offensive (OFFN) and (c) Profane (PRFN). With a pre-trained multilingual Transformer-based text encoder at the base, we are able to successfully identify and classify hate speech from multiple languages. On the provided testing corpora, we achieve Macro F1 scores of 90.29, 81.87 and 75.40 for English, German and Hindi respectively while performing hate speech detection and of 60.70, 53.28 and 49.74 during fine-grained classification. In our experiments, we show the efficacy of Perspective API features for hate speech classification and the effects of exploiting a multilingual training scheme. A feature selection study is provided to illustrate impacts of specific features upon the architecture's classification head.


title: Graph-of-Tweets: A Graph Merging Approach to Sub-event Identification

abstract: Graph structures are powerful tools for modeling the relationships between textual elements. Graph-of-Words (GoW) has been adopted in many Natural Language tasks to encode the association between terms. However, GoW provides few document-level relationships in cases when the connections between documents are also essential. For identifying sub-events on social media like Twitter, features from both word- and document-level can be useful as they supply different information of the event. We propose a hybrid Graph-of-Tweets (GoT) model which combines the word- and document-level structures for modeling Tweets. To compress large amount of raw data, we propose a graph merging method which utilizes FastText word embeddings to reduce the GoW. Furthermore, we present a novel method to construct GoT with the reduced GoW and a Mutual Information (MI) measure. Finally, we identify maximal cliques to extract popular sub-events. Our model showed promising results on condensing lexical-level information and capturing keywords of sub-events.


title: Semantic Access Control for Privacy Management of Personal Sensing in Smart Cities

abstract: Personal and home sensors generate valuable information that could be used in Smart Cities. Unfortunately, typically, this data is locked out and used only by application/system developer. While vendors are to blame, one should consider also the "binary nature" of data access. Specifically, either owner has full control over her data (e.g. in a "closed system"), or she completely looses control, when the data is "opened". In this context, we propose, a semantic technologies-based, authorization and privacy control framework that enables user to maintain flexible, yet manageable data access control policies. The proposed approach is described in detail, including implementation and testing.


title: Optimizing Hospital Room Layout to Reduce the Risk of Patient Falls

abstract: Despite years of research into patient falls in hospital rooms, falls and related injuries remain a serious concern to patient safety. In this work, we formulate a gradient-free constrained optimization problem to generate and reconfigure the hospital room interior layout to minimize the risk of falls. We define a cost function built on a hospital room fall model that takes into account the supportive or hazardous effect of the patient's surrounding objects, as well as simulated patient trajectories inside the room. We define a constraint set that ensures the functionality of the generated room layouts in addition to conforming to architectural guidelines. We solve this problem efficiently using a variant of simulated annealing. We present results for two real-world hospital room types and demonstrate a significant improvement of 18% on average in patient fall risk when compared with a traditional hospital room layout and 41% when compared with randomly generated layouts.


title: A simplicial version of the 2-dimensional Fulton-MacPherson operad

abstract: We define an operad in Top, called $\text{FM}_2^W$. The spaces in $\text{FM}_2^W$ come with CW decompositions, such that the operad compositions are cellular. In fact, each space in $\text{FM}_2^W$ is the realization of a simplicial set. We expect, but do not prove here, that $\text{FM}_2^W$ is isomorphic to the 2-dimensional Fulton-MacPherson operad $\text{FM}_2$. Our construction is connected to the author's work on the symplectic $(A_\infty,2)$-category, and suggests a strategy toward equipping the symplectic cochain complex with the structure of a homotopy Batalin-Vilkoviskiy algebra.


title: Unveiling the I2P web structure: a connectivity analysis

abstract: Web is a primary and essential service to share information among users and organizations at present all over the world. Despite the current significance of such a kind of traffic on the Internet, the so-called Surface Web traffic has been estimated in just about 5% of the total. The rest of the volume of this type of traffic corresponds to the portion of Web known as Deep Web. These contents are not accessible by search engines because they are authentication protected contents or pages that are only reachable through the well known as darknets. To browse through darknets websites special authorization or specific software and configurations are needed. Despite TOR is the most used darknet nowadays, there are other alternatives such as I2P or Freenet, which offer different features for end users. In this work, we perform an analysis of the connectivity of websites in the I2P network (named eepsites) aimed to discover if different patterns and relationships from those used in legacy web are followed in I2P, and also to get insights about its dimension and structure. For that, a novel tool is specifically developed by the authors and deployed on a distributed scenario. Main results conclude the decentralized nature of the I2P network, where there is a structural part of interconnected eepsites while other several nodes are isolated probably due to their intermittent presence in the network.


title: TiEMPO: Open-source time-dependent end-to-end model for simulating ground-based submillimeter astronomical observations

abstract: The next technological breakthrough in millimeter-submillimeter astronomy is 3D imaging spectrometry with wide instantaneous spectral bandwidths and wide fields of view. The total optimization of the focal-plane instrument, the telescope, the observing strategy, and the signal-processing software must enable efficient removal of foreground emission from the Earth's atmosphere, which is time-dependent and highly nonlinear in frequency. Here we present TiEMPO: Time-Dependent End-to-End Model for Post-process Optimization of the DESHIMA Spectrometer. TiEMPO utilizes a dynamical model of the atmosphere and parametrized models of the astronomical source, the telescope, the instrument, and the detector. The output of TiEMPO is a time-stream of sky brightness temperature and detected power, which can be analyzed by standard signal-processing software. We first compare TiEMPO simulations with an on-sky measurement by the wideband DESHIMA spectrometer and find good agreement in the noise power spectral density and sensitivity. We then use TiEMPO to simulate the detection of a line emission spectrum of a high-redshift galaxy using the DESHIMA 2.0 spectrometer in development. The TiEMPO model is open source. Its modular and parametrized design enables users to adapt it to design and optimize the end-to-end performance of spectroscopic and photometric instruments on existing and future telescopes.


title: Exploring the association between R&D expenditure and the job quality in the European Union

abstract: Investment in research and development is a key factor in increasing countries' competitiveness. However, its impact can potentially be broader and include other socially relevant elements like job quality. In effect, the quantity of generated jobs is an incomplete indicator since it does not allow to conclude on the quality of the job generated. In this sense, this paper intends to explore the relevance of R&D investments for the job quality in the European Union between 2009 and 2018. For this purpose, we investigate the effects of R&D expenditures made by the business sector, government, and higher education sector on three dimensions of job quality. Three research methods are employed, i.e. univariate linear analysis, multiple linear analysis, and cluster analysis. The findings only confirm the association between R&D expenditure and the number of hours worked, such that the European Union countries with the highest R&D expenses are those with the lowest average weekly working hours.


title: Polymorphic System I

abstract: System I is a simply-typed lambda calculus with pairs, extended with an equational theory obtained from considering the type isomorphisms as equalities. In this work we propose an extension of System I to polymorphic types, adding the corresponding isomorphisms. We provide non-standard proofs of subject reduction and strong normalisation, extending those of System I.


title: Breaking Writer's Block: Low-cost Fine-tuning of Natural Language Generation Models

abstract: It is standard procedure these days to solve Information Extraction task by fine-tuning large pre-trained language models. This is not the case for generation task, which relies on a variety of techniques for controlled language generation. In this paper, we describe a system that fine-tunes a natural language generation model for the problem of solving Writer's Block. The fine-tuning changes the conditioning to also include the right context in addition to the left context, as well as an optional list of entities, the size, the genre and a summary of the paragraph that the human author wishes to generate. Our proposed fine-tuning obtains excellent results, even with a small number of epochs and a total cost of USD 150. The system can be accessed as a web-service, and all the code is released. A video showcasing the interface and the model is also available.


title: Wolf-Rayet galaxies in SDSS-IV MaNGA. II. Metallicity dependence of the high-mass slope of the stellar initial mass function

abstract: As hosts of living high-mass stars, Wolf-Rayet (WR) regions or WR galaxies are ideal objects for constraining the high-mass end of the stellar initial mass function (IMF). We construct a large sample of 910 WR galaxies/regions that cover a wide range of stellar metallicity (from Z~0.001 up to Z~0.03), by combining three catalogs of WR galaxies/regions previously selected from the SDSS and SDSS-IV/MaNGA surveys. We measure the equivalent widths of the WR blue bump at ~4650 A for each spectrum. They are compared with predictions from stellar evolutionary models Starburst99 and BPASS, with different IMF assumptions (high-mass slope {\alpha} of the IMF ranging from 1.0 up to 3.3). Both singular evolution and binary evolution are considered. We also use a Bayesian inference code to perform full spectral fitting to WR spectra with stellar population spectra from BPASS as fitting templates. We then make model selection among different {\alpha} assumptions based on Bayesian evidence. These analyses have consistently led to a positive correlation of IMF high-mass slope {\alpha} with stellar metallicity Z, i.e. with steeper IMF (more bottom-heavy) at higher metallicities. Specifically, an IMF with {\alpha}=1.00 is preferred at the lowest metallicity (Z~0.001), and a Salpeter or even steeper IMF is preferred at the highest metallicity (Z~0.03). These conclusions hold even when binary population models are adopted.


title: DiPSeN: Differentially Private Self-normalizing Neural Networks For Adversarial Robustness in Federated Learning

abstract: The need for robust, secure and private machine learning is an important goal for realizing the full potential of the Internet of Things (IoT). Federated learning has proven to help protect against privacy violations and information leakage. However, it introduces new risk vectors which make machine learning models more difficult to defend against adversarial samples. In this study, we examine the role of differential privacy and self-normalization in mitigating the risk of adversarial samples specifically in a federated learning environment. We introduce DiPSeN, a Differentially Private Self-normalizing Neural Network which combines elements of differential privacy noise with self-normalizing techniques. Our empirical results on three publicly available datasets show that DiPSeN successfully improves the adversarial robustness of a deep learning classifier in a federated learning environment based on several evaluation metrics.


title: Benchmarking Machine Learning: How Fast Can Your Algorithms Go?

abstract: This paper is focused on evaluating the effect of some different techniques in machine learning speed-up, including vector caches, parallel execution, and so on. The following content will include some review of the previous approaches and our own experimental results.


title: Are Female Scientists Less Inclined to Publish Alone? The Gender Solo Research Gap

abstract: In solo research, scientists compete individually for prestige, sending clear signals about their research ability, avoiding problems in credit allocation, and reducing conflicts about authorship. We examine to what extent male and female scientists differ in their use of solo publishing across various dimensions. This research is the first to comprehensively study the 'gender solo research gap' among all internationally visible scientists within a whole national higher education system. We examine the gap through 'individual publication portfolios' constructed for each Polish university professor. We use the practical significance/statistical significance difference (based on the effect-size r coefficient) and our analyses indicate that while some gender differences are statistically significant, they have no practical significance. Using a partial effects of fractional logistic regression approach, we estimate the probability of conducting solo research. In none of the models does gender explain the variability of the individual solo publishing rate. The strongest predictor of individual solo publishing rate is the average team size, publishing in STEM fields negatively affects the rate, publishing in male-dominated disciplines positively affects it, and the influence of international collaboration is negative. The gender solo research gap in Poland is much weaker than expected: within a more general trend toward team research and international research, gender differences in solo research are much weaker and less relevant than initially assumed. We use our unique biographical, administrative, publication, and citation database ('Polish Science Observatory') with metadata on all Polish scientists present in Scopus (N=25,463) and their 158,743 Scopus-indexed articles published in 2009-2018, including 18,900 solo articles.


title: Machine learning classification of non-Markovian noise disturbing quantum dynamics

abstract: In this paper machine learning and artificial neural network models are proposed for the classification of external noise sources affecting a given quantum dynamics. For this purpose, we train and then validate support vector machine, multi-layer perceptron and recurrent neural network models with different complexity and accuracy, to solve supervised binary classification problems. As a result, we demonstrate the high efficacy of such tools in classifying noisy quantum dynamics using simulated data sets from different realizations of the quantum system dynamics. In addition, we show that for a successful classification one just needs to measure, in a sequence of discrete time instants, the probabilities that the analysed quantum system is in one of the allowed positions or energy configurations. Albeit the training of machine learning models is here performed on synthetic data, our approach is expected to find application in experimental schemes, as e.g. for the noise benchmarking of noisy intermediate-scale quantum devices.

categories: quant-ph cond-mat.dis-nn cs.AI cs.LG cs.NE


title: Rees algebras of sparse determinantal ideals

abstract: We determine the defining equations of the Rees algebra and of the special fiber ring of the ideal of maximal minors of a $2\times n$ sparse matrix. We prove that their initial algebras are ladder determinantal rings. This allows us to show that the Rees algebra and the special fiber ring are Cohen-Macaulay domains, they are Koszul, they have rational singularities in characteristic zero and are F-rational in positive characteristic.


title: A note on stability for maximal $F$-free graphs

abstract: Popielarz, Sahasrabudhe and Snyder in 2018 proved that maximal $K_{r+1}$-free graphs with $(1-\frac{1}{r})\frac{n^2}{2}-o(n^{\frac{r+1}{r}})$ edges contain a complete $r$-partite subgraph on $n-o(n)$ vertices. This was very recently extended to odd cycles in place of $K_3$ by Wang, Wang, Yang and Yuan. We further extend it to some other 3-chromatic graphs, and obtain some other stability results along the way.


title: Random Unitary Representations of Surface Groups II: The large $n$ limit

abstract: Let $\Sigma_{g}$ be a closed surface of genus $g\geq 2$ and $\Gamma_{g}$ denote the fundamental group of $\Sigma_{g}$. We establish a generalization of Voiculescu's theorem on the asymptotic $*$-freeness of Haar unitary matrices from free groups to $\Gamma_{g}$. We prove that for a random representation of $\Gamma_{g}$ into $\mathsf{SU}(n)$, with law given by the volume form arising from the Atiyah-Bott-Goldman symplectic form on moduli space, the expected value of the trace of a fixed non-identity element of $\Gamma_{g}$ is bounded as $n\to\infty$. The proof involves an interplay between Dehn's work on the word problem in $\Gamma_{g}$ and classical invariant theory.


title: The extended binary quadratic residue code of length 42 holds a 3-design

abstract: The codewords of weight $10$ of the $[42,21,10]$ extended binary quadratic residue code are shown to hold a design of parameters $3-(42,10,18).$ Its automorphism group is isomorphic to $PSL(2,41)$. Its existence can be explained neither by a transitivity argument, nor by the Assmus-Mattson theorem.


title: Random projections in gravitational-wave searches from compact binaries II: efficient reconstruction of the detection statistic

abstract: Low-latency gravitational wave search pipelines such as GstLAL take advantage of low-rank factorization of the template matrix via singular value decomposition (SVD). With unprecedented improvements in detector bandwidth and sensitivity in advanced-LIGO and Virgo detectors, one expects several orders of magnitude increase in the size of template banks. This poses a formidable computational challenge in factorizing huge template matrices. Previously, [in Kulkarni et al. [6]], we introduced the idea of random projection (RP)-based matrix factorization as a computationally viable alternative to SVD, applicable for large template banks. This follow-up paper demonstrates the application of a block-wise randomized matrix factorization (RMF) algorithm for computing low-rank factorizations at a preset average fractional loss of SNR. This new scheme is shown to be more efficient in the context of the LLOID framework of the GstLAL search pipeline. Further, it is well-known that for huge template banks, the total computational cost of the search is dominated by reconstructing the detection statistic compared to that of filtering the data. However, optimizing the reconstruction cost has not been addressed satisfactorily so far in the available literature. We show that it is possible to approximately reconstruct the time-series of the matched-filter detection statistic at a fraction of the total cost using the matching pursuit algorithm. Combining the two algorithms presented in this paper can handle online searches involving large template banks more efficiently. We have analyzed the total computational cost in detail and offer various tips for optimally applying the RMF scheme in different parts of the parameter space. The algorithms presented in this paper are designed in a suitable manner that can be efficiently implemented over a distributed computing architecture.


title: Satisfiability Modulo Theories and Chiral Heterotic String Vacua with Positive Cosmological Constant

abstract: We apply Boolean Satisfiability (SAT) and Satisfiability Modulo Theories (SMT) solvers in the context of finding chiral heterotic string models with positive cosmological constant from $\mathbb{Z}_2\times \mathbb{Z}_2$ orbifolds. The power of using SAT/SMT solvers to sift large parameter spaces quickly to decide satisfiability, both to declare and prove unsatisfiability and to declare satisfiability, are demonstrated in this setting. These models are partly chosen to be small enough to plot the performance against exhaustive search, which takes around 2 hours 20 minutes to comb through the parameter space. We show that making use of SMT based techniques with integer encoding is rather simple and effective, while a more careful Boolean SAT encoding provides a significant speed-up -- determining satisfiability or unsatisfiability has, in our experiments varied between 0.03 and 0.06 seconds, while determining all models (where models exist) took 19 seconds for a constraint system that allows for 2048 models and 8.4 seconds for a constraint system that admits 640 models. We thus gain several orders of magnitude in speed, and this advantage is set to grow with a growing parameter space. This holds the promise that the method scales well beyond the initial problem we have used it for in this paper.


title: Partition Quantitative Assessment (PQA): A quantitative methodology to assess the embedded noise in clustered omics and systems biology data

abstract: Identifying groups that share common features among datasets through clustering analysis is a typical problem in many fields of science, particularly in post-omics and systems biology research. In respect of this, quantifying how a measure can cluster or organize intrinsic groups is important since currently there is no statistical evaluation of how ordered is, or how much noise is embedded in the resulting clustered vector. Many of the literature focuses on how well the clustering algorithm orders the data, with several measures regarding external and internal statistical measures; but none measure has been developed to statistically quantify the noise in an arranged vector posterior a clustering algorithm, i.e., how much of the clustering is due to randomness. Here, we present a quantitative methodology, based on autocorrelation, to assess this problem.


title: Domain-aware Neural Language Models for Speech Recognition

abstract: As voice assistants become more ubiquitous, they are increasingly expected to support and perform well on a wide variety of use-cases across different domains. We present a domain-aware rescoring framework suitable for achieving domain-adaptation during second-pass rescoring in production settings. In our framework, we fine-tune a domain-general neural language model on several domains, and use an LSTM-based domain classification model to select the appropriate domain-adapted model to use for second-pass rescoring. This domain-aware rescoring improves the word error rate by up to 2.4% and slot word error rate by up to 4.1% on three individual domains -- shopping, navigation, and music -- compared to domain general rescoring. These improvements are obtained while maintaining accuracy for the general use case.


title: Generation of Traffic Flows in Multi-Agent Traffic Simulation with Agent Behavior Model based on Deep Reinforcement Learning

abstract: In multi-agent based traffic simulation, agents are always supposed to move following existing instructions, and mechanically and unnaturally imitate human behavior. The human drivers perform acceleration or deceleration irregularly all the time, which seems unnecessary in some conditions. For letting agents in traffic simulation behave more like humans and recognize other agents' behavior in complex conditions, we propose a unified mechanism for agents learn to decide various accelerations by using deep reinforcement learning based on a combination of regenerated visual images revealing some notable features, and numerical vectors containing some important data such as instantaneous speed. By handling batches of sequential data, agents are enabled to recognize surrounding agents' behavior and decide their own acceleration. In addition, we can generate a traffic flow behaving diversely to simulate the real traffic flow by using an architecture of fully decentralized training and fully centralized execution without violating Markov assumptions.


title: Quantum credit loans

abstract: Quantum models based on the mathematics of quantum mechanics (QM) have been developed in cognitive sciences, game theory and econophysics. In this work a generalization of credit loans is introduced by using the vector space formalism of QM. Operators for the debt, amortization, interest and periodic installments are defined and its mean values in an arbitrary orthonormal basis of the vectorial space give the corresponding values at each period of the loan. Endowing the vector space of dimension M, where M is the loan duration, with a SO(M) symmetry, it is possible to rotate the eigenbasis to obtain better schedule periodic payments for the borrower, by using the rotation angles of the SO(M) transformation. Given that a rotation preserves the length of the vectors, the total amortization, debt and periodic installments are not changed. For a general description of the formalism introduced, the loan operator relations are given in terms of a generalized Heisenberg algebra, where finite dimensional representations are considered and commutative operators are defined for the specific loan types. The results obtained are an improvement of the usual financial instrument of credit because introduce several degrees of freedom through the rotation angles, which allows to select superposition states of the corresponding commutative operators that enables the borrower to tune the periodic installments in order to obtain better benefits without changing what the lender earns.


title: On the Efficacy of Friction Damping in the Presence of Nonlinear Modal Interactions

abstract: This work addresses friction-induced modal interactions in jointed structures, and their effects on the passive mitigation of vibrations by means of friction damping. Under the condition of (nearly) commensurable natural frequencies, the nonlinear character of friction can cause so-called nonlinear modal interactions. If harmonic forcing near the natural frequency of a specific mode is applied, for instance, another mode may be excited due to nonlinear energy transfer and thus contribute considerably to the vibration response. We investigate how this phenomenon affects the performance of friction damping. To this end, we study the steady-state, periodic forced vibrations of a system of two beams connected via a local mechanical friction joint. The system can be tuned to continuously adjust the ratio between the first two natural frequencies in the range around the $1:3$ internal resonance, in order to trigger or suppress the emergence of modal interactions. Due to the re-distribution of the vibration energy, the vibration level can in fact be reduced in certain situations. However, in other situations, the multi-harmonic character of the vibration has detrimental effects on the effective damping provided by the friction joint. The resulting response level can be significantly larger than in the absence of modal interactions. Moreover, it is shown that the vibration behavior is highly sensitive in the neighborhood of internal resonances. It is thus concluded that the condition of internal resonance should be avoided in the design of friction-damped systems.


title: Global complexity effects due to local damping in a nonlinear system in 1:3 internal resonance

abstract: It is well-known that nonlinearity may lead to localization effects and coupling of internally resonant modes. However, research focused primarily on conservative systems commonly assumes that the near-resonant forced response closely follows the autonomous dynamics. Our results for even a simple system of two coupled oscillators with a cubic spring clearly contradict this common belief. We demonstrate analytically and numerically global effects of a weak local damping source in a harmonically forced nonlinear system under condition of 1:3 internal resonance: The global motion becomes asynchronous, i.e., mode complexity is introduced with a non-trivial phase difference between the modal oscillations. In particular, we show that a maximum mode complexity with a phase difference of $90^\circ$ is attained in a multi-harmonic sense. This corresponds to a transition from generalized standing to traveling waves in the system's modal space. We further demonstrate that the localization is crucially affected by the system's damping. Finally, we propose an extension of the definition of mode complexity and mode localization to nonlinear quasi-periodic motions, and illustrate their application to a quasi-periodic regime in the forced response.


title: Pricing the COVID-19 Vaccine: A Mathematical Approach

abstract: According to the World Health Organization, development of the COVID-19 vaccine is occurring in record time. Administration of the vaccine has started the same year as the declaration of the COVID-19 pandemic. The United Nations emphasized the importance of providing COVID-19 vaccines as "a global public good", which is accessible and affordable world-wide. Pricing the COVID-19 vaccines is a controversial topic. We use optimization and game theoretic approaches to model the COVID-19 U.S. vaccine market as a duopoly with two manufacturers Pfizer-BioNTech and Moderna. The results suggest that even in the context of very high production and distribution costs, the government can negotiate prices with the manufacturers to keep public sector prices as low as possible while meeting demand and ensuring each manufacturer earns a target profit. Furthermore, these prices are consistent with those currently predicted in the media.


title: Key Phrase Extraction & Applause Prediction

abstract: With the increase in content availability over the internet it is very difficult to get noticed. It has become an upmost the priority of the blog writers to get some feedback over their creations to be confident about the impact of their article. We are training a machine learning model to learn popular article styles, in the form of vector space representations using various word embeddings, and their popularity based on claps and tags.


title: SDA: Improving Text Generation with Self Data Augmentation

abstract: Data augmentation has been widely used to improve deep neural networks in many research fields, such as computer vision. However, less work has been done in the context of text, partially due to its discrete nature and the complexity of natural languages. In this paper, we propose to improve the standard maximum likelihood estimation (MLE) paradigm by incorporating a self-imitation-learning phase for automatic data augmentation. Unlike most existing sentence-level augmentation strategies, which are only applied to specific models, our method is more general and could be easily adapted to any MLE-based training procedure. In addition, our framework allows task-specific evaluation metrics to be designed to flexibly control the generated sentences, for example, in terms of controlling vocabulary usage and avoiding nontrivial repetitions. Extensive experimental results demonstrate the superiority of our method on two synthetic and several standard real datasets, significantly improving related baselines.


title: Learning to Emphasize: Dataset and Shared Task Models for Selecting Emphasis in Presentation Slides

abstract: Presentation slides have become a common addition to the teaching material. Emphasizing strong leading words in presentation slides can allow the audience to direct the eye to certain focal points instead of reading the entire slide, retaining the attention to the speaker during the presentation. Despite a large volume of studies on automatic slide generation, few studies have addressed the automation of design assistance during the creation process. Motivated by this demand, we study the problem of Emphasis Selection (ES) in presentation slides, i.e., choosing candidates for emphasis, by introducing a new dataset containing presentation slides with a wide variety of topics, each is annotated with emphasis words in a crowdsourced setting. We evaluate a range of state-of-the-art models on this novel dataset by organizing a shared task and inviting multiple researchers to model emphasis in this new domain. We present the main findings and compare the results of these models, and by examining the challenges of the dataset, we provide different analysis components.


title: Neurosymbolic Transformers for Multi-Agent Communication

abstract: We study the problem of inferring communication structures that can solve cooperative multi-agent planning problems while minimizing the amount of communication. We quantify the amount of communication as the maximum degree of the communication graph; this metric captures settings where agents have limited bandwidth. Minimizing communication is challenging due to the combinatorial nature of both the decision space and the objective; for instance, we cannot solve this problem by training neural networks using gradient descent. We propose a novel algorithm that synthesizes a control policy that combines a programmatic communication policy used to generate the communication graph with a transformer policy network used to choose actions. Our algorithm first trains the transformer policy, which implicitly generates a "soft" communication graph; then, it synthesizes a programmatic communication policy that "hardens" this graph, forming a neurosymbolic transformer. Our experiments demonstrate how our approach can synthesize policies that generate low-degree communication graphs while maintaining near-optimal performance.


title: Comparison of the effects of investor attention using search volume data before and after mobile device popularization

abstract: In this study, we will study investor attention measurement using the Search Volume Index in the recent market. Since 2009, the popularity of mobile devices and the spread of the Internet have made the speed of information delivery faster and the investment information retrieval data for obtaining investment information has increased dramatically. In these circumstances, investor attention measurement using search volume data can be measured more accurately and faster than before mobile device popularization. To confirm this, we will compare the effect of measuring investor attention using search volume data before and after mobile device popularization. In addition, it is confirmed that the measured investor attention is that of retail traders, not institutional traders or professional traders, and the relationship between investor attention and short-term price pressure theory. Using SVI data provided by Google Trends, we will experiment with Russell 3000 stocks and IPO stocks and compare the results. In addition, the results of investigating the investor's interest using the search volume data from various angles through experiments such as the comparison of the results based on the inclusion of the noise ticker group, the comparison of the limitations of the existing investor attention measurement method, and the comparison of explanatory variables with existing IPO related studies. We would like to verify its practicality and significance.


title: Simulating volume-controlled invasion of a non-wetting fluid in volumetric images using basic image processing tools

abstract: A new algorithm is presented for simulating volume-controlled invasion of a non-wetting phase into voxel images. This method is complementary to the traditional morphological image opening method which mimics pressure-based invasion. A key advantage of the volume-based approach is that all saturations between 0 and 1 can obtained rather than the irregularly and widely spaced saturation steps obtained by pressure-based methods. Because of the incremental increases in saturation, it becomes possible to correctly predict defending phase trapping, which is not the case when pressure-based steps are applied. The algorithm is validated against morphological image opening and obtains near perfect agreement at equal saturations as expected from theory. It is also demonstrated that a volume-controlled capillary pressure curve can be obtained that displays the characteristic jumps in capillary pressure, and moreover, the envelop of peak pressures yields the pressure-based capillary pressure obtained by morphological opening, so in fact the results of the proposed algorithm are a superset of the morphological approach. Finally, results are compared to multiphase lattice Boltzmann and qualitatively similar results were achieved in substantially less time. The lattice Boltzmann method is more flexible in terms of variable contact angle and inclusion of viscous effects, but for quasi-static volume-based injection of a non-wetting fluid, the proposed method is viable alternative.


title: Hansel and Gretel and the Virus: Privacy Conscious Contact Tracing

abstract: Digital contact tracing has been proposed to support the health authorities in fighting the current Covid-19 pandemic. In this paper we propose two centralised protocols for digital contact tracing that, contrary to the common hypothesis that this is an inherent risk, do not allow (retroactive) tracking of the location of a device over time. The first protocol does not rely on synchronised clocks. The second protocol does not require a handshake between two devices, at the expense of relying on real-time communication with a central server. We stress that digital contact tracing is a form of technological solutionism that should be used with care, especially given the inherent mass surveillance nature of such systems.


title: RAP-modulated Fluid Processes: First Passages and the Stationary Distribution

abstract: We construct a stochastic fluid process with an underlying piecewise deterministic Markov process (PDMP) akin to the one used in the construction of the rational arrival process (RAP), which we call the RAP-modulated fluid process. As opposed to the classic stochastic fluid process driven by a Markov jump process, the underlying PDMP of a RAP-modulated fluid process has a continuous state space and is driven by matrix parameters which may not be related to an intensity matrix. Through novel techniques we show how well-known formulae associated to the classic stochastic fluid process, such as first passage probabilities and the stationary distribution of its queue, translate to its RAP-modulated counterpart.


title: Interplanetary magnetic flux rope observed at ground level by HAWC

abstract: We report the ground-level detection of a Galactic Cosmic-Ray (GCR) flux enhancement lasting $\sim$ 17 hr and associated with the passage of a magnetic flux rope (MFR) over the Earth. The MFR was associated with a slow Coronal Mass Ejection (CME) caused by the eruption of a filament on 2016 October 9. Due to the quiet conditions during the eruption and the lack of interactions during the interplanetary CME transport to the Earth, the associated MFR preserved its configuration and reached the Earth with a strong magnetic field, low density, and a very low turbulence level compared to the local background, thus generating the ideal conditions to redirect and guide GCRs (in the $\sim$ 8 to 60 GV rigidity range) along the magnetic field of the MFR. An important negative $B_Z$ component inside the MFR caused large disturbances in the geomagnetic field and a relatively strong geomagnetic storm. However, these disturbances are not the main factors behind the GCR enhancement. Instead, we found that the major factor was the alignment between the MFR axis and the asymptotic direction of the observer.


title: End-to-end Prostate Cancer Detection in bpMRI via 3D CNNs: Effects of Attention Mechanisms, Clinical Priori and Decoupled False Positive Reduction

abstract: We present a multi-stage 3D computer-aided detection and diagnosis (CAD) model for automated localization of clinically significant prostate cancer (csPCa) in bi-parametric MR imaging (bpMRI). Deep attention mechanisms drive its detection network, targeting salient structures and highly discriminative feature dimensions across multiple resolutions. Its goal is to accurately identify csPCa lesions from indolent cancer and the wide range of benign pathology that can afflict the prostate gland. Simultaneously, a decoupled residual classifier is used to achieve consistent false positive reduction, without sacrificing high sensitivity or computational efficiency. In order to guide model generalization with domain-specific clinical knowledge, a probabilistic anatomical prior is used to encode the spatial prevalence and zonal distinction of csPCa. Using a large dataset of 1950 prostate bpMRI paired with radiologically-estimated annotations, we hypothesize that such CNN-based models can be trained to detect biopsy-confirmed malignancies in an independent cohort. For 486 institutional testing scans, the 3D CAD system achieves 83.69$\pm$5.22% and 93.19$\pm$2.96% detection sensitivity at 0.50 and 1.46 false positive(s) per patient, respectively, with 0.882$\pm$0.030 AUROC in patient-based diagnosis $-$significantly outperforming four state-of-the-art baseline architectures (U-SEResNet, UNet++, nnU-Net, Attention U-Net) from recent literature. For 296 external biopsy-confirmed testing scans, the ensembled CAD system shares moderate agreement with a consensus of expert radiologists (76.69%; $kappa$ $=$ 0.51$\pm$0.04) and independent pathologists (81.08%; $kappa$ $=$ 0.56$\pm$0.06); demonstrating strong generalization to histologically-confirmed csPCa diagnosis.


title: Monolithic Infrared Silicon Photonics: The Rise of (Si)GeSn Semiconductors

abstract: (Si)GeSn semiconductors are finally coming of age after a long gestation period. The demonstration of device quality epi-layers and quantum-engineered heterostructures has meant that tunable all-group IV Si-integrated infrared photonics is now a real possibility. Notwithstanding the recent exciting developments in (Si)GeSn materials and devices, this family of semiconductors is still facing serious limitations that need to be addressed to enable reliable and scalable applications. The main outstanding challenges include the difficulty to grow high crystalline quality layers and heterostructures at the desired Sn content and lattice strain, preserve the material integrity during growth and throughout device processing steps, and control doping and defect density. Other challenges are related to the lack of optimized device designs and predictive theoretical models to evaluate and simulate the fundamental properties and performance of (Si)GeSn layers and heterostructures. This Perspective highlights key strategies to circumvent these hurdles and bring this material system to maturity to create far-reaching new opportunities for Si-compatible infrared photodetectors, sensors, and emitters for applications in free-space communication, infrared harvesting, biological and chemical sensing, and thermal imaging.


title: Magnetic Field Orientation in Self-Gravitating Turbulent Molecular Clouds

abstract: Stars form inside molecular cloud filaments from the competition of gravitational forces with turbulence and magnetic fields. The exact orientation of these filaments with the magnetic fields depends on the strength of these fields, the gravitational potential, and the line-of-sight (LOS) relative to the mean field. To disentangle these effects we employ three-dimensional magnetohydrodynamical numerical simulations that explore a wide range of initial turbulent and magnetic states, i.e., sub-Alfv\'enic to super-Alfv\'enic turbulence, with and without gravity. We use histogram of relative orientation (HRO) and the associated projected Rayleigh statistics (PRS) to study the orientation of density and, in order to compare with observations, the integrated density relative to the magnetic field. We find that in sub-Alfv\'enic systems the initial coherence of the magnetic is maintained inside the cloud and filaments form perpendicular to the field. This trend is not observed in super-Alfv\'enic models, where the lines are dragged by gravity and turbulence and filaments are mainly aligned to the field. The PRS analysis of integrated maps shows that LOS effects are important only for sub-Alfv\'enic clouds. When the LOS is perpendicular to the initial field orientation most of the filaments are perpendicular to the projected magnetic field. The inclusion of gravity increases the number of dense structures perpendicular to the magnetic field, reflected as lower values of the PRS for denser regions, regardless of whether the model is sub- or super-Alfv\'enic. The comparison of our results with observed molecular clouds reveal that most are compatible with sub-Alfv\'enic models.


title: Glacier Calving Front Segmentation Using Attention U-Net

abstract: An essential climate variable to determine the tidewater glacier status is the location of the calving front position and the separation of seasonal variability from long-term trends. Previous studies have proposed deep learning-based methods to semi-automatically delineate the calving fronts of tidewater glaciers. They used U-Net to segment the ice and non-ice regions and extracted the calving fronts in a post-processing step. In this work, we show a method to segment the glacier calving fronts from SAR images in an end-to-end fashion using Attention U-Net. The main objective is to investigate the attention mechanism in this application. Adding attention modules to the state-of-the-art U-Net network lets us analyze the learning process by extracting its attention maps. We use these maps as a tool to search for proper hyperparameters and loss functions in order to generate higher qualitative results. Our proposed attention U-Net performs comparably to the standard U-Net while providing additional insight into those regions on which the network learned to focus more. In the best case, the attention U-Net achieves a 1.5% better Dice score compared to the canonical U-Net with a glacier front line prediction certainty of up to 237.12 meters.


title: Global existence of solutions of a loglog energy-supercritical Klein-Gordon equation

abstract: We prove global existence of solutions of a loglog energy-supercritical Klein-Gordon equation for n=3,4,5. Assuming that blow-up occurs at a time of maximal existence, we perform an analysis close to this time in order to find a finite bound of a Strichartz-type norm, which eventually leads to a contraction with the blow-up assumption.


title: Bayesian U-Net for Segmenting Glaciers in SAR Imagery

abstract: Fluctuations of the glacier calving front have an important influence over the ice flow of whole glacier systems. It is therefore important to precisely monitor the position of the calving front. However, the manual delineation of SAR images is a difficult, laborious and subjective task. Convolutional neural networks have previously shown promising results in automating the glacier segmentation in SAR images, making them desirable for further exploration of their possibilities. In this work, we propose to compute uncertainty and use it in an Uncertainty Optimization regime as a novel two-stage process. By using dropout as a random sampling layer in a U-Net architecture, we create a probabilistic Bayesian Neural Network. With several forward passes, we create a sampling distribution, which can estimate the model uncertainty for each pixel in the segmentation mask. The additional uncertainty map information can serve as a guideline for the experts in the manual annotation of the data. Furthermore, feeding the uncertainty map to the network leads to 95.24% Dice similarity, which is an overall improvement in the segmentation performance compared to the state-of-the-art deterministic U-Net-based glacier segmentation pipelines.


title: Wong--Zakai approximations with convergence rate for stochastic differential equations with regime switching

abstract: We construct Wong--Zakai approximations of time--inhomogeneous stochastic differential equations with regime switching (RSSDEs), and provide a convergence rate. %Given a family of finite-variation processes $\{\mathcal{F}^{\lambda}\}_{\lambda\ge 0}$ that converge strongly to a standard Brownian motion $\mathcal{B}$, we construct pathwise approximations for regime-switching, time-inhomogeneous stochastic differential equations in the Wong-Zakai sense. Moreover, we determine the rate of strong convergence to the solutions of such regime-switching SDEs, showing that this rate is almost as good as that of $\{\mathcal{F}^{\lambda}\}_{\lambda\ge 0}$ to $\mathcal{B}$. In the proposed approximations, the standard Brownian motion driving the time-inhomogeneous RSSDEs is replaced by a family of finite--variation processes $\{\mathcal{F}^{\lambda}\}_{\lambda > 0}$. We show that if $\mathcal{F}^{\lambda}$ strongly converges to $\mathcal{B}$ at rate $\delta(\lambda)$, then the Wong--Zakai approximation strongly converges to the original solution of the time--inhomogeneous RSSDE at rate $\delta(\lambda) \lambda^{\varepsilon}$, for any $\varepsilon > 0$. This is the first paper on Wong--Zakai approximations for time--inhomogeneous RSSDEs, and significantly extends the counterparts for time--homogeneous SDEs without regime switching in R\"{o}misch and Wakolbinger (1985).


title: Unobtrusive Pain Monitoring in Older Adults with Dementia using Pairwise and Contrastive Training

abstract: Although pain is frequent in old age, older adults are often undertreated for pain. This is especially the case for long-term care residents with moderate to severe dementia who cannot report their pain because of cognitive impairments that accompany dementia. Nursing staff acknowledge the challenges of effectively recognizing and managing pain in long-term care facilities due to lack of human resources and, sometimes, expertise to use validated pain assessment approaches on a regular basis. Vision-based ambient monitoring will allow for frequent automated assessments so care staff could be automatically notified when signs of pain are displayed. However, existing computer vision techniques for pain detection are not validated on faces of older adults or people with dementia, and this population is not represented in existing facial expression datasets of pain. We present the first fully automated vision-based technique validated on a dementia cohort. Our contributions are threefold. First, we develop a deep learning-based computer vision system for detecting painful facial expressions on a video dataset that is collected unobtrusively from older adult participants with and without dementia. Second, we introduce a pairwise comparative inference method that calibrates to each person and is sensitive to changes in facial expression while using training data more efficiently than sequence models. Third, we introduce a fast contrastive training method that improves cross-dataset performance. Our pain estimation model outperforms baselines by a wide margin, especially when evaluated on faces of people with dementia. Pre-trained model and demo code available at https://github.com/TaatiTeam/pain_detection_demo


title: Synthetic Glacier SAR Image Generation from Arbitrary Masks Using Pix2Pix Algorithm

abstract: Supervised machine learning requires a large amount of labeled data to achieve proper test results. However, generating accurately labeled segmentation maps on remote sensing imagery, including images from synthetic aperture radar (SAR), is tedious and highly subjective. In this work, we propose to alleviate the issue of limited training data by generating synthetic SAR images with the pix2pix algorithm. This algorithm uses conditional Generative Adversarial Networks (cGANs) to generate an artificial image while preserving the structure of the input. In our case, the input is a segmentation mask, from which a corresponding synthetic SAR image is generated. We present different models, perform a comparative study and demonstrate that this approach synthesizes convincing glaciers in SAR images with promising qualitative and quantitative results.


title: Adaptive Learning in Two-Player Stackelberg Games with Application to Network Security

abstract: We study a two-player Stackelberg game with incomplete information such that the follower's strategy belongs to a known family of parameterized functions with an unknown parameter vector. We design an adaptive learning approach to simultaneously estimate the unknown parameter and minimize the leader's cost, based on adaptive control techniques and hysteresis switching. Our approach guarantees that the leader's cost predicted using the parameter estimate becomes indistinguishable from its actual cost in finite time, up to a preselected, arbitrarily small error threshold. Also, the first-order necessary condition for optimality holds asymptotically for the predicted cost. Additionally, if a persistent excitation condition holds, then the parameter estimation error becomes bounded by a preselected, arbitrarily small threshold in finite time as well. For the case where there is a mismatch between the follower's strategy and the parameterized function that is known to the leader, our approach is able to guarantee the same convergence results for error thresholds larger than the size of the mismatch. The algorithms and the convergence results are illustrated via a simulation example in the domain of network security.


title: A Latent Survival Analysis Enabled Simulation Platform For Nursing Home Staffing Strategy Evaluation

abstract: Nursing homes are critical facilities for caring frail older adults with round-the-clock formal care and personal assistance. To ensure quality care for nursing home residents, adequate staffing level is of great importance. Current nursing home staffing practice is mainly based on experience and regulation. The objective of this paper is to investigate the viability of experience-based and regulation-based strategies, as well as alternative staffing strategies to minimize labor costs subject to heterogeneous service demand of nursing home residents under various scenarios of census. We propose a data-driven analysis framework to model heterogeneous service demand of nursing home residents and further identify appropriate staffing strategies by combing survival model and computer simulation techniques as well as domain knowledge. Specifically, in the analysis, we develop an agent-based simulation tool consisting of four main modules, namely individual length of stay predictor, individual daily staff time generator, facility level staffing strategy evaluator, and graphical user interface. We use real nursing home data to validate the proposed model, and demonstrate that the identified staffing strategy significantly reduces the total labor cost of certified nursing assistants compared to the benchmark strategies. Additionally, the proposed length of stay predictive model that considers multiple discharge dispositions exhibits superior accuracy and offers better staffing decisions than those without the consideration. Further, we construct different census scenarios of nursing home residents to demonstrate the capability of the proposed framework in helping adjust staffing decisions of nursing home administrators in various realistic settings.


title: Spending Your Winning Lottery Better After Drawing It

abstract: Lottery Ticket Hypothesis (LTH) suggests that a dense neural network contains a sparse sub-network that can match the performance of the original dense network when trained in isolation from scratch. Most works retrain the sparse sub-network with the same training protocols as its dense network, such as initialization, architecture blocks, and training recipes. However, till now it is unclear that whether these training protocols are optimal for sparse networks. In this paper, we demonstrate that it is unnecessary for spare retraining to strictly inherit those properties from the dense network. Instead, by plugging in purposeful "tweaks" of the sparse subnetwork architecture or its training recipe, its retraining can be significantly improved than the default, especially at high sparsity levels. Combining all our proposed "tweaks" can yield the new state-of-the-art performance of LTH, and these modifications can be easily adapted to other sparse training algorithms in general. Specifically, we have achieved a significant and consistent performance gain of1.05% - 4.93% for ResNet18 on CIFAR-100 over vanilla-LTH. Moreover, our methods are shown to generalize across datasets (CIFAR10, CIFAR100, TinyImageNet) and architectures (Vgg16, ResNet-18/ResNet-34, MobileNet). All codes will be publicly available.


title: Towards Optimal Transport for Quantum Densities

abstract: An analogue of the quadratic Wasserstein (or Monge-Kantorovich) distance between Borel probability measures on $\mathbf{R}^d$ has been defined in [F. Golse, C. Mouhot, T. Paul: Commun. Math. Phys. 343 (2015), 165-205] for density operators on $L^2(\mathbf{R}^d)$, and used to estimate the convergence rate of various asymptotic theories in the context of quantum mechanics. The present work proves a Kantorovich type duality theorem for this quantum variant of the Monge-Kantorovich or Wasserstein distance, and discusses the structure of optimal quantum couplings. Specifically, we prove that optimal quantum couplings involve a gradient type structure similar to the Brenier transport map (which is the gradient of a convex function), or more generally, to the subdifferential of a l.s.c. convex function as in the Knott-Smith optimality criterion (see Theorem 2.12 in [C. Villani: "Topics in Optimal Transportation", Amer. Math. Soc. 2003]).


title: A Cloud connected NO2 and Ozone Sensor System for Personalized Pediatric Asthma Research and Management

abstract: This paper presents a cloud-connected indoor air quality sensor system that can be deployed to patients' homes to study personal microenvironmental exposure for asthma research and management. The system consists of multiple compact sensor units that can measure residential NO2, ozone, humidity, and temperature at one minute resolution and a cloud based informatic system that acquires, stores, and visualizes the microenvironmental data in real time. The sensor hardware can measure NO2 as low as 10 ppb and ozone at 15 ppb. The cloud informatic system is implemented using open-source software on Amazon Web Service for easy deployment and scalability. This system was successfully deployed to pediatric asthma patients' homes in a pilot study. In this study, we discovered that some families can have short term NO2 exposure higher than EPA's one hour exposure limit (100 ppb), and NO2 micropollution episodes often arise from natural gas appliance usage such as gas stove burning during cooking. By combining the personalized air pollutant exposure measurements with the physiological responses from a patient diary and medical record, this system can enable novel asthma research and personalized asthma management.


title: Fair Sampling Error Analysis on NISQ Devices

abstract: We study the status of fair sampling on Noisy Intermediate Scale Quantum (NISQ) devices, in particular the IBM Q family of backends. Using the recently introduced Grover Mixer-QAOA algorithm for discrete optimization, we generate fair sampling circuits to solve six problems of varying difficulty, each with several optimal solutions, which we then run on twenty backends across the IBM Q system. For a given circuit evaluated on a specific set of qubits, we evaluate: how frequently the qubits return an optimal solution to the problem, the fairness with which the qubits sample from all optimal solutions, and the reported hardware error rate of the qubits. To quantify fairness, we define a novel metric based on Pearson's $\chi^2$ test. We find that fairness is relatively high for circuits with small and large error rates, but drops for circuits with medium error rates. This indicates that structured errors dominate in this regime, while unstructured errors, which are random and thus inherently fair, dominate in noisier qubits and longer circuits. Our results show that fairness can be a powerful tool for understanding the intricate web of errors affecting current NISQ hardware.


title: Ramadan and Infants Health Outcomes

abstract: Previous studies show that prenatal shocks to embryos could have adverse impacts on health endowment at birth. Using the universe of birth data and a difference-in-difference-in-difference strategy, I find that exposure to Ramadan during prenatal development has negative birth outcomes. Exposure to a full month of fasting is associated with 96 grams lower birth-weight. These results are robust across specifications and do not appear to be driven by mothers selective fertility.


title: Instantaneous turbulent kinetic energy modelling based on Lagrangian stochastic approach in CFD and application to wind energy

abstract: We present the construction of an original stochastic model for the instantaneous turbulent kinetic energy at a given point of a flow, and we validate estimator methods on this model with observational data examples. Motivated by the need for wind energy industry of acquiring relevant statistical information of air motion at a local place, we adopt the Lagrangian description of fluid flows to derive, from the $3$D+time equations of the physics, a $0$D+time-stochastic model for the time series of the instantaneous turbulent kinetic energy at a given position. Specifically, based on the Lagrangian stochastic description of a generic fluid-particles, we derive a family of mean-field dynamics featuring the square norm of the turbulent velocity. By approximating at equilibrium the characteristic nonlinear terms of the dynamics, we recover the so called Cox-Ingersoll-Ross process, which was previously suggested in the literature for modelling wind speed. We then propose a calibration procedure for the parameters employing both direct methods and Bayesian inference. In particular, we show the consistency of the estimators and validate the model through the quantification of uncertainty, with respect to the range of values given in the literature for some physical constants of turbulence modelling.


title: Optimal Control and Numerical Methods for Hybrid Stochastic SIS Models

abstract: This work focuses on optimal controls of a class of stochastic SIS epidemic models under regime switching. By assuming that a decision maker can either influence the infectivity period or isolate infected individuals, our aim is to minimize the expected discounted cost due to illness, medical treatment, and the adverse effect on the society. In addition, a model with the incorporation of vaccination is proposed. Numerical schemes are developed by approximating the continuous-time dynamics using Markov chain approximation methods. It is demonstrated that the approximation schemes converge to the optimal strategy as the mesh size goes to zero. Numerical examples are provided to illustrate our results.


title: Electronic correlation in nearly free electron metals with beyond-DFT methods

abstract: For more than three decades, nearly free electron elemental metals have been a topic of debate because the computed bandwidths are significantly wider in the local density approximation to density-functional theory (DFT) than indicated by angle-resolved photoemission (ARPES) experiments. Here, we systematically investigate this using first-principles calculations for alkali and alkaline-earth metals using DFT and various beyond-DFT methods such as meta-GGA, G$_0$W$_0$, hybrid functionals (YS-PBE0, B3LYP), and LDA+eDMFT. We find that the static non-local exchange, as partly included in the hybrid functionals, significantly increase the bandwidths even compared to LDA, while the G$_0$W$_0$ bands are only slightly narrower than in LDA. The agreement with the ARPES is best when the local approximation to the self-energy is used in the LDA+eDMFT method. We infer that even moderately correlated systems with partially occupied s-orbitals, which were assumed to approximate the uniform electron gas, are very well described in terms of short-range dynamical correlations that are only local to an atom.


title: SyReNN: A Tool for Analyzing Deep Neural Networks

abstract: Deep Neural Networks (DNNs) are rapidly gaining popularity in a variety of important domains. Formally, DNNs are complicated vector-valued functions which come in a variety of sizes and applications. Unfortunately, modern DNNs have been shown to be vulnerable to a variety of attacks and buggy behavior. This has motivated recent work in formally analyzing the properties of such DNNs. This paper introduces SyReNN, a tool for understanding and analyzing a DNN by computing its symbolic representation. The key insight is to decompose the DNN into linear functions. Our tool is designed for analyses using low-dimensional subsets of the input space, a unique design point in the space of DNN analysis tools. We describe the tool and the underlying theory, then evaluate its use and performance on three case studies: computing Integrated Gradients, visualizing a DNN's decision boundaries, and patching a DNN.


title: Response of undoped cryogenic CsI to low-energy nuclear recoils

abstract: The bright scintillation of pure CsI operated at liquid-nitrogen temperature makes of this material a promising dark matter and neutrino detector. We present the first measurement of its quenching factor for nuclear recoils. Our findings indicate it is indistinguishable from that for sodium-doped CsI at room temperature. Additional properties such as light yield, afterglow, scintillation decay properties for electron and nuclear recoils, and energy proportionality are studied over the \mbox{108-165 K} temperature range, confirming the vast potential of this medium for rare-event searches.

categories: physics.ins-det astro-ph.IM hep-ex hep-ph nucl-ex


title: A Generalization of Renault's Theorem for Cartan Subalgebras

abstract: We prove a generalized version of Renault's theorem for Cartan subalgebras. We show that the original assumptions of second countability and separability are not needed. This weakens the assumption of topological principality of the underlying groupoid to effectiveness.


title: Studies on Frequency Response Optimized Integrators Considering Second Order Derivative

abstract: This paper presents comprehensive studies on frequency response optimized integrators considering second order derivative regarding their numerical error, numerical stability and transient performance. Frequency domain error analysis is conducted on these numerical integrators to reveal their accuracy. Numerical stability of the numerical integrators is investigated. Interesting new types of numerical stability are recognized. Transient performance of the numerical integrators is defined to qualitatively characterize their ability to track fast decaying transients. This property is related to unsatisfactory phenomena such as numerical oscillation which frequently appear in time domain simulation of circuits and systems. Transient performance analysis of the numerical integrators is provided. Theoretical observations from the analysis of the numerical integrators are verified via time domain case studies.


title: Planning for Automated Vehicles with Human Trust

abstract: Recent work has considered personalized route planning based on user profiles, but none of it accounts for human trust. We argue that human trust is an important factor to consider when planning routes for automated vehicles. This paper presents a trust-based route planning approach for automated vehicles. We formalize the human-vehicle interaction as a partially observable Markov decision process (POMDP) and model trust as a partially observable state variable of the POMDP, representing the human's hidden mental state. We build data-driven models of human trust dynamics and takeover decisions, which are incorporated in the POMDP framework, using data collected from an online user study with 100 participants on the Amazon Mechanical Turk platform. We compute optimal routes for automated vehicles by solving optimal policies in the POMDP planning, and evaluate the resulting routes via human subject experiments with 22 participants on a driving simulator. The experimental results show that participants taking the trust-based route generally reported more positive responses in the after-driving survey than those taking the baseline (trust-free) route. In addition, we analyze the trade-offs between multiple planning objectives (e.g., trust, distance, energy consumption) via multi-objective optimization of the POMDP. We also identify a set of open issues and implications for real-world deployment of the proposed approach in automated vehicles.


title: Modelling multi-scale state-switching functional data with hidden Markov models

abstract: Data sets comprised of sequences of curves sampled at high frequencies in time are increasingly common in practice, but they can exhibit complicated dependence structures that cannot be modelled using common methods of Functional Data Analysis (FDA). We detail a hierarchical approach which treats the curves as observations from a hidden Markov model (HMM). The distribution of each curve is then defined by another fine-scale model which may involve auto-regression and require data transformations using moving-window summary statistics or Fourier analysis. This approach is broadly applicable to sequences of curves exhibiting intricate dependence structures. As a case study, we use this framework to model the fine-scale kinematic movement of a northern resident killer whale (Orcinus orca) off the coast of British Columbia, Canada. Through simulations, we show that our model produces more interpretable state estimation and more accurate parameter estimates compared to existing methods.


title: A Gamification of Japanese Dependency Parsing

abstract: Gamification approaches have been used as a way for creating language resources for NLP. It is also used for presenting and teaching the algorithms in NLP and linguistic phenomena. This paper argues about a design of gamification for Japanese syntactic dependendency parsing for the latter objective. The user interface design is based on a transition-based shift reduce dependency parsing which needs only two actions of SHIFT (not attach) and REDUCE (attach) in Japanese dependency structure. We assign the two actions for two-way directional control on a gamepad or other devices. We also design the target sentences from psycholinguistics researches.


title: Investigation by Driving Simulation of Tractor Overturning Accidents Caused by Steering Instability

abstract: Overturning tractors are the leading cause of fatalities on farms. Steering instability contributes significantly to the tractor overturning. This study investigated tractor overturning accidents caused by the steering instability using a driving simulator. The general commercial driving simulator CarSim (Mechanical Simulation Cooperation, MI, USA) was used. Tractor operations on steep passage slopes were simulated to mimic conditions present for a real accident case reported in Japan. Simulations were performed on roads with and without slopes. The tractor overturned only when on the road with the steep slope. The decrease in the vertical force on the front wheel caused the steering instability and the tractor to overturn. The steering instability caused understeer which prevents the operator from being able to control the tractor properly. Subsequently, the tractor overturned in the simulation. The tractor driving simulator was capable of reproducing the steering instability which can lead to the overturning accident.


title: HypoSVI: Hypocenter inversion with Stein variational inference and Physics Informed Neural Networks

abstract: We introduce a scheme for probabilistic hypocenter inversion with Stein variational inference. Our approach uses a differentiable forward model in the form of a physics informed neural network, which we train to solve the Eikonal equation. This allows for rapid approximation of the posterior by iteratively optimizing a collection of particles against a kernelized Stein discrepancy. We show that the method is well-equipped to handle highly multimodal posterior distributions, which are common in hypocentral inverse problems. A suite of experiments is performed to examine the influence of the various hyperparameters. Once trained, the method is valid for any seismic network geometry within the study area without the need to build travel time tables. We show that the computational demands scale efficiently with the number of differential times, making it ideal for large-N sensing technologies like Distributed Acoustic Sensing. The techniques outlined in this manuscript have considerable implications beyond just ray-tracing procedures, with the work flow applicable to other fields with computationally expensive inversion procedures such as full waveform inversion.


title: Exploring Adversarial Fake Images on Face Manifold

abstract: Images synthesized by powerful generative adversarial network (GAN) based methods have drawn moral and privacy concerns. Although image forensic models have reached great performance in detecting fake images from real ones, these models can be easily fooled with a simple adversarial attack. But, the noise adding adversarial samples are also arousing suspicion. In this paper, instead of adding adversarial noise, we optimally search adversarial points on face manifold to generate anti-forensic fake face images. We iteratively do a gradient-descent with each small step in the latent space of a generative model, e.g. Style-GAN, to find an adversarial latent vector, which is similar to norm-based adversarial attack but in latent space. Then, the generated fake images driven by the adversarial latent vectors with the help of GANs can defeat main-stream forensic models. For examples, they make the accuracy of deepfake detection models based on Xception or EfficientNet drop from over 90% to nearly 0%, meanwhile maintaining high visual quality. In addition, we find manipulating style vector $z$ or noise vectors $n$ at different levels have impacts on attack success rate. The generated adversarial images mainly have facial texture or face attributes changing.


title: Robust and Scalable Routing with Multi-Agent Deep Reinforcement Learning for MANETs

abstract: Highly dynamic mobile ad-hoc networks (MANETs) are continuing to serve as one of the most challenging environments to develop and deploy robust, efficient, and scalable routing protocols. In this paper, we present DeepCQ+ routing which, in a novel manner, integrates emerging multi-agent deep reinforcement learning (MADRL) techniques into existing Q-learning-based routing protocols and their variants, and achieves persistently higher performance across a wide range of MANET configurations while training only on a limited range of network parameters and conditions. Quantitatively, DeepCQ+ shows consistently higher end-to-end throughput with lower overhead compared to its Q-learning-based counterparts with the overall gain of 10-15% in its efficiency. Qualitatively and more significantly, DeepCQ+ maintains remarkably similar performance gains under many scenarios that it was not trained for in terms of network sizes, mobility conditions, and traffic dynamics. To the best of our knowledge, this is the first successful demonstration of MADRL for the MANET routing problem that achieves and maintains a high degree of scalability and robustness even in the environments that are outside the trained range of scenarios. This implies that the proposed hybrid design approach of DeepCQ+ that combines MADRL and Q-learning significantly increases its practicality and explainability because the real-world MANET environment will likely vary outside the trained range of MANET scenarios.


title: Pixel domain multi-resolution minimum variance painting of CMB maps

abstract: This work introduces an unbiased minimum variance painting of the pixel domain CMB maps for both the missing and available sky regions. In the missing region, it generates CMB realizations that have identical statistical properties to the expected CMB signal; and in the available region, it significantly alleviate the unwanted residuals, e.g., the residual of EB-leakage. The time cost of this method follows $\sim$$ O(N_{side}^3)$ ($N_{side}$ is the map resolution parameter), which is similar to the fast spherical harmonic transforms and is much better than the traditional minimum variance method that follows $\sim$$O(N_{side}^6)$. This method is the basis of a series of minimum variance estimations for analyzing CMB datasets, and more works based on it will follow in the future.


title: Identifying Human Edited Images using a CNN

abstract: Most non-professional photo manipulations are not made using propriety software like Adobe Photoshop, which is expensive and complicated to use for the average consumer selfie-taker or meme-maker. Instead, these individuals opt for user friendly mobile applications like FaceTune and Pixlr to make human face edits and alterations. Unfortunately, there is no existing dataset to train a model to classify these type of manipulations. In this paper, we present a generative model that approximates the distribution of human face edits and a method for detecting Facetune and Pixlr manipulations to human faces.


title: Three-dimensional Reconstruction of Coronal Mass Ejections by CORAR Technique through Different Stereoscopic Angle of STEREO Twin Spacecraft

abstract: Recently, we developed the Correlation-Aided Reconstruction (CORAR) method to reconstruct solar wind inhomogeneous structures, or transients, using dual-view white-light images (Li et al. 2020; Li et al. 2018). This method is proved to be useful for studying the morphological and dynamical properties of transients like blobs and coronal mass ejection (CME), but the accuracy of reconstruction may be affected by the separation angle between the two spacecraft (Lyu et al. 2020). Based on the dual-view CME events from the Heliospheric Imager CME Join Catalogue (HIJoinCAT) in the HELCATS (Heliospheric Cataloguing, Analysis and Techniques Service) project, we study the quality of the CME reconstruction by the CORAR method under different STEREO stereoscopic angles. We find that when the separation angle of spacecraft is around 150{\deg}, most CME events can be well reconstructed. If the collinear effect is considered, the optimal separation angle should locate between 120{\deg} and 150{\deg}. Compared with the CME direction given in the Heliospheric Imager Geometrical Catalogue (HIGeoCAT) from HELCATS, the CME parameters obtained by the CORAR method are reasonable. However, the CORAR-obtained directions have deviations towards the meridian plane in longitude, and towards the equatorial plane in latitude. An empirical formula is proposed to correct these deviations. This study provides the basis for the spacecraft configuration of our recently proposed Solar Ring mission concept (Wang et al. 2020b).


title: On the number of dot product chains in finite fields and rings

abstract: We explore variants of Erd\H os' unit distance problem concerning dot products between successive pairs of points chosen from a large finite subset of either $\mathbb F_q^d$ or $\mathbb Z_q^d,$ where $q$ is a power of an odd prime. Specifically, given a large finite set of points $E$, and a sequence of elements of the base field (or ring) $(\alpha_1,\ldots,\alpha_k)$, we give conditions guaranteeing the expected number of $(k+1)$-tuples of distinct points $(x_1,\dots, x_{k+1})\in E^{k+1}$ satisfying $x_j \cdot x_{j+1}=\alpha_j$ for every $1\leq j \leq k$.


title: Dynamical Polarizability of Graphene with Spatial Dispersion

abstract: We perform a detailed analysis of electronic polarizability of graphene with different theoretical approaches. From Kubo's linear response formalism, we give a general expression of frequency and wave-vector dependent polarizability within the random phase approximation. Four theoretical approaches have been applied to the single-layer graphene and their differences are on the band-overlap of wavefunctions. By comparing with the \textit{ab initio} calculation, we discuss the validity of methods used in literature. Our results show that the tight-binding method is as good as the time-demanding \textit{ab initio} approach in calculating the polarizability of graphene. Moreover, due to the special Dirac-cone band structure of graphene, the Dirac model reproduces results of the tight-binding method for energy smaller than \SI{3}{\electronvolt}. For doped graphene, the intra-band transitions dominate at low energies and can be described by the Lindhard formula for two-dimensional electron gases. At zero temperature and long-wavelength limit, with the relaxation time approximation, all theoretical methods reduce to a long-wave analytical formula and the intra-band contributions agree to the Drude polarizability of graphene. Effects of electrical doping and temperature are also discussed. This work may provide a solid reference for researches and applications of the screening effect of graphene.


title: Investigating the Effect of Sensor Modalities in Multi-Sensor Detection-Prediction Models

abstract: Detection of surrounding objects and their motion prediction are critical components of a self-driving system. Recently proposed models that jointly address these tasks rely on a number of sensors to achieve state-of-the-art performance. However, this increases system complexity and may result in a brittle model that overfits to any single sensor modality while ignoring others, leading to reduced generalization. We focus on this important problem and analyze the contribution of sensor modalities towards the model performance. In addition, we investigate the use of sensor dropout to mitigate the above-mentioned issues, leading to a more robust, better-performing model on real-world driving data.


title: Modeling and Detecting Communities in Node Attributed Networks

abstract: As a fundamental structure in real-world networks, in addition to graph topology, communities can also be reflected by abundant node attributes. In attributed community detection, probabilistic generative models (PGMs) have become the mainstream method due to their principled characterization and competitive performances. Here, we propose a novel PGM without imposing any distributional assumptions on attributes, which is superior to the existing PGMs that require attributes to be categorical or Gaussian distributed. Based on the block model of graph structure, our model incorporates the attribute by describing its effect on node popularity. To characterize the effect quantitatively, we analyze the community detectability for our model and then establish the requirements of the node popularity term. This leads to a new scheme for the crucial model selection problem in choosing and solving attributed community detection models. With the model determined, an efficient algorithm is developed to estimate the parameters and to infer the communities. The proposed method is validated from two aspects. First, the effectiveness of our algorithm is theoretically guaranteed by the detectability condition. Second, extensive experiments indicate that our method not only outperforms the competing approaches on the employed datasets, but also shows better applicability to networks with various node attributes.


title: Semi-insulating 4H-SiC lateral bulk acoustic wave resonators

abstract: Silicon carbide (SiC) excels in its outstanding mechanical properties, which are widely studied in Microelectromechanical systems (MEMS). Recently, the mechanical tuning of color centers in 4H-SiC has been demonstrated, broadening its application in quantum spintronics. The strain generated in a mechanical resonator can be used to manipulate the quantum state of the color center qubit. This work reports a lateral overtone mechanical resonator fabricated from a semi-insulating (SI) bulk 4H-SiC wafer. An aluminum nitride (AlN) piezoelectric transducer on SiC is used to drive the resonance. The resonator shows a series of modes with quality factors (Q) above 3000. An acoustic reflector positioned at the anchor shows a 22% improvement in the Q at 300 MHz resonance and suppresses the overtone modes away from it. This monolithic SiC resonator allows optical access to the SiC color centers from both sides of the wafer, enabling convenient setup in quantum measurements.


title: The landscape law for tight binding Hamiltonians

abstract: The present paper extends the landscape theory pioneered in [FM, ADFJM2, DFM] to the tight-binding Schr\"odinger operator on $\Z^d$. In particular, we establish upper and lower bounds for the integrated density of states in terms of the counting function based upon the localization landscape.


title: The second Hardy-Littlewood conjecture is true

abstract: The second Hardy-Littlewood conjecture, that $\pi(x)+\pi(y) \geq \pi(x+y)$ for integers $x$ and $y$ with $\min\{x,y\}\geq 2$, was formulated in 1923. It continues to attract attention to this day, almost 100 years later. In 1975 Udrescu proved that this conjecture holds for $(x,y)$ sufficiently large, but without an explicit effective bound on the region of validity. We shall revisit Udrescu's result, modifying it to obtain explicit effective bounds, ultimately proving that the second Hardy-Littlewood conjecture is in fact unconditionally true. Furthermore we note that constraints on the prime counting function imply, (and are implied by), constraints on the location of the primes, and re-cast Segal's 1962 equivalent reformulation of the second Hardy-Littlewood conjecture in the more symmetric (and perhaps clearer) form that for integers $i$ and $j$ with $\min\{i,j\} \geq 2$ one has $p_{i+j-1} \geq p_i + p_j -1$.