title: Audacity of huge: overcoming challenges of data scarcity and data quality for machine learning in computational materials discovery

abstract: Machine learning (ML)-accelerated discovery requires large amounts of high-fidelity data to reveal predictive structure-property relationships. For many properties of interest in materials discovery, the challenging nature and high cost of data generation has resulted in a data landscape that is both scarcely populated and of dubious quality. Data-driven techniques starting to overcome these limitations include the use of consensus across functionals in density functional theory, the development of new functionals or accelerated electronic structure theories, and the detection of where computationally demanding methods are most necessary. When properties cannot be reliably simulated, large experimental data sets can be used to train ML models. In the absence of manual curation, increasingly sophisticated natural language processing and automated image analysis are making it possible to learn structure-property relationships from the literature. Models trained on these data sets will improve as they incorporate community feedback.


title: A trained humanoid robot can perform human-like crossmodal social attention and conflict resolution

abstract: To enhance human-robot social interaction, it is essential for robots to process multiple social cues in a complex real-world environment. However, incongruency of input information across modalities is inevitable and could be challenging for robots to process. To tackle this challenge, our study adopted the neurorobotic paradigm of crossmodal conflict resolution to make a robot express human-like social attention. A behavioural experiment was conducted on 37 participants for the human study. We designed a round-table meeting scenario with three animated avatars to improve ecological validity. Each avatar wore a medical mask to obscure the facial cues of the nose, mouth, and jaw. The central avatar shifted its eye gaze while the peripheral avatars generated sound. Gaze direction and sound locations were either spatially congruent or incongruent. We observed that the central avatar's dynamic gaze could trigger crossmodal social attention responses. In particular, human performances are better under the congruent audio-visual condition than the incongruent condition. Our saliency prediction model was trained to detect social cues, predict audio-visual saliency, and attend selectively for the robot study. After mounting the trained model on the iCub, the robot was exposed to laboratory conditions similar to the human experiment. While the human performances were overall superior, our trained model demonstrated that it could replicate attention responses similar to humans.


title: Hilbert series of Parallelogram Polyominoes

abstract: We present a conjecture about the reduced Hilbert series of the coordinate ring of a simple polyomino in terms of particular arrangements of non-attacking rooks that can be placed on the polyomino. By using a computational approach, we prove that the above conjecture holds for all simple polyominoes up to rank $11$. In addition, we prove that the conjecture holds true for the class of parallelogram polyominoes, by looking at those as simple planar distributive lattices. Finally, we give a combinatorial interpretation of the Gorensteinnes of parallelogram polyominoes.


title: Classifying YouTube Comments Based on Sentiment and Type of Sentence

abstract: As a YouTube channel grows, each video can potentially collect enormous amounts of comments that provide direct feedback from the viewers. These comments are a major means of understanding viewer expectations and improving channel engagement. However, the comments only represent a general collection of user opinions about the channel and the content. Many comments are poorly constructed, trivial, and have improper spellings and grammatical errors. As a result, it is a tedious job to identify the comments that best interest the content creators. In this paper, we extract and classify the raw comments into different categories based on both sentiment and sentence types that will help YouTubers find relevant comments for growing their viewership. Existing studies have focused either on sentiment analysis (positive and negative) or classification of sub-types within the same sentence types (e.g., types of questions) on a text corpus. These have limited application on non-traditional text corpus like YouTube comments. We address this challenge of text extraction and classification from YouTube comments using well-known statistical measures and machine learning models. We evaluate each combination of statistical measure and the machine learning model using cross validation and $F_1$ scores. The results show that our approach that incorporates conventional methods performs well on the classification task, validating its potential in assisting content creators increase viewer engagement on their channel.


title: Geometrical holographic display

abstract: Is it possible to realize a holographic display with commercial available components and devices? Is it possible to manipulate light to reconstruct light field without using coherent light and complicated optical components? Is it possible to minimize the amount of date involved in building 3D scenes? Is it possible to design a holographic video display that doesn't require huge computational cost? Is it possible to realize a holographic video display with portable form like a flat-panel display commercialized nowadays? This research gives yes answers to all the above questions. A novel geometrical holographic display was proposed, which uses geometrical optical principle to reproduce realistic 3D images with all human visual cues and without visual side effects. In addition, a least necessary light field representation was introduced which can provide guidance for how to minimize the amount of data involved when designing a FP3D or building 3D scenes. Finally, a proof-of-concept prototype is set up which can provide true 3D scenes with depth range larger than 5m.


title: Deep Keyphrase Completion

abstract: Keyphrase provides accurate information of document content that is highly compact, concise, full of meanings, and widely used for discourse comprehension, organization, and text retrieval. Though previous studies have made substantial efforts for automated keyphrase extraction and generation, surprisingly, few studies have been made for \textit{keyphrase completion} (KPC). KPC aims to generate more keyphrases for document (e.g. scientific publication) taking advantage of document content along with a very limited number of known keyphrases, which can be applied to improve text indexing system, etc. In this paper, we propose a novel KPC method with an encoder-decoder framework. We name it \textit{deep keyphrase completion} (DKPC) since it attempts to capture the deep semantic meaning of the document content together with known keyphrases via a deep learning framework. Specifically, the encoder and the decoder in DKPC play different roles to make full use of the known keyphrases. The former considers the keyphrase-guiding factors, which aggregates information of known keyphrases into context. On the contrary, the latter considers the keyphrase-inhibited factor to inhibit semantically repeated keyphrase generation. Extensive experiments on benchmark datasets demonstrate the efficacy of our proposed model.


title: Parameterized Explanations for Investor / Company Matching

abstract: Matching companies and investors is usually considered a highly specialized decision making process. Building an AI agent that can automate such recommendation process can significantly help reduce costs, and eliminate human biases and errors. However, limited sample size of financial data-sets and the need for not only good recommendations, but also explaining why a particular recommendation is being made, makes this a challenging problem. In this work we propose a representation learning based recommendation engine that works extremely well with small datasets and demonstrate how it can be coupled with a parameterized explanation generation engine to build an explainable recommendation system for investor-company matching. We compare the performance of our system with human generated recommendations and demonstrate the ability of our algorithm to perform extremely well on this task. We also highlight how explainability helps with real-life adoption of our system.


title: Predicting Cancer Using Supervised Machine Learning: Mesothelioma

abstract: Background: Pleural Mesothelioma (PM) is an unusual, belligerent tumor that rapidly develops into cancer in the pleura of the lungs. Pleural Mesothelioma is a common type of Mesothelioma that accounts for about 75% of all Mesothelioma diagnosed yearly in the U.S. Diagnosis of Mesothelioma takes several months and is expensive. Given the risk and constraints associated with PM diagnosis, early identification of this ailment is essential for patient health. Objective: In this study, we use artificial intelligence algorithms recommending the best fit model for early diagnosis and prognosis of MPM. Methods: We retrospectively retrieved patients clinical data collected by Dicle University, Turkey, and applied multilayered perceptron (MLP), voted perceptron (VP), Clojure classifier (CC), kernel logistic regression (KLR), stochastic gradient decent SGD), adaptive boosting (AdaBoost), Hoeffding tree (VFDT), and primal estimated sub-gradient solver for support vector machine (s-Pegasos). We evaluated the models, compared and tested using paired T-test (corrected) at 0.05 significance based on their respective classification accuracy, f-measure, precision, recall, root mean squared error, receivers characteristic curve (ROC), and precision-recall curve (PRC). Results: In phase-1, SGD, AdaBoost. M1, KLR, MLP, VFDT generate optimal results with the highest possible performance measures. In phase 2, AdaBoost, with a classification accuracy of 71.29%, outperformed all other algorithms. C-reactive protein, platelet count, duration of symptoms, gender, and pleural protein were found to be the most relevant predictors that can prognosticate Mesothelioma. Conclusion: This study confirms that data obtained from Biopsy and imagining tests are strong predictors of Mesothelioma but are associated with a high cost; however, they can identify Mesothelioma with optimal accuracy.


title: One- and two-qubit gate infidelities due to motional errors in trapped ions and electrons

abstract: In this work, we derive analytic formulae that determine the effect of error mechanisms on one- and two-qubit gates in trapped ions and electrons. First, we analyze, and derive expressions for, the effect of driving field inhomogeneities on one-qubit gate fidelities. Second, we derive expressions for two-qubit gate errors, including static motional frequency shifts, trap anharmonicities, field inhomogeneities, heating, and motional dephasing. We show that, for small errors, each of our expressions for infidelity converges to its respective numerical simulation; this shows our formulae are sufficient for determining error budgets for high-fidelity gates, obviating numerical simulations in future projects. All of the derivations are general to any internal qubit state, and any mixed state of the ion crystal's motion that is diagonal in the Fock state basis. Our treatment of static motional frequency shifts, trap anharmonicities, heating, and motional dephasing apply to both laser-based and laser-free gates, while our treatment of field imhomogenieties applies to laser-free systems.


title: Reduction of Subjective Listening Effort for TV Broadcast Signals with Recurrent Neural Networks

abstract: Listening to the audio of TV broadcast signals can be challenging for hearing-impaired as well as normal-hearing listeners, especially when background sounds are prominent or too loud compared to the speech signal. This can result in a reduced satisfaction and increased listening effort of the listeners. Since the broadcast sound is usually premixed, we perform a subjective evaluation for quantifying the potential of speech enhancement systems based on audio source separation and recurrent neural networks (RNN). Recently, RNNs have shown promising results in the context of sound source separation and real-time signal processing. In this paper, we separate the speech from the background signals and remix the separated sounds at a higher signal-to-noise ratio. This differs from classic speech enhancement, where usually only the extracted speech signal is exploited. The subjective evaluation with 20 normal-hearing subjects on real TV-broadcast material shows that our proposed enhancement system is able to reduce the listening effort by around 2 points on a 13-point listening effort rating scale and increases the perceived sound quality compared to the original mixture.


title: Decision Support Models for Predicting and Explaining Airport Passenger Connectivity from Data

abstract: Predicting if passengers in a connecting flight will lose their connection is paramount for airline profitability. We present novel machine learning-based decision support models for the different stages of connection flight management, namely for strategic, pre-tactical, tactical and post-operations. We predict missed flight connections in an airline's hub airport using historical data on flights and passengers, and analyse the factors that contribute additively to the predicted outcome for each decision horizon. Our data is high-dimensional, heterogeneous, imbalanced and noisy, and does not inform about passenger arrival/departure transit time. We employ probabilistic encoding of categorical classes, data balancing with Gaussian Mixture Models, and boosting. For all planning horizons, our models attain an AUC of the ROC higher than 0.93. SHAP value explanations of our models indicate that scheduled/perceived connection times contribute the most to the prediction, followed by passenger age and whether border controls are required.


title: Accelerating Genome Sequence Analysis via Efficient Hardware/Algorithm Co-Design

abstract: Genome sequence analysis plays a pivotal role in enabling many medical and scientific advancements in personalized medicine, outbreak tracing, and forensics. However, the analysis of genome sequencing data is currently bottlenecked by the computational power and memory bandwidth limitations of existing systems. In this dissertation, we propose four major works, where we characterize the real-system behavior of the genome sequence analysis pipeline and its associated tools, expose the bottlenecks and tradeoffs, and co-design fast and efficient algorithms along with scalable and energy-efficient customized hardware accelerators for the key bottlenecks to enable faster genome sequence analysis. First, we comprehensively analyze the tools in the genome assembly pipeline for long reads in multiple dimensions, uncovering bottlenecks and tradeoffs that different combinations of tools and different underlying systems lead to. Second, we propose GenASM, an acceleration framework that builds upon bitvector-based approximate string matching to accelerate multiple steps of the genome sequence analysis pipeline. We co-design our highly-parallel, scalable and memory-efficient algorithms with low-power and area-efficient hardware accelerators. Third, we implement an FPGA-based prototype for GenASM, where state-of-the-art 3D-stacked memory offers high memory bandwidth and FPGA resources offer high parallelism. Fourth, we propose SeGraM, the first hardware acceleration framework for sequence-to-graph mapping and alignment. We co-design algorithms and accelerators for memory-efficient minimizer-based seeding and bitvector-based, highly-parallel sequence-to-graph alignment. Overall, we demonstrate that genome sequence analysis can be accelerated by co-designing scalable and energy-efficient customized accelerators along with efficient algorithms for the key steps of genome sequence analysis.


title: Robust Ambient Backscatter Communications with Polarization Reconfigurable Tags

abstract: Ambient backscatter communication system is an emerging and promising low-energy technology for Internet of Things. In such system, a device named tag, sends a binary message to a reader by backscattering a radio frequency signal generated by an ambient source. Such tag can operate without battery and without generating additional wave. However, the tag-to-reader link suffers from the source-to-reader direct interference. In this paper, for the first time, we propose to exploit a "polarization reconfigurable" antenna to improve robustness of the tag-to-reader link against the source-to-reader direct interference. Our proposed new tag sends its message by backscattering as an usual tag. However, it repeats its message several times, with a different radiation pattern and polarization, each time. We expect one polarization pattern to be better detected by the reader. We show by simulations and experiments, in line-of-sight and in richly scattering environment, that a polarization reconfigurable tag limited to 4 polarization directions outperforms a nonreconfigurable tag and nearly equals an ideally reconfigurable tag in performance.


title: First experimental evaluation of ambient backscatter communications with massive MIMO reader

abstract: Ambient backscatter communications have been introduced as low-power communications for green networking. This technology is very promising as it recycles ambient radio frequency waves, however such systems have limitations and suffer from poor performance due to their low-power. In this paper, we present and evaluate the performance of an ambient backscatter system equipped with a massive multiple input multiple output (MIMO) antenna at the reader side. A mobile device transmits a signal that is backscattered by a tag and received by the reader. Thanks to the spatial diversity of the massive MIMO antenna, the reader is able to identify, for each received signal, the state of the tag (backscattering or transparent) that corresponds to a bit of the tag message. First, we experimentally determine the channel between the device and the reader for two states of the tag. Then using a minimum mean square error algorithm we evaluate the performance of the ambient backscatter communication. We demonstrate that the performance of the ambient backscatter system is significantly improved by the massive MIMO reader.


title: Discovering and Exploiting Sparse Rewards in a Learned Behavior Space

abstract: Learning optimal policies in sparse rewards settings is difficult as the learning agent has little to no feedback on the quality of its actions. In these situations, a good strategy is to focus on exploration, hopefully leading to the discovery of a reward signal to improve on. A learning algorithm capable of dealing with this kind of settings has to be able to (1) explore possible agent behaviors and (2) exploit any possible discovered reward. Efficient exploration algorithms have been proposed that require to define a behavior space, that associates to an agent its resulting behavior in a space that is known to be worth exploring. The need to define this space is a limitation of these algorithms. In this work, we introduce STAX, an algorithm designed to learn a behavior space on-the-fly and to explore it while efficiently optimizing any reward discovered. It does so by separating the exploration and learning of the behavior space from the exploitation of the reward through an alternating two-steps process. In the first step, STAX builds a repertoire of diverse policies while learning a low-dimensional representation of the high-dimensional observations generated during the policies evaluation. In the exploitation step, emitters are used to optimize the performance of the discovered rewarding solutions. Experiments conducted on three different sparse reward environments show that STAX performs comparably to existing baselines while requiring much less prior information about the task as it autonomously builds the behavior space.


title: The Three Hundred-NIKA2 Sunyaev-Zeldovich Large Program twin samples: Synthetic clusters to support real observations

abstract: The simulation database of THE THREE HUNDRED Project has been used to pick synthetic clusters of galaxies with properties close to the observational targets of the NIKA2 camera Sunyaev-Zeldovich (SZ) Large Program. Cross-matching of cluster parameters such as mass and redshift of the cluster in the two databases has been implemented to generate the so-called twin samples for the Large Program. This SZ Large Program is observing a selection of galaxy clusters at intermediate and high redshift $\left( 0.5 < z < 0.9 \right)$, covering one order of magnitude in mass. These are SZ-selected clusters from the Planck and Atacama Cosmology Telescope catalogs, wherein the selection is based on their integrated Compton parameter values, $Y_{500}$: the value of the parameter within the characteristics radius $R_{500}$. THE THREE HUNDRED hydrodynamical simulations provide us with hundreds of clusters satisfying these redshift, mass, and $Y_{500}$ requirements. In addition to the standard post-processing analysis of the simulation, mock observational maps are available mimicking X-ray, optical, gravitational lensing, radio, and SZ observations of galaxy clusters. The primary goal of employing the twin samples is to compare different cluster mass proxies from synthetic X-ray, SZ effect and optical maps (via the velocity dispersion of member galaxies and lensing $\kappa$-maps) of the clusters. Eventually, scaling laws between different mass proxies and the cluster mass will be cross-correlated to reduce the scatter on the inferred mass and the mass bias will be related to various physical parameters.


title: Borel complexity of the family of attractors for weak IFSs

abstract: This paper is an attempt to measure the difference between the family of iterated function systems attractors and a broader family, the set of attractors for weak iterated function systems. We discuss Borel complexity of the set wIFS$^d$ of attractors for weak iterated function systems acting on $[0,1]^d$ (as a subset of the hyperspace $K([0,1]^d)$ of all compact subsets of $[0,1]^d$ equipped in the Hausdorff metric). We prove that wIFS$^d$ is $G_{\delta\sigma}$-hard in $K([0,1]^d)$, for all $d\in\mathbb{N}$. In particular, wIFS$^d$ is not $F_{\sigma\delta}$ (in contrast to the family IFS$^d$ of attractors for classical iterated function systems acting on $[0,1]^d$, which is $F_{\sigma}$). Moreover, we show that in the one-dimensional case, wIFS$^1$ is an analytic subset of $K([0,1])$.


title: Noise and dose reduction in CT brain perfusion acquisition by projecting time attenuation curves onto lower dimensional spaces

abstract: CT perfusion imaging (CTP) plays an important role in decision making for the treatment of acute ischemic stroke with large vessel occlusion. Since the CT perfusion scan time is approximately one minute, the patient is exposed to a non-negligible dose of ionizing radiation. However, further dose reduction increases the level of noise in the data and the resulting perfusion maps. We present a method for reducing noise in perfusion data based on dimension reduction of time attenuation curves. For dimension reduction, we use either the fit of the first five terms of the trigonometric polynomial or the first five terms of the SVD decomposition of the time attenuation profiles. CTP data from four patients with large vessel occlusion and three control subjects were studied. To compare the noise level in the perfusion maps, we use the wavelet estimation of the noise standard deviation implemented in the scikit-image package. We show that both methods significantly reduce noise in the data while preserving important information about the perfusion deficits. These methods can be used to further reduce the dose in CT perfusion protocols or in perfusion studies using C-arm CT, which are burdened by high noise levels.


title: Improving the energy resolution of photon counting Microwave Kinetic Inductance Detectors using principal component analysis

abstract: We develop a photon energy measurement scheme for single photon counting Microwave Kinetic Inductance Detectors (MKIDs) that uses principal component analysis (PCA) to measure the energy of an incident photon from the signal ("photon pulse") generated by the detector. PCA can be used to characterize a photon pulse using an arbitrarily large number of features and therefore PCA-based energy measurement does not rely on the assumption of an energy-independent pulse shape that is made in standard filtering techniques. A PCA-based method for energy measurement is especially useful in applications where the detector is operating near its saturation energy and pulse shape varies strongly with photon energy. It has been shown previously that PCA using two principal components can be used as an energy-measurement scheme. We extend upon these ideas and develop a method for measuring the energies of photons by characterizing their pulse shapes using any number of principal components and any number of calibration energies. Applying this technique with 50 principal components, we show improvements to a previously-reported energy resolution for Thermal Kinetic Inductance Detectors (TKIDs) from 75 eV to 43 eV at 5.9 keV. We also apply this technique with 50 principal components to data from an optical to near-IR MKID and achieve energy resolutions that are consistent with the best results from existing analysis techniques.


title: Conformal renormalization of compact sets

abstract: This paper develops a conformal renormalization scheme for compact sets $K \subset \mathbb{C}$. As one application of the conformal renormalization scheme we prove that for every isolated non-trivial connected component $E \subset K$ there exists a conformal homeomorphism $\phi$ mapping a neighbourhood of $E$ into $\mathbb{C}$ such that the equilibrium measure on $K$ restricted to $E$ equals the scaled push-forward by $\phi^{-1}$ of the equilibrium measure on $\phi(E)$. Moreover the proof shows that the condition of connectedness of $E$ can be relaxed considerably. We also introduce an inverse to the procedure of conformal renormalization, which allows one to reconstruct $K$ from its conformal renormalizations.


title: Comparison of the sets of attractors for systems of contractions and weak contractions

abstract: For $n,d\in\mathbb{N}$ we consider the families: - $L_n^d$ of attractors for iterated function systems (IFS) consisting of $n$ contractions acting on $[0,1]^d$, - $wL_n^d$ of attractors for weak iterated function systems (wIFS) consisting of $n$ weak contractions acting on $[0,1]^d$. We study closures of the above families as subsets of the hyperspace $K([0,1]^d)$ of all compact subsets of $[0,1]^d$ equipped in the Hausdorff metric. In particular, we show that $\overline{L_n^d}=\overline{wL_n^d}$ and $L_{n+1}^d\setminus\overline{L_n^d}\neq\emptyset$, for all $n,d\in\mathbb{N}$. What is more, we construct a compact set belonging to $\overline{L_2^d}$ which is not an attractor for any wIFS. We present a diagram summarizing our considerations.


title: On the $RO(G)$-graded coefficients of $Q_8$ equivariant cohomology

abstract: In this paper, we calculate the $RO(G)$-graded coefficients of $H\underline{\mathbb{Z}}$, the Eilenberg-MacLane spectrum of constant Mackey functor for quaternion group $Q_8$.


title: Porosities of the sets of attractors

abstract: This paper is another attempt to measure the difference between the family $A[0,1]$ of attractors for iterated function systems acting on $[0,1]$ and a broader family, the set $A_w[0,1]$ of attractors for weak iterated function systems acting on $[0,1]$. It is known that both $A[0,1]$ and $A_w[0,1]$ are meager subsets of the hyperspace $K([0,1])$ (of all compact subsets of $[0,1]$ equipped in the Hausdorff metric). Actually, $A[0,1]$ is even $\sigma$-lower porous while the question about $\sigma$-lower porosity of $A_w[0,1]$ is still open. We prove that $A[0,1]$ is not $\sigma$-strongly porous in $K([0,1])$. Moreover, we show that $A_w[0,1]\setminus A[0,1]$ is dense in $K([0,1])$.


title: Verifying Switched System Stability With Logic

abstract: Switched systems are known to exhibit subtle (in)stability behaviors requiring system designers to carefully analyze the stability of closed-loop systems that arise from their proposed switching control laws. This paper presents a formal approach for verifying switched system stability that blends classical ideas from the controls and verification literature using differential dynamic logic (dL), a logic for deductive verification of hybrid systems. From controls, we use standard stability notions for various classes of switching mechanisms and their corresponding Lyapunov function-based analysis techniques. From verification, we use dL's ability to verify quantified properties of hybrid systems and dL models of switched systems as looping hybrid programs whose stability can be formally specified and proven by finding appropriate loop invariants, i.e., properties that are preserved across each loop iteration. This blend of ideas enables a trustworthy implementation of switched system stability verification in the KeYmaera X prover based on dL. For standard classes of switching mechanisms, the implementation provides fully automated stability proofs, including searching for suitable Lyapunov functions. Moreover, the generality of the deductive approach also enables verification of switching control laws that require non-standard stability arguments through the design of loop invariants that suitably express specific intuitions behind those control laws. This flexibility is demonstrated on three case studies: a model for longitudinal flight control by Branicky, an automatic cruise controller, and Brockett's nonholonomic integrator.


title: A unified Quasi-Spectral Viscosity (QSV) approach to shock capturing and large-eddy simulation

abstract: The Quasi-Spectral Viscosity (QSV) method is a novel closure for a high-order finite-difference discretization of the filtered compressible Navier-Stokes equations capable of unifying dynamic sub-filter scale (SFS) modeling and shock capturing under a single mathematical framework. Its innovation lies in the introduction of a physical-space implementation of a spectral-like SFS dissipation term by leveraging residuals of filter operations, achieving two goals: (1) estimating the energy of the resolved solution near the grid cutoff; (2) imposing a plateau-cusp shape to the spectral distribution of the added dissipation. The QSV approach has been tested in a variety of flows to showcase its capability to act interchangeably as: a shock capturing method, in the Shu-Osher, shock/vortex or shock/wall interactions problems; or as a SFS closure, in subsonic Taylor Green Vortex (TGV), and supersonic/hypersonic turbulent channel flows. QSV performs well compared to previous eddy-viscosity closures and shock capturing methods in such test cases. In a supersonic TGV flow, a case which exhibits shock/turbulence interactions, QSV alone outperforms the simple superposition of separate numerical treatments for SFS turbulence and shocks. QSV's combined capability of simulating shocks and turbulence independently, as well as simultaneously, effectively achieves the unification of shock capturing and Large-Eddy Simulation.


title: Deep learning for identification and face, gender, expression recognition under constraints

abstract: Biometric recognition based on the full face is an extensive research area. However, using only partially visible faces, such as in the case of veiled-persons, is a challenging task. Deep convolutional neural network (CNN) is used in this work to extract the features from veiled-person face images. We found that the sixth and the seventh fully connected layers, FC6 and FC7 respectively, in the structure of the VGG19 network provide robust features with each of these two layers containing 4096 features. The main objective of this work is to test the ability of deep learning based automated computer system to identify not only persons, but also to perform recognition of gender, age, and facial expressions such as eye smile. Our experimental results indicate that we obtain high accuracy for all the tasks. The best recorded accuracy values are up to 99.95% for identifying persons, 99.9% for gender recognition, 99.9% for age recognition and 80.9% for facial expression (eye smile) recognition.


title: Deep Learning Algorithms for Hedging with Frictions

abstract: This work studies the deep learning-based numerical algorithms for optimal hedging problems in markets with general convex transaction costs on the trading rates, focusing on their scalability of trading time horizon. Based on the comparison results of the FBSDE solver by Han, Jentzen, and E (2018) and the Deep Hedging algorithm by Buehler, Gonon, Teichmann, and Wood (2019), we propose a Stable Transfer Hedging (ST-Hedging) algorithm, to aggregate the convenience of the leading-order approximation formulas and the accuracy of the deep learning-based algorithms. Our ST-Hedging algorithm achieves the same state-of-the-art performance in short and moderately long time horizon as FBSDE solver and Deep Hedging, and generalize well to long time horizon when previous algorithms become suboptimal. With the transfer learning technique, ST-Hedging drastically reduce the training time, and shows great scalability to high-dimensional settings. This opens up new possibilities in model-based deep learning algorithms in economics, finance, and operational research, which takes advantages of the domain expert knowledge and the accuracy of the learning-based methods.


title: HASHTAG: Hash Signatures for Online Detection of Fault-Injection Attacks on Deep Neural Networks

abstract: We propose HASHTAG, the first framework that enables high-accuracy detection of fault-injection attacks on Deep Neural Networks (DNNs) with provable bounds on detection performance. Recent literature in fault-injection attacks shows the severe DNN accuracy degradation caused by bit flips. In this scenario, the attacker changes a few weight bits during DNN execution by tampering with the program's DRAM memory. To detect runtime bit flips, HASHTAG extracts a unique signature from the benign DNN prior to deployment. The signature is later used to validate the integrity of the DNN and verify the inference output on the fly. We propose a novel sensitivity analysis scheme that accurately identifies the most vulnerable DNN layers to the fault-injection attack. The DNN signature is then constructed by encoding the underlying weights in the vulnerable layers using a low-collision hash function. When the DNN is deployed, new hashes are extracted from the target layers during inference and compared against the ground-truth signatures. HASHTAG incorporates a lightweight methodology that ensures a low-overhead and real-time fault detection on embedded platforms. Extensive evaluations with the state-of-the-art bit-flip attack on various DNNs demonstrate the competitive advantage of HASHTAG in terms of both attack detection and execution overhead.


title: Mass Estimation of Planck Galaxy Clusters using Deep Learning

abstract: Clusters of galaxies mass can be inferred by indirect observations, see X-ray band, Sunyaev-Zeldovich (SZ) effect signal or optical. Unfortunately, all of them are affected by some bias. Alternatively, we provide an independent estimation of the cluster masses from the Planck PLSZ2 catalog of galaxy clusters using a machine-learning method. We train a Convolutional Neural Network (CNN) model with the mock SZ observations from The Three Hundred(the300) hydrodynamic simulations to infer the cluster masses from the real maps of the Planck clusters. The advantage of the CNN is that no assumption on a priory symmetry in the cluster's gas distribution or no additional hypothesis about the cluster physical state are made. We compare the cluster masses from the CNN model with those derived by Planck and conclude that the presence of a mass bias is compatible with the simulation results.


title: Dehumanizing Voice Technology: Phonetic & Experiential Consequences of Restricted Human-Machine Interaction

abstract: The use of natural language and voice-based interfaces gradu-ally transforms how consumers search, shop, and express their preferences. The current work explores how changes in the syntactical structure of the interaction with conversational interfaces (command vs. request based expression modalities) negatively affects consumers' subjective task enjoyment and systematically alters objective vocal features in the human voice. We show that requests (vs. commands) lead to an in-crease in phonetic convergence and lower phonetic latency, and ultimately a more natural task experience for consumers. To the best of our knowledge, this is the first work docu-menting that altering the input modality of how consumers interact with smart objects systematically affects consumers' IoT experience. We provide evidence that altering the required input to initiate a conversation with smart objects provokes systematic changes both in terms of consumers' subjective experience and objective phonetic changes in the human voice. The current research also makes a methodological con-tribution by highlighting the unexplored potential of feature extraction in human voice as a novel data format linking consumers' vocal features during speech formation and their sub-jective task experiences.


title: Overdensity of SubMillimiter Galaxies in the GJ526 Field mapped with the NIKA2 Camera

abstract: Using the NIKA2 dual band millimeter camera installed on the IRAM30m telescope, we have mapped a relatively large field (~70 arcmin^2) in the direction of the star GJ526 to investigate the nature of the sources found with the MAMBO camera at 1.2 mm ten years earlier. We have found that they must be dust-obscured galaxies (SMGs) in the background beyond the star. The new NIKA2 map at 1.15 mm reveals additional sources and, in fact, an overdensity of SMGs predominantly distributed along a filament-like structure in projection on the sky across the whole observed field. We speculate this might be a cosmic filament at high redshift as revealed in cosmological hydrodynamical simulations. Measurement of spectroscopic redshifts of the SMGs in the candidate filament is required now for a definitive confirmation of the nature of the structure.


title: Revisiting spatio-temporal layouts for compositional action recognition

abstract: Recognizing human actions is fundamentally a spatio-temporal reasoning problem, and should be, at least to some extent, invariant to the appearance of the human and the objects involved. Motivated by this hypothesis, in this work, we take an object-centric approach to action recognition. Multiple works have studied this setting before, yet it remains unclear (i) how well a carefully crafted, spatio-temporal layout-based method can recognize human actions, and (ii) how, and when, to fuse the information from layout and appearance-based models. The main focus of this paper is compositional/few-shot action recognition, where we advocate the usage of multi-head attention (proven to be effective for spatial reasoning) over spatio-temporal layouts, i.e., configurations of object bounding boxes. We evaluate different schemes to inject video appearance information to the system, and benchmark our approach on background cluttered action recognition. On the Something-Else and Action Genome datasets, we demonstrate (i) how to extend multi-head attention for spatio-temporal layout-based action recognition, (ii) how to improve the performance of appearance-based models by fusion with layout-based models, (iii) that even on non-compositional background-cluttered video datasets, a fusion between layout- and appearance-based models improves the performance.


title: Comparison of Time-to-First-Event and Recurrent Event Methods in Multiple Sclerosis Trials

abstract: Suppression of disability progression is an important goal in the treatment of multiple sclerosis (MS). Randomized clinical trials in MS frequently use the time to the first confirmed disability progression (CDP) on the ordinal Expanded Disability Status Scale (EDSS) as an endpoint. However, especially in progressive forms of MS, patients may experience repeated CDP events over time. We investigate first how recurrent disability progression events can be defined, and consider then recurrent event analyses that could increase power and improve clinical interpretation of results. Data on disease activity and results from two simulation studies which compare analyses of the time to the first event with recurrent event analyses (including negative binomial, Andersen-Gill and Lin-Wei-Ying-Yang models) are presented to demonstrate challenges in defining disability progression and to identify analysis methods suitable for treatment comparisons in MS trials with disability progression endpoints. This article is based on the Master Thesis by Alexandra B\=uhler at the University of Ulm which was written under the supervision of Jan Beyersmann, Marcel Wolbers, Fabian Model and Qing Wang.


title: Duality for Continuous Graphical Models

abstract: The dual normal factor graph and the factor graph duality theorem have been considered for discrete graphical models. In this paper, we show an application of the factor graph duality theorem to continuous graphical models. Specifically, we propose a method to solve exactly the Gaussian graphical models defined on the ladder graph if certain conditions on the local covariance matrices are satisfied. Unlike the conventional approaches, the efficiency of the method depends on the position of the zeros in the local covariance matrices. The method and details of the dualization are illustrated on two toy examples.


title: A MIMO Radar-Based Metric Learning Approach for Activity Recognition

abstract: Human activity recognition is seen of great importance in the medical and surveillance fields. Radar has shown great feasibility for this field based on the captured micro-Doppler ({\mu}-D) signatures. In this paper, a MIMO radar is used to formulate a novel micro-motion spectrogram for the angular velocity ({\mu}-{\omega}) in non-tangential scenarios. Combining both the {\mu}-D and the {\mu}-{\omega} signatures have shown better performance. Classification accuracy of 88.9% was achieved based on a metric learning approach. The experimental setup was designed to capture micro-motion signatures on different aspect angles and line of sight (LOS). The utilized training dataset was of smaller size compared to the state-of-the-art techniques, where eight activities were captured. A few-shot learning approach is used to adapt the pre-trained model for fall detection. The final model has shown a classification accuracy of 86.42% for ten activities.


title: Learning Multiresolution Matrix Factorization and its Wavelet Networks on Graphs

abstract: Multiresolution Matrix Factorization (MMF) is unusual amongst fast matrix factorization algorithms in that it does not make a low rank assumption. This makes MMF especially well suited to modeling certain types of graphs with complex multiscale or hierarchical strucutre. While MMF promises to yields a useful wavelet basis, finding the factorization itself is hard, and existing greedy methods tend to be brittle. In this paper we propose a learnable version of MMF that carfully optimizes the factorization with a combination of reinforcement learning and Stiefel manifold optimization through backpropagating errors. We show that the resulting wavelet basis far outperforms prior MMF algorithms and provides the first version of this type of factorization that can be robustly deployed on standard learning tasks.


title: Quantum information for a solitonic particle with hyperbolic interaction

abstract: In this work, we analyze a particle with position-dependent mass, with solitonic mass distribution in a stationary quantum system, for the particular case of the BenDaniel-Duke ordering, in a hyperbolic barrier potential. The kinetic energy ordering of BenDaniel-Duke guarantees the hermiticity of the Hamiltonian operator. We find the analytical solutions of the Schr\"odinger equation and their respective quantized energies. In addition, we calculate the Shannon entropy and Fisher information for the solutions in the case of the lowest energy states of the system.


title: An atomic frequency comb memory in rare-earth doped thin-film lithium niobate

abstract: Atomic frequency combs memories that coherently store optical signals are a key building block for optical quantum computers and quantum networks. Integrating such memories into compact and chip-scale devices is essential for scalable quantum technology, but to date most demonstrations have been in bulk materials or waveguides with large cross-sections, or using fabrication techniques not easily adaptable to wafer scale processing. We demonstrate compact chip-integrated atomic frequency comb storage in rare earth doped thin-film lithium niobate. Our optical memory exhibits a broad storage bandwidth exceeding 100 MHz, and optical storage time of over 250 ns. The enhanced optical confinement in this device structure enables three orders of magnitude reduction in optical power as compared to large ion-diffused waveguides for the same Rabi frequency. These compact atomic frequency comb memories pave the way towards scalable, highly efficient, electro-optically tunable quantum photonic systems that can store and manipulate light on a compact chip.

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


title: Discrete Bilal distribution with right-censored data

abstract: This paper presents inferences for the discrete Bilal (DB) distribution introduced by Altun et al. (2020). We consider parameter estimation for DB distribution in the presence of randomly right-censored data.We use maximum likelihood and Bayesian methods for the estimation of the model parameters. We also consider the inclusion of a cure fraction in the model. The usefulness of the proposed model was illustrated with three examples considering real datasets. These applications suggested that the model based on DB distribution performs at least as good as some other traditional discrete models as the DsFx-I, discrete Lindley, discrete Rayleigh, and discrete Burr- Hatke distributions. R codes are provided in an appendix at the end of the paper so that reader can carry out their own analysis.


title: The Bias to Cosmic Microwave Background Lensing Reconstruction from the Kinematic Sunyaev-Zel'dovich Effect at Reionization

abstract: The power spectrum of reconstructed cosmic microwave background (CMB) lensing maps is a powerful tool for constraints on cosmological parameters like the sum of the neutrino masses and the dark energy equation of state. One possible complication is the kinematic Sunyaev-Zel'dovich (kSZ) effect, due to the scattering of CMB photons by moving electrons, which can bias the reconstruction of the CMB lensing power spectrum through both kSZ-lensing correlations and the non-Gaussianity of the kSZ temperature anisotropies. We investigate for the first time the bias to CMB lensing reconstruction from temperature anisotropies due to the reionization-induced kSZ signal and show that it is negligible for both ongoing and upcoming experiments based on current numerical simulations of reionization. We also revisit the bias induced by the late-time kSZ field, using more recent kSZ simulations. We find that it is potentially twice as large as found in earlier studies, reaching values as large as several percent of the CMB lensing power spectrum signal, indicating that this bias will have to be mitigated in upcoming data analyses.


title: Target of Opportunity Observations of Gravitational Wave Events with Vera C. Rubin Observatory

abstract: The discovery of the electromagnetic counterpart to the binary neutron star merger GW170817 has opened the era of gravitational-wave multi-messenger astronomy. Rapid identification of the optical/infrared kilonova enabled a precise localization of the source, which paved the way to deep multi-wavelength follow-up and its myriad of related science results. Fully exploiting this new territory of exploration requires the acquisition of electromagnetic data from samples of neutron star mergers and other gravitational wave sources. After GW170817, the frontier is now to map the diversity of kilonova properties and provide more stringent constraints on the Hubble constant, and enable new tests of fundamental physics. The Vera C. Rubin Observatory's Legacy Survey of Space and Time (LSST) can play a key role in this field in the 2020s, when an improved network of gravitational-wave detectors is expected to reach a sensitivity that will enable the discovery of a high rate of merger events involving neutron stars (about tens per year) out to distances of several hundred Mpc. We design comprehensive target-of-opportunity observing strategies for follow-up of gravitational-wave triggers that will make the Rubin Observatory the premier instrument for discovery and early characterization of neutron star and other compact object mergers, and yet unknown classes of gravitational wave events.


title: Robust Dynamic Bus Control: A Distributional Multi-agent Reinforcement Learning Approach

abstract: Bus system is a critical component of sustainable urban transportation. However, the operation of a bus fleet is unstable in nature, and bus bunching has become a common phenomenon that undermines the efficiency and reliability of bus systems. Recently research has demonstrated the promising application of multi-agent reinforcement learning (MARL) to achieve efficient vehicle holding control to avoid bus bunching. However, existing studies essentially overlook the robustness issue resulting from various events, perturbations and anomalies in a transit system, which is of utmost importance when transferring the models for real-world deployment/application. In this study, we integrate implicit quantile network and meta-learning to develop a distributional MARL framework -- IQNC-M -- to learn continuous control. The proposed IQNC-M framework achieves efficient and reliable control decisions through better handling various uncertainties/events in real-time transit operations. Specifically, we introduce an interpretable meta-learning module to incorporate global information into the distributional MARL framework, which is an effective solution to circumvent the credit assignment issue in the transit system. In addition, we design a specific learning procedure to train each agent within the framework to pursue a robust control policy. We develop simulation environments based on real-world bus services and passenger demand data and evaluate the proposed framework against both traditional holding control models and state-of-the-art MARL models. Our results show that the proposed IQNC-M framework can effectively handle the various extreme events, such as traffic state perturbations, service interruptions, and demand surges, thus improving both efficiency and reliability of the system.


title: An Evaluation of WebAssembly and eBPF as Offloading Mechanisms in the Context of Computational Storage

abstract: As the volume of data that needs to be processed continues to increase, we also see renewed interests in near-data processing in the form of computational storage, with eBPF (extended Berkeley Packet Filter) being proposed as a vehicle for computation offloading. However, discussions in this regard have so far ignored viable alternatives, and no convincing analysis has been provided. As such, we qualitatively and quantitatively evaluated eBPF against WebAssembly, a seemingly similar technology, in the context of computation offloading. This report presents our findings.


title: Design and implementation of an out-of-order execution engine of floating-point arithmetic operations

abstract: In this thesis, work is undertaken towards the design in hardware description languages and implementation in FPGA of an out-of-order execution engine of floating-point arithmetic operations for the Lagarto II core. A first proposal covers the design of a low power consumption issue queue for out-of-order processors, register bank, bypass network, and the functional units for addition/subtraction, multiplication, division/reciprocal, and Fused Multiply Accumulate (FMAC) confirming with the IEEE-754 standard. The design supports double-precision format and denormalized numbers; A second proposal is based on a pair of FMAC as functional units which can perform almost all Floating-point operations, this design is more beneficial in area, performance, and energy efficiency compared with the first version.


title: A RISC-V Simulator and Benchmark Suite for Designing and Evaluating Vector Architectures

abstract: Vector architectures lack tools for research. Consider the gem5 simulator, which is possibly the leading platform for computer-system architecture research. Unfortunately, gem5 does not have an available distribution that includes a flexible and customizable vector architecture model. In consequence, researchers have to develop their own simulation platform to test their ideas, which consume much research time. However, once the base simulator platform is developed, another question is the following: Which applications should be tested to perform the experiments? The lack of Vectorized Benchmark Suites is another limitation. To face these problems, this work presents a set of tools for designing and evaluating vector architectures. First, the gem5 simulator was extended to support the execution of RISC-V Vector instructions by adding a parameterizable Vector Architecture model for designers to evaluate different approaches according to the target they pursue. Second, a novel Vectorized Benchmark Suite is presented: a collection composed of seven data-parallel applications from different domains that can be classified according to the modules that are stressed in the vector architecture. Finally, a study of the Vectorized Benchmark Suite executing on the gem5-based Vector Architecture model is highlighted. This suite is the first in its category that covers the different possible usage scenarios that may occur within different vector architecture designs such as embedded systems, mainly focused on short vectors, or High-Performance-Computing (HPC), usually designed for large vectors.


title: Machine-Learning Identification of Hemodynamics in Coronary Arteries in the Presence of Stenosis

abstract: Prediction of the blood flow characteristics is of utmost importance for understanding the behavior of the blood arterial network, especially in the presence of vascular diseases such as stenosis. Computational fluid dynamics (CFD) has provided a powerful and efficient tool to determine these characteristics including the pressure and velocity fields within the network. Despite numerous studies in the field, the extremely high computational cost of CFD has led the researchers to develop new platforms including Machine Learning approaches that instead provide faster analyses at a much lower cost. In this study, we put forth a Deep Neural Network framework to predict flow behavior in a coronary arterial network with different properties in the presence of any abnormality like stenosis. To this end, an artificial neural network (ANN) model is trained using synthetic data so that it can predict the pressure and velocity within the arterial network. The data required to train the neural network were obtained from the CFD analysis of several geometries of arteries with specific features in ABAQUS software. Blood pressure drop caused by stenosis, which is one of the most important factors in the diagnosis of heart diseases, can be predicted using our proposed model knowing the geometrical and flow boundary conditions of any section of the coronary arteries. The efficiency of the model was verified using three real geometries of LAD's vessels. The proposed approach precisely predicts the hemodynamic behavior of the blood flow. The average accuracy of the pressure prediction was 98.7% and the average velocity magnitude accuracy was 93.2%. According to the results of testing the model on three patient-specific geometries, model can be considered as an alternative to finite element methods as well as other hard-to-implement and time-consuming numerical simulations.


title: Flow by powers of the Gauss curvature in space forms

abstract: In this paper, we prove that convex hypersurfaces under the flow by powers $\alpha>0$ of the Gauss curvature in space forms $\mathbb{N}^{n+1}(\kappa)$ of constant sectional curvature $\kappa$ $(\kappa=\pm 1)$ contract to a point in finite time $T^*$. Moreover, convex hypersurfaces under the flow by power $\alpha>\frac{1}{n+2}$ of the Gauss curvature converge (after rescaling) to a limit which is the geodesic sphere in $\mathbb{N}^{n+1}(\kappa)$. This extends the known results in Euclidean space to space forms.


title: Getting a Grip: in Materio Evolution of Membrane Morphology for Soft Robotic Jamming Grippers

abstract: The application of granular jamming in soft robotics is a recent and promising new technology offer exciting possibilities for creating higher performance robotic devices. Granular jamming is achieved via the application of a vacuum pressure inside a membrane containing particulate matter, and is particularly interesting from a design perspective, as a myriad of design parameters can potentially be exploited to induce a diverse variety of useful behaviours. To date, the effect of variables such as grain shape and size, as well as membrane material, have been studied as a means of inducing bespoke gripping performance, however the other main contributing factor, membrane morphology, has not been studied due to its particular complexities in both accurate modelling and fabrication. This research presents the first study that optimises membrane morphology for granular jamming grippers, combining multi-material 3D printing and an evolutionary algorithm to search through a varied morphology design space in materio. Entire generations are printed in a single run and gripper retention force is tested and used as a fitness measure. Our approach is relatively scalable, circumvents the need for modelling, and guarantees the real-world performance of the grippers considered. Results show that membrane morphology is a key determinant of gripper performance. Common high performance designs are seen to optimise all three of the main identified mechanisms by which granular grippers generate grip force, are significantly different from a standard gripper morphology, and generalise well across a range of test objects.


title: Optimal Parameter Inflation to Enhance the Availability of Single-Frequency GBAS for Intelligent Air Transportation

abstract: Ground-based Augmentation System (GBAS) augments Global Navigation Satellite Systems (GNSS) to support the precision approach and landing of aircraft. To guarantee integrity, existing single-frequency GBAS utilizes position-domain geometry screening to eliminate potentially unsafe satellite geometries by inflating one or more broadcast GBAS parameters. However, GBAS availability can be drastically impacted in low-latitude regions where severe ionospheric conditions have been observed. Thus, we developed a novel geometry-screening algorithm in this study to improve GBAS availability in low-latitude regions. Simulations demonstrate that the proposed method can provide 5-8 percentage point availability enhancement of GBAS at Gale\~ao airport near Rio de Janeiro, Brazil, compared to existing methods.


title: Conjecture about the QCD phase diagram

abstract: We present a phase diagram study of the O(4) model as an effective theory for 2-flavor QCD. In the chiral limit, both theories perform spontaneous symmetry breaking with isomorphic groups, which suggests that they belong to the same universality class. Since we are interested in high temperature, we further assume dimensional reduction to the 3d O(4) model, which implies topological sectors. According to Skyrme and others, the corresponding topological charge represents the baryon number. Hence the baryon chemical potential $\mu_{B}$ appears as an imaginary vacuum angle, which can be included in the lattice simulations without any sign problem. We present simulation results for the critical line in the chiral limit, and for the crossover in the presence of light quark masses. The shapes of these lines are compatible with other conjectures, but up to about $\mu_{B} \approx 300$ MeV we do not find a Critical Endpoint, although there are indications for it to be near-by.


title: Probing to Minimize

abstract: We develop approximation algorithms for set-selection problems with deterministic constraints, but random objective values, i.e., stochastic probing problems. When the goal is to maximize the objective, approximation algorithms for probing problems are well-studied. On the other hand, few techniques are known for minimizing the objective, especially in the adaptive setting, where information about the random objective is revealed during the set-selection process and allowed to influence it. For minimization problems in particular, incorporating adaptivity can have a considerable effect on performance. In this work, we seek approximation algorithms that compare well to the optimal adaptive policy. We develop new techniques for adaptive minimization, applying them to a few problems of interest. The core technique we develop here is an approximate reduction from an adaptive expectation minimization problem to a set of adaptive probability minimization problems which we call threshold problems. By providing near-optimal solutions to these threshold problems, we obtain bicriteria adaptive policies. We apply this method to obtain an adaptive approximation algorithm for the MIN-ELEMENT problem, where the goal is to adaptively pick random variables to minimize the expected minimum value seen among them, subject to a knapsack constraint. This partially resolves an open problem raised in Goel et. al's "How to probe for an extreme value". We further consider three extensions on the MIN-ELEMENT problem, where our objective is the sum of the smallest k element-weights, or the weight of the min-weight basis of a given matroid, or where the constraint is not given by a knapsack but by a matroid constraint. For all three variations we explore, we develop adaptive approximation algorithms for their corresponding threshold problems, and prove their near-optimality via coupling arguments.


title: One Pass ImageNet

abstract: We present the One Pass ImageNet (OPIN) problem, which aims to study the effectiveness of deep learning in a streaming setting. ImageNet is a widely known benchmark dataset that has helped drive and evaluate recent advancements in deep learning. Typically, deep learning methods are trained on static data that the models have random access to, using multiple passes over the dataset with a random shuffle at each epoch of training. Such data access assumption does not hold in many real-world scenarios where massive data is collected from a stream and storing and accessing all the data becomes impractical due to storage costs and privacy concerns. For OPIN, we treat the ImageNet data as arriving sequentially, and there is limited memory budget to store a small subset of the data. We observe that training a deep network in a single pass with the same training settings used for multi-epoch training results in a huge drop in prediction accuracy. We show that the performance gap can be significantly decreased by paying a small memory cost and utilizing techniques developed for continual learning, despite the fact that OPIN differs from typical continual problem settings. We propose using OPIN to study resource-efficient deep learning.


title: Multidimensional Kyle-Back model with a risk averse informed trader

abstract: We study the continuous time Kyle-Back model with a risk averse informed trader.We show that in a market with multiple assets and non-Gaussian prices an equilibrium exists. The equilibrium is constructed by considering a Fokker-Planck equation and a system of partial differential equations that are coupled with an optimal transport type constraint at maturity.


title: Radio Emission of Pulsars. I. Slow Tearing of a Quantizing Magnetic Field

abstract: The pulsed radio emission of rotating neutron stars is connected to slow resistive instabilities feeding off an inhomogeneous twist profile within the open circuit. This paper considers the stability of a weakly sheared, quantizing magnetic field in which the current is supported by a relativistic particle flow. The electromagnetic field is almost perfectly force-free, and the particles are confined to the lowest Landau state, experiencing no appreciable curvature drift. In a charge-neutral plasma, we find multiple branches of slowly growing tearing modes, relativistic analogs of the double tearing mode, with peak growth rate $s \gtrsim 4\pi \widetilde k_y J_z/B_z$. Here, $B_z$ is the strong (nearly potential) guide magnetic field, $J_z$ the field-aligned current density, and $\widetilde k_y$ is the mode wavenumber normalized by the current gradient scale. These modes are overstable when the plasma carries net charge, with real frequency $\omega \sim s\cdot |n_0^+ - n_0^-|/(n_0^+ + n_0^-)$ proportional to the imbalance in the densities of positive and negative charges. An isolated current sheet thinner than the skin depth supports localized tearing modes with growth rate scaling as (sheet thickness/skin depth)$^{-1/2}$. In a pulsar, the peak growth rate is comparable to the angular frequency of rotation, $s \gtrsim 2\widetilde k_y \Omega$, slow compared with the longitudinal oscillations of particles and fields in a polar gap. The resistive modes experience azimuthal drift reminiscent of sub-pulse drift and are a promising driver of pulse-to-pulse flux variations. A companion paper demonstrates a Cerenkov-like instability of current-carrying Alfv\'en waves in thin current sheets with relativistic particle flow, and proposes coherent curvature emission by these waves as a source of pulsar radio emission.


title: Radio Emission of Pulsars. II. Coherence Catalyzed by Cerenkov-Unstable Shear Alfv\'en Waves

abstract: This paper explores small-scale departures from force-free electrodynamics around a rotating neutron star, extending our treatment of resistive instability in a quantizing magnetic field. A secondary, Cerenkov instability is identified: relativistic particles flowing through thin current sheets excite propagating charge perturbations that are localized near the sheets. Growth is rapid at wavenumbers below the inverse ambient skin depth $k_{p,\rm ex}$. Small-scale Alfv\'enic wavepackets are promising sources of coherent curvature radiation. When the group Lorentz factor $\gamma_{\rm gr} \lesssim (k_{p,\rm ex}R_c)^{1/3} \sim 100$, where $R_c$ is the magnetic curvature radius, a fraction $\sim 10^{-3}$-$10^{-2}$ of the particle kinetic energy is radiated into the extraordinary mode at a peak frequency $\sim 10^{-2}ck_{p,\rm ex}$. Consistency with observations requires a high pair multiplicity ($\sim 10^{3-5}$) in the pulsar magnetosphere. Neither the primary, slow resistive instability nor the secondary, Alfv\'enic instability depend directly on the presence of magnetospheric `gaps', and may activate where the mean current is fully supplied by outward drift of the corotation charge. The resistive mode is overstable and grows at a rate comparable to the stellar spin frequency; the model directly accommodates strong pulse-to-pulse radio flux variations and coordinated subpulse drift. Alfv\'en mode growth can track the local plasma conditions, allowing for lower-frequency emission from the outer magnetosphere. Beamed radio emission from charged packets with $\gamma_{\rm gr} \sim 50-100$ also varies on sub-millisecond timescales. The modes identified here will be excited inside the magnetosphere of a magnetar, and may mediate Taylor relaxation of the magnetic twist.


title: The point spectrum of the Dirac Hamiltonian on the zero-gravity Kerr-Newman spacetime

abstract: In this short paper, we review the Dirac equation on the zero-gravity Kerr-Newman spacetime. Our main objective is to provide a correspondence between the classification of the bound states for the zGKN spectrum and the usual hydrogenic states $1s_{1/2}$, $2s_{1/2}$, etc. of the Hydrogen atom.


title: Statistical Perspective on Functional and Causal Neural Connectomics: A Comparative Study

abstract: Representation of brain network interactions is fundamental to the translation of neural structure to brain function. As such, methodologies for mapping neural interactions into structural models, i.e., inference of functional connectome from neural recordings, are key for the study of brain networks. While multiple approaches have been proposed for functional connectomics based on statistical associations between neural activity, association does not necessarily incorporate causation. Additional approaches have been proposed to incorporate aspects of causality to turn functional connectomes into causal functional connectomes, however, these methodologies typically focus on specific aspects of causality. This warrants a systematic statistical framework for causal functional connectomics that defines the foundations of common aspects of causality. Such a framework can assist in contrasting existing approaches and to guide development of further causal methodologies. In this work, we develop such a statistical guide. In particular, we consolidate the notions of associations and representations of neural interaction, i.e., types of neural connectomics, and then describe causal modeling in the statistics literature. We particularly focus on the introduction of directed Markov graphical models as a framework through which we define the Directed Markov Property -- an essential criterion for examining the causality of proposed functional connectomes. We demonstrate how based on these notions, a comparative study of several existing approaches for finding causal functional connectivity from neural activity can be conducted. We proceed by providing an outlook ahead regarding the additional properties that future approaches could include to thoroughly address causality.


title: The phase rank of a matrix

abstract: In this paper, we introduce and study the notion of phase rank. Given a matrix filled with phases, i.e., with complex entries of modulus $1$, its phase rank is the smallest possible rank for a complex matrix with the same phase, but possible different modulus. This notion generalizes the notion of sign rank, and is the complementary notion to that of phaseless rank. It also has intimate connections to the problem of ray nonsingularity and provides an important class of examples for the study of coamoebas. Among other results, we provide a new characterization of phase rank $2$ for $3 \times 3$ matrices, that implies the new result that for the $3\times 3$ determinantal variety, its coamoeba is determined solely by the colopsidedness criterion.


title: Cooperative Transportation with Multiple Aerial Robots and Decentralized Control for Unknown Payloads

abstract: Cooperative transportation by multiple aerial robots has the potential to support various payloads and to reduce the chance of them being dropped. Furthermore, autonomously controlled robots make the system scalable with respect to the payload. In this study, a cooperative transportation system was developed using rigidly attached aerial robots, and a decentralized controller was proposed to guarantee asymptotic stability of the tracking error for unknown strictly positive real systems. A feedback controller was used to transform unstable systems into strictly positive real ones using the shared attachment positions. First, the cooperative transportation of unknown payloads with different shapes larger than the carrier robots was investigated through numerical simulations. Second, cooperative transportation of an unknown payload (with a weight of about 2.7 kg and maximum length of 1.6 m) was demonstrated using eight robots, even under robot failure. Finally, it was shown that the proposed system carried an unknown payload, even if the attachment positions were not shared, that is, even if the asymptotic stability was not strictly guaranteed.


title: Study of transport process and discharge structure of inductively coupled electronegative plasmas via fluid model and analytic theory collaboration

abstract: The discharge structure of inductively coupled plasma is studied via fluid simulation and analytic theory collaboration. At low pressure, the discharge is stratified by the double layer, which is modelled as dipole moment. The parabolic profile is formed in the discharge core when recombination loss is negligible and both the electron and anions are the Boltzmann balanced. At increasing the pressure, the main characteristics, i.e., parabolic, elliptic and flat-topped profile, are experienced, predicted by the simulation and analytics. Self-coagulation is accompanied at all considered pressures. It is more a chemistry process and provides new means of constricting plasma. At its influence, electron density deviates from the Boltzmann equilibrium. For satisfying the neutrality of bulk plasma, the ambi-polar self-coagulation mechanism is suggested. At high pressure, the self-coagulation-to-coil scheme causes the mass point behavior in the plasma. Minor cations re-self-coagulate at certain conditions and the correlation with the celestial bodies formation is hypothesized.


title: Adversarially Perturbed Wavelet-based Morphed Face Generation

abstract: Morphing is the process of combining two or more subjects in an image in order to create a new identity which contains features of both individuals. Morphed images can fool Facial Recognition Systems (FRS) into falsely accepting multiple people, leading to failures in national security. As morphed image synthesis becomes easier, it is vital to expand the research community's available data to help combat this dilemma. In this paper, we explore combination of two methods for morphed image generation, those of geometric transformation (warping and blending to create morphed images) and photometric perturbation. We leverage both methods to generate high-quality adversarially perturbed morphs from the FERET, FRGC, and FRLL datasets. The final images retain high similarity to both input subjects while resulting in minimal artifacts in the visual domain. Images are synthesized by fusing the wavelet sub-bands from the two look-alike subjects, and then adversarially perturbed to create highly convincing imagery to deceive both humans and deep morph detectors.


title: CMC hypersurfaces with two principal curvatures

abstract: This paper explains the construction of all hypersurfaces with constant mean curvature -- cmc -- and exactly two principal curvatures on any space form endowed with a semi-riemannian metric. Here we will consider riemannian hypersurfaces as well as hypersurfaces with semi-riemannian metrics induced by the ambient space. We show explicit immersions for all these hypersurfaces. We will see that for any given ambient space, the family of cmc hypersurfaces with two principal curvatures depends on two parameters, $H$ and $C$. We describe the range for all possible $(H,C)$ associated with complete cmc hypersurfaces. We end the paper by finding optimal bounds for the traceless second fundamental form in terms of $H$ and $n$.


title: Planckian Physics Comes Into Play At Planckian Distance From Horizon

abstract: In the background of a gravitational collapse, we compute the transition amplitudes for the creation of particles for distant observers due to higher-derivative interactions in addition to Hawking radiation. The amplitudes grow exponentially with time and become of order 1 when the collapsing matter is about a Planck length outside the horizon. As a result, the effective theory breaks down at the scrambling time, invalidating its prediction of Hawking radiation. Planckian physics comes into play to decide the fate of black-hole evaporation.


title: A Survey on Epistemic (Model) Uncertainty in Supervised Learning: Recent Advances and Applications

abstract: Quantifying the uncertainty of supervised learning models plays an important role in making more reliable predictions. Epistemic uncertainty, which usually is due to insufficient knowledge about the model, can be reduced by collecting more data or refining the learning models. Over the last few years, scholars have proposed many epistemic uncertainty handling techniques which can be roughly grouped into two categories, i.e., Bayesian and ensemble. This paper provides a comprehensive review of epistemic uncertainty learning techniques in supervised learning over the last five years. As such, we, first, decompose the epistemic uncertainty into bias and variance terms. Then, a hierarchical categorization of epistemic uncertainty learning techniques along with their representative models is introduced. In addition, several applications such as computer vision (CV) and natural language processing (NLP) are presented, followed by a discussion on research gaps and possible future research directions.


title: PhyloTransformer: A Discriminative Model for Mutation Prediction Based on a Multi-head Self-attention Mechanism

abstract: Severe acute respiratory syndrome coronavirus 2 (SARS-CoV-2) has caused an ongoing pandemic infecting 219 million people as of 10/19/21, with a 3.6% mortality rate. Natural selection can generate favorable mutations with improved fitness advantages; however, the identified coronaviruses may be the tip of the iceberg, and potentially more fatal variants of concern (VOCs) may emerge over time. Understanding the patterns of emerging VOCs and forecasting mutations that may lead to gain of function or immune escape is urgently required. Here we developed PhyloTransformer, a Transformer-based discriminative model that engages a multi-head self-attention mechanism to model genetic mutations that may lead to viral reproductive advantage. In order to identify complex dependencies between the elements of each input sequence, PhyloTransformer utilizes advanced modeling techniques, including a novel Fast Attention Via positive Orthogonal Random features approach (FAVOR+) from Performer, and the Masked Language Model (MLM) from Bidirectional Encoder Representations from Transformers (BERT). PhyloTransformer was trained with 1,765,297 genetic sequences retrieved from the Global Initiative for Sharing All Influenza Data (GISAID) database. Firstly, we compared the prediction accuracy of novel mutations and novel combinations using extensive baseline models; we found that PhyloTransformer outperformed every baseline method with statistical significance. Secondly, we examined predictions of mutations in each nucleotide of the receptor binding motif (RBM), and we found our predictions were precise and accurate. Thirdly, we predicted modifications of N-glycosylation sites to identify mutations associated with altered glycosylation that may be favored during viral evolution. We anticipate that PhyloTransformer may guide proactive vaccine design for effective targeting of future SARS-CoV-2 variants.


title: Rectangular Partitions of a Rectilinear Polygon

abstract: We investigate the problem of partitioning a rectilinear polygon $P$ with $n$ vertices and no holes % with no holes into rectangles using disjoint line segments drawn inside $P$ under two optimality criteria. In the minimum ink partition, the total length of the line segments drawn inside $P$ is minimized. We present an $O(n^3)$-time algorithm using $O(n^2)$ space that returns a minimum ink partition of $P$. In the thick partition, the minimum side length over all resulting rectangles is maximized. We present an $O(n^3 \log^2{n})$-time algorithm using $O(n^3)$ space that returns a thick partition using line segments incident to vertices of $P$, and an $O(n^6 \log^2{n})$-time algorithm using $O(n^6)$ space that returns a thick partition using line segments incident to the boundary of $P$. We also show that if the input rectilinear polygon has holes, the corresponding decision problem for the thick partition problem using line segments incident to vertices of the polygon is NP-complete. We also present an $O(m^3)$-time $3$-approximation algorithm for the minimum ink partition for a rectangle containing $m$ point holes.


title: Optimality conditions for homogeneous polynomial optimization on the unit sphere

abstract: In this note, we prove that for homogeneous polynomial optimization on the sphere, if the objective $f$ is generic in the input space, all feasible points satisfying the first order and second order necessary optimality conditions are local minimizers, which addresses an issue raised in the recent work by Lasserre (Optimization Letters, 2021). As a corollary, this implies that Lasserre's hierarchy has finite convergence when $f$ is generic.


title: Implementing a scalable and elastic computing environment based on Cloud Containers

abstract: In this article we look at the potential of cloud containers and we provide some guidelines for companies and organisations that are starting to look at how to migrate their legacy infrastructure to something modern, reliable and scalable. We propose an architecture that has an excellent relationship between the cost of implementation and the benefits it can bring, based on the "Pilot Light" topology. The services are reconfigured inside small docker containers and the workload is balanced using load balancers that allow horizontal autoscaling techniques to be exploited in the future. By generating additional containers and utilizing the possibilities given by load balancers, companies and network systems experts may model and calibrate infrastructures based on the projected number of users. Containers offer the opportunity to expand the infrastructure and increase processing capacity in a very short time. The proposed approach results in an easily maintainable and fault-tolerant system that could help and simplify the work in particular of small and medium-sized organisations.


title: Teaching Math with the help of Virtual Reality

abstract: In the present work we intend to introduce a system based on VR (Virtual Reality) for examining analytical-geometric structures that occur in the study of mathematics and physics concepts in the last high school classes. In our opinion, an immersive study environment has several advantages over traditional two-dimensional environments (such as a book or the simple screen of a PC or tablet), such as the spatial understanding of the concepts exposed, more peripheral awareness and moreover an evident decreasing in the information dispersion phenomenon. This does not mean that our pedagogical approach is a substitute for traditional pedagogical approaches, but is simply meant to be a robust support. In the first phase of our research we have tried to understand which mathematical objects and which tools to use to enhance mathematical teaching, to demonstrate that the use of VR techniques significantly increase the level of understanding of the mathematical subject investigated by the students.The system which provides for the integration of two machine levels, hardware and software, was subsequently tested by a representative sample of students who returned various food for thought through a questionnaire.


title: An immersive Open Source environment using Godot

abstract: We present a sample implementation of a Virtual and Augmented Reality immersive environment based on Free and Libre Open Source Hardware and Software and the HTC Vive system, used to enhance the immersive experience of the user and to track her/his movements. The sense of immersion has increased and stimulated using a footplate and a Tibetan bridge, connected to the virtual world as Augmented Reality applications and implemented through an Arduino board, thereby adopting a low cost, open source hardware and software approach. The proposed architecture is relatively affordable from the cost point of view, easy to implement, configure and adapt to different contexts. It can be of great help for organizing laboratory classes for young students to afford the implementation of virtual worlds and Augmented Reality applications.


title: Binary classification of proteins by a Machine Learning approach

abstract: In this work we present a system based on a Deep Learning approach, by using a Convolutional Neural Network, capable of classifying protein chains of amino acids based on the protein description contained in the Protein Data Bank. Each protein is fully described in its chemical-physical-geometric properties in a file in XML format. The aim of the work is to design a prototypical Deep Learning machinery for the collection and management of a huge amount of data and to validate it through its application to the classification of a sequences of amino acids. We envisage applying the described approach to more general classification problems in biomolecules, related to structural properties and similarities.


title: A new method for binary classification of proteins with Machine Learning

abstract: In this work we set out to find a method to classify protein structures using a Deep Learning methodology. Our Artificial Intelligence has been trained to recognize complex biomolecule structures extrapolated from the Protein Data Bank (PDB) database and reprocessed as images; for this purpose various tests have been conducted with pre-trained Convolutional Neural Networks, such as InceptionResNetV2 or InceptionV3, in order to extract significant features from these images and correctly classify the molecule. A comparative analysis of the performances of the various networks will therefore be produced.


title: Autonomous Magnetic Navigation Framework for Active Wireless Capsule Endoscopy Inspired by Conventional Colonoscopy Procedures

abstract: In recent years, simultaneous magnetic actuation and localization (SMAL) for active wireless capsule endoscopy (WCE) has been intensively studied to improve the efficiency and accuracy of the examination. In this paper, we propose an autonomous magnetic navigation framework for active WCE that mimics the "insertion" and "withdrawal" procedures performed by an expert physician in conventional colonoscopy, thereby enabling efficient and accurate navigation of a robotic capsule endoscope in the intestine with minimal user effort. First, the capsule is automatically propelled through the unknown intestinal environment and generate a viable path to represent the environment. Then, the capsule is autonomously navigated towards any point selected on the intestinal trajectory to allow accurate and repeated inspections of suspicious lesions. Moreover, we implement the navigation framework on a robotic system incorporated with advanced SMAL algorithms, and validate it in the navigation in various tubular environments using phantoms and an ex-vivo pig colon. Our results demonstrate that the proposed autonomous navigation framework can effectively navigate the capsule in unknown, complex tubular environments with a satisfactory accuracy, repeatability and efficiency compared with manual operation.


title: A Supervised-Learning based Hour-Ahead Demand Response of a Behavior-based HEMS approximating MILP Optimization

abstract: The demand response (DR) program of a traditional HEMS usually intervenes appliances by controlling or scheduling them to achieve multiple objectives such as minimizing energy cost and maximizing user comfort. In this study, instead of intervening appliances and changing resident behavior, our proposed strategy for hour-ahead DR firstly learns appliance use behavior of residents and then silently controls ESS and RES to minimize daily energy cost based on its knowledge. To accomplish the goal, our proposed deep neural networks (DNNs) models approximate MILP optimization by using supervised learning. The datasets for training DNNs are created from optimal outputs of a MILP solver with historical data. After training, at each time slot, these DNNs are used to control ESS and RES with real-time data of the surrounding environment. For comparison, we develop two different strategies named multi-agent reinforcement learning-based strategy, a kind of hour-ahead strategy and forecast-based MILP strategy, a kind of day-ahead strategy. For evaluation and verification, our proposed strategies are applied at three different real-world homes with real-world real-time global horizontal irradiation and real-world real-time prices. Numerical results verify that the proposed MILP-based supervised learning strategy is effective in term of daily energy cost and is the best one among three proposed strategies


title: Efficacy of the symmetry-adapted basis for ab initio nucleon-nucleus interactions for light- and intermediate-mass nuclei

abstract: We study the efficacy of a new ab initio framework that combines the symmetry-adapted (SA) no-core shell-model approach with the resonating group method (RGM) for unified descriptions of nuclear structure and reactions. We obtain ab initio neutron-nucleus interactions for $^4$He, $^{16}$O, and $^{20}$Ne targets, starting with realistic nucleon-nucleon potentials. We discuss the effect of increasing model space sizes and symmetry-based selections on the SA-RGM norm and direct potential kernels, as well as on phase shifts, which are the input to calculations of cross sections. We demonstrate the efficacy of the SA basis and its scalability with particle numbers and model space dimensions, with a view toward ab initio descriptions of nucleon scattering and capture reactions up through the medium-mass region.


title: Tadpole contribution to magnetic photon-graviton conversion

abstract: Photon-graviton conversion in a magnetic field is a process that is usually studied at tree level, but the one-loop corrections due to scalars and spinors have also been calculated. Differently from the tree-level process, at one-loop one finds the amplitude to depend on the photon polarization, leading to dichroism. However, previous calculations overlooked a tadpole contribution of the type that was considered to be vanishing in QED for decades but erroneously so, as shown by H. Gies and one of the authors in 2016. Here we compute this missing diagram in closed form, and show that it does not contribute to dichroism.


title: Machine learning classification of two-dimensional vortex configurations

abstract: We consider computer generated configurations of quantised vortices in planar superfluid Bose-Einstein condensates. We show that unsupervised machine learning technology can successfully be used for classifying such vortex configurations to identify prominent vortex phases of matter. The machine learning approach could thus be applied for automatically classifying large data sets of vortex configurations obtainable by experiments on two-dimensional quantum turbulence.


title: First and second moments of the size distribution of bond percolation clusters on regular graphs

abstract: Motivated by network resilience and insurance premiums in the context of cyber security, we derive universal upper bounds for the first and second moments of the size of bond percolation clusters on finite regular graphs. Thinking of the clusters as dynamical objects coupled with branching processes gives a first set of bounds that are accurate when the probability of an edge being open is small. Estimating the number of isolated vertices, we also obtain a second set of bounds that are accurate when the probability of an edge being closed is small. As an illustration, we apply our results to the first three Platonic solids.


title: Obvious Manipulability of Voting Rules

abstract: The Gibbard-Satterthwaite theorem states that no unanimous and non-dictatorial voting rule is strategyproof. We revisit voting rules and consider a weaker notion of strategyproofness called not obvious manipulability that was proposed by Troyan and Morrill (2020). We identify several classes of voting rules that satisfy this notion. We also show that several voting rules including k-approval fail to satisfy this property. We characterize conditions under which voting rules are obviously manipulable. One of our insights is that certain rules are obviously manipulable when the number of alternatives is relatively large compared to the number of voters. In contrast to the Gibbard-Satterthwaite theorem, many of the rules we examined are not obviously manipulable. This reflects the relatively easier satisfiability of the notion and the zero information assumption of not obvious manipulability, as opposed to the perfect information assumption of strategyproofness. We also present algorithmic results for computing obvious manipulations and report on experiments.


title: On Tides and Exoplanets

abstract: This paper reviews the basic equations used in the study of the tidal variations of the rotational and orbital elements of a system formed by one star and one close-in planet as given by the creep tide theory and Darwin's constant time lag (CTL) theory. At the end, it reviews and discusses the determinations of the relaxation factors (and time lags) in the case of host stars and hot Jupiters based on actual observations of orbital decay, stellar rotation and age, etc. It also includes a recollection of the basic facts concerning the variations of the rotation of host stars due to the leakage of angular momentum associated with stellar winds.


title: Arecibo-Green Bank-LOFAR Carbon Radio Recombination Line observations toward cold HI Clouds

abstract: We present results from a search for radio recombination lines in three HI self-absorbing (HISA) clouds at 750 MHz and 321 MHz with the Robert C. Byrd Green Bank Telescope (GBT), and in three Galactic Plane positions at 327 MHz with the Arecibo Telescope. We detect Carbon Recombination Lines (CRRLs) in the direction of DR4 and DR21, as well as in the galactic plane position G34.94+0.0. We additionally detect Hydrogen Recombination Lines (HRRLs) in emission in five of the six sightlines, and a Helium line at 750 MHz towards DR21. Combining our new data with 150 MHz LOFAR detections of CRRL absorption towards DR4 and DR21, we estimate the electron densities of the line forming regions by modeling the line width as a function of frequency. The estimated densities are in the range 1.4 $\rightarrow$ 6.5 cm$^{-3}$ towards DR4, for electron temperatures 200 $\rightarrow$ 20 K. A dual line forming region with densities between 3.5 $\rightarrow$ 24 cm$^{-3}$ and 0.008 $\rightarrow$ 0.3 cm$^{-3}$ could plausibly explain the observed line width as a function of frequency on the DR21 sightline. The central velocities of the CRRLs compare well with CO emission and HISA lines in these directions. The cloud densities estimated from the CO lines are smaller (at least a factor of 5) than those of the CRRL forming regions. It is likely that the CRRL forming and HI self-absorbing gas is located in a denser, shocked region either at the boundary of or within the CO emitting cloud.


title: High and Low Formulas in Modules

abstract: A partition of the set of unary pp formulas into four regions is presented, which has a bearing on various structural properties of modules. The machinery developed allows for applications to IF, weakly coherent, nonsingular, and reduced rings, as well as domains, specifically Ore domains. One of the four types of formula are called high. These are used to define Ulm submodules and Ulm length of modules over any associative ring. It is shown that pure injective modules have Ulm length at most 1. As a consequence, pure injective modules over RD domains (in particular, pure injective modules over the first Weyl algebra over a field of characteristic 0) are shown to decompose into a largest injective and a reduced submodule. This study serves as preparation for forthcoming work with A. Martsinkovsky on injective torsion.


title: Pointwise space-time estimates of two-phase fluid model in dimension three

abstract: In this paper, we investigate the pointwise space-time behavior of two-phase fluid model derived by Choi \cite{Choi} [SIAM J. Math. Anal., 48(2016), pp. 3090-3122], which is the compressible damped Euler equations coupled with compressible Naiver-Stokes equations. Based on Green's function method together with frequency analysis and nonlinear coupling of different wave patterns, it shows that both of two densities and momentums obey the generalized Huygens' principle as the compressible Navier-Stokes equations \cite{LW}, however, it is different from the compressible damped Euler equations \cite{Wang2}. The main contributions include seeking suitable combinations to avoid the singularity from the Hodge decomposition in the low frequency part of the Green's function, overcoming the difficulty of the non-conservation arising from the damped mechanism of the system, and developing the detailed description of the singularities in the high frequency part of the Green's function. Finally, as a byproduct, we extend $L^2$-estimate in \cite{Wugc} [SIAM J. Math. Anal., 52(2020), pp. 5748-5774] to $L^p$-estimate with $p>1$.


title: Belief Propagation based Joint Detection and Decoding for Resistive Random Access Memories

abstract: Despite the great promises that the resistive random access memory (ReRAM) has shown as the next generation of non-volatile memory technology, its crossbar array structure leads to a severe sneak path interference to the signal read back from the memory cell. In this paper, we first propose a novel belief propagation (BP) based detector for the sneak path interference in ReRAM. Based on the conditions for a sneak path to occur and the dependence of the states of the memory cells that are involved in the sneak path, a Tanner graph for the ReRAM channel is constructed, inside which specific messages are updated iteratively to get a better estimation of the sneak path affected cells. We further combine the graph of the designed BP detector with that of the BP decoder of the polar codes to form a joint detector and decoder. Tailored for the joint detector and decoder over the ReRAM channel, effective polar codes are constructed using the genetic algorithm. Simulation results show that the BP detector can effectively detect the cells affected by the sneak path, and the proposed polar codes and the joint detector and decoder can significantly improve the error rate performance of ReRAM.