title: Approximating the rectilinear crossing number

abstract: A straight-line drawing of a graph $G$ is a mapping which assigns to each vertex a point in the plane and to each edge a straight-line segment connecting the corresponding two points. The rectilinear crossing number of a graph $G$, $\overline{cr}(G)$, is the minimum number of crossing edges in any straight-line drawing of $G$. Determining or estimating $\overline{cr}(G)$ appears to be a difficult problem, and deciding if $\overline{cr}(G)\leq k$ is known to be NP-hard. In fact, the asymptotic behavior of $\overline{cr}(K_n)$ is still unknown. In this paper, we present a deterministic $n^{2+o(1)}$-time algorithm that finds a straight-line drawing of any $n$-vertex graph $G$ with $\overline{cr}(G) + o(n^4)$ crossing edges. Together with the well-known Crossing Lemma due to Ajtai et al. and Leighton, this result implies that for any dense $n$-vertex graph $G$, one can efficiently find a straight-line drawing of $G$ with $(1 + o(1))\overline{cr}(G)$ crossing edges.


title: Towards Self-Calibrating Inertial Body Motion Capture

abstract: This paper presents a novel online capable method for simultaneous estimation of human motion in terms of segment orientations and positions along with sensor-to-segment calibration parameters from inertial sensors attached to the body. In order to solve this ill-posed estimation problem, state-of-the-art motion, measurement and biomechanical models are combined with new stochastic equations and priors. These are based on the kinematics of multi-body systems, anatomical and body shape information, as well as, parameter properties for regularisation. This leads to a constrained weighted least squares problem that is solved in a sliding window fashion. Magnetometer information is currently only used for initialisation, while the estimation itself works without magnetometers. The method was tested on simulated, as well as, on real data, captured from a lower body configuration.


title: Lagrange inversion formula, Laguerre polynomials and the free unitary Brownian motion

abstract: This paper is devoted to the computations of some relevant quantities associated with the free unitary Brownian motion. Using the Lagrange inversion formula, we first derive an explicit expression for its alternating star cumulants of even lengths and relate them to those having odd lengths by means of a summation formula for the free cumulants with product as entries. Next, we use again this formula together with a generating series for Laguerre polynomials in order to compute the Taylor coefficients of the reciprocal of the $R$-transform of the free Jacobi process associated with a single projection of rank $1/2$ and those of the $S$-transform as well. This generating series lead also to the Taylor expansions of the Schur function of the spectral distribution of the free unitary Brownian motion and of its first iterate.


title: The perturbative QCD gradient flow to three loops

abstract: The gradient flow in QCD is treated perturbatively through next-to-next-to-leading order in the strong coupling constant. The evaluation of the relevant momentum and flow-time integrals is described, including various means of validation. For the vacuum expectation value of the action density, which turns out to be a useful quantity in lattice calculations, we find a very well-behaved perturbative series through NNLO. Quark mass effects are taken into account through NLO. The theoretical uncertainty due to renormalization scale variation is significantly reduced with respect to LO and NLO, as long as the flow time is smaller than about 0.1 fm.


title: DNest4: Diffusive Nested Sampling in C++ and Python

abstract: In probabilistic (Bayesian) inferences, we typically want to compute properties of the posterior distribution, describing knowledge of unknown quantities in the context of a particular dataset and the assumed prior information. The marginal likelihood, also known as the "evidence", is a key quantity in Bayesian model selection. The Diffusive Nested Sampling algorithm, a variant of Nested Sampling, is a powerful tool for generating posterior samples and estimating marginal likelihoods. It is effective at solving complex problems including many where the posterior distribution is multimodal or has strong dependencies between variables. DNest4 is an open source (MIT licensed), multi-threaded implementation of this algorithm in C++11, along with associated utilities including: i) RJObject, a class template for finite mixture models, (ii) A Python package allowing basic use without C++ coding, and iii) Experimental support for models implemented in Julia. In this paper we demonstrate DNest4 usage through examples including simple Bayesian data analysis, finite mixture models, and Approximate Bayesian Computation.


title: Deciding Equivalence of Linear Tree-to-Word Transducers in Polynomial Time

abstract: We show that the equivalence of deterministic linear top-down tree-to-word transducers is decidable in polynomial time. Linear tree-to-word transducers are non-copying but not necessarily order-preserving and can be used to express XML and other document transformations. The result is based on a partial normal form that provides a basic characterization of the languages produced by linear tree-to-word transducers.


title: Euler characteristic of analogues of a Deligne-Lusztig variety for $GL_n$

abstract: In this paper we give a combinatorial formula to calculate the Euler characteristic of an analogue of a Deligne-Lusztig variety if we replace Frobenius morphism with conjugation by an element for $GL_n$. The main theorem states that it only depends on the unipotent part of the Jordan decomposition of an element and the conjugacy class in the Weyl group. Also it generalizes the formula of the Euler characteristic of a Springer fiber for type A.


title: $\eta_{c}$ Elastic and Transition Form Factors: Contact Interaction and Algebraic Model

abstract: For the flavor-singlet heavy quark system of charmonia in the pseudoscalar ($\eta_c(1S)$) channel, we calculate the elastic (EFF) and transition form factors (TFF) ($\eta_c(1S) \rightarrow \gamma \gamma^*$) for a wide range of photon momentum transfer squared ($Q^2$). The framework for this analysis is provided by a symmetry-preserving Schwinger-Dyson equation (SDE) and Bethe-Salpeter equation (BSE) treatment of a vector$\times$vector contact interaction (CI). We also employ an algebraic model (AM), developed earlier to describe the light quark systems. It correctly correlates infrared and ultraviolet dynamics of quantum chromodynamics (QCD). The CI results agree with the lattice data for low $Q^2$. For $Q^2 \geqslant Q_0^2$, the results start deviating from the lattice results by more than $20 \%$. $Q_0^2 \thickapprox 2.5 {\rm GeV}^2$ for the EFF and $\thickapprox 25 {\rm GeV}^2$ for the TFF. We also present the results for the EFF, TFF as well as $\eta_c(1S)$ parton distribution amplitude for the AM. Wherever the comparison is possible, these results are in excellent agreement with the lattice, perturbative QCD, the results obtained through an SDE-BSE study, employing refined truncations, as well as the experimental findings of the BABAR experiment.


title: On a property discovered by Xavier Grandsart

abstract: We give a simple proof of the property discovered by Xavier Grandsart: let $W$ be a circular binary word; then the differences in the number of occurences $|W|_{0011}-|W|_{1100}$, $ |W|_{1101}-|W|_{1011}$ , $|W|_{1010}-|W|_{0101}$ and $|W|_{0100}-|W|_{0010}$ are equal.


title: Nature of a single doped hole in two-leg Hubbard and $t$-$J$ ladders

abstract: In this paper, we have systematically studied the single hole problem in two-leg Hubbard and $t$-$J$ ladders by large-scale density-matrix renormalization group calculations. We found that the doped hole in both models behaves similarly with each other while the three-site correlated hopping term is not important in determining the ground state properties. For more insights, we have also calculated the elementary excitations, i.e., the energy gaps to the excited states of the system. In the strong rung limit, we found that the doped hole behaves as a Bloch quasiparticle in both systems where the spin and charge of the doped hole are tightly bound together. In the isotropic limit, while the hole still behaves like a quasiparticle in the long-wavelength limit, its spin and charge components are only loosely bound together with a nontrivial mutual statistics inside the quasiparticle. Our results show that this mutual statistics can lead to an important residual effect which dramatically changes the local structure of the ground state wavefunction.


title: A note on continuity of magnetization at criticality for the ferromagnetic Ising model on amenable quasi-transitive graphs with exponential growth

abstract: The purpose of this modest note is to point out that the proof of the recent result of Huchcroft concerning continuity of phase transition in Bernoulli percolation is applicable to the setting of the Ising model with free boundary condition. This observation, together with a recent result of Aizenman, Duminil-Copin, and Sidoravicius implies that the Ising model on amenable quasi-transitive graph with exponential growth undergoes a second order phase transition.


title: Percolation on trees as a Brownian excursion: from Gaussian to Kolmogorov-Smirnov to Exponential statistics

abstract: We calculate the distribution of the size of the percolating cluster on a tree in the subcritical, critical and supercritical phase. We do this by exploiting a mapping between continuum trees and Brownian excursions, and arrive at a diffusion equation with suitable boundary conditions. The exact solution to this equation can be conveniently represented as a characteristic function, from which the following distributions are clearly visible: Gaussian (subcritical), Kolmogorov-Smirnov (critical) and exponential (supercritical). In this way we provide an intuitive explanation for the result reported in R. Botet and M. Ploszajczak, Phys. Rev. Lett 95, 185702 (2005) for critical percolation.


title: Adaptive Local Window for Level Set Segmentation of CT and MRI Liver Lesions

abstract: We propose a novel method, the adaptive local window, for improving level set segmentation technique. The window is estimated separately for each contour point, over iterations of the segmentation process, and for each individual object. Our method considers the object scale, the spatial texture, and changes of the energy functional over iterations. Global and local statistics are considered by calculating several gray level co-occurrence matrices. We demonstrate the capabilities of the method in the domain of medical imaging for segmenting 233 images with liver lesions. To illustrate the strength of our method, those images were obtained by either Computed Tomography or Magnetic Resonance Imaging. Moreover, we analyzed images using three different energy models. We compare our method to a global level set segmentation and to local framework that uses predefined fixed-size square windows. The results indicate that our proposed method outperforms the other methods in terms of agreement with the manual marking and dependence on contour initialization or the energy model used. In case of complex lesions, such as low contrast lesions, heterogeneous lesions, or lesions with a noisy background, our method shows significantly better segmentation with an improvement of 0.25+- 0.13 in Dice similarity coefficient, compared with state of the art fixed-size local windows (Wilcoxon, p < 0.001).


title: ContaminatedMixt: An R Package for Fitting Parsimonious Mixtures of Multivariate Contaminated Normal Distributions

abstract: We introduce the R package ContaminatedMixt, conceived to disseminate the use of mixtures of multivariate contaminated normal distributions as a tool for robust clustering and classification under the common assumption of elliptically contoured groups. Thirteen variants of the model are also implemented to introduce parsimony. The expectation-conditional maximization algorithm is adopted to obtain maximum likelihood parameter estimates, and likelihood-based model selection criteria are used to select the model and the number of groups. Parallel computation can be used on multicore PCs and computer clusters, when several models have to be fitted. Differently from the more popular mixtures of multivariate normal and t distributions, this approach also allows for automatic detection of mild outliers via the maximum a posteriori probabilities procedure. To exemplify the use of the package, applications to artificial and real data are presented.


title: Optical Characterization of PtSi/Si by Spectroscopic Ellipsometry

abstract: We report optical characterization of PtSi films for thermoelectric device applications by nondestructive spectroscopic ellipsometry (SE). Pt monolayer and Pt-Si multilayer which consists of 3 pairs of Pt and Si layers were deposited on p-doped-silicon substrates by sputtering method and then rapid annealing process was done to form PtSi films through intermixing of Pt and Si atoms at the interface. Pseudodielectric function data <{\epsilon}> = <{\epsilon}1> + i<{\epsilon}2> of the PtSi/Si samples were obtained from 1.12 to 6.52 eV by using spectroscopic ellipsometry. Employing Tauc-Lorentz and Drude models, the dielectric function ({\epsilon}) of PtSi films were determined. We found that the composition ratio of Pt:Si is nearly 1:1 for PtSi monolayer and we observed transitions between occupied and unoccupied states in Pt 5d states. We also observed formation of PtSi layers in Pt-Si multilayer sample. The SE results were confirmed by the transmission electron microscopy and energy dispersive X-ray spectroscopy.


title: New Permutation Trinomials From Niho Exponents over Finite Fields with Even Characteristic

abstract: In this paper, a class of permutation trinomials of Niho type over finite fields with even characteristic is further investigated. New permutation trinomials from Niho exponents are obtained from linear fractional polynomials over finite fields, and it is shown that the presented results are the generalizations of some earlier works.


title: Dispersion relations for unphysical particles

abstract: Generalized dispersion relations are discussed for unphysical particles, e.g. confined degrees of freedom that are not present in the physical spectra but can give rise to observable bound states. While in general the propagator of the unphysical particles can have complex poles and cannot be reconstructed from the knowledge of the imaginary part, under reasonable assumptions the missing piece of information is shown to be in the rational function that contains the poles and must be added to the integral representation. For pure Yang-Mills theory, the rational part and the spectral term are identified in the explicit analytical expressions provided by the massive expansion of the gluon propagator. The multi particle spectral term turns out to be very small and the simple rational part provides, from first principles, an approximate propagator that is equivalent to the tree-level result of simple phenomenological models like the refined Gribov-Zwanziger model.


title: Double ramification cycles on the moduli spaces of admissible covers

abstract: We derive a formula for the virtual class of the moduli space of rubber maps to $[\mathbb{P}^1/G]$ pushed forward to the moduli space of stable maps to $BG$. As an application, we show that the Gromov-Witten theory of $[\mathbb{P}^1/G]$ relative to $0$ and $\infty$ are determined by known calculations.


title: Rate of convergence of attractors for semilinear singularly perturbed problems: scalar parabolic equations with localized large diffusion

abstract: In this paper we study the asymptotic nonlinear dynamics of scalar semilinear parabolic problems reaction-diffusion type when the diffusion coefficient becomes large in a subregion which is interior to the domain. We obtain, under suitable assumptions, that the family of attractors behaves continuously and we exhibit the rate of convergence. An accurate description of localized large diffusion is necessary.


title: Rate of Convergence of Attractors for Singularly Perturbed Semilinear Problems

abstract: We exhibit a class of singularly perturbed parabolic problems which the asymptotic behavior can be described by a system of ordinary differential equation. We estimate the convergence of attractors in the Hausdorff metric by rate of convergence of resolvent operators. Application to spatial homogenization and large diffusion except in a neighborhood of a point will be considered.


title: Remez-type inequalities for the hyperbolic cross polynomials

abstract: In this paper we study the Remez-type inequalities for trigonometric polynomials with harmonics from hyperbolic crosses. The interrelation between the Remez and Nikolskii inequalities for individual functions and its applications are discussed.


title: Human Centred Object Co-Segmentation

abstract: Co-segmentation is the automatic extraction of the common semantic regions given a set of images. Different from previous approaches mainly based on object visuals, in this paper, we propose a human centred object co-segmentation approach, which uses the human as another strong evidence. In order to discover the rich internal structure of the objects reflecting their human-object interactions and visual similarities, we propose an unsupervised fully connected CRF auto-encoder incorporating the rich object features and a novel human-object interaction representation. We propose an efficient learning and inference algorithm to allow the full connectivity of the CRF with the auto-encoder, that establishes pairwise relations on all pairs of the object proposals in the dataset. Moreover, the auto-encoder learns the parameters from the data itself rather than supervised learning or manually assigned parameters in the conventional CRF. In the extensive experiments on four datasets, we show that our approach is able to extract the common objects more accurately than the state-of-the-art co-segmentation algorithms.


title: Additive Function-on-Function Regression

abstract: We study additive function-on-function regression where the mean response at a particular time point depends on the time point itself as well as the entire covariate trajectory. We develop a computationally efficient estimation methodology based on a novel combination of spline bases with an eigenbasis to represent the trivariate kernel function. We discuss prediction of a new response trajectory, propose an inference procedure that accounts for total variability in the predicted response curves, and construct pointwise prediction intervals. The estimation/inferential procedure accommodates realistic scenarios such as correlated error structure as well as sparse and/or irregular designs. We investigate our methodology in finite sample size through simulations and two real data applications.


title: Engaging Learning Analytics in MOOCS: the good, the bad, and the ugly

abstract: Learning Analytics is an emerging field in the vast areas of Educational Technology and Technology Enhanced Learning (TEL). It provides tools and techniques that offer researchers the ability to analyze, study, and benchmark institutions, learners and teachers as well as online learning environments such as MOOCs. Massive Open Online Courses (MOOCs) are considered to be a very active and an innovative form of bringing educational content to a broad community. Due to the reasons of being free and accessible to the public, MOOCs attracted a large number of heterogeneous learners who differ in education level, gender, and age. However, there are pressing demands to adjust the quality of the hosted courses, as well as controlling the high dropout ratio and the lack of interaction. With the help of Learning Analytics, it is possible to contain such issues. In this publication, we discuss the principles of engaging Learning Analytics in MOOCs learning environments and review its potential and capabilities (the good), constraints (the bad), and fallacy analytics (the ugly) based on our experience in last years.


title: Neural Belief Tracker: Data-Driven Dialogue State Tracking

abstract: One of the core components of modern spoken dialogue systems is the belief tracker, which estimates the user's goal at every step of the dialogue. However, most current approaches have difficulty scaling to larger, more complex dialogue domains. This is due to their dependency on either: a) Spoken Language Understanding models that require large amounts of annotated training data; or b) hand-crafted lexicons for capturing some of the linguistic variation in users' language. We propose a novel Neural Belief Tracking (NBT) framework which overcomes these problems by building on recent advances in representation learning. NBT models reason over pre-trained word vectors, learning to compose them into distributed representations of user utterances and dialogue context. Our evaluation on two datasets shows that this approach surpasses past limitations, matching the performance of state-of-the-art models which rely on hand-crafted semantic lexicons and outperforming them when such lexicons are not provided.


title: The Vop\v{e}nka principle is inequivalent to but conservative over the Vop\v{e}nka scheme

abstract: The Vop\v{e}nka principle, which asserts that every proper class of first-order structures in a common language admits an elementary embedding between two of its members, is not equivalent over GBC to the first-order Vop\v{e}nka scheme, which makes the Vop\v{e}nka assertion only for the first-order definable classes of structures. Nevertheless, the two Vop\v{e}nka axioms are equiconsistent and they have exactly the same first-order consequences in the language of set theory. Specifically, GBC plus the Vop\v{e}nka principle is conservative over ZFC plus the Vop\v{e}nka scheme for first-order assertions in the language of set theory.


title: Uniform cover inequalities for the volume of coordinate sections and projections of convex bodies

abstract: The classical Loomis-Whitney inequality and the uniform cover inequality of Bollob\'{a}s and Thomason provide lower bounds for the volume of a compact set in terms of its lower dimensional coordinate projections. We provide further extensions of these inequalities in the setting of convex bodies. We also establish the corresponding dual inequalities for coordinate sections; these uniform cover inequalities for sections may be viewed as extensions of Meyer's dual Loomis-Whitney inequality.


title: Relativistic calculations of angular dependent photoemission time delay

abstract: Angular dependence of photoemission time delay for the valence $np_{3/2}$ and $np_{1/2}$ subshells of Ar, Kr and Xe is studied in the dipole relativistic random phase approximation. Strong angular anisotropy of the time delay is reproduced near respective Cooper minima while the spin-orbit splitting affects the time delay near threshold.


title: A Photometrically and Spectroscopically Confirmed Population of Passive Spiral Galaxies

abstract: We have identified a population of passive spiral galaxies from photometry and integral field spectroscopy. We selected z<0.035 spiral galaxies that have WISE colours consistent with little mid-infrared emission from warm dust. Matched aperture photometry of 51 spiral galaxies in ultraviolet, optical and mid-infrared show these galaxies have colours consistent with passive galaxies. Six galaxies form a spectroscopic pilot study and were observed using the Wide-Field Spectrograph (WiFeS) to check for signs of nebular emission from star formation. We see no evidence of substantial nebular emission found in previous red spiral samples. These six galaxies possess absorption-line spectra with 4000\AA\ breaks consistent with an average luminosity-weighted age of 2.3 Gyr. Our photometric and IFU spectroscopic observations confirm the existence of a population of local passive spiral galaxies, implying that transformation into early-type morphologies is not required for the quenching of star formation.


title: Graphs with obstacle number greater than one

abstract: An \emph{obstacle representation} of a graph $G$ is a straight-line drawing of $G$ in the plane together with a collection of connected subsets of the plane, called \emph{obstacles}, that block all non-edges of $G$ while not blocking any of the edges of $G$. The \emph{obstacle number} obs$(G)$ is the minimum number of obstacles required to represent $G$. We study the structure of graphs with obstacle number greater than one. We show that the icosahedron has obstacle number $2$, thus answering a question of Alpert, Koch, \& Laison asking whether all planar graphs have obstacle number at most $1$. We also show that the $1$-skeleton of a related polyhedron, the \emph{gyroelongated $4$-dipyramid}, has obstacle number $2$. The order of this graph is $10$, which is also the order of the smallest known graph with obstacle number $2$. Some of our methods involve instances of the Satisfiability problem, we make use of various "SAT solvers" in order to produce computer-assisted proofs.


title: Retrieving and Ranking Similar Questions from Question-Answer Archives Using Topic Modelling and Topic Distribution Regression

abstract: Presented herein is a novel model for similar question ranking within collaborative question answer platforms. The presented approach integrates a regression stage to relate topics derived from questions to those derived from question-answer pairs. This helps to avoid problems caused by the differences in vocabulary used within questions and answers, and the tendency for questions to be shorter than answers. The performance of the model is shown to outperform translation methods and topic modelling (without regression) on several real-world datasets.


title: MITRE at SemEval-2016 Task 6: Transfer Learning for Stance Detection

abstract: We describe MITRE's submission to the SemEval-2016 Task 6, Detecting Stance in Tweets. This effort achieved the top score in Task A on supervised stance detection, producing an average F1 score of 67.8 when assessing whether a tweet author was in favor or against a topic. We employed a recurrent neural network initialized with features learned via distant supervision on two large unlabeled datasets. We trained embeddings of words and phrases with the word2vec skip-gram method, then used those features to learn sentence representations via a hashtag prediction auxiliary task. These sentence vectors were then fine-tuned for stance detection on several hundred labeled examples. The result was a high performing system that used transfer learning to maximize the value of the available training data.


title: $SO(10)$ thick branes and perturbative stability

abstract: Three self-gravitating $SO(10)$ domain walls in five dimensions are obtained and their properties are analyzed. These non-abelian domain walls interpolate between AdS${}_5$ spacetimes with different embedding of $SU(5)$ in $SO(10)$ and they can be distinguished, among other features, by the unbroken group on each wall, being either $SO(10)$, $SO(6)\otimes SU(2)\otimes U(1)/Z_2$ or $SU(4)\otimes SO(2)\otimes U(1)/Z_4$. We show that, unlike Minkowskian versions, the curved scenarios are perturbatively stable due to the gravitational capture of scalar fluctuations associated to the residual orthogonal subgroup in the core of the walls. These stabilizer modes are additional to the four-dimensional Nambu-Goldstone states found in two of the three gravitational sceanarios.


title: Charge Stripper Effects on Beam Optics in 180-degree Bending Section of RISP Linac

abstract: The RAON, a superconducting linear accelerator for RISP (Rare Isotope Science Project), will use a charge stripper in order to increase the charge states of the heavy ions for effective acceleration in the higher energy part of the linac. The charge stripper affects the beam qualities by scattering when the heavy ions go through the charge stripper. Moreover we have to select and accelerate proper charge states between 77+ and 81+ for uranium beam case in order to satisfy the beam power requirement at an IF (Inflight Fragmentation) target. This work focuses on the beam optics affected by the charge stripper in the 180-dgree bending section.


title: Topics and problems on favorite sites of random walks

abstract: In this article, we study special points of a simple random walk and a Gaussian free field, such as (nearly) favorite points, late points and high points. In section $2$, we extend results of [19] and suggest open problems for $d=2$. In section $3$, we give a survey on the geometric structures of (nearly) favorite points and late points of a simple random walk and high points of a Gaussian free field in two dimension.


title: Unsupervised Non Linear Dimensionality Reduction Machine Learning methods applied to Multiparametric MRI in cerebral ischemia: Preliminary Results

abstract: The evaluation and treatment of acute cerebral ischemia requires a technique that can determine the total area of tissue at risk for infarction using diagnostic magnetic resonance imaging (MRI) sequences. Typical MRI data sets consist of T1- and T2-weighted imaging (T1WI, T2WI) along with advanced MRI parameters of diffusion-weighted imaging (DWI) and perfusion weighted imaging (PWI) methods. Each of these parameters has distinct radiological-pathological meaning. For example, DWI interrogates the movement of water in the tissue and PWI gives an estimate of the blood flow, both are critical measures during the evolution of stroke. In order to integrate these data and give an estimate of the tissue at risk or damaged, we have developed advanced machine learning methods based on unsupervised non-linear dimensionality reduction (NLDR) techniques. NLDR methods are a class of algorithms that uses mathematically defined manifolds for statistical sampling of multidimensional classes to generate a discrimination rule of guaranteed statistical accuracy and they can generate a two- or three-dimensional map, which represents the prominent structures of the data and provides an embedded image of meaningful low-dimensional structures hidden in their high-dimensional observations. In this manuscript, we develop NLDR methods on high dimensional MRI data sets of preclinical animals and clinical patients with stroke. On analyzing the performance of these methods, we observed that there was a high of similarity between multiparametric embedded images from NLDR methods and the ADC map and perfusion map. It was also observed that embedded scattergram of abnormal (infarcted or at risk) tissue can be visualized and provides a mechanism for automatic methods to delineate potential stroke volumes and early tissue at risk.


title: On integrals associated with the Free particle wave packet

abstract: We discuss some properties of integrals associated with the free particle wave packet, $\psi(x,t),$ which are solutions to the time-dependent Schr$\ddot{o}$dinger equation for a free particle in one dimension. Some noteworthy discussion is made in relation to integrals which have appeared in the literature. We also obtain formulas for half-integer arguments of the Riemann zeta function.


title: The super spanning connectivity of arrangement graph

abstract: A $k$-container $C(u, v)$ of a graph $G$ is a set of $k$ internally disjoint paths between $u$ and $v$. A $k$-container $C(u, v)$ of $G$ is a $k^*$-container if it is a spanning subgraph of $G$. A graph $G$ is $k^*$-connected if there exists a $k^*$-container between any two different vertices of G. A $k$-regular graph $G$ is super spanning connected if $G$ is $i^*$-container for all $1\le i\le k$. In this paper, we prove that the arrangement graph $A_{n, k}$ is super spanning connected if $n\ge 4$ and $n-k\ge 2$.


title: Univoque bases and Hausdorff dimension

abstract: Given a positive integer $M$ and a real number $q >1$, a \emph{$q$-expansion} of a real number $x$ is a sequence $(c_i)=c_1c_2\cdots$ with $(c_i) \in \{0,\ldots,M\}^\infty$ such that \[x=\sum_{i=1}^{\infty} c_iq^{-i}.\] It is well known that if $q \in (1,M+1]$, then each $x \in I_q:=\left[0,M/(q-1)\right]$ has a $q$-expansion. Let $\mathcal{U}=\mathcal{U}(M)$ be the set of \emph{univoque bases} $q>1$ for which $1$ has a unique $q$-expansion. The main object of this paper is to provide new characterizations of $\mathcal{U}$ and to show that the Hausdorff dimension of the set of numbers $x \in I_q$ with a unique $q$-expansion changes the most if $q$ "crosses" a univoque base. Denote by $\mathcal{B}_2=\mathcal{B}_2(M)$ the set of $q \in (1,M+1]$ such that there exist numbers having precisely two distinct $q$-expansions. As a by-product of our results, we obtain an answer to a question of Sidorov (2009) and prove that \[\dim_H(\mathcal{B}_2\cap(q',q'+\delta))>0\quad\textrm{for any}\quad \delta>0,\] where $q'=q'(M)$ is the Komornik-Loreti constant.


title: Operator systems and convex sets with many normal cones

abstract: The state space of an operator system of $n$-by-$n$ matrices has, in a sense, many normal cones. Merely this convex geometrical property implies smoothness qualities and a clustering property of exposed faces. The latter holds since each exposed face is an intersection of maximal exposed faces. An isomorphism translates these results to the lattice of ground state projections of the operator system. We work on minimizing the assumptions under which a convex set has the mentioned properties.


title: Singular limits and properties of solutions of some degenerate elliptic and parabolic equations

abstract: Let $n\geq 3$, $0\le m<\frac{n-2}{n}$, $\rho_1>0$, $\beta>\beta_0^{(m)}=\frac{m\rho_1}{n-2-nm}$, $\alpha_m=\frac{2\beta+\rho_1}{1-m}$ and $\alpha=2\beta+\rho_1$. For any $\lambda>0$, we prove the uniqueness of radially symmetric solution $v^{(m)}$ of $\La(v^m/m)+\alpha_m v+\beta x\cdot\nabla v=0$, $v>0$, in $\R^n\setminus\{0\}$ which satisfies $\lim_{|x|\to 0}|x|^{\frac{\alpha_m}{\beta}}v^{(m)}(x)=\lambda^{-\frac{\rho_1}{(1-m)\beta}}$ and obtain higher order estimates of $v^{(m)}$ near the blow-up point $x=0$. We prove that as $m\to 0^+$, $v^{(m)}$ converges uniformly in $C^2(K)$ for any compact subset $K$ of $\R^n\setminus\{0\}$ to the solution $v$ of $\La\log v+\alpha v+\beta x\cdot\nabla v=0$, $v>0$, in $\R^n\bs\{0\}$, which satisfies $\lim_{|x|\to 0}|x|^{\frac{\alpha}{\beta}}v(x)=\lambda^{-\frac{\rho_1}{\beta}}$. We also prove that if the solution $u^{(m)}$ of $u_t=\Delta (u^m/m)$, $u>0$, in $(\R^n\setminus\{0\})\times (0,T)$ which blows up near $\{0\}\times (0,T)$ at the rate $|x|^{-\frac{\alpha_m}{\beta}}$ satisfies some mild growth condition on $(\R^n\setminus\{0\})\times (0,T)$, then as $m\to 0^+$, $u^{(m)}$ converges uniformly in $C^{2+\theta,1+\frac{\theta}{2}}(K)$ for some constant $\theta\in (0,1)$ and any compact subset $K$ of $(\R^n\setminus\{0\})\times (0,T)$ to the solution of $u_t=\La\log u$, $u>0$, in $(\R^n\setminus\{0\})\times (0,T)$. As a consequence of the proof we obtain existence of a unique radially symmetric solution $v^{(0)}$ of $\La \log v+\alpha v+\beta x\cdot\nabla v=0$, $v>0$, in $\R^n\setminus\{0\}$, which satisfies $\lim_{|x|\to 0}|x|^{\frac{\alpha}{\beta}}v(x)=\lambda^{-\frac{\rho_1}{\beta}}$.


title: Weighted norm inequalities of (1,q)-type for integral and fractional maximal operators

abstract: We study weighted norm inequalities of $(1,q)$- type for $0<q<1$, $\Vert \mathbf{G} \nu \Vert_{L^q(\Omega, d \sigma)} \le C \, \Vert \nu \Vert, \quad \text{for all positive measures $\nu$ in $\Omega$},$ along with their weak-type counterparts, where $\Vert \nu \Vert=\nu(\Omega)$, and $G$ is an integral operator with nonnegative kernel, $\mathbf{G} \nu(x) = \int_\Omega G(x, y) d \nu(y).$ These problems are motivated by sublinear elliptic equations in a domain $\Omega\subset\mathbb{R}^n$ with non-trivial Green's function $G(x, y)$ associated with the Laplacian, fractional Laplacian, or more general elliptic operator. We also treat fractional maximal operators $M_\alpha$ ($0\le \alpha<n$) on $\mathbb{R}^n$, and characterize strong- and weak-type $(1,q)$-inequalities for $M_\alpha$ and more general maximal operators, as well as $(1,q)$-Carleson measure inequalities for Poisson integrals.


title: Error suppression for Hamiltonian-based quantum computation using subsystem codes

abstract: We present general conditions for quantum error suppression for Hamiltonian-based quantum computation using subsystem codes. This involves encoding the Hamiltonian performing the computation using an error detecting subsystem code and the addition of a penalty term that commutes with the encoded Hamiltonian. The scheme is general and includes the stabilizer formalism of both subspace and subsystem codes as special cases. We derive performance bounds and show that complete error suppression results in the large penalty limit. To illustrate the power of subsystem-based error suppression, we introduce fully 2-local constructions for protection of the swap gate of adiabatic gate teleportation and the Ising chain in a transverse field.


title: Pluriclosed flow on manifolds with globally generated bundles

abstract: We show global existence and convergence results for the pluriclosed flow on manifolds for which certain naturally associated tensor bundles are globally generated.


title: Understanding the Results of Electrostatics Calculations: Visualizing Molecular 'Isopotential' Surfaces

abstract: This document attempts to clarify potential confusion regarding electrostatics calculations, specifically in the context of biomolecular structure and specifically as regards the units typically used to contour/visualize isopotential surfaces, potentials mapped onto molecular solvent-accessible surfaces, etc.


title: Deep Image Homography Estimation

abstract: We present a deep convolutional neural network for estimating the relative homography between a pair of images. Our feed-forward network has 10 layers, takes two stacked grayscale images as input, and produces an 8 degree of freedom homography which can be used to map the pixels from the first image to the second. We present two convolutional neural network architectures for HomographyNet: a regression network which directly estimates the real-valued homography parameters, and a classification network which produces a distribution over quantized homographies. We use a 4-point homography parameterization which maps the four corners from one image into the second image. Our networks are trained in an end-to-end fashion using warped MS-COCO images. Our approach works without the need for separate local feature detection and transformation estimation stages. Our deep models are compared to a traditional homography estimator based on ORB features and we highlight the scenarios where HomographyNet outperforms the traditional technique. We also describe a variety of applications powered by deep homography estimation, thus showcasing the flexibility of a deep learning approach.


title: Maximal green sequences for quivers of finite mutation type

abstract: In general, the existence of a maximal green sequence is not mutation invariant. In this paper we show that it is in fact mutation invariant for cluster quivers of finite mutation type. In particular, we show that a mutation finite cluster quiver has a maximal green sequence unless it arises from a once-punctured closed marked surface, or one of the two quivers in the mutation class of X7. We develop a procedure to explicitly find maximal green sequences for cluster quivers associated to arbitrary triangulations of closed marked surfaces with at least two punctures. As a corollary, it follows that any triangulation of a marked surface with boundary has a maximal green sequence. We also compute explicit maximal green sequences for exceptional quivers of finite mutation type.


title: Computing the Optimal Longest Queue Length in Torus Networks

abstract: A collection of $k$ mobile agents is arbitrarily deployed in the edges of a directed torus network where agents perpetually move to the successor edge. Each node has a switch that allows one agent of the two incoming edges to pass to its successor edge in every round. The goal is to obtain a switch scheduling to reach and maintain a configuration where the longest queue length is minimum. We consider a synchronous system. We use the concept of conflict graphs to model the local conflicts that occur with incident links. We show that there does not exist an algorithm that can reduce the number of agents in any conflict cycle of the conflict graph providing that all the links have at least 2 agents at every round. Hence, the lower bound is at least the average queue length of the conflict cycle with the maximum average queue length. Next, we present a centralized algorithm that computes a strategy in $O(n\log n)$ time for each round that attains the optimal queue length in $O(\sigma n)$ rounds where $n$ is the number of nodes in the network and $\sigma$ is the standard deviations of the queue lengths in the initial setting. Our technique is based on network flooding on conflict graphs. Next, we consider a distributed system where nodes have access to the length of their queues and use communication to self-coordinate with nearby nodes. We present a local algorithm using only the information of the queue lengths at distance two. We show that the algorithm attains the optimal queue length in $O(\sigma C_{max}^2)$ rounds where $C_{max}$ is the length of the longest conflict cycle with the maximum average queue length.


title: Representation Crossed Category of Group-cograded Multiplier Hopf Algebras

abstract: Let $A=\bigoplus_{p\in G}A_{p}$ be a multiplier Hopf $T$-coalgebra over a group $G$, in this paper we give the definition of the crossed left $A$-$G$-modules and show that the category of crossed left $A$-$G$-modules is a monoidal category. Finally we show that a family of multipliers $R = \{R_{p, q} \in M(A_{p}\otimes A_{q})\}_{p, q\in G}$ is a quasitriangular structure of a multiplier $T$-coalgebra $A$ if and only if the crossed left $A$-$G$-module category over $A$ is a braided monoidal category with the braiding $c$ defined by $R$, generalizing the main results in \cite{ZCL11} to the more general framework of multiplier Hopf algebras.


title: Open-Set Support Vector Machines

abstract: Often, when dealing with real-world recognition problems, we do not need, and often cannot have, knowledge of the entire set of possible classes that might appear during operational testing. In such cases, we need to think of robust classification methods able to deal with the "unknown" and properly reject samples belonging to classes never seen during training. Notwithstanding, existing classifiers to date were mostly developed for the closed-set scenario, i.e., the classification setup in which it is assumed that all test samples belong to one of the classes with which the classifier was trained. In the open-set scenario, however, a test sample can belong to none of the known classes and the classifier must properly reject it by classifying it as unknown. In this work, we extend upon the well-known Support Vector Machines (SVM) classifier and introduce the Open-Set Support Vector Machines (OSSVM), which is suitable for recognition in open-set setups. OSSVM balances the empirical risk and the risk of the unknown and ensures that the region of the feature space in which a test sample would be classified as known (one of the known classes) is always bounded, ensuring a finite risk of the unknown. In this work, we also highlight the properties of the SVM classifier related to the open-set scenario, and provide necessary and sufficient conditions for an RBF SVM to have bounded open-space risk.


title: Tuning-Free Heterogeneity Pursuit in Massive Networks

abstract: Heterogeneity is often natural in many contemporary applications involving massive data. While posing new challenges to effective learning, it can play a crucial role in powering meaningful scientific discoveries through the understanding of important differences among subpopulations of interest. In this paper, we exploit multiple networks with Gaussian graphs to encode the connectivity patterns of a large number of features on the subpopulations. To uncover the heterogeneity of these structures across subpopulations, we suggest a new framework of tuning-free heterogeneity pursuit (THP) via large-scale inference, where the number of networks is allowed to diverge. In particular, two new tests, the chi-based test and the linear functional-based test, are introduced and their asymptotic null distributions are established. Under mild regularity conditions, we establish that both tests are optimal in achieving the testable region boundary and the sample size requirement for the latter test is minimal. Both theoretical guarantees and the tuning-free feature stem from efficient multiple-network estimation by our newly suggested approach of heterogeneous group square-root Lasso (HGSL) for high-dimensional multi-response regression with heterogeneous noises. To solve this convex program, we further introduce a tuning-free algorithm that is scalable and enjoys provable convergence to the global optimum. Both computational and theoretical advantages of our procedure are elucidated through simulation and real data examples.


title: Phenomenology of an $SU(2)_1 \times SU(2)_2 \times U(1)_Y$ model at the LHC

abstract: We investigate the implications of a minimal $SU(2)$ gauge symmetry extension of the standard model at the LHC. To achieve the spontaneous symmetry breaking, a heavy Higgs doublet of the $SU(2)$ is introduced. To obtain an anomaly free model and the decays of new charged gauge bosons, we include a vector-like quark doublet. We also employ a real scalar boson to dictate the heavy Higgs production via the gluon-gluon fusion processes. It is found that the new gauge coupling and the masses of new gauge bosons can be strictly bounded by the electroweak $\rho$-parameter and dilepton resonance experiments at the LHC. It is found that due to the new charged gauge boson enhancement, the cross sections for a heavy scalar boson to diphoton channel measured by ATLAS and CMS can be easily satisfied when the values of Yukawa couplings are properly taken. Furthermore, by adopting event simulation, we find that the significance of $pp\to (\gamma \gamma)_H+{\rm jet}$, where the diphoton is from the heavy Higgs decay, can be over $4\sigma$ when the luminosity is above 60 fb$^{-1}$.


title: The factorization theory of Thom spectra and twisted non-abelian Poincar\'e duality

abstract: We give a description of the factorization homology and $E_n$ topological Hochschild cohomology of Thom spectra arising from $n$-fold loop maps $f: A \to BO$, where $A = \Omega^n X$ is an $n$-fold loop space. We describe the factorization homology $\int_M Th(f)$ as the Thom spectrum associated to a certain map $\int _M A \to BO$. When $M$ is framed and $X$ is $(n-1)$-connected, this spectrum is equivalent to a Thom spectrum of a virtual bundle over the mapping space $Map_c(M,X)$; in general, this is a Thom spectrum of a virtual bundle over a certain section space. This can be viewed as a twisted form of the non-abelian Poincar\'e duality theorem of Segal, Salvatore, and Lurie, which occurs when $f: A \to BO$ is nullhomotopic. This result also generalizes the results of Blumberg-Cohen-Schlichtkrull on the topological Hochschild homology of Thom spectra, and of Schlichtkrull on higher topological Hochschild homology of Thom spectra. We use this to calculate the factorization homology of some Thom spectra, including the classical cobordism spectra, spectra arising from systems of groups, and the Eilenberg-MacLane spectra $H \mathbb{Z}/p$, $H\mathbb{Z}_{(p)}$, and $H\mathbb{Z}$. We build upon the description of the factorization homology of Thom spectra to study the ($n=1$ and higher) topological Hochschild cohomology of Thom spectra, which enables calculations and a description in terms of sections of a parametrized spectrum. If $X$ is a closed manifold, Atiyah duality for parametrized spectra allows us to deduce a duality between $E_n$ topological Hochschild homology and $E_n$ topological Hochschild cohomology, recovering string topology operations when $f$ is nullhomotopic. In conjunction with the higher Deligne conjecture, this gives $E_{n+1}$ structures on a certain family of Thom spectra, which were not previously known to be ring spectra.


title: Numerical computations on the zeros of the Euler double zeta-function II

abstract: We study the behavior of zero-divisors of the double zeta-function $\zeta_2(s_1,s_2)$. In our former paper \cite{MatSho14} we studied the case $s_1=s_2$, but in the present paper we consider the more general two variable situation. We carry out numerical computations in order to trace the behavior of zero-divisors. We observe that some divisors approach the points with $s_2=0$, while other divisors approach the points which are solutions of $\zeta(s_2)=1$.


title: A quasi-isometric embedding into the group of Hamiltonian diffeomorphisms with Hofer's metric

abstract: We construct an embedding $\Phi$ of $[0,1]^{\infty}$ into $Ham(M, \omega)$, the group of Hamiltonian diffeomorphisms of a suitable closed symplectic manifold $(M, \omega)$. We then prove that $\Phi$ is in fact a quasi-isometry. After imposing further assumptions on $(M, \omega)$, we adapt our methods to construct a similar embedding of $\mathbb{R} \oplus [0,1]^{\infty}$ into either $Ham(M, \omega)$ or $\widetilde{Ham}(M, \omega)$, the universal cover of $Ham(M, \omega)$. Along the way, we prove results related to the filtered Floer chain complexes of radially symmetric Hamiltonians. Our proofs rely heavily on a continuity result for barcodes (as presented in the work of M. Usher and J. Zhang) associated to filtered Floer homology viewed as a persistence module.


title: Pairing Phase Transitions of Matter under Rotation

abstract: The phases and properties of matter under global rotation have attracted much interest recently. In this paper we investigate the pairing phenomena in a system of fermions under the presence of rotation. We find that there is a generic suppression effect on pairing states with zero angular momentum. We demonstrate this effect with the chiral condensation and the color superconductivity in hot dense QCD matter as explicit examples. In the case of chiral condensation, a new phase diagram in the temperature-rotation parameter space is found, with a nontrivial critical point.

categories: hep-ph cond-mat.quant-gas hep-th nucl-th quant-ph


title: Why Nominal-Typing Matters in OOP

abstract: The statements `inheritance is not subtyping' and `mainstream OO languages unnecessarily place restrictions over inheritance' have rippled as mantras through the PL research community for years. Many mainstream OO developers and OO language designers however do not accept these statements. In \emph{nominally-typed} OO languages that these developers and language designers are dearly familiar with, inheritance simply is subtyping; and they believe OO type inheritance is an inherently nominal notion not a structural one. Nominally-typed OO languages are among the most used programming languages today. However, the value of nominal typing to mainstream OO developers, as a means for designing robust OO software, seems to be in wait for full appreciation among PL researchers--thereby perpetuating an unnecessary schism between many OO developers and language designers and many OO PL researchers, with each side discounting, if not even disregarding, the views of the other. In this essay we strengthen earlier efforts to demonstrate the semantic value of nominal typing by presenting a technical comparison between nominal OO type systems and structural OO type systems. Recently, a domain-theoretic model of nominally-typed OOP was compared to well-known models of structurally-typed OOP. Combined, these comparisons provide a clear and deep account for the relation between nominal and structural OO type systems that has not been presented before, and they help demonstrate the key value of nominal typing and nominal subtyping to OO developers and language designers. We believe a clearer understanding of the key semantic advantage of pure nominal OO typing over pure structural OO typing can help remedy the existing schism. We believe future foundational OO PL research, to further its relevance to mainstream OOP, should be based less on structural models of OOP and more on nominal ones instead.


title: The dimension of the Hilbert Space of Geometic quantization of vortices on a Riemann surface

abstract: In this article we calculate the dimension of the Hilbert space of Kahler quantization of the moduli space of vortices on a Riemann surface. This dimension is given by the holomorphic Euler characteristic of the quantum line bundle.

categories: math.DG math-ph math.AG math.AT math.MP math.SG


title: Examining the Magnetic Field Strength and the Horizontal and Vertical Motions in an Emerging Active Region

abstract: Earlier observational studies have used the time evolution of emerging magnetic flux regions at the photosphere to infer their subsurface structures, assuming that the flux structure does not change significantly over the near-surface layer.In this study, we test the validity of this assumption by comparing the horizontal and vertical motions of an emerging active region. The two motions would be correlated if the emerging structure is rigid. The selected active region (AR) NOAA 11645 is not embedded in detectable preexisting magnetic field. The observed horizontal motion is quantified by the separation of the two AR polarities and the extension of the region. The vertical motion is derived from the magnetic buoyancy theory. Our results show that the separation of the polarities is fastest at the beginning with a velocity of $\approx$~4~Mm hr$^{-1}$ and decreases to $\le$~1~Mm hr$^{-1}$ after the main growing phase of flux emergence. The derived thick flux-tube buoyant velocity is between 1 and 3~Mm hr$^{-1}$ while the thin flux-tube approximation results in an unreasonably high buoyant velocity, consistent with the expectation that the approximation is inappropriate at the surface layer. The observed horizontal motion is not found to directly correlate with either the magnetic field strength or the derived buoyant velocities. However, the percentage of the horizontally oriented fields and the temporal derivatives of the field strength and the buoyant velocity show some positive correlations with the separation velocity. The results of this study imply that the assumption that the emerging active region is the cross section of a rising flux tube whose structure can be considered rigid as it rises through the near-surface layer should be taken with caution.


title: Gauge field in systems with spin orbit interactions and additional discrete degrees of freedom to real spin

abstract: The spin gauge field formalism has been used to explain the emergence of out of plane spin accumulation in two-dimensional spin orbit interaction (SOI) systems in the presence of an in-plane electric field. The adiabatic alignment of the charge carrier spins to the momentum dependent SOI field, which changes in time due to the electric field, can be mathematically captured by the addition of a gauge term in the Hamiltonian. This gauge term acts like an effective, electric field dependent magnetization. In this work we show that this effective magnetization can be generalized to systems which include additional discrete degrees of freedom to real spin, such as the pseudospin and/or valley degrees of freedom in emerging materials like molybdenum sulphide and silicene. We show that the generalized magnetization recovers key results from the Sundaram-Niu formalism as well as from the Kubo formula. We then use the generalized magnetization to study the exemplary system of a topological insulator thin film system where the presence of both a top as well as a bottom surface provides an additional discrete degree of freedom in addition to the real spin.


title: Towards an integration of deep learning and neuroscience

abstract: Neuroscience has focused on the detailed implementation of computation, studying neural codes, dynamics and circuits. In machine learning, however, artificial neural networks tend to eschew precisely designed codes, dynamics or circuits in favor of brute force optimization of a cost function, often using simple and relatively uniform initial architectures. Two recent developments have emerged within machine learning that create an opportunity to connect these seemingly divergent perspectives. First, structured architectures are used, including dedicated systems for attention, recursion and various forms of short- and long-term memory storage. Second, cost functions and training procedures have become more complex and are varied across layers and over time. Here we think about the brain in terms of these ideas. We hypothesize that (1) the brain optimizes cost functions, (2) these cost functions are diverse and differ across brain locations and over development, and (3) optimization operates within a pre-structured architecture matched to the computational problems posed by behavior. Such a heterogeneously optimized system, enabled by a series of interacting cost functions, serves to make learning data-efficient and precisely targeted to the needs of the organism. We suggest directions by which neuroscience could seek to refine and test these hypotheses.


title: Fixed support positive-definite modification of covariance matrix estimators via linear shrinkage

abstract: In this work, we study the positive definiteness (PDness) problem in covariance matrix estimation. For high dimensional data, many regularized estimators are proposed under structural assumptions on the true covariance matrix including sparsity. They are shown to be asymptotically consistent and rate-optimal in estimating the true covariance matrix and its structure. However, many of them do not take into account the PDness of the estimator and produce a non-PD estimate. To achieve the PDness, researchers consider additional regularizations (or constraints) on eigenvalues, which make both the asymptotic analysis and computation much harder. In this paper, we propose a simple modification of the regularized covariance matrix estimator to make it PD while preserving the support. We revisit the idea of linear shrinkage and propose to take a convex combination between the first-stage estimator (the regularized covariance matrix without PDness) and a given form of diagonal matrix. The proposed modification, which we denote as FSPD (Fixed Support and Positive Definiteness) estimator, is shown to preserve the asymptotic properties of the first-stage estimator, if the shrinkage parameters are carefully selected. It has a closed form expression and its computation is optimization-free, unlike existing PD sparse estimators. In addition, the FSPD is generic in the sense that it can be applied to any non-PD matrix including the precision matrix. The FSPD estimator is numerically compared with other sparse PD estimators to understand its finite sample properties as well as its computational gain. It is also applied to two multivariate procedures relying on the covariance matrix estimator -- the linear minimax classification problem and the Markowitz portfolio optimization problem -- and is shown to substantially improve the performance of both procedures.


title: Finding a Hadamard Matrix by Simulated Annealing of Spin-Vectors

abstract: Reformulation of a combinatorial problem into optimization of a statistical-mechanics system, enables finding a better solution using heuristics derived from a physical process, such as by the SA (Simulated Annealing). In this paper, we present a Hadamard matrix (H-matrix) searching method based on the SA on an Ising model. By equivalence, an H-matrix can be converted into an SH (Seminormalized Hadamard) matrix; whose first columns are unity vector and the rest ones are vectors with equal number of -1 and +1 called SH-vectors. We define SH spin-vectors to represent the SH vectors, which play a similar role to the spins on an Ising model. The topology of the lattice is generalized into a graph, whose edges represent orthogonality relationship among the SH spin-vectors. Started from a randomly generated quasi H-matrix Q, which is a matrix similar to the SH-matrix without imposing orthogonality, we perform the SA. The transitions of Q are conducted by random exchange of {+,-} spin-pair within the SH-spin vectors which follow the Metropolis update rule. Upon transition toward zero-energy, the Q-matrix is evolved following a Markov chain toward an orthogonal matrix, at which point the H-matrix is said to be found. We demonstrate the capability of the proposed method to find some low order H-matrices, including the ones that cannot trivially be constructed by the Sylvester method.


title: Multistage Campaigning in Social Networks

abstract: We consider the problem of how to optimize multi-stage campaigning over social networks. The dynamic programming framework is employed to balance the high present reward and large penalty on low future outcome in the presence of extensive uncertainties. In particular, we establish theoretical foundations of optimal campaigning over social networks where the user activities are modeled as a multivariate Hawkes process, and we derive a time dependent linear relation between the intensity of exogenous events and several commonly used objective functions of campaigning. We further develop a convex dynamic programming framework for determining the optimal intervention policy that prescribes the required level of external drive at each stage for the desired campaigning result. Experiments on both synthetic data and the real-world MemeTracker dataset show that our algorithm can steer the user activities for optimal campaigning much more accurately than baselines.


title: Spectroscopic signatures of magnetospheric accretion in Herbig Ae/Be stars. I. The case of HD101412

abstract: Models of magnetically-driven accretion and outflows reproduce many observational properties of T Tauri stars. This concept is not well established for the more massive Herbig Ae/Be stars. We intend to examine the magnetospheric accretion in Herbig Ae/Be stars and search for rotational modulation using spectroscopic signatures, in this first paper concentrating on the well-studied Herbig Ae star HD101412. We used near-infrared spectroscopic observations of the magnetic Herbig Ae star HD101412 to test the magnetospheric character of its accretion disk/star interaction. We reduced and analyzed 30 spectra of HD101412, acquired with the CRIRES and X-shooter spectrographs installed at the VLT (ESO, Chile). The spectroscopic analysis was based on the He I lambda 10,830 and Pa gamma lines, formed in the accretion region. We found that the temporal behavior of these diagnostic lines in the near-infrared spectra of HD101412 can be explained by rotational modulation of line profiles generated by accreting gas with a period P = 20.53+-1.68 d. The discovery of this period, about half of the magnetic rotation period P_m = 42.076 d previously determined from measurements of the mean longitudinal magnetic field, indicates that the accreted matter falls onto the star in regions close to the magnetic poles intersecting the line-of-sight two times during the rotation cycle. We intend to apply this method to a larger sample of Herbig Ae/Be stars.


title: Numerical verification method for positiveness of solutions to elliptic equations

abstract: In this paper, we propose a numerical method for verifying the positiveness of solutions to semilinear elliptic equations. We provide a sufficient condition for a solution to an elliptic equation to be positive in the domain of the equation, which can be checked numerically without requiring a complicated computation. We present some numerical examples.


title: A thermodynamic cycle for the solar cell

abstract: A solar cell is a heat engine, but textbook treatments are not wholly satisfactory from a thermodynamic standpoint, since they present solar cells as directly converting the energy of light into electricity, and the current in the circuit as maintained by an electrostatic potential. We propose a thermodynamic cycle in which the gas of electrons in the p phase serves as the working substance. The interface between the p and n phases acts as a self-oscillating piston that modulates the absorption of heat from the photons so that it may perform a net positive work during a complete cycle of its motion, in accordance with the laws of thermodynamics. We draw a simple hydrodynamical analogy between this model and the "putt-putt"' engine of toy boats, in which the interface between the water's liquid and gas phases serves as the piston. We point out some testable consequences of this model.


title: Consistency between SU(3) and SU(2) chiral perturbation theory for the nucleon mass

abstract: Treating the strange quark mass as a heavy scale compared to the light quark mass, we perform a matching of the nucleon mass in the SU(3) sector to the two-flavor case in covariant baryon chiral perturbation theory. The validity of the $19$ low-energy constants appearing in the octet baryon masses up to next-to-next-to-next-to-leading order~\cite{Ren:2014vea} is supported by comparing the effective parameters (the combinations of the $19$ couplings) with the corresponding low-energy constants in the SU(2) sector~\cite{Alvarez-Ruso:2013fza}. In addition, it is shown that the dependence of the effective parameters and the pion-nucleon sigma term on the strange quark mass is relatively weak around its physical value, thus providing support to the assumption made in Ref.~\cite{Alvarez-Ruso:2013fza}.


title: Learning to Generate Compositional Color Descriptions

abstract: The production of color language is essential for grounded language generation. Color descriptions have many challenging properties: they can be vague, compositionally complex, and denotationally rich. We present an effective approach to generating color descriptions using recurrent neural networks and a Fourier-transformed color representation. Our model outperforms previous work on a conditional language modeling task over a large corpus of naturalistic color descriptions. In addition, probing the model's output reveals that it can accurately produce not only basic color terms but also descriptors with non-convex denotations ("greenish"), bare modifiers ("bright", "dull"), and compositional phrases ("faded teal") not seen in training.


title: Microscopic theory of Dzyaloshinsky-Moriya interaction in pyrochlore oxides with spin-orbit coupling

abstract: Pyrochlore oxides show several fascinating phenomena, such as the formation of heavy fermions and the thermal Hall effect. Although a key to understanding some phenomena may be the Dzyaloshinsky-Moriya (DM) interaction, its microscopic origin is unclear. To clarify the microscopic origin, we constructed a $t_{2g}$-orbital model with the kinetic energy, the trigonal-distortion potential, the multiorbital Hubbard interactions, and the $LS$ coupling, and derived the low-energy effective Hamiltonian for a $d^{1}$ Mott insulator with the weak $LS$ coupling. We first show that lack of the inversion center of each nearest-neighbor V-V bond causes the odd-mirror interorbital hopping integrals. Those are qualitatively different from the even-mirror hopping integrals, existing even with the inversion center. We next show that the second-order perturbation using the kinetic terms leads to the ferromagnetic and the antiferromagnetic super exchange interactions. Then, we show the most important result: the third-order perturbation terms using the combination of the even-mirror hopping integral, the odd-mirror hopping integral, and the $LS$ coupling causes the DM interaction due to the mirror-mixing effect, where those hopping integrals are necessary to obtain the antisymmetric kinetic exchange and the $LS$ coupling is necessary to excite the orbital angular momentum at one of two sites. We also show that the magnitude and sign of the DM interaction can be controlled by changing the positions of the O ions and the strength of the Hubbard interactions. We discuss the advantages in comparison with the phenomenological theory and Moriya's microscopic theory, applicability of our mechanism, and the similarities and differences between our case and the strong-$LS$-coupling case.


title: BRST Quantization of Cosmological Perturbations

abstract: BRST quantization is an elegant and powerful method to quantize theories with local symmetries. In this article we study the Hamiltonian BRST quantization of cosmological perturbations in a universe dominated by a scalar field, along with the closely related quantization method of Dirac. We describe how both formalisms apply to the perturbations in a time-dependent background, and how expectation values of gauge-invariant operators can be calculated in the in-in formalism. Our analysis focuses mostly on the free theory. By appropriate canonical transformations we simplify and diagonalize the free Hamiltonian. BRST quantization in derivative gauges allows us to dramatically simplify the structure of the propagators, whereas quantization in synchronous gauge, which amounts to Dirac quantization, dispenses with the need to introduce ghosts and preserves the locality of the gauge-fixed action.


title: Orbit equivalence of Cantor minimal systems and their continuous spectra

abstract: To any continuous eigenvalue of a Cantor minimal system $(X,\,T)$, we associate an element of the dimension group $K^0(X,\,T)$ associated to $(X,\,T)$. We introduce and study the concept of irrational miscibility of a dimension group. The main property of these dimension groups is the absence of irrational values in the additive group of continuous spectrum of their realizations by Cantor minimal systems. The strong orbit equivalence (respectively orbit equivalence) class of a Cantor minimal system associated to an irrationally miscible dimension group $(G,\,u)$ (resp. with trivial infinitesimal subgroup) with trivial rational subgroup, have no non-trivial continuous eigenvalues.


title: Exactly solvable tight-binding models on two scale-free networks with identical degree distribution

abstract: We study ideal Bose gas upon two scale-free structures with identical degree distribution. Energy spectra belonging to tight-binding Hamiltonian are exactly solved and the related spectral dimensions of $G_1$ and $ G_2$ are obtained as $d_{s_1} = 2$ and $d_{s_2} = 2 \ln 4/ \ln 3$. We show Bose-Einstein condensation will only take place upon $G_2$ instead of $G_1$. The topology and thermodynamical property of the two structures are proven to be totally different.


title: Two models for the homotopy theory of $\infty$-operads

abstract: We compare two models for $\infty$-operads: the complete Segal operads of Barwick and the complete dendroidal Segal spaces of Cisinski and Moerdijk. Combining this with comparison results already in the literature, this implies that all known models for $\infty$-operads are equivalent - for instance, it follows that the homotopy theory of Lurie's $\infty$-operads is equivalent to that of dendroidal sets and that of simplicial operads.


title: Thermal blurring of event-by-event fluctuations provoked by rapidity conversion

abstract: We study the effect of thermal blurring caused by the use of (momentum-space) rapidity as a proxy of coordinate-space rapidity in experimental measurements of conserved charge fluctuations in relativistic heavy ion collisions. In theoretical studies assuming statistical mechanics, calculated fluctuations are those in a spatial volume. Experiments, on the other hand, can measure fluctuations only in a momentum-space in the final state. In a standard argument to compare experimental results for a momentum space with theoretical studies for a coordinate space, rapidities of particles are implicitly regarded as equivalent to their coordinate-space rapidity. We show that the relation of two fluctuations is significantly altered by the existence of the thermal motion, i.e. thermal blurring. We discuss that the thermal blurring can be regarded as a part of the diffusion process, and the effect can be understood by studying the rapidity window dependences of fluctuations. Centrality dependence of the thermal blurring effect is also discussed.


title: Infinite dimensional weak Dirichlet processes and convolution type processes

abstract: The present paper continues the study of infinite dimensional calculus via regularization, started by C. Di Girolami and the second named author, introducing the notion of weak Dirichlet process in this context. Such a process X, taking values in a Banach space H, is the sum of a local martingale and a suitable orthogonal process. The concept of weak Dirichlet process fits the notion of convolution type processes, a class including mild solutions for stochastic evolution equations on infinite dimensional Hilbert spaces and in particular of several classes of stochastic partial differential equations (SPDEs). In particular the mentioned decomposition appears to be a substitute of an It{\^o}'s type formula applied to f (t, X(t)) where f : [0, T ] $\times$ H $\rightarrow$ R is a C 0,1 function and X a convolution type processes.


title: The symmetric group action on rank-selected posets of injective words

abstract: The symmetric group $\mathfrak{S}_n$ acts naturally on the poset of injective words over the alphabet $\{1, 2,\dots,n\}$. The induced representation on the homology of this poset has been computed by Reiner and Webb. We generalize their result by computing the representation of $\mathfrak{S}_n$ on the homology of all rank-selected subposets, in the sense of Stanley. A further generalization to the poset of $r$-colored injective words is given.


title: Sky reconstruction for the Tianlai cylinder array

abstract: In this paper, we apply our sky map reconstruction method for transit type interferometers to the Tianlai cylinder array. The method is based on the spherical harmonic decomposition, and can be applied to cylindrical array as well as dish arrays and we can compute the instrument response, synthesised beam, transfer function and the noise power spectrum. We consider cylinder arrays with feed spacing larger than half wavelength, and as expected, we find that the arrays with regular spacing have grating lobes which produce spurious images in the reconstructed maps. We show that this problem can be overcome, using arrays with different feed spacing on each cylinder. We present the reconstructed maps, and study the performance in terms of noise power spectrum, transfer function and beams for both regular and irregular feed spacing configurations.


title: Effectivity in the Hyperbolicity-related problems

abstract: The aim of this work is to deal with effective questions related to the Kobayashi and Debarre conjectures, and based on the work of Damian Brotbek and Lionel Darondeau. We first show that if a line bundle $L$ generates $k$-jets, the $k$-th Wronskian ideal sheaf associated with global sections of $L$ reaches its largest possible value. Then we obtain an effective estimate for a weaker version of a theorem of Nakamaye on certain universal Grassmannians. We finally derive from this explicit effective bounds for the Kobayashi and Debarre conjectures.


title: Evidential Label Propagation Algorithm for Graphs

abstract: Community detection has attracted considerable attention crossing many areas as it can be used for discovering the structure and features of complex networks. With the increasing size of social networks in real world, community detection approaches should be fast and accurate. The Label Propagation Algorithm (LPA) is known to be one of the near-linear solutions and benefits of easy implementation, thus it forms a good basis for efficient community detection methods. In this paper, we extend the update rule and propagation criterion of LPA in the framework of belief functions. A new community detection approach, called Evidential Label Propagation (ELP), is proposed as an enhanced version of conventional LPA. The node influence is first defined to guide the propagation process. The plausibility is used to determine the domain label of each node. The update order of nodes is discussed to improve the robustness of the method. ELP algorithm will converge after the domain labels of all the nodes become unchanged. The mass assignments are calculated finally as memberships of nodes. The overlapping nodes and outliers can be detected simultaneously through the proposed method. The experimental results demonstrate the effectiveness of ELP.


title: Search for resonances in diphoton events at $\sqrt{s}$=13 TeV with the ATLAS detector

abstract: Searches for new resonances decaying into two photons in the ATLAS experiment at the CERN Large Hadron Collider are described. The analysis is based on proton--proton collision data corresponding to an integrated luminosity of 3.2 fb$^{-1}$ at $\sqrt{s} = 13$ TeV recorded in 2015. Two searches are performed, one targeted at a spin-2 particle of mass larger than 500 GeV, using Randall--Sundrum graviton states as a benchmark model, and one optimized for a spin-0 particle of mass larger than 200 GeV. Varying both the mass and the decay width, the most significant deviation from the background-only hypothesis is observed at a diphoton invariant mass around 750 GeV with local significances of 3.8 and 3.9 standard deviations in the searches optimized for a spin-2 and spin-0 particle, respectively. The global significances are estimated to be 2.1 standard deviations for both analyses. The consistency between the data collected at 13 TeV and 8 TeV is also evaluated. Limits on the production cross section times branching ratio to two photons for the two resonance types are reported.


title: Collider limits on new physics within micrOMEGAs4.3

abstract: Results from the LHC put severe constraints on models of new physics. This includes constraints on the Higgs sector from the precise measurement of the mass and couplings of the 125GeV Higgs boson, as well as limits from searches for other new particles. We present the procedure to use these constraints in micrOMEGAs by interfacing it to the external codes Lilith, HiggsSignals, HiggsBounds and SModelS. A few dedicated modules are also provided. With these new features, micrOMEGAs_4.3 provides a generic framework for evaluating dark matter observables together with collider and non-collider constraints.


title: Deformation and orientation statistics of neutrally buoyant sub-Kolmogorov ellipsoidal droplets in turbulent Taylor-Couette flow

abstract: The influence of the underlying flow topology on the shape and size of sub-Kolmogorov droplets dispersed in a turbulent flow is of considerable interest in many industrial and scientific applications. In this work we study the deformation and orientation statistics of sub-Kolmogorov droplets dispersed into a turbulent Taylor-Couette flow. Along with Direct Numerical Simulations (DNS) of the carrier phase and Lagrangian tracking of the dispersed droplets, we solve a phenomenological equation proposed by Maffettone and Minale (\emph{J. Fluid Mech.} 78, 227-241 (1998)) to track the shape evolution and orientation of approximately $10^5$ ellipsoidal droplets. By varying the capillary number $Ca$ and viscosity ratio $\hat \mu$ of the droplets we find that the droplets deform more with increasing capillary number $Ca$ and this effect is more pronounced in the boundary layer regions. This indicates that along with a capillary number effect there is also a strong correlation between spatial position and degree of deformation of the droplet. Regardless of the capillary number $Ca$, the major-axis of the ellipsoids tends to align with the stream-wise direction and the extensional strain rate eigen direction in the boundary layer region while the distribution is highly isotropic in the bulk. When the viscosity ratio between the droplet and the carrier fluid is increased we find that there is no preferential stretched axis which is due to the increased influence of rotation over stretching and relaxation. Droplets in high viscosity ratio systems are thus less deformed and oblate (disk-like) as compared to highly deformed prolate (cigar-like) droplets in low viscosity ratio systems.


title: Locally Lipschitz BSDE driven by a continuous martingale: path-derivative approach

abstract: Using a new notion of path-derivative, we study well-posedness of backward stochastic differential equation driven by a continuous martingale $M$ when $f(s,\gamma,y,z)$ is locally Lipschitz in $(y,z)$: \[Y_{t}=\xi(M_{[0,T]})+\int_{t}^{T}f(s,M_{[0,s]},Y_{s-},Z_{s}m_{s})d{\rm tr}[M,M]_{s}-\int_{t}^{T}Z_{s}dM_{s}-N_{T}+N_{t}\] Here, $M_{[0,t]}$ is the path of $M$ from $0$ to $t$ and $m$ is defined by $[M,M]_{t}=\int_{0}^{t}m_{s}m_{s}^{*}d{\rm tr}[M,M]_{s}$. When the BSDE is one-dimensional, we could show the existence and uniqueness of solution. On the contrary, when the BSDE is multidimensional, we show existence and uniqueness only when $[M,M]_{T}$ is small enough: otherwise, we provide a counterexample that has blowing-up solution. Then, we investigate the applications to utility maximization problems.


title: Identities on the k-ary Lyndon words related to a family of zeta functions

abstract: The main aim of this paper is to investigate and introduce relations between the numbers of k-ary Lyndon words and unified zeta-type functions which was defined by Ozden et al [15, p. 2785]. Finally, we give some identities on generating functions for the numbers of k-ary Lyndon words and some special numbers and polynomials such as the Apostol-Bernoulli numbers and polynomials, Frobenius-Euler numbers, Euler numbers and Bernoulli numbers.


title: Laplacian LRR on Product Grassmann Manifolds for Human Activity Clustering in Multi-Camera Video Surveillance

abstract: In multi-camera video surveillance, it is challenging to represent videos from different cameras properly and fuse them efficiently for specific applications such as human activity recognition and clustering. In this paper, a novel representation for multi-camera video data, namely the Product Grassmann Manifold (PGM), is proposed to model video sequences as points on the Grassmann manifold and integrate them as a whole in the product manifold form. Additionally, with a new geometry metric on the product manifold, the conventional Low Rank Representation (LRR) model is extended onto PGM and the new LRR model can be used for clustering non-linear data, such as multi-camera video data. To evaluate the proposed method, a number of clustering experiments are conducted on several multi-camera video datasets of human activity, including Dongzhimen Transport Hub Crowd action dataset, ACT 42 Human action dataset and SKIG action dataset. The experiment results show that the proposed method outperforms many state-of-the-art clustering methods.


title: Do hydrodynamically assisted binary collisions lead to orientational ordering of microswimmers?

abstract: We have investigated the onset of collective motion in systems of model microswimmers, by performing a comprehensive analysis of the binary collision dynamics using three dimensional direct numerical simulations (DNS) with fully resolved hydrodynamics. From this data, we have constructed a simplified binary collision model (BCM) which accurately reproduces the collective behavior obtained from the DNS for most cases. Thus, we show that global alignment can mostly arise solely from binary collisions. Although the agreement between both models (DNS and BCM) is not perfect, the parameter range in which notable differences appear is also that for which strong density fluctuations are present in the system (where pseudo-sound mound can be observed[1]).


title: On Some Inverse Eigenvalue Problems of Quadratic Palindromic Systems

abstract: This paper concerns some inverse eigenvalue problems of the quadratic $\star$-(anti)-palindromic system $Q(\lambda)=\lambda^2 A_1^{\star}+\lambda A_0 + \epsilon A_1$, where $\epsilon=\pm 1$, $A_1, A_0 \in \mathbb{C}^{n\times n}$, $A_0^{\star}=\epsilon A_0$, $A_1$ is nonsingular, and the symbol $\star$ is used as an abbreviation for transpose for real matrices and either transpose or conjugate transpose for complex matrices. By using the spectral decomposition of the quadratic $\star$-(anti)-palindromic system, the inverse eigenvalue problems with entire/partial eigenpairs given, and the model updating problems with no-spillover are considered. Some conditions on the solvabilities of these problems are given, and algorithms are proposed to find these solutions. These algorithms are illustrated by some numerical examples.


title: Efficient Learning with a Family of Nonconvex Regularizers by Redistributing Nonconvexity

abstract: The use of convex regularizers allows for easy optimization, though they often produce biased estimation and inferior prediction performance. Recently, nonconvex regularizers have attracted a lot of attention and outperformed convex ones. However, the resultant optimization problem is much harder. In this paper, for a large class of nonconvex regularizers, we propose to move the nonconvexity from the regularizer to the loss. The nonconvex regularizer is then transformed to a familiar convex regularizer, while the resultant loss function can still be guaranteed to be smooth. Learning with the convexified regularizer can be performed by existing efficient algorithms originally designed for convex regularizers (such as the proximal algorithm, Frank-Wolfe algorithm, alternating direction method of multipliers and stochastic gradient descent). Extensions are made when the convexified regularizer does not have closed-form proximal step, and when the loss function is nonconvex, nonsmooth. Extensive experiments on a variety of machine learning application scenarios show that optimizing the transformed problem is much faster than running the state-of-the-art on the original problem.


title: Adjoint affine fusion and tadpoles

abstract: We study affine fusion with the adjoint representation. For simple Lie algebras, elementary and universal formulas determine the decomposition of a tensor product of an integrable highest-weight representation with the adjoint representation. Using the (refined) affine depth rule, we prove that equally striking results apply to adjoint affine fusion. For diagonal fusion, a coefficient equals the number of nonzero Dynkin labels of the relevant affine highest weight, minus 1. A nice lattice-polytope interpretation follows, and allows the straightforward calculation of the genus-1 1-point adjoint Verlinde dimension, the adjoint affine fusion tadpole. Explicit formulas, (piecewise) polynomial in the level, are written for the adjoint tadpoles of all classical Lie algebras. We show that off-diagonal adjoint affine fusion is obtained from the corresponding tensor product by simply dropping non-dominant representations.


title: Pulsars as probes of gravity and fundamental physics

abstract: Radio-loud neutron stars known as pulsars allow a wide range of experimental tests for fundamental physics, ranging from the study of super-dense matter to tests of general relativity and its alternatives. As a result, pulsars provide strong-field tests of gravity, they allow for the direct detection of gravitational waves in a 'pulsar timing array', and they promise the future study of black hole properties. This contribution gives an overview of the on-going experiments and recent results.


title: Sensible Functional Linear Discriminant Analysis

abstract: The focus of this paper is to extend Fisher's linear discriminant analysis (LDA) to both densely re-corded functional data and sparsely observed longitudinal data for general $c$-category classification problems. We propose an efficient approach to identify the optimal LDA projections in addition to managing the noninvertibility issue of the covariance operator emerging from this extension. A conditional expectation technique is employed to tackle the challenge of projecting sparse data to the LDA directions. We study the asymptotic properties of the proposed estimators and show that asymptotically perfect classification can be achieved in certain circumstances. The performance of this new approach is further demonstrated with numerical examples.


title: The ternary Goldbach problem with a prime and two isolated primes

abstract: In the present paper we prove that under the assumption of the GRH (Generalized Riemann Hypothesis) each sufficiently large odd integer can be expressed as the sum of a prime and two isolated primes.


title: User Experience of a Smart Factory Robot: Assembly Line Workers Demand Adaptive Robots

abstract: This paper reports a case study on the User Experience (UX)of an industrial robotic prototype in the context of human-robot cooperation in an automotive assembly line. The goal was to find out what kinds of suggestions the assembly line workers, who actually use the new robotic system, propose in order to improve the human-robot interaction (HRI). The operators working with the robotic prototype were interviewed three weeks after the deployment using established UX narrative interview guidelines. Our results show that the cooperation with a robot that executes predefined working steps actually impedes the user in terms of flexibility and individual speed. This results in a change of working routine for the operators, impacts the UX, and potentially leads to a decrease in productivity. We present the results of the interviews as well as first thoughts on technical solutions in order to enhance the adaptivity and subsequently the UX of the human-robot cooperation.


title: Amplitude Analysis of the Decays $\eta^\prime \rightarrow \pi^+\pi^-\pi^0$ and $\eta^\prime \rightarrow \pi^0\pi^0\pi^0$

abstract: Based on a sample of $1.31 \times 10^9$ $J/\psi$ events collected with the BESIII detector, an amplitude analysis of the isospin-violating decays $\eta^\prime \rightarrow \pi^+\pi^-\pi^0$ and $\eta^\prime \rightarrow \pi^0\pi^0\pi^0$ is performed. A significant $P$-wave contribution from $\eta^\prime \rightarrow \rho^{\pm} \pi^{\mp}$ is observed for the first time in $\eta^\prime \rightarrow \pi^+\pi^-\pi^0$. The branching fraction is determined to be ${\mathcal B}(\eta^\prime \rightarrow \rho^{\pm}\pi^{\mp})=(7.44\pm0.60\pm1.26\pm1.84)\times 10^{-4}$, where the first uncertainty is statistical, the second systematic, and the third model dependent. In addition to the nonresonant $S$-wave component, there is a significant $\sigma$ meson component. The branching fractions of the combined $S$-wave components are determined to be ${\mathcal B}(\eta^\prime \rightarrow \pi^+\pi^-\pi^0)_S=(37.63\pm0.77\pm2.22\pm4.48)\times 10^{-4}$ and ${\mathcal B}(\eta^\prime \rightarrow \pi^0\pi^0\pi^0)=(35.22\pm0.82\pm2.54)\times 10^{-4}$, respectively. The latter one is consistent with previous BESIII measurements.


title: Non parametric estimation for random walks in random environment

abstract: We consider a random walk in i.i.d. random environment with distribution $\nu$ on Z. The problem we are interested in is to provide an estimator of the cumulative distribution function (c.d.f.) F of $\nu$ from the observation of one trajectory of the random walk. For that purpose we first estimate the moments of $\nu$, then combine these moment estimators to obtain a collection of estimators (F M n) M $\ge$1 of F , our final estimator is chosen among this collection by Lepskii's method. This estimator is therefore easily computable in practice. We derive convergence rates for this estimator depending on the H{\"o}lder regularity of F and on the divergence rate of the walk. Our rate is optimal when the chain realizes a trade-off between a fast exploration of the sites, allowing to get more informations and a larger number of visits of each sites, allowing a better recovery of the environment itself.


title: Structural, electronic and magnetic properties of Fe doped CoCr$_{2}$O$_{4}$: insights from ab initio calculations

abstract: CoCr$_2$O$_4$ has attracted significant attention recently due to several interesting properties such as magnetostriction, magnetoelectricity etc.. More recent experiments on Fe substituted CoCr$_2$O$_4$ observed a variety of novel phenomena such as the magnetic compensation accompanied by the occurrence of exchange bias, which reverses its sign. Understanding of such phenomena may lead to control the properties of these material in an efficient way to enhance its potential for multifunctional applications. In this paper, we study the microscopic understanding of Fe doping in modifying the structural and magnetic properties of CoCr$_{2}$O$_{4}$ with varying composition and substitution of Fe at different sublattices by first-principles density functional calculations. We have analysed in detail the effect of Fe substitution on crystal field and exchange splittings, magnetic moments and interatomic exchange parameters. It is also observed that with increasing concentration of Fe impurity, the system has a tendency towards forming an "Inverse Spinel" structure as observed in experiments. Such tendencies are crucial to understand this system as it would lead to modifications in the magnetic exchange interactions associated with sites with different symmetry finally affecting the magnetic structure and the multiferrocity in turn.


title: Absolute continuity of the law for solutions of stochastic differential equations with boundary noise

abstract: We study existence and regularity of the density for the solution $u(t,x)$ (with fixed $t > 0$ and $x \in D$) of the heat equation in a bounded domain $D \subset \mathbb R^d$ driven by a stochastic inhomogeneous Neumann boundary condition with stochastic term. The stochastic perturbation is given by a fractional Brownian motion process. Under suitable regularity assumptions on the coefficients, by means of tools from the Malliavin calculus, we prove that the law of the solution has a smooth density with respect to the Lebesgue measure in $\mathbb R$.


title: Wireless Information Surveillance via Proactive Eavesdropping with Spoofing Relay

abstract: Wireless information surveillance, by which suspicious wireless communications are closely monitored by legitimate agencies, is an integral part of national security. To enhance the information surveillance capability, we propose in this paper a new proactive eavesdropping approach via a spoofing relay, where the legitimate monitor operates in a full-duplex manner with simultaneous eavesdropping and spoofing relaying to vary the source transmission rate in favor of the eavesdropping performance. To this end, a power splitting receiver is proposed, where the signal received at each antenna of the legitimate monitor is split into two parts for information eavesdropping and spoofing relaying, respectively. We formulate an optimization problem to maximize the achievable eavesdropping rate by jointly optimizing the power splitting ratios and relay beamforming matrix at the multi-antenna monitor. Depending on the suspicious and eavesdropping channel conditions, the optimal solution corresponds to three possible spoofing relay strategies, namely \emph{constructive relaying}, \emph{jamming}, and \emph{simultaneous jamming and destructive relaying}. Numerical results show that the proposed technique significantly improves the eavesdropping rate of the legitimate monitor as compared to the existing passive eavesdropping and jamming-based eavesdropping schemes.


title: Simultaneous Reconstruction and Segmentation for Dynamic SPECT Imaging

abstract: This work deals with the reconstruction of dynamic images that incorporate characteristic dynamics in certain subregions, as arising for the kinetics of many tracers in emission tomography (SPECT, PET). We make use of a basis function approach for the unknown tracer concentration by assuming that the region of interest can be divided into subregions with spatially constant concentration curves. Applying a regularized variational framework reminiscent of the Chan-Vese model for image segmentation we simultaneously reconstruct both the labelling functions of the subregions as well as the subconcentrations within each region. Our particular focus is on applications in SPECT with Poisson noise model, resulting in a Kullback-Leibler data fidelity in the variational approach. We present a detailed analysis of the proposed variational model and prove existence of minimizers as well as error estimates. The latter apply to a more general class of problems and generalize existing results in literature since we deal with a nonlinear forward operator and a nonquadratic data fidelity. A computational algorithm based on alternating minimization and splitting techniques is developed for the solution of the problem and tested on appropriately designed synthetic data sets. For those we compare the results to those of standard EM reconstructions and investigate the effects of Poisson noise in the data.


title: New cubic fourfolds with odd degree unirational parametrizations

abstract: We prove that the moduli space of cubic fourfolds $\mathcal{C}$ contains a divisor $\mathcal{C}_{42}$ whose general member has a unirational parametrization of degree 13. This result follows from a thorough study of the Hilbert scheme of rational scrolls and an explicit construction of examples. We also show that $\mathcal{C}_{42}$ is uniruled.


title: The Order Barrier for Strong Approximation of Rough Volatility Models

abstract: We study the strong approximation of a rough volatility model, in which the log-volatility is given by a fractional Ornstein-Uhlenbeck process with Hurst parameter $H<1/2$. Our methods are based on an equidistant discretization of the volatility process and of the driving Brownian motions, respectively. For the root mean-square error at a single point the optimal rate of convergence that can be achieved by such methods is $n^{-H}$, where $n$ denotes the number of subintervals of the discretization. This rate is in particular obtained by the Euler method and an Euler-trapezoidal type scheme.