title: Large-scale structure and hyperuniformity of amorphous ices

abstract: We investigate the large-scale structure of amorphous ices and transitions between their different forms by quantifying their large-scale density fluctuations. Specifically, we simulate the isothermal compression of low-density amorphous ice (LDA) and hexagonal ice (Ih) to produce high-density amorphous ice (HDA). Remarkably, both HDA and LDA are nearly hyperuniform, meaning that they are characterized by an anomalous suppression of large-scale density fluctuations. By contrast, in correspondence with both non-equilibrium phase transitions to HDA, the presence of structural heterogeneities strongly suppresses the hyperuniformity and, remarkably, the system becomes hyposurficial (devoid of "surface-area" fluctuations). Our investigation challenges the largely accepted "frozen-liquid" picture, which views glasses as structurally arrested liquids. Beyond implications for water, our findings enrich our understanding of the structural transformations that occur in glasses with varying pressures.


title: Gravity Defied (from potato asteroids to magnetised neutron stars) IV. Neutron Stars (dead stars of the second kind)

abstract: A star burns its nuclear fuel and balances gravitation by the pressure of the heated gas, during its active lifetime. After the exhaustion of the nuclear fuel, a low mass star finds peace as a {\em white dwarf}, where the pressure support against gravitation is provided by Fermi-degenerate electrons. However, for massive stars the gravitational squeeze becomes so severe that in the final phase of evolution, the average density approximately equals the nuclear density. At such densities most of the protons combine with electrons to convert themselves into neutrons. A {\em Neutron star}, composed of such neutron-rich material, is host to some fascinating physics arising out of its amazingly compact state of matter (where a solar mass is packed inside a sphere of radius $\sim$ 10Km).


title: Vibronic coupling in C$_{60}^-$ anion revisited: Precise derivations from photoelectron spectra and DFT calculations

abstract: The vibronic coupling constants of C$_{60}^-$ are derived from the photoelectron spectrum measured by Wang {\it et al}. [X. B. Wang, H. K. Woo, and L. S. Wang, J. Chem. Phys., {\bf 123}, 051106 (2005).] at low temperature with high-resolutions. We find that the couplings of the Jahn-Teller modes of C$_{60}^-$ are weaker than the couplings reported by Gunnarsson {\it et al}. [O. Gunnarsson, H. Handschuh, P. S. Bechthold, B. Kessler, G. Gantef{\"{o}}r, and W. Eberhardt, Phys. Rev. Lett., {\bf 74}, 1875 (1995).]. The total stabilization energy after $h_g$ and $a_g$ modes is reduced with respect to the previous derivation of Gunnarsson {\it et al}. by 30 \%. The computed vibronic coupling constants using DFT with B3LYP functional agree well with the new experimental constants, so the discrepancy between theory and experiment persistent in the previous studies is basically solved.


title: Gromov norm and Turaev-Viro invariants of 3-manifolds

abstract: We establish a relation between the "large r" asymptotics of the Turaev-Viro invariants $TV_r$ and the Gromov norm of 3-manifolds. We show that for any orientable, compact 3-manifold $M$, with (possibly empty) toroidal boundary, $\log |TV_r (M)|$ is bounded above by a function linear in $r$ and whose slope is a positive universal constant times the Gromov norm of $M$. The proof combines TQFT techniques, geometric decomposition theory of 3-manifolds and analytical estimates of $6j$-symbols. We obtain topological criteria that can be used to check whether the growth is actually exponential; that is one has $\log| TV_r (M)|\geqslant B \ r$, for some $B>0$. We use these criteria to construct infinite families of hyperbolic 3-manifolds whose $SO(3)$ Turaev-Viro invariants grow exponentially. These constructions are essential for the results of [DK:AMU] where the authors make progress on a conjecture of Andersen, Masbaum and Ueno about the geometric properties of surface mapping class groups detected by the quantum representations. We also study the behavior of the Turaev-Viro invariants under cutting and gluing of 3-manifolds along tori. In particular, we show that, like the Gromov norm, the values of the invariants do not increase under Dehn filling and we give applications of this result on the question of the extent to which relations between the invariants $TV_r$ and hyperbolic volume are preserved under Dehn filling. Finally we give constructions of 3-manifolds, both with zero and non-zero Gromov norm, for which the Turaev-Viro invariants determine the Gromov norm.


title: The Action Principle in Market Mechanics

abstract: This paper explores the possibility that asset prices, especially those traded in large volume on public exchanges, might comply with specific physical laws of motion and probability. The paper first examines the basic dynamics of asset price displacement and finds one can model this dynamic as a harmonic oscillator at local "slices" of elapsed time. Based on this finding, the paper theorizes that price displacements are constrained, meaning they have extreme values beyond which they cannot go when measured over a large number of sequential periods. By assuming price displacements are also subject to the principle of stationary action, the paper explores a method for measuring specific probabilities of future price displacements based on prior historical data. Testing this theory with two prevalent stock indices suggests it can make accurate forecasts as to constraints on extreme price movements during market "crashes" and probabilities of specific price displacements at other times.


title: Attribute-Guided Face Generation Using Conditional CycleGAN

abstract: We are interested in attribute-guided face generation: given a low-res face input image, an attribute vector that can be extracted from a high-res image (attribute image), our new method generates a high-res face image for the low-res input that satisfies the given attributes. To address this problem, we condition the CycleGAN and propose conditional CycleGAN, which is designed to 1) handle unpaired training data because the training low/high-res and high-res attribute images may not necessarily align with each other, and to 2) allow easy control of the appearance of the generated face via the input attributes. We demonstrate impressive results on the attribute-guided conditional CycleGAN, which can synthesize realistic face images with appearance easily controlled by user-supplied attributes (e.g., gender, makeup, hair color, eyeglasses). Using the attribute image as identity to produce the corresponding conditional vector and by incorporating a face verification network, the attribute-guided network becomes the identity-guided conditional CycleGAN which produces impressive and interesting results on identity transfer. We demonstrate three applications on identity-guided conditional CycleGAN: identity-preserving face superresolution, face swapping, and frontal face generation, which consistently show the advantage of our new method.


title: Local Large Deviations: McMillian Theorem for multitype Galton-Watson Processes

abstract: In this article we prove a local large deviation principle (LLDP) for the critical multitype Galton-Watson process from spectral potential point. We define the so-called a spectral potential $U_{\skrik}(\,\cdot,\,\pi)$ for the Galton-Watson process, where $\pi$ is the normalized eigen vector corresponding to the leading \emph{Perron-Frobenius eigen value } $\1$ of the transition matrix $\skria(\cdot,\,\cdot)$ defined from ${\skrik},$ the transition kernel. We show that the Kullback action or the deviation function, $J(\pi,\rho),$ with respect to an empirical offspring measure, $\rho,$ is the Legendre dual of $U_{\skrik}(\,\cdot,\,\pi).$ From the LLDP we deduce a conditional large deviation principle and a weak variant of the classical McMillian Theorem for the multitype Galton-Watson process. To be specific, given any empirical offspring measure $\varpi,$ we show that the number of critical multitype Galton-Watson processes on $n$ vertices is approximately $e^{n\langle \skrih_{\varpi},\,\pi\rangle},$ where $\skrih_{\varpi}$ is a suitably defined entropy.


title: A note on the cosmological constant in f(R) gravity

abstract: The starting point in this note is $f(R)$ modified gravity in a cosmological setting. We assume a spatially flat Universe to describe late-time cosmology and the perfect-fluid equation of state $p=\omega\rho$ to model the hypothesized dark energy. Given that on a cosmological scale, $f(R)$ modified gravity must remain close to Einstein gravity to be consistent with observation, it was concluded that either (1) Einstein's cosmological constant is the only acceptable model for the accelerated expansion or (2) that the equation of state for dark energy is far more complicated than the perfect-fluid model and may even exclude a constant $\omega$.


title: On certain zeta functions associated with Beatty sequences

abstract: Let $\alpha>1$ be an irrational number of finite type $\tau$. In this paper, we introduce and study a zeta function $Z_\alpha^\sharp(r,q;s)$ that is closely related to the Lipschitz-Lerch zeta function and is naturally associated with the Beatty sequence ${\mathcal B}(\alpha):=(\lfloor\alpha m\rfloor)_{m\in{\mathbb N}}$. If $r$ is an element of the lattice ${\mathbb Z}+{\mathbb Z}\alpha^{-1}$, then $Z_\alpha^\sharp(r,q;s)$ continues analytically to the half-plane $\{\sigma>-1/\tau\}$ with its only singularity being a simple pole at $s=1$. If $r\not\in{\mathbb Z}+{\mathbb Z}\alpha^{-1}$, then $Z_\alpha^\sharp(r,q;s)$ extends analytically to the half-plane $\{\sigma>1-1/(2\tau^2)\}$ and has no singularity in that region.


title: Probabilistic Program Abstractions

abstract: Abstraction is a fundamental tool for reasoning about complex systems. Program abstraction has been utilized to great effect for analyzing deterministic programs. At the heart of program abstraction is the relationship between a concrete program, which is difficult to analyze, and an abstract program, which is more tractable. Program abstractions, however, are typically not probabilistic. We generalize non-deterministic program abstractions to probabilistic program abstractions by explicitly quantifying the non-deterministic choices. Our framework upgrades key definitions and properties of abstractions to the probabilistic context. We also discuss preliminary ideas for performing inference on probabilistic abstractions and general probabilistic programs.


title: Attitude Quaternion Estimation Using a Spectral Perturbation Approach

abstract: All quaternion methods for static attitude determination currently rely on either the spectral decomposition of a 4 x 4 matrix (q-Method) or finding the maximum eigenvalue of a 4th-order characteristic equation (QUEST). Using a spectral perturbation approach, we show it is possible to analytically estimate the attitude quaternion to high accuracy and recursively calculate the maximum-likelihood attitude quaternion to arbitrary numerical precision. Analytic or recursive estimation removes several numerical difficulties which are inherent to state-of-the-art algorithms, suggesting our results may substantially benefit high-frequency and limited memory embedded software implementations, such as those commonly used on spacecraft computers.


title: Quadratic automaton algebras and intermediate growth

abstract: We present an example of a quadratic algebra given by three generators and three relations, which is automaton (the set of normal words forms a regular language) and such that its ideal of relations does not possess a finite Gr\"obner basis with respect to any choice of generators and any choice of a well-ordering of monomials compatible with multiplication. This answers a question of Ufnarovski. Another result is a simple example (4 generators and 7 relations) of a quadratic algebra of intermediate growth.


title: On a Positron Channeling in Ionic Crystals

abstract: An analytical expression is received for the effective interaction potential of a fast charged particle with the ionic crystal CsCl near the direction of axis <100> as a function of the temperature of the medium. A possibility of positron channeling in this potential is shown. By numerical analysis it is shown that the effective potential of axial channeling of positrons along the axis <100> of negatively charged ions practically does not depend on temperature of the media.


title: Identification of PAH Isomeric Structure in Cosmic Dust Analogues: the AROMA setup

abstract: We developed a new analytical experimental setup called AROMA (Astrochemistry Research of Organics with Molecular Analyzer) that combines laser desorption/ionization techniques with ion trap mass spectrometry. We report here on the ability of the apparatus to detect aromatic species in complex materials of astrophysical interests and characterize their structures. A limit of detection of 100 femto-grams has been achieved using pure polycyclic aromatic hydrocarbon (PAH) samples, which corresponds to 2x10^8 molecules in the case of coronene (C24H12). We detected the PAH distribution in the Murchison meteorite, which is made of a complex mixture of extraterrestrial organic compounds. In addition, collision induced dissociation experiments were performed on selected species detected in Murchison, which led to the first firm identification of pyrene and its methylated derivatives in this sample.


title: A Deep Multi-View Learning Framework for City Event Extraction from Twitter Data Streams

abstract: Cities have been a thriving place for citizens over the centuries due to their complex infrastructure. The emergence of the Cyber-Physical-Social Systems (CPSS) and context-aware technologies boost a growing interest in analysing, extracting and eventually understanding city events which subsequently can be utilised to leverage the citizen observations of their cities. In this paper, we investigate the feasibility of using Twitter textual streams for extracting city events. We propose a hierarchical multi-view deep learning approach to contextualise citizen observations of various city systems and services. Our goal has been to build a flexible architecture that can learn representations useful for tasks, thus avoiding excessive task-specific feature engineering. We apply our approach on a real-world dataset consisting of event reports and tweets of over four months from San Francisco Bay Area dataset and additional datasets collected from London. The results of our evaluations show that our proposed solution outperforms the existing models and can be used for extracting city related events with an averaged accuracy of 81% over all classes. To further evaluate the impact of our Twitter event extraction model, we have used two sources of authorised reports through collecting road traffic disruptions data from Transport for London API, and parsing the Time Out London website for sociocultural events. The analysis showed that 49.5% of the Twitter traffic comments are reported approximately five hours prior to the authorities official records. Moreover, we discovered that amongst the scheduled sociocultural event topics; tweets reporting transportation, cultural and social events are 31.75% more likely to influence the distribution of the Twitter comments than sport, weather and crime topics.


title: Insert "Price" to Coxian Phase-Type Models: An Application to Hospital Charge and Length of Stay Data

abstract: In this paper, we discuss the connection between the RGRST models (Gardiner et al 2002, Polverejan et al 2003) and the Coxian Phase-Type (CPH) models (Marshall et al 2007, Tang 2012) through a construction that converts a special sub-class of RGRST models to CPH models. Both of the two models are widely used to characterize the distribution of hospital charge and length of stay (LOS), but the lack of connections between them makes the two models rarely used together. We claim that our construction can make up this gap and make it possible to take advantage of the two different models simultaneously. As a consequence, we derive a measure of the "price" of staying in each medical stage (identified with phases of a CPH model), which can't be approached without considering the RGRST and CPH models together.A two-stage algorithm is provided to generate consistent estimation of model parameters. Applying the algorithm to a sample drawn from the New York State's Statewide Planning and Research Cooperative System 2013 (SPARCS 2013), we estimate the prices in a four-phase CPH model and discuss the implications.


title: Two-Armed Bandit Problem, Data Processing, and Parallel Version of the Mirror Descent Algorithm

abstract: We consider the minimax setup for the two-armed bandit problem as applied to data processing if there are two alternative processing methods available with different a priori unknown efficiencies. One should determine the most effective method and provide its predominant application. To this end we use the mirror descent algorithm (MDA). It is well-known that corresponding minimax risk has the order $N^{1/2}$ with $N$ being the number of processed data. We improve significantly the theoretical estimate of the factor using Monte-Carlo simulations. Then we propose a parallel version of the MDA which allows processing of data by packets in a number of stages. The usage of parallel version of the MDA ensures that total time of data processing depends mostly on the number of packets but not on the total number of data. It is quite unexpectedly that the parallel version behaves unlike the ordinary one even if the number of packets is large. Moreover, the parallel version considerably improves control performance because it provides significantly smaller value of the minimax risk. We explain this result by considering another parallel modification of the MDA which behavior is close to behavior of the ordinary version. Our estimates are based on invariant descriptions of the algorithms. All estimates are obtained by Monte-Carlo simulations. It's worth noting that parallel version performs well only for methods with close efficiencies. If efficiencies differ significantly then one should use the combined algorithm which at initial sufficiently short control horizon uses ordinary version and then switches to the parallel version of the MDA.


title: Where have all the large Representations gone?

abstract: Gauge theories describe the interactions of the fundamental building blocks of nature with great success. The Standard Model achieves a partial unification of the electromagnetic and weak interactions, and it also acomodates the strong interactions. The known quarks and leptons appear in the fundamental representations (or singlets) of the SU(3)_cxSU(2)_L x U(1)_Y gauge symmetry. However, larger representations (EW triplets, color sextes, etc.) could also occur in principle. Bounds on such exotic states based on electroweak precision tests, unitarity, perturbativity and collider searches, indicate that they should be very heavy or may be non-existent. But why only small representations occur in nature? Several ideas that could give some light into this problem are discussed here, including the approach of Nielsen et al, as well as the possible compositeness of quarks and leptons. Then, we discuss the problem within the context of grand unified theories, where a principle of "minimal complexity" is proposed to restrict the size of large representations, when they are required to form unified multiplets.


title: A proof of a conjecture of Erd\H{o}s, Faudree, Rousseau and Schelp on subgraphs of minimum degree $k$

abstract: Erd\H{o}s, Faudree, Rousseau and Schelp observed the following fact for every fixed integer $k\geq 2$: Every graph on $n\geq k-1$ vertices with at least $(k-1)(n-k+2)+{k-2\choose 2}$ edges contains a subgraph with minimum degree at least $k$. However, there are examples in which the whole graph is the only such subgraph. Erd\H{o}s et al. conjectured that having just one more edge implies the existence of a subgraph on at most $(1-\varepsilon_k)n$ vertices with minimum degree at least $k$, where $\varepsilon_k>0$ depends only on $k$. We prove this conjecture, using and extending ideas of Mousset, Noever and \v{S}kori\'{c}.


title: Neural Semantic Parsing by Character-based Translation: Experiments with Abstract Meaning Representations

abstract: We evaluate the character-level translation method for neural semantic parsing on a large corpus of sentences annotated with Abstract Meaning Representations (AMRs). Using a sequence-to-sequence model, and some trivial preprocessing and postprocessing of AMRs, we obtain a baseline accuracy of 53.1 (F-score on AMR-triples). We examine five different approaches to improve this baseline result: (i) reordering AMR branches to match the word order of the input sentence increases performance to 58.3; (ii) adding part-of-speech tags (automatically produced) to the input shows improvement as well (57.2); (iii) So does the introduction of super characters (conflating frequent sequences of characters to a single character), reaching 57.4; (iv) optimizing the training process by using pre-training and averaging a set of models increases performance to 58.7; (v) adding silver-standard training data obtained by an off-the-shelf parser yields the biggest improvement, resulting in an F-score of 64.0. Combining all five techniques leads to an F-score of 71.0 on holdout data, which is state-of-the-art in AMR parsing. This is remarkable because of the relative simplicity of the approach.


title: Improved $A_1-A_\infty$ and related estimates for commutators of rough singular integrals

abstract: An $A_1-A_\infty$ estimate improving a previous result in arXiv:1607.06432 is obtained. Also new a result in terms of the ${A_\infty}$ constant and the one supremum $A_q-A_\infty^{\exp}$ constant, is proved, providing a counterpart for the result obained in arXiv:1705.08364. Both of the preceding results rely upon a sparse domination in terms of bilinear forms for $[b,T_\Omega]$ with $\Omega\in L^\infty(\mathbb{S}^{n-1})$ and $b\in BMO$ which is established relying upon techniques from arXiv:1705.07397.


title: Length scale dependence of the Stokes-Einstein and Adam-Gibbs relations in model glass formers

abstract: The Adam-Gibbs (AG) relation connects the dynamics of a glass-forming liquid to its the thermodynamics via. the configurational entropy, and is of fundamental importance in descriptions of glassy behaviour. The breakdown of the Stokes-Einstein (SEB) relation between the diffusion coefficient and the viscosity (or structural relaxation times) in glass formers raises the question as to which dynamical quantity the AG relation describes. By performing molecular dynamics simulations, we show that the AG relation is valid over the widest temperature range for the diffusion coefficient and not for the viscosity or relaxation times. Studying relaxation times defined at a given wavelength, we find that SEB and the deviation from the AG relation occur below a temperature at which the correlation length of dynamical heterogeneity equals the wavelength probed.


title: Free-fermion descriptions of parafermion chains and string-net models

abstract: Topological phases of matter remain a focus of interest due to their unique properties -- fractionalisation, ground state degeneracy, and exotic excitations. While some of these properties can occur in systems of free fermions, their emergence is generally associated with interactions between particles. Here we quantify the role of interactions in general classes of topological states of matter in all spatial dimensions, including parafermion chains and string-net models. Using the interaction distance [Nat. Commun. 8, 14926 (2017)], we measure the distinguishability of states of these models from those of free fermions. We find that certain topological states can be exactly described by free fermions, while others saturate the maximum possible interaction distance. Our work opens the door to understanding the complexity of topological models and to applying new types of fermionisation procedures to describe their low-energy physics.


title: Density dependence of relaxation dynamics in glass formers, and the dependence of their fragility on the softness of inter-particle interactions

abstract: Fragility, quantifying the rapidity of variation of relaxation times, is analysed for a series of model glass formers, which differ in the softness of their interparticle interactions. In an attempt to rationalize experimental observations in colloidal suspensions that softer interactions lead to stronger (less fragile) glass formers, we study the variation of relaxation dynamics with density, rather than temperature, as a control parameter. We employ density temperature scaling, analyzed in recent studies, to address the question. We find that while employing inverse density in place of temperature leads to the conclusion that softer interactions lead to stronger behaviour, the use of scaled variables involving temperature and density lead to the opposite conclusion, similarly to earlier investigations where temperature variation of relaxation dynamics was analysed for the same systems. We rationalize our results by considering the Adam-Gibbs (AG) fragility, which incorporates the density dependence of the configurational entropy and an activation energy that may arise from other properties of a glass former. Within the framework of the Adam-Gibbs relation, by employing density temperature scaling for the analysis, we find that softer particles make more fragile glasses, as deduced from dynamical quantities, which is found to be consistent with the Adam-Gibbs fragility.


title: User Selection and Widely Linear Multiuser Precoding for One-dimensional Signalling

abstract: Massive deployment of low data rate Internet of things and ehealth devices prompts us to develop more practical precoding and user selection techniques that comply with these requirements. Moreover, it is known that when the data is real-valued and the observation is complex-valued, widely linear (WL) estimation can be employed in lieu of linear estimation to improve the performance. With these motivations, in this paper, we study the transmit precoding (beamforming) in multiuser multiple-input single-output communications systems assuming the transmit signal is one-dimensionally modulated and widely linear estimation is performed at the receivers. Closed-form solutions for widely linear maximum ratio transmission (MRT), WL zero-forcing (ZF), WL minimum mean square error (MMSE), and WL maximum signal to leakage and noise ratio (MSLNR) precoding are obtained. It is shown that widely linear processing can potentially double the number of simultaneous users compared to the linear processing of one-dimensionally modulated signals. Furthermore, to deal with the increasing number of communications devices a user selection algorithm compatible with widely linear processing of one-dimensionally modulated signals is proposed. The proposed user selection algorithm can double the number of simultaneously selected users compared to conventional user selection methods.


title: Lecture notes on topological recursion and geometry

abstract: These are lecture notes for a 4h mini-course held in Toulouse, May 9-12th, at the thematic school on "Quantum topology and geometry". The goal of these lectures is to (a) explain some incarnations, in the last ten years, of the idea of topological recursion: in two dimensional quantum field theories, in cohomological field theories, in the computation of Weil-Petersson volumes of the moduli space of curves; (b) relate them more specifically to Eynard-Orantin topological recursion (revisited from Kontsevich-Soibelman point of view based on quantum Airy structures).


title: Symmetry Group of Ordered Hamming Block Space

abstract: Let $P = (\{1,2,\ldots,n,\leq)$ be a poset that is an union of disjoint chains of the same length and $V=\mathbb{F}_q^N$ be the space of $N$-tuples over the finite field $\mathbb{F}_q$. Let $V_i = \mathbb{F}_q^{k_i}$, $1 \leq i \leq n$, be a family of finite-dimensional linear spaces such that $k_1+k_2+\ldots +k_n = N$ and let $V = V_1 \oplus V_2 \oplus \ldots \oplus V_n$ endow with the poset block metric $d_{(P,\pi)}$ induced by the poset $P$ and the partition $\pi=(k_1,k_2,\ldots,k_n)$, encompassing both Niederreiter-Rosenbloom-Tsfasman metric and error-block metric. In this paper, we give a complete description of group of symmetries of the metric space $(V,d_{(P,\pi)})$, called the ordered Hammming block space. In particular, we reobtain the group of symmetries of the Niederreiter-Rosenbloom-Tsfasman space and obtain the group of symmetries of the error-block metric space.


title: On The Robustness of Epsilon Skew Extension for Burr III Distribution on Real Line

abstract: The Burr III distribution is used in a wide variety of fields of lifetime data analysis, reliability theory, and financial literature, etc. It is defined on the positive axis and has two shape parameters, say $c$ and $k$. These shape parameters make the distribution quite flexible. They also control the tail behavior of the distribution. In this study, we extent the Burr III distribution to the real axis and also add a skewness parameter, say $\varepsilon$, with epsilon-skew extension approach. When the parameters $c$ and $k$ have a relation such that $ck \approx 1 $ or $ck < 1 $, it is skewed unimodal. Otherwise, it is skewed bimodal with the same level of peaks on the negative and positive sides of real line. Thus, ESBIII distribution can capture fitting the various data sets even when the number of parameters are three. Location and scale form of this distribution are also given. Some distributional properties of the new distribution are investigated. The maximum likelihood (ML) estimation method for the parameters of ESBIII is considered. The robustness properties of ML estimators are studied and also tail behaviour of ESBIII distribution is examined. The applications on real data are considered to illustrate the modeling capacity of this distribution in the class of bimodal distributions.


title: The 4-Dimensional Light Bulb Theorem

abstract: For embedded 2-spheres in a 4-manifold sharing the same embedded transverse sphere homotopy implies isotopy, provided the ambient 4-manifold has no $\BZ_2$-torsion in the fundamental group. This gives a generalization of the classical light bulb trick to 4-dimensions, the uniqueness of spanning discs for a simple closed curve in $S^4$ and $\pi_0(\Diff_0(S^2\times D^2)/\Diff_0(B^4))=1$. In manifolds with $\BZ_2$-torsion, one surface can be put into a normal form relative to the other.


title: Should Robots be Obedient?

abstract: Intuitively, obedience -- following the order that a human gives -- seems like a good property for a robot to have. But, we humans are not perfect and we may give orders that are not best aligned to our preferences. We show that when a human is not perfectly rational then a robot that tries to infer and act according to the human's underlying preferences can always perform better than a robot that simply follows the human's literal order. Thus, there is a tradeoff between the obedience of a robot and the value it can attain for its owner. We investigate how this tradeoff is impacted by the way the robot infers the human's preferences, showing that some methods err more on the side of obedience than others. We then analyze how performance degrades when the robot has a misspecified model of the features that the human cares about or the level of rationality of the human. Finally, we study how robots can start detecting such model misspecification. Overall, our work suggests that there might be a middle ground in which robots intelligently decide when to obey human orders, but err on the side of obedience.


title: Cores with distinct parts and bigraded Fibonacci numbers

abstract: The notion of $(a,b)$-cores is closely related to rational $(a,b)$ Dyck paths due to Anderson's bijection, and thus the number of $(a,a+1)$-cores is given by the Catalan number $C_a$. Recent research shows that $(a,a+1)$ cores with distinct parts are enumerated by another important sequence- Fibonacci numbers $F_a$. In this paper, we consider the abacus description of $(a,b)$-cores to introduce the natural grading and generalize this result to $(a,as+1)$-cores. We also use the bijection with Dyck paths to count the number of $(2k-1,2k+1)$-cores with distinct parts. We give a second grading to Fibonacci numbers, induced by bigraded Catalan sequence $C_{a,b} (q,t)$.


title: LAP: a Linearize and Project Method for Solving Inverse Problems with Coupled Variables

abstract: Many inverse problems involve two or more sets of variables that represent different physical quantities but are tightly coupled with each other. For example, image super-resolution requires joint estimation of the image and motion parameters from noisy measurements. Exploiting this structure is key for efficiently solving these large-scale optimization problems, which are often ill-conditioned. In this paper, we present a new method called Linearize And Project (LAP) that offers a flexible framework for solving inverse problems with coupled variables. LAP is most promising for cases when the subproblem corresponding to one of the variables is considerably easier to solve than the other. LAP is based on a Gauss-Newton method, and thus after linearizing the residual, it eliminates one block of variables through projection. Due to the linearization, this block can be chosen freely. Further, LAP supports direct, iterative, and hybrid regularization as well as constraints. Therefore LAP is attractive, e.g., for ill-posed imaging problems. These traits differentiate LAP from common alternatives for this type of problem such as variable projection (VarPro) and block coordinate descent (BCD). Our numerical experiments compare the performance of LAP to BCD and VarPro using three coupled problems whose forward operators are linear with respect to one block and nonlinear for the other set of variables.


title: Deep Learning for User Comment Moderation

abstract: Experimenting with a new dataset of 1.6M user comments from a Greek news portal and existing datasets of English Wikipedia comments, we show that an RNN outperforms the previous state of the art in moderation. A deep, classification-specific attention mechanism improves further the overall performance of the RNN. We also compare against a CNN and a word-list baseline, considering both fully automatic and semi-automatic moderation.


title: Quantitative stability for anisotropic nearly umbilical hypersurfaces

abstract: We prove a qualitative and a quantitative stability of the following rigidity theorem: an anisotropic totally umbilical closed hypersurface is the Wulff shape. Consider $n \geq 2$, $p\in (1, \, +\infty)$ and $\Sigma$ an $n$-dimensional, closed hypersurface in $\mathbb{R}^{n+1}$, boundary of a convex, open set. We show that if the $L^p$ norm of the trace-free part of the anisotropic second fundamental form is small, then $\Sigma$ must be $W^{2, \, p}$-close to the Wulff shape, with a quantitative estimate.


title: Subject Specific Stream Classification Preprocessing Algorithm for Twitter Data Stream

abstract: Micro-blogging service Twitter is a lucrative source for data mining applications on global sentiment. But due to the omnifariousness of the subjects mentioned in each data item; it is inefficient to run a data mining algorithm on the raw data. This paper discusses an algorithm to accurately classify the entire stream in to a given number of mutually exclusive collectively exhaustive streams upon each of which the data mining algorithm can be run separately yielding more relevant results with a high efficiency.


title: Dispersive shock waves in systems with nonlocal dispersion of Benjamin-Ono type

abstract: We develop a general approach to the description of dispersive shock waves (DSWs) for a class of nonlinear wave equations with a nonlocal Benjamin-Ono type dispersion term involving the Hilbert transform. Integrability of the governing equation is not a pre-requisite for the application of this method which represents a modification of the DSW fitting method previously developed for dispersive-hydrodynamic systems of Korteweg-de Vries (KdV) type (i.e. reducible to the KdV equation in the weakly nonlinear, long wave, unidirectional approximation). The developed method is applied to the Calogero-Sutherland dispersive hydrodynamics for which the classification of all solution types arising from the Riemann step problem is constructed and the key physical parameters (DSW edge speeds, lead soliton amplitude, intermediate shelf level) of all but one solution type are obtained in terms of the initial step data. The analytical results are shown to be in excellent agreement with results of direct numerical simulations.


title: Optimal Strong Rates of Convergence for a Space-Time Discretization of the Stochastic Allen-Cahn Equation with multiplicative noise

abstract: The stochastic Allen-Cahn equation with multiplicative noise involves the nonlinear drift operator ${\mathscr A}(x) = \Delta x - \bigl(\vert x\vert^2 -1\bigr)x$. We use the fact that ${\mathscr A}(x) = -{\mathcal J}^{\prime}(x)$ satisfies a weak monotonicity property to deduce uniform bounds in strong norms for solutions of the temporal, as well as of the spatio-temporal discretization of the problem. This weak monotonicity property then allows for the estimate $ \underset{1 \leq j \leq J}\sup {\mathbb E}\bigl[ \Vert X_{t_j} - Y^j\Vert_{{\mathbb L}^2}^2\bigr] \leq C_{\delta}(k^{1-\delta} + h^2)$ for all small $\delta>0$, where $X$ is the strong variational solution of the stochastic Allen-Cahn equation, while $\big\{Y^j:0\le j\le J\big\}$ solves a structure preserving finite element based space-time discretization of the problem on a temporal mesh $\{ t_j;\, 1 \leq j \leq J\}$ of size $k>0$ which covers $[0,T]$.


title: Bayesian Bootstraps for Massive Data

abstract: In this article, we present data-subsetting algorithms that allow for the approximate and scalable implementation of the Bayesian bootstrap. They are analogous to two existing algorithms in the frequentist literature: the bag of little bootstraps (Kleiner et al., 2014) and the subsampled double bootstrap (SDB; Sengupta et al., 2016). Our algorithms have appealing theoretical and computational properties that are comparable to those of their frequentist counterparts. Additionally, we provide a strategy for performing lossless inference for a class of functionals of the Bayesian bootstrap, and briefly introduce extensions to the Dirichlet Process.


title: Design of a Hybrid Modular Switch

abstract: Network Function Virtualization (NFV) shed new light for the design, deployment, and management of cloud networks. Many network functions such as firewalls, load balancers, and intrusion detection systems can be virtualized by servers. However, network operators often have to sacrifice programmability in order to achieve high throughput, especially at networks' edge where complex network functions are required. Here, we design, implement, and evaluate Hybrid Modular Switch (HyMoS). The hybrid hardware/software switch is designed to meet requirements for modern-day NFV applications in providing high-throughput, with a high degree of programmability. HyMoS utilizes P4-compatible Network Interface Cards (NICs), PCI Express interface and CPU to act as line cards, switch fabric, and fabric controller respectively. In our implementation of HyMos, PCI Express interface is turned into a non-blocking switch fabric with a throughput of hundreds of Gigabits per second. Compared to existing NFV infrastructure, HyMoS offers modularity in hardware and software as well as a higher degree of programmability by supporting a superset of P4 language.


title: Robust Online Matrix Factorization for Dynamic Background Subtraction

abstract: We propose an effective online background subtraction method, which can be robustly applied to practical videos that have variations in both foreground and background. Different from previous methods which often model the foreground as Gaussian or Laplacian distributions, we model the foreground for each frame with a specific mixture of Gaussians (MoG) distribution, which is updated online frame by frame. Particularly, our MoG model in each frame is regularized by the learned foreground/background knowledge in previous frames. This makes our online MoG model highly robust, stable and adaptive to practical foreground and background variations. The proposed model can be formulated as a concise probabilistic MAP model, which can be readily solved by EM algorithm. We further embed an affine transformation operator into the proposed model, which can be automatically adjusted to fit a wide range of video background transformations and make the method more robust to camera movements. With using the sub-sampling technique, the proposed method can be accelerated to execute more than 250 frames per second on average, meeting the requirement of real-time background subtraction for practical video processing tasks. The superiority of the proposed method is substantiated by extensive experiments implemented on synthetic and real videos, as compared with state-of-the-art online and offline background subtraction methods.


title: Natural mortality of Trachurus novaezelandiae and their size selection by purse seines off south-eastern Australia

abstract: The natural mortality (M) and purse-seine catchability and selectivity were estimated for Trachurus novaezelandiae, Richardson, 1843 (yellowtail scad)-a small inshore pelagic species harvested off south-eastern Australia. Hazard functions were applied to two decades of data describing catches (mostly stable at a mean +- SE of 315 +- 14 t p.a.) and effort (declining from a maximum of 2289 to 642 boat days between 1999/00 and 2015/16) and inter-dispersed (over nine years) annual estimates of size-at-age (0+ to 18 years) to enable survival analysis. The data were best described by a model with eight parameters, including catchability (estimated at < 0.1 x 10-7 boat day-1), M (0.22 year-1) and variable age-specific selection up to 6 years with a 50% retention among 5-year olds (larger than the estimated age at maturation). The low catchability implied minimal fishing mortality by the purse-seine fleet. Ongoing monitoring and applied gear-based studies are required to validate purse-seine catchability and selectivity, but the data nevertheless imply T. novaezelandiae could incur substantial additional fishing effort and, in doing, so alleviate pressure on other regional small pelagics.


title: Solar polarimetry through the K I lines at 770 nm

abstract: We characterize the K I D1 & D2 lines in order to determine whether they could complement the 850 nm window, containing the Ca II infrared triplet lines and several Zeeman sensitive photospheric lines, that was studied previously. We investigate the effect of partial redistribution on the intensity profiles, their sensitivity to changes in different atmospheric parameters, and the spatial distribution of Zeeman polarization signals employing a realistic magnetohydrodynamic simulation. The results show that these lines form in the upper photosphere at around 500 km and that they are sensitive to the line of sight velocity and magnetic field strength at heights where neither the photospheric lines nor the Ca II infrared lines are. However, at the same time, we found that their sensitivity to the temperature essentially comes from the photosphere. Then, we conclude that the K I lines provide a complement to the lines in the 850 nm window for the determination of atmospheric parameters in the upper photosphere, especially for the line of sight velocity and the magnetic field.


title: The peculiarities of emission of He(z=2) projectile fragments in the interactions of gold nuclei with Ag, Br emulssion nuclei at the energies of 10.6 AGeV

abstract: In the interactions of gold nuclei with the energy 10.6 AGeV with the Ag, Br emulssion nuclei at the intermadiate impact parametes the dependencies of characteristics of individual emission acts of He-fragmetns on the centrality of the interaction and the degree of nucleus disintegration.


title: Terminal thermocapillary migration of a droplet at small Reynolds numbers and large Marangoni numbers

abstract: In this paper, the overall steady-state momentum and energy balances in the thermocapillary migration of a droplet at small Reynolds numbers and large Marangoni numbers are investigated to confirm the quasi-steady state assumption of the system. The droplet is assumed to have a slight axisymmetric deformation from a sphere shape. It is shown that under the quasi-steady state assumption, the total momentum of the thermocapillary droplet migration system at small Reynolds numbers is conservative. The general solution of the steady momentum equations can be determined with its parameters depending on the temperature fields. However, a nonconservative integral thermal flux across the interface for the steady thermocapillary migration of the droplet at small Reynolds numbers and large Marangoni numbers is identified. The nonconservative integral thermal flux indicates that no solutions of the temperature fields exist for the steady energy equations. The terminal thermocapillary migration of the droplet at small Reynolds numbers and large Marangoni numbers cannot reach a steady state and is thus in an unsteady process.


title: The braking index of millisecond magnetars

abstract: We make the first measurement of the braking index $n$ of two putative millisecond magnetars born in short gamma-ray bursts. We measure $n=2.9\pm0.1$ and $n=2.6\pm0.1$ for millisecond magnetars born in GRB 130603B and GRB 140903A respectively. The neutron star born in GRB 130603B has the only known braking index consistent with the fiducial $n=3$ value. This value is ruled out with 99.95\% confidence for GRB 140903A. We discuss possible causes of $n<3$ braking indices in millisecond magnetars, showing that several models can account for the measurement of the braking index in GRB 140903A, while it is more difficult to account for a braking index consistent with $n=3$.


title: Terminal states of thermocapillary migration of a planar droplet at moderate and large Marangoni numbers

abstract: In this paper, thermocapillary migration of a planar droplet at moderate and large Marangoni numbers is investigated analytically and numerically. By using the dimension-analysis method, the thermal diffusion time scale is determined as the controlling one of the thermocapillary droplet migration system. During this time, the whole thermocapillary migration process is fully developed. By using the front-tracking method, the steady/unsteady states as the terminal ones at moderate/large Marangoni numbers are captured in a longer time scale than the thermal diffusion time scale. In the terminal states, the instantaneous velocity fields in the unsteady migration process at large Marangoni numbers have the forms of the steady ones at moderate Marangoni numbers. However, in view of the former instantaneous temperature fields, the surface tension of the top surface of the droplet gradually becomes the main component of the driving force on the droplet after the inflection point appears. It is different from that the surface tension of the bottom surface of the droplet is the main component of the driving force on the droplet for the latter ones. The physical mechanism of thermocapillary droplet migration can be described as the significance of the thermal convection around the droplet is higher than/just as the thermal conduction across the droplet at large/moderate Marangoni numbers.


title: VERIFAS: A Practical Verifier for Artifact Systems

abstract: Data-driven workflows, of which IBM's Business Artifacts are a prime exponent, have been successfully deployed in practice, adopted in industrial standards, and have spawned a rich body of research in academia, focused primarily on static analysis. The present research bridges the gap between the theory and practice of artifact verification with VERIFAS, the first implementation of practical significance of an artifact verifier with full support for unbounded data. VERIFAS verifies within seconds linear-time temporal properties over real-world and synthetic workflows of complexity in the range recommended by software engineering practice. Compared to our previous implementation based on the widely-used Spin model checker, VERIFAS not only supports a model with richer data manipulations but also outperforms it by over an order of magnitude. VERIFAS' good performance is due to a novel symbolic representation approach and a family of specialized optimizations.


title: Multiscale simulation on shearing transitions of thin-film lubrication with multi-layer molecules

abstract: Shearing transitions of multi-layer molecularly thin-film lubrication systems in variations of the film-substrate coupling strength and the load are studied by using a multiscale method. Three kinds of the interlayer slips found in decreasing the coupling strength are in qualitative agreement with experimental results. Although tribological behaviors are almost insensitive to the smaller coupling strength, they and the effective film thickness are enlarged more and more as the larger one increases. When the load increases, the tribological behaviors are similar to those in increasing coupling strength, but the effective film thickness is opposite.


title: Search for Exoplanets around Northern Circumpolar Stars- II. The Detection of Radial Velocity Variations in M Giant Stars HD 36384, HD 52030, and HD 208742

abstract: We present the detection of long-period RV variations in HD 36384, HD 52030, and HD 208742 by using the high-resolution, fiber-fed Bohyunsan Observatory Echelle Spectrograph (BOES) for the precise radial velocity (RV) survey of about 200 northern circumpolar stars. Analyses of RV data, chromospheric activity indicators, and bisector variations spanning about five years suggest that the RV variations are compatible with planet or brown dwarf companions in Keplerian motion. However, HD 36384 shows photometric variations with a period very close to that of RV variations as well as amplitude variations in the weighted wavelet Z-transform (WWZ) analysis, which argues that the RV variations in HD~36384 are from the stellar pulsations. Assuming that the companion hypothesis is correct, HD~52030 hosts a companion with minimum mass 13.3 M_Jup$ orbiting in 484 days at a distance of 1.2 AU. HD~208742 hosts a companion of 14.0 M_Jup at 1.5 AU with a period of 602 days. All stars are located at the asymptotic giant branch (AGB) stage on the H-R diagram after undergone the helium flash and left the giant clump.With stellar radii of 53.0 R_Sun and 57.2 R_Sun for HD 52030 and HD 208742, respectively, these stars may be the largest yet, in terms of stellar radius, found to host sub-stellar companions. However, given possible RV amplitude variations and the fact that these are highly evolved stars the planet hypothesis is not yet certain.


title: Global well-posedness of the MHD equations via the comparison principle

abstract: In this paper, we prove the global well-posedness of the incompressible MHD equations near a homogeneous equilibrium in the domain $R^k\times T^{d-k}, d\geq2,k\geq1$ by using the comparison principle and constructing the comparison function.


title: Prescribed mean curvature equation on the unit ball in the presence of reflection or rotation symmetry

abstract: Using the flow method, we prove some existence results for the problem of prescribing the mean curvature on the unit ball. More precisely, we prove that there exists a conformal metric on the unit ball such that its mean curvature is $f$, when $f$ possesses certain reflection or rotation symmetry.


title: Effects of Thermal Fluctuations on Non-minimal Regular Magnetic Black Hole

abstract: We analyze the effects of thermal fluctuations on a regular black hole (RBH) of non-minimal Einstein-Yang-Mill theory with gauge field of magnetic Wu-Yang type and a cosmological constant. We consider the logarithmic corrected entropy in order to analyze the thermal fluctuations corresponding to non-minimal RBH thermodynamics. In this scenario, we develop various important thermodynamical quantities such as entropy, pressure, specific heats, Gibb's free energy and Helmothz free energy. We investigate first law of thermodynamics in the presence of logarithmic corrected entropy and non-minimal RBH. We also discuss the stability of this RBH using various frameworks such as $\gamma$ factor (comprises of ratio of heat capacities), phase transition, grand canonical ensemble and canonical ensemble. It is observed that the non-minimal RBH becomes more globally and locally stable if we increase the value of cosmological constant.


title: Small sphere distributions for directional data with application to medical imaging

abstract: We propose new small-sphere distributional families for modeling multivariate directional data on $(\mathbb{S}^{p-1})^K$ for $p \ge 3$ and $K \ge 1$. In a special case of univariate directions in $\Re^3$, the new densities model random directions on $\mathbb{S}^2$ with a tendency to vary along a small circle on the sphere, and with a unique mode on the small circle. The proposed multivariate densities enable us to model association among multivariate directions, and are useful in medical imaging, where multivariate directions are used to represent shape and shape changes of 3-dimensional objects. When the underlying objects are rotationally deformed under noise, for instance, twisted and/or bend, corresponding directions tend to follow the proposed small-sphere distributions. The proposed models have several advantages over other methods analyzing small-circle-concentrated data, including inference procedures on the association and small-circle fitting. We demonstrate the use of the proposed multivariate small-sphere distributions in analyses of skeletally-represented object shapes and human knee gait data.


title: Design of Lead-Free Inorganic Halide Perovskites for Solar Cells via Cation-Transmutation

abstract: Hybrid organic-inorganic halide perovskites with the prototype material of CH$_{3}$NH$_{3}$PbI$_{3}$ have recently attracted intense interest as low-cost and high-performance photovoltaic absorbers. Despite the high power conversion efficiency exceeding 20% achieved by their solar cells, two key issues -- the poor device stabilities associated with their intrinsic material instability and the toxicity due to water soluble Pb$^{2+}$ -- need to be resolved before large-scale commercialization. Here, we address these issues by exploiting the strategy of cation-transmutation to design stable inorganic Pb-free halide perovskites for solar cells. The idea is to convert two divalent Pb$^{2+}$ ions into one monovalent M$^{+}$ and one trivalent M$^{3+}$ ions, forming a rich class of quaternary halides in double-perovskite structure. We find through first-principles calculations this class of materials have good phase stability against decomposition and wide-range tunable optoelectronic properties. With photovoltaic-functionality-directed materials screening, we identify eleven optimal materials with intrinsic thermodynamic stability, suitable band gaps, small carrier effective masses, and low excitons binding energies as promising candidates to replace Pb-based photovoltaic absorbers in perovskite solar cells. The chemical trends of phase stabilities and electronic properties are also established for this class of materials, offering useful guidance for the development of perovskite solar cells fabricated with them.


title: Learning the Sparse and Low Rank PARAFAC Decomposition via the Elastic Net

abstract: In this article, we derive a Bayesian model to learning the sparse and low rank PARAFAC decomposition for the observed tensor with missing values via the elastic net, with property to find the true rank and sparse factor matrix which is robust to the noise. We formulate efficient block coordinate descent algorithm and admax stochastic block coordinate descent algorithm to solve it, which can be used to solve the large scale problem. To choose the appropriate rank and sparsity in PARAFAC decomposition, we will give a solution path by gradually increasing the regularization to increase the sparsity and decrease the rank. When we find the sparse structure of the factor matrix, we can fixed the sparse structure, using a small to regularization to decreasing the recovery error, and one can choose the proper decomposition from the solution path with sufficient sparse factor matrix with low recovery error. We test the power of our algorithm on the simulation data and real data, which show it is powerful.


title: Analytic continuation with Pad\'e decomposition

abstract: The ill-posed analytic continuation problem for Green's functions or self-energies can be done using the Pad\'e rational polynomial approximation. However, to extract accurate results from this approximation, high precision input data of the Matsubara Green's function are needed. The calculation of the Matsubara Green's function generally involves a Matsubara frequency summation which cannot be evaluated analytically. Numerical summation is requisite but it converges slowly with the increase of the Matsubara frequency. Here we show that this slow convergence problem can be significantly improved by utilizing the Pad\'e decomposition approach to replace the Matsubara frequency summation by a Pad\'e frequency summation, and high precision input data can be obtained to successfully perform the Pad\'e analytic continuation.


title: Criticality of a randomly-driven front

abstract: Consider an advancing `front' $ R(t) \in \mathbb{Z}_{\geq 0} $ and particles performing independent continuous time random walks on $ (R(t),\infty)\cap\mathbb{Z} $. Starting at $R(0)=0$, whenever a particle attempts to jump into $R(t)$ the latter instantaneously moves $k \ge 1$ steps to the right, absorbing all particles along its path. We take $ k $ to be the minimal random integer such that exactly $ k $ particles are absorbed by the move of $ R $, and view the particle system as a discrete version of the Stefan problem \begin{align*} &\partial_t u_*(t,\xi) = \tfrac12 \partial^2_{\xi} u_*(t,\xi), \quad \xi >r(t), &u_*(t,r(t))=0, &\tfrac{d~}{dt}r(t) = \tfrac12 \partial_\xi u_*(t,r(t)), &t\mapsto r(t) \text{ non-decreasing }, \quad r(0):=0. \end{align*} For a constant initial particles density $u_*(0,\xi)=\rho {\bf 1}_{\{\xi >0\}}$, at $\rho<1$ the particle system and the PDE exhibit the same diffusive behavior at large time, whereasat $\rho \ge 1$ the PDE explodes instantaneously. Focusing on the critical density $ \rho=1 $, we analyze the large time behavior of the front $ R(t) $ for the particle system, and obtain both the scaling exponent of $R(t)$ and an explicit description of its random scaling limit. Our result unveils a rarely seen phenomenon where the macroscopic scaling exponent is sensitive to the amount of initial local fluctuations. Further, the scaling limit demonstrates an interesting oscillation between instantaneous super- and sub-critical phases. Our method is based on a novel monotonicity as well as PDE-type estimates.


title: Prediction of plastic anisotropy of textured polycrystalline sheets based on a new single crystal model

abstract: In this paper, we predict the effect of texture on the anisotropy in plastic properties of polycrystalline metallic sheets. The constituent grain behavior is modelled using the new single crystal yield criterion developed by Cazacu, Revil, and Chandola (2017). For ideal texture components, the yield stress and plastic strain ratios can be obtained analytically. For the case of strongly textured sheets containing a spread about the ideal texture components, the polycrystalline response is obtained numerically on the basis of the same single-crystal criterion. It is shown that for textures with misorientation scatter width up to 25 degrees, the numerical predictions are very close to those obtained analytically for an ideal texture. Furthermore, irrespective of the number of grains in the sample, Lankford coefficients have finite values for all loading orientations. Illustrative examples for sheets with textures containing a combination of few ideal texture components are also presented. The simulations of the predicted polycrystalline behavior based on the new description of the plastic behavior of the constituent grains capture the influence of individual texture components on the overall degree of anisotropy. The polycrystalline simulation results are also compared to analytical estimates obtained using the closed-form formulas for the ideal components present in the texture in conjunction with a simple law of mixtures. The analytical estimates show the same trends as the simulation results. Therefore, the trends in plastic anisotropy of the macroscopic properties can be adequately estimated analytically.


title: The collisional frequency shift of a trapped-ion optical clock

abstract: Collisions with background gas can perturb the transition frequency of trapped ions in an optical atomic clock. We develop a non-perturbative framework based on a quantum channel description of the scattering process, and use it to derive a master equation which leads to a simple analytic expression for the collisional frequency shift. As a demonstration of our method, we calculate the frequency shift of the Sr$^+$ optical atomic clock transition due to elastic collisions with helium.


title: Magnetic field evolution and equilibrium configurations in neutron star cores: the effect of ambipolar diffusion

abstract: As another step towards understanding the long-term evolution of the magnetic field in neutron stars, we provide the first simulations of ambipolar diffusion in a spherical star. Restricting ourselves to axial symmetry, we consider a charged-particle fluid of protons and electrons carrying the magnetic flux through a motionless, uniform background of neutrons that exerts a collisional drag force on the former. We also ignore the possible impact of beta decays, proton superconductivity, and neutron superfluidity. All initial magnetic field configurations considered are found to evolve on the analytically expected time-scales towards "barotropic equilibria" satisfying the "Grad-Shafranov equation", in which the magnetic force is balanced by the degeneracy pressure gradient, so ambipolar diffusion is choked. These equilibria are so-called "twisted torus" configurations, which include poloidal and toroidal components, the latter restricted to the toroidal volumes in which the poloidal field lines close inside the star. In axial symmetry, they appear to be stable, although they are likely to undergo non-axially symmetric instabilities.


title: Data Driven Coded Aperture Design for Depth Recovery

abstract: Inserting a patterned occluder at the aperture of a camera lens has been shown to improve the recovery of depth map and all-focus image compared to a fully open aperture. However, design of the aperture pattern plays a very critical role. Previous approaches for designing aperture codes make simple assumptions on image distributions to obtain metrics for evaluating aperture codes. However, real images may not follow those assumptions and hence the designed code may not be optimal for them. To address this drawback we propose a data driven approach for learning the optimal aperture pattern to recover depth map from a single coded image. We propose a two stage architecture where, in the first stage we simulate coded aperture images from a training dataset of all-focus images and depth maps and in the second stage we recover the depth map using a deep neural network. We demonstrate that our learned aperture code performs better than previously designed codes even on code design metrics proposed by previous approaches.


title: Depth Distribution in High Dimensions

abstract: Motivated by the analysis of range queries in databases, we introduce the computation of the Depth Distribution of a set $\mathcal{B}$ of axis aligned boxes, whose computation generalizes that of the Klee's Measure and of the Maximum Depth. In the worst case over instances of fixed input size $n$, we describe an algorithm of complexity within $O({n^\frac{d+1}{2}\log n})$, using space within $O({n\log n})$, mixing two techniques previously used to compute the Klee's Measure. We refine this result and previous results on the Klee's Measure and the Maximum Depth for various measures of difficulty of the input, such as the profile of the input and the degeneracy of the intersection graph formed by the boxes.


title: Several extreme coefficients of the Tutte polynomial of graphs

abstract: Let $t_{i,j}$ be the coefficient of $x^iy^j$ in the Tutte polynomial $T(G;x,y)$ of a connected bridgeless and loopless graph $G$ with order $n$ and size $m$. It is trivial that $t_{0,m-n+1}=1$ and $t_{n-1,0}=1$. In this paper, we obtain expressions of another eight extreme coefficients $t_{i,j}$'s with $(i,j)=(0,m-n)$,$(0,m-n-1)$,$(n-2,0)$,$(n-3,0)$,$(1,m-n)$,$(1,m-n-1)$,$(n-2,1)$ and $(n-3,1)$ in terms of small substructures of $G$. Among them, the former four can be obtained by using coefficients of the highest, second highest and third highest terms of chromatic or flow polynomials, and vice versa. We also discuss their duality property and their specializations to extreme coefficients of the Jones polynomial.


title: On Ryser's conjecture for t-intersecting and degree-bounded hypergraphs

abstract: A famous conjecture (usually called Ryser's conjecture) that appeared in the Ph.D thesis of his student, J.~R.~Henderson [15], states that for an $r$-uniform $r$-partite hypergraph $\mathcal{H}$, the inequality $\tau(\mathcal{H})\le(r-1)\cdot \nu(\mathcal{H})$ always holds. This conjecture is widely open, except in the case of $r=2$, when it is equivalent to K\H onig's theorem [18], and in the case of $r=3$, which was proved by Aharoni in 2001 [3]. Here we study some special cases of Ryser's conjecture. First of all the most studied special case is when $\mathcal{H}$ is intersecting. Even for this special case, not too much is known: this conjecture is proved only for $r\le 5$ in [10,21]. For $r>5$ it is also widely open. Generalizing the conjecture for intersecting hypergraphs, we conjecture the following. If an $r$-uniform $r$-partite hypergraph $\mathcal{H}$ is $t$-intersecting (i.e., every two hyperedges meet in at least $t<r$ vertices), then $\tau(\mathcal{H})\le r-t$. We prove this conjecture for the case $t> r/4$. Gy\'arf\'as [10] showed that Ryser's conjecture for intersecting hypergraphs is equivalent to saying that the vertices of an $r$-edge-colored complete graph can be covered by $r-1$ monochromatic components. Motivated by this formulation, we examine what fraction of the vertices can be covered by $r-1$ monochromatic components of \emph{different} colors in an $r$-edge-colored complete graph. We prove a sharp bound for this problem. Finally we prove Ryser's conjecture for the very special case when the maximum degree of the hypergraph is two.


title: Rectifying full-counting statistics in a spin Seebeck engine

abstract: We investigate the rectification and negative differential effects of full-counting statistics of conjugate thermal spin transport in a spin Seebeck engine. The engine is made by an electron/magnon interface diode driven by a temperature bias, of which the scaled cumulant generating function is formulated in the framework of nonequilibrium Green's function. The strongly fluctuating interfacial electron density of states induced by quantum dot is responsible for these intriguing properties. This work is relevant for designing efficient spin caloritronic engine and can broaden our view in nonequilibrium thermodynamics and the nonlinear phenomenon in quantum transport system.


title: $(q,t)$-characters of Kirillov-Reshetikhin modules of type $A_r$ as quantum cluster variables

abstract: Nakajima introduced a $t$-deformation of $q$-characters, $(q,t)$-characters for short, and their twisted multiplication through the geometry of quiver varieties. The Nakajima $(q,t)$-characters of Kirillov-Reshetikhin modules satisfy a $t$-deformed $T$-system. The $T$-system is a discrete dynamical system that can be interpreted as a mutation relation in a cluster algebra in two different ways, depending on the choice of direction of evolution. In this paper, we show that the Nakajima $t$-deformed $T$-system of type $A_r$ forms a quantum mutation relation in a quantization of exactly one of the cluster algebra structures attached to the $T$-system.


title: Electronic Structure and Magnetic Properties of Half-metallic Ferrimagnet Mn$_{2}$VAl Probed by Soft X-ray Spectroscopies

abstract: We have studied the electronic structure of ferrimagnetic Mn2VAl single crystal by means of soft X-ray absorption spectroscopy (XAS), X-ray absorption magnetic circular dichroism (XMCD) and resonant soft X-ray inelastic scattering (RIXS). We have successfully observed the XMCD signals for all constitute elements, supporting the spin polarized states at the Fermi level. The Mn $L_{2,3}$ XAS and XMCD spectra are reproduced by the spectral simulation based on density-functional theory (DFT), indicating itinerant character of the Mn 3d states. On the other hand, V $3d$ electrons are rather localized since the ionic model can qualitatively explain the V $L_{2,3}$ XAS and XMCD spectra as well as the local dd excitation revealed by V $L_3$ RIXS.


title: Periodicity in the cohomology of symmetric groups via divided powers

abstract: A famous theorem of Nakaoka asserts that the cohomology of the symmetric group stabilizes. The first author generalized this theorem to non-trivial coefficient systems, in the form of $\mathrm{FI}$-modules over a field, though one now obtains periodicity of the cohomology instead of stability. In this paper, we further refine these results. Our main theorem states that if $M$ is a finitely generated $\mathrm{FI}$-module over a noetherian ring $\mathbf{k}$ then $\bigoplus_{n \ge 0} \mathrm{H}^t(S_n, M_n)$ admits the structure of a $\mathbf{D}$-module, where $\mathbf{D}$ is the divided power algebra over $\mathbf{k}$ in a single variable, and moreover, this $\mathbf{D}$-module is "nearly" finitely presented. This immediately recovers the periodicity result when $\mathbf{k}$ is a field, but also shows, for example, how the torsion varies with $n$ when $\mathbf{k}=\mathbf{Z}$. Using the theory of connections on $\mathbf{D}$-modules, we establish sharp bounds on the period in the case where $\mathbf{k}$ is a field. We apply our theory to obtain results on the modular cohomology of Specht modules and the integral cohomology of unordered configuration spaces of manifolds.


title: Periapsis shift and deflection of light by hairy black holes

abstract: We investigate the orbit equations and the eikonal equation for light respectively, under influence of the hairy black holes (asymptotically flat) in four dimensions. We consider two hairy black hole solutions with non-trivial potentials, and one of these solutions has Schwarzschild case as a smooth limit. Following to Landau and Lifshitz, we use the Hamilton-Jacobi method, and we show hairy corrections for periapsis shift, where the effect of the hair is to increase it. In the same way, using the eikonal equation we show the deflection of the light and the relevant scalar hair corrections. Interestingly we find that the hair screening the gravitational field, decreasing the angle of deflection as the hair increases.


title: Supervised Complementary Entity Recognition with Augmented Key-value Pairs of Knowledge

abstract: Extracting opinion targets is an important task in sentiment analysis on product reviews and complementary entities (products) are one important type of opinion targets that may work together with the reviewed product. In this paper, we address the problem of Complementary Entity Recognition (CER) as a supervised sequence labeling with the capability of expanding domain knowledge as key-value pairs from unlabeled reviews, by automatically learning and enhancing knowledge-based features. We use Conditional Random Field (CRF) as the base learner and augment CRF with knowledge-based features (called the Knowledge-based CRF or KCRF for short). We conduct experiments to show that KCRF effectively improves the performance of supervised CER task.


title: An evaluation of cosmological models from expansion and growth of structure measurements

abstract: We compare a large suite of theoretical cosmological models to observational data from the cosmic microwave background, baryon acoustic oscillation measurements of expansion, Type Ia SNe measurements of expansion, redshift space distortion measurements of the growth of structure, and the local Hubble constant. Our theoretical models include parametrizations of dark energy as well as physical models of dark energy and modified gravity. We determine the constraints on the model parameters, incorporating the redshift space distortion data directly in the analysis. To determine whether models can be ruled out, we evaluate the $p$ value (the probability under the model of obtaining data as bad or worse than the observed data). In our comparison, we find the well known tension of H$_0$ with the other data; no model resolves this tension successfully. Among the models we consider, the large scale growth of structure data does not affect the modified gravity models as a category particularly differently than dark energy models; it matters for some modified gravity models but not others, and the same is true for dark energy models. We compute predicted observables for each model under current observational constraints, and identify models for which future observational constraints will be particularly informative.


title: From Temporal Models to Property-Based Testing

abstract: This paper presents a framework to apply property-based testing (PBT) on top of temporal formal models. The aim of this work is to help software engineers to understand temporal models that are presented formally and to make use of the advantages of formal methods: the core time-based constructs of a formal method are schematically translated to the BeSpaceD extension of the Scala programming language. This allows us to have an executable Scala code that corresponds to the formal model, as well as to perform PBT of the models functionality. To model temporal properties of the systems, in the current work we focus on two formal languages, TLA+ and FocusST.


title: Improving the Expected Improvement Algorithm

abstract: The expected improvement (EI) algorithm is a popular strategy for information collection in optimization under uncertainty. The algorithm is widely known to be too greedy, but nevertheless enjoys wide use due to its simplicity and ability to handle uncertainty and noise in a coherent decision theoretic framework. To provide rigorous insight into EI, we study its properties in a simple setting of Bayesian optimization where the domain consists of a finite grid of points. This is the so-called best-arm identification problem, where the goal is to allocate measurement effort wisely to confidently identify the best arm using a small number of measurements. In this framework, one can show formally that EI is far from optimal. To overcome this shortcoming, we introduce a simple modification of the expected improvement algorithm. Surprisingly, this simple change results in an algorithm that is asymptotically optimal for Gaussian best-arm identification problems, and provably outperforms standard EI by an order of magnitude.


title: Ensemble of Part Detectors for Simultaneous Classification and Localization

abstract: Part-based representation has been proven to be effective for a variety of visual applications. However, automatic discovery of discriminative parts without object/part-level annotations is challenging. This paper proposes a discriminative mid-level representation paradigm based on the responses of a collection of part detectors, which only requires the image-level labels. Towards this goal, we first develop a detector-based spectral clustering method to mine the representative and discriminative mid-level patterns for detector initialization. The advantage of the proposed pattern mining technology is that the distance metric based on detectors only focuses on discriminative details, and a set of such grouped detectors offer an effective way for consistent pattern mining. Relying on the discovered patterns, we further formulate the detector learning process as a confidence-loss sparse Multiple Instance Learning (cls-MIL) task, which considers the diversity of the positive samples, while avoid drifting away the well localized ones by assigning a confidence value to each positive sample. The responses of the learned detectors can form an effective mid-level image representation for both image classification and object localization. Experiments conducted on benchmark datasets demonstrate the superiority of our method over existing approaches.


title: Atomic radius and charge parameter uncertainty in biomolecular solvation energy calculations

abstract: Atomic radii and charges are two major parameters used in implicit solvent electrostatics and energy calculations. The optimization problem for charges and radii is under-determined, leading to uncertainty in the values of these parameters and in the results of solvation energy calculations using these parameters. This paper presents a new method for quantifying this uncertainty in implicit solvation calculations of small molecules using surrogate models based on generalized polynomial chaos (gPC) expansions. There are relatively few atom types used to specify radii parameters in implicit solvation calculations; therefore, surrogate models for these low-dimensional spaces could be constructed using least-squares fitting. However, there are many more types of atomic charges; therefore, construction of surrogate models for the charge parameter space requires compressed sensing combined with an iterative rotation method to enhance problem sparsity. We demonstrate the application of the method by presenting results for the uncertainties in small molecule solvation energies based on these approaches. The method presented in this paper is a promising approach for efficiently quantifying uncertainty in a wide range of force field parameterization problems, including those beyond continuum solvation calculations.The intent of this study is to provide a way for developers of implicit solvent model parameter sets to understand the sensitivity of their target properties (solvation energy) on underlying choices for solute radius and charge parameters.


title: K-Geodetic Graphs and their Applications to Analysis across Different Scales of Dynamics of Complex Systems

abstract: This paper describes a new approach to the problem of the structural research of clusters based on the theory of geodetic and k-geodetic graphs. We firmly believe that this same approach can be used when solving problems of correlation between structural and spectral metrics in complex networks. So, what we want to point out is about the possibility of applying one theory of networks (the theory of k-geodetic networks) to the solution of problems in another type of networks (complex networks). The theory of geodetic graphs and their various modifications represents an important tool for the structural analysis of complex systems of transmission, processing, and analysis of information. In the case of large data sets, their stochastic dependence is described by large-dimensional correlation matrices. One of the problems of correlation analysis is the study of the structure of the correlation matrix. It is proved that such a structure is adequately described by geodetic graphs. The obtained structural data allow solving the choice problem of significant variables in multidimensional regression models.


title: Minimal area surfaces in AdS$_3$ through integrability

abstract: Minimal area surfaces in AdS$_3$ ending on a given curve at the boundary are dual to planar Wilson loops in N=4 SYM. In previous work it was shown that the problem of finding such surfaces can be recast as the one of finding an appropriate parameterization of the boundary contour that corresponds to conformal gauge. A. Dekel was able to find such reparameterization in a perturbative expansion around a circular contour. In this work we show that for more general contours such reparameterization can be found using a numerical procedure that does not rely on a perturbative expansion. This provides further checks and applications of the integrability method. An interesting property of the method is that it uses as data the Schwarzian derivative of the contour and therefore it has manifest global conformal invariance. Finally, we apply Shanks transformation to extend the near circular expansion to larger deformations, the results are in agreement with the new method.


title: High quality waveguides for the mid-infrared wavelength range in a silicon-on-sapphire platform

abstract: We report record low loss silicon-on-sapphire nanowires for applications to mid infrared optics. We achieve propagation losses as low as 0.8dB/cm at 1550nm, 1.1 to 1.4dB/cm at 2080nm and < 2dB/cm at = 5.18 microns.


title: Globular cluster formation with multiple stellar populations: self-enrichment in fractal massive molecular clouds

abstract: Internal chemical abundance spreads are one of fundamental properties of globular clusters (GCs) in the Galaxy. In order to understand the origin of such abundance spreads, we numerically investigate GC formation from massive molecular clouds (MCs) with fractal structures using our new hydrodynamical simulations with star formation and feedback effects of supernovae (SNe) and asymptotic giant branch (AGB) stars. We particularly investigate star formation from gas chemically contaminated by SNe and AGB stars within MCs with different initial conditions and environments. The principal results are as follows. GCs with multiple generation of stars can be formed from merging of hierarchical star cluster complexes that are developed from high-density regions of fractal MCs. Feedback effects of SNe and AGB stars can control the formation efficiencies of stars formed from original gas of MCs and from gas ejected from AGB stars. The simulated GCs have radial gradients of helium abundances within the central 3 pc. The original MC masses need to be as large as 10^7 Msun for a canonical initial stellar mass function (IMF) so that the final masses of stars formed from AGB ejecta can be 10^5 Msun. Since star formation from AGB ejecta is rather prolonged (10^8 yr), their formation can be strongly suppressed by SNe of the stars themselves. This result implies that the so-called mass budget problem is much more severe than ever thought in the self-enrichment scenario of GC formation. and thus that IMF for the second generation of stars should be `top-light'.


title: Probing the interplay between surface and bulk states in the topological Kondo insulator SmB$_6$ through conductance fluctuation spectroscopy

abstract: We present results of resistance fluctuation spectroscopy on single crystals of the predicted Kondo topological insulator material SmB$_6$. Our measurements show that at low temperatures, transport in this system takes place only through surface states. The measured noise in this temperature range arises due to Universal Conductance Fluctuations whose statistics was found to be consistent with theoretical predictions for that of two-dimensional systems in the Symplectic symmetry class. At higher temperatures, we find signatures of glassy dynamics and establish that the measured noise is caused by mobility fluctuations in the bulk. We find that, unlike the topological insulators of the dichalcogenide family, the noise in surface and bulk conduction channels in SmB$_6$ are completely uncorrelated. Our measurements establish that at sufficiently low temperatures, the bulk has no discernible contribution to electrical transport in SmB$_6$ making it an ideal platform for probing the physics of topological surface states.


title: Towards Metamerism via Foveated Style Transfer

abstract: The problem of $\textit{visual metamerism}$ is defined as finding a family of perceptually indistinguishable, yet physically different images. In this paper, we propose our NeuroFovea metamer model, a foveated generative model that is based on a mixture of peripheral representations and style transfer forward-pass algorithms. Our gradient-descent free model is parametrized by a foveated VGG19 encoder-decoder which allows us to encode images in high dimensional space and interpolate between the content and texture information with adaptive instance normalization anywhere in the visual field. Our contributions include: 1) A framework for computing metamers that resembles a noisy communication system via a foveated feed-forward encoder-decoder network -- We observe that metamerism arises as a byproduct of noisy perturbations that partially lie in the perceptual null space; 2) A perceptual optimization scheme as a solution to the hyperparametric nature of our metamer model that requires tuning of the image-texture tradeoff coefficients everywhere in the visual field which are a consequence of internal noise; 3) An ABX psychophysical evaluation of our metamers where we also find that the rate of growth of the receptive fields in our model match V1 for reference metamers and V2 between synthesized samples. Our model also renders metamers at roughly a second, presenting a $\times1000$ speed-up compared to the previous work, which allows for tractable data-driven metamer experiments.


title: On specializations of minimal $p$-divisible groups

abstract: In this paper, for any pair $(\zeta, \xi)$ of Newton polygons with $\zeta \prec \xi$, we construct a concrete specialization from the minimal $p$-divisible group of $\xi$ to the minimal $p$-divisible group of $\zeta$ by a beautiful induction. This in particular gives the affirmative answer to the unpolarized analogue of a question by Oort on the boundaries of central streams, and gives another proof of the dimension formula of the central leaves in the unpolarized case.


title: Correlation plots of the Siberian radioheliograph

abstract: The Siberian Solar Radio Telescope is now being upgraded. The upgrading is aimed at providing the aperture synthesis imaging in the 4-8 GHz frequency range, instead of the single-frequency direct imaging due to the Earth rotation. The first phase of the upgrading is a 48-antenna array - the Siberian Radioheliograph. One type of radioheliograph data represents correlation plots. In evaluating the covariance of two-level signals, these plots are sums of complex correlations, obtained for different antenna pairs. Bearing in mind that correlation of signals from an antenna pair is related to a spatial frequency, we can say that each value of the plot is an integral over a spatial spectrum. Limits of the integration are defined by the task. Only high spatial frequencies are integrated to obtain dynamics of compact sources. The whole spectrum is integrated to reach maximum sensitivity. We show that the covariance of two-level variables up to Van Vleck correction is a correlation coefficient of these variables.


title: Abstract Argumentation / Persuasion / Dynamics

abstract: The act of persuasion, a key component in rhetoric argumentation, may be viewed as a dynamics modifier. We extend Dung's frameworks with acts of persuasion among agents, and consider interactions among attack, persuasion and defence that have been largely unheeded so far. We characterise basic notions of admissibilities in this framework, and show a way of enriching them through, effectively, CTL (computation tree logic) encoding, which also permits importation of the theoretical results known to the logic into our argumentation frameworks. Our aim is to complement the growing interest in coordination of static and dynamic argumentation.


title: Thermal lattice Boltzmann method for multiphase flows

abstract: New method to simulate heat transport in multiphase lattice Boltzmann (LB) method is proposed. The energy transport equation needs to be solved when phase boundaries are present. Internal energy is represented by an additional set of distribution functions, which evolve according to a LB-like equation simulating the transport of a passive scalar. Parasitic heat diffusion near boundaries with large density gradient is supressed by using the interparticle "pseudoforces" which prevent the spreading of energy. The compression work and heat diffusion are calculated by finite differences. The latent heat of a phase transition is released or absorbed in the inner side of a thin transition layer between liquid and vapor. This allows one to avoide the interface tracking. Several tests were carried out concerning all aspects of the processes. It was shown that the Galilean invariance and the scaling of thermal conduction process hold as well as the correct dependence of sound speed on the heat capacity ratio. The method proposed has low scheme diffusion of the internal energy, and it can be applied to modeling a wide range of multiphase flows with heat and mass transfer.


title: Cross validation for locally stationary processes

abstract: We propose an adaptive bandwidth selector via cross validation for local M-estimators in locally stationary processes. We prove asymptotic optimality of the procedure under mild conditions on the underlying parameter curves. The results are applicable to a wide range of locally stationary processes such linear and nonlinear processes. A simulation study shows that the method works fairly well also in misspecified situations.


title: Chemical potential of quasi-equilibrium magnon gas driven by pure spin current

abstract: We show experimentally that the spin current generated by the spin Hall effect drives the magnon gas in a ferromagnet into a quasi-equilibrium state that can be described by the Bose-Einstein statistics. The magnon population function is characterized either by an increased effective chemical potential or by a reduced effective temperature, depending on the spin current polarization. In the former case, the chemical potential can closely approach, at large driving currents, the lowest-energy magnon state, indicating the possibility of spin current-driven Bose-Einstein condensation.


title: Chow Rings of Mp_{0,2}(N,d) and Mbar_{0,2}(P^{N-1},d) and Gromov-Witten Invariants of Projective Hypersurfaces of Degree 1 and 2

abstract: In this paper, we prove formulas that represent two-pointed Gromov-Witten invariant <O_{h^a}O_{h^b}>_{0,d} of projective hypersurfaces with d=1,2 in terms of Chow ring of Mbar_{0,2}(P^{N-1},d), the moduli spaces of stable maps from genus 0 stable curves to projective space P^{N-1}. Our formulas are based on representation of the intersection number w(O_{h^a}O_{h^b})_{0,d}, which was introduced by Jinzenji, in terms of Chow ring of Mp_{0,2}(N,d), the moduli space of quasi maps from P^1 to P^{N-1} with two marked points. In order to prove our formulas, we use the results on Chow ring of Mbar_{0,2}(P^{N-1},d), that were derived by A. Mustata and M. Mustata. We also present explicit toric data of Mp_{0,2}(N,d) and prove relations of Chow ring of Mp_{0,2}(N,d).


title: The harmonic virtual element method: stabilization and exponential convergence for the Laplace problem on polygonal domains

abstract: We introduce the harmonic virtual element method (harmonic VEM), a modification of the virtual element method (VEM) for the approximation of the 2D Laplace equation using polygonal meshes. The main difference between the harmonic VEM and the VEM is that in the former method only boundary degrees of freedom are employed. Such degrees of freedom suffice for the construction of a proper energy projector on (piecewise harmonic) polynomial spaces. The harmonic VEM can also be regarded as an "$H^1$-conformisation" of the Trefftz discontinuous Galerkin-finite element method (TDG-FEM). We address the stabilization of the proposed method and develop an $hp$ version of harmonic VEM for the Laplace equation on polygonal domains. As in Trefftz DG-FEM, the asymptotic convergence rate of harmonic VEM is exponential and reaches order $\mathcal O ( \exp(-b\sqrt[2]{N}))$, where $N$ is the number of degrees of freedom. This result overperformes its counterparts in the framework of $hp$ FEM and $hp$ VEM, where the asymptotic rate of convergence is of order $\mathcal O ( \exp(-b\sqrt[3]{N}) )$.


title: Formalization of Transform Methods using HOL Light

abstract: Transform methods, like Laplace and Fourier, are frequently used for analyzing the dynamical behaviour of engineering and physical systems, based on their transfer function, and frequency response or the solutions of their corresponding differential equations. In this paper, we present an ongoing project, which focuses on the higher-order logic formalization of transform methods using HOL Light theorem prover. In particular, we present the motivation of the formalization, which is followed by the related work. Next, we present the task completed so far while highlighting some of the challenges faced during the formalization. Finally, we present a roadmap to achieve our objectives, the current status and the future goals for this project.


title: Learning Network Structures from Contagion

abstract: In 2014, Amin, Heidari, and Kearns proved that tree networks can be learned by observing only the infected set of vertices of the contagion process under the independent cascade model, in both the active and passive query models. They also showed empirically that simple extensions of their algorithms work on sparse networks. In this work, we focus on the active model. We prove that a simple modification of Amin et al.'s algorithm works on more general classes of networks, namely (i) networks with large girth and low path growth rate, and (ii) networks with bounded degree. This also provides partial theoretical explanation for Amin et al.'s experiments on sparse networks.


title: The unblinking eye on the sky

abstract: From near-Earth asteroids to superluminous supernovae and counterparts to gravitational wave sources, the Zwicky Transient Facility will soon scan the night sky for transient phenomena.


title: A triangular triple quantum dot with tunable tunnel couplings

abstract: A two-dimensional arrangement of quantum dots with finite inter-dot tunnel coupling provides a promising platform for studying complicated spin correlations as well as for constructing large-scale quantum computers. Here, we fabricate a tunnel-coupled triangular triple quantum dot with a novel gate geometry in which three dots are defined by positively biasing the surface gates. At the same time, the small area in the center of the triangle is depleted by negatively biasing the top gate placed above the surface gates. The size of the small center depleted area is estimated from the Aharonov-Bohm oscillation measured for the triangular channel but incorporating no gate-defined dots, with a value consistent with the design. With this approach, we can bring the neighboring gate-defined dots close enough to one another to maintain a finite inter-dot tunnel coupling. We finally confirm the presence of the inter-dot tunnel couplings in the triple quantum dot from the measurement of tunneling current through the dots in the stability diagram. We also show that the charge occupancy of each dot and that the inter-dot tunnel couplings are tunable with gate voltages.


title: Thermal Sunyaev-Zel'dovich effect in the intergalactic medium with primordial magnetic fields

abstract: The presence of ubiquitous magnetic fields in the universe is suggested from observations of radiation and cosmic ray from galaxies or the intergalactic medium (IGM). One possible origin of cosmic magnetic fields is the magnetogenesis in the primordial universe. Such magnetic fields are called primordial magnetic fields (PMFs), and are considered to affect the evolution of matter density fluctuations and the thermal history of the IGM gas. Hence the information of PMFs is expected to be imprinted on the anisotropies of the cosmic microwave background (CMB) through the thermal Sunyaev-Zel'dovich (tSZ) effect in the IGM. In this study, given an initial power spectrum of PMFs as $P(k)\propto B_{\rm 1Mpc}^2 k^{n_{B}}$, we calculate dynamical and thermal evolutions of the IGM under the influence of PMFs, and compute the resultant angular power spectrum of the Compton $y$-parameter on the sky. As a result, we find that two physical processes driven by PMFs dominantly determine the power spectrum of the Compton $y$-parameter; (i) the heating due to the ambipolar diffusion effectively works to increase the temperature and the ionization fraction, and (ii) the Lorentz force drastically enhances the density contrast just after the recombination epoch. These facts result in making the tSZ angular power spectrum induced by the PMFs more remarkable at $\ell >10^4$ than that by galaxy clusters even with $B_{\rm 1Mpc}=0.1$ nG and $n_{B}=-1.0$ because the contribution from galaxy clusters decreases with increasing $\ell$. The measurement of the tSZ angular power spectrum on high $\ell$ modes can provide the stringent constraint on PMFs.


title: Time-Optimal Trajectories of Generic Control-Affine Systems Have at Worst Iterated Fuller Singularities

abstract: We consider in this paper the regularity problem for time-optimal trajectories of a single-input control-affine system on a n-dimensional manifold. We prove that, under generic conditions on the drift and the controlled vector field, any control u associated with an optimal trajectory is smooth out of a countable set of times. More precisely, there exists an integer K, only depending on the dimension n, such that the non-smoothness set of u is made of isolated points, accumulations of isolated points, and so on up to K-th order iterated accumulations.