title: Some remarks on the simplicial volume of nonpositively curved manifolds

abstract: We show that any closed manifold with a metric of nonpositive curvature that admits either a single point rank condition or a single point curvature condition has positive simplicial volume. We use this to provide a differential geometric proof of a conjecture of Gromov in dimension three.


title: Scenarios for Development, Test and Validation of Automated Vehicles

abstract: The ISO 26262 standard from 2016 represents the state of the art for a safety-guided development of safety-critical electric/electronic vehicle systems. These vehicle systems include advanced driver assistance systems and vehicle guidance systems. The development process proposed in the ISO 26262 standard is based upon multiple V-models, and defines activities and work products for each process step. In many of these process steps, scenario based approaches can be applied to achieve the defined work products for the development of automated driving functions. To accomplish the work products of different process steps, scenarios have to focus on various aspects like a human understandable notation or a description via time-space variables. This leads to contradictory requirements regarding the level of detail and way of notation for the representation of scenarios. In this paper, the authors present requirements for the representation of scenarios in different process steps defined by the ISO 26262 standard, propose a consistent terminology based on prior publications for the identified levels of abstraction, and demonstrate how scenarios can be systematically evolved along the phases of the development process outlined in the ISO 26262 standard.


title: Deep LOGISMOS: Deep Learning Graph-based 3D Segmentation of Pancreatic Tumors on CT scans

abstract: This paper reports Deep LOGISMOS approach to 3D tumor segmentation by incorporating boundary information derived from deep contextual learning to LOGISMOS - layered optimal graph image segmentation of multiple objects and surfaces. Accurate and reliable tumor segmentation is essential to tumor growth analysis and treatment selection. A fully convolutional network (FCN), UNet, is first trained using three adjacent 2D patches centered at the tumor, providing contextual UNet segmentation and probability map for each 2D patch. The UNet segmentation is then refined by Gaussian Mixture Model (GMM) and morphological operations. The refined UNet segmentation is used to provide the initial shape boundary to build a segmentation graph. The cost for each node of the graph is determined by the UNet probability maps. Finally, a max-flow algorithm is employed to find the globally optimal solution thus obtaining the final segmentation. For evaluation, we applied the method to pancreatic tumor segmentation on a dataset of 51 CT scans, among which 30 scans were used for training and 21 for testing. With Deep LOGISMOS, DICE Similarity Coefficient (DSC) and Relative Volume Difference (RVD) reached 83.2+-7.8% and 18.6+-17.4% respectively, both are significantly improved (p<0.05) compared with contextual UNet and/or LOGISMOS alone.


title: Development of ICA and IVA Algorithms with Application to Medical Image Analysis

abstract: Independent component analysis (ICA) is a widely used BSS method that can uniquely achieve source recovery, subject to only scaling and permutation ambiguities, through the assumption of statistical independence on the part of the latent sources. Independent vector analysis (IVA) extends the applicability of ICA by jointly decomposing multiple datasets through the exploitation of the dependencies across datasets. Though both ICA and IVA algorithms cast in the maximum likelihood (ML) framework enable the use of all available statistical information in reality, they often deviate from their theoretical optimality properties due to improper estimation of the probability density function (PDF). This motivates the development of flexible ICA and IVA algorithms that closely adhere to the underlying statistical description of the data. Although it is attractive minimize the assumptions, important prior information about the data, such as sparsity, is usually available. If incorporated into the ICA model, use of this additional information can relax the independence assumption, resulting in an improvement in the overall separation performance. Therefore, the development of a unified mathematical framework that can take into account both statistical independence and sparsity is of great interest. In this work, we first introduce a flexible ICA algorithm that uses an effective PDF estimator to accurately capture the underlying statistical properties of the data. We then discuss several techniques to accurately estimate the parameters of the multivariate generalized Gaussian distribution, and how to integrate them into the IVA model. Finally, we provide a mathematical framework that enables direct control over the influence of statistical independence and sparsity, and use this framework to develop an effective ICA algorithm that can jointly exploit these two forms of diversity.


title: MmWave Channel Estimation via Atomic Norm Minimization for Multi-User Hybrid Precoding

abstract: To perform multi-user multiple-input and multiple-output transmission in millimeter-wave(mmWave) cellular systems, the high-dimensional channels need to be estimated for designing the multi-user precoder. Conventional grid-based compressed sensing (CS) methods for mmWave channel estimation suffer from the basis mismatch problem, which prevents accurate channel reconstruction and degrades the precoding performance. This paper formulates mmWave channel estimation as an Atomic Norm Minimization (ANM) problem. In contrast to grid-based CS methods which use discrete dictionaries, ANM uses a continuous dictionary for representing the mmWave channel. We consider a continuous dictionary based on sub-sampling in the antenna domain via a small number of radio frequency chains. We show that mmWave channel estimation using ANM can be formulated as a semidefinite programming (SDP) problem, and the user channel can be accurately estimated via off-the-shelf SDP solvers in polynomial time. Simulation results indicate that ANM can achieve much better estimation accuracy compared to grid-based CS, and significantly improves the spectral efficiency provided by multi-user precoding.


title: Eco-Routing based on a Data Driven Fuel Consumption Model

abstract: A nonparametric fuel consumption model is developed and used for eco-routing algorithm development in this paper. Six months of driving information from the city of Ann Arbor is collected from 2,000 vehicles. The road grade information from more than 1,100 km of road network is modeled and the software Autonomie is used to calculate fuel consumption for all trips on the road network. Four different routing strategies including shortest distance, shortest time, eco-routing, and travel-time-constrained eco-routing are compared. The results show that eco-routing can reduce fuel consumption, but may increase travel time. A travel-time-constrained eco-routing algorithm is developed to keep most the fuel saving benefit while incurring very little increase in travel time.


title: Structuring Spreadsheets with the "Lish" Data Model

abstract: A spreadsheet is remarkably flexible in representing various forms of structured data, but the individual cells have no knowledge of the larger structures of which they may form a part. This can hamper comprehension and increase formula replication, increasing the risk of error on both scores. We explore a novel data model (called the "lish") that could form an alternative to the traditional grid in a spreadsheet-like environment. Its aim is to capture some of these higher structures while preserving the simplicity that makes a spreadsheet so attractive. It is based on cells organised into nested lists, in each of which the user may optionally employ a template to prototype repeating structures. These template elements can be likened to the marginal "cells" in the borders of a traditional worksheet, but are proper members of the sheet and may themselves contain internal structure. A small demonstration application shows the "lish" in operation.


title: Proposal for a Quantum Test of the Weak Equivalence Principle with Entangled Atomic Species

abstract: We propose an experiment to test the Weak Equivalence Principle (WEP) with a test mass consisting of two entangled atoms of different species. In the proposed experiment, a coherent measurement of the differential gravity acceleration between the two atomic species is considered, by entangling two atom interferometers operating on the two species. The entanglement between the two atoms is heralded at the initial beam splitter of the interferometers through the detection of a single photon emitted by either of the atoms, together with the impossibility of distinguishing which atom emitted the photon. In contrast to current and proposed tests of the WEP, our proposal explores the validity of the WEP in a regime where the two particles involved in the differential gravity acceleration measurement are not classically independent, but entangled. We propose an experimental implementation using $^{85}$Rb and $^{87}$Rb atoms entangled by a vacuum stimulated rapid adiabatic passage protocol implemented in a high finesse optical cavity. We show that an accuracy below $10^{-7}$ on the E\"otv\"os parameter can be achieved.


title: Probing the tricritical endpoint of QCD phase diagram at NICA-FAIR energies

abstract: In this contributions we discuss the novel version of hadron resonance gas model which is based on the induced surface tension concept. Also we present new arguments in favor of a hypothesis that the chiral symmetry restoration transition in central nuclear collisions may occur at the center of mass energies 4.3-4.9 GeV and that the deconfinement phase transition may occur at the center of mass energies 8.8-9.2 GeV. These arguments are based on the unique thermostatic properties of the mixed phase and the ones of an exponential mass spectrum of hadrons.


title: Theoretical studies of electronic transport in mono- and bi-layer phosphorene: A critical overview

abstract: Recent $\textit{ab initio}$ theoretical calculations of the electrical performance of several two-dimensional materials predict a low-field carrier mobility that spans several orders of magnitude (from 26,000 to 35 cm$^{2}$ V$^{-1}$ s$^{-1}$, for example, for the hole mobility in monolayer phosphorene) depending on the physical approximations used. Given this state of uncertainty, we review critically the physical models employed, considering phosphorene, a group V material, as a specific example. We argue that the use of the most accurate models results in a calculated performance that is at the disappointing lower-end of the predicted range. We also employ first-principles methods to study high-field transport characteristics in mono- and bi-layer phosphorene. For thin multi-layer phosphorene we confirm the most disappointing results, with a strongly anisotropic carrier mobility that does not exceed $\sim$ 30 cm$^{2}$ V$^{-1}$ s$^{-1}$ at 300 K for electrons along the armchair direction.


title: Interactive Diversity Optimization of Environments

abstract: The design of a building requires an architect to balance a wide range of constraints: aesthetic, geometric, usability, lighting, safety, etc. At the same time, there are often a multiplicity of diverse designs that can meet these constraints equally well. Architects must use their skills and artistic vision to explore these rich but highly constrained design spaces. A number of computer-aided design tools use automation to provide useful analytical data and optimal designs with respect to certain fitness criteria. However, this automation can come at the expense of a designer's creative control. We propose uDOME, a user-in-the-loop system for computer-aided design exploration that balances automation and control by efficiently exploring, analyzing, and filtering the space of environment layouts to better inform an architect's decision-making. At each design iteration, uDOME provides a set of diverse designs which satisfy user-defined constraints and optimality criteria within a user defined parameterization of the design space. The user then selects a design and performs a similar optimization with the same or different parameters and objectives. This exploration process can be repeated as many times as the designer wishes. Our user studies indicates that \DOME, with its diversity-based approach, improves the efficiency and effectiveness of even novice users with minimal training, without compromising the quality of their designs.


title: On finite elements in $f$-algebras and in product algebras

abstract: Finite elements, which are well-known and studied in the framework of vector lattices, are investigated in $\ell$-algebras, preferably in $f$-algebras, and in product algebras. The additional structure of an associative multiplication leads to new questions and some new properties concerning the collections of finite, totally finite and self-majorizing elements. In some cases the order ideal of finite elements is a ring ideal as well. It turns out that a product of elements in an $f$-algebra is a finite element if at least one factor is finite. If the multiplicative unit exists, the latter plays an important role in the investigation of finite elements. For the product of certain $f$-algebras an element is finite in the algebra if and only if its power is finite in the product algebra.


title: First Cosmological Constraint on the Effective Theory of Dark Matter-Proton Interactions

abstract: We obtain the first cosmological constraints on interactions between dark matter and protons within the formalism of nonrelativistic effective field theory developed for direct detection. For each interaction operator in the effective theory, parametrized by different powers of the relative velocity of the incoming particles, we use the Planck 2015 cosmic microwave background (CMB) temperature, polarization, and lensing anisotropy to set upper limits on the scattering cross section for all dark matter masses above 15 keV. We find that for interactions associated with a stronger dependence on velocity, dark matter and baryons stay thermally coupled for longer, but the interaction strengths are suppressed at the low temperatures relevant for Planck observations and are thus less constrained. At the same time, cross sections with stronger velocity dependencies are more constrained in the limit of small dark matter mass. In all cases, the effect of dark matter-proton scattering is most prominent on small scales in the CMB power spectra and in the matter power spectrum, and we thus expect substantial improvement over the current limits with data from ground-based CMB experiments and galaxy surveys.


title: Infinitesimal part of Weak Lefschetz using Milnor $K-$ theory

abstract: Let $X$ be a smooth projective variety over a field of characteristic $0$ and $L$ an ample divisor. In this paper we study the Weak Lefschetz conjecture for Chow groups using the technique employed by Grothendieck in his study of the problem for Picard groups, and using Bloch's formula to interpret Chow groups in terms of Milnor $K$- theory we prove the infinitesimal part of the conjecture.


title: QED Interference in Charge Asymmetry Near the Z Resonance at Future Electron-Positron Colliders

abstract: The measurement of the charge asymmetry $A_{FB}(e^-e^+\to \mu^-\mu^+)$ will play an important role at the high-luminosity circular electron-positron collider FCCee considered for construction at CERN. In particular, near the Z resonance, $\sqrt{s} \simeq M_Z \pm 3.5$ GeV, $A_{FB}$ will provide a very precise value of the pure electromagnetic coupling constant $\alpha_{QED}(M_Z)$, which is vitally important for overall tests of the Standard Model. For this purpose, $A_{FB}$ will be measured at the FCCee with an experimental error better than $\delta A_{FB} \simeq 3\cdot 10^{-5},$ at least a factor 100 more precisely than at past LEP experiments! The important question is whether the effect of interference between photon emission in the initial and final state can be removed from the $A_{FB}$ data at the same precision level using perturbative QED calculations. A first quantitative study of this problem is presented here, with the help of the KKMC program and a newly developed calculation based on soft photon resummation, matched with NLO and NNLO fixed-order calculations. It is concluded that a factor of 10 improvement with respect to the LEP era is obtained. We also present a clear indication that reducing the uncertainty of charge asymmetry near the Z peak due to IFI down to $\delta A_{FB} \simeq 3\cdot 10^{-5}$, i.e. the expected experimental precision at FCCee, is feasible.


title: A method for assessing the success and failure of community-level interventions in the presence of network diffusion, social reinforcement, and related social effects

abstract: Prevention and intervention work done within community settings often face unique analytic challenges for rigorous evaluations. Since community prevention work (often geographically isolated) cannot be controlled in the same way other prevention programs and these communities have an increased level of interpersonal interactions, rigorous evaluations are needed. Even when the `gold standard' randomized control trials are implemented within community intervention work, the threats to internal validity can be called into question given informal social spread of information in closed network settings. A new prevention evaluation method is presented here to disentangle the social influences assumed to influence prevention effects within communities. We formally introduce the method and it's utility for a suicide prevention program implemented in several Alaska Native villages. The results show promise to explore eight sociological measures of intervention effects in the face of social diffusion, social reinforcement, and direct treatment. Policy and research implication are discussed.


title: A Rapidly Deployable Classification System using Visual Data for the Application of Precision Weed Management

abstract: In this work we demonstrate a rapidly deployable weed classification system that uses visual data to enable autonomous precision weeding without making prior assumptions about which weed species are present in a given field. Previous work in this area relies on having prior knowledge of the weed species present in the field. This assumption cannot always hold true for every field, and thus limits the use of weed classification systems based on this assumption. In this work, we obviate this assumption and introduce a rapidly deployable approach able to operate on any field without any weed species assumptions prior to deployment. We present a three stage pipeline for the implementation of our weed classification system consisting of initial field surveillance, offline processing and selective labelling, and automated precision weeding. The key characteristic of our approach is the combination of plant clustering and selective labelling which is what enables our system to operate without prior weed species knowledge. Testing using field data we are able to label 12.3 times fewer images than traditional full labelling whilst reducing classification accuracy by only 14%.


title: Accurate Weakly Supervised Deep Lesion Segmentation on CT Scans: Self-Paced 3D Mask Generation from RECIST

abstract: Volumetric lesion segmentation via medical imaging is a powerful means to precisely assess multiple time-point lesion/tumor changes. Because manual 3D segmentation is prohibitively time consuming and requires radiological experience, current practices rely on an imprecise surrogate called response evaluation criteria in solid tumors (RECIST). Despite their coarseness, RECIST marks are commonly found in current hospital picture and archiving systems (PACS), meaning they can provide a potentially powerful, yet extraordinarily challenging, source of weak supervision for full 3D segmentation. Toward this end, we introduce a convolutional neural network based weakly supervised self-paced segmentation (WSSS) method to 1) generate the initial lesion segmentation on the axial RECIST-slice; 2) learn the data distribution on RECIST-slices; 3) adapt to segment the whole volume slice by slice to finally obtain a volumetric segmentation. In addition, we explore how super-resolution images (2~5 times beyond the physical CT imaging), generated from a proposed stacked generative adversarial network, can aid the WSSS performance. We employ the DeepLesion dataset, a comprehensive CT-image lesion dataset of 32,735 PACS-bookmarked findings, which include lesions, tumors, and lymph nodes of varying sizes, categories, body regions and surrounding contexts. These are drawn from 10,594 studies of 4,459 patients. We also validate on a lymph-node dataset, where 3D ground truth masks are available for all images. For the DeepLesion dataset, we report mean Dice coefficients of 93% on RECIST-slices and 76% in 3D lesion volumes. We further validate using a subjective user study, where an experienced radiologist accepted our WSSS-generated lesion segmentation results with a high probability of 92.4%.


title: Microscopically-based energy density functionals for nuclei using the density matrix expansion: Full optimization and validation

abstract: We seek to obtain a usable form of the nuclear energy density functional that is rooted in the modern theory of nuclear forces. We thus consider a functional obtained from the density matrix expansion of local nuclear potentials from chiral effective field theory. We propose a parametrization of this functional carefully calibrated and validated on selected ground-state properties that is suitable for large-scale calculations of nuclear properties. The first component of this functional is a non-local functional of the density and corresponds to the direct part (Hartree term) of the expectation value of local chiral potentials on a Slater determinant. A second component is a local functional of the density and is obtained by applying the density matrix expansion to the exchange part (Fock term) of the expectation value of the local chiral potential. We apply the UNEDF2 optimization protocol to determine the coupling constants of this energy functional. We obtain a set of microscopically-constrained functionals for local chiral potentials from leading-order up to next-to-next-to-leading order with and without three-body forces and contributions from $\Delta$ excitations. These functionals are validated on the calculation of nuclear and neutron matter, nuclear mass tables, single-particle shell structure in closed-shell nuclei and the fission barrier of $^{240}$Pu. Quantitatively, they perform noticeable better than the more phenomenological Skyrme functionals. The inclusion of higher-order terms in the chiral perturbation expansion seems to produce a systematic improvement in predicting nuclear binding energies. This result is especially promising since all the fits have been performed at the single reference level of the energy density functional approach, where important collective correlations such as center-of-mass correction have not been taken into account yet.


title: DeepPap: Deep Convolutional Networks for Cervical Cell Classification

abstract: Automation-assisted cervical screening via Pap smear or liquid-based cytology (LBC) is a highly effective cell imaging based cancer detection tool, where cells are partitioned into "abnormal" and "normal" categories. However, the success of most traditional classification methods relies on the presence of accurate cell segmentations. Despite sixty years of research in this field, accurate segmentation remains a challenge in the presence of cell clusters and pathologies. Moreover, previous classification methods are only built upon the extraction of hand-crafted features, such as morphology and texture. This paper addresses these limitations by proposing a method to directly classify cervical cells - without prior segmentation - based on deep features, using convolutional neural networks (ConvNets). First, the ConvNet is pre-trained on a natural image dataset. It is subsequently fine-tuned on a cervical cell dataset consisting of adaptively re-sampled image patches coarsely centered on the nuclei. In the testing phase, aggregation is used to average the prediction scores of a similar set of image patches. The proposed method is evaluated on both Pap smear and LBC datasets. Results show that our method outperforms previous algorithms in classification accuracy (98.3%), area under the curve (AUC) (0.99) values, and especially specificity (98.3%), when applied to the Herlev benchmark Pap smear dataset and evaluated using five-fold cross-validation. Similar superior performances are also achieved on the HEMLBC (H&E stained manual LBC) dataset. Our method is promising for the development of automation-assisted reading systems in primary cervical screening.


title: Traces of Charge Density Waves in NbS$_2$

abstract: Among Transition Metal Dichalcogenides (TMD), NbS$_2$ is often considered as the archetypal compound that does not have a Charge Density Wave (CDW) in any of its polytypes. By comparison, close iso-electronic compounds such as NbSe$_2$, TaS$_2$ and TaSe$_2$ all have CDW in at least one polytype. Here, we report traces of CDW in the 2H polytype of NbS$_2$, using diffuse x-ray scattering measurements at 77\,K and room temperature. We observe 12 extremely weak satellite peaks located at $\pm$13$^\mathrm{o}$ 54' from $\vec{a}^*$ and $\vec{b}^*$ around each Bragg peaks in the $(h,k,0)$ plane. These satellite peaks are commensurate with the lattice via $3\vec{q}-\vec{q}\,'=\vec{a}^*$, where $\vec{q}\,'$ is the 120$^{\circ}$ rotation of $\vec{q}$, and define two chiral $\sqrt{13}\,a\times\sqrt{13}\,a$ superlattices in real space. These commensurate wavevectors and tilt angle are identical to those of the CDW observed in the 1T polytype of TaS$_2$ and TaSe$_2$. To understand this similarity and the faintness of the peaks, we discuss possible sources of local 1T polytype environment in bulk 2H-NbS$_2$ crystals.


title: JointDNN: An Efficient Training and Inference Engine for Intelligent Mobile Cloud Computing Services

abstract: Deep learning models are being deployed in many mobile intelligent applications. End-side services, such as intelligent personal assistants, autonomous cars, and smart home services often employ either simple local models on the mobile or complex remote models on the cloud. However, recent studies have shown that partitioning the DNN computations between the mobile and cloud can increase the latency and energy efficiencies. In this paper, we propose an efficient, adaptive, and practical engine, JointDNN, for collaborative computation between a mobile device and cloud for DNNs in both inference and training phase. JointDNN not only provides an energy and performance efficient method of querying DNNs for the mobile side but also benefits the cloud server by reducing the amount of its workload and communications compared to the cloud-only approach. Given the DNN architecture, we investigate the efficiency of processing some layers on the mobile device and some layers on the cloud server. We provide optimization formulations at layer granularity for forward- and backward-propagations in DNNs, which can adapt to mobile battery limitations and cloud server load constraints and quality of service. JointDNN achieves up to 18 and 32 times reductions on the latency and mobile energy consumption of querying DNNs compared to the status-quo approaches, respectively.


title: Local extension property for finite height spaces

abstract: We introduce a new technique for the study of the local extension property (LEP) for boolean algebras and we use it to show that the clopen algebra of every compact Hausdorff space $K$ of finite height has LEP. This implies, under appropriate additional assumptions on $K$ and Martin's Axiom, that every twisted sum of $c_0$ and $C(K)$ is trivial, generalizing a recent result by Marciszewski and Plebanek.


title: Queue-Aware Joint Dynamic Interference Coordination and Heterogeneous QoS Provisioning in OFDMA Networks

abstract: We propose algorithms for cloud radio access networks that not only provide heterogeneous quality of-service (QoS) for rate- and, importantly, delay-sensitive applications, but also jointly optimize the frequency reuse pattern. Importantly, unlike related works, we account for random arrivals, through queue awareness and, unlike majority of works focusing on a single frame only, we consider QoS measures averaged over multiple frames involving a set of closed loop controls. We model this problem as multi-cell optimization to maximize a sum utility subject to the QoS constraints, expressed as minimum mean-rate or maximum mean-delay. Since we consider dynamic interference coordination jointly with dynamic user association, the problem is not convex, even after integer relaxation. We translate the problem into an optimization of frame rates, amenable to a decomposition into intertwined primal and dual problems. The solution to this optimization problem provides joint decisions on scheduling, dynamic interference coordination, and, importantly, unlike most works in this area, on dynamic user association. Additionally, we propose a novel method to manage infeasible loads. Extensive simulations confirm that the design responds to instantaneous loads, heterogeneous user and AP locations, channel conditions, and QoS constraints while, if required, keeping outage low when dealing with infeasible loads. Comparisons to the baseline proportional fair scheme illustrate the gains achieved.


title: Quantization Error as a Metric for Dynamic Precision Scaling in Neural Net Training

abstract: Recent work has explored reduced numerical precision for parameters, activations, and gradients during neural network training as a way to reduce the computational cost of training (Na & Mukhopadhyay, 2016) (Courbariaux et al., 2014). We present a novel dynamic precision scaling (DPS) scheme. Using stochastic fixed-point rounding, a quantization-error based scaling scheme, and dynamic bit-widths during training, we achieve 98.8% test accuracy on the MNIST dataset using an average bit-width of just 16 bits for weights and 14 bits for activations, compared to the standard 32-bit floating point values used in deep learning frameworks.


title: Automatic rational approximation and linearization of nonlinear eigenvalue problems

abstract: We present a method for solving nonlinear eigenvalue problems using rational approximation. The method uses the AAA method by Nakatsukasa, S\`{e}te, and Trefethen to approximate the nonlinear eigenvalue problem by a rational eigenvalue problem and is embedded in the state space representation of a rational polynomial by Su and Bai. The advantage of the method, compared to related techniques such as NLEIGS and infinite Arnoldi, is the efficient computation by an automatic procedure. In addition, a set-valued approach is developed that allows building a low degree rational approximation of a nonlinear eigenvalue problem. The method perfectly fits the framework of the Compact rational Krylov methods (CORK and TS-CORK), allowing to efficiently solve large scale nonlinear eigenvalue problems. Numerical examples show that the presented framework is competitive with NLEIGS and usually produces smaller linearizations with the same accuracy but with less effort for the user.


title: Overdriven dislocation-precipitate interactions at elevated temperatures in aluminum

abstract: The two-dimensional dislocation dynamics approach has been recently used for analyzing plastic deformation in metals and alloys at elevated temperatures. The two-dimensional approach, however, only accounts for the dislocation climbing process, and it assumes that dislocation bypassing and shearing of precipitates are negligible. To examine the validity of this assumption, this study quantifies dislocation bypassing and shearing of precipitates in terms of critical resolved shear stress, interaction time, and thermal activation energy for various precipitate strength levels, temperatures, and precipitate spacings. This study uses a modified dislocation dynamics approach that accounts for shearable and non-shearable precipitates. Simulations focus on the overdriven dislocation dynamics regime wherein the climbing process is limited by fast interactions between dislocations and precipitates. The results show that even though the resolved shear stress level required for a dislocation to overcome an array of precipitates decreases at higher temperatures, the interaction time between the dislocation and the precipitates increases. In addition, the maximum ratio of thermal activation energy to the precipitate energy barrier is only 0.15.


title: Generating Handwritten Chinese Characters using CycleGAN

abstract: Handwriting of Chinese has long been an important skill in East Asia. However, automatic generation of handwritten Chinese characters poses a great challenge due to the large number of characters. Various machine learning techniques have been used to recognize Chinese characters, but few works have studied the handwritten Chinese character generation problem, especially with unpaired training data. In this work, we formulate the Chinese handwritten character generation as a problem that learns a mapping from an existing printed font to a personalized handwritten style. We further propose DenseNet CycleGAN to generate Chinese handwritten characters. Our method is applied not only to commonly used Chinese characters but also to calligraphy work with aesthetic values. Furthermore, we propose content accuracy and style discrepancy as the evaluation metrics to assess the quality of the handwritten characters generated. We then use our proposed metrics to evaluate the generated characters from CASIA dataset as well as our newly introduced Lanting calligraphy dataset.


title: Singly Cabibbo-suppressed hadronic decays of $\Lambda_c^+$

abstract: We study singly Cabibbo-suppressed two-body hadronic decays of the charmed baryon $\Lambda_c^+$, namely, $\Lambda_c^+\to \Lambda K^+, p\pi^0, p\eta, n\pi^+,\Sigma^0K^+,\Sigma^+ K^0$. We use the measured rate of $\Lambda_c^+\to p\phi$ to fix the effective Wilson coefficient $a_2$ for naive color-suppressed modes and the effective number of color $N_c^{\rm eff}$. We rely on the current-algebra approach to evaluate $W$-exchange and nonfactorizable internal $W$-emission amplitudes, that is, the commutator terms for the $S$-wave and the pole terms for the $P$-wave. Our prediction for $\Lambda_c^+\to p\eta$ is in excellent agreement with the BESIII measurement. The $p\eta$ ($p\pi^0$) mode has a large (small) rate because of a large constructive (destructive) interference between the factorizable and nonfactorizable amplitudes for both $S$- and $P$-waves. Some of the SU(3) relations such as $M(\Lambda_c^+\to n\pi^+)=\sqrt{2}M(\Lambda_c^+\to p\pi^0)$ derived under the assumption of sextet dominance are not valid for decays with factorizable terms. Our calculation indicates that the branching fraction of $\Lambda_c^+\to n\pi^+$ is about 3.5 times larger than that of $\Lambda_c^+\to p\pi^0$. Decay asymmetries are found to be negative for all singly Cabibbo-suppressed modes and range from $-0.56$ to $-0.96$.


title: Pharmacokinetics Simulations for Studying Correlates of Prevention Efficacy of Passive HIV-1 Antibody Prophylaxis in the Antibody Mediated Prevention (AMP) Study

abstract: A key objective in two phase 2b AMP clinical trials of VRC01 is to evaluate whether drug concentration over time, as estimated by non-linear mixed effects pharmacokinetics (PK) models, is associated with HIV infection rate. We conducted a simulation study of marker sampling designs, and evaluated the effect of study adherence and sub-cohort sample size on PK model estimates in multiple-dose studies. With m=120, even under low adherence (about half of study visits missing per participant), reasonably unbiased and consistent estimates of most fixed and random effect terms were obtained. Coarsened marker sampling schedules were also studied.


title: Viscosity Bound Violation in Viscoelastic Fermi Liquids

abstract: The anti-de Sitter/conformal field theory correspondence (AdS/CFT) has been used to determine a lower bound on the ratio of shear viscosity $\left(\eta\right)$ to entropy density $(s)$ for strongly-coupled field theories with a gravity dual. The conjectured universal lower bound, given as $\eta/s\geq\hbar/4\pi k_B$, is a measure of interaction strength in a quantum fluid where equality indicates a perfect quantum fluid. In this paper we study $\eta/s$ in a Fermi gas in the unitary limit. We show that in addition to a local minimum for $\eta/s$ at $T\approx 2T_c$ which obeys the lower bound, a more interesting result exists in the violation of the $\eta/s$ lower bound due to the superfluid fluctuations above $T_c$. To conclude, we examine the viscoelastic properties of the unitary Fermi gas. Previous work brought to light the connection between violation of the $\eta/s$ bound and a viscoelastic response in the context of holographic solids. We ultimately find that, in addition to holographic solids, all Fermi liquids with a viscoelastic response produced by superfluid fluctuations can violate the universal $\eta/s$ lower bound.


title: A Bayesian Joint model for Longitudinal DAS28 Scores and Competing Risk Informative Drop Out in a Rheumatoid Arthritis Clinical Trial

abstract: Rheumatoid arthritis clinical trials are strategically designed to collect the disease activity score of each patient over multiple clinical visits, meanwhile a patient may drop out before their intended completion due to various reasons. The dropout terminates the longitudinal data collection on the patients activity score. In the presence of informative dropout, that is, the dropout depends on latent variables from the longitudinal process, simply applying a model to analyze the longitudinal outcomes may lead to biased results because the assumption of random dropout is violated. In this paper we develop a data driven Bayesian joint model for modeling DAS28 scores and competing risk informative drop out. The motivating example is a clinical trial of Etanercept and Methotrexate with radiographic Patient Outcomes (TEMPO, Keystone et.al).


title: Forecasting Suspicious Account Activity at Large-Scale Online Service Providers

abstract: In the face of large-scale automated social engineering attacks to large online services, fast detection and remediation of compromised accounts are crucial to limit the spread of new attacks and to mitigate the overall damage to users, companies, and the public at large. We advocate a fully automated approach based on machine learning: we develop an early warning system that harnesses account activity traces to predict which accounts are likely to be compromised in the future and generate suspicious activity. We hypothesize that this early warning is key for a more timely detection of compromised accounts and consequently faster remediation. We demonstrate the feasibility and applicability of the system through an experiment at a large-scale online service provider using four months of real-world production data encompassing hundreds of millions of users. We show that - even using only login data to derive features with low computational cost, and a basic model selection approach - our classifier can be tuned to achieve good classification precision when used for forecasting. Our system correctly identifies up to one month in advance the accounts later flagged as suspicious with precision, recall, and false positive rates that indicate the mechanism is likely to prove valuable in operational settings to support additional layers of defense.


title: Light bending in $F\left[g(\square)R\right]$ extended gravity theories

abstract: We show that in the weak field limit the light deflection alone cannot distinguish between different $R + F[g(\square)R]$ models of gravity, where $F$ and $g$ are arbitrary functions. This does not imply, however, that in all these theories an observer will see the same deflection angle. Owed to the need to calibrate the Newton constant, the deflection angle may be model-dependent after all necessary types of measurements are taken into account.


title: Quantum Multiverses

abstract: A quantum theory of the universe consists of a theory of its quantum dynamics and a theory of its quantum state The theory predicts quantum multiverses in the form of decoherent sets of alternative histories describing the evolution of the universe's spacetime geometry and matter content. These consequences follow: (a) The universe generally exhibits different quantum multiverses at different levels and kinds of coarse graining. (b) Quantum multiverses are not a choice or an assumption but are consequences of the theory or not. (c) Quantum multiverses are generic for simple theories (d) Anthropic selection is automatic because observers are physical systems within the universe not somehow outside it. (e) Quantum multiverses can provide different mechanisms for the variation constants in effective theories (like the cosmological constant) enabling anthropic selection. (f) Different levels of coarse grained multiverses provide different routes to calculation as a consequence of decoherence. We support these conclusions by analyzing the quantum multiverses of a variety of quantum cosmological models aimed at the prediction of observable properties of our universe. In particular we show how the example of a multiverse consisting of a vast classical spacetime containing many pocket universes arises automatically as part of a quantum multiverse describing an eternally inflating false vacuum that decays by the quantum nucleation of true vacuum bubbles. In a FAQ we argue that the quantum multiverses of the universe are scientific, real, testable, falsifiable, and similar to those in other areas of science even if they are not directly observable on arbitrarily large scales.


title: Connectedness of The Moduli Space of Artin-Schreier Curves of Fixed Genus

abstract: We study the moduli space $\mathcal{AS}_{g}$ of Artin-Schreier curves of genus $g$ over an algebraically closed field $k$ of positive characteristic $p$. The moduli space is partitioned by irreducible strata, where each stratum parameterizes Artin-Schreier curves whose ramification divisors have the same coefficients. We construct deformations of these curves to study the relations between those strata. As an application, when $p=3$, we prove that $\mathcal{AS}_{g}$ is connected for all possible $g$. When $p>3$, it turns out that $\mathcal{AS}_{g}$ is connected for sufficiently large value of $g$. In the course of our work, we answer Pries and Zhu's question about how a combinatorial graph determines the geometry of $\mathcal{AS}_g$.


title: Recognizing Local and Global Structural Motifs at the Atomic Scale

abstract: Most of the current understanding of structure-property relations at the molecular and the supramolecular scales can be formulated in terms of the stability of and the interactions between a limited number of recurring structural motifs (e.g., H-bonds, coordination polyhedra, and protein secondary structure). Here we demonstrate an algorithm to automatically recognize such patterns, based on the identification of local maxima in the probability distributions observed in atomistic computer simulations, which is robust to the dimensionality and the sparsity of the reference atomistic data. We first discuss its main features, demonstrating some on artificial data sets, and then show how it can be applied to identify coordination environments in Lennard-Jones clusters and to recognize secondary-structure patterns in the simulation of an oligopeptide. To assess the applicability of this algorithm for motifs that involve several interdependent degrees of freedom, we also employ it to identify groups of conformers of the cluster and the polypeptide, considered in their entirety. The motifs identified by analyzing atomistic simulations can be used to interpret and rationalize the stability and behavior of the system at hand, and also as a tool to accelerate sampling, in association with biased molecular dynamics schemes.


title: New sharp inequalities for operator means

abstract: New sharp multiplicative reverses of the operator means inequalities are presented, with a simple discussion of squaring an operator inequality. As a direct consequence, we extend the operator P\'olya-Szeg\"o inequality to arbitrary operator means. Furthermore, we obtain some new lower and upper bounds for the Tsallis relative operator entropy, operator monotone functions and positive linear maps.


title: Laser induced topological cues shape, guide, and anchor human Mesenchymal Stem Cells

abstract: This report focuses on the effect of the surface topography of the substrate on the behavior of human mesenchymal stem cells from bone marrow (MSCs) before and after co-differentiation into adipocytes and osteoblasts. Picosecond pulsed laser ablation technology was applied to generate different microstructures (microgrooves and microcavities) on poly (L-lactide) (PLLA), where orientation, cell shape and MSCs co-differentiation were investigated. On flat PLLA, the undifferentiated MSCs showed rounded or elongated shapes, the latter being randomly oriented. On PLLA microgrooves however, MSCs adapted their shape to the groove size and direction and occasionally anchored to groove edges. It was found that adipocytes, contrary to osteoblasts, are highly sensitive to topological cues. Adipocytes responded to changes in substrate height and depth, by adapting the intracellular distribution of their lipid vacuoles to these physical constraints. In addition, the modification of PLLA by laser ablation enhanced the adherence of differentiated cells to the substrate. These findings show that picosecond pulsed laser micromachining can be applied to directly manufacture 3D microstructures that guide cell proliferation, control adipocyte morphology and improve the adhesion of bone and fat tissue.


title: Defect-induced oxygen adsorption on graphene films

abstract: Although defects on graphene can degrade electron transport and its ability for use as a protection layer, they can also be helpful to tailor the local properties or activate new sites for particular adsorbates. Here, carbon vacancy defects are formed in graphene films on Ru(0001) using low energy Ar$^+$ bombardment and the materials are then reacted at room temperature with oxygen (O$_2$). Helium low energy ion scattering shows that no oxygen attaches to the intact graphene layer. When isolated single carbon vacancy defects are present, oxygen adsorbs molecularly at the defect sites and intercalates beneath the graphene overlayer after post-annealing at 600 K. When the defects are large enough to consist of open areas of bare substrate, the oxygen dissociatively chemisorbs to the Ru. This work shows that the adsorption depends on the size of the surface vacancies, and that it is important to have defect-free graphene when using it as a protection layer.


title: Exact axially symmetric galactic dynamos

abstract: We give a selection of exact dynamos in axial symmetry on a galactic scale. These include some steady examples, at least one of which is wholly analytic in terms of simple functions and has been discussed elsewhere. Most solutions are found in terms of special functions, such as associated Lagrange or hypergeometric functions. They may be considered exact in the sense that they are known to any desired accuracy in principle. The new aspect developed here is to present scale invariant solutions with zero resistivity that are self-similar in time. The time dependence is either a power law or an exponential factor, but since the geometry of the solution is self-similar in time we do not need to fix a time to study it. Several examples are discussed. Our results demonstrate (without the need to invoke any other mechanisms) X-shaped magnetic fields and (axially symmetric) magnetic spiral arms (both of which are well observed and documented) and predict reversing rotation measures in galaxy halos (now observed in the CHANG-ES sample) as well as the fact that planar magnetic spirals are lifted into the galactic halo.


title: On modules for meromorphic open-string vertex algebras

abstract: We study representations of the meromorphic open-string vertex algebra (MOSVAs hereafter) defined in [H3], a noncommutative generalization of vertex (operator) algebra. We start by recalling the definition of a MOSVA $V$ and left $V$-modules in [H3]. Then we define right $V$-modules and $V$-bimodules that reflect the noncommutative nature of $V$. When $V$ satisfies a condition on the order of poles of the correlation function (which we call pole-order condition), we prove that the rationality of products of two vertex operators implies the rationality of products of any numbers of vertex operators. Also, the rationality of iterates of any numbers of vertex operators is established, and is used to construct the opposite MOSVA $V^{op}$ of $V$. It is proved here that right (resp. left) $V$-modules are equivalent to left (resp. right) $V^{op}$-modules. Using this equivalence, we prove that if $V$ and a grading-restricted left $V$-module $W$ is endowed with a M\"obius structure, then the graded dual $W'$ of $W$ is a right $V$-module. This proof is the only place in this paper that needs the grading-restriction condition. Also, this result is generalized to not-grading-restricted modules under a strong pole-order condition that is satisfied by all existing examples of MOSVAs and modules.


title: Fast binary embeddings, and quantized compressed sensing with structured matrices

abstract: This paper deals with two related problems, namely distance-preserving binary embeddings and quantization for compressed sensing . First, we propose fast methods to replace points from a subset $\mathcal{X} \subset \mathbb{R}^n$, associated with the Euclidean metric, with points in the cube $\{\pm 1\}^m$ and we associate the cube with a pseudo-metric that approximates Euclidean distance among points in $\mathcal{X}$. Our methods rely on quantizing fast Johnson-Lindenstrauss embeddings based on bounded orthonormal systems and partial circulant ensembles, both of which admit fast transforms. Our quantization methods utilize noise-shaping, and include Sigma-Delta schemes and distributed noise-shaping schemes. The resulting approximation errors decay polynomially and exponentially fast in $m$, depending on the embedding method. This dramatically outperforms the current decay rates associated with binary embeddings and Hamming distances. Additionally, it is the first such binary embedding result that applies to fast Johnson-Lindenstrauss maps while preserving $\ell_2$ norms. Second, we again consider noise-shaping schemes, albeit this time to quantize compressed sensing measurements arising from bounded orthonormal ensembles and partial circulant matrices. We show that these methods yield a reconstruction error that again decays with the number of measurements (and bits), when using convex optimization for reconstruction. Specifically, for Sigma-Delta schemes, the error decays polynomially in the number of measurements, and it decays exponentially for distributed noise-shaping schemes based on beta encoding. These results are near optimal and the first of their kind dealing with bounded orthonormal systems.


title: Considerations When Learning Additive Explanations for Black-Box Models

abstract: Many methods to explain black-box models, whether local or global, are additive. In this paper, we study global additive explanations for non-additive models, focusing on four explanation methods: partial dependence, Shapley explanations adapted to a global setting, distilled additive explanations, and gradient-based explanations. We show that different explanation methods characterize non-additive components in a black-box model's prediction function in different ways. We use the concepts of main and total effects to anchor additive explanations, and quantitatively evaluate additive and non-additive explanations. Even though distilled explanations are generally the most accurate additive explanations, non-additive explanations such as tree explanations that explicitly model non-additive components tend to be even more accurate. Despite this, our user study showed that machine learning practitioners were better able to leverage additive explanations for various tasks. These considerations should be taken into account when considering which explanation to trust and use to explain black-box models.


title: Knowledge Graph Embedding with Multiple Relation Projections

abstract: Knowledge graphs contain rich relational structures of the world, and thus complement data-driven machine learning in heterogeneous data. One of the most effective methods in representing knowledge graphs is to embed symbolic relations and entities into continuous spaces, where relations are approximately linear translation between projected images of entities in the relation space. However, state-of-the-art relation projection methods such as TransR, TransD or TransSparse do not model the correlation between relations, and thus are not scalable to complex knowledge graphs with thousands of relations, both in computational demand and in statistical robustness. To this end we introduce TransF, a novel translation-based method which mitigates the burden of relation projection by explicitly modeling the basis subspaces of projection matrices. As a result, TransF is far more light weight than the existing projection methods, and is robust when facing a high number of relations. Experimental results on the canonical link prediction task show that our proposed model outperforms competing rivals by a large margin and achieves state-of-the-art performance. Especially, TransF improves by 9%/5% in the head/tail entity prediction task for N-to-1/1-to-N relations over the best performing translation-based method.


title: Absolute dimensions and evolutionary status of the semi-detached Algol W Ursae Minoris

abstract: Double-lined eclipsing binaries allow accurate and direct determination of fundamental parameters such as mass and radius for each component, and they provide important constraints on the stellar structure and evolution models. In this study, we aim to determine a unique set of binary parameters for the Algol system W UMi and to examine its evolutionary status. New high-resolution time-series spectroscopic observations were carried out during 14 nights from April 2008 to March 2011, and a total of 37 spectra were obtained using the Bohyunsan Optical Echelle Spectrograph. We measured the radial velocities (RVs) for both components, and the effective temperature of the primary star was found to be $T_{\rm eff,1}$ = 9310 $\pm$ 90 K by a comparison of the observed spectra and the Kurucz models. The physical parameters of W UMi were derived by an analysis of our RV data together with the multi-band light curves of Devinney et al. (1970). The individual masses, radii, and luminosities of both components are $M_1$ = 3.68 $\pm$ 0.10 M$_\odot$ and $M_2$ = 1.47 $\pm$ 0.04 M$_\odot$, $R_1$ = 3.88 $\pm$ 0.03 R$_\odot$ and $R_2$ = 3.13 $\pm$ 0.03 R$_\odot$, and $L_1$ = 102 $\pm$ 1 L$_\odot$ and $L_2$ = 7.3 $\pm$ 0.1 L$_\odot$, respectively. A comparison of these parameters with theoretical stellar models showed that the primary component lies in the main-sequence band, while the less massive secondary is noticeably evolved. The results indicate that the initially more massive star became the present secondary by losing most of its own mass via mass transfer to the companion (present primary).


title: The Nonexistence of Noncompact Type-I Ancient 3-d $\kappa$-Solutions of Ricci Flow with Positive Curvature

abstract: In this short paper, we show there do not exist three-dimensional noncompact $\kappa$-solutions of Ricci flow that have positive curvature and satisfy a Type-I bound. This represents progress towards the proof of Perelman's conjecture that the only complete noncompact three-dimensional $\kappa$-solution with positive curvature is the Bryant soliton.


title: Masses of doubly heavy-quark baryons in an extended chromomagnetic model

abstract: We extend the chromomagnetic model by further considering the effect of color interaction. The effective mass parameters between quark pairs ($m_{qq}$ or $m_{q\bar{q}}$) are introduced to account both the effective quark masses and the color interaction between the two quarks. Using the experimental masses of hadrons, the quark pair parameters are determined between the light quark pairs and the light-heavy quark pairs. Then the parameters of heavy quark pairs ($cc$, $cb$, $bb$) are estimated based on simple quark model assumption. We calculate all masses of doubly and triply heavy-quark baryons. The newly discovered doubly charmed baryon $\Xi_{cc}$ fits into the model with an error of 12 MeV.


title: Hybrid photo-electrochemical and photo-voltaic cells (HPEV cells)

abstract: The majority of photoelectrochemical (PEC) water splitting cells cannot drive the overall water splitting reactions without the assistance of an external power source. To provide added power, the cells are usually connected to photovoltaic (PV) devices in a tandem arrangement. This approach suffers from severe disadvantages since the PEC cell is connected in series to the PV cell and the overall current is typically limited by the saturation current of the PEC component. Thus, the operating point of the PV cell is often far from optimal and the overall system efficiency tends to be low. We propose a multi-terminal hybrid PV and PEC system (HPEV). As in tandem arrangements, the PEC cell is optically connected in series with the PV cell. However, a second back contact is used to extract the PV cell surplus current and allow parallel production of both electrical power and chemical fuel. Devices consisting of three-terminal silicon photovoltaic cells coupled to titanium dioxide water splitting layers are simulated and fabricated. The cells are shown to produce electricity with little reduction in the water splitting current, surpass the current mismatch limits, and increase the overall system efficiency.


title: Information Content of a Phylogenetic Tree in a Data Matrix

abstract: Phylogenetic trees in genetics and biology in general are all binary. We make an attempt to answer one fundamental question: Is such binary branching from the coarsest to the finest scales sustained by data? We convert this question into an equivalent one: where is the structural information of tree in a data matrix? Results from this conceptual as well as computing issue afford us to conclude a negative answer: Each branch being split into two at each inter-node of tree from the top to bottom levels is a man-made structure. The data-driven computing paradigm Data Mechanics is employed here to reveal that information of tree is composed of a set of selected temperatures (or scales), each of which has a clustering composition strictly regulated by a temperature-specific cluster-sharing probability matrix. The resultant Data Cloud Geometry (DCG) tree on the space of species is proposed as the authentic structure contained in data. Particularly each core clusters on the finest scale, the bottom level, of DCG tree should not be further partitioned because of uniformity. Beyond the finest scale, the branching of DCG tree is primarily based on probability, which induces an Ultrametric satisfying super triangular inequality property. This Ultrametric property differentiates DCG tree from all popular trees based on Hierarchical clustering (HC) algorithm, which typically employs an empirical, often ad hoc distance measure. Since this measure is regulated by the triangular inequality, it is not capable of producing a "flat" branch, in which all its members (more than two) have equal distances to each others. We demonstrate such information content on an illustrative zoo data first, and then on two genomic data.


title: Perfect transmission at oblique incidence by trigonal warping in graphene P-N junctions

abstract: We develop an analytical mode-matching technique for the tight-binding model to describe electron transport across graphene P-N junctions. This method shares the simplicity of the conventional mode-matching technique for the low-energy continuum model and the accuracy of the tight-binding model over a wide range of energies. It further reveals an interesting phenomenon on a sharp P-N junction: the disappearance of the well-known Klein tunneling (i.e., perfect transmission) at normal incidence and the appearance of perfect transmission at oblique incidence due to trigonal warping at energies beyond the linear Dirac regime. We show that this phenomenon arises from the conservation of a generalized pseudospin in the tight-binding model. We expect this effect to be experimentally observable in graphene and other Dirac fermions systems, such as the surface of three-dimensional topological insulators.


title: Pilot-Streaming: A Stream Processing Framework for High-Performance Computing

abstract: An increasing number of scientific applications rely on stream processing for generating timely insights from data feeds of scientific instruments, simulations, and Internet-of-Thing (IoT) sensors. The development of streaming applications is a complex task and requires the integration of heterogeneous, distributed infrastructure, frameworks, middleware and application components. Different application components are often written in different languages using different abstractions and frameworks. Often, additional components, such as a message broker (e.g. Kafka), are required to decouple data production and consumptions and avoiding issues, such as back-pressure. Streaming applications may be extremely dynamic due to factors, such as variable data rates caused by the data source, adaptive sampling techniques or network congestions, variable processing loads caused by usage of different machine learning algorithms. As a result application-level resource management that can respond to changes in one of these factors is critical. We propose Pilot-Streaming, a framework for supporting streaming frameworks, applications and their resource management needs on HPC infrastructure. Pilot-Streaming is based on the Pilot-Job concept and enables developers to manage distributed computing and data resources for complex streaming applications. It enables applications to dynamically respond to resource requirements by adding/removing resources at runtime. This capability is critical for balancing complex streaming pipelines. To address the complexity in developing and characterization of streaming applications, we present the Streaming Mini- App framework, which supports different plug-able algorithms for data generation and processing, e.g., for reconstructing light source images using different techniques. We utilize the Mini-App framework to conduct an evaluation of Pilot-Streaming.


title: Finding Maximum Cliques on the D-Wave Quantum Annealer

abstract: This paper assesses the performance of the D-Wave 2X (DW) quantum annealer for finding a maximum clique in a graph, one of the most fundamental and important NP-hard problems. Because the size of the largest graphs DW can directly solve is quite small (usually around 45 vertices), we also consider decomposition algorithms intended for larger graphs and analyze their performance. For smaller graphs that fit DW, we provide formulations of the maximum clique problem as a quadratic unconstrained binary optimization (QUBO) problem, which is one of the two input types (together with the Ising model) acceptable by the machine, and compare several quantum implementations to current classical algorithms such as simulated annealing, Gurobi, and third-party clique finding heuristics. We further estimate the contributions of the quantum phase of the quantum annealer and the classical post-processing phase typically used to enhance each solution returned by DW. We demonstrate that on random graphs that fit DW, no quantum speedup can be observed compared with the classical algorithms. On the other hand, for instances specifically designed to fit well the DW qubit interconnection network, we observe substantial speed-ups in computing time over classical approaches.


title: Ontology-based Fuzzy Markup Language Agent for Student and Robot Co-Learning

abstract: An intelligent robot agent based on domain ontology, machine learning mechanism, and Fuzzy Markup Language (FML) for students and robot co-learning is presented in this paper. The machine-human co-learning model is established to help various students learn the mathematical concepts based on their learning ability and performance. Meanwhile, the robot acts as a teacher's assistant to co-learn with children in the class. The FML-based knowledge base and rule base are embedded in the robot so that the teachers can get feedback from the robot on whether students make progress or not. Next, we inferred students' learning performance based on learning content's difficulty and students' ability, concentration level, as well as teamwork sprit in the class. Experimental results show that learning with the robot is helpful for disadvantaged and below-basic children. Moreover, the accuracy of the intelligent FML-based agent for student learning is increased after machine learning mechanism.


title: On Modelling and Complete Solutions to General Fixpoint Problems in Multi-Scale Systems with Applications

abstract: This paper revisits the well-studied fixed point problem from a unified viewpoint of mathematical modeling and canonical duality theory, i.e. the original problem is first reformulated as a nonconvex optimization problem, its well-posedness is discussed based on objectivity principle in continuum physics; then the canonical duality theory is applied for solving this problem to obtain not only all fixed points, but also their stability properties. Applications are illustrated by challenging problems governed by nonconvex polynomial, exponential, and logarithmic operators. This paper shows that within the framework of the canonical duality theory, there is no difference between the fixed point problems and nonconvex analysis/optimization in multidisciplinary studies.


title: Reducing Binary Quadratic Forms for More Scalable Quantum Annealing

abstract: Recent advances in the development of commercial quantum annealers such as the D-Wave 2X allow solving NP-hard optimization problems that can be expressed as quadratic unconstrained binary programs. However, the relatively small number of available qubits (around 1000 for the D-Wave 2X quantum annealer) poses a severe limitation to the range of problems that can be solved. This paper explores the suitability of preprocessing methods for reducing the sizes of the input programs and thereby the number of qubits required for their solution on quantum computers. Such methods allow us to determine the value of certain variables that hold in either any optimal solution (called strong persistencies) or in at least one optimal solution (weak persistencies). We investigate preprocessing methods for two important NP-hard graph problems, the computation of a maximum clique and a maximum cut in a graph. We show that the identification of strong and weak persistencies for those two optimization problems is very instance-specific, but can lead to substantial reductions in the number of variables.


title: Efficient Combinatorial Optimization Using Quantum Annealing

abstract: The recent availability of the first commercial quantum computers has provided a promising tool to tackle NP hard problems which can only be solved heuristically with present techniques. However, it is unclear if the current state of quantum computing already provides a quantum advantage over the current state of the art in classical computing. This article assesses the performance of the D-Wave 2X quantum annealer on two NP hard graph problems, in particular clique finding and graph partitioning. For this, we provide formulations as Qubo and Ising Hamiltonians suitable for the quantum annealer and compare a variety of quantum solvers (Sapi, QBSolv, QSage provided by D-Wave Sys, Inc.) to current classical algorithms (METIS, Simulated Annealing, third-party clique finding and graph splitting heuristics) on certain test sets of graphs. We demonstrate that for small graph instances, classical methods still outperform the quantum annealer in terms of computing time, even though the quality of the best solutions obtained is comparable. Nevertheless, due to the limited problem size which can be embedded on the D-Wave 2X chip, the aforementioned finding applies to most of problems of general nature solvable on the quantum annealer. For instances specifically designed to fit the D-Wave 2X architecture, we observe substantial speed-ups in computing time over classical approaches.


title: Constraining the early universe with primordial black holes

abstract: In this thesis, the effect of non-Gaussianity upon the abundance of primordial black holes (PBHs), and the implications of such an effect are considered. It is shown that even small non-Gaussianity parameters can have a large effect on the constraints that can be placed on the primordial curvature perturbation power spectrum - which can become stronger or weaker by an order of magnitude. The effects of super-horizon curvature perturbation modes at the time of PBH formation are considered, and it is shown that these have little effect on the formation of a PBH, but can have an indirect effect on the abundance of PBHs due to modal coupling to horizon-scale modes in the presence of non-Gaussianity. By taking into account the effect of modal coupling to CMB-scale modes, many models can be ruled out as a mechanism to produce enough PBHs to constitute dark matter.


title: The method of polarized traces for the 3D Helmholtz equation

abstract: We present a fast solver for the 3D high-frequency Helmholtz equation in heterogeneous, constant density, acoustic media. The solver is based on the method of polarized traces, coupled with distributed linear algebra libraries and pipelining to obtain an empirical online runtime $ \mathcal{O}(\max(1,R/n) N \log N)$ where $N = n^3$ is the total number of degrees of freedom and $R$ is the number of right-hand sides. Such a favorable scaling is a prerequisite for large-scale implementations of full waveform inversion (FWI) in frequency domain.


title: On the complex-representable excluded minors for real-representability

abstract: We show that each real-representable matroid is a minor of a complex-representable excluded minor for real-representability. More generally, for an infinite field $\mathbb{F}_1$ and a field extension $\mathbb{F}_2$, if $\mathbb{F}_1$-representability is not equivalent to $\mathbb{F}_2$-representability, then each $\mathbb{F}_1$-representable matroid is a minor of a $\mathbb{F}_2$-representable excluded minor for $\mathbb{F}_1$-representability.


title: Fully kinetic large scale simulations of the collisionless Magnetorotational instability

abstract: We present two-dimensional particle-in-cell (PIC) simulations of the fully kinetic collisionless magnetorotational instability (MRI) in weakly magnetized (high $\beta$) pair plasma. The central result of this numerical analysis is the emergence of a self-induced turbulent regime in the saturation state of the collisionless MRI, which can only be captured for large enough simulation domains. One of the underlying mechanisms for the development of this turbulent state is the drift-kink instability (DKI) of the current sheets resulting from the nonlinear evolution of the channel modes. The onset of the DKI can only be observed for simulation domain sizes exceeding several linear MRI wavelengths. The DKI, together with ensuing magnetic reconnection, activate the turbulent motion of the plasma in the late stage of the nonlinear evolution of the MRI. At steady state, the magnetic energy has an MHD-like spectrum with a slope of $k^{-5/3}$ for $k\rho<1$ and $k^{-3}$ for sub-Larmor scale ($k\rho>1$). We also examine the role of the collisionless MRI and associated magnetic reconnection in the development of pressure anisotropy. We study the stability of the system due to this pressure anisotropy, observing the development of mirror instability during the early-stage of the MRI. We further discuss the importance of magnetic reconnection for particle acceleration during the turbulence regime. In particular, consistent with reconnection studies, we show that at late times the kinetic energy presents a characteristic slope of $\epsilon^{-2}$ in the high-energy region.


title: F-theory on Quotient Threefolds with (2,0) Discrete Superconformal Matter

abstract: We explore 6-dimensional compactifications of F-theory exhibiting (2,0) superconformal theories coupled to gravity that include discretely charged superconformal matter. Beginning with F-theory geometries with Abelian gauge fields and superconformal sectors, we provide examples of Higgsing transitions which break the $U(1)$ gauge symmetry to a discrete remnant in which the matter fields are also non-trivially coupled to a (2,0) SCFT. In the compactification background this corresponds to a geometric transition linking two fibered Calabi-Yau geometries defined over a singular base complex surface. An elliptically fibered Calabi-Yau threefold with non-zero Mordell-Weil rank can be connected to a smooth non-simply connected genus one fibered geometry constructed as a Calabi-Yau quotient. These hyperconifold transitions exhibit multiple fibers in co-dimension 2 over the base.


title: Spectroscopic and photometric study of the eclipsing interacting binary V495 Centauri

abstract: Double Periodic Variables (DPV) are among the new enigmas of semi-detached eclipsing binaries. These are intermediate-mass binaries characterized by a long photometric period lasting on average 33 times the orbital period. We present a spectroscopic and photometric study of the DPV V495 Cen based on new high-resolution spectra and the ASAS V-band light curve. We have determined an improved orbital period of $33.492 \pm 0.002$ d and a long period of 1283 d. We find a cool evolved star of $M_{2}=0.91\pm 0.2 M_{\odot}$, $T_{2}= 6000\pm 250 K$ and $R_{2}=19.3 \pm 0.5 R_{\odot}$ and a hot companion of $M_{1}= 5.76\pm 0.3 M_{\odot}$, $T_{1}=16960\pm 400 K$ and $R=4.5\pm0.2 R_{\odot}$. The mid-type B dwarf is surrounded by a concave and geometrically thick disc, of radial extension $R_{d}= 40.2\pm 1.3 R_{\odot}$ contributing $\sim$ 11 percent to the total luminosity of the system at the V band. The system is seen under inclination $84.\!\!^{\circ}8$ $\pm$ $0.\!\!^{\circ}6$ and it is at a distance $d= 2092 \pm 104.6$ pc. The light curve analysis suggests that the mass transfer stream impacts the external edge of the disc forming a hot region 11 % hotter than the surrounding disc material. The persistent $V<R$ asymmetry of the H$\alpha$ emission suggests the presence of a wind and the detection of a secondary absorption component in He I lines indicates a possible wind origin in the hotspot region.


title: Context Models for OOV Word Translation in Low-Resource Languages

abstract: Out-of-vocabulary word translation is a major problem for the translation of low-resource languages that suffer from a lack of parallel training data. This paper evaluates the contributions of target-language context models towards the translation of OOV words, specifically in those cases where OOV translations are derived from external knowledge sources, such as dictionaries. We develop both neural and non-neural context models and evaluate them within both phrase-based and self-attention based neural machine translation systems. Our results show that neural language models that integrate additional context beyond the current sentence are the most effective in disambiguating possible OOV word translations. We present an efficient second-pass lattice-rescoring method for wide-context neural language models and demonstrate performance improvements over state-of-the-art self-attention based neural MT systems in five out of six low-resource language pairs.


title: Regularity for an anisotropic equation in the plane

abstract: We present a simple proof of the $C^1$ regularity of $p$-anisotropic functions in the plane for $2\leq p<\infty$. We achieve a logarithmic modulus of continuity for the derivatives. The monotonicity (in the sense of Lebesgue) of the derivatives is used. The case with two exponents is also included.


title: Establishing phase diagram for the band engineering in p-type PbTe/SnTe from elementary electronic structure understanding

abstract: Band engineering is an important mechanism to increase the thermopower of thermoelectric materials by reconstructing the band structure near Fermi level. PbTe and SnTe are the most representative systems in which band engineering were achieved by various dopants. Starting with the elementary understanding of the band structures, we established the phase diagram for the band engineering in p-type PbTe/SnTe by constructing an s-p bonding model. We show that the effects of band tuning are mainly determined by an inherent parameter of doping element: the s orbital energy level. With the phase diagram, all the related experimental observations can be consistently explained, moreover, undiscovered effective dopants become foreseeable. Our study discovers an applicable criteria to pick up proper dopants from the periodic table directly, and the analytical method can be adopted to more thermoelectric materials.


title: Chemical Bonding in Epitaxial ZrB2 Studied by X-ray Spectroscopy

abstract: The chemical bonding in an epitaxial ZrB2 film is investigated by Zr K-edge (1s) X-ray absorption near-edge structure (XANES) and extended X-ray absorption fine structure (EXAFS) spectroscopies and compared to the ZrB2 compound target from which the film was synthesized as well as a bulk {\alpha}-Zr reference. Quantitative analysis of X-ray Photoelectron Spectroscopy spectra reveals at the surface: ~5% O in the epitaxial ZrB2 film, ~19% O in the ZrB2 compound target and ~22% O in the bulk {\alpha}-Zr reference after completed sputter cleaning. For the ZrB2 compound target, X-ray diffraction (XRD) shows weak but visible -111, 111, and 220 peaks from monoclinic ZrO2 together with peaks from ZrB2 and where the intensity distribution for the ZrB2 peaks show a randomly oriented target material. For the bulk {\alpha}-Zr reference no peaks from any crystalline oxide were visible in the diffractogram recorded from the 0001-oriented metal. The Zr K-edge absorption from the two ZrB2 samples demonstrate more pronounced oscillations for the epitaxial ZrB2 film than in the bulk ZrB2 attributed to the high atomic ordering within the columns of the film. The XANES exhibits no pre-peak due to lack of p-d hybridization in ZrB2, but with a chemical shift towards higher energy of 4 eV in the film and 6 eV for the bulk compared to {\alpha}-Zr (17.993 keV) from the charge-transfer from Zr to B. The 2 eV larger shift in bulk ZrB2 material suggests higher oxygen content than in the epitaxial film, which is supported by XPS. In EXAFS, the modelled cell-edge in ZrB2 is slightly smaller in the thin film (a=3.165 {\AA}, c=3.520 {\AA}) in comparison to the bulk target material (a=3.175 {\AA}, c=3.540 {\AA}) while in hexagonal closest-packed metal ({\alpha}-phase, a=3.254 {\AA}, c=5.147 {\AA}).


title: Linear Complexity and Autocorrelation of two Classes of New Interleaved Sequences of Period $2N$

abstract: The autocorrelation and the linear complexity of a key stream sequence in a stream cipher are important cryptographic properties. Many sequences with these good properties have interleaved structure, three classes of binary sequences of period $4N$ with optimal autocorrelation values have been constructed by Tang and Gong based on interleaving certain kinds of sequences of period $N$. In this paper, we use the interleaving technique to construct a binary sequence with the optimal autocorrelation of period $2N$, then we calculate its autocorrelation values and its distribution, and give a lower bound of linear complexity. Results show that these sequences have low autocorrelation and the linear complexity satisfies the requirements of cryptography.


title: Electric-magnetic duality as a quantum operator and more symmetries of $U(1)$ gauge theory

abstract: We promote the Noether charge of the electric-magnetic duality symmetry of $U(1)$ gauge theory, "$G$" to a quantum operator. We construct ladder operators, $D_{(\pm)a}^\dagger(k)$ and $D_{(\pm)a}(k)$ which create and annihilate the simultaneous quantum eigen states of the quantum Hamiltonian(or number) and the electric-magnetic duality operators respectively. Therefore all the quantum states of the $U(1)$ gauge fields can be expressed by a form of $|E,g\rangle$, where $E$ is the energy of the state, the $g$ is the eigen value of the quantum operator $G$, where the $g$ is quantized in the unit of 1. We also show that 10 independent bilinears comprised of the creation and annihilation operators can form $SO(2,3)$ which is as demonstrated in the Dirac's paper published in 1962. The number operator and the electric-magnetic duality operator are the members of the $SO(2,3)$ generators. We note that there are two more generators which commute with the number operator(or Hamiltonian). We prove that these generators are indeed symmetries of the $U(1)$ gauge field theory action.


title: Models for the Unusual Supernova iPTF14hls

abstract: Supernova iPTF14hls maintained a bright, variable luminosity for more than 600 days, while lines of hydrogen and iron in its spectrum had different speeds, but showed little evolution. Here several varieties of models are explored for iPTF14hls-like events. They are based upon circumstellar medium (CSM) interaction in an ordinary supernova, pulsational pair-instability supernovae (PPISN), and magnetar formation. Each is able to explain the enduring emission and brightness of iPTF14hls, but has shortcomings when confronted with other observed characteristics. The PPISN model can, in some cases, produce a presupernova transient like the one observed at the site of iPTF14hls in 1954. It also offers a clear path to providing the necessary half solar mass of material at $\sim 5 \times 10^{16}$ cm for CSM interaction to work, and can give an irregular light curve without invoking additional assumptions. It explains the 4000 km s$^{-1}$ seen in the iron lines, but without additional energy input, strains to explain the nearly constant 8000 km s$^{-1}$ velocity seen in H$_{\alpha}$. Magnetar models can also explain many of the observed features, but give a smooth light curve and may require an evolving magnetic field strength. Their dynamics may be difficult to reconcile with the observation of slow-moving hydrogen at late times. The various models predict different spectral characteristics and a remnant that, today, could be a black hole, magnetar, or even a star. Further observations and calculations of radiation transport will narrow the range of possibilities.


title: Higher-order force moments of active particles

abstract: Active particles moving through fluids generate disturbance flows due to their activity. For simplicity, the induced flow field is often modeled by the leading terms in a far-field approximation of the Stokes equations, whose coefficients are the force, torque and stresslet (zeroth and first-order force moments) of the active particle. This level of approximation is quite useful, but may also fail to predict more complex behaviors that are observed experimentally. In this study, to provide a better approximation, we evaluate the contribution of the second-order force moments to the flow field and, by reciprocal theorem, present explicit formulas for the stresslet dipole, rotlet dipole and potential dipole for an arbitrarily-shaped active particle. As examples of this method, we derive modified Fax\'en laws for active spherical particles and resolve higher-order moments for active rod-like particles.


title: Monitoring physical function in patients with knee osteoarthritis using data from wearable activity monitors

abstract: Currently used clinical assessments for physical function do not objectively quantify daily activities in routine living. Wearable activity monitors enable objective measurement of routine daily activities, but do not map to clinically measured physical performance measures. We represent physical function as a daily activity profile derived from minute-level activity data obtained via a wearable activity monitor. We construct daily activity profiles representing average time spent in a set of activity classes over consecutive days using the Osteoarthritis Initiative (OAI) data. Using the daily activity profile as input, we trained statistical models that classify subjects into quartiles of objective measurements of physical function as measured via the 400m walk test, the 20m walk test and 5 times sit stand test. We evaluated model performance on held out data from the same calendar year as that used to train the models as well as on activity data two years into the future. The daily activity profile predicts physical performance as measured via clinical assessments. Using held out data, the AUC obtained in classifying performance values in the 1st quartile was 0.79, 0.78 and 0.72, for the 400m walk, the 20m walk and 5 times sit stand tests. For classifying performance values in the 4th quartile, the AUC obtained was 0.77, 0.66 and 0.73 respectively. Evaluated on data from two years into the future, for the 20m pace test and the 5 times sit stand tests, the highest AUC obtained was 0.77 and 0.68 for the 1st quartile and 0.75 and 0.70 for the 4th quartile respectively. We can construct activity profiles representing actual physical function as demonstrated by the relationship between the activity profiles and the clinically measured physical performance measures. Measurement of physical performance via the activity profile as described can enable remote functional monitoring of patients.


title: Optomechanical second-order sidebands and group delays in a Kerr resonator

abstract: We theoretically study high-order optomechanically-induced transparency (OMIT) process in a nonlinear Kerr resonator. A frequency shift induced by the Kerr effect, is identified for the optical cavity mode, which results in asymmetric OMIT windows of the signal and its higher-order sidebands. We also find that both the sideband amplitude and its associated group delay sensitively depend on the strength of the Kerr nonlinearity. This indicates the possibility to enhance or steer the performance of OMIT devices with various nonlinear optical cavities.


title: A class of Meijer's G functions and further representations of the generalized hypergeometric functions

abstract: In this paper we investigate the Meijer's $G$ function $G^{p,1}_{p+1,p+1}$ which for certain parameter values represents the Riemann-Liouville fractional integral of Meijer-N{\o}rlund function $G^{p,0}_{p,p}$. Our results for $G^{p,1}_{p+1,p+1}$ include: a regularization formula for overlapping poles, a connection formula with the Meijer-N{\o}rlund function, asymptotic formulas around the origin and unity, formulas for the moments, a hypergeometric transform and a sign stabilization theorem for growing parameters. We further employ the properties of $G^{p,1}_{p+1,p+1}$ to calculate the Hadamard finite part of an integral containing the Meijer-N{\o}rlund function that is singular at unity. In the ultimate section, we define an alternative regularization for such integral better suited for representing the Bessel type generalized hypergeometric function ${}_{p-1}F_{p}$. A particular case of this regularization is then used to identify some new facts about the positivity and reality of the zeros of this function.


title: Flat-band localization and self-collimation of light in photonic crystals

abstract: We investigate the optical properties of a photonic crystal composed of a quasi-one-dimensional flat-band lattice array through finite-difference time-domain simulations. The photonic bands contain flat bands (FBs) at specific frequencies, which correspond to compact localized states as a consequence of destructive interference. The FBs are shown to be nondispersive along the $\Gamma\rightarrow X$ line, but dispersive along the $\Gamma\rightarrow Y$ line. The FB localization of light in a single direction only results in a self-collimation of light propagation throughout the photonic crystal at the FB frequency.


title: Nuclear fourth-order symmetry energy and its effects on neutron star properties in the relativistic Hartree-Fock theory

abstract: Adopting the density dependent relativistic mean-field (RMF) and relativistic Hartree-Fock (RHF) approaches, the properties of the nuclear fourth-order symmetry energy $S_4$ are studied within the covariant density functional (CDF) theory. It is found that the fourth-order symmetry energies are suppressed in RHF at both saturation and supranuclear densities, where the extra contribution from the Fock terms is demonstrated, specifically via the isoscalar meson-nucleon coupling channels. The reservation of $S_4$ and higher-order symmetry energies in the nuclear equation of state then affects essentially the prediction of neutron star properties, which is illustrated in the quantities such as the proton fraction, the core-crust transition density as well as the fraction of crustal moment of inertia. Since the Fock terms enhance the density dependence of the thermodynamical potential, the RHF calculations predict systematically smaller values of density, proton fraction and pressure at the core-crust transition boundary of neutron stars than density dependent RMF ones. In addition, a linear anti-correlation between the core-crust transition density $\rho_t$ and the density slope of symmetry energy $L$ is found which is then utilized to constrain the core-crust transition density as $\rho_t\thicksim[0.069, 0.098]~\rm{fm}^{-3}$ with the recent empirical information on $L$. The study clarifies the important role of the fourth-order symmetry energy in determining the properties of nuclear matter at extreme isospin or density conditions.


title: Beyond the neutron-drip line: two-neutron decay of unbound nuclei

abstract: We discuss a decay of unbound nuclei beyond the neutron drip-line using a three-body model with a core nucleus and two valence neutrons. We particularly discuss the role of dineutron correlation between the valence neutrons in the two-neutron emission from the ground state of $^{26}$O and $^{10}$He nuclei. Our calculations clearly indicate that the emission of the two neutrons in the back-to-back direction is enhanced due to the dineutron correlation.


title: Adjoint sensitivity analysis on chaotic dynamical systems by Non-Intrusive Least Squares Adjoint Shadowing (NILSAS)

abstract: We develop the NILSAS algorithm, which performs adjoint sensitivity analysis of chaotic systems via computing the adjoint shadowing direction. NILSAS constrains its minimization to the adjoint unstable subspace, and can be implemented with little modification to existing adjoint solvers. The computational cost of NILSAS is independent of the number of parameters. We demonstrate NILSAS on the Lorenz 63 system and a weakly turbulent three-dimensional flow over a cylinder.


title: Short-term at-the-money asymptotics under stochastic volatility models

abstract: A small-time Edgeworth expansion of the density of an asset price is given under a general stochastic volatility model, from which asymptotic expansions of put option prices and at-the-money implied volatilities follow. A limit theorem for at-the-money implied volatility skew and curvature is also given as a corollary. The rough Bergomi model is treated as an example.


title: Neural Algebra of Classifiers

abstract: The world is fundamentally compositional, so it is natural to think of visual recognition as the recognition of basic visually primitives that are composed according to well-defined rules. This strategy allows us to recognize unseen complex concepts from simple visual primitives. However, the current trend in visual recognition follows a data greedy approach where huge amounts of data are required to learn models for any desired visual concept. In this paper, we build on the compositionality principle and develop an "algebra" to compose classifiers for complex visual concepts. To this end, we learn neural network modules to perform boolean algebra operations on simple visual classifiers. Since these modules form a complete functional set, a classifier for any complex visual concept defined as a boolean expression of primitives can be obtained by recursively applying the learned modules, even if we do not have a single training sample. As our experiments show, using such a framework, we can compose classifiers for complex visual concepts outperforming standard baselines on two well-known visual recognition benchmarks. Finally, we present a qualitative analysis of our method and its properties.


title: Multiqubit UPB: The method of formally orthogonal matrices

abstract: We use formal matrices whose entries we view as vector variables taking unit vectors values in one-qubit Hilbert spaces of a multiqubit quantum system. We construct many unextendible product bases (UPBs) of new sizes in such systems and provide a new construction of UPBs of $n$ qubits of cardinality $n+1$ when $n\equiv 3 \pmod{4}$. We also give a new method of constructing multiqubit entangled states with all partial transposes positive.


title: Topological Hall effect in diffusive ferromagnetic thin films with spin-flip scattering

abstract: We study the topological Hall effect in a diffusive ferromagnetic metal thin film by solving a Boltzmann transport equation in the presence of spin-flip scattering. A generalized spin diffusion equation is derived, which contains an additional source term associated with the gradient of the emergent magnetic field that arises, and its solution shows that spin accumulation may build up in the vicinity of the magnetic skyrmions. We show that the spin accumulation gives rise to a spin polarized diffusion current that in general suppresses that bulk topological Hall current. Only when the spin diffusion length is much smaller than the skyrmion size, the topological Hall resistivity approaches to the one originally derived by Bruno \textit{et al.} [Phys. Rev. Lett. \textbf{93}, 096806 (2004)]. We derive a general expression of the TH resistivity that applies to thin-film geometries with spin-flip scattering, and show that the corrections to the TH resistivity become large when the size of room temperature skyrmions is further reduced to tens of nanometers.


title: Giant Tunneling Magnetoresistance in Spin-Filter van der Waals Heterostructures

abstract: Magnetic multilayer devices that exploit magnetoresistance are the backbone of magnetic sensing and data storage technologies. Here we report novel multiple-spin-filter magnetic tunnel junctions (sf-MTJs) based on van der Waals (vdW) heterostructures in which atomically thin chromium triiodide (CrI3) acts as a spin-filter tunnel barrier sandwiched between graphene contacts. We demonstrate tunneling magnetoresistance which is drastically enhanced with increasing CrI3 layer thickness, reaching a record 19,000% for magnetic multilayer structures using four-layer sf-MTJs at low temperatures. These devices also show multiple resistance states as a function of magnetic field, suggesting the potential for multi-bit functionalities using an individual vdW sf-MTJ. Using magnetic circular dichroism measurements, we attribute these effects to the intrinsic layer-by-layer antiferromagnetic ordering of the atomically thin CrI3. Our work reveals the possibility to push magnetic information storage to the atomically thin limit, and highlights CrI3 as a superlative magnetic tunnel barrier for vdW heterostructure spintronic devices.


title: ${\rm SL}(m,C)$-equivariant and translation covariant continuous tensor valuations

abstract: The space of continuous, ${\rm SL}(m,C)$-equivariant, $m\geq 2$, and translation covariant valuations taking values in the space of real symmetric tensors on $C^m\cong R^{2m}$ of rank $r\geq 0$ is completely described. The classification involves the moment tensor valuation for $r\geq 1$ and is analogous to the classification of the corresponding tensor valuations that are ${\rm SL}(2m,R)$-equivariant, although the method of proof cannot be adapted.


title: Absolutely split metacyclic groups and weak metacirculants

abstract: Let $m,n,r$ be positive integers, and let $G=\langle a\rangle: \langle b\rangle \cong \mathbb{Z}_n: \mathbb{Z}_m$ be a split metacyclic group such that $b^{-1}ab=a^r$. We say that $G$ is {\em absolutely split with respect to $\langle a\rangle$} provided that for any $x\in G$, if $\langle x\rangle\cap\langle a\rangle=1$, then there exists $y\in G$ such that $x\in\langle y\rangle$ and $G=\langle a\rangle: \langle y\rangle$. In this paper, we give a sufficient and necessary condition for the group $G$ being absolutely split. This generalizes a result of Sanming Zhou and the second author in [arXiv: 1611.06264v1]. We also use this result to investigate the relationship between metacirculants and weak metacirculants. Metacirculants were introduced by Alspach and Parsons in $1982$ and have been a rich source of various topics since then. As a generalization of this classes of graphs, Maru\v si\v c and \v Sparl in 2008 posed the so called weak metacirculants. A graph is called a {\em weak metacirculant} if it has a vertex-transitive metacyclic automorphism group. In this paper, it is proved that a weak metacirculant of $2$-power order is a metacirculant if and only if it has a vertex-transitive split metacyclic automorphism group. This provides a partial answer to an open question in the literature.