title: META$^\mathbf{2}$: Memory-efficient taxonomic classification and abundance estimation for metagenomics with deep learning

abstract: Metagenomic studies have increasingly utilized sequencing technologies in order to analyze DNA fragments found in environmental samples.One important step in this analysis is the taxonomic classification of the DNA fragments. Conventional read classification methods require large databases and vast amounts of memory to run, with recent deep learning methods suffering from very large model sizes. We therefore aim to develop a more memory-efficient technique for taxonomic classification. A task of particular interest is abundance estimation in metagenomic samples. Current attempts rely on classifying single DNA reads independently from each other and are therefore agnostic to co-occurence patterns between taxa. In this work, we also attempt to take these patterns into account. We develop a novel memory-efficient read classification technique, combining deep learning and locality-sensitive hashing. We show that this approach outperforms conventional mapping-based and other deep learning methods for single-read taxonomic classification when restricting all methods to a fixed memory footprint. Moreover, we formulate the task of abundance estimation as a Multiple Instance Learning (MIL) problem and we extend current deep learning architectures with two different types of permutation-invariant MIL pooling layers: a) deepsets and b) attention-based pooling. We illustrate that our architectures can exploit the co-occurrence of species in metagenomic read sets and outperform the single-read architectures in predicting the distribution over taxa at higher taxonomic ranks.


title: The transitional gap transient AT 2018hso: new insights on the luminous red nova phenomenon

abstract: Aims: AT 2018hso is a new transient showing transitional properties between those of LRNe and the class of intermediate luminosity red transients (ILRTs) similar to SN 2008S. Through the detailed analysis of the observed parameters, our study support that it actually belongs to the LRN class, and was likely produced by the coalescence of two massive stars. Methods: We obtained ten months of optical and near-infrared photometric monitoring, and eleven epochs of low-resolution optical spectroscopy of AT~2018hso. We compared its observed properties with those of other ILRTs and LRNe. We also inspected the archival Hubble Space Telescope (HST) images obtained about 15 years ago to constrain the progenitor's properties. Results: The light curves of AT 2018hso show a first sharp peak (Mr = -13.93 mag), followed by a broader and shallower second peak, that resembles a plateau in the optical bands. The spectra dramatically change with time. Early time spectra show prominent Balmer emission lines and a weak Ca II] doublet, which is usually observed in ILRTs. However, the major decrease in the continuum temperature, the appearance of narrow metal absorption lines, the major change in the H$\alpha$ strength and profile, and the emergence of molecular bands support a LRN classification. The possible detection of an I ~ -8 mag source at the position of AT 2018hso in HST archive images is consistent with expectations for a pre-merger massive binary, similar to the precursor of the 2015 LRN in M101. Conclusions: We provide reasonable arguments to support a LRN classification for AT~2018hso. This study reveals growing heterogeneity in the observables of LRNe than thought in the past, making sometimes tricky the discrimination between LRNe and ILRTs. This suggests the need of monitoring the entire evolution of gap transients to avoid misclassifications.


title: Preisach Based Storage Devices and Global Optimizers

abstract: The Preisach model of hysteresis admits simple device realizations. It is suggested in the paper that these realizations can be utilized as unique data storage devices as well as analog global optimizers.


title: Morse-Smale surfaced diffeomorphisms with orientable heteroclinic

abstract: In the present paper we consider preserving orientation Morse-Smale diffeomorphisms on surfaces. Using the methods of factorization and linearizing neighborhoods we prove that such diffeomorphisms have a finite number of orientable heteroclinic orbits.


title: Linear Stability of Katabatic Slope Flows with Ambient Wind Forcing

abstract: We investigate the stability of katabatic slope flows over an infinitely wide and uniformly cooled planar surface subject to an additional forcing due to a uniform downslope wind field aloft. We adopt an extension of Prandtl's original model for slope flows (Lykosov & Gutman 1972) to derive the base flow, which constitutes an interesting basic state in stability analysis because it cannot be reduced to a single universal form independent of external parameters. We apply a linear modal analysis to this basic state to demonstrate that for a fixed Prandtl number and slope angle, two independent dimensionless parameters are sufficient to describe the flow stability. One of these parameters is the stratification perturbation number that we have introduced in Xiao & Senocak (2019). The second parameter, which we will henceforth designate the wind forcing number, is hitherto uncharted and can be interpreted as the ratio of the kinetic energy of the ambient wind aloft to the damping due to viscosity and stabilizing effect of the background stratification. For a fixed Prandtl number, stationary transverse and travelling longitudinal modes of instabilities can emerge, depending on the value of the slope angle and the aforementioned dimensionless numbers. The influence of ambient wind forcing on the base flow's stability is complicated as the ambient wind can be both stabilizing as well as destabilizing for a certain range of the parameters. Our results constitute a strong counter-evidence against the current practice of relying solely on the gradient Richardson number to describe the dynamic stability of stratified atmospheric slope flows.


title: The Source-Target Domain Mismatch Problem in Machine Translation

abstract: While we live in an increasingly interconnected world, different places still exhibit strikingly different cultures and many events we experience in our every day life pertain only to the specific place we live in. As a result, people often talk about different things in different parts of the world. In this work we study the effect of local context in machine translation and postulate that particularly in low resource settings this causes the domains of the source and target language to greatly mismatch, as the two languages are often spoken in further apart regions of the world with more distinctive cultural traits and unrelated local events. We first formalize the concept of source-target domain mismatch, propose a metric to quantify it, and provide empirical evidence corroborating our intuition that organic text produced by people speaking very different languages exhibits the most dramatic differences. We conclude with an empirical study of how source-target domain mismatch affects training of machine translation systems for low resource language pairs. In particular, we find that it severely affects back-translation, but the degradation can be alleviated by combining back-translation with self-training and by increasing the relative amount of target side monolingual data.


title: Distribution of spin correlation strengths in multipartite systems

abstract: For a two-qubit state the isotropic strength measures the degree of isotropic spin correlation. The concept of isotropic strength is generalized to multipartite qudit systems, and the strength distributions for tripartite and quadripartite qudit systems are thoroughly investigated. We show that the sum of relative isotropic strengths of any three qudit state over $d$-dimensional Hilbert space cannot exceed $d-1$, which generalizes of the case $d=2$. The trade-off relations and monogamy-like relations of the sum of spin correlation strengths for pure three- and four-partite systems are derived. Moreover, the bounds of spin correlation strengths among different subsystems of a quadripartite state are used to analyze quantum entanglement.


title: Local $SU(2) \times U(1)$ Quark Flavor Symmetry in the RS Bulk

abstract: We propose a model of quark flavor based on an additional $SU(2)\times U(1)$ local symmetry in a warped extra dimensional bulk. In contrast to other works, we break the additional gauge symmetry in the bulk via two complex scalars which acquire bulk vevs, rather than relying on brane-localized symmetry breaking. A gauge-covariant Kaluza-Klein decomposition of a theory with a bulk spontaneously broken gauge symmetry is performed, and exact expressions for the bulk profiles of all physical particles in such systems are given. The SM quark masses and mixings are then recreated using gauge-covariant bulk quark mass terms and Yukawa-like couplings to the new bulk scalars. A numerical sampling of points in the model parameter space that recreate the quark masses and mixings is performed at a KK scale of $M_{KK} =5$ TeV. We then compute the $\Delta F = 2$ 4-quark operators arising from our new flavor gauge bosons and scalars, and those arising from Kaluza-Klein modes of SM gauge bosons. By decoupling one of our bulk scalar fields to all quark fields except the right-handed up-like sector, we find that it is possible to greatly suppress tree-level contributions to the highly constrained Kaon mixing parameters. Instead, the dominant constraints on the model emerge from neutral $B_d$ and $D$ meson mixing. These constraints are explored with our numerical sampling of the model parameter space, and the specific contribution of the new flavor gauge bosons and scalars is discussed. We find that for a significant range of realistic flavor gauge couplings, the new gauge bosons compete with the normally dominant gluon flavor-changing currents, but flavor-changing operators emerging from the bulk scalar fields are highly suppressed. Finally, we briefly comment on flavor constraints that are independent of the flavor gauge sector arising from the $Z \bar{b}_L b_L$ coupling and rare top decays.


title: Generalized Zero-shot ICD Coding

abstract: The International Classification of Diseases (ICD) is a list of classification codes for the diagnoses. Automatic ICD coding is in high demand as the manual coding can be labor-intensive and error-prone. It is a multi-label text classification task with extremely long-tailed label distribution, making it difficult to perform fine-grained classification on both frequent and zero-shot codes at the same time. In this paper, we propose a latent feature generation framework for generalized zero-shot ICD coding, where we aim to improve the prediction on codes that have no labeled data without compromising the performance on seen codes. Our framework generates pseudo features conditioned on the ICD code descriptions and exploits the ICD code hierarchical structure. To guarantee the semantic consistency between the generated features and real features, we reconstruct the keywords in the input documents that are related to the conditioned ICD codes. To the best of our knowledge, this works represents the first one that proposes an adversarial generative model for the generalized zero-shot learning on multi-label text classification. Extensive experiments demonstrate the effectiveness of our approach. On the public MIMIC-III dataset, our methods improve the F1 score from nearly 0 to 20.91% for the zero-shot codes, and increase the AUC score by 3% (absolute improvement) from previous state of the art. We also show that the framework improves the performance on few-shot codes.


title: Weakly Supervised Energy-Based Learning for Action Segmentation

abstract: This paper is about labeling video frames with action classes under weak supervision in training, where we have access to a temporal ordering of actions, but their start and end frames in training videos are unknown. Following prior work, we use an HMM grounded on a Gated Recurrent Unit (GRU) for frame labeling. Our key contribution is a new constrained discriminative forward loss (CDFL) that we use for training the HMM and GRU under weak supervision. While prior work typically estimates the loss on a single, inferred video segmentation, our CDFL discriminates between the energy of all valid and invalid frame labelings of a training video. A valid frame labeling satisfies the ground-truth temporal ordering of actions, whereas an invalid one violates the ground truth. We specify an efficient recursive algorithm for computing the CDFL in terms of the logadd function of the segmentation energy. Our evaluation on action segmentation and alignment gives superior results to those of the state of the art on the benchmark Breakfast Action, Hollywood Extended, and 50Salads datasets.


title: Topics in Hilbert Spaces, Spectral Theory, and Harmonic Analysis

abstract: General expository paper concerning topics in Hilbert spaces, spectral theory, and harmonic analysis. The preliminary section includes basic Banach algebra and Hilbert space theory with a digression on Riesz bases. The second and third sections are focused on deriving the spectral theorem for Hilbert spaces in finite and arbitrary dimension, respectively. The fourth and fifth sections present applications of the general theory: first to finite abelian groups, then to the space $L^2(S^1,\mu)$.


title: A model for phonetic changes driven by social interactions

abstract: We propose a stochastic model to study phonetic changes as an evolutionary process driven by social interactions between two groups of individuals with different phonological systems. Particularly, we focus on the changes in the place of articulation, inspired by the drift /\textphi/$\rightarrow$/h/ observed in some words of Latin root in the Castilian language. In the model, each agent is characterized by a variable of three states, representing the place of articulation used during speech production. In this frame, we propose stochastic rules of interactions among agents which lead to phonetic imitation and consequently to changes in the articulation place. Based on this, we mathematically formalize the model as a problem of population dynamics, derive the equations of evolution in the mean field approximation, and study the emergence of three non--trivial global states, which can be linked to the pattern of phonetic changes observed in the language of Castile and in other Romance languages.


title: Accelerating the Computation of UCB and Related Indices for Reinforcement Learning

abstract: In this paper we derive an efficient method for computing the indices associated with an asymptotically optimal upper confidence bound algorithm (MDP-UCB) of Burnetas and Katehakis (1997) that only requires solving a system of two non-linear equations with two unknowns, irrespective of the cardinality of the state space of the Markovian decision process (MDP). In addition, we develop a similar acceleration for computing the indices for the MDP-Deterministic Minimum Empirical Divergence (MDP-DMED) algorithm developed in Cowan et al. (2019), based on ideas from Honda and Takemura (2011), that involves solving a single equation of one variable. We provide experimental results demonstrating the computational time savings and regret performance of these algorithms. In these comparison we also consider the Optimistic Linear Programming (OLP) algorithm (Tewari and Bartlett, 2008) and a method based on Posterior sampling (MDP-PS).


title: Numerical simulations of wind-driven protoplanetary nebulae. II. signatures of atomic emission

abstract: We follow up on our systematic study of axisymmetric hydrodynamic simulations of protoplanetary nebula. The aim of this work is to generate the atomic analogues of the $\mathrm H_2$ near-infrared models of Paper I with the ZEUS code modified to include molecular and atomic cooling routines. We investigate stages associated with strong $\mathrm {[Fe II]}$ 1.64 $\mathrm {{\mu m}}$ and $\mathrm {[S II]}$ 6716 {\AA} forbidden lines, the $\mathrm {[O I]}$ 6300 {\AA} airglow line, and H$\mathrm \alpha\, 6563$ {\AA} emission. We simulate ($\mathrm{80\sim200\,km\,s^{-1}}$) dense ($\mathrm{\sim10^{5}\,cm^{-3}}$) outflows expanding into a stationary ambient medium. In the case of an atomic wind interacting with an atomic medium, a decelerating advancing turbulent shell thickens with time. This contrasts with all other cases where a shell fragments into a multitude of cometary-shaped protrusions with weak oblique shocks as the main source of gas excitation. We find that the atomic wind-ambient simulation leads to considerably higher excitation, stronger peak and integrated atomic emission as the nebula expands. The weaker emission when one component is molecular is due to the shell fragmentation into fingers so that the shock surface area is increased and oblique shocks are prevalent. Position-velocity diagrams indicate that the atomic-wind model may be most easy to distinguish with more emission at higher radial velocities. With post-AGB winds and shells often highly obscured and the multitude of configurations that are observed, this study suggests and motivates selection criteria for new surveys.


title: Capture and light-induced release of antibiotics by an azo dye polymer

abstract: The isomerisation of azo dyes can induce conformational change which have potential applications in medicine and environmental protection. We developed an agar diffusion assay to test the capture and release of biologically active molecules from an azo electro-optic polymer, Poly (Disperse Red 1 methacrylate) (DR1/PMMA). The assay monitors the growth of bacteria placed in soft agar under a glass coverslip. Antibiotics can then be applied on the coverslip resulting in the clearance of the area under the coverslip due to growth inhibition. This assay demonstrates that DR1/PMMA is able to capture either tetracycline or ampicillin and the relative amount of DR1/PMMA required for capture was determined. Finally, the active antibiotics can be released from DR1/PMMA by exposure to green light but not by exposure to white light or heat.


title: Unconditional positivity-preserving and energy stable schemes for a reduced Poisson-Nernst-Planck system

abstract: The Poisson-Nernst-Planck (PNP) system is a widely accepted model for simulation of ionic channels. In this paper, we design, analyze, and numerically validate a second order unconditional positivity-preserving scheme for solving a reduced PNP system, which can well approximate the three dimensional ion channel problem. Positivity of numerical solutions is proven to hold true independent of the size of time steps and the choice of the Poisson solver. The scheme is easy to implement without resorting to any iteration method. Several numerical examples further confirm the positivity-preserving property, and demonstrate the accuracy, efficiency, and robustness of the proposed scheme, as well as the fast approach to steady states.


title: Translation, Sentiment and Voices: A Computational Model to Translate and Analyse Voices from Real-Time Video Calling

abstract: With internet quickly becoming an easy access to many, voice calling over internet is slowly gaining momentum. Individuals has been engaging in video communication across the world in different languages. The decade saw the emergence of language translation using neural networks as well. With more data being generated in audio and visual forms, there has become a need and a challenge to analyse such information for many researchers from academia and industry. The availability of video chat corpora is limited as organizations protect user privacy and ensure data security. For this reason, an audio-visual communication system (VidALL) has been developed and audio-speeches were extracted. To understand human nature while answering a video call, an analysis was conducted where polarity and vocal intensity were considered as parameters. Simultaneously, a translation model using a neural approach was developed to translate English sentences to French. Simple RNN-based and Embedded-RNN based models were used for the translation model. BLEU score and target sentence comparators were used to check sentence correctness. Embedded-RNN showed an accuracy of 88.71 percentage and predicted correct sentences. A key finding suggest that polarity is a good estimator to understand human emotion.


title: Self-Supervised Learning of Depth and Ego-motion with Differentiable Bundle Adjustment

abstract: Learning to predict scene depth and camera motion from RGB inputs only is a challenging task. Most existing learning based methods deal with this task in a supervised manner which require ground-truth data that is expensive to acquire. More recent approaches explore the possibility of estimating scene depth and camera pose in a self-supervised learning framework. Despite encouraging results are shown, current methods either learn from monocular videos for depth and pose and typically do so without enforcing multi-view geometry constraints between scene structure and camera motion, or require stereo sequences as input where the ground-truth between-frame motion parameters need to be known. In this paper we propose to jointly optimize the scene depth and camera motion via incorporating differentiable Bundle Adjustment (BA) layer by minimizing the feature-metric error, and then form the photometric consistency loss with view synthesis as the final supervisory signal. The proposed approach only needs unlabeled monocular videos as input, and extensive experiments on the KITTI and Cityscapes dataset show that our method achieves state-of-the-art results in self-supervised approaches using monocular videos as input, and even gains advantage to the line of methods that learns from calibrated stereo sequences (i.e. with pose supervision).


title: Deep K-SVD Denoising

abstract: This work considers noise removal from images, focusing on the well known K-SVD denoising algorithm. This sparsity-based method was proposed in 2006, and for a short while it was considered as state-of-the-art. However, over the years it has been surpassed by other methods, including the recent deep-learning-based newcomers. The question we address in this paper is whether K-SVD was brought to its peak in its original conception, or whether it can be made competitive again. The approach we take in answering this question is to redesign the algorithm to operate in a supervised manner. More specifically, we propose an end-to-end deep architecture with the exact K-SVD computational path, and train it for optimized denoising. Our work shows how to overcome difficulties arising in turning the K-SVD scheme into a differentiable, and thus learnable, machine. With a small number of parameters to learn and while preserving the original K-SVD essence, the proposed architecture is shown to outperform the classical K-SVD algorithm substantially, and getting closer to recent state-of-the-art learning-based denoising methods. Adopting a broader context, this work touches on themes around the design of deep-learning solutions for image processing tasks, while paving a bridge between classic methods and novel deep-learning-based ones.


title: Relational Graph Learning for Crowd Navigation

abstract: We present a relational graph learning approach for robotic crowd navigation using model-based deep reinforcement learning that plans actions by looking into the future. Our approach reasons about the relations between all agents based on their latent features and uses a Graph Convolutional Network to encode higher-order interactions in each agent's state representation, which is subsequently leveraged for state prediction and value estimation. The ability to predict human motion allows us to perform multi-step lookahead planning, taking into account the temporal evolution of human crowds. We evaluate our approach against a state-of-the-art baseline for crowd navigation and ablations of our model to demonstrate that navigation with our approach is more efficient, results in fewer collisions, and avoids failure cases involving oscillatory and freezing behaviors.


title: Motion-corrected and high-resolution anatomically-assisted (MOCHA) reconstruction of arterial spin labelling MRI

abstract: A model-based reconstruction framework is proposed for MOtion-Corrected and High-resolution anatomically-Assisted (MOCHA) reconstruction of ASL data. In this framework, all low-resolution ASL control-label pairs are used to reconstruct a single high-resolution cerebral blood flow (CBF) map, corrected for rigid motion, point-spread-function (PSF) blurring and partial-volume effect (PVE).Six volunteers were recruited for CBF imaging using PCASL labelling, 2-shot 3D-GRASE sequences and high-resolution T1-weighted MRI. For two volunteers, high-resolution scans with double and triple resolution in the partition direction were additionally collected. Simulations were designed for evaluations against a high-resolution ground-truth CBF map, including a simulated hyper-perfused lesion and hyper/hypo-perfusion abnormalities. MOCHA was compared to standard reconstruction and a 3D linear regression (3DLR) PVE correction method and was further evaluated for acquisitions with reduced control-label pairs and k-space undersampling. MOCHA reconstructions of low-resolution ASL data showed enhanced image quality particularly in the partition direction. In simulations, both MOCHA and 3DLR provided more accurate CBF maps than the standard reconstruction, however MOCHA resulted in the lowest errors and well delineated the abnormalities. MOCHA reconstruction of standard-resolution in-vivo data showed good agreement with higher-resolution scans requiring 4x and 9x longer acquisitions. MOCHA was found to be robust for 4x-accelerated ASL acquisitions, achieved by reduced control-label pairs or k-space undersampling. Conclusion: MOCHA reconstruction reduces PVE by direct reconstruction of CBF maps in the high-resolution space of the corresponding anatomical image, incorporating motion correction and PSF modelling. Following further evaluation, MOCHA should promote the clinical application of ASL.


title: Dynamics of a parabolic-ODE competition system in heterogeneous environments

abstract: This work is concerned with the large time behavior of the solutions of a parabolic-ODE hybrid system, modeling the competition of two populations which are identical except their movement behaviors: one species moves by random dispersal while the other does not diffuse. We show that the non-diffusing population will always drive the diffusing one to extinction in environments with sinks. In contract, the non-diffusing and diffusing populations can coexist in environments without sinks.


title: Optimizing Design Verification using Machine Learning: Doing better than Random

abstract: As integrated circuits have become progressively more complex, constrained random stimulus has become ubiquitous as a means of stimulating a designs functionality and ensuring it fully meets expectations. In theory, random stimulus allows all possible combinations to be exercised given enough time, but in practice with highly complex designs a purely random approach will have difficulty in exercising all possible combinations in a timely fashion. As a result it is often necessary to steer the Design Verification (DV) environment to generate hard to hit combinations. The resulting constrained-random approach is powerful but often relies on extensive human expertise to guide the DV environment in order to fully exercise the design. As designs become more complex, the guidance aspect becomes progressively more challenging and time consuming often resulting in design schedules in which the verification time to hit all possible design coverage points is the dominant schedule limitation. This paper describes an approach which leverages existing constrained-random DV environment tools but which further enhances them using supervised learning and reinforcement learning techniques. This approach provides better than random results in a highly automated fashion thereby ensuring DV objectives of full design coverage can be achieved on an accelerated timescale and with fewer resources. Two hardware verification examples are presented, one of a Cache Controller design and one using the open-source RISCV-Ariane design and Google's RISCV Random Instruction Generator. We demonstrate that a machine-learning based approach can perform significantly better on functional coverage and reaching complex hard-to-hit states than a random or constrained-random approach.


title: Two Long-Period Cataclysmic Variable Stars: ASASSN-14ho and V1062 Cyg

abstract: We report spectroscopy and photometry of the cataclysmic variable stars ASASSN-14ho and V1062 Cyg. Both are dwarf novae with spectra dominated by their secondary stars, which we classify as approxomately K4 and M0.5, respectively. Their orbital periods, determined mostly from the secondary stars' radial velociites, proved to be nearly identical, respectively 350.14 +- 0.15 and 348.25 +- 0.60 min. The H-alpha emission line in V1062 Cyg displays a relatively sharp emission component that tracks the secondary's motion, which may arise on the irradiated face of the secondary; tihs is not often seen and may indicate an unusually strong flux of ionizing radiation. Both systems exhibit double-peaked orbital modulation consistent with ellipsoidal variation from the changing aspect of the secondary. We model these variations to constrain the orbital inclination i, and estimate approximate component masses based oni and the secondary velocity amplitude K2.


title: Robust delay-dependent LPV output-feedback blood pressure control with real-time Bayesian estimation

abstract: Mean arterial blood pressure (MAP) dynamics estimation and its automated regulation could benefit the clinical and emergency resuscitation of critical patients. In order to address the variability and complexity of the MAP response of a patient to vasoactive drug infusion, a parameter-varying model with a varying time delay is considered to describe the MAP dynamics in response to drugs. The estimation of the varying parameters and the delay is performed via a Bayesian-based multiple-model square root cubature Kalman filtering approach. The estimation results validate the effectiveness of the proposed random-walk dynamics identification method using collected animal experiment data. Following the estimation algorithm, an automated drug delivery scheme to regulate the MAP response of the patient is carried out via time-delay linear parameter-varying (LPV) control techniques. In this regard, an LPV gain-scheduled output-feedback controller is designed to meet the MAP response requirements of tracking a desired reference MAP target and guarantee robustness against norm-bounded uncertainties and disturbances. In this context, parameter-dependent Lyapunov-Krasovskii functionals are used to derive sufficient conditions for the robust stabilization of a general LPV system with an arbitrarily varying time delay and the results are provided in a convex linear matrix inequality (LMI) constraint framework. Finally, to evaluate the performance of the proposed MAP regulation approach, closed-loop simulations are conducted and the results confirm the effectiveness of the proposed control method against various simulated clinical scenarios.


title: Magnetic Shape Memory Polymers with Integrated Multifunctional Shape Manipulations

abstract: Shape-programmable soft materials that exhibit integrated multifunctional shape manipulations, including reprogrammable, untethered, fast, and reversible shape transformation and locking, are highly desirable for a plethora of applications, including soft robotics, morphing structures, and biomedical devices. Despite recent progress, it remains challenging to achieve multiple shape manipulations in one material system. Here, we report a novel magnetic shape memory polymer composite to achieve this. The composite consists of two types of magnetic particles in an amorphous shape memory polymer matrix. The matrix softens via magnetic inductive heating of low-coercivity particles, and high-remanence particles with reprogrammable magnetization profiles drive the rapid and reversible shape change under actuation magnetic fields. Once cooled, the actuated shape can be locked. Additionally, varying the particle loadings for heating enables sequential actuation. The integrated multifunctional shape manipulations are further exploited for applications including soft magnetic grippers with large grabbing force, sequential logic for computing, and reconfigurable antennas. Keyword: shape memory polymers, soft active materials, magnetic soft material, soft robotics, soft material computing


title: Video-Capable Ultrasonic Wireless Communications through Biological Tissues

abstract: Wireless implanted medical devices (IMDs) provide ease and comfort to an increasing number of patients and physicians. Currently, radiofrequency electromagnetic waves are the most commonly used method for communicating wirelessly with IMDs. However, due to the restrictions on the available bandwidth and the employable power, data rates of RF-based IMDs are limited to 267 kbps. Considering standard definition video streaming requiring 1.2 mbps and high definition requiring 3 mbps bitrates, it is not possible to use such devices for high data rate communication applications such as video streaming. In this work, an alternative method that utilizes ultrasonic waves for IMDs to relay information at high data rates is introduced. Advanced signal processing and communication techniques are tailored to realize the full potential of the ultrasonic channel through biological tissues. Consequently, the experiments demonstrate that video-capable data rates can be achieved with mm-sized transducers communicating through water, ex vivo beef liver, ex vivo pork chop, and in situ through the rabbit abdomen.


title: Proof of some supercongruences via the Wilf-Zeilberger method

abstract: In this paper, we prove some supercongruences via the Wilf-Zeilberger method. For instance, for any odd prime $p$ and positive integer $r$ and $\delta\in\{1,2\}$, we have \begin{align*} \sum_{n=0}^{(p^r-1)/\delta} \frac{\left(\frac12\right)^5_n}{n!^5}(10n^2+6n+1)(-4)^n &\equiv\begin{cases}p^{2r}\ \pmod{p^{r+4}} &\tt{if}\ r\leq4, \\0\ \pmod{p^{r+4}} &\tt{if}\ r \geq5. \end{cases} \end{align*}


title: Effect of Branching on Phase Behaviors of ABC Triblock Copolymers in Nonfrustrated Systems

abstract: The phase behavior of linear dendritic triblock copolymer melts(AB2C4) is studied by self-consistent-field theory (SCFT) in order to find the effects of branching on the phase behavior of ABC linear triblock copolymer melts. We focus on a nonfrustrated parameters that \c{hi}NAB=\c{hi}NBC=\c{hi}NAC=40 where A/C interface will not form. Frank-Kasper phases, asymmetric alternative sphere as well as traditional phases observed in diblock copolymer melts are found to be stable in the calculation.


title: Fermi-L\"owdin orbital self-interaction correction using the strongly constrained and appropriately normed meta-GGA functional

abstract: Despite the success of density functional approximations (DFAs) in describing the electronic properties of many-electron systems, the most widely used approximations suffer from self-interaction errors (SIE) that limit their predictive power. Here we describe the effects of removing SIE from the strongly constrained and appropriately normed (SCAN) meta-generalized gradient approximation (GGA) using the Fermi-Lowdin Orbital Self-Interaction Correction (FLOSIC) method. FLOSIC is a size-extensive implementation of the Perdew-Zunger self-interaction correction (PZ-SIC) formalism. We find that FLOSIC-SCAN calculations require careful treatment of numerical details and describe an integration grid that yields reliable accuracy with this approach. We investigate the performance of FLOSIC-SCAN for predicting a wide array of properties and find that it provides better results than FLOSIC-LDA and FLOSIC-PBE in nearly all cases. It also gives better predictions than SCAN for orbital energies and dissociation energies where self-interaction effects are known to be important, but total energies and atomization energies are made worse. For these properties, we also investigate the use of the self-consistent FLOSIC-SCAN density in the SCAN functional and find that this DFA@FLOSIC-DFA approach yields improved results compared to pure, self-consistent SCAN calculations. Thus FLOSIC-SCAN provides improved results over the parent SCAN functional in cases where SIEs are dominant, and even when they are not, if the SCAN@FLOSIC-SCAN method is used.


title: Steady-state Phase Diagram of a Weakly Driven Chiral-coupled Atomic Chain

abstract: A chiral-coupled atomic chain of two-level quantum emitters allows strong resonant dipole-dipole interactions, which enables significant collective couplings between every other emitters. We numerically obtain the steady-state phase diagram of such system under weak excitations, where interaction-driven states of crystalline orders, edge or hole excitations, and dichotomy of chiral flow are identified. We distinguish these phases by participation ratios and structure factors, and find two critical points which relate to decoherence-free subradiant sectors of the system. We further investigate the transport of excitations and emergence of crystalline orders under spatially-varying excitation detunings, and present non-ergodic butterfly-like system dynamics in the phase of extended hole excitations with a signature of persistent subharmonic oscillations. Our results demonstrate the interaction-induced quantum phases of matter with chiral couplings, and pave the way toward simulations of many-body states in nonreciprocal quantum optical systems.


title: A $6$-chromatic two-distance graph in the plane

abstract: We prove that if one colors each point of the Euclidean plane with one of five colors, then there exist two points of the same color that are either distance $1$ or distance $2$ apart.


title: The importance of being measurement

abstract: Energy exchanges under form of heat is neither the most natural or efficient way to operate an engine in the quantum realm. Recently there have been in the literature several proposals for "quantum measurement engines" where energy is fed into the machine by operations which otherwise would be conducive to quantum measurements on the working substance (henceforth "the system"). In the analysis of the working of these devices, oftentimes it is assumed that the only effect of measurement is to turn the state of the system from whatever prior state to an eigenstate of the measured property, and energy exchanges are determined therefrom. This ignores the intricacies of the quantum measurement process. We propose a simple model of a quantum measurement engine where the measurement process may be analyzed in detail, and therefore energy exchanges, and limitations on their duration, may be traced more fully.


title: Modelling the health impact of food taxes and subsidies with price elasticities: the case for additional scaling of food consumption using the total food expenditure elasticity

abstract: Background Food taxes and subsidies are one intervention to address poor diets. Price elasticity (PE) matrices are commonly used to model the change in food purchasing. Usually a PE matrix is generated in one setting then applied to another setting with differing starting consumption and prices of foods. This violates econometric assumptions resulting in likely misestimation of total food consumption. We illustrate rescaling all consumption after applying a PE matrix using a total food expenditure elasticity (TFEe, the expenditure elasticity for all food combined given the policy induced change in the total price of food). We use case studies of NZ$2 per 100g saturated fat (SAFA) tax, NZ$0.4 per 100g sugar tax, and a 20% fruit and vegetable (F&V) subsidy. Methods We estimated changes in food purchasing using a NZ PE matrix applied conventionally, then with TFEe adjustment. Impacts were quantified for total food expenditure and health adjusted life years (HALYs) for the total NZ population alive in 2011 over the rest of their lifetime using a multistate lifetable model. Results Two NZ studies gave TFEes of 0.68 and 0.83, with international estimates ranging from 0.46 to 0.90. Without TFEe adjustment, total food expenditure decreased with the tax policies and increased with the F&V subsidy, implausible directions of shift given economic theory. After TFEe adjustment, HALY gains reduced by a third to a half for the two taxes and reversed from an apparent health loss to a health gain for the F&V subsidy. With TFEe adjustment, HALY gains (in 1000s) were 1,805 (95% uncertainty interval 1,337 to 2,340) for the SAFA tax, 1,671 (1,220 to 2,269) for the sugar tax, and 953 (453 to 1,308) for the F&V subsidy. Conclusions If PE matrices are applied in settings beyond where they were derived, additional scaling is likely required. We suggest that the TFEe is a useful scalar.


title: Towards Zero-resource Cross-lingual Entity Linking

abstract: Cross-lingual entity linking (XEL) grounds named entities in a source language to an English Knowledge Base (KB), such as Wikipedia. XEL is challenging for most languages because of limited availability of requisite resources. However, much previous work on XEL has been on simulated settings that actually use significant resources (e.g. source language Wikipedia, bilingual entity maps, multilingual embeddings) that are unavailable in truly low-resource languages. In this work, we first examine the effect of these resource assumptions and quantify how much the availability of these resource affects overall quality of existing XEL systems. Next, we propose three improvements to both entity candidate generation and disambiguation that make better use of the limited data we do have in resource-scarce scenarios. With experiments on four extremely low-resource languages, we show that our model results in gains of 6-23% in end-to-end linking accuracy.


title: Syntomic complexes of F-crystals and Tamagawa number conjecture in characteristic p, with Appendix by Arthur Ogus

abstract: We consider syntomic complexes of uniform F-crystals and relate them to Tamagawa number conjecture in characteristic p


title: Construction of a pathway map on a complicated energy landscape

abstract: How do we search for the entire family tree without unwanted random guesses, starting from a high-index and high-energy stationary state on the energy landscape? Here we introduce a general numerical method that constructs the pathway map clearly connecting all stationary points branched from a single parent state. The map guides our understanding of how a physical system moves on the energy landscape. In particular, the method allows us to identify the transition state between energy minima and the energy barrier associated with such a state. As an example, we solve the Landau-de Gennes energy incorporating the Dirichlet boundary conditions to model a liquid crystal confined in square box; we illustrate the basic concepts by examining the multiple stationary solutions and the connected pathway maps of the model.


title: Query-Specific Knowledge Summarization with Entity Evolutionary Networks

abstract: Given a query, unlike traditional IR that finds relevant documents or entities, in this work, we focus on retrieving both entities and their connections for insightful knowledge summarization. For example, given a query "computer vision" on a CS literature corpus, rather than returning a list of relevant entities like "cnn", "imagenet" and "svm", we are interested in the connections among them, and furthermore, the evolution patterns of such connections along particular ordinal dimensions such as time. Particularly, we hope to provide structural knowledge relevant to the query, such as "svm" is related to "imagenet" but not "cnn". Moreover, we aim to model the changing trends of the connections, such as "cnn" becomes highly related to "imagenet" after 2010, which enables the tracking of knowledge evolutions. In this work, to facilitate such a novel insightful search system, we propose \textsc{SetEvolve}, which is a unified framework based on nonparanomal graphical models for evolutionary network construction from large text corpora. Systematic experiments on synthetic data and insightful case studies on real-world corpora demonstrate the utility of \textsc{SetEvolve}.


title: Towards Automatic Bot Detection in Twitter for Health-related Tasks

abstract: With the increasing use of social media data for health-related research, the credibility of the information from this source has been questioned as the posts may originate from automated accounts or "bots". While automatic bot detection approaches have been proposed, there are none that have been evaluated on users posting health-related information. In this paper, we extend an existing bot detection system and customize it for health-related research. Using a dataset of Twitter users, we first show that the system, which was designed for political bot detection, underperforms when applied to health-related Twitter users. We then incorporate additional features and a statistical machine learning classifier to significantly improve bot detection performance. Our approach obtains F_1 scores of 0.7 for the "bot" class, representing improvements of 0.339. Our approach is customizable and generalizable for bot detection in other health-related social media cohorts.


title: Discovery of a spatially extended GeV source in the vicinity of the TeV halo candidate 2HWC J1912+099: a TeV halo or supernova remnant ?

abstract: Observations by HAWC and Milagro have detected spatially extended TeV sources surrounding middle-aged ($t\sim100-400 \,{\rm kyr}$) pulsars like Geminga and PSR B0656+14, which have been named "TeV Halos", representing very extended TeV pulsar wind nebulae (PWNe) powered by relatively old pulsars. A few more HAWC-detected sources have been suggested to be TeV halo candidates. In this paper, we search for possible GeV counterparts of three TeV halo candidates with Fermi Large Area Telescopes. We detect a new spatially extended GeV source in the vicinity of the TeV halo candidate 2HWC J1912+099, which is also detected by HESS (HESS J1912+101). We find that the size of the GeV source is significantly larger than that of the TeV emission measured by HESS, and a spatial template characteristic of a PWN can fit the GeV data. We suggest that the GeV source is an extended PWN powered by the central middle-aged pulsar PSR J1913+1011. This discovery favors the TeV halo scenario for the TeV source 2HWC J1912+099 (HESS J1912+101), although the possible shell-like morphology measured by HESS challenges this interpretation. Alternatively, the TeV emission could be dominated by a supernova remnant (SNR) via the hadronic process. Future multi-wavelength observations of the source and more precise measurements of the spatial profile of the TeV emission will be useful to distinguish between the two scenarios.


title: Causal screening for dynamical systems

abstract: Many classical algorithms output graphical representations of causal structures by testing conditional independence among a set of random variables. In dynamical systems, local independence can be used analogously as a testable implication of the underlying data-generating process. We suggest some inexpensive methods for causal screening which provide output with a sound causal interpretation under the assumption of ancestral faithfulness. The popular model class of linear Hawkes processes is used to provide an example of a dynamical causal model. We argue that for sparse causal graphs the output will often be close to complete. We give examples of this framework and apply it to a challenging biological system.


title: Equivalence Relations Between Closed Curves On the Pair of Pants

abstract: We examine an equivalence relation between free homotopy classes of closed curves on the pair of pants known as k-equivalence, a generalization of a concept previously defined by Leininger. We prove that two classes of closed curves on the pair of pants that are k-equivalent must also be 1-equivalent and 2-equivalent. We also examine properties of 1-equivalence on the pair of pants in greater depth.


title: Understanding and Stabilizing GANs' Training Dynamics with Control Theory

abstract: Generative adversarial networks (GANs) are effective in generating realistic images but the training is often unstable. There are existing efforts that model the training dynamics of GANs in the parameter space but the analysis cannot directly motivate practically effective stabilizing methods. To this end, we present a conceptually novel perspective from control theory to directly model the dynamics of GANs in the function space and provide simple yet effective methods to stabilize GANs' training. We first analyze the training dynamic of a prototypical Dirac GAN and adopt the widely-used closed-loop control (CLC) to improve its stability. We then extend CLC to stabilize the training dynamic of normal GANs, where CLC is implemented as a squared $L2$ regularizer on the output of the discriminator. Empirical results show that our method can effectively stabilize the training and obtain state-of-the-art performance on data generation tasks.


title: Learning Sparse Nonparametric DAGs

abstract: We develop a framework for learning sparse nonparametric directed acyclic graphs (DAGs) from data. Our approach is based on a recent algebraic characterization of DAGs that led to a fully continuous program for score-based learning of DAG models parametrized by a linear structural equation model (SEM). We extend this algebraic characterization to nonparametric SEM by leveraging nonparametric sparsity based on partial derivatives, resulting in a continuous optimization problem that can be applied to a variety of nonparametric and semiparametric models including GLMs, additive noise models, and index models as special cases. Unlike existing approaches that require specific modeling choices, loss functions, or algorithms, we present a completely general framework that can be applied to general nonlinear models (e.g. without additive noise), general differentiable loss functions, and generic black-box optimization routines. The code is available at https://github.com/xunzheng/notears.


title: The normal reduction number of two-dimensional cone-like singularities

abstract: Let $(A, \mathfrak m)$ be a normal two-dimensional local ring and $I$ an $\mathfrak m$-primary integrally closed ideal with a minimal reduction $Q$. Then we calculate the numbers: $\mathrm{nr}(I) = \min\{n \;|\; \overline{I^{n+1}} = Q\overline{I^n}\}, \quad \bar{r}(I) = \min\{n \;|\; \overline{I^{N+1}} = Q\overline{I^N}, \forall N\ge n\}$, $\mathrm{nr}(A)$, and $\bar{r}(A)$, where $\mathrm{nr}(A)$ (resp. $\bar{r}(A)$) is the maximum of $\mathrm{nr}(I)$ (resp. $\bar{r}(I)$) for all $\mathfrak m$-primary integrally closed ideals $I\subset A$. Then we have that $\bar{r}(A) \le p_g(A) + 1$, where $p_g(A)$ is the geometric genus of $A$. In this paper, we give an upper bound of $\bar{r}(A)$ when $A$ is a cone-like singularity (which has a minimal resolution whose exceptional set is a single smooth curve) and show, in particular, if $A$ is a hypersurface singularity defined by a homogeneous polynomial of degree $d$, then $\bar{r}(A)= \mathrm{nr}(\mathfrak m) = d-1$. Also we give an example of $A$ and $I$ so that $\mathrm{nr}(I) = 1$ but $\bar{r}(I)= \bar{r}(A) = p_g(A) +1=g+1$ for every integer $g \ge 2$.


title: Nonlinear Floquet dynamics of spinor condensates in an optical cavity: Cavity-amplified parametric resonance

abstract: We investigate Floquet dynamics of a cavity-spinor Bose-Einstein condensate coupling system via periodic modulation of the cavity pump laser. Parametric resonances are predicted and we show that due to cavity feedback-induced nonlinearity the spin oscillation can be amplified to all orders of resonance, thus facilitating its detection. Real-time observation on Floquet dynamics via cavity output is also discussed.


title: Semi-classical limit of quantum free energy minimizers for the gravitational Hartree equation

abstract: For the gravitational Vlasov-Poisson equation, Guo and Rein constructed a class of classical isotropic states as minimizers of free energies (or energy-Casimir functionals) under mass constraints. For the quantum counterpart, that is, the gravitational Hartree equation, isotropic states are constructed as free energy minimizers by Aki, Dolbeault and Sparber. In this paper, we are concerned with the correspondence between quantum and classical isotropic states. Precisely, we prove that as the Planck constant $\hbar$ goes to zero, free energy minimizers for the Hartree equation converge to those for the Vlasov-Poisson equation in terms of potential functions as well as via the Husimi transform and the T\"oplitz quantization.


title: Gated Task Interaction Framework for Multi-task Sequence Tagging

abstract: Recent studies have shown that neural models can achieve high performance on several sequence labelling/tagging problems without the explicit use of linguistic features such as part-of-speech (POS) tags. These models are trained only using the character-level and the word embedding vectors as inputs. Others have shown that linguistic features can improve the performance of neural models on tasks such as chunking and named entity recognition (NER). However, the change in performance depends on the degree of semantic relatedness between the linguistic features and the target task; in some instances, linguistic features can have a negative impact on performance. This paper presents an approach to jointly learn these linguistic features along with the target sequence labelling tasks with a new multi-task learning (MTL) framework called Gated Tasks Interaction (GTI) network for solving multiple sequence tagging tasks. The GTI network exploits the relations between the multiple tasks via neural gate modules. These gate modules control the flow of information between the different tasks. Experiments on benchmark datasets for chunking and NER show that our framework outperforms other competitive baselines trained with and without external training resources.


title: Identifying significant edges via neighborhood information

abstract: Heterogeneous nature of real networks implies that different edges play different roles in network structure and functions, and thus to identify significant edges is of high value in both theoretical studies and practical applications. We propose the so-called second-order neighborhood (SN) index to quantify an edge's significance in a network. We compare SN index with many other benchmark methods based on 15 real networks via edge percolation. Results show that the proposed SN index outperforms other well-known methods.


title: Infinite-step stationarity of rotor walk and the wired spanning forest

abstract: We study rotor walk, a deterministic counterpart of the simple random walk, on infinite transient graphs. We show that the final rotor configuration of the rotor walk follows the law of the wired uniform spanning forest oriented toward infinity (OWUSF) measure when the initial rotor configuration is sampled from OWUSF. This result holds for all graphs for which each tree in the wired spanning forest has one single end almost surely. This answers a question posed in a previous work of the author (Chan 2018).


title: Policy Message Passing: A New Algorithm for Probabilistic Graph Inference

abstract: A general graph-structured neural network architecture operates on graphs through two core components: (1) complex enough message functions; (2) a fixed information aggregation process. In this paper, we present the Policy Message Passing algorithm, which takes a probabilistic perspective and reformulates the whole information aggregation as stochastic sequential processes. The algorithm works on a much larger search space, utilizes reasoning history to perform inference, and is robust to noisy edges. We apply our algorithm to multiple complex graph reasoning and prediction tasks and show that our algorithm consistently outperforms state-of-the-art graph-structured models by a significant margin.


title: Effective $J$-factors for Milky Way dwarf spheroidal galaxies with velocity-dependent annihilation

abstract: We calculate the effective $J$-factors, which determine the strength of indirect detection signals from dark matter annihilation, for 25 dwarf spheroidal galaxies (dSphs). We consider several well-motivated assumptions for the relative velocity dependence of the dark matter annihilation cross section: $\sigma_A v$: $s$-wave (velocity independent), $p$-wave ($\sigma_A v \propto v^2$), $d$-wave ($\sigma_A v \propto v^4$), and Sommerfeld-enhancement in the Coulomb limit ($\sigma_A v \propto 1/v$). As a result we provide the largest and most updated sample of J-factors for velocity-dependent annihilation models. For each scenario, we use Fermi-LAT gamma-ray data to constrain the annihilation cross section. Due to the assumptions made in our gamma-ray data analysis, our bounds are comparable to previous bounds on both the $p$-wave and Sommerfeld-enhanced cross sections using dSphs. Our bounds on the $d$-wave cross section are the first such bounds using indirect detection data.


title: Analyzing the gamma-ray activity of neutrino emitter candidates: comparing TXS 0506+056 with other blazars

abstract: On 22nd of September 2017 the IceCube collaboration sent an alert for an EHE (Extreme High Energy) event, corresponding to the reconstruction of a muonic neutrino (IC-170922A) with energy $\sim 290$ TeV. A multi-wavelength follow-up campaign associated this neutrino event with a gamma-ray flaring state of the BL Lac TXS 0506+056 located at z=0.3365. From the same position of the sky a muonic neutrino excess is observed in a time window of 110 days around 13th of December 2014. These observations together suggest TXS 0506+056 as a possible neutrino emitter. We report here a long term gamma-ray monitoring of this source and we compare it with other blazars spatially correlated with astrophysical muonic neutrino events observed by IceCube. We characterise the most significant gamma-ray flares of the blazars in the sample and introduce the blazar duty cycle as an important parameter to be considered when assessing a possible neutrino counterpart. For the selected blazars we show the expected neutrino flux variability with different time binning assuming the gamma-rays observed by Fermi-LAT as a product of a leptohadronic emission scenario. The neutrino expectations from the blazar sample are then compared with the IceCube discovery flux searching for the optimal time bin in a multi-messenger context. This analysis indicates that the detection of a single flare represents a challenge for a single cubic kilometer detector, underlining the importance of increasing the size of current neutrino telescopes and obtaining a good monitoring of the entire sky through a global neutrino network.


title: Experimental identification of electric dipoles induced by magnetic monopoles in Tb2Ti2O7

abstract: The fundamental principles of electrodynamics allow an electron carrying both electric monopole (charge) and magnetic dipole (spin) but prohibit its magnetic counterpart. Recently it was predicted that the magnetic "monopoles" carrying emergent magnetic charges in spin ice systems can induce electric dipoles. The inspiring prediction offers a novel way to study magnetic monopole excitations and magnetoelectric coupling. However, no clear example has been identified up to now. Here, we report the experimental evidence for electric dipoles induced by magnetic monopoles in spin frustrated Tb2Ti2O7. The magnetic field applied to pyrochlore Tb2Ti2O7 along [111] direction, brings out a "3-in-1-out" magnetic monopole configuration, and then induces a subtle structural phase transition at Hc~2.3 T. The transition is evidenced by the non-linear phonon splitting under magnetic fields and the anomalous crystal-field excitations of Tb3+ ions. The observations consistently point to the displacement of the oxygen O" anions along [111] axis which gives rise to the formation of electric dipoles. The finding demonstrates that the scenario of magnetic monopole having both magnetic charge and electric dipole is realized in Tb2Ti2O7 and sheds light into the coupling between electricity and magnetism of magnetic monopoles in spin frustrated systems.


title: Shape Analysis via Functional Map Construction and Bases Pursuit

abstract: We propose a method to simultaneously compute scalar basis functions with an associated functional map for a given pair of triangle meshes. Unlike previous techniques that put emphasis on smoothness with respect to the Laplace--Beltrami operator and thus favor low-frequency eigenfunctions, we aim for a spectrum that allows for better feature matching. This change of perspective introduces many degrees of freedom into the problem which we exploit to improve the accuracy of our computed correspondences. To effectively search in this high dimensional space of solutions, we incorporate into our minimization state-of-the-art regularizers. We solve the resulting highly non-linear and non-convex problem using an iterative scheme via the Alternating Direction Method of Multipliers. At each step, our optimization involves simple to solve linear or Sylvester-type equations. In practice, our method performs well in terms of convergence, and we additionally show that it is similar to a provably convergent problem. We show the advantages of our approach by extensively testing it on multiple datasets in a few applications including shape matching, consistent quadrangulation and scalar function transfer.


title: A field-split preconditioning technique for fluid-structure interaction problems with applications in biomechanics

abstract: We present a novel preconditioning technique for Krylov subspace algorithms to solve fluid-structure interaction (FSI) linearized systems arising from finite element discretizations. An outer Krylov subspace solver preconditioned with a geometric multigrid (GMG) algorithm is used, where for the multigrid level sub-solvers, a field-split (FS) preconditioner is proposed. The block structure of the FS preconditioner is derived using the physical variables as splitting strategy. To solve the subsystems originated by the FS preconditioning, an additive Schwarz (AS) block strategy is employed. The proposed field-split preconditioner is tested on biomedical FSI applications. Both 2D and 3D simulations are carried out considering aneurysm and venous valve geometries. The performance of the FS preconditioner is compared with that of a second preconditioner of pure domain decomposition type.


title: An Algorithmic Approach To Solving B = BCX + YAB Using Quotient Spaces

abstract: One well-known necessary and sufficient condition for equality in the Frobenius rank inequality due to Tian and Styan is that the matrix equation B = BCX + YAB be solvable for X and Y. We develop an algorithm to construct the matrices X and Y using a quotient space formulation of the Frobenius rank inequality, and provide several necessary and sufficient conditions for solvability.


title: Learning transport cost from subset correspondence

abstract: Learning to align multiple datasets is an important problem with many applications, and it is especially useful when we need to integrate multiple experiments or correct for confounding. Optimal transport (OT) is a principled approach to align datasets, but a key challenge in applying OT is that we need to specify a transport cost function that accurately captures how the two datasets are related. Reliable cost functions are typically not available and practitioners often resort to using hand-crafted or Euclidean cost even if it may not be appropriate. In this work, we investigate how to learn the cost function using a small amount of side information which is often available. The side information we consider captures subset correspondence -- i.e. certain subsets of points in the two data sets are known to be related. For example, we may have some images labeled as cars in both datasets; or we may have a common annotated cell type in single-cell data from two batches. We develop an end-to-end optimizer (OT-SI) that differentiates through the Sinkhorn algorithm and effectively learns the suitable cost function from side information. On systematic experiments in images, marriage-matching and single-cell RNA-seq, our method substantially outperform state-of-the-art benchmarks.


title: Clustering Strategies of Cooperative Adaptive Cruise Control: Impacts on Human-driven Vehicles

abstract: As a promising application of connected and automated vehicles (CAVs), Cooperative Adaptive Cruise Control (CACC) is expected to be deployed on the public road in the near term. Thus far the majority of the CACC studies have been focusing on the overall network performance with limited insight on the potential impact of CAVs on human-driven vehicles (HVs). This paper aims to quantify the influence of CAVs on HVs by studying the high-resolution vehicle trajectory data that is obtained from microscopic simulation. Two clustering strategies for CACC are implemented: an ad hoc coordination one and a local coordination one. Results show that the local coordination outperforms the ad hoc coordination across all tested market penetration rates (MPRs) in terms of network throughput and productivity. The greatest performance difference between the two strategies is observed at 30% and 40% MPR for throughput and productivity, respectively. However, the distributions of the hard braking observations (as a potential safety impact) for HVs change significantly under local coordination strategy. Regardless of the clustering strategy, CAVs increase the average lane change frequency for HVs. 30% MPR is the break-even point for local coordination, after which the average lane change frequency decreases from the peak 5.42 to 5.38. Such inverse relationship to MPR is not found in the ah hoc case and the average lane change frequency reaches the highest 5.48 at 40% MPR.


title: Thermodynamic entropy as a Noether invariant in a Langevin equation

abstract: We study the thermodynamic entropy as a Noether invariant in a stochastic process. Following the Onsager theory, we consider the Langevin equation for a thermodynamic variable in a thermally isolated system. By analyzing the Martin-Siggia-Rose-Janssen-de Dominicis action of the Langevin equation, we find that this action possesses a continuous symmetry in quasi-static processes, which leads to the thermodynamic entropy as the Noether invariant for the symmetry.


title: Gyratory Shearing Compaction of Granular Materials

abstract: In this letter, instead of investigating the compaction of granular materials under tapping or cyclic shearing, we focused more on the gyratory shearing compaction, where particles are subjected to constant pressure and shear rate continuously. Such a phenomenon is crucial to the compaction of asphalt mixtures or soil in civil engineering and can be extended to other areas, such as powder processing and pharmaceutical engineering. In this study, we found that the gyratory speed or interstitial fluid viscosity has almost no impact on the compaction behavior, while the pressure plays a more important role. Additionally, it is the inertial time scale which dictates the compaction behavior under gyratory shearing in most cases, whereas the viscous time scale can also have influence in some conditions.


title: Accurate water properties from an efficient ab-initio method

abstract: Accurate prediction of the water properties from a low-cost ab-initio method still a foremost problem for chemists and physicist. Though density functional approaches starting from semilocal to hybrid functionals are tested, those are not efficiently performed for all the properties together, especially, considering energies, conformal ranking, structural and dynamics of water. Also, the inclusion of the long-range van der Waals (vdW) interaction does not improve the ordering stability of isomer. However, relying on the simple revision of the Tao-Mo (revTM) semilocal meta-generalized gradient approximations, we demonstrate that all properties of the water can be accurately predicted. A consistent improvement over several popular ab-initio methods is achieved, indicating the accuracy of this method for describing hydrogen bonding of water.


title: Morphic words, Beatty sequences and integer images of the Fibonacci language

abstract: Morphic words are letter-to-letter images of fixed points $x$ of morphisms on finite alphabets. There are situations where these letter-to-letter maps do not occur naturally, but have to be replaced by a morphism. We call this a decoration of $x$. Theoretically, decorations of morphic words are again morphic words, but in several problems the idea of decorating the fixed point of a morphism is useful. We present two of such problems. The first considers the so called $AA$ sequences, where $\alpha$ is a quadratic irrational, $A$ is the Beatty sequence defined by $A(n)=\lfloor \alpha n\rfloor$, and $AA$ is the sequence $(A(A(n)))$. The second example considers homomorphic embeddings of the Fibonacci language into the integers, which turns out to lead to generalized Beatty sequences with terms of the form $V(n)=p\lfloor \alpha n\rfloor+qn+r$, where $p,q$ and $r$ are integers.


title: Solar Fast Drifting Radio Bursts in an X1.3 Flare on 2014 April 25

abstract: One of the most important products of solar flares are nonthermal energetic particles which may carry up to 50\% energy releasing in the flaring processes. In radio observations, nonthermal particles generally manifest as spectral fine structures with fast frequency drifting rates, named as solar fast drifting radio bursts (FDRBs). This work demonstrated three types of FDRBs, including type III pair bursts, narrow band stochastic spike bursts following the type III bursts and spike-like bursts superimposed on type II burst in an X1.3 flare on 2014 April 25. We find that although all of them have fast frequency drifting rates, but they are intrinsically different from each other in frequency bandwidth, drifting rate and the statistical distributions. We suggest that they are possibly generated from different accelerating mechanisms. The type III pair bursts may be triggered by high-energy electron beams accelerated by the flaring magnetic reconnection, spike bursts are produced by the energetic electrons accelerated by a termination shock wave triggered by the fast reconnecting plasma outflows impacting on the flaring looptop, and spike-like bursts are possibly generated by the nonthermal electrons accelerated by moving magnetic reconnection triggered by the interaction between CME and the background magnetized plasma. These results may help us to understand the generation mechanism of nonthermal particles and energy release in solar flares.


title: Modeling and Reconstructing Complex Heterogeneous Materials From Lower-Order Spatial Correlation Functions Encoding Topological and Interface Statistics

abstract: The versatile physical properties of heterogeneous materials are intimately related to their complex microstructures, which can be statistically characterized and modelled using various spatial correlation functions containing key structural features of the material's phases. An important related problem is to inversely reconstruct the material microstructure from limited morphological information contained in the correlation functions. Here, we present in details a generalized lattice-point (GLP) method based on the lattice-gas model of heterogeneous materials that efficiently computes a specific correlation function by updating the corresponding function associated with a slightly different microstructure. This allows one to incorporate the widest class of lower-order correlation functions utilized to date, including those encoding topological connectedness information and interface statistics, into the Yeong-Torquato stochastic reconstruction procedure, and thus enables one to obtain much more accurate renditions of virtual material microstructure, to determine the information content of various correlation functions and to select the most sensitive microstructural descriptors for the material of interest. The utility of our GLP method is illustrated by modelling and reconstructing a wide spectrum of random heterogeneous materials, including "clustered" RSA disks, a metal-ceramic composite, a two-dimensional slice of a Fontainebleau sandstone and a binary laser-speckle pattern, among other examples.


title: New Examples of Irreducible Local Diffusion of Hyperbolic PDE's

abstract: Local diffusion of strictly hyperbolic higher-order PDE's with constant coefficients at all simple singularities of corresponding wavefronts can be explained and recognized by only two local geometrical features of these wavefronts. We radically disprove the obvious conjecture extending this fact to arbitrary singularities: namely, we present examples of diffusion at all non-simple singularity classes of generic wavefronts in odd-dimensional spaces, which are not reducible to diffusion at simple singular points.


title: How does the Monte Carlo method work?

abstract: The paper describes the practical work for students visually clarifying the mechanism of the Monte Carlo method applying to approximating the value of Pi. Considering a traditional quadrant (circular sector) inscribed in a square, here we demonstrate the original algorithm for generating random points on the paper: you should arbitrarily tear up a paper blank to small pieces (the first experiment). By the similar way the second experiment (with a preliminary staining procedure by bright colors) can be used to prove the quadratic dependence of the area of a circle on its radius. Manipulations with tearing up a paper as a random sampling algorithm can be applied for solving other teaching problems in physics.


title: Superposition of time-changed Poisson processes and their hitting times

abstract: The Poisson process of order $i$ is a weighted sum of independent Poisson processes and is used to model the flow of clients in different services. In the paper below we study some extensions of this process, for different forms of the weights and also with the time-changed versions, with Bern\v stein subordinator playing the role of time. We focus on the analysis of hitting times of these processes obtaining sometimes explicit distributions. Since all the processes examined display a similar structure with multiple upward jumps sometimes they can skip all states with positive probability even on infinitely long time span.


title: Using the Generalized Collage Theorem for Estimating Unknown Parameters in Perturbed Mixed Variational Equations

abstract: In this paper, we study a mixed variational problem subject to perturbations, where the noise term is modelled by means of a bilinear form that has to be understood to be "small" in some sense. Indeed, we consider a family of such problems and provide a result that guarantees existence and uniqueness of the solution. Moreover, a stability condition for the solutions yields a Generalized Collage Theorem, which extends previous results by the same authors. We introduce the corresponding Galerkin method and study its convergence. We also analyze the associated inverse problem and we show how to solve it by means of the mentioned Generalized Collage Theorem and the use of adequate Schauder bases. Numerical examples show how the method works in a practical context.


title: Energy Stability of Explicit Runge-Kutta Methods for Non-autonomous or Nonlinear Problems

abstract: Many important initial value problems have the property that energy is non-increasing in time. Energy stable methods, also referred to as strongly stable methods, guarantee the same property discretely. We investigate requirements for conditional energy stability of explicit Runge-Kutta methods for nonlinear or non-autonomous problems. We provide both necessary and sufficient conditions for energy stability over these classes of problems. Examples of conditionally energy stable schemes are constructed and an example is given in which unconditional energy stability is obtained with an explicit scheme.


title: Multiferroic metal-PbNb$_{0.12}$Ti$_{0.88}$O$_{3-\delta}$ films on Nb-doped STO

abstract: Ferroelectricity-the switchable intrinsic electric polarization-has not yet been attained in a metal experimentally and is in fact generally deemed irreconcilable with free carriers, although polar metal has been achieved recently. Multiferroic metal has never even been proposed though multiferroics have been widely investigated. Here we report a room-temperature coexistence of multiferroicity and metallic behavior in PbNb0.12Ti0.88O3-delta films. The oxygen-vacancy-induced electrons become delocalized and ameliorate the ferromagnetic properties of these films, whereas they fail to vanish the polar displacements nor the individual dipole in each unit cell. This concurrent appearance of multiferroicity and metallicity is also confirmed by our first-principles calculation performed on 12.5% Nb-doped PbTiO3 with oxygen vacancies. These findings break a path to multiferroic metallic materials and offer a potential application for multiferroic spintronic devices.


title: $r$-wise fractional $L$-intersecting family

abstract: Let $L = \{\frac{a_1}{b_1}, \ldots , \frac{a_s}{b_s}\}$, where for every $i \in [s]$, $\frac{a_i}{b_i} \in [0,1)$ is an irreducible fraction. Let $\mathcal{F} = \{A_1, \ldots , A_m\}$ be a family of subsets of $[n]$. We say $\mathcal{F}$ is a \emph{r-wise fractional $L$-intersecting family} if for every distinct $i_1,i_2, \ldots,i_r \in [m]$, there exists an $\frac{a}{b} \in L$ such that $|A_{i_1} \cap A_{i_2} \cap \ldots \cap A_{i_r}| \in \{ \frac{a}{b}|A_{i_1}|, \frac{a}{b} |A_{i_2}|,\ldots, \frac{a}{b} |A_{i_r}| \}$. In this paper, we introduce and study the notion of r-wise fractional $L$-intersecting families. This is a generalization of notion of fractional $L$-intersecting families studied in [Niranjan et.al, Fractional $L$-intersecting families, The Electronic Journal of Combinatorics, 2019].


title: Determining monotonic step-equal sequences of any limited length in the Collatz problem

abstract: This paper proposes a formula expression for the well-known Collatz conjecture (or 3x+1 problem), which can pinpoint all the growth points in the orbits of the Collatz map for any natural numbers. The Collatz map $Col: \mathcal{N}+1 \rightarrow \mathcal{N}+1$ on the positive integers is defined as $x_{n+1}=Col(x_n)=(3 x_n +1)/2^{m_n}$ where $x_{n+1}$ is always odd and $m_n$ is the step size required to eliminate any possible even values. The Collatz orbit for any positive integer, $x_1$, is expressed by a sequence, $<x_1$; $x_2\doteq Col(x_1)$; $\cdots$ $x_{n+1}\doteq Col(x_n)$; $\cdots>$ and $x_n$ is defined as a growth point if $Col(x_n)>x_n$ holds, and we show that every growth point is in a format of ``$4y+3$'' where $y$ is any natural number. Moreover, we derive that, for any given positive integer $n$, there always exists a natural number, $x_1$, that starts a monotonic increasing or decreasing Collatz sequence of length $n$ with the same step size. For any given positive integer $n$, a class of orbits that share the same orbit rhythm of length $n$ can also be determined.


title: Tunable parametric amplification of a graphene nanomechanical resonator in the nonlinear regime

abstract: Parametric amplification is widely used in nanoelectro-mechanical systems to enhance the transduced mechanical signals. Although parametric amplification has been studied in different mechanical resonator systems, the nonlinear dynamics involved receives less attention. Taking advantage of the excellent electrical and mechanical properties of graphene, we demonstrate electrical tunable parametric amplification using a doubly clamped graphene nanomechanical resonator. By applying external microwave pumping with twice the resonant frequency, we investigate parametric amplification in the nonlinear regime. We experimentally show that the extracted coefficient of the nonlinear Duffing force {\alpha} and the nonlinear damping coefficient {\eta} vary as a function of external pumping power, indicating the influence of higher-order nonlinearity beyond the Duffing (~x^3) and van der Pol (~x^2 dx/dt) types in our device. Even when the higher-order nonlinearity is involved, parametric amplification still can be achieved in the nonlinear regime. The parametric gain increases and shows a tendency of saturation with increasing external pumping power. Further, the parametric gain can be electrically tuned by the gate voltage with a maximum gain of 10.2 dB achieved at the gate voltage of 19 V. Our results will benefit studies on nonlinear dynamics, especially nonlinear damping in graphene nanomechanical resonators that has been debated in the community over past decade.


title: On a theorem of Ledermann and Neumann

abstract: We give a short and self-contained proof of a theorem of Ledermann and Neumann stating that there are only finitely many finite groups with a given number of automorphisms. We also discuss the history of related conjectures.


title: Optimal Delivery with Budget Constraint in E-Commerce Advertising

abstract: Online advertising in E-commerce platforms provides sellers an opportunity to achieve potential audiences with different target goals. Ad serving systems (like display and search advertising systems) that assign ads to pages should satisfy objectives such as plenty of audience for branding advertisers, clicks or conversions for performance-based advertisers, at the same time try to maximize overall revenue of the platform. In this paper, we propose an approach based on linear programming subjects to constraints in order to optimize the revenue and improve different performance goals simultaneously. We have validated our algorithm by implementing an offline simulation system in Alibaba E-commerce platform and running the auctions from online requests which takes system performance, ranking and pricing schemas into account. We have also compared our algorithm with related work, and the results show that our algorithm can effectively improve campaign performance and revenue of the platform.


title: AM-unbounded norm compact operators on Banach lattices

abstract: In this paper, we introduce and study a new classes of operators, named AM-unbounded norm compact operators. We study the the basic properties of the new operator and we investigate the lattice-order and topology property of the operator space of AM-unbounded norm compact operator.


title: IBRS: An Efficient Identity-based Batch Verification Scheme for VANETs Based on Ring Signature

abstract: Vehicular ad-hoc networks (VANETs) are one of the most important components in an Intelligent Transportation System (ITS), which aims to provide information communication between vehicles. A safety-critical vehicular communication requires security, privacy, auditability, and efficiency. To satisfy these requirements simultaneously, several conditional privacy-preserving authentication schemes are proposed by employing ring signature. However, these methods have been paid too little attention to the issues like \textit{how to choose the valid ring members} or \textit{how to set up a ring}. In this paper, we introduce an efficient conditional privacy-preserving scheme which provides an appropriate approach establishing the list of ring members. Moreover, our proposed scheme also supports batch verification to significantly reduce the computational cost. According to the analysis of security, our scheme is sufficiently resistant against several common attacks in VANETs. The performance results show that the proposed scheme is efficient and practical with both low computation and communication cost.


title: Experimental observation of non-reciprocal band-gaps in a space-time modulated beam using a shunted piezoelectric array

abstract: In this work we experimentally achieve 1 kHz-wide directional band-gaps for elastic waves spanning a frequency range from approximately 8 to 11 kHz. One-way propagation is induced by way of a periodic waveguide consisting in an aluminum beam partially covered by a tightly packed array of piezoelectric patches. The latter are connected to shunt circuits and switches which allow for a periodic modulation in time of the cell properties. A traveling stiffness profile is obtained by opportunely phasing the temporal modulation of each active element, mimicking the propagation of a plane wave along the material, therefore establishing unidirectional wave propagation at bandgap frequencies.


title: Finite Temperature Behaviors of q-deformed Fermi Gases

abstract: During the last three decades, non-standard statistics for indistinguishable quantum particles has attracted broad attentions and research interests from many institutions. Among these new types of statistics, the q-deformed Bose and Fermi statistics, originated from the study of quantum algebra, are being applied in more and more physical systems. In this paper, we construct a q-deformed generalization of the BCS-Leggett theory for ultracold Fermi gases based on our previously constructed q-deformed BCS theory. Some interesting features of this q-deformed interacting quantum gas are obtained by numerical analysis. For example, in the ordinary Bose-Einstein Condensation regime, the gas presents a fermionic feature instead of bosonic feature if the deformation parameter is tuned suitably, which might be referred to as the q-induced ``Bose-Fermi'' crossover. Conversely, a weak sign of the ``Fermi-Bose'' crossover is also found in the ordinary weak fermionic regime.


title: PolarMask: Single Shot Instance Segmentation with Polar Representation

abstract: In this paper, we introduce an anchor-box free and single shot instance segmentation method, which is conceptually simple, fully convolutional and can be used as a mask prediction module for instance segmentation, by easily embedding it into most off-the-shelf detection methods. Our method, termed PolarMask, formulates the instance segmentation problem as instance center classification and dense distance regression in a polar coordinate. Moreover, we propose two effective approaches to deal with sampling high-quality center examples and optimization for dense distance regression, respectively, which can significantly improve the performance and simplify the training process. Without any bells and whistles, PolarMask achieves 32.9% in mask mAP with single-model and single-scale training/testing on challenging COCO dataset. For the first time, we demonstrate a much simpler and flexible instance segmentation framework achieving competitive accuracy. We hope that the proposed PolarMask framework can serve as a fundamental and strong baseline for single shot instance segmentation tasks. Code is available at: github.com/xieenze/PolarMask.


title: Large piezoelectric coefficients combined with high electron mobilities in Janus monolayer XTeI (X=Sb and Bi): a first-principle study

abstract: The absence of both the inversion symmetry and out-of-plane mirror symmetry together with spin-orbit coupling (SOC) can induce novel electronic and piezoelectric properties. In this work, the piezoelectric properties along with carrier mobilities of Janus monolayer XTeI (X=Sb and Bi) are studied by density functional theory (DFT). By using generalized gradient approximation (GGA) plus SOC, they are found to be indirect gap semiconductors with the Rashba spin splitting. The piezoelectric tensors of Janus monolayer XTeI (X=Sb and Bi) are reported by using density functional perturbation theory (DFPT). Due to lacking both the inversion symmetry and out-of-plane mirror symmetry for Janus monolayer XTeI (X=Sb and Bi), both in-plane and out-of-plane piezoelectric effects can be observed, and the large piezoelectric coefficients are predicted (e.g. $d_{11}$=12.95 pm/V for SbTeI and $d_{11}$=8.20 pm/V for BiTeI), which are comparable and even higher than ones of many other two-dimensional (2D) materials and other well-known bulk piezoelectric materials, especially for out-of-plane piezoelectric coefficients. With GGA+SOC, the high electron carrier mobilities are obtained, and the electron mobility of BiTeI along armchair direction reaches up to about 1319 $\mathrm{cm^2V^{-1}s^{-1}}$. The carrier mobility shows a rather pronounced anisotropy between electron and hole/armchair and zigzag directions. It is found that tensile strain can improve the piezoelectric coefficients $d_{11}$ of Janus monolayer XTeI (X=Sb and Bi). For example, at 4\% strain, the $d_{11}$ of SbTeI (BiTeI) is up to 20.12 pm/V (11.48 pm/V), compared with unstrained 12.95 pm/V (8.20 pm/V). Our works imply Janus monolayer XTeI (X=Sb and Bi) have potential applications in flexible electronics and piezoelectric devices, and can stimulate further experimental works.


title: Fast Computation of the Direct Scattering Transform by Fourth Order Conservative Multi-Exponential Scheme

abstract: A fourth-order multi-exponential scheme is proposed for the Zakharov-Shabat system. The scheme represents a product of 13 exponential operators. The construction of the scheme is based on a fourth-order three-exponential scheme, which contains only one exponent with a spectral parameter. This exponent is factorized to the fourth-order with the Suzuki formula of 11 exponents. The obtained scheme allows the use of a fast algorithm in calculating the initial problem for a large number of spectral parameters and conserves the quadratic invariant exactly for real spectral parameters.


title: Transurethral ultrasound therapy of the prostate in the presence of calcifications: A simulation study

abstract: Purpose: Transurethral ultrasound therapy is an investigational treatment modality which could potentially be used for the localized treatment of prostate cancer. One of the limiting factors of this therapy is prostatic calcifications. These attenuate and reflect ultrasound and thus reduce the efficacy of the heating. The aim of this study is to investigate how prostatic calcifications affect therapeutic efficacy, and to identify the best sonication strategy when calcifications are present. Methods: Realistic computational models were used on clinical patient data in order to simulate different therapeutic situations with naturally occurring calcifications as well as artificial calcifications of different sizes (1-10 mm) and distances (5-15 mm). Furthermore, different sonication strategies were tested in order to deliver therapy to the untreated tissue regions behind the calcifications. Results: The presence of calcifications in front of the ultrasound field was found to increase the peak pressure by 100% on average while the maximum temperature only rose by 9% during a 20-s sonication. Losses in ultrasound energy were due to the relatively large acoustic impedance mismatch between the prostate tissue and the calcifications (1.63 vs 3.20 MRayl) and high attenuation coefficient (0.78 vs 2.64 dB/MHz^1.1/cm), which together left untreated tissue regions behind the calcifications. In addition, elevated temperatures were seen in the region between the transducer and the calcifications. Lower sonication frequencies (1-4 MHz) were not able to penetrate through the calcifications effectively, but longer sonication durations (20-60 s) with selective transducer elements were effective in treating the tissue regions behind the calcifications.


title: Introducing and Applying S.C.E Model under Dusart's Inequality to Prove Goldbach's Strong Conjecture for 72 typical structures out of all 75 structural types of Even Numbers

abstract: In this paper, we present a relative proof for Goldbach's strong conjecture. To this end, we first present a heuristic model for representing even numbers called Semi-continuous Model for Even Numbers or briefly S.C.E Model, and then by using this model we categorize all even numbers into 75 distinct typical structures. Also in this direction, we employ this model along with the following inequality to obtain the relative proof $$\frac{x}{\ln x}\leq_{x\geq 17}\pi(x)\leq_{x>1}1.2251\frac{x}{\ln x}\ ,$$ where $\pi(x)$ denotes the number of all primes smaller than and equal to $x$. This inequality is presented by Pierre Dusart in his paper [P. Dusart, \textit{Explicit estimates of some functions over primes}, Ramanujan J. \textbf{45} (2016), No. 1, 227--251]. In fact, by relative proof we mean that 72 typical structures out of 75 ones satisfy Goldbach's strong conjecture.


title: Test-Time Training with Self-Supervision for Generalization under Distribution Shifts

abstract: In this paper, we propose Test-Time Training, a general approach for improving the performance of predictive models when training and test data come from different distributions. We turn a single unlabeled test sample into a self-supervised learning problem, on which we update the model parameters before making a prediction. This also extends naturally to data in an online stream. Our simple approach leads to improvements on diverse image classification benchmarks aimed at evaluating robustness to distribution shifts.


title: The structure in warm dense carbon

abstract: The structure of the fluid carbon phase in the pressure region of the graphite, diamond, and BC8 solid phase is investigated. We find increasing coordination numbers with an increase in density. From zero to $30$ GPa, the liquid shows a decrease of packing efficiency with increasing temperature. However, for higher pressures, the coordination number increases with increasing temperature. Up to $1.5$ eV and independent of the pressure up to $1000$ GPa, a double-peak structure in the ion structure factors exists, indicating persisting covalent bonds. Over the whole pressure range from zero to $1000$ GPa, the fluid structure and properties are strongly determined by such covalent bonds.


title: Comprehensive feature selection for classifying the treatment outcome of high-intensity ultrasound therapy in uterine fibroids

abstract: The study aim was to utilise multiple feature selection methods in order to select the most important parameters from clinical patient data for high-intensity focused ultrasound (HIFU) treatment outcome classification in uterine fibroids. The study was retrospective using patient data from 66 HIFU treatments with 89 uterine fibroids. A total of 39 features were extracted from the patient data and 14 different filter-based feature selection methods were used to select the most informative features. The selected features were then used in a support vector classification (SVC) model to evaluate the performance of these parameters in predicting HIFU therapy outcome. The therapy outcome was defined as non-perfused volume (NPV) ratio in three classes: <30%, 30-80% or >80%. The ten most highly ranked features in order were: fibroid diameter, subcutaneous fat thickness, fibroid volume, fibroid distance, Funaki type I, fundus location, gravidity, Funaki type III, submucosal fibroid type and urinary symptoms. The maximum F1-micro classification score was 0.63 using the top ten features from Mutual Information Maximisation (MIM) and Joint Mutual Information (JMI) feature selection methods. Classification performance of HIFU therapy outcome prediction in uterine fibroids is highly dependent on the chosen feature set which should be determined prior using different classifiers.


title: Piezoelectric polyvinylidene fluoride-based epoxy composites produced by combined uniaxial compression and poling

abstract: We present a simple, efficient method, which combines uniaxial compression and subsequent poling, to produce piezoelectric polyvinylidene fluoride-based epoxy composites. The values of the piezoelectric factors obtained are slightly higher than those of neat piezoelectric polyvinylidene fluoride. The composites respond rapidly and reach a saturation voltage output, to the application of mechanical stimulus quickly. The composites are promising for the creation of bulk piezoelectric devices, different from the usual stretched films, exploiting the physic-chemical a of the epoxy matrix. The piezoelectric factor d31 versus the mechanical stimulus for the specimens studied, scale according to a double logarithmic representation.


title: A new description of transverse momentum spectra of identified particles produced in proton-proton collisions at high energies

abstract: The transverse momentum spectra of identified particles produced in high energy proton-proton ($p+p$) collisions are empirically described by a new method with the framework of participant quark model or the multisource model at the quark level, in which the source itself is exactly the participant quark. Each participant (constituent) quark contributes to the transverse momentum spectrum, which is described by the TP-like function, a revised Tsallis--Pareto-type function. The transverse momentum spectrum of the hadron is the convolution of two or more TP-like functions. For a lepton, the transverse momentum spectrum is the convolution of two TP-like functions due to two participant quarks, e.g. projectile and target quarks, taking part in the collisions. A discussed theoretical approach seems to describe the $p+p$ collisions data at center-of-mass energy $\sqrt{s}=200$ GeV, 2.76 TeV, and 13 TeV very well.


title: A general Lewis acidic etching route for preparing MXenes with enhanced electrochemical performance in non-aqueous electrolyte

abstract: Two-dimensional carbides and nitrides of transition metals, known as MXenes, are a fast-growing family of 2D materials that draw attention as energy storage materials. So far, MXenes are mainly prepared from Al-containing MAX phases (where A = Al) by Al dissolution in F-containing solution, but most other MAX phases have not been explored. Here, a redox-controlled A-site-etching of MAX phases in Lewis acidic melts is proposed and validated by the synthesis of various MXenes from unconventional MAX phase precursors with A elements Si, Zn, and Ga. A negative electrode of Ti3C2 MXene material obtained through this molten salt synthesis method delivers a Li+ storage capacity up to 738 C g-1 (205 mAh g-1) with high-rate performance and pseudocapacitive-like electrochemical signature in 1M LiPF6 carbonate-based electrolyte. MXene prepared from this molten salt synthesis route offer opportunities as high-rate negative electrode material for electrochemical energy storage applications.