title: Hurwitz numbers and integrable hierarchy of Volterra type

abstract: A generating function of the single Hurwitz numbers of the Riemann sphere $\mathbb{CP}^1$ is a tau function of the lattice KP hierarchy. The associated Lax operator $L$ turns out to be expressed as $L = e^{\mathfrak{L}}$, where $\mathfrak{L}$ is a difference-differential operator of the form $\mathfrak{L} = \partial_s - ve^{-\partial_s}$. $\mathfrak{L}$ satisfies a set of Lax equations that form a continuum version of the Bogoyavlensky-Itoh (aka hungry Lotka-Volterra) hierarchies. Emergence of this underlying integrable structure is further explained in the language of generalized string equations for the Lax and Orlov-Schulman operators of the 2D Toda hierarchy. This leads to logarithmic string equations, which are confirmed with the help of a factorization problem of operators.


title: Hybridized discontinuous Galerkin methods for wave propagation

abstract: We present the recent development of hybridizable and embedded discontinuous Galerkin (DG) methods for wave propagation problems in fluids, solids, and electromagnetism. In each of these areas, we describe the methods, discuss their main features, display numerical results to illustrate their performance, and conclude with bibliography notes. The main ingredients in devising these DG methods are (i) a local Galerkin projection of the underlying partial differential equations at the element level onto spaces of polynomials of degree k to parametrize the numerical solution in terms of the numerical trace; (ii) a judicious choice of the numerical flux to provide stability and consistency; and (iii) a global jump condition that enforces the continuity of the numerical flux to obtain a global system in terms of the numerical trace. These DG methods are termed hybridized DG methods, because they are amenable to hybridization (static condensation) and hence to more efficient implementations. They share many common advantages of DG methods and possess some unique features that make them well-suited to wave propagation problems.


title: Whitehead products in moment-angle complexes

abstract: In toric topology, to a simplicial complex $K$ with $m$ vertices, one associates two spaces, the moment-angle complex $\mathcal{Z}_K$ and the Davis-Januszkiewicz space $DJ_K$. These spaces are connected by a homotopy fibration $\mathcal{Z}_K\to DJ_K\to(\mathbb{C}P^\infty)^m$. In this paper, we show that the map $\mathcal{Z}_K\to DJ_K$ is identified with a wedge of iterated (higher) Whitehead products for a certain class of simplicial complexes $K$ including dual shellable complexes. We will prove the result in a more general setting of polyhedral products.


title: Asymptotics of recurrence coefficients for the Laguerre weight with a singularity at the edge

abstract: In this paper, We study the asymptotics of the leading coefficients and the recurrence coefficients for the orthogonal polynomials with repect to the Laguerre weight with singularity of root type and jump type at the soft edge via the Deift-Zhou steepest descent method. The asymptotic formulas of the leading coefficients and the recurrence coefficients for large n are described in terms of a class of analytic solutions to the the {\sigma}-form of the Painlev\'e II equation and the Painlev\'e XXXIV equation.


title: Comment on "Scaling advantages of all-to-all connectivity in physical annealers: the Coherent Ising Machine vs D-Wave 2000Q" [arXiv:1805.05217]

abstract: A recent paper [arXiv:1805.05217] compares performance of a D-Wave 2000Q system to two versions of the coherent Ising machine (CIM). This comment points out some flaws in the analysis, which undermine several of the conclusions drawn in the paper.


title: Long-range strain correlations in 3D quiescent glass forming liquids

abstract: We present a quantitative study of strain correlations in quiescent supercooled liquids and glasses. Recent two-dimensional computer simulations and experiments indicate that even supercooled liquids exhibit long-lived, long-range strain correlations. Here we investigate this issue in three dimensions via experiments on hard sphere colloids and molecular dynamics simulations of a glass forming binary Lennard Jones mixture. Both in the glassy state and in the supercooled regime, strain correlations are found to decay with a $1/r^{3}$ power-law behavior, reminiscent of elastic fields around an inclusion. Moreover, theoretical predictions on the time dependence of the correlation amplitude are in line with the results obtained from experiments and simulations. It is argued that the size of the domain, which exhibits a "solid-like" cooperative strain pattern in a supercooled liquid, is determined by the product of the speed of sound with the structural relaxation time. While this length is of the order of nanometers in the normal liquid state, it grows to macroscale when approaching the glass transition.


title: A linearized and conservative Fourier pseudo-spectral method for the damped nonlinear Schr\"{o}dinger equation in three dimensions

abstract: In this paper, we propose a linearized Fourier pseudo-spectral method, which preserves the total mass and energy conservation laws, for the damped nonlinear Schr\"{o}dinger equation in three dimensions. With the aid of the semi-norm equivalence between the Fourier pseudo-spectral method and the finite difference method, an optimal $L^2$-error estimate for the proposed method without any restriction on the grid ratio is established by analyzing the real and imaginary parts of the error function. Numerical results are addressed to confirm our theoretical analysis.


title: A sliding window technique for interactive high-performance computing scenarios

abstract: Interactive high-performance computing is doubtlessly beneficial for many computational science and engineering applications whenever simulation results should be visually processed in real time, i.e. during the computation process. Nevertheless, interactive HPC entails a lot of new challenges that have to be solved - one of them addressing the fast and efficient data transfer between a simulation back end and visualisation front end, as several gigabytes of data per second are nothing unusual for a simulation running on some (hundred) thousand cores. Here, a new approach based on a sliding window technique is introduced that copes with any bandwidth limitations and allows users to study both large and small scale effects of the simulation results in an interactive fashion.


title: Anomaly matching, (axial) Schwinger models, and high-T super Yang-Mills domain walls

abstract: We study the discrete chiral- and center-symmetry 't Hooft anomaly matching in the charge-$q$ two-dimensional Schwinger model. We show that the algebra of the discrete symmetry operators involves a central extension, implying the existence of $q$ vacua, and that the chiral and center symmetries are spontaneously broken. We then argue that an axial version of the $q$$=$$2$ model appears in the worldvolume theory on domain walls between center-symmetry breaking vacua in the high-temperature $SU(2)$ ${\cal N}$$=$$1$ super-Yang-Mills theory and that it inherits the discrete 't Hooft anomalies of the four-dimensional bulk. The Schwinger model results suggest that the high-temperature domain wall exhibits a surprisingly rich structure: it supports a non-vanishing fermion condensate and perimeter law for spacelike Wilson loops, thus mirroring many properties of the strongly coupled four-dimensional low-temperature theory. We also discuss generalizations to theories with multiple adjoint fermions and possible lattice tests.


title: Classification of lung nodules in CT images based on Wasserstein distance in differential geometry

abstract: Lung nodules are commonly detected in screening for patients with a risk for lung cancer. Though the status of large nodules can be easily diagnosed by fine needle biopsy or bronchoscopy, small nodules are often difficult to classify on computed tomography (CT). Recent works have shown that shape analysis of lung nodules can be used to differentiate benign lesions from malignant ones, though existing methods are limited in their sensitivity and specificity. In this work we introduced a new 3D shape analysis within the framework of differential geometry to calculate the Wasserstein distance between benign and malignant lung nodules to derive an accurate classification scheme. The Wasserstein distance between the nodules is calculated based on our new spherical optimal mass transport, this new algorithm works directly on sphere by using spherical metric, which is much more accurate and efficient than previous methods. In the process of deformation, the area-distortion factor gives a probability measure on the unit sphere, which forms the Wasserstein space. From known cases of benign and malignant lung nodules, we can calculate a unique optimal mass transport map between their correspondingly deformed Wasserstein spaces. This transportation cost defines the Wasserstein distance between them and can be used to classify new lung nodules into either the benign or malignant class. To the best of our knowledge, this is the first work that utilizes Wasserstein distance for lung nodule classification. The advantages of Wasserstein distance are it is invariant under rigid motions and scalings, thus it intrinsically measures shape distance even when the underlying shapes are of high complexity, making it well suited to classify lung nodules as they have different sizes, orientations, and appearances.


title: Probabilistic Bisection with Spatial Metamodels

abstract: Probabilistic Bisection Algorithm performs root finding based on knowledge acquired from noisy oracle responses. We consider the generalized PBA setting (G-PBA) where the statistical distribution of the oracle is unknown and location-dependent, so that model inference and Bayesian knowledge updating must be performed simultaneously. To this end, we propose to leverage the spatial structure of a typical oracle by constructing a statistical surrogate for the underlying logistic regression step. We investigate several non-parametric surrogates, including Binomial Gaussian Processes (B-GP), Polynomial, Kernel, and Spline Logistic Regression. In parallel, we develop sampling policies that adaptively balance learning the oracle distribution and learning the root. One of our proposals mimics active learning with B-GPs and provides a novel look-ahead predictive variance formula. The resulting gains of our Spatial PBA algorithm relative to earlier G-PBA models are illustrated with synthetic examples and a challenging stochastic root finding problem from Bermudan option pricing.


title: Predicting radial-velocity jitter induced by stellar oscillations based on Kepler data

abstract: Radial-velocity (RV) jitter due to intrinsic stellar variability introduces challenges when characterizing exoplanet systems, particularly when studying small (sub-Neptune-sized) planets orbiting solar-type stars. In this Letter we predicted for dwarfs and giants the jitter due to stellar oscillations, which in velocity have much larger amplitudes than noise introduced by granulation. We then fitted the jitter in terms of the following sets of stellar parameters: (1) Luminosity, mass, and effective temperature: the fit returns precisions (i.e., standard deviations of fractional residuals) of 17.9% and 27.1% for dwarfs and giants, respectively. (2) Luminosity, effective temperature, and surface gravity: The precisions are the same as using the previous parameter set. (3) Surface gravity and effective temperature: we obtain a precision of 22.6% for dwarfs and 27.1% for giants. (4): Luminosity and effective temperature: the precision is 47.8% for dwarfs and 27.5% for giants. Our method will be valuable for anticipating the radial-velocity stellar noise level of exoplanet host stars to be found by the TESS and PLATO space missions, and thus can be useful for their follow-up spectroscopic observations. We provide publicly available code (https://github.com/Jieyu126/Jitter) to set a prior for the jitter term as a component when modeling the Keplerian orbits of the exoplanets.


title: Optical Design of the TolTEC Millimeter-wave Camera

abstract: TolTEC is a new camera being built for the 50-meter Large Millimeter-wave Telescope (LMT) in Puebla, Mexico to survey distant galaxies and star-forming regions in the Milky Way. The optical design simultaneously couples the field of view onto focal planes at 150, 220, and 280 GHz. The optical design and detector properties, as well as a data-driven model of the atmospheric emission of the LMT site, inform the sensitivity model of the integrated instrument. This model is used to optimize the instrument design, and to calculate the mapping speed as an early forecast of the science reach of the instrument.


title: Global Well-Posedness and Exponential Stability for Heterogeneous Anisotropic Maxwell's Equations under a Nonlinear Boundary Feedback with Delay

abstract: We consider an initial-boundary value problem for the Maxwell's system in a bounded domain with a linear inhomogeneous anisotropic instantaneous material law subject to a nonlinear Silver-Muller-type boundary feedback mechanism incorporating both an instantaneous damping and a time-localized delay effect. By proving the maximal monotonicity property of the underlying nonlinear generator, we establish the global well-posedness in an appropriate Hilbert space. Further, under suitable assumptions and geometric conditions, we show the system is exponentially stable.


title: Generating Titles for Web Tables

abstract: Descriptive titles provide crucial context for interpreting tables that are extracted from web pages and are a key component of table-based web applications. Prior approaches have attempted to produce titles by selecting existing text snippets associated with the table. These approaches, however, are limited by their dependence on suitable titles existing a priori. In our user study, we observe that the relevant information for the title tends to be scattered across the page, and often--more than 80% of the time--does not appear verbatim anywhere in the page. We propose instead the application of a sequence-to-sequence neural network model as a more generalizable means of generating high-quality titles. This is accomplished by extracting many text snippets that have potentially relevant information to the table, encoding them into an input sequence, and using both copy and generation mechanisms in the decoder to balance relevance and readability of the generated title. We validate this approach with human evaluation on sample web tables and report that while sequence models with only a copy mechanism or only a generation mechanism are easily outperformed by simple selection-based baselines, the model with both capabilities outperforms them all, approaching the quality of crowdsourced titles while training on fewer than ten thousand examples. To the best of our knowledge, the proposed technique is the first to consider text generation methods for table titles and establishes a new state of the art.


title: Oxygen and helium in stripped-envelope supernovae

abstract: We present an analysis of 507 spectra of 173 stripped-envelope (SE) supernovae (SNe) discovered by the untargeted Palomar Transient Factory (PTF) and intermediate PTF (iPTF) surveys. Our sample contains 55 Type IIb SNe (SNe IIb), 45 Type Ib SNe (SNe Ib), 56 Type Ic SNe (SNe Ic), and 17 Type Ib/c SNe (SNe Ib/c). We compare the SE SN subtypes via measurements of the pseudo-equivalent widths (pEWs) and velocities of the He I $\lambda\lambda5876, 7065$ and O I $\lambda7774$ absorption lines. Consistent with previous work, we find that SNe Ic show higher pEWs and velocities in O I $\lambda7774$ compared to SNe IIb and Ib. The pEWs of the He I $\lambda\lambda5876, 7065$ lines are similar in SNe Ib and IIb after maximum light. The He I $\lambda\lambda5876, 7065$ velocities at maximum light are higher in SNe Ib compared to SNe IIb. We have identified an anticorrelation between the He I $\lambda7065$ pEW and O I $\lambda7774$ velocity among SNe IIb and Ib. This can be interpreted as a continuum in the amount of He present at the time of explosion. It has been suggested that SNe Ib and Ic have similar amounts of He, and that lower mixing could be responsible for hiding He in SNe Ic. However, our data contradict this mixing hypothesis. The observed difference in the expansion rate of the ejecta around maximum light of SNe Ic ($V_{\mathrm{m}}=\sqrt{2E_{\mathrm{k}}/M_{\mathrm{ej}}}\approx15,000$ km s$^{-1}$) and SNe Ib ($V_{\mathrm{m}}\approx9000$ km s$^{-1}$) would imply an average He mass difference of $\sim1.4$ $M_{\odot}$, if the other explosion parameters are assumed to be unchanged between the SE SN subtypes. We conclude that SNe Ic do not hide He but lose He due to envelope stripping.


title: Light-by-Light Scattering in a Photon-Photon Collider

abstract: We studied the feasibility of observing light-by-light scattering in a photon-photon collider based on an existing accelerator complex and a commercially available laser system. We investigated the statistical significance of the signal over the QED backgrounds through a Monte Carlo simulation with a detector model. The study showed that light-by-light scattering can be observed with a statistical significance of 8 to 10 sigma in a year of operation, depending on the operating conditions.


title: Domains and defects in nuclear "pasta"

abstract: Nuclear pasta topology is an essential ingredient to determine transport properties in the inner crust of neutron stars. We perform semi-classical molecular dynamics simulations of nuclear pasta for proton fractions $Y_p=0.30$ and $Y_p=0.40$ near one third of nuclear saturation density, $n=0.05\,\mathrm{fm}^{-3}$, at a temperature $T=1.0\,\mathrm{MeV}$. Our simulations are, to our knowledge, the largest nuclear pasta simulations to date and contain up to $3\,276\,800$ nucleons in the $Y_p=0.30$ and $819\,200$ nucleons in the $Y_p=0.40$ case. An algorithm to determine which nucleons are part of a given sub-domain in the system is presented. By comparing runs of different sizes we study finite size effects, equilibration time, the formation of multiple domains and defects in the pasta structures, as well as the structure factor dependence on simulation size. Although we find qualitative agreement between the topological structure and the structure factors of runs with $51\,200$ nucleons and those with $819\,200$ nucleons or more, we show that simulations with hundreds of thousands of nucleons may be necessary to accurately predict pasta transport properties.


title: An adaptive solver for viscoelastic incompressible two-phase problems applied to the study of the splashing of slightly viscoelastic droplets

abstract: We propose an adaptive numerical solver for the study of viscoelastic 2D two-phase flows using the volume-of-fluid method. The scheme uses the robust log conformation tensor technique of Fattal & Kupferman (2004,2005} combined with the time-split scheme proposed by Hao & Pan (2007}. The use of this time-split scheme has been proven to increase the stability of the numerical computation of two-phase flows. We show that the adaptive computational technique can be used to simulate viscoelastic flows efficiently. The solver is coded using the open-source libraries provided by the \basilisk \cite{Basilisk} platform. In particular, the method is implemented for Oldroyd-B type viscoelastic fluids and related models (FENE-P and FENE-CR). The numerical scheme is then used to study the splashing of weakly viscoelastic drops. The solvers and tests of this work are freely available on the Basilisk web site


title: On the K-theory of division algebras over local fields

abstract: Let $K$ be a complete discrete valuation field with finite residue field of characteristic $p$, and let $D$ be a central division algebra over $K$ of finite index $d$. Thirty years ago, Suslin and Yufryakov showed that for all prime numbers $\ell$ different from $p$ and integers $j \geq 1$ , there exists a "reduced norm" isomorphism of $\ell$-adic $K$-groups $\operatorname{Nrd}_{D/K} \colon K_j(D,\mathbb{Z}_{\ell}) \to K_j(K,\mathbb{Z}_{\ell})$ such that $d \cdot \operatorname{Nrd}_{D/K}$ is equal to the norm homomorphism $N_{D/K}$. The purpose of this paper is to prove the analogous result for the $p$-adic $K$-groups. To do so, we employ the cyclotomic trace map to topological cyclic homology and show that there exists a "reduced trace" equivalence $\operatorname{Trd}_{A/S} \colon \operatorname{THH}(A\,|\,D,\mathbb{Z}_p) \to \operatorname{THH}(S\,|\,K,\mathbb{Z}_p)$ between two $p$-complete cyclotomic spectra associated with $D$ and $K$, respectively. Interestingly, we show that if $p$ divides $d$, then it is not possible to choose said equivalence such that, as maps of cyclotomic spectra, $d \cdot \operatorname{Trd}_{A/S}$ agrees with the trace $\operatorname{Tr}_{A/S}$, although this is possible as maps of spectra with $\mathbb{T}$-action.


title: $h^*$-Polynomials With Roots on the Unit Circle

abstract: For an $n$-dimensional lattice simplex $\Delta_{(1,\mathbf{q})}$ with vertices given by the standard basis vectors and $-\mathbf{q}$ where $\mathbf{q}$ has positive entries, we investigate when the Ehrhart $h^*$-polynomial for $\Delta_{(1,\mathbf{q})}$ factors as a product of geometric series in powers of $z$. Our motivation is a theorem of Rodriguez-Villegas implying that when the $h^*$-polynomial of a lattice polytope $P$ has all roots on the unit circle, then the Ehrhart polynomial of $P$ has positive coefficients. We focus on those $\Delta_{(1,\mathbf{q})}$ for which $\mathbf{q}$ has only two or three distinct entries, providing both theoretical results and conjectures/questions motivated by experimental evidence.


title: Reliable Gene Mutation Prediction in Clear Cell Renal Cell Carcinoma through Multi-classifier Multi-objective Radiogenomics Model

abstract: Genetic studies have identified associations between gene mutations and clear cell renal cell carcinoma (ccRCC). Because the complete gene mutational landscape cannot be characterized through biopsy and sequencing assays for each patient, non-invasive tools are needed to determine the mutation status for tumors. Radiogenomics may be an attractive alternative tool to identify disease genomics by analyzing amounts of features extracted from medical images. Most current radiogenomics predictive models are built based on a single classifier and trained through a single objective. However, since many classifiers are available, selecting an optimal model is difficult. On the other hand, a single objective may not be a good measure to guide model training. We proposed a new multi-classifier multi-objective (MCMO) radiogenomics predictive model. To obtain more reliable prediction results, similarity-based sensitivity and specificity were defined and considered as the two objective functions simultaneously during training. To take advantage of different classifiers, the evidential reasoning (ER) approach was used for fusing the output of each classifier. Additionally, a new similarity-based multi-objective optimization algorithm (SMO) was developed for training the MCMO to predict ccRCC related gene mutations (VHL, PBRM1 and BAP1). Preliminary results revealed an association between some quantitative computed tomography (CT) features and underlying mutations. Using the proposed MCMO model, we achieved a predictive area under the receiver operating characteristic curve (AUC) over 0.86 for VHL, PBRM1, and BAP1 genes with balanced sensitivity and specificity. Furthermore, MCMO outperformed all the individual classifiers and yielded more reliable results than other optimization algorithms and commonly used fusion strategies.


title: Stress-testing memcomputing on hard combinatorial optimization problems

abstract: Memcomputing is a novel paradigm of computation that utilizes dynamical elements with memory to both store and process information on the same physical location. Its building blocks can be fabricated in hardware with standard electronic circuits, thus offering a path to its practical realization. In addition, since memcomputing is based on non-quantum elements, the equations of motion describing these machines can be simulated efficiently on standard computers. In fact, it was recently realized that memcomputing, and in particular its digital (hence scalable) version, when simulated on a classical machine provides a significant speed-up over state-of-the-art algorithms on a variety of non-convex problems. Here, we stress-test the capabilities of this approach on finding approximate solutions to hard combinatorial optimization problems. These fall into a class which is known to require exponentially growing resources in the worst cases, even to generate approximations. We recently showed that in a region where state of the art algorithms demonstrate this exponential growth, simulations of digital memcomputing machines performed using the Falcon$^\copyright$ simulator of MemComputing, Inc. only require time and memory resources that scale linearly. These results are extended in a stress-test up to $64\times10^6$ variables (corresponding to about 1 billion literals), namely the largest case that we could fit on a single node with 128 GB of DRAM. Since memcomputing can be applied to a wide variety of optimization problems, this stress test shows the considerable advantage of non-combinatorial, physics-inspired approaches over standard combinatorial ones.


title: Robust Component-based Network Localization with Noisy Range Measurements

abstract: Accurate and robust localization is crucial for wireless ad-hoc and sensor networks. Among the localization techniques, component-based methods advance themselves for conquering network sparseness and anchor sparseness. But component-based methods are sensitive to ranging noises, which may cause a huge accumulated error either in component realization or merging process. This paper presents three results for robust component-based localization under ranging noises. (1) For a rigid graph component, a novel method is proposed to evaluate the graph's possible number of flip ambiguities under noises. In particular, graph's \emph{MInimal sepaRators that are neaRly cOllineaR (MIRROR)} is presented as the cause of flip ambiguity, and the number of MIRRORs indicates the possible number of flip ambiguities under noise. (2) Then the sensitivity of a graph's local deforming regarding ranging noises is investigated by perturbation analysis. A novel Ranging Sensitivity Matrix (RSM) is proposed to estimate the node location perturbations due to ranging noises. (3) By evaluating component robustness via the flipping and the local deforming risks, a Robust Component Generation and Realization (RCGR) algorithm is developed, which generates components based on the robustness metrics. RCGR was evaluated by simulations, which showed much better noise resistance and locating accuracy improvements than state-of-the-art of component-based localization algorithms.


title: Finding a Path with Two Labels Forbidden in Group-Labeled Graphs

abstract: The parity of the length of paths and cycles is a classical and well-studied topic in graph theory and theoretical computer science. The parity constraints can be extended to label constraints in a group-labeled graph, which is a directed graph with each arc labeled by an element of a group. Recently, paths and cycles in group-labeled graphs have been investigated, such as packing non-zero paths and cycles, where "non-zero" means that the identity element is a unique forbidden label. In this paper, we present a solution to finding an $s$--$t$ path with two labels forbidden in a group-labeled graph. This also leads to an elementary solution to finding a zero $s$--$t$ path in a ${\mathbb Z}_3$-labeled graph, which is the first nontrivial case of finding a zero path. This situation in fact generalizes the 2-disjoint paths problem in undirected graphs, which also motivates us to consider that setting. More precisely, we provide a polynomial-time algorithm for testing whether there are at most two possible labels of $s$--$t$ paths in a group-labeled graph or not, and finding $s$--$t$ paths attaining at least three distinct labels if exist. The algorithm is based on a necessary and sufficient condition for a group-labeled graph to have exactly two possible labels of $s$--$t$ paths, which is the main technical contribution of this paper.


title: Linear and sublinear convergence rates for a subdifferentiable distributed deterministic asynchronous Dykstra's algorithm

abstract: In two earlier papers, we designed a distributed deterministic asynchronous algorithm for minimizing the sum of subdifferentiable and proximable functions and a regularizing quadratic on time-varying graphs based on Dykstra's algorithm, or block coordinate dual ascent. Each node in the distributed optimization problem is the sum of a known regularizing quadratic and a function to be minimized. In this paper, we prove sublinear convergence rates for the general algorithm, and a linear rate of convergence if the function on each node is smooth with Lipschitz gradient.


title: An Expanded Gas-Grain Model for Interstellar Glycine

abstract: The study of the chemical evolution of glycine in the interstellar medium is one of challenging topics in astrochemistry. Here, we present the chemical modeling of glycine in hot cores using the state-of-the-art three-phase chemical model NAUTILUS, which is focused on the latest glycine chemistry. For the formation process of glycine on the grain surface, we obtained consistent results with previous studies that glycine would be formed via the reactions of COOH with CH$_2$NH$_2$. However, we will report three important findings regarding the chemical evolution and the detectability of interstellar glycine. First, with the experimentally obtained binding energy from the temperature programmed thermal desorption (TPD) experiment, a large proportion of glycine was destroyed through the grain surface reactions with NH or CH$_3$O radicals before it fully evaporates. As a result, the formation process in the gas phase is more important than thermal evaporation from grains. If this is the case, NH$_2$OH and CH$_3$COOH rather than CH$_3$NH$_2$ and CH$_2$NH would be the essential precursors to the gas phase glycine. Secondly, since the gas phase glycine will be quickly destroyed by positive ions or radicals, early evolutionary phase of the hot cores would be the preferable target for the future glycine surveys. Thirdly, we suggest the possibility that the suprathermal hydrogen atoms can strongly accelerate the formation of COOH radicals from CO$_2$, resulting in the dramatic increase of formation rate of glycine on grains. The efficiency of this process should be investigated in detail by theoretical and experimental studies in the future.


title: Approximate Nearest Neighbors in Limited Space

abstract: We consider the $(1+\epsilon)$-approximate nearest neighbor search problem: given a set $X$ of $n$ points in a $d$-dimensional space, build a data structure that, given any query point $y$, finds a point $x \in X$ whose distance to $y$ is at most $(1+\epsilon) \min_{x \in X} \|x-y\|$ for an accuracy parameter $\epsilon \in (0,1)$. Our main result is a data structure that occupies only $O(\epsilon^{-2} n \log(n) \log(1/\epsilon))$ bits of space, assuming all point coordinates are integers in the range $\{-n^{O(1)} \ldots n^{O(1)}\}$, i.e., the coordinates have $O(\log n)$ bits of precision. This improves over the best previously known space bound of $O(\epsilon^{-2} n \log(n)^2)$, obtained via the randomized dimensionality reduction method of Johnson and Lindenstrauss (1984). We also consider the more general problem of estimating all distances from a collection of query points to all data points $X$, and provide almost tight upper and lower bounds for the space complexity of this problem.


title: Gadget structures in proofs of the Kochen-Specker theorem

abstract: The Kochen-Specker theorem is a fundamental result in quantum foundations that has spawned massive interest since its inception. We show that within every Kochen-Specker graph, there exist interesting subgraphs which we term $01$-gadgets, that capture the essential contradiction necessary to prove the Kochen-Specker theorem, i.e,. every Kochen-Specker graph contains a $01$-gadget and from every $01$-gadget one can construct a proof of the Kochen-Specker theorem. Moreover, we show that the $01$-gadgets form a fundamental primitive that can be used to formulate state-independent and state-dependent statistical Kochen-Specker arguments as well as to give simple constructive proofs of an "extended" Kochen-Specker theorem first considered by Pitowsky.


title: A High-Diversity Transceiver Design for MISO Broadcast Channels

abstract: In this paper, the outage behavior and diversity order of the mixture transceiver architecture for multiple-input single-output broadcast channels are analyzed. The mixture scheme groups users with closely-aligned channels and applies superposition coding and successive interference cancellation decoding to each group composed of users with closely-aligned channels, while applying zero-forcing beamforming across semi-orthogonal user groups. In order to enable such analysis, closed-form lower bounds on the achievable rates of a general multiple-input single-output broadcast channel with superposition coding and successive interference cancellation are newly derived. By employing channel-adaptive user grouping and proper power allocation, which ensures that the channel subspaces of user groups have angle larger than a certain threshold, it is shown that the mixture transceiver architecture achieves full diversity order in multiple-input single-output broadcast channels and opportunistically increases the multiplexing gain while achieving full diversity order. Furthermore, the achieved full diversity order is the same as that of the single-user maximum ratio transmit beamforming. Hence, the mixture scheme can provide reliable communication under channel fading for ultra-reliable low latency communication. Numerical results validate our analysis and show the outage superiority of the mixture scheme over conventional transceiver designs for multiple-input single-output broadcast channels.


title: Stability of charges in titanium compounds and charge transfer to oxygen in titanium dioxide

abstract: We investigate the charge density distribution in titanium dioxide, molecular titanium complexes and a variety of periodic titanium compounds using delocalization indices and Bader charge analysis. Our results are in agreement with previous experimental and theoretical investigations on the charge stability and deviation from formal oxidation states in transition metal compounds. We present examples for practically relevant redox processes, using molecular titanium dioxide model systems, that illustrate the failure of formal oxidation states to account for some redox phenomena. We observe a pronounced charge stability on titanium for trial systems which are expected to be mainly ionic. No environment tested by us is capable to reduce the local titanium charge remainder below one electron.


title: Energy dissipation and information flow in coupled Markovian systems

abstract: A stochastic system under the influence of a stochastic environment is correlated with both present and future states of the environment. Such a system can be seen as implicitly implementing a predictive model of future environmental states. The non-predictive model complexity has been shown to lower-bound the thermodynamic dissipation. Here we explore these statistical and physical quantities at steady state in simple models. We show that under quasi-static driving this model complexity saturates the dissipation. Beyond the quasi-static limit, we demonstrate a lower bound on the ratio of this model complexity to total dissipation, that is realized in the limit of weak driving.


title: High Power, Tunable, Continuous-Wave Fiber Lasers in the L-band using Cascaded Raman Amplifiers

abstract: We demonstrate a high power, all-fiber, tunable laser source that can operate in the L-band region. A low power, tunable input laser is amplified with a recently proposed, high efficiency, 6th order cascaded Raman amplifier. The proposed system is scalable and overcomes the limitations of Erbium and Erbium-Ytterbium co-doped fiber lasers for power scaling. A tunable Erbium-Ytterbium co-doped fiber ring laser generating ~0.5W of power and tunable in the 1560-1590 nm wavelength range is utilized as the seed source. The output from the seed laser is amplified to ~24 W using 6th order cascaded Raman amplification. A high power Yb laser operating at 1117nm is used as the pump laser for driving the Raman conversions. The operating wavelength of the demonstrated laser in the eye-safe, atmospherically transparent region enables high power free-space applications. In addition, this source enables other interesting applications such as high power supercontinuum generation with conventional silica fibers.


title: Conformal blocks for Galois covers of algebraic curves

abstract: We study the spaces of twisted conformal blocks attached to a $\Gamma$-curve $\Sigma$ with marked $\Gamma$-orbits and an action of $\Gamma$ on a simple Lie algebra $\mathfrak{g}$, where $\Gamma$ is a finite group. We prove that if $\Gamma$ stabilizes a Borel subalgebra of $\mathfrak{g}$, then Propagation Theorem and Factorization Theorem hold. We endow a flat projective connection on the sheaf of twisted conformal blocks attached to a smooth family of pointed $\Gamma$-curves; in particular, it is locally free. We also prove that the sheaf of twisted conformal blocks on the stable compactification of Hurwitz stack is locally free. Let $\mathscr{G}$ be the parahoric Bruhat-Tits group scheme on the quotient curve $\Sigma/\Gamma$ obtained via the $\Gamma$-invariance of Weil restriction associated to $\Sigma$ and the simply-connected simple algebraic group $G$ with Lie algebra $\mathfrak{g}$. We prove that the space of twisted conformal blocks can be identified with the space of generalized theta functions on the moduli stack of quasi-parabolic $\mathscr{G}$-torsors on $\Sigma/\Gamma$ when the level $c$ is divisible by $|\Gamma|$ (establishing a conjecture due to Pappas-Rapoport).


title: Structure Inference Net: Object Detection Using Scene-Level Context and Instance-Level Relationships

abstract: Context is important for accurate visual recognition. In this work we propose an object detection algorithm that not only considers object visual appearance, but also makes use of two kinds of context including scene contextual information and object relationships within a single image. Therefore, object detection is regarded as both a cognition problem and a reasoning problem when leveraging these structured information. Specifically, this paper formulates object detection as a problem of graph structure inference, where given an image the objects are treated as nodes in a graph and relationships between the objects are modeled as edges in such graph. To this end, we present a so-called Structure Inference Network (SIN), a detector that incorporates into a typical detection framework (e.g. Faster R-CNN) with a graphical model which aims to infer object state. Comprehensive experiments on PASCAL VOC and MS COCO datasets indicate that scene context and object relationships truly improve the performance of object detection with more desirable and reasonable outputs.


title: High Power, Continuous-wave Supercontinuum Generation in Highly Nonlinear Fibers Pumped with High Order, Cascaded Raman Fiber Amplifiers

abstract: A novel method for efficient generation of high power, equalized continuous-wave supercontinuum source in an all conventional silica fiber architecture is demonstrated. Highly nonlinear fiber (HNLF) is pumped in its anomalous dispersion region using a novel, high power, L-band laser. The L-band laser encompasses a 6th order cascaded Raman amplifier which is pumped with a high power Ytterbium doped fiber laser and amplifies a low-power, tunable L-band seed source. The supercontinuum generated 35W of power with ~40% efficiency. The Supercontinuum spectrum was measured to have a high degree of flatness of better than 5 dB over 400 nm of bandwidth (1.3 - 1.7 micron, limited by spectrum analyzer range) and a power spectral density in this region of >50 mW/nm. The extent of the SC spectrum is estimated to be upto 2 micron


title: An optimal algorithm for 2-bounded delay buffer management with lookahead

abstract: The bounded delay buffer management problem, which was proposed by Kesselman et~al.\ (STOC 2001 and SIAM Journal on Computing 33(3), 2004), is an online problem focusing on buffer management of a switch supporting Quality of Service (QoS). The problem definition is as follows: Packets arrive to a buffer over time and each packet is specified by the {\em release time}, {\em deadline} and {\em value}. An algorithm can transmit at most one packet from the buffer at each integer time and can gain its value as the {\em profit} if transmitting a packet by its deadline after its release time. The objective of this problem is to maximize the gained profit. We say that an instance of the problem is $s$-bounded if for any packet, an algorithm has at most $s$ chances to transmit it. For any $s \geq 2$, Hajek (CISS 2001) showed that the competitive ratio of any deterministic algorithm is at least $(1 + \sqrt{5})/2 \approx 1.619$. It is conjectured that there exists an algorithm whose competitive ratio matching this lower bound for any $s$. However, it has not been shown yet. Then, when $s = 2$, B{\"o}hm et al.~(ISAAC 2016) introduced the {\em lookahead} ability to an online algorithm, that is the algorithm can gain information about future arriving packets, and showed that the algorithm achieves the competitive ratio of $(-1 + \sqrt{13})/2 \approx 1.303$. Also, they showed that the competitive ratio of any deterministic algorithm is at least $(1 + \sqrt{17})/4 \approx 1.281$. In this paper, for the 2-bounded model with lookahead, we design an algorithm with a matching competitive ratio of $(1 + \sqrt{17})/4$.


title: A Constrained Coupled Matrix-Tensor Factorization for Learning Time-evolving and Emerging Topics

abstract: Topic discovery has witnessed a significant growth as a field of data mining at large. In particular, time-evolving topic discovery, where the evolution of a topic is taken into account has been instrumental in understanding the historical context of an emerging topic in a dynamic corpus. Traditionally, time-evolving topic discovery has focused on this notion of time. However, especially in settings where content is contributed by a community or a crowd, an orthogonal notion of time is the one that pertains to the level of expertise of the content creator: the more experienced the creator, the more advanced the topic. In this paper, we propose a novel time-evolving topic discovery method which, in addition to the extracted topics, is able to identify the evolution of that topic over time, as well as the level of difficulty of that topic, as it is inferred by the level of expertise of its main contributors. Our method is based on a novel formulation of Constrained Coupled Matrix-Tensor Factorization, which adopts constraints well-motivated for, and, as we demonstrate, are essential for high-quality topic discovery. We qualitatively evaluate our approach using real data from the Physics and also Programming Stack Exchange forum, and we were able to identify topics of varying levels of difficulty which can be linked to external events, such as the announcement of gravitational waves by the LIGO lab in Physics forum. We provide a quantitative evaluation of our method by conducting a user study where experts were asked to judge the coherence and quality of the extracted topics. Finally, our proposed method has implications for automatic curriculum design using the extracted topics, where the notion of the level of difficulty is necessary for the proper modeling of prerequisites and advanced concepts.


title: Machine Learning for Integrating Data in Biology and Medicine: Principles, Practice, and Opportunities

abstract: New technologies have enabled the investigation of biology and human health at an unprecedented scale and in multiple dimensions. These dimensions include a myriad of properties describing genome, epigenome, transcriptome, microbiome, phenotype, and lifestyle. No single data type, however, can capture the complexity of all the factors relevant to understanding a phenomenon such as a disease. Integrative methods that combine data from multiple technologies have thus emerged as critical statistical and computational approaches. The key challenge in developing such approaches is the identification of effective models to provide a comprehensive and relevant systems view. An ideal method can answer a biological or medical question, identifying important features and predicting outcomes, by harnessing heterogeneous data across several dimensions of biological variation. In this Review, we describe the principles of data integration and discuss current methods and available implementations. We provide examples of successful data integration in biology and medicine. Finally, we discuss current challenges in biomedical integrative methods and our perspective on the future development of the field.


title: Modeling Mistrust in End-of-Life Care

abstract: In this work, we characterize the doctor-patient relationship using a machine learning-derived trust score. We show that this score has statistically significant racial associations, and that by modeling trust directly we find stronger disparities in care than by stratifying on race. We further demonstrate that mistrust is indicative of worse outcomes, but is only weakly associated with physiologically-created severity scores. Finally, we describe sentiment analysis experiments indicating patients with higher levels of mistrust have worse experiences and interactions with their caregivers. This work is a step towards measuring fairer machine learning in the healthcare domain.


title: Generation of Automatic and Realistic Artificial Profiles

abstract: Online social networks (OSNs) are abused by cyber criminals for various malicious activities. One of the most effective approaches for detecting malicious activity in OSNs involves the use of social network honeypots - artificial profiles that are deliberately planted within OSNs in order to attract abusers. Honeypot profiles have been used in detecting spammers, potential cyber attackers, and advanced attackers. Therefore, there is a growing need for the ability to reliably generate realistic artificial honeypot profiles in OSNs. In this research we present 'ProfileGen' - a method for the automated generation of profiles for professional social networks, giving particular attention to producing realistic education and employment records. 'ProfileGen' creates honeypot profiles that are similar to actual data by extrapolating the characteristics and properties of real data items. Evaluation by 70 domain experts confirms the method's ability to generate realistic artificial profiles that are indistinguishable from real profiles, demonstrating that our method can be applied to generate realistic artificial profiles for a wide range of applications.


title: A New Benchmark and Progress Toward Improved Weakly Supervised Learning

abstract: Knowledge Matters: Importance of Prior Information for Optimization [7], by Gulcehre et. al., sought to establish the limits of current black-box, deep learning techniques by posing problems which are difficult to learn without engineering knowledge into the model or training procedure. In our work, we completely solve the previous Knowledge Matters problem using a generic model, pose a more difficult and scalable problem, All-Pairs, and advance this new problem by introducing a new learned, spatially-varying histogram model called TypeNet which outperforms conventional models on the problem. We present results on All-Pairs where our model achieves 100% test accuracy while the best ResNet models achieve 79% accuracy. In addition, our model is more than an order of magnitude smaller than Resnet-34. The challenge of solving larger-scale All-Pairs problems with high accuracy is presented to the community for investigation.


title: Attainability of the best Sobolev constant in a ball

abstract: The best constant of the Sobolev inequality in the whole space is attained by the Aubin-Talenti function; however, this does not happen in bounded domains because the break in dilation invariance. In this paper, we investigate a new scale invariant form of the Sobolev inequality in a ball and show that its best constant is attained by functions of the Aubin-Talenti type. Generalization to the Caffarelli-Kohn-Nirenberg inequality in a ball is also discussed.


title: Charting the Security Landscape of Programmable Dataplanes

abstract: Emerging programmable dataplanes will revamp communication networks, allowing programmers to reconfigure and tailor switches towards their need, in a protocol-independent manner. While the community has articulated well the benefits of such network architectures in terms of flexibility and performance, little is known today about the security implications. We in this position paper argue that the programmable dataplanes in general and P4 in particular introduce an uncharted security landscape. In particular, we find that while some existing security studies on traditional OpenFlow-based networks still apply, P4 comes with several specific components and aspects which change the attack surface and introduce new challenges. We highlight several examples and provide a first systematic security analysis.


title: Sound Event Localization and Detection of Overlapping Sources Using Convolutional Recurrent Neural Networks

abstract: In this paper, we propose a convolutional recurrent neural network for joint sound event localization and detection (SELD) of multiple overlapping sound events in three-dimensional (3D) space. The proposed network takes a sequence of consecutive spectrogram time-frames as input and maps it to two outputs in parallel. As the first output, the sound event detection (SED) is performed as a multi-label classification task on each time-frame producing temporal activity for all the sound event classes. As the second output, localization is performed by estimating the 3D Cartesian coordinates of the direction-of-arrival (DOA) for each sound event class using multi-output regression. The proposed method is able to associate multiple DOAs with respective sound event labels and further track this association with respect to time. The proposed method uses separately the phase and magnitude component of the spectrogram calculated on each audio channel as the feature, thereby avoiding any method- and array-specific feature extraction. The method is evaluated on five Ambisonic and two circular array format datasets with different overlapping sound events in anechoic, reverberant and real-life scenarios. The proposed method is compared with two SED, three DOA estimation, and one SELD baselines. The results show that the proposed method is generic and applicable to any array structures, robust to unseen DOA values, reverberation, and low SNR scenarios. The proposed method achieved a consistently higher recall of the estimated number of DOAs across datasets in comparison to the best baseline. Additionally, this recall was observed to be significantly better than the best baseline method for a higher number of overlapping sound events.


title: Game-Theoretic Interpretability for Temporal Modeling

abstract: Interpretability has arisen as a key desideratum of machine learning models alongside performance. Approaches so far have been primarily concerned with fixed dimensional inputs emphasizing feature relevance or selection. In contrast, we focus on temporal modeling and the problem of tailoring the predictor, functionally, towards an interpretable family. To this end, we propose a co-operative game between the predictor and an explainer without any a priori restrictions on the functional class of the predictor. The goal of the explainer is to highlight, locally, how well the predictor conforms to the chosen interpretable family of temporal models. Our co-operative game is setup asymmetrically in terms of information sets for efficiency reasons. We develop and illustrate the framework in the context of temporal sequence models with examples.


title: Generalized Vertex Transitivity in Graphs

abstract: In this paper, we introduce a generalized concept of vertex transitivity in graphs called generalized vertex transitivity. We put forward a new invariant called transitivity number of a graph. The value of this invariant in different classes of graphs is explored. Also, different results showing the importance of this concept is established.


title: N strongly quasi invariant measure on double coset

abstract: Let G be a locally compact group, H and K be two closed sub-groups of G, and N be the normalizer group of K in G. In this paper, the existence and properties of a rho-function for the triple (K,G,H) and an N-strongly quasi-invariant measure of double coset space K\G/H is investigated. In particular, it is shown that any such measure arises from a rho-function. Furthermore, the conditions under which an N-strongly quasi-invariant measure arises from a rho-function are studied.


title: Equilibrium Points and Orbits around Asteroid with the Full Gravitational Potential Caused by the 3D Irregular Shape

abstract: We investigate the equilibrium points and orbits around asteroid 1333 Cevenola by considering the full gravitational potential caused by the 3D irregular shape. The gravitational potential and effective potential of asteroid 1333 Cevenola are calculated. The zero velocity curves for a massless particle orbiting in the gravitational environment have been discussed. The linearized dynamic equation, the characteristic equation, and the conserved quantity of the equilibria for the large size ratio binary asteroid system have been derived. It is found that there are totally five equilibrium points close to 1333 Cevenola. The topological cases of the outside equilibrium points have a staggered distribution. The simulation of orbits in the full gravitational potential caused by the 3D irregular shape of 1333 Cevenola shows that the moonlets orbit is more likely to be stable if the orbit inclination is small.


title: Almost symmetric numerical semigroups

abstract: We study almost symmetric numerical semigroups and semigroup rings. We describe a characteristic property of the minimal free resolution of the semigroup ring of an almost symmetric numerical semigroup. For almost symmetric semigroups generated by $4$ elements we will give a structure theorem by using the \lq\lq row-factorization matrices", introduced by Moscariello. As a result, we give a simpler proof of Komeda's structure theorem of pseudo-symmetric numerical semigroups generated by $4$ elements. Row-factorization matrices are also used to study shifted families of numerical semigroups.


title: Robust functional regression based on principal components

abstract: Functional data analysis is a fast evolving branch of modern statistics and the functional linear model has become popular in recent years. However, most estimation methods for this model rely on generalized least squares procedures and therefore are sensitive to atypical observations. To remedy this, we propose a two-step estimation procedure that combines robust functional principal components and robust linear regression. Moreover, we propose a transformation that reduces the curvature of the estimators and can be advantageous in many settings. For these estimators we prove Fisher-consistency at elliptical distributions and consistency under mild regularity conditions. The influence function of the estimators is investigated as well. Simulation experiments show that the proposed estimators have reasonable efficiency, protect against outlying observations, produce smooth estimates and perform well in comparison to existing approaches.


title: On the ${\mathbb H}$-cone-functions for H-convex sets

abstract: Given a compact and H-convex subset $K$ of the Heisenberg group ${\mathbb H}$, with the origin $e$ in its interior, we are interested in finding a homogeneous H-convex function $f$ such that $f(e)=0$ and $f\bigl|_{\partial K}=1$; we will call this function $f$ the ${\mathbb H}$-cone-function of vertex $e$ and base $\partial K$. While the equivalent version of this problem in the Euclidean framework has an easy solution, in our context this investigation turns out to be quite entangled, and the problem can be unsolvable. The approach we follow makes use of an extension of the notion of convex family introduced by Fenchel. We provide the precise, even if awkward, condition required to $K$ so that $\partial K$ is the base of an ${\mathbb H}$-cone-function of vertex $e.$ Via a suitable employment of this condition, we prove two interesting binding constraints on the shape of the set $K,$ together with several examples.


title: Flexible recovery of uniqueness and immutability (Extended Version)

abstract: We present an imperative object calculus where types are annotated with qualifiers for aliasing and mutation control. There are two key novelties with respect to similar proposals. First, the type system is very expressive. Notably, it adopts the "recovery" approach, that is, using the type context to justify strengthening types, greatly improving its power by permitting to recover uniqueness and immutability properties even in presence of other references. This is achieved by rules which restrict the use of such other references in the portion of code which is recovered. Second, execution is modeled by a non standard operational model, where properties of qualifiers can be directly expressed on source terms, rather than as invariants on an auxiliary structure which mimics physical memory. Formally, this is achieved by the block construct, introducing local variable declarations, which, when evaluated, play the role of store.


title: Brownian asymmetric simple exclusion process

abstract: We study the driven Brownian motion of hard rods in a one-dimensional cosine potential with an amplitude large compared to the thermal energy. In a closed system, we find surprising features of the steady-state current in dependence of the particle density. The form of the current-density relation changes greatly with the particle size and can exhibit both a local maximum and minimum. The changes are caused by an interplay of a barrier reduction, blocking and exchange symmetry effect. The latter leads to a current equal to that of non-interacting particles for a particle size commensurate with the period length of the cosine potential. For an open system coupled to particle reservoirs, we predict five different phases of non-equilibrium steady states to occur. Our results show that the particle size can be of crucial importance for non-equilibrium phase transitions in driven systems. Possible experiments for demonstrating our findings are pointed out.


title: Harnessing constrained resources in service industry via video analytics

abstract: Service industries contribute significantly to many developed and developing - economies. As their business activities expand rapidly, many service companies struggle to maintain customer's satisfaction due to sluggish service response caused by resource shortages. Anticipating resource shortages and proffering solutions before they happen is an effective way of reducing the adverse effect on operations. However, this proactive approach is very expensive in terms of capacity and labor costs. Many companies fall into productivity conundrum as they fail to find sufficient strong arguments to justify the cost of a new technology yet cannot afford not to invest in new technologies to match up with competitors. The question is whether there is an innovative solution to maximally utilize available resources and drastically reduce the effect that the shortages of resources may cause yet achieving high level of service quality at a low cost. This work demonstrates with a practical analysis of a trolley tracking system we designed and deployed at Hong Kong International Airport (HKIA) on how video analytics helps achieve management's goal of satisfying customer's needs via real-time detection and prevention of problems they may encounter during the service consumption process using existing video technology rather than adopting new technologies. This paper presents the integration of commercial video surveillance system with deep learning algorithms for video analytics. We show that our system can provide accurate decision when faced with total or partial occlusion with high accuracy and it significantly improves daily operation. It is envisioned that this work will heighten the appreciation of integrative technologies for resource management within the service industries and as a measure for real-time customer assistance.


title: A relative entropy for expanders of the Harmonic map flow

abstract: In this paper we focus on the uniqueness question for (expanding) solutions of the Harmonic map flow coming out of smooth 0-homogeneous maps with values into a closed Riemannian manifold. We introduce a relative entropy for two purposes. On the one hand, we prove the existence of two expanding solutions associated to any suitable solution coming out of a $0$-homogeneous map by a blow-up and a blow-down process. On the other hand, generic uniqueness of expanding solutions coming out of the same 0-homogeneous map of 0 relative entropy is proved.


title: Fractional Wavelet Scattering Network and Applications

abstract: Objective: The present study introduces a fractional wavelet scattering network (FrScatNet), which is a generalized translation invariant version of the classical wavelet scattering network (ScatNet). Methods: In our approach, the FrScatNet is constructed based on the fractional wavelet transform (FRWT). The fractional scattering coefficients are iteratively computed using FRWTs and modulus operators. The feature vectors constructed by fractional scattering coefficients are usually used for signal classification. In this work, an application example of FrScatNet is provided in order to assess its performance on pathological images. Firstly, the FrScatNet extracts feature vectors from patches of the original histological images under different orders. Then we classify those patches into target (benign or malignant) and background groups. And the FrScatNet property is analyzed by comparing error rates computed from different fractional orders respectively. Based on the above pathological image classification, a gland segmentation algorithm is proposed by combining the boundary information and the gland location. Results: The error rates for different fractional orders of FrScatNet are examined and show that the classification accuracy is significantly improved in fractional scattering domain. We also compare the FrScatNet based gland segmentation method with those proposed in the 2015 MICCAI Gland Segmentation Challenge and our method achieves comparable results. Conclusion: The FrScatNet is shown to achieve accurate and robust results. More stable and discriminative fractional scattering coefficients are obtained by the FrScatNet in this work. Significance: The added fractional order parameter is able to analyze the image in the fractional scattering domain.


title: Bosonic Fradkin-Tseytlin equations unfolded. Irreducible case

abstract: We factorize 4d Fradkin-Linetsky higher spin conformal algebra by maximal ideal $I^1-\alpha$ and construct irreducible infinite-dimensional modules $M_\alpha$ of 4d conformal algebra that are parameterized by real number $\alpha$. It is shown that independently of $\alpha$ unfolded system of equations corresponding to each $M_\alpha$ describes collection of Fradkin-Tseytlin equations for all spins $s=1,\dots,\infty$ with zero multiplicity.


title: A Study of Single Pulses in the Parkes Multibeam Pulsar Survey

abstract: We reprocessed the Parkes Multibeam Pulsar Survey, searching for single pulses out to a DM of 5000 pc cm$^{-3}$ with widths of up to one second. We recorded single pulses from 264 known pulsars and 14 Rotating Radio Transients. We produced amplitude distributions for each pulsar which we fit with log-normal distributions, power-law tails, and a power-law function divided by an exponential function, finding that some pulsars show a deviation from a log-normal distribution in the form of an excess of high-energy pulses. We found that a function consisting of a power-law divided by an exponential fit the distributions of most pulsars better than either log-normal or power-law functions. For pulsars that were detected in a periodicity search, we computed the ratio of their single-pulse signal-to-noise ratios to their signal-to-noise ratios from a Fourier transform and looked for correlations between this ratio and physical parameters of the pulsars. The only correlation found is the expected relationship between this ratio and the spin period. Fitting log-normal distributions to the amplitudes of pulses from RRATs showed similar behaviour for most RRATs. Here, however, there seem to be two distinct distributions of pulses, with the lower-energy distribution being consistent with noise. Pulse-energy distributions for two of the RRATS processed were consistent with those found for normal pulsars, suggesting that pulsars and RRATs have a common emission mechanism, but other factors influence the specific emission properties of each source class.


title: Piezoelectric mimicry of flexoelectricity

abstract: The origin of "giant" flexoelectricity, orders of magnitude larger than theoretically predicted, yet frequently observed, is under intense scrutiny. There is mounting evidence correlating giant flexoelectric-like effects with parasitic piezoelectricity, but it is not clear how piezoelectricity (polarization generated by strain) manages to imitate flexoelectricity (polarization generated by strain gradient) in typical beam-bending experiments, since in a bent beam the net strain is zero. In addition, and contrary to flexoelectricity, piezoelectricity changes sign under space inversion, and this criterion should be able to distinguish the two effects and yet "giant" flexoelectricity is insensitive to space inversion, seemingly contradicting a piezoelectric origin. Here we show that, if a piezoelectric material has its piezoelectric coefficient be asymmetrically distributed across the sample, it will generate a bending-induced polarization impossible to distinguish from true flexoelectricity even by inverting the sample. The effective flexoelectric coefficient caused by piezoelectricity is functionally identical to, and often larger than, intrinsic flexoelectricity: the calculations show that, for standard perovskite ferroelectrics, even a tiny gradient of piezoelectricity (1% variation of piezoelectric coefficient across 1 mm) is sufficient to yield a giant effective flexoelectric coefficient of 1 $\mu$C/m, three orders of magnitude larger than the intrinsic expectation value.


title: Sampling and Reconstruction of Signals on Product Graphs

abstract: In this paper, we consider the problem of subsampling and reconstruction of signals that reside on the vertices of a product graph, such as sensor network time series, genomic signals, or product ratings in a social network. Specifically, we leverage the product structure of the underlying domain and sample nodes from the graph factors. The proposed scheme is particularly useful for processing signals on large-scale product graphs. The sampling sets are designed using a low-complexity greedy algorithm and can be proven to be near-optimal. To illustrate the developed theory, numerical experiments based on real datasets are provided for sampling 3D dynamic point clouds and for active learning in recommender systems.


title: Measuring and comparing the scaling behaviour of a high-performance CFD code on different supercomputing infrastructures

abstract: Parallel code design is a challenging task especially when addressing petascale systems for massive parallel processing (MPP), i.e. parallel computations on several hundreds of thousands of cores. An in-house computational fluid dynamics code, developed by our group, was designed for such high-fidelity runs in order to exhibit excellent scalability values. Basis for this code is an adaptive hierarchical data structure together with an efficient communication and (numerical) computation scheme that supports MPP. For a detailled scalability analysis, we performed several experiments on two of Germany's national supercomputers up to 140,000 processes. In this paper, we will show the results of those experiments and discuss any bottlenecks that could be observed while solving engineering-based problems such as porous media flows or thermal comfort assessments for problem sizes up to several hundred billion degrees of freedom.


title: Cost-effective Object Detection: Active Sample Mining with Switchable Selection Criteria

abstract: Though quite challenging, leveraging large-scale unlabeled or partially labeled data in learning systems (e.g., model/classifier training) has attracted increasing attentions due to its fundamental importance. To address this problem, many active learning (AL) methods have been proposed that employ up-to-date detectors to retrieve representative minority samples according to predefined confidence or uncertainty thresholds. However, these AL methods cause the detectors to ignore the remaining majority samples (i.e., those with low uncertainty or high prediction confidence). In this work, by developing a principled active sample mining (ASM) framework, we demonstrate that cost-effectively mining samples from these unlabeled majority data is key to training more powerful object detectors while minimizing user effort. Specifically, our ASM framework involves a switchable sample selection mechanism for determining whether an unlabeled sample should be manually annotated via AL or automatically pseudo-labeled via a novel self-learning process. The proposed process can be compatible with mini-batch based training (i.e., using a batch of unlabeled or partially labeled data as a one-time input) for object detection. In addition, a few samples with low-confidence predictions are selected and annotated via AL. Notably, our method is suitable for object categories that are not seen in the unlabeled data during the learning process. Extensive experiments clearly demonstrate that our ASM framework can achieve performance comparable to that of alternative methods but with significantly fewer annotations.


title: Beyond the Standard Model' 17

abstract: We discuss the status of the SM - The principles - The Lagrangian - The problems - Open questions - The ways beyond. Then we consider possible physics beyond the SM - New symmetries (Gauge, SUSY, etc) - New particles (gauge, axion, superpartners) - New dimensions (extra, large, compact, etc) - New Paradigm (strings, branes, gravity). In conclusion, we formulate the first priority tasks for the future HEP program.


title: Interactive data exploration for high-performance fluid flow computations through porous media

abstract: Huge data advent in high-performance computing (HPC) applications such as fluid flow simulations usually hinders the interactive processing and exploration of simulation results. Such an interactive data exploration not only allows scientiest to 'play' with their data but also to visualise huge (distributed) data sets in both an efficient and easy way. Therefore, we propose an HPC data exploration service based on a sliding window concept, that enables researches to access remote data (available on a supercomputer or cluster) during simulation runtime without exceeding any bandwidth limitations between the HPC back-end and the user front-end.


title: Study and characterization of SrTiO3 surface

abstract: The two-dimensional electron gas (2DEG) at oxides interfaces and surfaces has attracted large attention in physics and research due to its unique electronic properties and possible application in optoelectronics and nanoelectronics. The origin of 2DEGes at oxide interfaces has been attributed to the well known "polar catastrophe" mechanism. On the other hand, recently a 2DEG was also found on a clean SrTiO3(001) surface where it is formed due to oxygen vacancies. However, these 2DEG systems have been until now found mostly on atomically perfect crystalline samples usually grown by pulsed laser deposition or molecular beam epitaxy i.e. samples which are difficult to be prepared and require specific experimental conditions. Here, we report on the fabrication of SrTiO3 thin films deposited by magnetron sputtering which is suitable for mass-production of samples adapted for nanoelectronic applications. The characterization of their structural and electronic properties was done and compared to those of SrTiO3 single crystals. XRD patterns and SEM micrography show that the deposited films are amorphous and their structure changes to polycrystalline by heating them at 900 {\deg}C. Photoemission spectroscopy (XPS and UPS) was used to study the electronic properties of the films and the crystal. In both, we observe the 2DEG system at Fermi level and the formation of Ti3+ states after heating the surface at 900 {\deg}C.


title: Ant routing algorithm for the Lightning Network

abstract: We propose a decentralized routing algorithm that can be implemented in Bitcoin Lightning Network. All nodes in the network contribute equally to path searching. The algorithm is inspired from ant path searching algorithms.


title: A novel notion of null infinity for c-boundaries and generalized black holes

abstract: We give new definitions of null infinity and black hole in terms of causal boundaries, applicable to any strongly causal spacetime $(M,g)$. These are meant to extend the standard ones given in terms of conformal boundaries, and use the new definitions to prove a classic result in black hole theory for this more general context: if the null infinity is regular (i.e. well behaved in a suitable sense) and $(M,g)$ obeys the null convergence condition, then any closed trapped surface in $(M,g)$ has to be inside the black hole region. As an illustration of this general construction, we apply it to the class of generalized plane waves, where the conformal null infinity is not always well-defined. In particular, it is shown that (generalized) black hole regions do not exist in a large family of these spacetimes.


title: Cubical model categories and quasi-categories

abstract: The goal of this article is to emphasize the role of cubical sets in enriched categories theory and infinity-categories theory. We show in particular that categories enriched in cubical sets provide a convenient way to describe many infinity-categories appearing in the context of homological algebra.


title: AI in Education needs interpretable machine learning: Lessons from Open Learner Modelling

abstract: Interpretability of the underlying AI representations is a key raison d'\^{e}tre for Open Learner Modelling (OLM) -- a branch of Intelligent Tutoring Systems (ITS) research. OLMs provide tools for 'opening' up the AI models of learners' cognition and emotions for the purpose of supporting human learning and teaching. Over thirty years of research in ITS (also known as AI in Education) produced important work, which informs about how AI can be used in Education to best effects and, through the OLM research, what are the necessary considerations to make it interpretable and explainable for the benefit of learning. We argue that this work can provide a valuable starting point for a framework of interpretable AI, and as such is of relevance to the application of both knowledge-based and machine learning systems in other high-stakes contexts, beyond education.


title: Visibility of Prominences using the HeI D3 Line Filter on PROBA-3/ASPIICS Coronagraph

abstract: We determine an optimal width and shape of the narrow-band filter centered around the He\,{\sc i} D$_{3}$ line for prominence and coronal mass ejection (CME) observations with the ASPIICS ({\it Association of Spacecraft for Polarimetric and Imaging Investigation of the Corona of the Sun}) coronagraph onboard the PROBA-3 ({\it Project for On-board Autonomy}) satellite, to be launched in 2020. We analyze He\,{\sc i} D$_{3}$ line intensities for three representative non-LTE prominence models at temperatures 8, 30 and 100~kK computed by the radiative transfer code and the prominence visible-light (VL) emission due to Thomson scattering on the prominence electrons. We compute various useful relations at prominence line-of-sight (LOS) velocities of 0, 100, and 300~km~s$^{-1}$ for 20~\AA~wide flat filter and three Gaussian filters with full width at half maximum (FWHM) equal to 5, 10, and 20~\AA~to show the relative brightness contribution of the He\,{\sc i} D$_{3}$ line and the prominence VL to the visibility in a given narrow-band filter. We also discuss possible signal contamination by Na\,{\sc i} D$_{1}$ and D$_{2}$ lines which otherwise may be useful to detect comets. Results mainly show: i) an optimal narrow-band filter should be flat or somewhere between flat and Gaussian with FWHM of 20~\AA~in order to detect fast moving prominence structures, ii) the maximum emission in the He\,{\sc i} D$_3$ line is at 30~kK and the minimal at 100~kK, and iii) the ratio of emission in the He\,{\sc i} D$_3$ line to the VL emission can provide a useful diagnostic for the temperature of prominence structures. This ratio is up to 10 for hot prominence structures, up to 100 for cool structures and up to 1000 for warm structures.


title: On line covers of finite projective and polar spaces

abstract: An $m$-$cover$ of lines of a finite projective space ${\rm PG}(r,q)$ (of a finite polar space $\cal P$) is a set of lines $\cal L$ of ${\rm PG}(r,q)$ (of $\cal P$) such that every point of ${\rm PG}(r,q)$ (of $\cal P$) contains $m$ lines of $\cal L$, for some $m$. Embed ${\rm PG}(r,q)$ in ${\rm PG}(r,q^2)$. Let $\bar{\cal L}$ denote the set of points of ${\rm PG}(r,q^2)$ lying on the extended lines of $\cal L$. An $m$-cover $\cal L$ of ${\rm PG}(r,q)$ is an $(r-2)$-dual $m$-cover if there are two possibilities for the number of lines of $\cal L$ contained in an $(r-2)$-space of ${\rm PG}(r,q)$. Basing on this notion, we characterize $m$-covers $\cal L$ of ${\rm PG}(r,q)$ such that $\bar{\cal L}$ is a two-character set of ${\rm PG}(r,q^2)$. In particular, we show that if $\cal L$ is invariant under a Singer cyclic group of ${\rm PG}(r,q)$ then it is an $(r-2)$-dual $m$-cover. Assuming that the lines of $\cal L$ are lines of a symplectic polar space ${\cal W}(r,q)$ (of an orthogonal polar space ${\cal Q}(r,q)$ of parabolic type), similarly to the projective case we introduce the notion of an $(r-2)$-dual $m$-cover of symplectic type (of parabolic type). We prove that an $m$-cover $\cal L$ of ${\cal W}(r,q)$ (of ${\cal Q}(r,q)$) has this dual property if and only if $\bar{\cal L}$ is a tight set of an Hermitian variety ${\cal H}(r,q^2)$ or of ${\cal W}(r,q^2)$ (of ${\cal H}(r,q^2)$ or of ${\cal Q}(r,q^2)$). We also provide some interesting examples of $(4n-3)$-dual $m$-covers of symplectic type of ${\cal W}(4n-1,q)$.


title: Spontaneous Charge aggregation and Polarization Model for Electric Discharges in Clouds

abstract: In present models cloud based lightning forms as a consequence of the earth's gravitational and/or electromagnetic fields. Our simplified field-free model probes the random aggregation of a neutral ensemble consisting of a random distribution of equal numbers of equally charged positive and negative "frozen droplets", given a bivariate sticking probability. Over a wide range of parameters, one maximal cluster (called "cloud") is formed, with time-increasing mass, net charge and electric dipole moment, where all relations follow a simple argument, and the only parameter is the fractal dimension of the cloud: In this overall neutral system we find that the net charge of the cloud increases with the square root of the cloud's mass, while the electric dipole moment increases quasi-linearly and even superlinearly. Thus an internal electric field can be self-created by a random process, with a field-strength that increases with time and cloud size, using just a two-dimensional random walk. Potential implications of this toy model on "real life" clouds are discussed, i.e., the electric dipole moment based possibility of having intra-cloud lightning discharges, and the net electric charge based possibility of having extra-cloud lightning discharges, all in the absence of gravitational or other external fields or forces. Possible implications are discussed for both water and dust based clouds, atmospheric and extraterrestrial. Potential applications to biology are also discussed.


title: A better comparison of cdh- and ldh-cohomologies

abstract: In order to work with non-Nagata rings which are Nagata "up-to-completely-decomposed-universal-homeomorphism", specifically finite rank hensel valuation rings, we introduce the notions of pseudo-integral closure and pseudo-normalisation. We use this notion to give a much more direct and shorter proof that $H^n_{cdh}(X, F) = H^n_{ldh}(X, F)$ for homotopy sheaves $F$ of modules over the $\mathbb{Z}_{(l)}$-linear motivic Eilenberg-Maclane spectrum. This comparison is an alternative to the first half of the authors volume Ast\'erisque 391, whose main theorem is a cdh-descent result for Voevodsky motives. The motivating new insight is really accepting that Voevodsky's motivic cohomology (with $\mathbb{Z}[1/p]$-coefficients) is invariant not just for nilpotent thickenings, but for all universal homeomorphisms.


title: The Borsuk-Ulam theorem for the Seifert manifolds having flat geometry

abstract: Let M be a Seifert manifold which belongs to the geometry Flat. In this work we determine all the free involutions {\tau} on M, and the Borsuk-Ulam indice of (M,{\tau}).


title: Relativizing characterizations of Anosov subgroups, I

abstract: We propose several common extensions of the classes of Anosov subgroups and geometrically finite Kleinian groups among discrete subgroups of semisimple Lie groups. We relativize various dynamical and coarse geometric characterizations of Anosov subgroups given in our earlier work, extending the class from intrinsically hyperbolic to relatively hyperbolic subgroups. We prove implications and equivalences between the various relativizations.


title: Conduction Bands of Atomic Tunneling Ring in Artificial Gauge Field Assisted Opened Optical Traps

abstract: We show conduction bands of artificial gauge field assisted atom flow in triangle optical lattice. The conduction bands are result from periodicity boundary condition of artificial magnetic flux induced phases of atoms. The positions of conduction bands depend on geometry of the atom trajectory. We consider a cell of the triangle optical lattice which is a opened system connected to its environment of Fermion atom clouds. The chemical potentials of the atom clouds are the same and the atom flow is absolutely created by a clock laser induced spin-orbit coupling. Our results are important for the control of atom flow in quantum circuits.


title: Positive topological entropy of positive contactomorphisms

abstract: A positive contactomorphism of a contact manifold $M$ is the end point of a contact isotopy on $M$ that is always positively transverse to the contact structure. Assume that $M$ contains a Legendrian sphere $\Lambda$, and that $(M,\Lambda)$ is fillable by a Liouville domain $(W,\omega)$ with exact Lagrangian $L$ such that $\omega|_{\pi_2(W,L)}=0$. We show that if the exponential growth of the action filtered wrapped Floer homology of $(W,L)$ is positive, then every positive contactomorphism of $M$ has positive topological entropy. This result generalizes the result of Alves and Meiwes from Reeb flows to positive contactomorphisms, and it yields many examples of contact manifolds on which every positive contactomorphism has positive topological entropy, among them the exotic contact spheres found by Alves and Meiwes. A main step in the proof is to show that wrapped Floer homology is isomorphic to the positive part of Lagrangian Rabinowitz-Floer homology.


title: On the Optimality of Affine Policies for Budgeted Uncertainty Sets

abstract: In this paper, we study the performance of affine policies for two-stage adjustable robust optimization problem with fixed recourse and uncertain right hand side belonging to a budgeted uncertainty set. This is an important class of uncertainty sets widely used in practice where we can specify a budget on the adversarial deviations of the uncertain parameters from the nominal values to adjust the level of conservatism. The two-stage adjustable robust optimization problem is hard to approximate within a factor better than $\Omega \left( \frac{\log n}{\log \log n} \right)$ even for budget of uncertainty sets and fixed non-negative recourse where $n$ is the number of decision variables. Affine policies, where the second-stage decisions are constrained to be an affine function of the uncertain parameters, provide a tractable approximation for the problem and have been observed to exhibit good empirical performance. We show that affine policies give an $O\left( \frac{\log n}{\log \log n} \right)$-approximation for the two-stage adjustable robust problem with fixed non-negative recourse for budgeted uncertainty sets. This matches the hardness of approximation and therefore, surprisingly affine policies provide an optimal approximation for the problem (up to a constant factor). We also show strong theoretical performance bounds for affine policy for significantly more general class of intersection of budgeted sets including disjoint constrained budgeted sets, permutation invariant sets and general intersection of budgeted sets. Our analysis relies on showing the existence of a near-optimal feasible affine policy that satisfies certain nice structural properties. Based on these structural properties, we also present an alternate algorithm to compute near-optimal affine solution that is significantly faster than computing the optimal affine policy by solving a large linear program.


title: An algebraic semi-automated proof of the fundamental identity of Jordan algebras

abstract: The fundamental identity of quadratic Jordan algebras $Q_{Q_a b} = Q_aQ_bQ_a$ is commonly proven as a consequence of MacDonalds theorem or using more analytic methods. In this short note we give a self-contained purely algebraic proof using just a few easily proven identities and a Python script that follows a simple randomised logic to reduce expressions of Jordan operators.


title: Mahaux-Weidenm\"uller approach to cavity quantum electrodynamics and complete resonant down-conversion of the single photon frequency

abstract: It is shown that a broad class of cavity quantum electrodynamics (QED) problems - which consider the resonant propagation of a single photon interacting with quantum emitters (QEs), such as atoms, quantum dots, or vacancy centers - can be solved directly without application of the second quantization formalism. In the developed approach, the Hamiltonian is expressed through the ket-bra products of collective (photon + cavities + QEs) states. Consequently, the S-matrix of input-output problems is determined exactly by the Mahaux-Weidenm\"uller formula, which dramatically simplifies the analysis of complex cavity QED systems. First, this approach is illustrated for the problem of propagation of a photon resonantly interacting with N two-level QEs arbitrary distributed inside the optical cavity. Solution of this problem manifests the effect of cumulative action of QEs previously known for special cases. Can a similar cumulative action of QEs enhance the inelastic resonant transmission of a single photon? We solve this problem for the case of an optical cavity having two modes resonantly coupled to electronic transitions of N three-level QEs. It is shown that the described structure is the simplest realistic structure which enables the down-conversion of the single photon frequency with the amplitude approaching unity in the absence of the external driving field and for sufficiently small cavity losses and QE dissipation. Overall, the simplicity and generality of the developed approach suggest a practical way to identify and describe new phenomena in cavity QED.


title: The Probability Distribution Function of Gas Surface Density in M33

abstract: The probability distribution functions (PDFs) for atomic, molecular, and total gas surface densities of M33 are determined at a resolution of about 50~pc over regions that share coherent morphological properties to unveil fingerprints of self-gravity across the star-forming disk. Most of the total gas PDFs from the central region to the edge of the star-forming disk are well-fitted by log-normal functions whose width decreases radially outwards. Because the HI velocity dispersion is approximately constant across the disk, the decrease of the PDF width is consistent with a lower Mach number for the turbulent ISM at large galactocentric radii where a higher fraction of HI is in the warm phase. The atomic gas is found mostly at face-on column densities below N$_{H}^{lim}$=2.5 10$^{21}$~cm$^{-2}$, with small radial variations of N$_{H}^{lim}$. The molecular gas PDFs do not show strong deviations from log-normal functions in the central region where molecular fractions are high. Here the high pressure and rate of star formation shapes the PDF as a log-normal function dispersing self-gravitating complexes with intense feedback at all column densities that are spatially resolved. Power law PDFs for the molecules are found near and above N$_H^{lim}$, in the well defined southern spiral arm and in a continuous dense filament extending at larger galactocentric radii; this is evident in cloud samples at different evolutionary stages along the star formation cycle. In the filament nearly half of the molecular gas departs from a log-normal PDF and power laws are also observed in pre-star forming molecular complexes. The slope of the power law is between -1 and -2. This slope, combined with maps showing where the different parts of the power law PDFs come from, suggest a power-law stratification of density within molecular cloud complexes, which is consistent with the dominance of self-gravity.


title: A new Hyper-Runaway star discovered from LAMOST and GAIA: ejected almost in the galactic rotation direction

abstract: In this paper, we report the discovery of a new late-B type unbound hyper-runaway star (LAMOST-HVS4) from the LAMOST spectroscopic surveys. According to its atmospheric parameters, it is either a B-type main sequence (MS) star or a blue horizontal branch (BHB) star. Its Galactocentric distance and velocity are 30.3 +/- 1.6 kpc and 586 +/- 7 km/s if it is an MS star, and they are 13.2 +/- 3.7 kpc and 590 +/- 7 km/s if a BHB star. We track its trajectories back, and find that the trajectories intersect with the Galactic disk and the Galactic center lies outside of the intersection region at the 3 sigma confidence level. We investigate a number of mechanisms that could be responsible for the ejection of the star, and find that it is probably ejected from the Galactic disk by supernova explosion or multiple-body interactions in dense young stellar clusters.


title: Coupling single photons from discrete quantum emitters in WSe$_2$ to lithographically defined plasmonic slot-waveguides

abstract: We report the observation of the generation and routing of single plasmons generated by localized excitons in a WSe$_2$ monolayer flake exfoliated onto lithographically defined Au-plasmonic waveguides. Statistical analysis of the position of different quantum emitters shows that they are $(3.3 \pm 0.7)\times$ more likely to form close to the edges of the plasmonic waveguides. By characterizing individual emitters we confirm their single-photon character via the observation of antibunching of the signal ($g^{(2)}(0) = 0.42$) and demonstrate that specific emitters couple to the modes of the proximal plasmonic waveguide. Time-resolved measurements performed on emitters close to, and far away from the plasmonic nanostructures indicate that Purcell factors up to $15 \pm 3$ occur, depending on the precise location of the quantum emitter relative to the tightly confined plasmonic mode. Measurement of the point spread function of five quantum emitters relative to the waveguide with <50nm precision are compared with numerical simulations to demonstrate potential for higher increases of the coupling efficiency for ideally positioned emitters. The integration of such strain-induced quantum emitters with deterministic plasmonic routing is a step toward deep-subwavelength on-chip single quantum light sources.


title: The asymptotic spectrum of graphs and the Shannon capacity

abstract: We introduce the asymptotic spectrum of graphs and apply the theory of asymptotic spectra of Strassen (J. Reine Angew. Math. 1988) to obtain a new dual characterisation of the Shannon capacity of graphs. Elements in the asymptotic spectrum of graphs include the Lov\'asz theta number, the fractional clique cover number, the complement of the fractional orthogonal rank and the fractional Haemers bounds.


title: Self-consistency of voting implies majority vote

abstract: Paper develops axiomatic characterization of the family of majority vote rules in the way alternative to characterization of the majority vote given in paper of Kenneth O. May in the 1952. This, similar but different, axiomatics focuses on the consistency of the voting procedure. Both approaches are compared. Relation to famous Kenneth J. Arrow's Impossibility Theorem is also discussed.


title: GRAPH mixing

abstract: In the era of gravitational wave (GW) detection from astrophysical sources by LIGO/VIRGO, it is of great importance to take the quantum gravity effect of graviton-photon (GRAPH) mixing in the cosmic magnetic field to the next level. In this work, we study such an effect and derive for the first time perturbative solutions of the linearized equations of motions of the GRAPH mixing in an expanding universe. In our formalism we take into account all known standard dispersive and coherence breaking effects of photons such as the Faraday effect, the Cotton-Mouton (CM) effect, and the plasma effects in the cosmic magnetic field. Our formalism, applies to a cosmic magnetic field either a uniform or a slowly varying non-homogeneous field of spacetime coordinates with an arbitrary field direction. For binary systems of astrophysical sources of GWs at extragalactic distances with chirp masses $M_\text{CH}$ of a few solar masses, GW present-day frequencies $\nu_0\simeq 50-700$ Hz, and present-day cosmic magnetic field amplitudes $\bar B_0\simeq 10^{-10}-10^{-6}$ G, the power of electromagnetic radiation generated in the GRAPH mixing at present is substantial and in the range $P_\gamma\simeq 10^6-10^{15}$ (erg/s). On the other hand, the associated power flux $F_\gamma$ is quite faint depending on the source distance with respect to the Earth. Since in the GRAPH mixing the velocities of photons and gravitons are preserved and are equal, this effect is the only one known to us, whose certainty of the contemporary arrival of GWs and electromagnetic radiation at the detector is guaranteed.


title: Algorithms for solving optimization problems arising from deep neural net models: smooth problems

abstract: Machine Learning models incorporating multiple layered learning networks have been seen to provide effective models for various classification problems. The resulting optimization problem to solve for the optimal vector minimizing the empirical risk is, however, highly nonlinear. This presents a challenge to application and development of appropriate optimization algorithms for solving the problem. In this paper, we summarize the primary challenges involved and present the case for a Newton-based method incorporating directions of negative curvature, including promising numerical results on data arising from security anomally deetection.


title: Algorithms for solving optimization problems arising from deep neural net models: nonsmooth problems

abstract: Machine Learning models incorporating multiple layered learning networks have been seen to provide effective models for various classification problems. The resulting optimization problem to solve for the optimal vector minimizing the empirical risk is, however, highly nonconvex. This alone presents a challenge to application and development of appropriate optimization algorithms for solving the problem. However, in addition, there are a number of interesting problems for which the objective function is non- smooth and nonseparable. In this paper, we summarize the primary challenges involved, the state of the art, and present some numerical results on an interesting and representative class of problems.


title: Lattice QCD study of doubly-charmed strange baryons

abstract: We present the energy spectra of the low lying doubly-charmed baryons using lattice quantum chromodynamics. We precisely predict the ground state mass of the charmed-strange Omega(cc) (1/2+) baryon to be 3712(11)(12) MeV which could well be the next doubly-charmed baryon to be discovered at the LHCb experiment at CERN. We also predict masses of other doubly-charmed strange baryons with quantum numbers 3/2+, 1/2-, and 3/2-.


title: Fractal basins of convergence of libration points in the planar Copenhagen problem with a repulsive quasi-homogeneous Manev-type potential

abstract: The Newton-Raphson basins of convergence, corresponding to the coplanar libration points (which act as attractors), are unveiled in the Copenhagen problem, where instead of the Newtonian potential and forces, a quasi-homogeneous potential created by two primaries is considered. The multivariate version of the Newton-Raphson iterative scheme is used to reveal the attracting domain associated with the libration points on various type of two-dimensional configuration planes. The correlations between the basins of convergence and the corresponding required number of iterations are also presented and discussed in detail. The present numerical analysis reveals that the evolution of the attracting domains in this dynamical system is very complicated, however, it is a worth studying issue.