title: Gradient Boosted Feature Selection

abstract: A feature selection algorithm should ideally satisfy four conditions: reliably extract relevant features; be able to identify non-linear feature interactions; scale linearly with the number of features and dimensions; allow the incorporation of known sparsity structure. In this work we propose a novel feature selection algorithm, Gradient Boosted Feature Selection (GBFS), which satisfies all four of these requirements. The algorithm is flexible, scalable, and surprisingly straight-forward to implement as it is based on a modification of Gradient Boosted Trees. We evaluate GBFS on several real world data sets and show that it matches or out-performs other state of the art feature selection algorithms. Yet it scales to larger data set sizes and naturally allows for domain-specific side information.


title: The Liver Tumor Segmentation Benchmark (LiTS)

abstract: In this work, we report the set-up and results of the Liver Tumor Segmentation Benchmark (LiTS), which was organized in conjunction with the IEEE International Symposium on Biomedical Imaging (ISBI) 2017 and the International Conferences on Medical Image Computing and Computer-Assisted Intervention (MICCAI) 2017 and 2018. The image dataset is diverse and contains primary and secondary tumors with varied sizes and appearances with various lesion-to-background levels (hyper-/hypo-dense), created in collaboration with seven hospitals and research institutions. Seventy-five submitted liver and liver tumor segmentation algorithms were trained on a set of 131 computed tomography (CT) volumes and were tested on 70 unseen test images acquired from different patients. We found that not a single algorithm performed best for both liver and liver tumors in the three events. The best liver segmentation algorithm achieved a Dice score of 0.963, whereas, for tumor segmentation, the best algorithms achieved Dices scores of 0.674 (ISBI 2017), 0.702 (MICCAI 2017), and 0.739 (MICCAI 2018). Retrospectively, we performed additional analysis on liver tumor detection and revealed that not all top-performing segmentation algorithms worked well for tumor detection. The best liver tumor detection method achieved a lesion-wise recall of 0.458 (ISBI 2017), 0.515 (MICCAI 2017), and 0.554 (MICCAI 2018), indicating the need for further research. LiTS remains an active benchmark and resource for research, e.g., contributing the liver-related segmentation tasks in \url{http://medicaldecathlon.com/}. In addition, both data and online evaluation are accessible via \url{www.lits-challenge.com}.


title: A search for technosignatures from TRAPPIST-1, LHS 1140, and 10 planetary systems in the Kepler field with the Green Bank Telescope at 1.15-1.73 GHz

abstract: As part of our ongoing search for technosignatures, we collected over three terabytes of data in May 2017 with the L-band receiver (1.15-1.73 GHz) of the 100 m diameter Green Bank Telescope. These observations focused primarily on planetary systems in the Kepler field, but also included scans of the recently discovered TRAPPIST-1 and LHS 1140 systems. We present the results of our search for narrowband signals in this data set with techniques that are generally similar to those described by Margot et al. (2018). Our improved data processing pipeline classified over $98\%$ of the $\sim$ 6 million detected signals as anthropogenic Radio Frequency Interference (RFI). Of the remaining candidates, 30 were detected outside of densely populated frequency regions attributable to RFI. These candidates were carefully examined and determined to be of terrestrial origin. We discuss the problems associated with the common practice of ignoring frequency space around candidate detections in radio technosignature detection pipelines. These problems include inaccurate estimates of figures of merit and unreliable upper limits on the prevalence of technosignatures. We present an algorithm that mitigates these problems and improves the efficiency of the search. Specifically, our new algorithm increases the number of candidate detections by a factor of more than four compared to Margot et al. (2018).


title: Multi-Cell Interference Exploitation: A New Dimension in Cell Coordination

abstract: In this paper, we propose a series of novel coordination schemes for multi-cell downlink communication. Starting from full base station (BS) coordination, we first propose a fully-coordinated scheme to exploit beneficial effects of both inter-cell and intra-cell interference, based on sharing both channel state information (CSI) and data among the BSs. To reduce the coordination overhead, we then propose a partially-coordinated scheme where only intra-cell interference is designed to be constructive while inter-cell is jointly suppressed by the coordinated BSs. Accordingly, the coordination only involves CSI exchange and the need for sharing data is eliminated. To further reduce the coordination overhead, a third scheme is proposed, which only requires the knowledge of statistical inter-cell channels, at the cost of a slight increase on the transmission power. For all the proposed schemes, imperfect CSI is considered. We minimize the total transmission power in terms of probabilistic and deterministic optimizations. Explicitly, the former statistically satisfies the users' signal-to-interference-plus-noise ratio (SINR) while the latter guarantees the SINR requirements in the worst case CSI uncertainties. Simulation verifies that our schemes consume much lower power compared to the existing benchmarks, i.e., coordinated multi-point (CoMP) and coordinated-beamforming (CBF) systems, opening a new dimension on multi-cell coordination.


title: GAN-based Virtual Re-Staining: A Promising Solution for Whole Slide Image Analysis

abstract: Histopathological cancer diagnosis is based on visual examination of stained tissue slides. Hematoxylin and eosin (H\&E) is a standard stain routinely employed worldwide. It is easy to acquire and cost effective, but cells and tissue components show low-contrast with varying tones of dark blue and pink, which makes difficult visual assessments, digital image analysis, and quantifications. These limitations can be overcome by IHC staining of target proteins of the tissue slide. IHC provides a selective, high-contrast imaging of cells and tissue components, but their use is largely limited by a significantly more complex laboratory processing and high cost. We proposed a conditional CycleGAN (cCGAN) network to transform the H\&E stained images into IHC stained images, facilitating virtual IHC staining on the same slide. This data-driven method requires only a limited amount of labelled data but will generate pixel level segmentation results. The proposed cCGAN model improves the original network \cite{zhu_unpaired_2017} by adding category conditions and introducing two structural loss functions, which realize a multi-subdomain translation and improve the translation accuracy as well. % need to give reasons here. Experiments demonstrate that the proposed model outperforms the original method in unpaired image translation with multi-subdomains. We also explore the potential of unpaired images to image translation method applied on other histology images related tasks with different staining techniques.


title: Measurement of electroweak WZ boson production and search for new physics in WZ $+$ two jets events in pp collisions at $\sqrt{s} =$ 13 TeV

abstract: A measurement of WZ electroweak (EW) vector boson scattering is presented. The measurement is performed in the leptonic decay modes WZ $\to$ $\ell\nu\ell'\ell'$, where $\ell, \ell' = $ e, $\mu$. The analysis is based on a data sample of proton-proton collisions at $\sqrt{s} =$ 13 TeV at the LHC collected with the CMS detector and corresponding to an integrated luminosity of 35.9 fb$^{-1}$. The WZ plus two jet production cross section is measured in fiducial regions with enhanced contributions from EW production and found to be consistent with standard model predictions. The EW WZ production in association with two jets is measured with an observed (expected) significance of 2.2 (2.5) standard deviations. Constraints on charged Higgs boson production and on anomalous quartic gauge couplings in terms of dimension-eight effective field theory operators are also presented.


title: Moments of the Riemann zeta function on short intervals of the critical line

abstract: We show that as $T\to \infty$, for all $t\in [T,2T]$ outside of a set of measure $\mathrm{o}(T)$, $$ \int_{-(\log T)^{\theta}}^{(\log T)^{\theta}} |\zeta(\tfrac 12 + \mathrm{i} t + \mathrm{i} h)|^{\beta} \mathrm{d} h = (\log T)^{f_{\theta}(\beta) + \mathrm{o}(1)}, $$ for some explicit exponent $f_{\theta}(\beta)$, where $\theta > -1$ and $\beta > 0$. This proves an extended version of a conjecture of Fyodorov and Keating (2014). In particular, it shows that, for all $\theta > -1$, the moments exhibit a phase transition at a critical exponent $\beta_c(\theta)$, below which $f_\theta(\beta)$ is quadratic and above which $f_\theta(\beta)$ is linear. The form of the exponent $f_\theta$ also differs between mesoscopic intervals ($-1<\theta<0$) and macroscopic intervals ($\theta>0$), a phenomenon that stems from an approximate tree structure for the correlations of zeta. We also prove that, for all $t\in [T,2T]$ outside a set of measure $\mathrm{o}(T)$, $$ \max_{|h| \leq (\log T)^{\theta}} |\zeta(\tfrac{1}{2} + \mathrm{i} t + \mathrm{i} h)| = (\log T)^{m(\theta) + \mathrm{o}(1)}, $$ for some explicit $m(\theta)$. This generalizes earlier results of Najnudel (2018) and Arguin et al. (2019) for $\theta = 0$. The proofs are unconditional, except for the upper bounds when $\theta > 3$, where the Riemann hypothesis is assumed.


title: Role of electric fields on enhanced electron correlation in surface-doped FeSe

abstract: Electron-doped high-Tc FeSe reportedly has a strong electron correlation that is enhanced with doping. It has been noticed that significant electric fields exist inevitably between FeSe and external donors along with electron transfer. However, the effects of such fields on electron correlation are yet to be explored. Here we study potassium- (K-) dosed FeSe layers using density-functional theory combined with dynamical mean-field theory to investigate the roles of such electric fields on the strength of the electron correlation. We find, very interestingly, the electronic potential-energy difference between the topmost Se and Fe atomic layers, generated by local electric fields of ionized K atoms, weakens the Se-mediated hopping between Fe d orbitals. Since it is the dominant hopping channel in FeSe, its reduction narrows the Fe d bands near the Fermi level, enhancing the electron correlation. This effect is orbital dependent and occurs in the topmost FeSe layer only. We also find the K dosing may increase the Se height, enhancing the electron correlation further. These results shed new light on the comprehensive study of high-Tc FeSe and other low-dimensional systems.


title: Addition Theorem Revisiting for Phase/Amplitude-Encoded Metasurfaces: Asymmetric Spatial Power Dividers

abstract: Recent years have witnessed an extraordinary spurt in attention toward the wave manipulating strategies revealed by coding metasurfaces as they build up a bridge between the physical and digital worlds. Newly, it has been shown that when two different coding patterns responsible for doing separate missions are added together based on the superposition theorem, the mixed coding pattern will perform both missions at the same time. In this paper, via a semi-analytical procedure, we demonstrate that such a theorem is not necessarily valid for all possible functionalities with considering phase-only coding distributions and ignoring the element pattern function. By revisiting the addition theorem, we introduce the concept of asymmetric spatial power divider (ASPD) with arbitrary power ratio levels in which modulating both amplitude and phase of the meta-atoms is inevitable to fully control the power intensity pattern of the metasurface. Numerical simulations illustrate that the proposed ASPD driven by proper coding sequences can directly generate a desired number of beams with pre-determined orientations and power budgets. The phase/amplitude-encoded Pancharatnam-Berry meta-atoms realize the required coding pattern in each case and good conformity between simulations and theoretical predictions verifies the presented formalism. This work exposes a new opportunity to implement spatial power dividers for various applications such as multiple-target radar systems, beamforming networks, and multiple-input multiple-output (MIMO) communication.


title: A class of phylogenetic networks reconstructable from ancestral profiles

abstract: Rooted phylogenetic networks provide an explicit representation of the evolutionary history of a set $X$ of sampled species. In contrast to phylogenetic trees which show only speciation events, networks can also accommodate reticulate processes (for example, hybrid evolution, endosymbiosis, and lateral gene transfer). A major goal in systematic biology is to infer evolutionary relationships, and while phylogenetic trees can be uniquely determined from various simple combinatorial data on $X$, for networks the reconstruction question is much more subtle. Here we ask when can a network be uniquely reconstructed from its `ancestral profile' (the number of paths from each ancestral vertex to each element in $X$). We show that reconstruction holds (even within the class of all networks) for a class of networks we call `orchard networks', and we provide a polynomial-time algorithm for reconstructing any orchard network from its ancestral profile. Our approach relies on establishing a structural theorem for orchard networks, which also provides for a fast (polynomial-time) algorithm to test if any given network is of orchard type. Since the class of orchard networks includes tree-sibling tree-consistent networks and tree-child networks, our result generalise reconstruction results from 2008 and 2009. Orchard networks allow for an unbounded number $k$ of reticulation vertices, in contrast to tree-sibling tree-consistent networks and tree-child networks for which $k$ is at most $2|X|-4$ and $|X|-1$, respectively.


title: Gradient Regularized Budgeted Boosting

abstract: As machine learning transitions increasingly towards real world applications controlling the test-time cost of algorithms becomes more and more crucial. Recent work, such as the Greedy Miser and Speedboost, incorporate test-time budget constraints into the training procedure and learn classifiers that provably stay within budget (in expectation). However, so far, these algorithms are limited to the supervised learning scenario where sufficient amounts of labeled data are available. In this paper we investigate the common scenario where labeled data is scarce but unlabeled data is available in abundance. We propose an algorithm that leverages the unlabeled data (through Laplace smoothing) and learns classifiers with budget constraints. Our model, based on gradient boosted regression trees (GBRT), is, to our knowledge, the first algorithm for semi-supervised budgeted learning.


title: Families of minimal surfaces in $\mathbb{H}^2 \times \mathbb{R}$ foliated by arcs and their Jacobi fields

abstract: This note provides some new perspectives and calculations regarding an interesting known family of minimal surfaces in $\mathbb{H}^2 \times \mathbb{R}$. The surfaces in this family are the catenoids, parabolic catenoids and tall rectangles. Each is foliated by either circles, horocycles or circular arcs in horizontal copies of $\mathbb{H}^2$. All of these surfaces are well-known, but the emphasis here is on their unifying features and the fact that they lie in a single continuous family. We also initiate a study of the Jacobi operator on the parabolic catenoid, and compute the Jacobi fields associated to deformations to either of the two other types of surfaces in this family.


title: Scaling functions for graph directed Markov systems

abstract: We introduce the scaling function associated to a graph directed Markov system, and show that it is a H\"{o}lder continuous function of the dual symbolic Cantor set. With some natural separation and regularity conditions, each such system has a unique Cantor limit set in Euclidean space. We prove that the scaling function is a complete invariant of $ C^{1+\alpha} $ conjugacy between limit sets. We conclude by relating the scaling function to the pressure, and discussing several applications to the dimension theory of limit sets.


title: Longest Common Subsequence on Weighted Sequences

abstract: We consider the general problem of the Longest Common Subsequence (LCS) on weighted sequences. Weighted sequences are an extension of classical strings, where in each position every letter of the alphabet may occur with some probability. Previous results presented a PTAS and noticed that no FPTAS is possible unless P=NP. In this paper we essentially close the gap between upper and lower bounds by improving both. First of all, we provide an EPTAS for bounded alphabets (which is the most natural case), and prove that there does not exist any EPTAS for unbounded alphabets unless FPT=W[1]. Furthermore, under the Exponential Time Hypothesis, we provide a lower bound which shows that no significantly better PTAS can exist for unbounded alphabets. As a side note, we prove that it is sufficient to work with only one threshold in the general variant of the problem.


title: The "Monkey Typing Shakespeare" Problem for Compositions

abstract: Suppose that your mother gave you n candies. You have to eat at least one candy each day. One possibility is to eat all n of them the first day. The other extreme is to make them last n days, and only eat one candy a day. Altogether, you have, famously, 2 to the power n-1 choices. If each such choice is equally likely, what is the probability that you never have three consecutive days, where in the first day you ate at least 2 candies, in the second day you ate at least 5 candies, and in the third day you ate at least 3 candies? This article describes algorithms, fully implemented in two Maple packages, to answer such important questions, and more general ones, of this kind.


title: Perfect-fluid, generalised Robertson-Walker space-times, and Gray's decomposition

abstract: We give new necessary and sufficient conditions on the Weyl tensor for generalized Robertson-Walker (GRW) space-times to be perfect-fluid space-times. For GRW space-times, we determine the form of the Ricci tensor in all the O(n)-invariant subspaces provided by Gray's decomposition of the gradient of the Ricci tensor. In all but one, the Ricci tensor is Einstein or has the form of perfect fluid. We discuss the corresponding equations of state that result from the Einstein equation in dimension 4, where perfect-fluid GRW space-times are Robertson-Walker.


title: Studying Neutral Current Elastic Scattering and the Strange Axial Form Factor in MicroBooNE

abstract: One of the least constrained contributions to the neutral current (NC) elastic neutrino-proton cross section is the strange axial form factor, which represents the strange quark spin contribution to the spin structure of the proton. This becomes the net strange spin contribution, $\Delta s$, in the limit when the negative four-momentum transfer squared ($Q^2$) is zero. The strange axial form factor can be determined by studying NC elastic scattering events in the MicroBooNE detector. MicroBooNE's unique ability to detect low-energy protons is expected to allow the reconstruction of these events with a $Q^2$ as low as 0.10 GeV$^2$ and to determine the strange axial form factor in a model-independent approach. We present a selection of neutral current elastic events in a subset of MicroBooNE neutrino data, as well as our plan to extract the strange part of the axial form factor and $\Delta s$ from this selection in the full data set.


title: Critical Incidents for Technology Enhanced Learning in Vocational Education and Training - Observations from the field of mechanical engineering

abstract: In this study, observations of the Vocational Education and Training (VET) in mechanical engineering companies are carried out. A Learning Management System (LMS) had been developed for the assistance in solving typical task structures, that are used for a period of three and a half years in the apprenticeship. In this study, the Critical Incident Technique (CIT) is applied for the observations. For the subsequent analysis, a classification of incidents is performed. The most important incidents as well as conclusions for Technical Enhanced Learning (TEL) in similar domains are presented.


title: Frameworks for two-dimensional Keller maps

abstract: A Keller map is a counterexample to the Jacobian Conjecture. In dimension two every such map, if exists, leads to a complicated set of conditions on the map between the Picard groups of suitable compactifications of the affine plane. This is essentially a combinatorial problem. Some solutions to it, that we call frameworks, are described and discussed. This second version of the paper includes several more frameworks than the first version, including one substantially more complicated framework.


title: Complete non-compact Spin(7) manifolds from self-dual Einstein 4-orbifolds

abstract: We present an analytic construction of complete non-compact 8-dimensional Ricci-flat manifolds with holonomy Spin(7). The construction relies on the study of the adiabatic limit of metrics with holonomy Spin(7) on principal Seifert circle bundles over asymptotically conical G2 orbifolds. The metrics we produce have an asymptotic geometry, so-called ALC geometry, that generalises to higher dimensions the geometry of 4-dimensional ALF hyperk\"ahler metrics. We apply our construction to asymptotically conical G2 metrics arising from self-dual Einstein 4-orbifolds with positive scalar curvature. As illustrative examples of the power of our construction, we produce complete non-compact Spin(7) manifolds with arbitrarily large second Betti number and infinitely many distinct families of ALC Spin(7) metrics on the same smooth 8-manifold.


title: C*-algebras from actions of congruence monoids on rings of algebraic integers

abstract: Let $K$ be a number field with ring of integers $R$. Given a modulus $\mathfrak{m}$ for $K$ and a group $\Gamma$ of residues modulo $\mathfrak{m}$, we consider the semi-direct product $R\rtimes R_{\mathfrak{m},\Gamma}$ obtained by restricting the multiplicative part of the full $ax+b$-semigroup over $R$ to those algebraic integers whose residue modulo $\mathfrak{m}$ lies in $\Gamma$, and we study the left regular C*-algebra of this semigroup. We give two presentations of this C*-algebra and realize it as a full corner in a crossed product C*-algebra. We also establish a faithfulness criterion for representations in terms of projections associated with ideal classes in a quotient of the ray class group modulo $\mathfrak{m}$, and we explicitly describe the primitive ideals using relations only involving the range projections of the generating isometries; this leads to an explicit description of the boundary quotient. Our results generalize and strengthen those of Cuntz, Deninger, and Laca and of Echterhoff and Laca for the C*-algebra of the full $ax+b$-semigroup. We conclude by showing that our construction is functorial in the appropriate sense; in particular, we prove that the left regular C*-algebra of $R\rtimes R_{\mathfrak{m},\Gamma}$ embeds canonically into the left regular C*-algebra of the full $ax+b$-semigroup. Our methods rely heavily on Li's theory of semigroup C*-algebras.


title: Universal Continuous Calculus for Su*-Algebras

abstract: Universal continuous calculi are defined and it is shown that for every finite tuple of pairwise commuting Hermitian elements of a Su*-algebra (an ordered *-algebra that is symmetric, i.e. "strictly" positive elements are invertible, and uniformly complete), such a universal continuous calculus exists. This generalizes the continuous calculus for C*-algebras to a class of generally unbounded ordered *-algebras. On the way, some results about *-algebras of continuous functions on locally compact spaces are obtained. The approach used throughout is rather elementary and especially avoids any representation theory.


title: Vehicles Detection Based on Background Modeling

abstract: Background image subtraction algorithm is a common approach which detects moving objects in a video sequence by finding the significant difference between the video frames and the static background model. This paper presents a developed system which achieves vehicle detection by using background image subtraction algorithm based on blocks followed by deep learning data validation algorithm. The main idea is to segment the image into equal size blocks, to model the static reference background image (SRBI), by calculating the variance between each block pixels and each counterpart block pixels in the adjacent frame, the system implemented into four different methods: Absolute Difference, Image Entropy, Exclusive OR (XOR) and Discrete Cosine Transform (DCT). The experimental results showed that the DCT method has the highest vehicle detection accuracy.


title: Periodic Analog Channel Estimation Aided Beamforming for Massive MIMO Systems

abstract: Analog beamforming is an attractive and cost-effective solution to exploit the benefits of massive multiple-input-multiple-output systems, by requiring only one up/down-conversion chain. However, the presence of only one chain imposes a significant overhead in estimating the channel state information required for beamforming, when conventional digital channel estimation (CE) approaches are used. As an alternative, this paper proposes a novel CE technique, called periodic analog CE (PACE), that can be performed by analog hardware. By avoiding digital processing, the estimation overhead is significantly lowered and does not scale with number of antennas. PACE involves periodic transmission of a sinusoidal reference signal by the transmitter, estimation of its amplitude and phase at each receive antenna via analog hardware, and using these estimates for beamforming. To enable such non-trivial operation, two reference tone recovery techniques and a novel receiver architecture for PACE are proposed and analyzed, both theoretically and via simulations. Results suggest that in sparse, wide-band channels and above a certain signal-to-noise ratio, PACE aided beamforming suffers only a small loss in beamforming gain and enjoys a much lower CE overhead, in comparison to conventional approaches. Benefits of using PACE aided beamforming during the initial access phase are also discussed.


title: Classification and Recovery of Radio Signals from Cosmic Ray Induced Air Showers with Deep Learning

abstract: Radio emission from air showers enables measurements of cosmic particle kinematics and identity. The radio signals are detected in broadband Megahertz antennas among continuous background noise. We present two deep learning concepts and their performance when applied to simulated data. The first network classifies time traces as signal or background. We achieve a true positive rate of about 90% for signal-to-noise ratios larger than three with a false positive rate below 0.2%. The other network is used to clean the time trace from background and to recover the radio time trace originating from an air shower. Here we achieve a resolution in the energy contained in the trace of about 20% without a bias for $80\%$ of the traces with a signal. The obtained frequency spectrum is cleaned from signals of radio frequency interference and shows the expected shape.


title: On a Generalized Fibonacci Recurrence

abstract: The generalized Fibonacci recurrence $g_n=g_{n-k}+g_{n-m}$ was recently used to demonstrate the theoretically optimal nature of limited senescence in morphologically symmetrically dividing bacteria. Here, we study this recurrence from a more abstract viewpoint, as a general model for asymmetric branching, and interpret solutions for different initial conditions in terms of branching-related quantities. We provide a compact diagrammatic representation for the evolution of this process which leads to an explicit binomial identity for the sums of elements lying on the diagonals $kx+my=n$ in Pascal's triangle $\mathbb N_0\times \mathbb N_0\ni(x,y)\mapsto {x+y\choose x}$, previously sought by Dickinson [Dic50], Raab [Raa63], and Green [Gre68].


title: Implementing DMZ in Improving Network Security of Web Testing in STMIK AKBA

abstract: The aims of this research are to design and to implement network security system in internal web testing using DeMilitarized Zone Method and Microtic Router on Siakad server of STMIK AKBA. Data analysis techniques that possible to use is descriptive method. The significances of the study are 1) to avoid the attack of cracker who intend to access the system without permissions and 2) to improve network securityon web testing services on Siakad server of STMIK AKBA. The data are obtained by having literature review and observation. Literature review assists the researchers to collect the theory on DeMilitarised Zone Method and the previous studies which were used as comparison to the recent study. Obervation was carried out directly to the field to observe the running system. Based on the results and discussion, it is shown that the aplication of DeMilitarized Zone Method on microtic can secure the web testing on Siakad server of STMIK AKBA and can maintain the whole series of online services that are available in the server.


title: Nonlinear outcome of gravitational instability in an irradiated protoplanetary disc

abstract: Using local three dimensional radiation hydrodynamics simulations, the nonlinear outcome of gravitational instability in an irradiated protoplanetary disc is investigated in a parameter space of the surface density $\Sigma$ and the radius $r$. Starting from laminar flow, axisymmetric self-gravitating density waves grow first. Their self-gravitating degree becomes larger when $\Sigma$ is larger or the cooling time is shorter at larger radii. The density waves eventually collapse owing to non-axisymmetric instability, which results in either fragmentation or gravito-turbulence after a transient phase. The boundaries between the two are found at $r \sim 75$ AU as well as at the $\Sigma$ that corresponds to the initial Toomre's parameter of $\sim 0.2$. The former boundary corresponds to the radius where the cooling time becomes short, approximating unity. Even when gravito-turbulence is established around the boundary radius, such a short cooling time inevitably makes the fluctuation of $\Sigma$ large enough to trigger fragmentation. On the other hand, when $\Sigma$ is beyond the latter boundary (i.e. the initial Toomre's parameter is less than $\sim 0.2$), the initial laminar flow is so unstable against self-gravity that it evolves into fragmentation regardless of the radius or, equivalently, the cooling time. Runaway collapse follows fragmentation when the mass concentration at the centre of a bound object is high enough that the temperature exceeds the H$_2$ dissociation temperature.


title: Justification of Peregrine soliton from full water waves

abstract: The Peregrine soliton $Q(x,t)=e^{it}(1-\frac{4(1+2it)}{1+4x^2+4t^2})$ is an exact solution of the 1d focusing nonlinear schr\"{o}dinger equation (NLS) $iB_t+B_{xx}=-2|B|^2B$, having the feature that it decays to $e^{it}$ at the spatial and time infinities, and with a peak and troughs in a local region. It is considered as a prototype of the rogue waves by the ocean waves community. The 1D NLS is related to the full water wave system in the sense that asymptotically it is the envelope equation for the full water waves. In this paper, working in the framework of water waves which decay non-tangentially, we give a rigorous justification of the NLS from the full water waves equation in a regime that allows for the Peregrine soliton. As a byproduct, we prove long time existence of solutions for the full water waves equation with small initial data in space of the form $H^s(\mathbb{R})+H^{s'}(\mathbb{T})$, where $s\geq 4, s'>s+\frac{3}{2}$.


title: Wiener--Ito integral representation in vector valued Gaussian stationary random fields

abstract: The subject of this work is the multivariate generalization of the theory of multiple Wiener--It\^o integrals. In the scalar valued case this theory was described in paper\cite{11}. Our proofs apply the technique of this work, but in the proof of some results new ideas were needed. The motivation for this study was a result in paper\cite{1} of Arcones where he formulated the multivariate version of a non-central limit theorem for non-linear functionals of Gaussian stationary random fields presented in paper\cite{6}. We found the proof in paper\cite{1} incomplete and wanted to give a full proof. We did it in paper\cite{13}, but in that proof we needed a detailed description of the properties of non-linear functionals of vector valued stationary Gaussian fields. Here we provide the foundation needed to carry out that proof. --More--(0%)


title: Passage Re-ranking with BERT

abstract: Recently, neural models pretrained on a language modeling task, such as ELMo (Peters et al., 2017), OpenAI GPT (Radford et al., 2018), and BERT (Devlin et al., 2018), have achieved impressive results on various natural language processing tasks such as question-answering and natural language inference. In this paper, we describe a simple re-implementation of BERT for query-based passage re-ranking. Our system is the state of the art on the TREC-CAR dataset and the top entry in the leaderboard of the MS MARCO passage retrieval task, outperforming the previous state of the art by 27% (relative) in MRR@10. The code to reproduce our results is available at https://github.com/nyu-dl/dl4marco-bert


title: Non-central limit theorem for non-linear functionals of vector valued Gaussian stationary random fields

abstract: Here I prove non-central limit theorems for non-linear functionals of vector valued stationary random fields under appropriate conditions. They are the multivariate versions of the results in paper\cite{2}. Previously A. M. Arcones formulated a theorem in paper\cite{1} which can be considered as the multivariate generalization of these results. But I found Arcones' discussion incomplete, and in my opinion to give a complete proof first a more profound foundation of the theory of vector valued Gaussian stationary random fields has to be worked out. This was done in my paper\cite{4} which enabled me to adapt the method in paper\cite{2} to the study of the vector valued case. Here I prove with its help the desired multivariate version of the results in paper\cite{2}.


title: Adiabatic Limit and Deformations of Complex Structures

abstract: Based on our recent adaptation of the adiabatic limit construction to the case of complex structures, we prove the fact, that we first dealt with in 2009 and 2010, that the deformation limiting manifold of any holomorphic family of Moishezon manifolds is Moishezon. Two new ingredients, hopefully of independent interest, are introduced. The first one canonically associates with every compact complex manifold $X$, in every degree $k$, a holomorphic vector bundle over $ \mathbb{C}$ of rank equal to the $k$-th Betti number of $X$. This vector bundle shows that the degenerating page of the Fr\"olicher spectral sequence of $X$ is the holomorphic limit, as $h\in\mathbb{C}^\star$ tends to $0$, of the $d_h$-cohomology of $X$, where $d_h=h\partial + \bar\partial$. A relative version of this vector bundle is canonically associated with every holomorphic family of compact complex manifolds. The second new ingredient is a relaxation of the notion of strongly Gauduchon (sG) metric that we introduced in 2009. For a given positive integer $r$, a Gauduchon metric $\gamma$ on an $n$-dimensional compact complex manifold $X$ is said to be $E_r$-sG if $\partial\gamma^{n-1}$ represents the zero cohomology class on the $r$-th page of the Fr\"olicher spectral sequence of $X$. Strongly Gauduchon metrics coincide with $E_1$-sG metrics.


title: Attitude Control of Spacecraft Swarms for Visual Mapping of Planetary Bodies

abstract: Planetary bodies such as asteroids, comets, and planetary moons are high-value science targets as they hold important information about the formation and evolution of our solar system. However, due to their low-gravity, variable sizes and shapes, dedicated orbiting spacecraft missions around these target bodies is difficult. Therefore, many planetary bodies are observed during flyby encounters, and consequently, the mapping coverage of the target body is limited. In this work, we propose the use of a spacecraft swarm to provide complete surface maps of a planetary body during a close encounter flyby. With the advancement of low-cost spacecraft technology, such a swarm can be realized by using multiple miniature spacecraft. The design of a swarm mission is a complex multi-disciplinary problem. To get started, we propose the Integrated Design Engineering & Automation of Swarms (IDEAS) software. In this work, we will introduce the development of the Automated Swarm Designer module of the software and apply it to total surface mapping of asteroid 433 Eros through flybys.


title: Finite Gap Conditions and Small Dispersion Asymptotics for the Classical Periodic Benjamin-Ono Equation

abstract: In this paper we characterize the Nazarov-Sklyanin hierarchy for the classical periodic Benjamin-Ono equation in two complementary degenerations: for the multi-phase initial data (the periodic multi-solitons) at fixed dispersion and for bounded initial data in the limit of small dispersion. First, we express this hierarchy in terms of a piecewise-linear function of an auxiliary real variable which we call a dispersive action profile and whose regions of slope $\pm 1$ we call gaps and bands, respectively. Our expression uses Kerov's theory of profiles and Kre\u{\i}n's spectral shift functions. Next, for multi-phase initial data, we identify Baker-Akhiezer functions in Dobrokhotov-Krichever and Nazarov-Sklyanin and prove that multi-phase dispersive action profiles have finitely-many gaps determined by the singularities of their Dobrokhotov-Krichever spectral curves. Finally, for bounded initial data independent of the coefficient of dispersion, we show that in the small dispersion limit, the dispersive action profile concentrates weakly on a convex profile which encodes the conserved quantities of the dispersionless equation. To establish the weak limit, we reformulate Szeg\H{o}'s first theorem for Toeplitz operators using spectral shift functions. To illustrate our results, we identify the dispersive action profile of sinusoidal initial data with a profile found by Nekrasov-Pestun-Shatashvili and its small dispersion limit with the convex profile found by Vershik-Kerov and Logan-Shepp.

categories: math-ph math.AP math.MP math.SP nlin.PS nlin.SI


title: Reference star differential imaging of close-in companions and circumstellar disks with the NIRC2 vortex coronagraph at W.M. Keck Observatory

abstract: Reference star differential imaging (RDI) is a powerful strategy for high contrast imaging. Using example observations taken with the vortex coronagraph mode of Keck/NIRC2 in $L^\prime$ band, we demonstrate that RDI provides improved sensitivity to point sources at small angular separations compared to angular differential imaging (ADI). Applying RDI to images of the low-mass stellar companions HIP 79124 C (192 mas separation, $\Delta L^\prime$=4.01) and HIP 78233 B (141 mas separation, $\Delta L^\prime$=4.78), the latter a first imaging detection, increases the significance of their detections by up to a factor of 5 with respect to ADI. We compare methods for reference frames selection and find that pre-selection of frames improves detection significance of point sources by up to a factor of 3. In addition, we use observations of the circumstellar disks around MWC 758 and 2MASS J16042165-2130284 to show that RDI allows for accurate mapping of scattered light distributions without self-subtraction artifacts.


title: Dynamics of a Mobile Impurity in a Two Leg Bosonic Ladder

abstract: We have analyzed the behavior of a mobile quantum impurity in a bath formed by a two-leg bosonic ladder by a combination of field theory (Tomonaga-Luttinger liquid) and numerical (Density Matrix Renormalization Group) techniques. Computing the Green's function of the impurity as a function of time at different momenta, we find a power law decay at zero momentum, which signals the breakdown of any quasi-particle description of the impurity motion. We compute the exponent both for the limits of weak and strong impurity-bath interactions. At small impurity-bath interaction, we find that the impurity experiences the ladder as a single channel one-dimensional bath, but effective coupling is reduced by a factor of $\sqrt 2$, thus the impurity is less mobile in the ladder compared to a one dimensional bath. We compared the numerical results for the exponent at zero momentum with a semi-analytical expression that was initially established for the chain and find excellent agreement without adjustable parameters. We analyze the dependence of the exponent in the transverse hopping in the bath and find surprisingly an increase of the exponent at variance with the naive extrapolation of the single channel regime. We study the momentum dependence of the impurity Green's function and find that, as for the single chain, two different regime of motion exist, one dominated by infrared metatrophy and a more conventional polaronic behavior. We compute the critical momentum between these two regimes and compare with prediction based on the structure factor of the bath. In the polaronic regime we also compute numerically the lifetime of the polaron. Finally we discuss how our results could be measured in cold atomic experiments.


title: Kelly Cache Networks

abstract: We study networks of M/M/1 queues in which nodes act as caches that store objects. Exogenous requests for objects are routed towards nodes that store them; as a result, object traffic in the network is determined not only by demand but, crucially, by where objects are cached. We determine how to place objects in caches to attain a certain design objective, such as, e.g., minimizing network congestion or retrieval delays. We show that for a broad class of objectives, including minimizing both the expected network delay and the sum of network queue lengths, this optimization problem can be cast as an NP- hard submodular maximization problem. We show that so-called continuous greedy algorithm attains a ratio arbitrarily close to $1 - 1/e \approx 0.63$ using a deterministic estimation via a power series; this drastically reduces execution time over prior art, which resorts to sampling. Finally, we show that our results generalize, beyond M/M/1 queues, to networks of M/M/k and symmetric M/D/1 queues.


title: Ocean dynamics of outer solar system satellites

abstract: Ocean worlds are prevalent in the solar system. Focusing on Enceladus, Titan, Europa, and Ganymede, I use rotating convection theory and numerical simulations to predict ocean currents and the potential for ice-ocean coupling. When the influence of rotation is relatively strong, the oceans have multiple zonal jets, axial convective motions, and most efficient heat transfer at high latitudes. This regime is most relevant to Enceladus and possibly to Titan, and may help explain their long-wavelength topography. For a more moderate rotational influence, fewer zonal jets form, Hadley-like circulation cells develop, and heat flux peaks near the equator. This regime is predicted for Europa, where it may help drive geologic activity via thermocompositional diapirism in the ice shell, and is possible for Titan. Weak rotational influence allows concentric zonal flows and overturning cells with no preferred orientation. Predictions for Ganymede's ocean span multiple regimes.


title: Optimal decoding of dynamic stimuli encoded by heterogeneous populations of spiking neurons - a closed form approximation

abstract: Neural decoding may be formulated as dynamic state estimation (filtering) based on point process observations, a generally intractable problem. Numerical sampling techniques are often practically useful for the decoding of real neural data. However, they are less useful as theoretical tools for modeling and understanding sensory neural systems, since they lead to limited conceptual insight about optimal encoding and decoding strategies. We consider sensory neural populations characterized by a distribution over neuron parameters. We develop an analytically tractable Bayesian approximation to optimal filtering based on the observation of spiking activity, that greatly facilitates the analysis of optimal encoding in situations deviating from common assumptions of uniform coding. Continuous distributions are used to approximate large populations with few parameters, resulting in a filter whose complexity does not grow with the population size, and allowing optimization of population parameters rather than individual tuning functions. Numerical comparison with particle filtering demonstrates the quality of the approximation. The analytic framework leads to insights which are difficult to obtain from numerical algorithms, and is consistent with biological observations about the distribution of sensory cells' preferred stimuli.


title: Attributed Network Embedding via Subspace Discovery

abstract: Network embedding aims to learn a latent, low-dimensional vector representations of network nodes, effective in supporting various network analytic tasks. While prior arts on network embedding focus primarily on preserving network topology structure to learn node representations, recently proposed attributed network embedding algorithms attempt to integrate rich node content information with network topological structure for enhancing the quality of network embedding. In reality, networks often have sparse content, incomplete node attributes, as well as the discrepancy between node attribute feature space and network structure space, which severely deteriorates the performance of existing methods. In this paper, we propose a unified framework for attributed network embedding-attri2vec-that learns node embeddings by discovering a latent node attribute subspace via a network structure guided transformation performed on the original attribute space. The resultant latent subspace can respect network structure in a more consistent way towards learning high-quality node representations. We formulate an optimization problem which is solved by an efficient stochastic gradient descent algorithm, with linear time complexity to the number of nodes. We investigate a series of linear and non-linear transformations performed on node attributes and empirically validate their effectiveness on various types of networks. Another advantage of attri2vec is its ability to solve out-of-sample problems, where embeddings of new coming nodes can be inferred from their node attributes through the learned mapping function. Experiments on various types of networks confirm that attri2vec is superior to state-of-the-art baselines for node classification, node clustering, as well as out-of-sample link prediction tasks. The source code of this paper is available at https://github.com/daokunzhang/attri2vec.


title: Definitions, notations and proofs for Bernoulli numbers

abstract: This is a collection of definitions, notations and proofs for the Bernoulli numbers $B_n$ appearing in formulas for the sum of integer powers, some of which can be found scattered in the large related historical literature in French, English and German. We provide elementary proofs for the original convention with ${\mathcal B}_1=1/2$ and also for the current convention with $B_1=-1/2$, using only the binomial theorem and the concise Blissard symbolic (umbral) notation.


title: Search Efficient Binary Network Embedding

abstract: Traditional network embedding primarily focuses on learning a continuous vector representation for each node, preserving network structure and/or node content information, such that off-the-shelf machine learning algorithms can be easily applied to the vector-format node representations for network analysis. However, the learned continuous vector representations are inefficient for large-scale similarity search, which often involves finding nearest neighbors measured by distance or similarity in a continuous vector space. In this paper, we propose a search efficient binary network embedding algorithm called BinaryNE to learn a binary code for each node, by simultaneously modeling node context relations and node attribute relations through a three-layer neural network. BinaryNE learns binary node representations through a stochastic gradient descent based online learning algorithm. The learned binary encoding not only reduces memory usage to represent each node, but also allows fast bit-wise comparisons to support faster node similarity search than using Euclidean distance or other distance measures. Extensive experiments and comparisons demonstrate that BinaryNE not only delivers more than 25 times faster search speed, but also provides comparable or better search quality than traditional continuous vector based network embedding methods. The binary codes learned by BinaryNE also render competitive performance on node classification and node clustering tasks. The source code of this paper is available at https://github.com/daokunzhang/BinaryNE.


title: ODE Test Problems: a MATLAB suite of initial value problems

abstract: ODE Test Problems (OTP) is an object-oriented MATLAB package offering a broad range of initial value problems which can be used to test numerical methods such as time integration methods and data assimilation (DA) methods. It includes problems that are linear and nonlinear, homogeneous and nonhomogeneous, autonomous and nonautonomous, scalar and high-dimensional, stiff and nonstiff, and chaotic and nonchaotic. Many are real-world problems from fields such as chemistry, astrophysics, meteorology, and electrical engineering. OTP also supports partitioned ODEs for testing IMEX methods, multirate methods, and other multimethods. Functions for plotting solutions and creating movies are available for all problems, and exact solutions are provided when available. OTP is desgined for ease of use-meaning that working with and modifying problems is simple and intuitive.


title: Evolution of complete noncompact graphs by powers of curvature function

abstract: This paper concerns the evolution of complete noncompact locally uniformly convex hypersurface in Euclidean space by curvature flow, for which the normal speed $\Phi$ is given by a power $\beta\geq 1$ of a monotone symmetric and homogeneous of degree one function $F$ of the principal curvatures. Under the assumption that $F$ is inverse concave and its dual function approaches zero on the boundary of positive cone, we prove that the complete smooth strictly convex solution exists and remains a graph until the maximal time of existence. In particular, if $F=K^{s/n}G^{1-s}$ for any $s\in(0, 1]$, where $G$ is a homogeneous of degree one, increasing in each argument and inverse concave curvature function, we prove that the complete noncompact smooth strictly convex solution exists and remains a graph for all times.


title: LEP-CNN: A Lightweight Edge Device Assisted Privacy-preserving CNN Inference Solution for IoT

abstract: Supporting convolutional neural network (CNN) inference on resource-constrained IoT devices in a timely manner has been an outstanding challenge for emerging smart systems. To mitigate the burden on IoT devices, the prevailing solution is to offload the CNN inference task, which is usually composed of billions of operations, to public cloud. However, the "offloading-to-cloud" solution may cause privacy breach while moving sensitive data to cloud. For privacy protection, the research community has resorted to advanced cryptographic primitives and approximation techniques to support CNN inference on encrypted data. Consequently, these attempts cause impractical computational overhead on IoT devices and degrade the performance of CNNs. Moreover, relying on the remote cloud can cause additional network latency and even make the system dysfunction when network connection is off. We proposes an extremely lightweight edge device assisted private CNN inference solution for IoT devices, namely LEP-CNN. The main design of LEP-CNN is based on a novel online/offline encryption scheme. The decryption of LEP-CNN is pre-computed offline via utilizing the linear property of the most time-consuming operations of CNNs. As a result, LEP-CNN allows IoT devices to securely offload over 99% CNN operations, and edge devices to execute CNN inference on encrypted data as efficient as on plaintext. LEP-CNN also provides an integrity check option to help IoT devices detect error results with a successful rate over 99%. Experiments on AlexNet show that LEP-CNN can speed up the CNN inference for more than 35 times for resource constrained IoT devices. A homomorphic encryption based AlexNet using CryptoNets is implemented to compare with LEP-CNN to demonstrate that LEP-CNN has a better performance than homomorphic encryption based privacy preserving neural networks under time-sensitive scenarios.


title: Anisotropic Charge Carrier and Coherent Acoustic Phonon Dynamics of Black Phosphorus Studied by Transient Absorption Microscopy

abstract: Due to its corrugated hexagonal lattice structure, Black phosphorus (BP) has unique anisotropic physical properties, which provides an additional freedom for designing devices. Many body interactions, including interactions with phonon, is crucial for heat dissipation and charge carrier mobility in device. However, the rich properties of the coherent acoustic phonon, including anisotropy, propagation and generation were not fully interrogated. In this paper, the polarization-resolved transient absorption microscopy was conducted on BP flakes to study the dynamics of photoexcited charge carriers and coherent acoustic phonon. Polarization-resolved transient absorption images and traces were recorded and showed anisotropic and thickness-dependent charge carriers decay dynamics. The damping of the coherent acoustic phonon oscillation was found to be anisotropic, which was attributed to the polarization-dependent absorption length of the probe pulse. From the analysis of initial oscillation amplitude and phase of coherent acoustic phonon oscillation, we proposed that the direct deformation potential mechanism dominated the generation of coherent acoustic phonons in our experiment. Besides, we obtained the sound velocity of the coherent acoustic phonon from the oscillation frequency and the acoustic echo, respectively, which agreed well with each other. These findings provide significant insights into the rich acoustic phonon properties of BP, and promise important application for BP in polarization-sensitive optical and optoelectronic devices.


title: A Facile Method for Precise Layer Number Identification of Two-Dimensional Materials through Optical Images

abstract: Optical microscopy is believed to be an efficient method for identifying layer number of two-dimensional 2D materials. However, since illuminants, cameras and their parameters are different from lab to lab, it is impossible to identify layer numbers just by comparing a given optical image with standard or calculated images under standard conditions. Here we reported an image reconstruction method, converting raw optical images acquired by arbitrary illuminants and cameras into reconstructed images at specified illuminant and specified camera. After image reconstruction, the color differences of each layer number roughly equaled those calculated under specified condition. By comparing the color differences in reconstructed image with those calculated under specified condition, the layer numbers of 2D materials in our lab and published papers, including MoS2, WS2 and WSe2, were ambiguously identified. This study makes optical microscopy a precise method for identifying layer numbers of 2D materials on known substrate.


title: Dust Extinction towards the Type Ia Supernova 2012cu in NGC 4772

abstract: Using photometric and spectroscopic data of Supernova (SN) 2012cu, a fairly reddened type Ia supernova, we derived its color excess curves and probed the dust extinction in its host galaxy, NGC 4772. In order to derive the extinction as a function of wavelength (i.e., $A_\lambda$), we model the color excess curves of SN 2012cu in terms of dust models consisting of silicate and carbonaceous (graphite or amorphous carbon) dust. The modeled extinction law towards SN 2012cu extends flatly to the far-ultraviolet (UV) bands, which is much flatter than those of the Milky Way and Magellanic Clouds, and the 2175 $\AA$ feature is very weak or absent. The flatness of the modeled extinction curve in the UV bands suggests a "grey" extinction law of the active galactic nucleus in the vicinity of the SN 2012cu-Earth line of sight. Our results indicate that the sizes of the dust in the ISM towards SN 2012cu in NGC 4772 are larger than those of the Milky Way and the Large Magellanic Cloud, and much larger than that of the Small Magellanic Cloud. The best fitting gives an observed visual extinction towards SN 2012cu of $A_V \approx 2.6$ mag, a reddening of $E(B-V) \approx 1.0$ mag, with a total-to-selective extinction ratio $R_V \approx 2.7$, consistent with previous results.


title: Klein-Gordon oscillator in a topologically nontrivial space-time

abstract: In this study, we analyze solutions of the wave equation for scalar particles in a space-time with nontrivial topology. Solutions for the Klein--Gordon oscillator are found considering two configurations of this space-time. In the first one, it is assumed the $S^{1}\times R^{3}$ space where the metric is written in the usual inertial frame of reference. In the second case, we consider a rotating reference frame adapted to the circle S1. We obtained compact expressions for the energy spectrum and for the particles wave functions in both configurations. Additionally, we show that the energy spectrum of the solution associated to the rotating system has an additional term that breaks the symmetry around $E = 0$.


title: Locally nilpotent sets of derivations

abstract: Let B be an algebra over a field k and let Der(B) be the set of k-derivations from B to B. We define what it means for a subset of Der(B) to be a locally nilpotent set. We prove some basic results about that notion and explore the following questions. Let L be a Lie subalgebra of Der(B); if every element of L is a locally nilpotent derivation then does it follow that L is a locally nilpotent set? Does it follow that L is a nilpotent Lie algebra?


title: 3D Trajectory Optimization in Rician Fading for UAV-Enabled Data Harvesting

abstract: In this paper, we consider a UAV-enabled WSN where a flying UAV is employed to collect data from multiple sensor nodes (SNs). Our objective is to maximize the minimum average data collection rate from all SNs subject to a prescribed reliability constraint for each SN by jointly optimizing the UAV communication scheduling and three-dimensional (3D) trajectory. Different from the existing works that assume the simplified line-of-sight (LoS) UAV-ground channels, we consider the more practically accurate angle-dependent Rician fading channels between the UAV and SNs with the Rician factors determined by the corresponding UAV-SN elevation angles. However, the formulated optimization problem is intractable due to the lack of a closed-form expression for a key parameter termed effective fading power that characterizes the achievable rate given the reliability requirement in terms of outage probability. To tackle this difficulty, we first approximate the parameter by a logistic ('S' shape) function with respect to the 3D UAV trajectory by using the data regression method. Then the original problem is reformulated to an approximate form, which, however, is still challenging to solve due to its non-convexity. As such, we further propose an efficient algorithm to derive its suboptimal solution by using the block coordinate descent technique, which iteratively optimizes the communication scheduling, the UAV's horizontal trajectory, and its vertical trajectory. The latter two subproblems are shown to be non-convex, while locally optimal solutions are obtained for them by using the successive convex approximation technique. Last, extensive numerical results are provided to evaluate the performance of the proposed algorithm and draw new insights on the 3D UAV trajectory under the Rician fading as compared to conventional LoS channel models.


title: Towards non-perturbative matching of three/four-flavor Wilson coefficients with a position-space procedure

abstract: We propose a strategy to non-perturbatively match the Wilson coefficients in the three- and four-flavor theories, which uses two-point Green's functions of the corresponding four-quark operators at long distances. The idea is refined by combining with the spherical averaging technique, which enables us to convert two-point functions calculated on the lattice into continuous functions of the distance $|x-y|$ between two operators. We also show the result for an exploratory calculation of two-point functions of the $\Delta S=1$ operators $Q_7$ and $Q_8$ that are in the $(8_L,8_R)$ representation of ${\rm SU(3)}_L\times{\rm SU(3)}_R$ and mix with each other.


title: Powers of the maximal ideal and vanishing of (co)homology

abstract: We prove that each positive power of the maximal ideal of a commutative Noetherian local ring is Tor-rigid, and strongly-rigid. This gives new characterizations of regularity and, in particular, shows that such ideals satisfy the torsion condition of a long-standing conjecture of Huneke and Wiegand.


title: Resolved imaging of the AR Puppis circumbinary disk

abstract: Circumbinary disks are common around post-asymptotic giant branch (post-AGB) stars with a stellar companion on orbital time scales of a few 100 to few 1000 days. The presence of a disk is usually inferred from the system's spectral energy distribution (SED), and confirmed, for a sub-sample, by interferometric observations. We used the Spectro-Polarimetric High-contrast Exoplanet REsearch (SPHERE) instrument on the Very Large Telescope to obtain extreme adaptive optics assisted scattered light images of the post-AGB binary system AR Puppis. Data have been obtained in the V, I, and H bands. Our observations have produced the first resolved images of AR Puppis' circumbinary disk and confirm its edge-on orientation. In our high angular-resolution and high dynamic-range images we identify several structural components such as a dark mid-plane, the disk surface, and arc-like features. We discuss the nature of these components and use complementary photometric monitoring to relate them to the orbital phase of the binary system. Because the star is completely obscured by the disk at visible wavelengths, we conclude that the long-term photometric variability of the system must be caused by variable scattering, not extinction, of star light by the disk over the binary orbit. Finally, we discuss how the short disk life times and fast evolution of the host stars compared to the ages at which protoplanetary disks are typically observed make systems like AR Puppis valuable extreme laboratories to study circumstellar disk evolution and constrain the time scale of dust grain growth during the planet formation process.


title: Machine learning for the recognition of emotion in the speech of couples in psychotherapy using the Stanford Suppes Brain Lab Psychotherapy Dataset

abstract: The automatic recognition of emotion in speech can inform our understanding of language, emotion, and the brain. It also has practical application to human-machine interactive systems. This paper examines the recognition of emotion in naturally occurring speech, where there are no constraints on what is said or the emotions expressed. This task is more difficult than that using data collected in scripted, experimentally controlled settings, and fewer results are published. Our data come from couples in psychotherapy. Video and audio recordings were made of three couples (A, B, C) over 18 hour-long therapy sessions. This paper describes the method used to code the audio recordings for the four emotions of Anger, Sadness, Joy and Tension, plus Neutral, also covering our approach to managing the unbalanced samples that a naturally occurring emotional speech dataset produces. Three groups of acoustic features were used in our analysis: filter-bank, frequency, and voice-quality features. The random forests model classified the features. Recognition rates are reported for each individual, the result of the speaker-dependent models that we built. In each case, the best recognition rates were achieved using the filter-bank features alone. For Couple A, these rates were 90% for the female and 87% for the male for the recognition of three emotions plus Neutral. For Couple B, the rates were 84% for the female and 78% for the male for the recognition of all four emotions plus Neutral. For Couple C, a rate of 88% was achieved for the female for the recognition of the four emotions plus Neutral and 95% for the male for three emotions plus Neutral. For pairwise recognition, the rates ranged from 76% to 99% across the three couples. Our results show that couple therapy is a rich context for the study of emotion in naturally occurring speech.


title: Fast and Robust Multi-Person 3D Pose Estimation from Multiple Views

abstract: This paper addresses the problem of 3D pose estimation for multiple people in a few calibrated camera views. The main challenge of this problem is to find the cross-view correspondences among noisy and incomplete 2D pose predictions. Most previous methods address this challenge by directly reasoning in 3D using a pictorial structure model, which is inefficient due to the huge state space. We propose a fast and robust approach to solve this problem. Our key idea is to use a multi-way matching algorithm to cluster the detected 2D poses in all views. Each resulting cluster encodes 2D poses of the same person across different views and consistent correspondences across the keypoints, from which the 3D pose of each person can be effectively inferred. The proposed convex optimization based multi-way matching algorithm is efficient and robust against missing and false detections, without knowing the number of people in the scene. Moreover, we propose to combine geometric and appearance cues for cross-view matching. The proposed approach achieves significant performance gains from the state-of-the-art (96.3% vs. 90.6% and 96.9% vs. 88% on the Campus and Shelf datasets, respectively), while being efficient for real-time applications.


title: Unsupervised Neural Machine Translation with SMT as Posterior Regularization

abstract: Without real bilingual corpus available, unsupervised Neural Machine Translation (NMT) typically requires pseudo parallel data generated with the back-translation method for the model training. However, due to weak supervision, the pseudo data inevitably contain noises and errors that will be accumulated and reinforced in the subsequent training process, leading to bad translation performance. To address this issue, we introduce phrase based Statistic Machine Translation (SMT) models which are robust to noisy data, as posterior regularizations to guide the training of unsupervised NMT models in the iterative back-translation process. Our method starts from SMT models built with pre-trained language models and word-level translation tables inferred from cross-lingual embeddings. Then SMT and NMT models are optimized jointly and boost each other incrementally in a unified EM framework. In this way, (1) the negative effect caused by errors in the iterative back-translation process can be alleviated timely by SMT filtering noises from its phrase tables; meanwhile, (2) NMT can compensate for the deficiency of fluency inherent in SMT. Experiments conducted on en-fr and en-de translation tasks show that our method outperforms the strong baseline and achieves new state-of-the-art unsupervised machine translation performance.


title: Strong test ideals associated to Cartier algebras

abstract: In this note, we use the theory of test ideals and Cartier algebras to examine the interplay between the tight and integral closures in a local ring of positive characteristic. Using work of Schwede, we prove the abundance of strong test ideals, recovering some older fundamental results, and use this approach in concrete computations. In the second part of the paper, the case of Stanley-Reisner rings is fully examined.


title: Terahertz radiation generated by shell electrons in the bubble regime via the interaction between an intense laser and underdense plasma

abstract: Backward terahertz radiation can be produced by a high-intensity laser normally incident upon an underdense plasma. It is found that terahertz radiation is generated by electrons refluxing along the bubble shell. These shell electrons have similar dynamic trajectories and emit backward radiations to vacuum. This scheme has been proved through electron dynamic calculations as well as by using an ionic sphere model. In addition, the bubble shape is found to influence the radiation frequency, and this scheme can be implemented in both uniform and up-ramp density gradient plasma targets. The terahertz radiation may be used for diagnosing the electron bubble shape in the interaction between an intense laser and plasma. All results are presented via 2.5 dimensional particle-in-cell simulations.


title: Leggett mode in a two-component Fermi gas with dipolar interactions

abstract: We develop an effective field theory to understand collective modes of a three-dimensional two-component Fermi superfluid with dipolar inter-particle interactions, which are modeled by an idealized separable potential. We first examine the phase transition of the system at zero temperature, as the fermionic superfluidity is known to be characterized by two competing order parameters. We find that for strong interactions there exists a regime where the two order parameters are out-of-phase and coupled, giving rise to an undamped massive Leggett mode. This is in addition to the well-known gapless phonon mode. We show that the Leggett mode can be seen in the spectral function of the in-medium Cooper pairs, and in principle could be measured through Bragg spectroscopy.


title: Influence of image segmentation on one-dimensional fluid dynamics predictions in the mouse pulmonary arteries

abstract: Computational fluid dynamics (CFD) models are emerging as tools for assisting in diagnostic assessment of cardiovascular disease. Recent advances in image segmentation has made subject-specific modelling of the cardiovascular system a feasible task, which is particularly important in the case of pulmonary hypertension (PH), which requires a combination of invasive and non-invasive procedures for diagnosis. Uncertainty in image segmentation can easily propagate to CFD model predictions, making uncertainty quantification crucial for subject-specific models. This study quantifies the variability of one-dimensional (1D) CFD predictions by propagating the uncertainty of network geometry and connectivity to blood pressure and flow predictions. We analyse multiple segmentations of an image of an excised mouse lung using different pre-segmentation parameters. A custom algorithm extracts vessel length, vessel radii, and network connectivity for each segmented pulmonary network. We quantify uncertainty in geometric features by constructing probability densities for vessel radius and length, and then sample from these distributions and propagate uncertainties of haemodynamic predictions using a 1D CFD model. Results show that variation in network connectivity is a larger contributor to haemodynamic uncertainty than vessel radius and length.


title: Honeycomb lattice Kitaev model with Wen-Toric-code interactions, and anyon excitations

abstract: The honeycomb lattice Kitaev model H_{K} with two kinds of Wen-Toric-code four-body interactions H_{WT} is investigated exactly using a new fermionization method, and the ground state phase diagram is obtained. Six kinds of three-body interactions are also considered. A Hamiltonian equivalent to the honeycomb lattice Kitaev model is also introduced. The fermionization method is generalized to two-dimensional systems, and the two-dimensional Jordan-Wigner transformation is obtained as a special case of this formula. The model H_{K}+H_{WT} is symmetric in four-dimensional space of coupling constants, and the anyon type excitations appear in each phase.


title: Elliptical Galaxy in the Making: The Dual Active Galactic Nuclei and Metal-enriched Halo of Mrk 273

abstract: A systematic analysis of the X-ray emission from the nearby ultraluminous infrared galaxy Mrk 273 was carried out by combining new 200 ksec Chandra data with archived 44 ksec data. The active galactic nucleus (AGN) associated with the Southwest nucleus is confirmed by the new data, and a secondary hard X-ray (4-8 keV) point source is detected, coincident with the Northeast nucleus at a projected distance of 0.75 kpc from the Southwest nucleus. The hard X-ray spectrum of the Northeast nucleus is consistent with a heavily absorbed AGN, making Mrk 273 another example of a dual AGN in a nearby galaxy merger. Significant 1-3 keV emission is found along the ionization cones and outflowing gas detected in a previous study. The data also map the giant X-ray nebula south of the host galaxy with unprecedented detail. This nebula extends on a scale of $\sim$ 40 kpc $\times$ 40 kpc, and is not closely related to the well-known tidal tail seen in the optical. The X-ray emission of the nebula is best described by a single-temperature gas model, with a temperature of $\sim$ 7 million K and a super-solar $\alpha$/Fe ratio. Further analysis suggests that the southern nebula has most likely been heated and enriched by multiple galactic outflows generated by the AGN and/or circumnuclear starburst in the past, on a time scale of $\lesssim$0.1 Gyr, similar to the merger event itself.


title: Predicting the Mumble of Wireless Channel with Sequence-to-Sequence Models

abstract: Accurate prediction of fading channel in the upcoming transmission frame is essential to realize adaptive transmission for transmitters, and receivers with the ability of channel prediction can also save some computations of channel estimation. However, due to the rapid channel variation and channel estimation error, reliable prediction is hard to realize. In this situation, an appropriate channel model should be selected, which can cover both the statistical model and small scale fading of channel, this reminds us the natural languages, which also have statistical word frequency and specific sentences. Accordingly, in this paper, we take wireless channel model as a language model, and the time-varying channel as talking in this language, while the realistic noisy estimated channel can be compared with mumbling. Furthermore, in order to utilize as much as possible the information a channel coefficient takes, we discard the conventional two features of absolute value and phase, replacing with hundreds of features which will be learned by our channel model, to do this, we use a vocabulary to map a complex channel coefficient into an ID, which is represented by a vector of real numbers. Recurrent neural networks technique is used as its good balance between memorization and generalization, moreover, we creatively introduce sequence-to-sequence (seq2seq) models in time series channel prediction, which can translates past channel into future channel. The results show that realistic channel prediction with superior performance relative to channel estimation is attainable.


title: Acquisition of Project-Specific Assets with Bayesian Updating

abstract: We study the impact of learning on the optimal policy and the time-to-decision in an infinite-horizon Bayesian sequential decision model with two irreversible alternatives, exit and expansion. In our model, a firm undertakes a small-scale pilot project so as to learn, via Bayesian updating, about the project\textquoteright s profitability, which is known to be in one of two possible states. The firm continuously observes the project\textquoteright s cumulative profit, but the true state of the profitability is not immediately revealed because of the inherent noise in the profit stream. The firm bases its exit or expansion decision on the posterior probability distribution of the profitability. The optimal policy is characterized by a pair of thresholds for the posterior probability. We find that the time-to-decision does not necessarily have a monotonic relation with the arrival rate of new information.


title: Geodesic distance for right-invariant metrics on diffeomorphism groups: critical Sobolev exponents

abstract: We study the geodesic distance induced by right-invariant metrics on the group $\operatorname{Diff}_c(M)$ of compactly supported diffeomorphisms of a manifold $M$, and show that it vanishes for the critical Sobolev norms $W^{s,n/s}$, where $n$ is the dimension of $M$ and $s\in(0,1)$. This completes the proof that the geodesic distance induced by $W^{s,p}$ vanishes if $sp\le n$ and $s<1$, and is positive otherwise. The proof is achieved by combining the techniques of two recent papers --- [JM19] by the authors, which treated the sub-critical case, and [BHP18] of Bauer, Harms and Preston, which treated the critical 1-dimensional case.


title: Data-driven inference of hidden nodes in networks

abstract: The explosion of activity in finding interactions in complex systems is driven by availability of copious observations of complex natural systems. However, such systems, e.g. the human brain, are rarely completely observable. Interaction network inference must then contend with hidden variables affecting the behavior of the observed parts of the system. We present a novel data-driven approach for model inference with hidden variables. From configurations of observed variables, we identify the observed-to-observed, hidden-to-observed, observed-to-hidden, and hidden-to-hidden interactions, the configurations of hidden variables, and the number of hidden variables. We demonstrate the performance of our method by simulating a kinetic Ising model, and show that our method outperforms existing methods. Turning to real data, we infer the hidden nodes in a neuronal network in the salamander retina and a stock market network. We show that predictive modeling with hidden variables is significantly more accurate than that without hidden variables. Finally, an important hidden variable problem is to find the number of clusters in a dataset. We apply our method to classify MNIST handwritten digits. We find that there are about 60 clusters which are roughly equally distributed amongst the digits.


title: Trajectory optimization using quantum computing

abstract: We present a framework wherein the trajectory optimization problem (or a problem involving calculus of variations) is formulated as a search problem in a discrete space. A distinctive feature of our work is the treatment of discretization of the optimization problem wherein we discretize not only independent variables (such as time) but also dependent variables. Our discretization scheme enables a reduction in computational cost through selection of coarse-grained states. It further facilitates the solution of the trajectory optimization problem via classical discrete search algorithms including deterministic and stochastic methods for obtaining a global optimum. This framework also allows us to efficiently use quantum computational algorithms for global trajectory optimization. We demonstrate that the discrete search problem can be solved by a variety of techniques including a deterministic exhaustive search in the physical space or the coefficient space, a randomized search algorithm, a quantum search algorithm or by employing a combination of randomized and quantum search algorithms depending on the nature of the problem. We illustrate our methods by solving some canonical problems in trajectory optimization. We also present a comparative study of the performances of different methods in solving our example problems. Finally, we make a case for using quantum search algorithms as they offer a quadratic speed-up in comparison to the traditional non-quantum algorithms.


title: Short-Range Order Structure Motifs Learned from an Atomistic Model of a Zr$_{50}$Cu$_{45}$Al$_{5}$ Metallic Glass

abstract: The structural motifs of a Zr$_{50}$Cu$_{45}$Al$_{5}$ metallic glass were learned from atomistic models using a new structure analysis method called motif extraction that employs point-pattern matching and machine learning clustering techniques. The motifs are the nearest-neighbor building blocks of the glass and reveal a well-defined hierarchy of structures as a function of coordination number. Some of the motifs are icosahedral or quasi-icosahedral in structure, while others take on the structure of the most close-packed geometries for each coordination number. These results set the stage for developing clearer structure-property connections in metallic glasses. Motif extraction can be applied to any disordered material to identify its structural motifs without the need for human input.


title: Quantum liquid from strange frustration in the trimer magnet Ba4Ir3O10

abstract: Quantum spin systems such as magnetic insulators usually show classical magnetic order, but such classical states can give way to quantum liquids with exotic entanglement through two known mechanisms of frustration: geometric frustration in lattices with triangle motifs, and spin-orbit-coupling frustration in the exactly solvable quantum liquid of Kitaev's honeycomb lattice. Here we present the experimental observation of a new kind of frustrated quantum liquid arising in an unlikely place: the magnetic insulator Ba4Ir3O10 where Ir3O12 trimers form an unfrustrated square lattice. Experimentally we find a quantum liquid state persisting down to 0.2 K that is stabilized by strong antiferromagnetic interaction with Curie-Weiss temperature - 766 K. The astonishing frustration parameter of 3800 is beyond any known iridate thus far. Heat capacity and thermal conductivity are both linear at low temperatures, a familiar feature in metals but here in an insulator pointing to an exotic quantum liquid state. A mere 2% Sr substitution for Ba produces long-range order at 130 K and destroys the linear-T features. Although the Ir4+(5d5) ions in Ba4Ir3O10 appear to form Ir3O12 trimers of face-sharing IrO6 octahedra, we propose that intra-trimer exchange is reduced and the lattice recombines into an array of coupled 1D chains with additional spins. An extreme limit of decoupled 1D chains can explain most but not all of the striking experimental observations, indicating that the inter-chain coupling plays an important role in the novel frustration mechanism leading to this quantum liquid.


title: Chromopolarizability of charmonium and $\pi\pi$ final state interaction revisited

abstract: The chromopolarizability of a quarknonium describes the quarknonium's interaction with soft gluonic fields and can be measured in the heavy quarkonium decays. Within the framework of dispersion theory which consider the $\pi\pi$ final state interaction (FSI) model-independently, we analyze the transition $\psi^\prime\to J/\psi\pi^+\pi^-$ and obtain the chromopolarizability $\alpha_{\psi^\prime \psi}$ and the parameter $\kappa$. It is found that the $\pi\pi$ FSI plays an important role in extracting the chromopolarizability from the experimental data. The obtained chromopolarizability with the FSI is reduced to about 1/2 of that without the FSI. With the FSI, we determine the chromopolarizability $|\alpha_{\psi^\prime\psi}|=(1.44\pm 0.02)$ GeV$^{-3}$ and the parameter $\kappa=0.139\pm 0.005.$ Our results could be useful in studying the interactions of charmonium with light hadrons.


title: The Bahadur representation for sample quantiles under dependent sequence

abstract: On the one hand, we investigate the Bahadur representation for sample quantiles under $\varphi$-mixing sequence with $\varphi(n)=O(n^{-3})$ and obtain a rate as $O(n^{-\frac{3}{4}}\log n)$, $a.s.$. On the other hand, by relaxing the condition of mixing coefficients to $\sum\nolimits_{n=1}^\infty\varphi^{1/2}(n)<\infty$, a rate $O(n^{-1/2}(\log n)^{1/2})$, $a.s.$, is also obtained.


title: Interior Volume of Banados-Teitelboim-Zanelli Black Hole

abstract: We calculate the interior volume for the three-dimensional Banados-Teitelboim-Zanelli black hole in this paper. To that end, we obtain the volume functional and numerically find a path to extremize it, before choosing a spacelike hypersurface to get an asymptotic analytical expression for the interior volume based on the characteristics of the path.


title: Phononic bandgap nano-acoustic cavity with ultralong phonon lifetime

abstract: We present measurements at millikelvin temperatures of the microwave-frequency acoustic properties of a crystalline silicon nanobeam cavity incorporating a phononic bandgap clamping structure for acoustic confinement. Utilizing pulsed laser light to excite a co-localized optical mode of the nanobeam cavity, we measure the dynamics of cavity acoustic modes with single-phonon sensitivity. Energy ringdown measurements for the fundamental $5$~GHz acoustic mode of the cavity shows an exponential increase in phonon lifetime versus number of periods in the phononic bandgap shield, increasing up to $\tau \approx 1.5$~seconds. This ultralong lifetime, corresponding to an effective phonon propagation length of several kilometers, is found to be consistent with damping from non-resonant two-level system defects on the surface of the silicon device. Potential applications of these ultra-coherent nanoscale mechanical resonators range from tests of various collapse models of quantum mechanics to miniature quantum memory elements in hybrid superconducting quantum circuits.


title: High-pressure lithium as an elemental topological semimetal

abstract: Topological semimetals generally contain heavy elements. Using density-functional theoretic calculations, we predict that three dense lithium polymorphs in the pressure range 200--360 GPa display nontrivial semimetallic electronic structure. Specifically, these high-pressure phases exhibit Fermi pockets which are degenerate over a loop in $\boldsymbol{k}$-space, around which an encircling $\bm k$-space path is threaded by $\pm \pi$ Berry phase. Accordingly, these dense lithium phases are topological nodal loop semimetals involving a single light element.


title: Numerical Range Inclusion, Dilation, and completely positive maps

abstract: A proof using the theory of completely positive maps is given to the fact that if $A \in M_2$, or $A \in M_3$ has a reducing eigenvalue, then every bounded linear operator $B$ with $W(B) \subseteq W(A)$ has a dilation of the form $I \otimes A$. This gives a unified treatment for the different cases of the result obtained by researchers using different techniques.


title: Effects of hidden nodes on the reconstruction of bidirectional networks

abstract: Much research effort has been devoted to developing methods for reconstructing the links of a network from dynamics of its nodes. Many current methods require the measurements of the dynamics of all the nodes be known. In real-world problems, it is common that either some nodes of a network of interest are unknown or the measurements of some nodes are unavailable. These nodes, either unknown or whose measurements are unavailable, are called hidden nodes. In this paper, we derive analytical results that explain the effects of hidden nodes on the reconstruction of bidirectional networks. These theoretical results and their implications are verified by numerical studies.


title: Materials discovery and properties prediction in thermal transport via materials informatics: a mini-review

abstract: There has been an increasing demand for materials with special thermal properties, whereas experimental discovery is high-cost and time-consuming. The emerging discipline `Materials Informatics' is an effective approach that can accelerate materials development by combining material science and big data technique. Recently materials informatics has been applied to the design of novel materials such as thermal interface materials for heat-dissipation, and thermoelectric materials for power generation. This mini-review summarized the research progress on the applications of materials informatics for the thermal transport properties prediction and discovery of materials with special thermal properties, including optimal thermal conductivity, interfacial thermal conductance and thermoelectricity efficiency. In addition, some perspectives are given for the outlook of materials informatics in the field of thermal transport.


title: Bayesian Graph Selection Consistency Under Model Misspecification

abstract: Gaussian graphical models are a popular tool to learn the dependence structure in the form of a graph among variables of interest. Bayesian methods have gained in popularity in the last two decades due to their ability to simultaneously learn the covariance and the graph and characterize uncertainty in the selection. For scalability of the Markov chain Monte Carlo algorithms, decomposability is commonly imposed on the graph space. A wide variety of graphical conjugate priors are proposed jointly on the covariance matrix and the graph with improved algorithms to search along the space of decomposable graphs, rendering the methods extremely popular in the context of multivariate dependence modeling. {\it An open problem} in Bayesian decomposable structure learning is whether the posterior distribution is able to select a meaningful decomposable graph that it is ``close'' in an appropriate sense to the true non-decomposable graph, when the dimension of the variables increases with the sample size. In this article, we explore specific conditions on the true precision matrix and the graph which results in an affirmative answer to this question using a commonly used hyper-inverse Wishart prior on the covariance matrix and a suitable complexity prior on the graph space, both in the well-specified and misspecified settings. In absence of structural sparsity assumptions, our strong selection consistency holds in a high dimensional setting where $p = O(n^{\alpha})$ for $\alpha < 1/3$. We show when the true graph is non-decomposable, the posterior distribution on the graph concentrates on a set of graphs that are {\it minimal triangulations} of the true graph.


title: Vertex corrections to the dc conductivity in anisotropic multiband systems

abstract: For an isotropic single-band system, it is well known that the semiclassical Boltzmann transport theory within the relaxation time approximation and the Kubo formula with the vertex corrections provide the same result with the $(1-\cos\theta)$ factor in the inverse transport relaxation time. In anisotropic multiband systems, the semiclassical Boltzmann transport equation is generalized to coupled integral equations relating transport relaxation times at different angles in different bands. Using the Kubo formula, we study the vertex corrections to the dc conductivity in anisotropic multiband systems and derive the relation satisfied by the transport relaxation time for both elastic and inelastic scatterings, verifying that the result is consistent with the semiclassical approach.


title: Symbolic Regression in Materials Science

abstract: We showcase the potential of symbolic regression as an analytic method for use in materials research. First, we briefly describe the current state-of-the-art method, genetic programming-based symbolic regression (GPSR), and recent advances in symbolic regression techniques. Next, we discuss industrial applications of symbolic regression and its potential applications in materials science. We then present two GPSR use-cases: formulating a transformation kinetics law and showing the learning scheme discovers the well-known Johnson-Mehl-Avrami-Kolmogorov (JMAK) form, and learning the Landau free energy functional form for the displacive tilt transition in perovskite LaNiO$_3$. Finally, we propose that symbolic regression techniques should be considered by materials scientists as an alternative to other machine-learning-based regression models for learning from data.


title: Sheaf Of regular functions

abstract: In this paper, we proved that for an affine variety V in A^n; O_V is a sheaf of regular functions and the ringed space pair (V;O_V ) is a locally ringed space.


title: When Did the Remnant of GW170817 Collapse to a Black Hole?

abstract: The main hard pulse of prompt gamma-ray emission in GRB$\,$170817A had a duration of $\sim0.5\,{\rm s}$ and its onset was delayed with respect to the gravitational-wave chirp signal by $t_{\rm del} \approx 1.74\,{\rm s}$. Detailed follow-up of the subsequent broadband kilonova emission revealed a two-component ejecta -- a lanthanide-poor ejecta with mass $M_{\rm ej,blue}\approx0.025\,M_\odot$ that powered the early but rapidly fading blue emission and a lanthanide-rich ejecta with mass $M_{\rm ej,red}\approx 0.04\,M_\odot$ that powered the longer lasting redder emission. Both the prompt gamma-ray onset delay and the existence of the blue ejecta with modest electron fraction, $0.2\lesssim Y_e\lesssim0.3$, can be explained if the collapse to a black hole was delayed by the formation of a hypermassive neutron star (HMNS). Here, we determine the survival time of the merger remnant by combining two different constraints, namely, the time needed to produce the requisite blue-ejecta mass and that necessary for the relativistic jet to bore its way out of the expanding ejecta. In this way, we determine that the remnant of GW170817 must have collapsed to a black hole after $t_{\rm coll}=0.98_{-0.26}^{+0.31}\,{\rm s}$. We also discuss how future detections and the delays between the gravitational and electromagnetic emissions can be used to constrain the properties of the merged object.


title: Finding pathways for stoichiometric Co4N thin films

abstract: In this work, we studied the pathways for formation of stoichiometric \tcn~thin films. Polycrystalline and epitaxial \tcn~films were prepared using reactive direct current magnetron (dcMS) sputtering technique. A systematic variation in the substrate temperature (\Ts) during the dcMS process reveals that the lattice parameter (LP) decreases as \Ts~increases. We found that nearly stoichiometric \tcn~films can be obtained when \Ts~= 300\,K. However, they emerge from the transient state of Co target ($\phi$3\,inch). By reducing the target size to $\phi$1\,inch, now the \tcn~phase formation takes place from the metallic state of Co target. In this case, LP of \tcn~film comes out to be $\sim$99\p~of the value expected for \tcn. This is the largest value of LP found so far for \tcn. The pathways achieved for formation of polycrystalline \tcn~were adopted to grow an epitaxial \tcn~film, which shows four fold magnetic anisotropy in magneto-optic Kerr effect measurements. Detailed characterization using secondary ion mass spectroscopy indicates that N diffuses out when \Ts~is raised even to 400\,K. Measurement of electronic structure using x-ray photoelectron spectroscopy and x-ray absorption spectroscopy further confirms it. Magnetization measurements using bulk magnetization and polarized neutron reflectivity show that the saturation magnetization of stoichiometric \tcn~film is even larger than pure Co. Since all our measurements indicated that N could be diffusing out, when \tcn~films are grown at high \Ts, we did actual N self-diffusion measurements in a CoN sample and found that N self-diffusion was indeed substantially higher. The outcome of this work clearly shows that the \tcn~films grown prior to this work were always N deficient and the pathways for formation of a stoichiometric \tcn~have been achieved.


title: Image Based Review Text Generation with Emotional Guidance

abstract: In the current field of computer vision, automatically generating texts from given images has been a fully worked technique. Up till now, most works of this area focus on image content describing, namely image-captioning. However, rare researches focus on generating product review texts, which is ubiquitous in the online shopping malls and is crucial for online shopping selection and evaluation. Different from content describing, review texts include more subjective information of customers, which may bring difference to the results. Therefore, we aimed at a new field concerning generating review text from customers based on images together with the ratings of online shopping products, which appear as non-image attributes. We made several adjustments to the existing image-captioning model to fit our task, in which we should also take non-image features into consideration. We also did experiments based on our model and get effective primary results.


title: Time-encoded single-pixel 3D imaging

abstract: Recently three-dimensional (3D) imaging achieves tremendous success in consumer and industrial manufacturing. However, current 3D imaging methods rarely observe dynamical events happening in a short time interval due to the imaging speed limitation. Here we propose a time-encoded single-pixel 3D (TESP-3D) imaging method based on active infrared imaging with high-speed structured illumination, which can acquire the 3D information of dynamic events at an ultra-high frame rate. This method uses single-pixel photodetectors instead of conventional CCD or CMOS devices as the imaging sensors to overcome the image capturing speed limitation. As a proof of concept, we perform continuous real-time 3D scanning imaging at a record 500,000 fps and acquire 3D information of objects moving at a speed of up to 25 m/s. We anticipate that this technology will have important applications in industrial on-line inspection and high throughput 3D screening.