title: Quasi-Parton Distribution Function in Lattice Perturbation Theory

abstract: Large momentum effective field theory provides a new direction for lattice QCD calculations of hadronic structure functions, such as parton distribution functions (PDFs), meson distribution amplitudes, and so on, directly with $x$-dependence. In the framework of Lattice Perturbation Theory (LPT), we compute the one-loop quark-in-quark quasi-PDF with the na\"ive fermion action ($\tilde{q}^{\mathrm{nv}}$) and quasi-PDF with Wilson-Clover action ($\tilde{q}^{\mathrm{WC}}$) and show that $\tilde{q}^{\mathrm{nv}}$ reduces to the continuum quasi-PDF in the continuum limit. We point out, however, that the continuum limit and massless quark limit do not commute. We find that the condition to recover the same collinear divergence that the quasi-PDF has in continuum QCD is $aP_3^2\approx m$ and $m\ll P_3$, while the condition to fully recover the continuum quasi-PDF is $aP_{3}^{2}\ll m\ll P_{3}$, where $P_3$ is the momentum in the direction of the quark's motion (longitudinal direction). These two conditions are based on perturbation calculations and should not be applied to non-perturbative calculations because the non-perturbative effects cure the collinear divergence. The correction to the quasi-PDF using the na\"ive fermion action is due to the Wilson term and can be viewed as an $\mathcal{O}\left(a^{1}\right)$ correction. For nonzero $r$, the $\mathcal{O}\left(a^{1}\right)$ corrections are subsequently mixed with the quasi-PDF using the na\"ive fermion action.


title: An Analytical Solution for the Wigner-Boltzmann Transport Equation in the Relaxation Time Approximation

abstract: The quantum version of the Boltzmann transport equation (Wigner-Boltzmann equation) is a quite useful tool to investigate the effects of energy dissipation in quantum systems. Numerical approaches uses to be employed in order to stablish a suitable solution. In this paper, an analytical solution is shown to exist when the constant relaxation time approximation is considered. The formalism presented here is capable to avoid some unphysical features early reported in literature for the conventional boundary condition scheme.


title: Obtaining time-dependent multi-dimensional dividing surfaces using Lagrangian descriptors

abstract: Dynamics between reactants and products are often mediated by a rate-determining barrier and an associated dividing surface leading to the transition state theory rate. This framework is challenged when the barrier is time-dependent because its motion can give rise to recrossings across the fixed dividing surface. A non-recrossing time-dependent dividing surface can nevertheless be attached to the TS trajectory resulting in recrossing-free dynamics. We extend the formalism---constructed using Lagrangian Descriptors---to systems with additional bath degrees of freedom. The propagation of reactant ensembles provides a numerical demonstration that our dividing surface is recrossing-free and leads to exact TST rates.


title: Unimem: Runtime Data Management on Non-Volatile Memory-based Heterogeneous Main Memory

abstract: Non-volatile memory (NVM) provides a scalable and power-efficient solution to replace DRAM as main memory. However, because of relatively high latency and low bandwidth of NVM, NVM is often paired with DRAM to build a heterogeneous memory system (HMS). As a result, data objects of the application must be carefully placed to NVM and DRAM for best performance. In this paper, we introduce a lightweight runtime solution that automatically and transparently manage data placement on HMS without the requirement of hardware modifications and disruptive change to applications. Leveraging online profiling and performance models, the runtime characterizes memory access patterns associated with data objects, and minimizes unnecessary data movement. Our runtime solution effectively bridges the performance gap between NVM and DRAM. We demonstrate that using NVM to replace the majority of DRAM can be a feasible solution for future HPC systems with the assistance of a software-based data management.


title: Chemical dynamics between wells across a time-dependent barrier: Self-similarity in the Lagrangian descriptor and reactive basins

abstract: In chemical or physical reaction dynamics, it is essential to distinguish precisely between reactants and products for all time. This task is especially demanding in time-dependent or driven systems because therein the dividing surface (DS) between these states often exhibits a nontrivial time-dependence. The so-called transition state (TS) trajectory has been seen to define a DS which is free of recrossings in a large number of one-dimensional reactions across time-dependent barriers, and, thus, allows one to determine exact reaction rates. A fundamental challenge to applying this method is the construction of the TS trajectory itself. The minimization of Lagrangian descriptors (LDs) provides a general and powerful scheme to obtain that trajectory even when perturbation theory fails. Both approaches encounter possible breakdowns when the overall potential is bounded, admitting the possibility of returns to the barrier long after trajectories have reached the product or reactant wells. Such global dynamics cannot be captured by perturbation theory. Meanwhile, in the LD-DS approach, it leads to the emergence of additional local minima which make it difficult to extract the optimal branch associated with the desired TS trajectory. In this work, we illustrate this behavior for a time-dependent double-well potential revealing a self-similar structure of the LD, and we demonstrate how the reflections and side-minima can be addressed by an appropriate modification of the LD associated with the direct rate across the barrier.


title: Lifelong Learning CRF for Supervised Aspect Extraction

abstract: This paper makes a focused contribution to supervised aspect extraction. It shows that if the system has performed aspect extraction from many past domains and retained their results as knowledge, Conditional Random Fields (CRF) can leverage this knowledge in a lifelong learning manner to extract in a new domain markedly better than the traditional CRF without using this prior knowledge. The key innovation is that even after CRF training, the model can still improve its extraction with experiences in its applications.


title: Bi-$s^*$-concave distributions

abstract: We introduce a new shape-constrained class of distribution functions on R, the bi-$s^*$-concave class. In parallel to results of D\"umbgen, Kolesnyk, and Wilke (2017) for what they called the class of bi-log-concave distribution functions, we show that every s-concave density f has a bi-$s^*$-concave distribution function $F$ and that every bi-$s^*$-concave distribution function satisfies $\gamma (F) \le 1/(1+s)$ where finiteness of $$ \gamma (F) \equiv \sup_{x} F(x) (1-F(x)) \frac{| f' (x)|}{f^2 (x)}, $$ the Cs\"org\H{o} - R\'ev\'esz constant of F, plays an important role in the theory of quantile processes on $R$.


title: Multi-dueling Bandits with Dependent Arms

abstract: The dueling bandits problem is an online learning framework for learning from pairwise preference feedback, and is particularly well-suited for modeling settings that elicit subjective or implicit human feedback. In this paper, we study the problem of multi-dueling bandits with dependent arms, which extends the original dueling bandits setting by simultaneously dueling multiple arms as well as modeling dependencies between arms. These extensions capture key characteristics found in many real-world applications, and allow for the opportunity to develop significantly more efficient algorithms than were possible in the original setting. We propose the \selfsparring algorithm, which reduces the multi-dueling bandits problem to a conventional bandit setting that can be solved using a stochastic bandit algorithm such as Thompson Sampling, and can naturally model dependencies using a Gaussian process prior. We present a no-regret analysis for multi-dueling setting, and demonstrate the effectiveness of our algorithm empirically on a wide range of simulation settings.


title: Interaction-driven Quantum Anomalous Hall Effect in Halogenated Hematite Nanosheets

abstract: Based on first-principle calculations and $k\cdot p$ model analysis, we show that the quantum anomalous Hall (QAH) insulating phase can be realized in the functionalized hematite (or $\alpha$-Fe$_2$O$_3$) nanosheet and the obtained topological gap can be as large as $\sim$300 meV. The driving force of the topological phase is the strong interactions of localized Fe 3$d$ electrons operating on the quadratic band crossing point of the non-interacting band structures. Such interaction driven QAH insulator is different from the single particle band topology mechanism in experimentally realized QAH insulator, the magnetic ion doped topological insulator film. Depending on the thickness of the nanosheet, topological insulating state with helical-like or chiral edge states can be realized. Our work provides a realization of the interaction-driven QAH insulating state in a realistic material.


title: The extrema of the first eigenvalue of the Sturm--Liouville problem with third-type boundary conditions

abstract: We get the infima and suprema of the first eigenvalue of the problem $y'' + qy + \lambda y = 0$, $y'(0) - k_0^2 y(0) = y'(1) + k_1^2 y(1) = 0$, where $q$ belongs to the set of nonnegative summable functions on [0,1] such that $\int_0^1 q^\gamma dx = 1$, where $\gamma \in R\setminus \{0\}$.


title: Bounding singular surfaces via Chern numbers

abstract: We prove the existence of a bound on the number of steps of the minimal model program for singular surfaces in terms of discrepancies and top Chern numbers. As an application, we prove that given $R\in\mathbb{R}$ and $\epsilon\in (0,1)$, the class $\mathcal{F}(R,\epsilon)$ of $2$-dimensional pairs $(X,D)$ of general type with $\epsilon$-klt singularities, $D$ with standard coefficients, and $4c_2(X,D)-c_1^2(X,D)\leq R$, forms a bounded family.


title: Two-dimensional boron on Pb (110) surface

abstract: We simulate boron on Pb(110) surface by using ab initio evolutionary methodology. Interestingly, the two-dimensional (2D) Dirac Pmmn boron can be formed because of good lattice matching. Unexpectedly, by increasing the thickness of 2D boron, a three-bonded graphene-like structure (P2_1/c boron) was revealed to possess double anisotropic Dirac cones. It is 20 meV/atom lower in energy than the Pmmn structure, indicating the most stable 2D boron with particular Dirac cones. The puckered structure of P2_1/c boron results in the peculiar Dirac cones, as well as substantial mechanical anisotropy. The calculated Young's modulus is 320 GPa.nm along zigzag direction, which is comparable with graphene.


title: Testing the science/technology relationship by analysis of patent citations of scientific papers after decomposition of both science and technology

abstract: The relationship of scientific knowledge development to technological development is widely recognized as one of the most important and complex aspects of technological evolution. This paper adds to our understanding of the relationship through use of a more rigorous structure for differentiating among technologies based upon technological domains (defined as consisting of the artifacts over time that fulfill a specific generic function using a specific body of technical knowledge).


title: Quasi adiabatic dynamics of energy eigenstates for solvable quantum system at finite temperature

abstract: It is a fundamental problem to characterize the nonequilibrium processes. For a slowly moving one-dimensional potential, we explore the quasi adiabatic dynamics of the initial energy eigenstates for a confined quantum system interacting with a large reservoir. For concreteness, we investigate a dragged harmonic oscillator linearly interacting with an assembly of harmonic oscillators, and explore the deviation from adiabatic processes by rigorously calculating the so-called persistent amplitude. In this way, we also show that the phase of the persistent amplitudes are common both for the ground and excited states.


title: Equivariant Schr\"odinger maps from two dimensional hyperbolic space

abstract: In this article, we consider the equivariant Schr\"odinger map from $\Bbb H^2$ to $\Bbb S^2$ which converges to the north pole of $\Bbb S^2$ at the origin and spatial infinity of the hyperbolic space. If the energy of the data is less than $4\pi$, we show that the local existence of Schr\"odinger map. Furthermore, if the energy of the data sufficiently small, we prove the solutions are global in time.


title: Algebraically Closed Fields with a Generic Multiplicative Character

abstract: We study the model theory of the $2$-sorted structure $(\mathbb{F}, \mathbb{C};\chi)$, where $\mathbb{F}$ is an algebraic closure of a finite field of characteristic $p$, $\mathbb{C}$ is the field of complex numbers and $\chi: \mathbb{F} \to \mathbb{C}$ is an injective, multiplication preserving map. We obtain an axiomatization $\mathrm{ACFC}_p$ of $\mathrm{Th}(\mathbb{F},\mathbb{C};\chi)$ in a suitable language $L$, classify the models of $\mathrm{ACFC}_p$ up to isomorphism, prove a modified model companion result, give various descriptions of definable sets inside a model of $\mathrm{ACFC}_p$, and deduce that $\mathrm{ACFC}_p$ is $\omega$-stable and has definability of Morley rank in families.


title: Condensation of Lee-Yang zeros in scalar field theory

abstract: We show that, at the critical temperature, there is a class of Lee-Yang zeros of the partition function in a general scalar field theory, which location scales with the size of the system with a characteristic exponent expressed in terms of the isothermal critical exponent $\delta$. In the thermodynamic limit the zeros belonging to this class condense to the critical point {\zeta}=1 on the real axis in the complex fugacity plane while the complementary set of zeros (with Re {\zeta} < 1) covers uniformly the unit circle. Although the aforementioned class degenerates to a single point for an infinite system, when the size is finite it dominates in the partition function and determines the self-similar structure (fractal geometry, scaling laws) of the critical system. This property opens up the perspective to formulate finite-size scaling theory in effective QCD, near the chiral critical point, in terms of the location of Lee-Yang zeros.


title: Muon g-2 Theory: the Hadronic Part

abstract: I present a status report of the hadronic vacuum polarization effects for the muon $g-2$, to be considered as an update of [1]. The update concerns recent new inclusive $R$ measurements from KEDR in the energy range 1.84 to 3.72 GeV. For the leading order contributions I find $a_\mu^{\mathrm{had}(1)}=(688.07\pm 4.14)[688.77\pm3.38]\times 10^{-10}$ based on $e^+e^-$data [incl. $\tau$ data], $a_\mu^{\mathrm{had}(2)}= (-9.93\pm 0.07) \times 10^{-10}$ (NLO) and $a_\mu^{\mathrm{had}(3)}= (1.22\pm 0.01) \times 10^{-10}$ (NNLO). Collecting recent progress in the hadronic light-by-light scattering I adopt $\pi^0,\eta,\eta'$ [$95 \pm 12$] + axial--vector [$8 \pm ~3$] + scalar [$-6\pm ~1$] + $\pi,K$ loops [$-20\pm 5$] + quark loops [$22\pm ~4$] + tensor [$1\pm ~0$] + NLO [$3\pm ~2$] which yields $ a^{(6)}_\mu(\mathrm{lbl},\mathrm{had})=(103 \pm 29) \times 10^{-11}.$ With these updates I find $a_\mu^{\rm exp}-a_\mu^{\rm the}=(31.3\pm 7.7)\times 10^{-10}$ a 4.1 $\sigma$ deviation. Recent lattice QCD results and future prospects to improve hadronic contributions are discussed.


title: High Performance Data Persistence in Non-Volatile Memory for Resilient High Performance Computing

abstract: Resilience is a major design goal for HPC. Checkpoint is the most common method to enable resilient HPC. Checkpoint periodically saves critical data objects to non-volatile storage to enable data persistence. However, using checkpoint, we face dilemmas between resilience, recomputation and checkpoint cost. The reason that accounts for the dilemmas is the cost of data copying inherent in checkpoint. In this paper we explore how to build resilient HPC with non-volatile memory (NVM) as main memory and address the dilemmas. We introduce a variety of optimization techniques that leverage high performance and non-volatility of NVM to enable high performance data persistence for data objects in applications. With NVM we avoid data copying; we optimize cache flushing needed to ensure consistency between caches and NVM. We demonstrate that using NVM is feasible to establish data persistence frequently with small overhead (4.4% on average) to achieve highly resilient HPC and minimize recomputation.


title: Potential Integral Equations in Electromagnetics

abstract: In this work, a new integral equation (IE) based formulation is proposed using vector and scalar potentials for electromagnetic scattering. The new integral equations feature decoupled vector and scalar potentials that satisfy Lorentz gauge. The decoupling of the two potentials allows low-frequency stability. The formulation presented also results in Fredholm integral equations of second kind. The spectral properties of second kind integral operators leads to a well-conditioned system.


title: ELT Linear Algebra II

abstract: This paper is a continuation of [arXiv:1603.02204]. Exploded layered tropical (ELT) algebra is an extension of tropical algebra with a structure of layers. These layers allow us to use classical algebraic results in order to easily prove analogous tropical results. Specifically we prove and use an ELT version of the transfer principal presented in [2]. In this paper we use the transfer principle to prove an ELT version of Cayley-Hamilton Theorem, and study the multiplicity of the ELT determinant, ELT adjoint matrices and quasi-invertible matrices. We also define a new notion of trace -- the essential trace -- and study its properties.


title: Application-Level Resilience Modeling for HPC Fault Tolerance

abstract: Understanding the application resilience in the presence of faults is critical to address the HPC resilience challenge. Currently, we largely rely on random fault injection (RFI) to quantify the application resilience. However, RFI provides little information on how fault tolerance happens, and RFI results are often not deterministic due to its random nature. In this paper, we introduce a new methodology to quantify the application resilience. Our methodology is based on the observation that at the application level, the application resilience to faults is due to the application-level fault masking. The application-level fault masking happens because of application-inherent semantics and program constructs. Based on this observation, we analyze application execution information and use a data-oriented approach to model the application resilience. We use our model to study how and why HPC applications can (or cannot) tolerate faults. We demonstrate tangible benefits of using the model to direct fault tolerance mechanisms.


title: Joint Denoising / Compression of Image Contours via Shape Prior and Context Tree

abstract: With the advent of depth sensing technologies, the extraction of object contours in images---a common and important pre-processing step for later higher-level computer vision tasks like object detection and human action recognition---has become easier. However, acquisition noise in captured depth images means that detected contours suffer from unavoidable errors. In this paper, we propose to jointly denoise and compress detected contours in an image for bandwidth-constrained transmission to a client, who can then carry out aforementioned application-specific tasks using the decoded contours as input. We first prove theoretically that in general a joint denoising / compression approach can outperform a separate two-stage approach that first denoises then encodes contours lossily. Adopting a joint approach, we first propose a burst error model that models typical errors encountered in an observed string y of directional edges. We then formulate a rate-constrained maximum a posteriori (MAP) problem that trades off the posterior probability p(x'|y) of an estimated string x' given y with its code rate R(x'). We design a dynamic programming (DP) algorithm that solves the posed problem optimally, and propose a compact context representation called total suffix tree (TST) that can reduce complexity of the algorithm dramatically. Experimental results show that our joint denoising / compression scheme outperformed a competing separate scheme in rate-distortion performance noticeably.


title: Dust dynamics and evolution in HII regions - II. Effects of dynamical coupling between dust and gas

abstract: In this paper, we extend the study initiated in PaperI by modelling grain ensemble evolution in a dynamical model of an expanding HII region and checking the effects of momentum transfer from dust to gas. The radiation pressure on the dust, the dust drift, and the lug on the gas by the dust are all important process that should be considered simultaneously to describe the dynamics of HII regions. With accounting for the momentum transfer from the dust to the gas, the expansion time of the HII region is notably reduced (for our model of RCW120, the time to reach the observed radius of the HII region is reduced by a factor of 1.5). Under the common approximation of frozen dust, where there is no relative drift between the dust and gas, the radiation pressure from the ionizing star drives the formation of the very deep gas cavity near the star. Such a cavity is much less pronounced when the dust drift is taken into account. The dust drift leads to the two-peak morphology of the dust density distribution and significantly reduces the dust-to-gas ratio in the ionized region (by a factor of 2 to 10). The dust-to-gas ratio is larger for higher temperatures of the ionizing star since the dust grains have a larger electric charge and are more strongly coupled to the gas.


title: Angular Dependent Magnetization Dynamics of Kagome Artificial Spin Ice Incorporating Topological Defects

abstract: We report angular-dependent spin-wave spectroscopy on kagome artificial spin ice made of large arrays of interconnected Ni80Fe20 nanobars. Spectra taken in saturated and disordered states exhibit a series of resonances with characteristic in-plane angular dependencies. Micromagnetic simulations allow us to interpret characteristic resonances of a two-step magnetization reversal of the nanomagnets. The dynamic properties are consistent with topological defects that are provoked via a magnetic field applied at specific angles. Simulations that we performed on previously investigated kagome artificial spin ice consisting of isolated nanobars show characteristic discrepancies in the spin wave modes which we explain by the absence of vertices.


title: An entangling-probe attack on Shor's algorithm for factorization

abstract: We investigate how to attack Shor's quantum algorithm for factorization with an entangling probe. We show that an attacker can steal an exact solution of Shor's algorithm outside an institute where the quantum computer is installed if he replaces its initialized quantum register with entangled qubits, namely the entangling probe. He can apply arbitrary local operations to his own probe. Moreover, we assume that there is an unauthorized person who helps the attacker to commit a crime inside the institute. He tells garbage data obtained from measurements of the quantum register to the attacker secretly behind a legitimate user's back. If the attacker succeeds in cracking Shor's algorithm, the legitimate user obtains a random answer and does not notice the attacker's illegal acts. We discuss how to detect the attacker. Finally we estimate a probability that the quantum algorithm inevitably makes an error, of which the attacker can take advantage.


title: Use of difference tables at studying of properties of binomial coefficients

abstract: Some properties of diagonal binomial coefficients were studied in respect to frequency of their units digits. An approach was formulated that led to use of difference tables to predict if certain units digits can appear in the values of binomial coefficients at quadratic terms of the binomial theorem. Frequency distributions of units digits of binomial coefficients contain gaps (zero frequency) under most common numbering systems with supposed exclusion to systems with 2^n bases. Binomial coefficient arithmetics may be used to model cell population dynamics in a multicellular organism, which implies that the dynamics obeys power function laws.


title: On Mimura's extension problem

abstract: We determine the group strucure of the $23$-rd homotopy group $\pi_{23}(G_2 : 2)$, where $G_2$ is the Lie group of exceptional type, which hasn't been determined for $50$ years.


title: Topologically Robust 3D Shape Matching via Gradual Deflation and Inflation

abstract: Despite being vastly ignored in the literature, coping with topological noise is an issue of increasing importance, especially as a consequence of the increasing number and diversity of 3D polygonal models that are captured by devices of different qualities or synthesized by algorithms of different stabilities. One approach for matching 3D shapes under topological noise is to replace the topology-sensitive geodesic distance with distances that are less sensitive to topological changes. We propose an alternative approach utilising gradual deflation (or inflation) of the shape volume, of which purpose is to bring the pair of shapes to be matched to a \emph{comparable} topology before the search for correspondences. Illustrative experiments using different datasets demonstrate that as the level of topological noise increases, our approach outperforms the other methods in the literature.


title: The cohomology groups of real toric varieties associated to Weyl chambers of type $C$ and $D$

abstract: Given a root system, the Weyl chambers in the co-weight lattice give rise to a real toric variety, called the real toric variety associated to the Weyl chambers. We compute the integral cohomology groups of real toric varieties associated to the Weyl chambers of type $C_n$ and $D_n$, completing the computation for all classical types.


title: On the ability to reconstruct ancestral genomes from Mycobacterium genus

abstract: Technical signs of progress during the last decades has led to a situation in which the accumulation of genome sequence data is increasingly fast and cheap. The huge amount of molecular data available nowadays can help addressing new and essential questions in Evolution. However, reconstructing evolution of DNA sequences requires models, algorithms, statistical and computational methods of ever increasing complexity. Since most dramatic genomic changes are caused by genome rearrangements (gene duplications, gain/loss events), it becomes crucial to understand their mechanisms and reconstruct ancestors of the given genomes. This problem is known to be NP-complete even in the "simplest" case of three genomes. Heuristic algorithms are usually executed to provide approximations of the exact solution. We state that, even if the ancestral reconstruction problem is NP-hard in theory, its exact resolution is feasible in various situations, encompassing organelles and some bacteria. Such accurate reconstruction, which identifies too some highly homoplasic mutations whose ancestral status is undecidable, will be initiated in this work-in-progress, to reconstruct ancestral genomes of two Mycobacterium pathogenetic bacterias. By mixing automatic reconstruction of obvious situations with human interventions on signaled problematic cases, we will indicate that it should be possible to achieve a concrete, complete, and really accurate reconstruction of lineages of the Mycobacterium tuberculosis complex. Thus, it is possible to investigate how these genomes have evolved from their last common ancestors.


title: Differential operators, radial parts and a one-parameter family of hypergeometric functions of type BC

abstract: We introduce the symmetric (respectively, non-symmetric) $\tau_{-\ell}-$hypergeometric functions associated with a root system of type $BC$ as joint eigenfunctions of a commutative algebra of differential (respectively, differential-reflection) operators. Under certain conditions on the real parameter $\ell$, we derive their properties (positivity, estimates, asymptotics and boundedness) by establishing the analogous properties for the Heckman-Opdam (symmetric and non-symmetric) hypergeometric functions corresponding to (not necessarily positive) multiplicity functions which are standard.


title: Localizations of the hearts of cotorsion pairs associated with mutations

abstract: In this article, we study localizations of hearts of cotorsion pairs (U,V) where U is rigid on an extriangulated category B. The hearts of such cotorsion pairs are equivalent to the functor categories over the stable category of U. Inspired by Marsh and Palu, we consider the mutation of U that induces a cotorsion pair (U',V'). Generally speaking, the hearts of (U,V) and (U',V') are not equivalent to each other, but we will give a generalized pseudo-Morita equivalence between certain localizations of their hearts.


title: Indoor Frame Recovery from Refined Line Segments

abstract: An important yet challenging problem in understanding indoor scene is recovering indoor frame structure from a monocular image. It is more difficult when occlusions and illumination vary, and object boundaries are weak. To overcome these difficulties, a new approach based on line segment refinement with two constraints is proposed. First, the line segments are refined by four consecutive operations, i.e., reclassifying, connecting, fitting, and voting. Specifically, misclassified line segments are revised by the reclassifying operation, some short line segments are joined by the connecting operation, the undetected key line segments are recovered by the fitting operation with the help of the vanishing points, the line segments converging on the frame are selected by the voting operation. Second, we construct four frame models according to four classes of possible shooting angles of the monocular image, the natures of all frame models are introduced via enforcing the cross ratio and depth constraints. The indoor frame is then constructed by fitting those refined line segments with related frame model under the two constraints, which jointly advance the accuracy of the frame. Experimental results on a collection of over 300 indoor images indicate that our algorithm has the capability of recovering the frame from complex indoor scenes.


title: Denominator Bounds for Systems of Recurrence Equations using $\Pi\Sigma$-Extensions

abstract: We consider linear systems of recurrence equations whose coefficients are given in terms of indefinite nested sums and products covering, e.g., the harmonic numbers, hypergeometric products, $q$-hypergeometric products or their mixed versions. These linear systems are formulated in the setting of $\Pi\Sigma$-extensions and our goal is to find a denominator bound (also known as universal denominator) for the solutions; i.e., a non-zero polynomial $d$ such that the denominator of every solution of the system divides $d$. This is the first step in computing all rational solutions of such a rather general recurrence system. Once the denominator bound is known, the problem of solving for rational solutions is reduced to the problem of solving for polynomial solutions.


title: A Common Central Engine for Long Gamma Ray Bursts and Type Ib/c Supernovae?

abstract: Long-duration, spectrally-soft Gamma-Ray Bursts (GRBs) are associated with Type Ic Core Collapse (CC) Supernovae (SNe), and thus arise from the death of massive stars. In the collapsar model, the jet launched by the central engine must bore its way out of the progenitor star before it can produce a GRB. Most of these jets do not break out, and are instead "choked" inside the star, as the central-engine activity time, $t_{\rm e}$, is not long enough. Modelling the long-soft GRB duration distribution assuming a power-law distribution for their central-engine activity times, $\propto t_{\rm e}^{-\alpha}$ for $t_{\rm e}>t_{\rm b}$, we find a steep distribution ($\alpha\sim4$) and a typical GRB jet breakout time of $t_{\rm b}\sim 60\text{ s}$ in the star's frame. The latter suggests the presence of a low-density, extended envelope surrounding the progenitor star, similar to that previously inferred for low-luminosity GRBs. Extrapolating the range of validity of this power law below what is directly observable, to $t_{\rm e}<t_{\rm b}$, by only a factor of $\sim$4-5 produces enough events to account for all Type Ib/c SNe. Such extrapolation is necessary to avoid fine-tuning the distribution of central engine activity times with the breakout time, which are presumably unrelated. We speculate that central engines launching relativistic jets may operate in all Type Ib/c SNe. In this case, the existence of a common central engine would imply that (i) the jet may significantly contribute to the energy of the SN; (ii) various observational signatures, like the asphericity of the explosion, could be directly related to jet's interaction with the star.


title: Modelling the Lagrangian of magnetized plasmas with low-frequency magnetic perturbations by a gyrokinetic Ampere-Poisson model

abstract: Following the method in Ref.(1), this paper introduces a fundamental Lagrangian 1-form on the particle's coordinates, which determines the dynamics of all ions and electrons of the magnetized plasma with low-frequency magnetic perturbations. An Ampere-Vlasov model is utilized to model this fundamental Lagrangian 1-form based on a kind of coarse-grained scheme. With the Cary-Littlejohn single-parameter Lie transform method, a new fundamental Lagrangian 1-form on the gyrocenter coordinates is derived through transforming the one on particle's coordinates. This new 1-form determines the dynamics of all ions and electrons on the gyrocenter coordinates. A new Ampere-Vlasov model totally defined on the gyrocenter coordinates is developed to model the new Lagrangian 1-form. By incorporating the electrostatic perturbation into the Lagrangian 1-form, we eventually derived an Ampere-Poisson-Vlasov model defined on the gyrocenter coordinates.


title: Binary stars as the key to understanding planetary nebulae

abstract: Planetary nebulae are traditionally considered to represent the final evolutionary stage of all intermediate-mass stars ($\sim$0.7-8Msol). Recent evidence seems to contradict this picture. In particular, since the launch of the Hubble Space Telescope it has become clear that planetary nebulae display a wide range of striking morphologies which cannot be understood in a single star scenario, instead pointing towards a binary evolution in a majority of systems. Here, we summarise our current understanding of the importance of binarity in the formation and shaping of planetary nebulae, as well as the surprises that recent observational studies have revealed with respect to our understanding of binary evolution in general. These advances have critical implications, including for the understanding of mass transfer processes in binary stars - particularly the all-important but ever-so poorly understood `common envelope phase' - as well as the formation of cosmologically important type Ia supernovae.


title: Periodic strategies in optimal execution with multiplicative price impact

abstract: In this work we study the optimal execution problem with multiplicative price impact in algorithm trading, when an agent holds an initial position of shares of a financial asset. The inter-selling-decision times are modelled by the arrival times of a Poisson process. The criterion to be optimised consists in maximising the expected net present value of gains of the agent, and it is proved that an optimal strategy has a barrier form, depending only on the number of shares left and the level of asset price.


title: Tunable Extremely Asymmetric Acoustic Metasurfaces Made by Coupled Membrane Resonators

abstract: We report the experimental demonstration of tunable asymmetric acoustic metasurfaces with extreme contrast, made by two decorated membrane resonators (DMRs) coupled via a sealed air column. The front side of the metasurface is impedance matched to air and perfectly absorbing, while the backside is hard and totally reflecting. When a suitable DC voltage is applied to the backside DMR with proper electrodes, the surface impedance of the back side of the metasurfaces can be tuned from one extreme to the other, such that the backside becomes impedance matched to air and totally absorbing, while the front side becomes perfectly reflecting. The metasurface also exhibits high transmission contrast around two frequencies. The tunability of the reflection is over 23 dB at 388 Hz, and that of the transmission is over 33 dB at 240 Hz and 590 Hz with 600 V of applied voltage. We further demonstrate one-side impedance matched metasurface with tunable working frequency 324.2 Hz to 335 Hz and reflection contrast over 31 dB.


title: Casimir scaling and Yang-Mills glueballs

abstract: We conjecture that in Yang-Mills theories the ratio between the ground-state glueball mass squared and the string tension is proportional to the ratio of the eigenvalues of quadratic Casimir operators in the adjoint and the fundamental representations. The proportionality constant depends on the dimension of the space-time only, and is henceforth universal. We argue that this universality, which is supported by available lattice results, is a direct consequence of area-law confinement. In order to explain this universal behaviour, we provide three analytical arguments, based respectively on a Bethe-Salpeter analysis, on the saturation of the scale anomaly by the lightest scalar glueball and on QCD sum rules, commenting on the underlying assumptions that they entail and on their physical implications.


title: Countable Menger theorem with finitary matroid constraints on the ingoing edges

abstract: We present a strengthening of the countable Menger theorem (edge version) of R. Aharoni. Let $ D=(V,A) $ be a countable digraph with $ s\neq t\in V $ and let $\mathcal{M}=\bigoplus_{v\in V}\mathcal{M}_v $ be a matroid on $ A $ where $ \mathcal{M}_v $ is a finitary matroid on the ingoing edges of $ v $. We show that there is a system of edge-disjoint $ s \rightarrow t $ paths $ \mathcal{P} $ such that the united edge set of the paths is $ \mathcal{M} $-independent, and there is a $ C \subseteq A $ consists of one edge from each element of $ \mathcal{P} $ for which $ \mathsf{span}_{\mathcal{M}}(C) $ covers all the $ s\rightarrow t $ paths in $ D $.


title: An analytical model for the evolution of the protoplanetary discs

abstract: We obtain a new set of analytical solutions for the evolution of a self-gravitating accretion disc by holding the Toomre parameter close to its threshold, and obtaining the stress parameter from the cooling rate. In agreement with the previous numerical solutions, furthermore, the accretion rate is assumed to be independent of the disc radius. Extreme situations where the entire disc is either optically thick or optically thin are studied independently and the obtained solutions can be used for exploring the early or the final phases of a protoplanetary disc evolution. Our solutions exhibit decay of the accretion rate as a power-law function of the age of the system with the exponent -0.75 and -1.04 for optically thick and thin cases, respectively. Our calculations permit us to explore evolution of the snow line analytically. Location of the snow line in the optically thick regime evolves as a power-law function of time with the exponent -0.16, however, when the disc is optically thin, location of the snow line as a function of time with the exponent -0.7 has a stronger dependence on time. It means that in an optically thin disc inward migration of the snow line is faster than an optically thick disc.


title: Aggregation of Dependent Risks in Mixtures of Exponential Distributions and Extensions

abstract: The distribution of the sum of dependent risks is a crucial aspect in actuarial sciences, risk management and in many branches of applied probability. In this paper, we obtain analytic expressions for the probability density function (pdf) and the cumulative distribution function (cdf) of aggregated risks, modeled according to a mixture of exponential distributions. We first review the properties of the multivariate mixture of exponential distributions, to then obtain the analytical formulation for the pdf and the cdf for the aggregated distribution. We study in detail some specific families with Pareto (Sarabia et al, 2016), Gamma, Weibull and inverse Gaussian mixture of exponentials (Whitmore and Lee, 1991) claims. We also discuss briefly the computation of risk measures, formulas for the ruin probability (Albrecher et al., 2011) and the collective risk model. An extension of the basic model based on mixtures of gamma distributions is proposed, which is one of the suggested directions for future research.


title: Modulo quantifiers over functional vocabularies extending addition

abstract: We show that first order logic (FO) and first order logic extended with modulo counting quantifiers (FOMOD) over purely functional vocabularies which extend addition, satisfy the Crane beach property (CBP) if the logic satisfies a normal form (called positional normal form). This not only shows why logics over the addition vocabulary have the CBP but also gives new CBP results, for example for the vocabulary which extends addition with the exponentiation function. The above results can also be viewed from the perspective of circuit complexity. Showing the existence of regular languages not definable in FOMOD[<, +, *] is equivalent to the separation of the circuit complexity classes ACC0 and NC1 . Our theorem shows that a weaker logic , namely, FOMOD[<,+,2^x] cannot define all regular languages.


title: Particle states of Lattice QCD

abstract: We determine the degeneracy factor and the average particle mass of particles that produce the Lattice QCD pressure and specific entropy at zero baryon chemical potential. The number of states of the gluons and the quarks are found to converge above $T=$230 MeV to almost constant values, close to the number of states of an ideal Quark-Gluon Phase, while their assigned masses retain high values. The number of states and the average mass of a system containing quarks in interaction with gluons are found to decrease steeply with increase of temperature between $T \sim 150$ and 160 MeV, a region contained within the region of the chiral transition. The minimum value of the number of states within this temperature interval indicates that the states are of hadronic nature.


title: Comments on Squashed-sphere Partition Functions

abstract: We study the partition function of odd-dimensional conformal field theories placed on spheres with a squashed metric. We establish that the round sphere provides a local extremum for the free energy which, in general, is not a global extremum. In addition, we show that the leading quadratic correction to the free energy around this extremum is proportional to the coefficient, $C_T$, determining the two-point function of the energy-momentum tensor in the CFT. For three-dimensional CFTs, we compute explicitly this proportionality constant for a class of squashing deformations which preserve an $SU(2)\times U(1)$ isometry group on the sphere. In addition, we evaluate the free energy as a function of the squashing parameter for theories of free bosons, free fermions, as well as CFTs holographically dual to Einstein gravity with a negative cosmological constant. We observe that, after suitable normalization, the dependence of the free energy on the squashing parameter for all these theories is nearly universal for a large region of parameter space and is well approximated by a simple quadratic function arising from holography. We generalize our results to five-dimensional CFTs and, in this context, we also study theories holographically dual to six-dimensional Gauss-Bonnet gravity.


title: On the existence of 4-regular matchstick graphs

abstract: A matchstick graph is a planar unit-distance graph. That is a graph drawn with straight edges in the plane such that the edges have unit length, and non-adjacent edges do not intersect. We call a matchstick graph 4-regular if every vertex has only degree 4. Examples of 4-regular matchstick graphs with less than 63 vertices are only known for 52, 54, 57 and 60 vertices. It is shown that for all number of vertices $\geq63$ at least one example of a 4-regular matchstick graph exists.


title: Tales of Emotion and Stock in China: Volatility, Causality and Prediction

abstract: How the online social media, like Twitter or its variant Weibo, interacts with the stock market and whether it can be a convincing proxy to predict the stock market have been debated for years, especially for China. As the traditional theory in behavioral finance states, the individual emotions can influence decision-makings of investors, it is reasonable to further explore these controversial topics systematically from the perspective of online emotions, which are richly carried by massive tweets in social media. Through thorough studies on over 10 million stock-relevant tweets and 3 million investors from Weibo, it is revealed that inexperienced investors with high emotional volatility are more sensible to the market fluctuations than the experienced or institutional ones, and their dominant occupation also indicates that the Chinese market might be more emotional as compared to its western counterparts. Then both correlation analysis and causality test demonstrate that five attributes of the stock market in China can be competently predicted by various online emotions, like disgust, joy, sadness and fear. Specifically, the presented prediction model significantly outperforms the baseline model, including the one taking purely financial time series as input features, on predicting five attributes of the stock market under the $K$-means discretization. We also employ this prediction model in the scenario of realistic online application and its performance is further testified.


title: Sensing ion channels in neuronal networks with graphene transistors

abstract: Graphene, the atomically-thin honeycomb carbon lattice, is a highly conducting 2D material whose exposed electronic structure offers an ideal platform for sensing. Its biocompatible, flexible, and chemically inert nature associated to the lack of dangling bonds, offers novel perspectives for direct interfacing with bioelements. When combined with its exceptional electronic and optical properties, graphene becomes a very promising material for bioelectronics. Among the successful bio-integrations of graphene, the detection of ionic currents through artificial membrane channels and extracellular action potentials in electrogenic cells have paved the road for the high spatial resolution and wide-field imaging of neuronal activity. However, various issues including the low signals amplitude, confinement and stochasticity of neuronal signals associated to the complex architecture and interconnectivity of neural networks should be still overcome. Recently, grain boundaries found in CVD graphene were shown to drastically increase the sensitivity of graphene transistors providing nanoscale sensing sites. Here we demonstrate the ability of liquid-gated graphene field effect transistors (G-FET) on which hippocampal neurons are grown for real-time detection of single ion channels activity. Dependence upon drugs and reference potential gating is presented and is found compatible with the nanoscale coupling of a few ion channels to graphene grain boundaries.


title: Langevin diffusions on the torus: estimation and applications

abstract: We introduce stochastic models for continuous-time evolution of angles and develop their estimation. We focus on studying Langevin diffusions with stationary distributions equal to well-known distributions from directional statistics, since such diffusions can be regarded as toroidal analogues of the Ornstein-Uhlenbeck process. Their likelihood function is a product of transition densities with no analytical expression, but that can be calculated by solving the Fokker-Planck equation numerically through adequate schemes. We propose three approximate likelihoods that are computationally tractable: (i) a likelihood based on the stationary distribution; (ii) toroidal adaptations of the Euler and Shoji-Ozaki pseudo-likelihoods; (iii) a likelihood based on a specific approximation to the transition density of the wrapped normal process. A simulation study compares, in dimensions one and two, the approximate transition densities to the exact ones, and investigates the empirical performance of the approximate likelihoods. Finally, two diffusions are used to model the evolution of the backbone angles of the protein G (PDB identifier 1GB1) during a molecular dynamics simulation. The software package sdetorus implements the estimation methods and applications presented in the paper.


title: On the difference between Poincar\'e and Lorentz gravity

abstract: The Poincar\'e invariance of GR is usually interpreted as Lorentz invariance plus diffeomorphism invariance. In this paper, by introducing the local inertial coordinates (LIC), it is shown that a theory with Lorentz and diffeomorphism invariance is not necessarily Poincar\'e invariant. Actually, the energy-momentum conservation is violated there. On the other hand, with the help of the LIC, the Poincar\'e invariance is reinterpreted as an internal symmetry. In this formalism, the conservation law is derived, which has not been sufficiently explored before.


title: Reconstructing a Lattice Equation: a Non-Autonomous Approach to the Hietarinta Equation

abstract: In this paper we construct a non-autonomous version of the Hietarinta equation [Hietarinta J., J. Phys. A: Math. Gen. 37 (2004), L67-L73] and study its integrability properties. We show that this equation possess linear growth of the degrees of iterates, generalized symmetries depending on arbitrary functions, and that it is Darboux integrable. We use the first integrals to provide a general solution of this equation. In particular we show that this equation is a sub-case of the non-autonomous $Q_{\rm V}$ equation, and we provide a non-autonomous M\"obius transformation to another equation found in [Hietarinta J., J. Nonlinear Math. Phys. 12 (2005), suppl. 2, 223-230] and appearing also in Boll's classification [Boll R., Ph.D. Thesis, Technische Universit\"at Berlin, 2012].


title: A model for one-dimensional morphoelasticity and its application to fibroblast-populated collagen lattices

abstract: The mechanical behaviour of solid biological tissues has long been described using models based on classical continuum mechanics. However, the classical continuum theories of elasticity and viscoelasticity cannot easily capture the continual remodelling and associated structural changes of biological tissues. Furthermore, models drawn from plasticity theory are difficult to apply and interpret in this context, where there is no equivalent of a yield stress or flow rule. In this work, we describe a novel one-dimensional mathematical model of tissue remodelling based on the multiplicative decomposition of the deformation gradient. We express the mechanical effects of remodelling as an evolution equation for the 'effective strain', a measure of the difference between the current state and a hypothetical mechanically-relaxed state of the tissue. This morphoelastic model combines the simplicity and interpretability of classical viscoelastic models with the versatility of plasticity theory. A novel feature of our model is that while most models describe growth as a continuous quantity, here we begin with discrete cells and develop a continuum representation of lattice remodelling based on an appropriate limit of the behaviour of discrete cells. To demonstrate the utility of our approach, we use this framework to capture qualitative aspects of the continual remodelling observed in fibroblast-populated collagen lattices, in particular its contraction and its subsequent sudden re-expansion when remodelling is interrupted.


title: Accumulation effects in modulation spectroscopy with high repetition rate pulses: recursive solution of optical Bloch equations

abstract: Application of the phase modulated pulsed light for advance spectroscopic measurements is the area of growing interest. The phase modulation of the light causes modulation of the signal. Separation of the spectral components of the modulations allows to distinguish the contributions of various interaction pathways. The lasers with high repetition rate used in such experiments can lead to appearance of the accumulation effects, which become especially pronounced in systems with long-living excited states. Recently it was shown, that such accumulation effects can be used to evaluate parameters of the dynamical processes in the material. In this work we demonstrate that the accumulation effects are also important in the quantum characteristics measurements provided by modulation spectroscopy. In particular, we consider a model of quantum two-level system driven by a train of phase-modulated light pulses, organised in analogy with the 2D spectroscopy experiments. We evaluate the harmonics' amplitudes in the fluorescent signal and calculate corrections appearing from the accumulation effects. We show that the corrections can be significant and have to be taken into account at analysis of experimental data.


title: SurfCut: Surfaces of Minimal Paths From Topological Structures

abstract: We present SurfCut, an algorithm for extracting a smooth, simple surface with an unknown 3D curve boundary from a noisy 3D image and a seed point. Our method is built on the novel observation that certain ridge curves of a function defined on a front propagated using the Fast Marching algorithm lie on the surface. Our method extracts and cuts these ridges to form the surface boundary. Our surface extraction algorithm is built on the novel observation that the surface lies in a valley of the distance from Fast Marching. We show that the resulting surface is a collection of minimal paths. Using the framework of cubical complexes and Morse theory, we design algorithms to extract these critical structures robustly. Experiments on three 3D datasets show the robustness of our method, and that it achieves higher accuracy with lower computational cost than state-of-the-art.


title: Measure concentration and the weak Pinsker property

abstract: Let $(X,\mu)$ be a standard probability space. An automorphism $T$ of $(X,\mu)$ has the weak Pinsker property if for every $\varepsilon > 0$ it has a splitting into a direct product of a Bernoulli shift and an automorphism of entropy less than $\varepsilon$. This property was introduced by Thouvenot, who asked whether it holds for all ergodic automorphisms. This paper proves that it does. The proof actually gives a more general result. Firstly, it gives a relative version: any factor map from one ergodic automorphism to another can be enlarged by arbitrarily little entropy to become relatively Bernoulli. Secondly, using some facts about relative orbit equivalence, the analogous result holds for all free and ergodic measure-preserving actions of a countable amenable group. The key to this work is a new result about measure concentration. Suppose now that $\mu$ is a probability measure on a finite product space $A^n$, and endow this space with its Hamming metric. We prove that $\mu$ may be represented as a mixture of other measures in which (i) most of the weight in the mixture is on measures that exhibit a strong kind of concentration, and (ii) the number of summands is bounded in terms of the difference between the Shannon entropy of $\mu$ and the combined Shannon entropies of its marginals.


title: Defense semantics of argumentation: encoding reasons for accepting arguments

abstract: In this paper we show how the defense relation among abstract arguments can be used to encode the reasons for accepting arguments. After introducing a novel notion of defenses and defense graphs, we propose a defense semantics together with a new notion of defense equivalence of argument graphs, and compare defense equivalence with standard equivalence and strong equivalence, respectively. Then, based on defense semantics, we define two kinds of reasons for accepting arguments, i.e., direct reasons and root reasons, and a notion of root equivalence of argument graphs. Finally, we show how the notion of root equivalence can be used in argumentation summarization.


title: Large linear magnetoresistance in a transition-metal stannide $\beta$-RhSn$_4$

abstract: Materials exhibiting large magnetoresistance may not only be of fundamental research interest, but also can lead to wide-ranging applications in magnetic sensors and switches. Here we demonstrate a large linear-in-field magnetoresistance, $\Delta \rho/\rho$ reaching as high as $\sim$600$\%$ at 2 K under a 9 Tesla field, in the tetragonal phase of a transiton-metal stannide $\beta$-RhSn$_4$. Detailed analyses show that its magnetic responses are overall inconsistent with the classical model based on the multiple electron scattering by mobility fluctuations in an inhomogenous conductor, but rather in line with the quantum effects due to the presence of Dirac-like dispersions in the electronic structure. Our results may help guiding the future quest for quantum magnetoresistive materials into the family of stannides, similar to the role played by PtSn$_4$ with topological node arcs.


title: $C_T$ for higher derivative conformal fields and anomalies of (1,0) superconformal 6d theories

abstract: In arXiv:1510.02685 we proposed linear relations between the Weyl anomaly $c_1, c_2, c_3$ coefficients and the 4 coefficients in the chiral anomaly polynomial for (1,0) superconformal 6d theories. These relations were determined up to one free parameter $\xi$ and its value was then conjectured using some additional assumptions. A different value for $\xi$ was recently suggested in arXiv:1702.03518 using a different method. Here we confirm that this latter value is indeed the correct one by providing an additional data point: the Weyl anomaly coefficient $c_3$ for the higher derivative (1,0) superconformal 6d vector multiplet. This multiplet contains the 4-derivative conformal gauge vector, 3-derivative fermion and 2-derivative scalar. We find the corresponding value of $c_3$ which is proportional to the coefficient $C_T$ in the 2-point function of stress tensor using its relation to the first derivative of the Renyi entropy or the second derivative of the free energy on the product of thermal circle and 5d hyperbolic space. We present some general results of computation of the Renyi entropy and $C_T$ from the partition function on $S^1 \times \mathbb H^{d-1}$ for higher derivative conformal scalars, spinors and vectors in even dimensions. We also give an independent derivation of the conformal anomaly coefficients of the higher derivative vector multiplet from the Seeley-DeWitt coefficients on an Einstein background.


title: The Hyper-Kamiokande Experiment

abstract: Hyper-Kamiokande (HK) is a next generation large water Cherenkov detector to be built in Japan, based on the highly successful Super-Kamiokande detector. HK will offer a broad science program such as neutrino oscillation studies, proton decay searches, and neutrino astrophysics with unprecedented sensitivities. This paper describes the overview and physics potential of HK.


title: Scheduling Parallel and Distributed Processing for Automotive Data Stream Management System

abstract: In this paper, to analyze end-to-end timing behavior in heterogeneous processor and network environments accurately, we adopt a heterogeneous selection value on communication contention (HSV_CC) algorithm, which can synchronize tasks and messages simultaneously, for stream processing distribution. In order to adapt HSV_CC to automotive data stream management system (DSMSs), one must address three issues: (i) previous task and message schedules might lead to less efficient resource usages; (ii) the conventional method to determine the task scheduling order may not be best suited to deal with stream processing graphs, and; (iii) there is a need to be able to schedule tasks with time-varying computational requirements efficiently. To address (i), we propose the heterogeneous value with load balancing and communication contention (HVLB_CC) (A) algorithm, which considers load balancing in addition to the parameters considered by the HSV_CC algorithm. We propose HVLB_CC (B) to address issue (ii). HVLB_CC (B) can deal with stream processing task graphs and more various directed acyclic graphs to prevent assigning a higher priority to successor tasks. In addition, to address issue (iii), we propose HVLB_CC_IC. To schedule tasks more efficiently with various computation times, HVLB_CC_IC utilizes schedule holes left in processors. These idle time slots can be used for the execution of an optional part to generate more precise data results by applying imprecise computation models. Experimental results demonstrate that the proposed algorithms improve minimum schedule length, accuracy, and load balancing significantly compared to the HSV_CC algorithm. In addition, the proposed HVLB_CC (B) algorithm can schedule more varied task graphs without reducing performance, and, using imprecise computation models, HVLB_CC_IC yields higher precision data than HVLB_CC without imprecise computation models.


title: The Mordell-Weil bases for the elliptic curve of the form $\boldsymbol{y^2=x^3-m^2x+n^2}$

abstract: Let $E_{m,n}$ be an elliptic curve over $\mathbb{Q}$ of the form $y^2=x^3-m^2x+n^2$, where $m$ and $n$ are positive integers. Brown and Myers showed that the curve $E_{1,n}$ has rank at least two for all $n$. In the present paper, we specify the two points which can be extended to a basis for $E_{1,n}(\mathbb{Q})$ under certain conditions described explicitly. Moreover, we verify a similar result for the curve $E_{m,1}$, which, however, gives a basis for the rank three part of $E_{m,1}(\mathbb{Q})$.


title: Neutrino Mixing and Leptonic CP Violation from $S_4$ Flavour and Generalised CP Symmetries

abstract: We consider a class of models of neutrino mixing with $S_4$ lepton flavour symmetry combined with a generalised CP symmetry, which are broken to residual $Z_2$ and $Z_2 \times H^\nu_{\rm CP}$ symmetries in the charged lepton and neutrino sectors, respectively, $H^\nu_{\rm CP}$ being a remnant CP symmetry of the neutrino Majorana mass term. In this set-up the neutrino mixing angles and CP violation (CPV) phases of the neutrino mixing matrix depend on three real parameters - two angles and a phase. We classify all phenomenologically viable mixing patterns and derive predictions for the Dirac and Majorana CPV phases. Further, we use the results obtained on the neutrino mixing angles and leptonic CPV phases to derive predictions for the effective Majorana mass in neutrinoless double beta decay.


title: Solutions of the three-dimensional radial Dirac equation from the Schr\"odinger equation with one-dimensional Morse potential

abstract: New exact analytical bound-state solutions of the radial Dirac equation in 3+1 dimensions for two sets of couplings and radial potential functions are obtained via mapping onto the nonrelativistic bound-state solutions of the one-dimensional generalized Morse potential. The eigenfunctions are expressed in terms of generalized Laguerre polynomials, and the eigenenergies are expressed in terms of solutions of equations that can be transformed into polynomial equations. Several analytical results found in the literature, including the Dirac oscillator, are obtained as particular cases of this unified approach.


title: Harmonic Manifolds and Tubes

abstract: The authors showed in a preceding paper that in a connected locally harmonic manifold, the volume of a tube of small radius about a regularly parameterized simple arc depends only on the length of the arc and the radius. In this paper, we show that this property characterizes harmonic manifolds even if it is assumed only for tubes about geodesic segments. As a consequence, we obtain similar characterizations of harmonic manifolds in terms of the total mean curvature and the total scalar curvature of tubular hypersurfaces about curves. We find simple formulae expressing the volume, total mean curvature, and total scalar curvature of tubular hypersurfaces about a curve in a harmonic manifold as a function of the volume density function.


title: Calibration and Irradiation Study of the BGO Background Monitor for the BEAST II Experiment

abstract: Beam commissioning of the SuperKEKB collider began in 2016. The Beam Exorcism for A STable experiment II (BEAST II) project is particularly designed to measure the beam backgrounds around the interaction point of the SuperKEKB collider for the Belle II experiment. We develop a system using bismuth germanium oxide (BGO) crystals with optical fibers connecting to a multianode photomultiplier tube (MAPMT) and a field-programmable gate array (FPGA) embedded readout board for monitoring the real-time beam backgrounds in BEAST II. The overall radiation sensitivity of this system is estimated to be $(2.20\pm0.26)\times10^{-12}$ Gy/ADU (analog-to-digital unit) with the standard 10 m fibers for transmission and the MAPMT operating at 700 V. Our $\gamma$-ray irradiation study of the BGO system shows that the exposure of BGO crystals to $^{60}$Co $\gamma$-ray doses of 1 krad has led to immediate light output reductions of 25--40%, and the light outputs further drop by 30--45% after the crystals receive doses of 2--4 krad. Our findings agree with those of the previous studies on the radiation hard (RH) BGO crystals grown by the low thermal gradient Czochralski (LTG Cz) technology. The absolute dose from the BGO system is also consistent with the simulation, and is estimated to be about 1.18 times the equivalent dose. These results prove that the BGO system is able to monitor the background dose rate in real time under extreme high radiation conditions. This study concludes that the BGO system is reliable for the beam background study in BEAST II.


title: Starshaped compact hypersurfaces with prescirbed Weingarten curvature in warped product manifolds

abstract: Given a compact Riemannian manifold $M$, we consider a warped product $\bar M = I \times_h M$ where $I$ is an open interval in $\Bbb R$. For a positive function $\psi$ defined on $\bar M$, we generalized the arguments in \cite{GRW2015} and \cite{RW16}, to obtain the curvature estimates for Hessian equations $\sigma_k(\kappa)=\psi(V,\nu(V))$. We also obtain some existence results for the starshaped compact hypersurface $\Sigma$ satisfying the above equation with various assumptions.


title: Automated Recurrence Analysis for Almost-Linear Expected-Runtime Bounds

abstract: We consider the problem of developing automated techniques for solving recurrence relations to aid the expected-runtime analysis of programs. Several classical textbook algorithms have quite efficient expected-runtime complexity, whereas the corresponding worst-case bounds are either inefficient (e.g., QUICK-SORT), or completely ineffective (e.g., COUPON-COLLECTOR). Since the main focus of expected-runtime analysis is to obtain efficient bounds, we consider bounds that are either logarithmic, linear, or almost-linear ($\mathcal{O}(\log n)$, $\mathcal{O}(n)$, $\mathcal{O}(n\cdot\log n)$, respectively, where n represents the input size). Our main contribution is an efficient (simple linear-time algorithm) sound approach for deriving such expected-runtime bounds for the analysis of recurrence relations induced by randomized algorithms. Our approach can infer the asymptotically optimal expected-runtime bounds for recurrences of classical randomized algorithms, including RANDOMIZED-SEARCH, QUICK-SORT, QUICK-SELECT, COUPONCOLLECTOR, where the worst-case bounds are either inefficient (such as linear as compared to logarithmic of expected-runtime, or quadratic as compared to linear or almost-linear of expected-runtime), or ineffective. We have implemented our approach, and the experimental results show that we obtain the bounds efficiently for the recurrences of various classical algorithms.


title: Band offsets at amorphous-crystalline $Al_2O_3-SrTiO_3$ oxide interfaces

abstract: 2D electron gases (2DEGs) formed at oxide interfaces provide a rich testbed for fundamental physics and device applications. While the discussion of the physical origins of this phenomenon continues, the recent discovery of oxide 2DEGs at non-epitaxial interfaces between amorphous and crystalline oxides provides useful insight onto this debate. Furthermore, using amorphous oxides offers a low-cost route towards realizing 2DEGs for device applications. In this work, the band offsets of a simple model system of amorphous-crystalline oxide interface are investigated. The model system consists of amorphous $Al_2O_3$ grown on single-crystalline (001) $SrTiO_3$. X-ray photoelectron spectroscopy is employed to study the chemical states, band gap and band offsets at the interface. The density of ionic defects near the interface is found to be below the detection limit, and the interface is found to be insulating. Analysis of the relative band structure yields significant interfacial barriers, exceeding 1.05 eV for holes and 2.0 eV for electrons. The barrier for holes is considerably larger than what is known for related materials systems, outlining the promise of using amorphous $Al_2O_3$ as an effective and simple insulator, an important building block for oxide-based field effect devices.


title: A Conditional Variational Framework for Dialog Generation

abstract: Deep latent variable models have been shown to facilitate the response generation for open-domain dialog systems. However, these latent variables are highly randomized, leading to uncontrollable generated responses. In this paper, we propose a framework allowing conditional response generation based on specific attributes. These attributes can be either manually assigned or automatically detected. Moreover, the dialog states for both speakers are modeled separately in order to reflect personal features. We validate this framework on two different scenarios, where the attribute refers to genericness and sentiment states respectively. The experiment result testified the potential of our model, where meaningful responses can be generated in accordance with the specified attributes.


title: Non-polynomial Worst-Case Analysis of Recursive Programs

abstract: We study the problem of developing efficient approaches for proving worst-case bounds of non-deterministic recursive programs. Ranking functions are sound and complete for proving termination and worst-case bounds of nonrecursive programs. First, we apply ranking functions to recursion, resulting in measure functions. We show that measure functions provide a sound and complete approach to prove worst-case bounds of non-deterministic recursive programs. Our second contribution is the synthesis of measure functions in nonpolynomial forms. We show that non-polynomial measure functions with logarithm and exponentiation can be synthesized through abstraction of logarithmic or exponentiation terms, Farkas' Lemma, and Handelman's Theorem using linear programming. While previous methods obtain worst-case polynomial bounds, our approach can synthesize bounds of the form $\mathcal{O}(n\log n)$ as well as $\mathcal{O}(n^r)$ where $r$ is not an integer. We present experimental results to demonstrate that our approach can obtain efficiently worst-case bounds of classical recursive algorithms such as (i) Merge-Sort, the divide-and-conquer algorithm for the Closest-Pair problem, where we obtain $\mathcal{O}(n \log n)$ worst-case bound, and (ii) Karatsuba's algorithm for polynomial multiplication and Strassen's algorithm for matrix multiplication, where we obtain $\mathcal{O}(n^r)$ bound such that $r$ is not an integer and close to the best-known bounds for the respective algorithms.


title: An Order-based Algorithm for Minimum Dominating Set with Application in Graph Mining

abstract: Dominating set is a set of vertices of a graph such that all other vertices have a neighbour in the dominating set. We propose a new order-based randomised local search (RLS$_o$) algorithm to solve minimum dominating set problem in large graphs. Experimental evaluation is presented for multiple types of problem instances. These instances include unit disk graphs, which represent a model of wireless networks, random scale-free networks, as well as samples from two social networks and real-world graphs studied in network science. Our experiments indicate that RLS$_o$ performs better than both a classical greedy approximation algorithm and two metaheuristic algorithms based on ant colony optimisation and local search. The order-based algorithm is able to find small dominating sets for graphs with tens of thousands of vertices. In addition, we propose a multi-start variant of RLS$_o$ that is suitable for solving the minimum weight dominating set problem. The application of RLS$_o$ in graph mining is also briefly demonstrated.


title: Lattice approach to finite volume form-factors of the Massive Thirring/Sine-Gordon model

abstract: In this paper we demonstrate, that the light-cone lattice approach for the Massive-Thirring (sine-Gordon) model, through the quantum inverse scattering method, admits an appropriate framework for computing the finite volume form-factors of local operators of the model. In this work we compute the finite volume diagonal matrix elements of the $U(1)$ conserved current in the pure soliton sector of the theory. Based on the systematic large volume expansion of our results, we conjecture an exact expression for the finite volume expectation values of local operators in pure soliton states. At large volume in leading order these expectation values have the same form as in purely elastic scattering theories, but exponentially small corrections differ from previous Thermodynamic Bethe Ansatz conjectures of purely elastic scattering theories.


title: A three-dimensional symmetry result for a phase transition equation in the genuinely nonlocal regime

abstract: We consider bounded solutions of the nonlocal Allen-Cahn equation $$ (-\Delta)^s u=u-u^3\qquad{\mbox{ in }}{\mathbb{R}}^3,$$ under the monotonicity condition $\partial_{x_3}u>0$ and in the genuinely nonlocal regime in which~$s\in\left(0,\frac12\right)$. Under the limit assumptions $$ \lim_{x_n\to-\infty} u(x',x_n)=-1\quad{\mbox{ and }}\quad \lim_{x_n\to+\infty} u(x',x_n)=1,$$ it has been recently shown that~$u$ is necessarily $1$D, i.e. it depends only on one Euclidean variable. The goal of this paper is to obtain a similar result without assuming such limit conditions. This type of results can be seen as nonlocal counterparts of the celebrated conjecture formulated by Ennio De Giorgi.


title: Tree-Structured Neural Machine for Linguistics-Aware Sentence Generation

abstract: Different from other sequential data, sentences in natural language are structured by linguistic grammars. Previous generative conversational models with chain-structured decoder ignore this structure in human language and might generate plausible responses with less satisfactory relevance and fluency. In this study, we aim to incorporate the results from linguistic analysis into the process of sentence generation for high-quality conversation generation. Specifically, we use a dependency parser to transform each response sentence into a dependency tree and construct a training corpus of sentence-tree pairs. A tree-structured decoder is developed to learn the mapping from a sentence to its tree, where different types of hidden states are used to depict the local dependencies from an internal tree node to its children. For training acceleration, we propose a tree canonicalization method, which transforms trees into equivalent ternary trees. Then, with a proposed tree-structured search method, the model is able to generate the most probable responses in the form of dependency trees, which are finally flattened into sequences as the system output. Experimental results demonstrate that the proposed X2Tree framework outperforms baseline methods over 11.15% increase of acceptance ratio.


title: Discriminative Nonlinear Analysis Operator Learning: When Cosparse Model Meets Image Classification

abstract: Linear synthesis model based dictionary learning framework has achieved remarkable performances in image classification in the last decade. Behaved as a generative feature model, it however suffers from some intrinsic deficiencies. In this paper, we propose a novel parametric nonlinear analysis cosparse model (NACM) with which a unique feature vector will be much more efficiently extracted. Additionally, we derive a deep insight to demonstrate that NACM is capable of simultaneously learning the task adapted feature transformation and regularization to encode our preferences, domain prior knowledge and task oriented supervised information into the features. The proposed NACM is devoted to the classification task as a discriminative feature model and yield a novel discriminative nonlinear analysis operator learning framework (DNAOL). The theoretical analysis and experimental performances clearly demonstrate that DNAOL will not only achieve the better or at least competitive classification accuracies than the state-of-the-art algorithms but it can also dramatically reduce the time complexities in both training and testing phases.


title: Arnold's problem on monotonicity of the Newton number for surface singularities

abstract: According to the Kouchnirenko theorem, for a generic (precisely non-degenerate in the Kouchnirenko sense) isolated singularity $f$ its Milnor number $\mu (f)$ is equal to the Newton number $\nu (\Gamma_{+}(f))$ of a combinatorial object associated to $f$, the Newton polyhedron $\Gamma_+ (f)$. We give a simple condition characterising, in terms of $\Gamma_+ (f)$ and $\Gamma_+ (g)$, the equality $\nu (\Gamma_{+}(f)) = \nu (\Gamma_{+}(g))$, for any surface singularities $f$ and $g$ satisfying $\Gamma_+ (f) \subset \Gamma_+ (g)$. This is a complete solution to an Arnold's problem (1982-16) in this case.


title: Meeting in a Polygon by Anonymous Oblivious Robots

abstract: The Meeting problem for $k\geq 2$ searchers in a polygon $P$ (possibly with holes) consists in making the searchers move within $P$, according to a distributed algorithm, in such a way that at least two of them eventually come to see each other, regardless of their initial positions. The polygon is initially unknown to the searchers, and its edges obstruct both movement and vision. Depending on the shape of $P$, we minimize the number of searchers $k$ for which the Meeting problem is solvable. Specifically, if $P$ has a rotational symmetry of order $\sigma$ (where $\sigma=1$ corresponds to no rotational symmetry), we prove that $k=\sigma+1$ searchers are sufficient, and the bound is tight. Furthermore, we give an improved algorithm that optimally solves the Meeting problem with $k=2$ searchers in all polygons whose barycenter is not in a hole (which includes the polygons with no holes). Our algorithms can be implemented in a variety of standard models of mobile robots operating in Look-Compute-Move cycles. For instance, if the searchers have memory but are anonymous, asynchronous, and have no agreement on a coordinate system or a notion of clockwise direction, then our algorithms work even if the initial memory contents of the searchers are arbitrary and possibly misleading. Moreover, oblivious searchers can execute our algorithms as well, encoding information by carefully positioning themselves within the polygon. This code is computable with basic arithmetic operations, and each searcher can geometrically construct its own destination point at each cycle using only a compass. We stress that such memoryless searchers may be located anywhere in the polygon when the execution begins, and hence the information they initially encode is arbitrary. Our algorithms use a self-stabilizing map construction subroutine which is of independent interest.


title: Composition Operators, Matrix Representation, and the Finite Section Method: A Theoretical Framework for Maps between Shapes

abstract: This paper intends to lay the theoretical foundation for the method of functional maps, first presented in 2012 by Ovsjanikov, Ben-Chen, Solomon, Butscher and Guibas in the field of the theory and numerics of maps between shapes. We show how to analyze this method by looking at it as an application of the theories of composition operators, of matrix representa- tion of operators on separable Hilbert spaces, and of the theory of the Finite Section Method. These are three well known fruitful topics in functional analysis. When applied to the task of modelling of correspondences of shapes in three-dimensional space, these concepts lead directly to functional maps and its associated functional matrices. Mathematically spoken, functional maps are composition operators between two-dimensional manifolds, and functional matrices are infinite matrix representations of such maps. We present an introduction into the notion and theoretical foundation of the functional analytic framework of the theory of matrix repre- sentation, especially of composition operators. We will also discuss two numerical methods for solving equations with such operators, namely, two variants of the Rectangular Finite Section Method. While one of these, which is well known, leads to an overdetermined system of linear equations, in the second one the minimum-norm solution of an underdetermined system has to be computed. We will present the main convergence results related to these methods.


title: (Non)local and (non)linear free boundary problems

abstract: We discuss some recent developments in the theory of free boundary problems, as obtained in a series of papers in collaboration with L. Caffarelli, A. Karakhanyan and O. Savin. The main feature of these new free boundary problems is that they deeply take into account nonlinear energy superpositions and possibly nonlocal functionals. The nonlocal parameter interpolates between volume and perimeter functionals, and so it can be seen as a fractional counterpart of classical free boundary problems, in which the bulk energy presents nonlocal aspects. The nonlinear term in the energy superposition takes into account the possibility of modeling different regimes in terms of different energy levels and provides a lack of scale invariance, which in turn may cause a structural instability of minimizers that may vary from one scale to another.


title: Thorup-Zwick Emulators are Universally Optimal Hopsets

abstract: A $(\beta,\epsilon)$-$\textit{hopset}$ is, informally, a weighted edge set that, when added to a graph, allows one to get from point $a$ to point $b$ using a path with at most $\beta$ edges ("hops") and length $(1+\epsilon)\mathrm{dist}(a,b)$. In this paper we observe that Thorup and Zwick's $\textit{sublinear additive}$ emulators are also actually $(O(k/\epsilon)^k,\epsilon)$-hopsets for every $\epsilon>0$, and that with a small change to the Thorup-Zwick construction, the size of the hopset can be made $O(n^{1+\frac{1}{2^{k+1}-1}})$. As corollaries, we also shave "$k$" factors off the size of Thorup and Zwick's sublinear additive emulators and the sparsest known $(1+\epsilon,O(k/\epsilon)^{k-1})$-spanners, due to Abboud, Bodwin, and Pettie.


title: A Note on Properties of Discrete Composition Operators

abstract: We derive properties and a characterization of discrete composition matrices which are useful in the field of numerical computation of shape correspondences.


title: Evidence for non-supersymmetric AdS/CFT

abstract: AdS/CFT is a conjectured equivalence between a field theory without gravity (conformal field theory) and a string theory in a special curved background (anti de-Sitter space), where theories on both sides of the equivalence is supersymmetric. Since the nature as we observe at low energy is non-supersymmetric, it will be very useful if we can have this conjecture in the non-supersymmetric case. Here we will give some evidence that AdS/CFT type duality must work for non-supersymmetric system. We will indicate some calculation which leads us to such conclusion.


title: Random evolutionary dynamics driven by fitness and house-of-cards mutations. Sampling formulae

abstract: We first revisit the multi-allelic mutation-fitness balance problem, especially when mutations obey a house of cards condition, where the discrete-time deterministic evolutionary dynamics of the allelic frequencies derives from a Shahshahani potential. We then consider multi-allelic Wright-Fisher stochastic models whose deviation to neutrality is from the Shahsha-hani mutation/selection potential. We next focus on the weak selection, weak mutation cases and, making use of a Gamma calculus, we compute the normalizing partition functions of the invariant probability densities appearing in their Wright-Fisher diffusive approximations. Using these results, Generalized Ewens sampling formulae (ESF) from the equilibrium distributions are derived. We start treating the ESF in the mixed mutation/selection potential case and then we restrict ourselves to the ESF in the simpler house-of-cards mutations only situation. We also address some issues concerning sampling problems from infinitely-many alleles weak limits.


title: Divergence-free positive symmetric tensors and fluid dynamics

abstract: We consider $d\times d$ tensors $A(x)$ that are symmetric, positive semi-definite, and whose row-divergence vanishes identically. We establish sharp inequalities for the integral of $(\det A)^{\frac1{d-1}}$. We apply them to models of compressible inviscid fluids: Euler equations, Euler--Fourier, relativistic Euler, Boltzman, BGK, etc... We deduce an {\em a priori} estimate for a new quantity, namely the space-time integral of $\rho^{\frac1n}p$, where $\rho$ is the mass density, $p$ the pressure and $n$ the space dimension. For kinetic models, the corresponding quantity generalizes Bony's functional.


title: Transformations between nonlocal and local integrable equations

abstract: Recently, a number of nonlocal integrable equations, such as the PT-symmetric nonlinear Schrodinger (NLS) equation and PT-symmetric Davey-Stewartson equations, were proposed and studied. Here we show that many of such nonlocal integrable equations can be converted to local integrable equations through simple variable transformations. Examples include these nonlocal NLS and Davey-Stewartson equations, a nonlocal derivative NLS equation, the reverse space-time complex modified Korteweg-de Vries (CMKdV) equation, and many others. These transformations not only establish immediately the integrability of these nonlocal equations, but also allow us to construct their analytical solutions from solutions of the local equations. These transformations can also be used to derive new nonlocal integrable equations. As applications of these transformations, we use them to derive rogue wave solutions for the partially PT-symmetric Davey-Stewartson equations and the nonlocal derivative NLS equation. In addition, we use them to derive multi-soliton and quasi-periodic solutions in the reverse space-time CMKdV equation. Furthermore, we use them to construct many new nonlocal integrable equations such as nonlocal short pulse equations, nonlocal nonlinear diffusion equations, and nonlocal Sasa-Satsuma equations.


title: The role of phase fluctuations in model of superconductivity with the external pair potential

abstract: We investigate the stability of the solutions of the BCS model with the external pair potential formulated in a work K.V. Grigorishin arXiv:1605.07080. It has been shown that the cause of superconductivity in this model is the electron-electron interaction only and the potential cannot impose superconductivity since the superconducting ordering will be destroyed by phase fluctuations in a form of quantum turbulence (vortexes, vortex rings, vortex tangles etc.). The external pair potential renormalizes the order parameter in initial superconducting matter and the bosonic scenario of transition to normal state in a clear 3D superconductor occurs unlike BCS theory where the fermionic scenario takes place.


title: Scaling Active Search using Linear Similarity Functions

abstract: Active Search has become an increasingly useful tool in information retrieval problems where the goal is to discover as many target elements as possible using only limited label queries. With the advent of big data, there is a growing emphasis on the scalability of such techniques to handle very large and very complex datasets. In this paper, we consider the problem of Active Search where we are given a similarity function between data points. We look at an algorithm introduced by Wang et al. [2013] for Active Search over graphs and propose crucial modifications which allow it to scale significantly. Their approach selects points by minimizing an energy function over the graph induced by the similarity function on the data. Our modifications require the similarity function to be a dot-product between feature vectors of data points, equivalent to having a linear kernel for the adjacency matrix. With this, we are able to scale tremendously: for $n$ data points, the original algorithm runs in $O(n^2)$ time per iteration while ours runs in only $O(nr + r^2)$ given $r$-dimensional features. We also describe a simple alternate approach using a weighted-neighbor predictor which also scales well. In our experiments, we show that our method is competitive with existing semi-supervised approaches. We also briefly discuss conditions under which our algorithm performs well.


title: Quantifying Mental Health from Social Media with Neural User Embeddings

abstract: Mental illnesses adversely affect a significant proportion of the population worldwide. However, the methods traditionally used for estimating and characterizing the prevalence of mental health conditions are time-consuming and expensive. Consequently, best-available estimates concerning the prevalence of mental health conditions are often years out of date. Automated approaches to supplement these survey methods with broad, aggregated information derived from social media content provides a potential means for near real-time estimates at scale. These may, in turn, provide grist for supporting, evaluating and iteratively improving upon public health programs and interventions. We propose a novel model for automated mental health status quantification that incorporates user embeddings. This builds upon recent work exploring representation learning methods that induce embeddings by leveraging social media post histories. Such embeddings capture latent characteristics of individuals (e.g., political leanings) and encode a soft notion of homophily. In this paper, we investigate whether user embeddings learned from twitter post histories encode information that correlates with mental health statuses. To this end, we estimated user embeddings for a set of users known to be affected by depression and post-traumatic stress disorder (PTSD), and for a set of demographically matched `control' users. We then evaluated these embeddings with respect to: (i) their ability to capture homophilic relations with respect to mental health status; and (ii) the performance of downstream mental health prediction models based on these features. Our experimental results demonstrate that the user embeddings capture similarities between users with respect to mental conditions, and are predictive of mental health.


title: Stratonovich representation of semimartingale rank processes

abstract: Suppose that $X_1, \ldots , X_n$ are continuous semimartingales that are reversible and have nondegenerate crossings. Then the corresponding rank processes can be represented by generalized Stratonovich integrals, and this representation can be used to decompose the relative log-return of portfolios generated by functions of ranked market weights.


title: A multi-scale Gaussian beam parametrix for the wave equation: the Dirichlet boundary value problem

abstract: We present a construction of a multi-scale Gaussian beam parametrix for the Dirichlet boundary value problem associated with the wave equation, and study its convergence rate to the true solution in the highly oscillatory regime. The construction elaborates on the wave-atom parametrix of Bao, Qian, Ying, and Zhang and extends to a multi-scale setting the technique of Gaussian beam propagation from a boundary of Katchalov, Kurylev and Lassas.


title: Charge asymmetry in elastic scattering of massive leptons on protons

abstract: The charge asymmetry due to higher-order QED corrections in elastic lepton-proton scattering is estimated without employing the ultrarelativistic approximation. Our calculation is performed by generalizing the soft-photon approximation approach suggested by Tsai. Corresponding loop integrals that take a form of Passarino-Veltman scalar three-point functions are calculated analytically without neglecting the mass of the lepton. Our results provide model-independent charge asymmetry predictions for scattering of unpolarized and massive leptons on proton targets. These predictions can be used in corresponding experiments to determine the contribution coming from model-dependent hard two-photon exchange processes.


title: Pointed Hopf algebras of dimension $p^2q$ in characteristic $p$

abstract: Let $\mathds{k}$ be an algebraically closed field of characteristic $p$. We give the complete classification of pointed Hopf algebras over $\mathds{k}$ of dimension $p^2q$ for a prime number $q$. The result shows that there are finitely many isomorphism classes, including 10 classes that are not generated by group-like elements and skew-primitive elements. In particular, there are many new examples of finite-dimensional pointed Hopf algebras.


title: Risk Minimization, Regret Minimization and Progressive Hedging Algorithms

abstract: This paper begins with a study on the dual representations of risk and regret measures and their impact on modeling multistage decision making under uncertainty. A relationship between risk envelopes and regret envelopes is established by using the Lagrangian duality theory. Such a relationship opens a door to a decomposition scheme, called progressive hedging, for solving multistage risk minimization and regret minimization problems. In particular, the classical progressive hedging algorithm is modified in order to handle a new class of linkage constraints that arises from reformulations and other applications of risk and regret minimization problems. Numerical results are provided to show the efficiency of the progressive hedging algorithms.


title: Deriving Quests from Open World Mechanics

abstract: Open world games present players with more freedom than games with linear progression structures. However, without clearly-defined objectives, they often leave players without a sense of purpose. Most of the time, quests and objectives are hand-authored and overlaid atop an open world's mechanics. But what if they could be generated organically from the gameplay itself? The goal of our project was to develop a model of the mechanics in Minecraft that could be used to determine the ideal placement of objectives in an open world setting. We formalized the game logic of Minecraft in terms of logical rules that can be manipulated in two ways: they may be executed to generate graphs representative of the player experience when playing an open world game with little developer direction; and they may be statically analyzed to determine dependency orderings, feedback loops, and bottlenecks. These analyses may then be used to place achievements on gameplay actions algorithmically.


title: Automated approaches for band gap mapping in STEM-EELS

abstract: Band gap variations in thin film structures, across grain boundaries, and in embedded nanoparticles are of increasing interest in the materials science community. As many common experimental techniques for measuring band gaps do not have the spatial resolution needed to observe these variations directly, probe-corrected Scanning Transmission Electron Microscope (STEM) with monochromated Electron Energy-Loss Spectroscopy (EELS) is a promising method for studying band gaps of such features. However, extraction of band gaps from EELS data sets usually requires heavy user involvement, and makes the analysis of large data sets challenging. Here we develop and present methods for automated extraction of band gap maps from large STEM-EELS data sets with high spatial resolution while preserving high accuracy and precision.


title: The impact of the LHC Z-boson transverse momentum data on PDF determinations

abstract: The LHC has recently released precise measurements of the transverse momentum distribution of the Z-boson that provide a unique constraint on the structure of the proton. Theoretical developments now allow the prediction of these observables through next-to-next-to-leading order (NNLO) in perturbative QCD. In this work we study the impact of incorporating these latest advances into a determination of parton distribution functions (PDFs) through NNLO including the recent ATLAS and CMS 7 TeV and 8 TeV $p_T^Z$ data. We investigate the consistency of these measurements in a global fit to the available data and quantify the impact of including the $p_T^Z$ distributions on the PDFs. The inclusion of these new data sets significantly reduces the uncertainties on select parton distributions and the corresponding parton-parton luminosities. In particular, we find that the $p_T^Z$ data ultimately leads to a reduction of the PDF uncertainty on the gluon-fusion and vector-boson fusion Higgs production cross sections by about 30%, while keeping the central values nearly unchanged.