title: Duration and Interval Hidden Markov Model for Sequential Data Analysis

abstract: Analysis of sequential event data has been recognized as one of the essential tools in data modeling and analysis field. In this paper, after the examination of its technical requirements and issues to model complex but practical situation, we propose a new sequential data model, dubbed Duration and Interval Hidden Markov Model (DI-HMM), that efficiently represents "state duration" and "state interval" of data events. This has significant implications to play an important role in representing practical time-series sequential data. This eventually provides an efficient and flexible sequential data retrieval. Numerical experiments on synthetic and real data demonstrate the efficiency and accuracy of the proposed DI-HMM.


title: Metal-Insulator Transitions and non-Fermi Liquid Behaviors in 5d Perovskite Iridates

abstract: Transition metal oxides, in particular, 3d or 4d perovskites have provided diverse emergent physics that originates from the coupling of various degrees of freedom such as spin, lattice, charge, orbital, and also disorder. 5d perovskites form a distinct class because they have strong spin-orbit coupling that introduces to the system an additional energy scale that is comparable to bandwidth and Coulomb correlation. Consequent new physics includes novel Jeff = 1/2 Mott insulators, metal-insulator transitions, spin liquids, and topological insulators. After highlighting some of the phenomena appearing in Ruddlesden-Popper iridate series Srn+1IrnO3n+1, we focus on the transport properties of perovskite SrIrO3. Using epitaxial thin films on various substrates, we demonstrate that metal-insulator transitions can be induced in perovskite SrIrO3 by reducing its thickness or by imposing compressive strain. The metal-insulator transition driven by thickness reduction is due to disorder, but the metal-insulator transition driven by compressive strain is accompanied by peculiar non-Fermi liquid behaviors, possibly due to the delicate interplay between correlation, disorder, and spin-orbit coupling. We examine various theoretical frameworks to understand the non-Fermi liquid physics and metal-insulator transition that occurs in SrIrO3 and offer the Mott-Anderson-Griffiths scenario as a possible solution.


title: The Search for >35 MeV Neutrons from the June 3, 2012 Impulsive Flare

abstract: We analyzed a highly impulsive solar flare observed on June 3, 2012. In association with this flare, emissions of hard X-rays, high-energy gamma rays, and neutrons were detected by the detectors onboard the FERMI, RHESSI satellites and the International Space Station. We compared those results with the pictures taken by the UV telescope onboard the Solar Dynamics Observatory satellite and found the crossing structure of two magnetic ropes at two positions on the solar surface almost at the same time. High-energy gamma rays were detected by the Fermi Large Area Telescope satellite, implying that the impulsive flare was one of a major source of proton acceleration processes on the solar surface. At the beginning of research, impulsive solar flares were considered to be the main source of particle acceleration processes; our current observations have confirmed this hypothesis.


title: Negative terahertz conductivity in remotely doped graphene bilayer heterostructures

abstract: Injection or optical generation of electrons and holes in graphene bilayers (GBLs) can result in the interband population inversion enabling the terahertz (THz) radiation lasing. The intraband radiative processes compete with the interband transitions. We demonstrate that remote doping enhances the indirect interband generation of photons in the proposed GBL heterostructures. Therefore such remote doping helps surpassing the intraband (Drude) absorption and results in large absolute values of the negative dynamic THz conductivity in a wide range of frequencies at elevated (including room) temperatures. The remotely doped GBL heterostructure THz lasers are expected to achieve higher THz gain compared to previously proposed GBL-based THz lasers.


title: Emergence of Two-Dimensional Massless Dirac Fermions, Chiral Pseudospins, and Berry's Phase in Potassium Doped Few-Layer Black Phosphorus

abstract: Thin flakes of black phosphorus (BP) are a two-dimensional (2D) semiconductor whose energy gap is predicted being sensitive to the number of layers and external perturbations. Very recently, it was found that a simple method of potassium (K) doping on the surface of BP closes its band gap completely, producing a Dirac semimetal state with a linear band dispersion in the armchair direction and a quadratic one in the zigzag direction. Here, based on first-principles density functional calculations, we predict that, beyond the critical K density of the gap closure, 2D massless Dirac Fermions (i.e., Dirac cones) emerge in K-doped few-layer BP, with linear band dispersions in all momentum directions, and the electronic states around Dirac points have chiral pseudospins and Berry's phase. These features are robust with respect to the spin-orbit interaction and may lead to graphene-like electronic transport properties with greater flexibility for potential device applications.


title: Metallization and APPJ treatment of Bismaleimide

abstract: Bismaleimide (BMI) resins are a new breed of thermosetting resins used mainly for high temperature applications and have major usage in aerospace. FTIR studies have shown the signatures of imide, CNC stretching, malemide and N-H stretching. These BMI polymer coatings were deposited on aluminum and mild steel substrates by sprinkling powers followed by baking. Thermo gravimetric analysis and Differential scanning calorimetric studies showed the degradation temperature of these polymers around 370oC. Aluminum coatings were deposited on BMI previously deposited on Al and mild steel to make a metal-BMI-metal trilayer. These trilayers can solve the problem charging of the aircraft bodies at high altitudes. Atomic force microscopy was done to determine the morphology of the surface. Roughness and thickness measurements of the BMI coatings were carried out by surface profilometer. Vickers microhardness tests showed an increase in hardness of the metal-BMI-metal trilayer. FTIR spectrum showed signature of imides, CNC stretching, maleimide and N-H stretching in BMI. We observed that peak broadens at which shows the release of the stress during thermal treatment of the coating. The coating is subject to variable APPJ conditions which improve the properties at high temperature.


title: Generalized Independent Component Analysis Over Finite Alphabets

abstract: Independent component analysis (ICA) is a statistical method for transforming an observable multidimensional random vector into components that are as statistically independent as possible from each other.Usually the ICA framework assumes a model according to which the observations are generated (such as a linear transformation with additive noise). ICA over finite fields is a special case of ICA in which both the observations and the independent components are over a finite alphabet. In this work we consider a generalization of this framework in which an observation vector is decomposed to its independent components (as much as possible) with no prior assumption on the way it was generated. This generalization is also known as Barlow's minimal redundancy representation problem and is considered an open problem. We propose several theorems and show that this NP hard problem can be accurately solved with a branch and bound search tree algorithm, or tightly approximated with a series of linear problems. Our contribution provides the first efficient and constructive set of solutions to Barlow's problem.The minimal redundancy representation (also known as factorial code) has many applications, mainly in the fields of Neural Networks and Deep Learning. The Binary ICA (BICA) is also shown to have applications in several domains including medical diagnosis, multi-cluster assignment, network tomography and internet resource management. In this work we show this formulation further applies to multiple disciplines in source coding such as predictive coding, distributed source coding and coding of large alphabet sources.


title: Stacking dependence of carrier transport properties in multilayered black phosphorous

abstract: We present the effect of different stacking orders on carrier transport properties of multi-layer black phosphorous. We consider three different stacking orders AAA, ABA and ACA, with increasing number of layers (from 2 to 6 layers). We employ a hierarchical approach in density functional theory (DFT), with structural simulations performed with Generalized Gradient Approximation (GGA) and the bandstructure, carrier effective masses and optical properties evaluated with the Meta-Generalized Gradient Approximation (MGGA). The carrier transmission in the various black phosphorous sheets was carried out with the non-equilibrium Greens function (NEGF) approach. The results show that ACA stacking has the highest electron and hole transmission probabilities. The results show tunability for a wide range of band-gap, carrier effective masses and transmission with a great promise for lattice engineering (stacking order and layers) in black phosphorous.


title: Translation into any natural language of the error messages generated by any computer program

abstract: Since the introduction of the Fortran programming language some 60 years ago, there has been little progress in making error messages more user-friendly. A first step in this direction is to translate them into the natural language of the students. In this paper we propose a simple script for Linux systems which gives word by word translations of error messages. It works for most programming languages and for all natural languages. Understanding the error messages generated by compilers is a major hurdle for students who are learning programming, particularly for non-native English speakers. Not only may they never become "fluent" in programming but many give up programming altogether. Whereas programming is a tool which can be useful in many human activities, e.g. history, genealogy, astronomy, entomology, in many countries the skill of programming remains confined to a narrow fringe of professional programmers. In all societies, besides professional violinists there are also amateurs. It should be the same for programming. It is our hope that once translated and explained the error messages will be seen by the students as an aid rather than as an obstacle and that in this way more students will enjoy learning and practising programming. They should see it as a funny game.


title: Seesaw mechanism at electron-electron colliders

abstract: We consider the Standard Model with right-handed neutrinos to explain the masses of active neutrinos by the seesaw mechanism. Since active neutrinos as well as heavy neutral leptons are Majorana fermions in this case, the lepton number violating process can be induced. We discuss the inverse neutrinoless double beta decay $e^- e^- \to W^- W^-$ in the framework of the seesaw mechanism and its detectability at future colliders. It is shown that the cross section can be 17 fb for $\sqrt{s}=3$ TeV even with the stringent constraint from the neutrinoless double beta decays if three (or more) right-handed neutrinos exist. In such a case, the future $e^- e^-$ colliders can test lepton number violation mediated by a right-handed neutrino lighter than about 10 TeV.


title: Recursive simulation of quantum annealing

abstract: The evaluation of the performance of adiabatic annealers is hindered by lack of efficient algorithms for simulating their behaviour. We exploit the analyticity of the standard model for the adiabatic quantum process to develop an efficient recursive method for its numerical simulation in case of both unitary and non-unitary evolution. Numerical simulations show distinctly different distributions for the most important figure of merit of adiabatic quantum computing --- the success probability --- in these two cases.


title: Effect of marital status on death rates. Part 1: High accuracy exploration of the Farr-Bertillon effect

abstract: The Farr-Bertillon law says that for all age-groups the death rate of married people is lower than the death rate of people who are not married (i.e. single, widowed or divorced). Although this law has been known for over 150 years, it has never been established with great accuracy. This even let some authors argue that it was a statistical artefact. It is true that the data must be selected and analyzed with great care, especially for age groups of small size such as widowers under 25. The observations reported in this paper were selected and designed in the same way as experiments in physics, that is to say with the objective of minimizing the error bars for all age-groups. It will be seen that data appropriate for mid-age groups may be unsuitable for young age groups and vice versa. The investigation led to the following results. (1) The FB effect is basically the same for men and women, except that on average it is about 20\% stronger for men. (2) There is a marked difference between single or divorced persons on the one hand, for whom the effect is largest around the age of 45, and widowed persons on the other hand, for whom the effect is largest around the age of 25. (3) When different causes of death are distinguished, the effect is largest for suicide and smallest for cancer. (4) For young widowers the death rates are up to 10 times higher than for married persons of same age. This extreme form of the FB effect will be referred to as the "young widower effect." A possible connection between the FB effect and Martin Raff's "Stay alive" effect for cells in an organism is discussed in the last section.


title: Coalgebraic completeness-via-canonicity for distributive substructural logics

abstract: We prove strong completeness of a range of substructural logics with respect to a natural poset-based relational semantics using a coalgebraic version of completeness-via-canonicity. By formalizing the problem in the language of coalgebraic logics, we develop a modular theory which covers a wide variety of different logics under a single framework, and lends itself to further extensions. Moreover, we believe that the coalgebraic framework provides a systematic and principled way to study the relationship between resource models on the semantics side, and substructural logics on the syntactic side.


title: Sub-diffusion and population dynamics of water confined in soft environments

abstract: We have studied by Molecular Dynamics computer simulations the dynamics of water confined in ionic surfactants phases, ranging from well ordered lamellar structures to micelles at low and high water loading, respectively. We have analysed in depth the main dynamical features in terms of mean squared displacements and intermediate scattering functions, and found clear evidences of sub-diffusive behaviour. We have identified water molecules lying at the charged interface with the hydrophobic confining matrix as the main responsible for this unusual feature, and provided a comprehensive picture for dynamics based on a very precise analysis of life times at the interface. We conclude by providing, for the first time to our knowledge, a unique framework for rationalising the existence of important dynamical heterogeneities in fluids absorbed in soft confining environments.


title: Constructing Infinitely Many Geometric Triangulations Of The Figure Eight Knot Complement

abstract: This paper considers "geometric" ideal triangulations of cusped hyperbolic 3-manifolds, i.e. decompositions into positive volume ideal hyperbolic tetrahedra. We exhibit infinitely many geometric ideal triangulations of the figure eight knot complement. As far as we know, this is the first construction of infinitely many geometric triangulations of a cusped hyperbolic 3-manifold. In contrast, our approach does not extend to the figure eight sister manifold, and it is unknown if there are infinitely many geometric triangulations for this manifold.


title: Ultraviolet asymptotics and singular dynamics of AdS perturbations

abstract: Important insights into the dynamics of spherically symmetric AdS-scalar field perturbations can be obtained by considering a simplified time-averaged theory accurately describing perturbations of amplitude epsilon on time-scales of order 1/epsilon^2. The coefficients of the time-averaged equations are complicated expressions in terms of the AdS scalar field mode functions, which are in turn related to the Jacobi polynomials. We analyze the behavior of these coefficients for high frequency modes. The resulting asymptotics can be useful for understanding the properties of the finite-time singularity in solutions of the time-averaged theory recently reported in the literature. We highlight, in particular, the gauge dependence of this asymptotics, with respect to the two most commonly used gauges. The harsher growth of the coefficients at large frequencies in higher-dimensional AdS suggests strengthening of turbulent instabilities in higher dimensions. In the course of our derivations, we arrive at recursive relations for the coefficients of the time-averaged theory that are likely to be useful for evaluating them more efficiently in numerical simulations.


title: Effect of marital status on death rates. Part 2: Transient mortality spikes

abstract: We examine what happens in a population when it experiences an abrupt change in surrounding conditions. Several cases of such "abrupt transitions" for both physical and living social systems are analyzed from which it can be seen that all share a common pattern. First, a steep rising death rate followed by a much slower relaxation process during which the death rate decreases as a power law (with an exponent close to 0.7). This leads us to propose a general principle which can be summarized as follows: "ANY abrupt change in living conditions generates a mortality spike which acts as a kind of selection process." This we term the Transient Shock conjecture. It provides a qualitative model which leads to testable predictions. For example, marriage certainly brings about a major change in environmental and social conditions and according to our conjecture one would expect a mortality spike in the months following marriage. At first sight this may seem an unlikely proposition but we demonstrate (by three different methods) that even here the existence of mortality spikes is supported by solid empirical evidence.


title: DeepWriterID: An End-to-end Online Text-independent Writer Identification System

abstract: Owing to the rapid growth of touchscreen mobile terminals and pen-based interfaces, handwriting-based writer identification systems are attracting increasing attention for personal authentication, digital forensics, and other applications. However, most studies on writer identification have not been satisfying because of the insufficiency of data and difficulty of designing good features under various conditions of handwritings. Hence, we introduce an end-to-end system, namely DeepWriterID, employed a deep convolutional neural network (CNN) to address these problems. A key feature of DeepWriterID is a new method we are proposing, called DropSegment. It designs to achieve data augmentation and improve the generalized applicability of CNN. For sufficient feature representation, we further introduce path signature feature maps to improve performance. Experiments were conducted on the NLPR handwriting database. Even though we only use pen-position information in the pen-down state of the given handwriting samples, we achieved new state-of-the-art identification rates of 95.72% for Chinese text and 98.51% for English text.


title: Gamma-ray burst groups observed by BATSE, Beppo-Sax and Swift

abstract: Short and long bursts were identified by the BATSE team in the early 90s. A decade ago there were some suggestions about the intermediate duration type of bursts. We are going to summarize recent analyses of the duration distributions of the Beppo-Sax and Swift data. Our conclusion is all the three satellites (CGRO, Swift, Beppo-Sax) can see the third type of the GRBs. The properties of the group members are very similar in the different data sets.


title: Singular perturbations approach to localized surface-plasmon resonance: Nearly touching metal nanospheres

abstract: Metallic nano-structures characterised by multiple geometric length scales support low-frequency surface-plasmon modes, which enable strong light localization and field enhancement. We suggest studying such configurations using singular perturbation methods, and demonstrate the efficacy of this approach by considering, in the quasi-static limit, a pair of nearly touching metallic nano-spheres subjected to an incident electromagnetic wave polarized with the electric field along the line of sphere centers. Rather than attempting an exact analytical solution, we construct the pertinent (longitudinal) eigen-modes by matching relatively simple asymptotic expansions valid in overlapping spatial domains. We thereby arrive at an effective boundary eigenvalue problem in a half-space representing the metal region in the vicinity of the gap. Coupling with the gap field gives rise to a mixed-type boundary condition with varying coefficients, whereas coupling with the particle-scale field enters through an integral eigenvalue selection rule involving the electrostatic capacitance of the configuration. By solving the reduced problem we obtain accurate closed-form expressions for the resonance values of the metal dielectric function. Furthermore, together with an energy-like integral relation, the latter eigen-solutions yield also closed-form approximations for the induced-dipole moment and gap-field enhancement under resonance. We demonstrate agreement between the asymptotic formulas and a semi-numerical computation. The analysis, underpinned by asymptotic scaling arguments, elucidates how metal polarization together with geometrical confinement enables a strong plasmon-frequency redshift and amplified near-field at resonance.

categories: cond-mat.mes-hall math-ph math.MP physics.optics


title: Bounds for the asymptotic normality of the maximum likelihood estimator using the Delta method

abstract: The asymptotic normality of the Maximum Likelihood Estimator (MLE) is a cornerstone of statistical theory. In the present paper, we provide sharp explicit upper bounds on Zolotarev-type distances between the exact, unknown distribution of the MLE and its limiting normal distribution. Our approach to this fundamental issue is based on a sound combination of the Delta method, Stein's method, Taylor expansions and conditional expectations, for the classical situations where the MLE can be expressed as a function of a sum of independent and identically distributed terms. This encompasses in particular the broad exponential family of distributions.


title: Complementary Families of the Fibonacci-Lucas Relations

abstract: In this paper we present two families of Fibonacci-Lucas identities, with the Sury's identity being the best known representative of one of the families. While these results can be proved by means of the basic identity relating Fibonacci and Lucas sequences we also provide a bijective proof. Both families are then treated by generating functions.


title: An Extension of Nori Fundamental Group

abstract: In this paper, we study a certain extension of Nori's fundamental group in the case where a base field is of characteristic 0 and give structure theorems about it. As a result, for a smooth projective curve with genus $g$>1, we prove that Nori's fundamental group acts faithfully on the category of unipotent bundles on the universal covering. In the case when $g=1$, we give a more finer result.


title: Thermodynamic Product Formula for Taub-NUT Black Hole

abstract: We derive various important thermodynamic relations of the inner and outer horizon in the background of Taub-NUT(Newman-Unti-Tamburino) black hole in four dimensional \emph{Lorentzian geometry}. We compare these properties with the properties of Reissner Nordstr{\o}m black hole. We compute \emph{area product, area sum, area minus and area division} of black hole horizons. We show that they all are not universal quantities. Based on these relations, we compute the area bound of all horizons. From area bound, we derive entropy bound and irreducible mass bound for both the horizons. We further study the stability of such black hole by computing the specific heat for both the horizons. It is shown that due to negative specific heat the black hole is thermodynamically unstable. All these calculations might be helpful to understanding the nature of black hole entropy both \emph{interior} and exterior at the microscopic level.


title: Demography-based adaptive network model reproduces the spatial organization of human linguistic groups

abstract: The distribution of human linguistic groups presents a number of interesting and non-trivial patterns. The distributions of the number of speakers per language and the area each group covers follow log-normal distributions, while population and area fulfill an allometric relationship. The topology of networks of spatial contacts between different linguistic groups has been recently characterized, showing atypical properties of the degree distribution and clustering, among others. Human demography, spatial conflicts, and the construction of networks of contacts between linguistic groups are mutually dependent processes. Here we introduce an adaptive network model that takes all of them into account and successfully reproduces, using only four model parameters, not only those features of linguistic groups already described in the literature, but also correlations between demographic and topological properties uncovered in this work. Besides their relevance when modeling and understanding processes related to human biogeography, our adaptive network model admits a number of generalizations that broaden its scope and make it suitable to represent interactions between agents based on population dynamics and competition for space.


title: On Polynomial Identities for Recursive Sequences

abstract: In this paper we extend the notion of Melham sum to the Pell and Pell-Lucas sequences. While the proofs of general statements rely on the binomial theorem, we prove some spacial cases by the known Pell identities. We also give extensions of obtained expressions to the other recursive sequences.


title: Freeness versus maximal global Tjurina number for plane curves

abstract: We give a characterization of nearly free plane curves in terms of their global Tjurina numbers, similar to the characterization of free curves as curves with a maximal Tjurina number, due to A. A. du Plessis and C.T.C. Wall. It is also shown that an irreducible plane curve having a 1-dimensional symmetry is nearly free. A new numerical characterization of free curves and a simple characterization of nearly free curves in terms of their syzygies conclude this note.


title: Introducing Geometry in Active Learning for Image Segmentation

abstract: We propose an Active Learning approach to training a segmentation classifier that exploits geometric priors to streamline the annotation process in 3D image volumes. To this end, we use these priors not only to select voxels most in need of annotation but to guarantee that they lie on 2D planar patch, which makes it much easier to annotate than if they were randomly distributed in the volume. A simplified version of this approach is effective in natural 2D images. We evaluated our approach on Electron Microscopy and Magnetic Resonance image volumes, as well as on natural images. Comparing our approach against several accepted baselines demonstrates a marked performance increase.


title: Heterophase fluctuations at the gas-liquid phase transition

abstract: The problem of the gas-liquid heterophase fluctuations of a fluid within the critical and supercritical regions is revisited. To describe the thermodynamics and structure of the heterophase fluid, the mesoscopic equation of state is deduced. The mesoscopic scale is connected with the sizes of the mixed bubbles and droplets (g-fluctuons and l-fluctuons). The two-component order parameter of the heterophase fluid describes the gas-like and liquid-like fractions. Its interconnection with the van der Waals order parameter is ascertained. The non-symmetric Ising-type equation of state of the heterophase fluid is analyzed using the standard methods. The manifestations of the mesoscopic effects in the structural and thermodynamic properties of the fluid are investigated. The domain of applicability of a classical model is found using the mesoscopic Ornstein-Zernike equation. The asymmetry and non-analyticity of the diameter of the phase coexistence curve is researched. It is shown that that the critical non-analyticity of the diameter is induced by the mesoscopic heterophase fluctuations. The percolation thresholds of the droplets and bubbles in the critical and supercritical fluid are determined. On the phase diagrams they bound the domains of applicability of the droplet model.


title: Cohesiveness Relationships to Empower Keyword Search on Tree Data on the Web

abstract: Keyword search is the most popular querying technique on semistructured data. Keyword queries are simple and con- venient. However, as a consequence of their imprecision, the quality of their answers is poor and the existing algorithms do not scale satisfactorily. In this paper, we introduce the novel concept of cohesive keyword queries for tree data. Intuitively, a cohesiveness relationship on keywords indicates that they should form a cohesive whole in a query result. Cohesive keyword queries allow term nesting and keyword repetition. Although more expressive, they are as simple as flat keyword queries. We provide formal semantics for cohesive keyword queries rank- ing query results on the proximity of the keyword instances. We design a stack based algorithm which efficiently evaluates cohesive keyword queries. Our experiments demonstrate that our approach outperforms in quality previous filtering semantics and our algorithm scales smoothly on queries of even 20 keywords on large datasets.


title: Difference Constraints: An adequate Abstraction for Complexity Analysis of Imperative Programs

abstract: Difference constraints have been used for termination analysis in the literature, where they denote relational inequalities of the form x' <= y + c, and describe that the value of x in the current state is at most the value of y in the previous state plus some integer constant c. In this paper, we argue that the complexity of imperative programs typically arises from counter increments and resets, which can be modeled naturally by difference constraints. We present the first practical algorithm for the analysis of difference constraint programs and describe how C programs can be abstracted to difference constraint programs. Our approach contributes to the field of automated complexity and (resource) bound analysis by enabling automated amortized complexity analysis for a new class of programs and providing a conceptually simple program model that relates invariant- and bound analysis. We demonstrate the effectiveness of our approach through a thorough experimental comparison on real world C code: our tool Loopus computes the complexity for considerably more functions in less time than related tools from the literature.


title: A new varied-time photonic crystals

abstract: In this paper, we have firstly proposed a new one-dimensional varied-time photonic crystals, i.e., the refractive indices of media $A$ and $B$ are the time functions. We consider the varied-time photonic crystals of refractive indices period variation and calculate the transmissivity and electronic field distribution with and without defect layer, which are different from the conventional photonic crystals, which transmissivity and electronic field distribution are static, but the varied-time photonic crystals transmissivity and electronic field distribution are dynamic. We have obtained some new results for the varied-time photonic crystals, which should be help to design new type dynamic optical devices, such as the accurate optical switch and so on.


title: Implications of Unitarity and Charge Breaking Minima in Left-Right Symmetric Model

abstract: We examine the usefulness of the unitarity conditions in Left-Right symmetric model which can translate into giving a stronger constraint on the model parameters together with the criteria derived from vacuum stability and perturbativity. In this light, we demonstrate the bounds on the masses of the physical scalars present in the model and find the scenario where multiple scalar modes are in the reach of Large Hadron Collider. We also analyse the additional conditions that can come from charge breaking minima in this context.


title: On positive solutions of the $(p,A)$-Laplacian with a potential in Morrey space

abstract: We study qualitative positivity properties of quasilinear equations of the form \[ Q'_{A,p,V}[v] := -\mathrm{div}(|\nabla v|_A^{p-2}A(x)\nabla v) + V(x)|v|^{p-2}v =0 \qquad x\in\Omega, \] where $\Omega$ is a domain in $\mathbb{R}^n$, $1<p<\infty$, $A=(a_{ij})\in L^\infty_{\rm loc}(\Omega;\mathbb{R}^{n\times n})$ is a symmetric and locally uniformly positive definite matrix, $V$ is a real potential in a certain local Morrey space (depending on $p$), and \[ |\xi|_{A}^{2}:=A(x)\xi\cdot\xi=\sum_{i,j=1}^n a_{ij}(x)\xi_i\xi_j \qquad x\in\Omega ,~\xi=(\xi_1,\ldots,\xi_n)\in \mathbb{R}^n. \] Our assumptions on the coefficients of the operator for $p\geq 2$ are the minimal (in the Morrey scale) that ensure the validity of the local Harnack inequality and hence the H\"older continuity of the solutions. For some of the results of the paper we need slightly stronger assumptions when $p<2$. We prove an Allegretto-Piepenbrink-type theorem for the operator $Q'_{A,p,V}$, and extend criticality theory to our setting. Moreover, we establish a Liouville-type theorem and obtain some perturbation results. Also, in the case $1<p\leq n,$ we examine the behavior of a positive solution near a nonremovable isolated singularity and characterize the existence of the positive minimal Green function for the operator $Q'_{A,p,V}[u]$ in $\Omega$.


title: Fixed Point Theorems for Set-Valued Mappings on TVS-Cone Metric Spaces

abstract: In the context of tvs-cone metric spaces, we prove a Bishop-Phelps and a Caristi's type theorem. These results allow us to prove a fixed point theorem for $(\delta, L)$-weak contraction according to a pseudo Hausdorff metric defined by means of a cone metric.


title: Homogenization for non-self-adjoint periodic elliptic operators on an infinite cylinder

abstract: We consider the problem of homogenization for non-self-adjoint second-order elliptic differential operators~$\mathcal{A}^{\varepsilon}$ of divergence form on $L_{2}(\mathbb{R}^{d_{1}}\times\mathbb{T}^{d_{2}})$, where $d_{1}$ is positive and~$d_{2}$ is non-negative. The~coefficients of the operator~$\mathcal{A}^{\varepsilon}$ are periodic in the first variable with period~$\varepsilon$ and smooth in a certain sense in the second. We show that, as $\varepsilon$ gets small, $(\mathcal{A}^{\varepsilon}-\mu)^{-1}$ and~$D_{x_{2}}(\mathcal{A}^{\varepsilon}-\mu)^{-1}$ converge in the operator norm to, respectively, $(\mathcal{A}^{0}-\mu)^{-1}$ and~$D_{x_{2}}(\mathcal{A}^{0}-\mu)^{-1}$, where $\mathcal{A}^{0}$ is an operator whose coefficients depend only on~$x_{2}$. We also obtain an approximation for $D_{x_{1}}(\mathcal{A}^{\varepsilon}-\mu)^{-1}$ and find the next term in the approximation for~$(\mathcal{A}^{\varepsilon}-\mu)^{-1}$. Estimates for the rates of convergence and the rates of approximation are provided and are sharp with respect to the order.


title: Light modulation in planar aligned short-pitch deformed-helix ferroelectric liquid crystals

abstract: We study both experimentally and theoretically modulation of light in a planar aligned deformed-helix ferroelectric liquid crystal (DHFLC) cell with subwavelength helix pitch, which is also known as a short-pitch DHFLC. In our experiments, azimuthal angle of the in-plane optical axis and electrically controlled parts of the principal in-plane refractive indices were measured as a function of voltage applied across the cell. Theoretical results giving the effective optical tensor of a short-pitch DHFLC expressed in terms of the smectic tilt angle and the refractive indices of FLC are used to fit the experimental data. Optical anisotropy of the FLC material is found to be weakly biaxial. For both the transmissive and reflective modes, the results of fitting are applied to model phase and amplitude modulation of light in the DHFLC cell. We demonstrate that, if the thickness of the DHFLC layer is about 50 $\mu$m, the detrimental effect of field-induced rotation of the in-plane optical axes on the characteristics of an axicon designed using the DHFLC spatial light modulator in the reflective mode is negligible.


title: Fe xxv line profiles in colliding wind binaries

abstract: Strong wind-wind collisions in massive binaries generate a very hot plasma that frequently produces a moderately strong iron line. The morphology of this line depends upon the properties of the wind interaction zone and its orientation with respect to the line of sight. As the binary components revolve around their common centre of mass, the line profiles are thus expected to vary. With the advent of the next generation of X-ray observatories (Astro-H, Athena) that will offer high-resolution spectroscopy above 6 keV, it will become possible to exploit these changes as the most sensitive probe of the inner parts of the colliding wind interaction. Using a simple prescription of the wind-wind interaction in an early-type binary, we have generated synthetic line profiles for a number of configurations and orbital phases. These profiles can help constrain the properties of the stellar winds in such binary systems.


title: GMCs scaling relations: role of the cloud definition

abstract: We investigate physical properties of molecular clouds in disc galaxies with different morphology: a galaxy without prominent structure, a spiral barred galaxy and a galaxy with flocculent structure. Our $N$-body/hydrodynamical simulations take into account non-equilibrium H$_2$ and CO chemical kinetics, self-gravity, star formation and feedback processes. For the simulated galaxies the scaling relations of giant molecular clouds or so called Larson's relations are studied for two types of a cloud definition (or extraction methods): the first one is based on total column density position-position (PP) datasets and the second one is indicated by the CO~(1-0) line emission used position-position-velocity (PPV) data. We find that the cloud populations obtained by using both cloud extraction methods generally have similar physical parameters. Except that for the CO data the mass spectrum of clouds has a tail with low-massive objects $M\sim 10^3-10^4$~\Msun. Varying column density threshold the power-law indices in the scaling relations are significantly changed. In contrast, the relations are invariant to CO brightness temperature threshold. Finally, we find that the mass spectra of clouds for the PPV data are almost insensitive to the galactic morphology, whereas the spectra for the PP data demonstrate significant variations.


title: Superstrong Coupling of a Microwave Cavity to YIG Magnons

abstract: Multiple-post reentrant 3D lumped cavity modes have been realized to design the concept of discrete Whispering Gallery and Fabry-Perot-like Modes for multimode microwave Quantum Electrodynamics experiments. Using a magnon spin-wave resonance of a submillimeter-sized Yttrium-Iron-Garnet sphere at milliKelvin temperatures and a four-post cavity, we demonstrate the ultra-strong coupling regime between discrete Whispering Gallery Modes and a magnon resonance with strength of 1.84 GHz. By increasing the number of posts to eight and arranging them in a D$_4$ symmetry pattern, we expand the mode structure to that of a discrete Fabry-Perot cavity and modify the Free Spectral Range (FSR). We reach the superstrong coupling regime, where spin-photon coupling strength is larger than FSR, with coupling strength in the 1.1 to 1.5 GHz range.


title: Spin-noise-based magnetometry of an $n$-doped GaAs microcavity in the field of elliptically polarized light

abstract: Recently reported optical nuclear orientation in the $n$-doped GaAs microcavity under pumping in nominal transparency region of the crystal [Appl. Phys. Lett. $\mathbf{106}$, 242405 (2015)] has arisen a number of questions, the main of them concerning mechanisms of angular momentum transfer from the light to the nuclear spin system and the nature of the light-related magnetic fields accompanying the optical nuclear polarization. In this paper, we use the spin noise spectroscopy for magnetometric purposes, particularly, to study effective fields acting upon electron spin system of an $n$-GaAs layer inside a high-Q microcavity in the presence of elliptically polarized probe beam. In addition to the external magnetic field applied to the sample in the Voigt geometry and the Overhauser field created by optically oriented nuclei, the spin noise spectrum reveals an additional effective, "optical," magnetic field produced by elliptically polarized probe itself. This field is directed along the light propagation axis, with its sign being determined by the sign of the probe helicity and its magnitude depending on degree of circular polarization and intensity of the probe beam. We analyze properties of this optical magnetic field and suggest that it results from the optical Stark effect in the field of the elliptically polarized electromagnetic wave.


title: Inequivalence of nonequilibrium path ensembles: the example of stochastic bridges

abstract: We study stochastic processes in which the trajectories are constrained so that the process realises a large deviation of the unconstrained process. In particular we consider stochastic bridges and the question of inequivalence of path ensembles between the microcanonical ensemble, in which the end points of the trajectory are constrained, and the canonical or s ensemble in which a bias or tilt is introduced into the process. We show how ensemble inequivalence can be manifested by the phenomenon of temporal condensation in which the large deviation is realised in a vanishing fraction of the duration (for long durations). For diffusion processes we find that condensation happens whenever the process is subject to a confining potential, such as for the Ornstein-Uhlenbeck process, but not in the borderline case of dry friction in which there is partial ensemble equivalence. We also discuss continuous-space, discrete-time random walks for which in the case of a heavy tailed step-size distribution it is known that the large deviation may be achieved in a single step of the walk. Finally we consider possible effects of several constraints on the process and in particular give an alternative explanation of the interaction-driven condensation in terms of constrained Brownian excursions.


title: From stellar to planetary composition: Galactic chemical evolution of Mg/Si mineralogical ratio

abstract: The main goal of this work is to study element ratios that are important for the formation of planets of different masses. We study potential correlations between the existence of planetary companions and the relative elemental abundances of their host stars. We use a large sample of FGK-type dwarf stars for which precise Mg, Si, and Fe abundances have been derived using HARPS high-resolution and high-quality data. A first analysis of the data suggests that low-mass planet host stars show higher [Mg/Si] ratios, while giant planet hosts present [Mg/Si] that is lower than field stars. However, we found that the [Mg/Si] ratio significantly depends on metallicity through Galactic chemical evolution. After removing the Galactic evolution trend only the difference in the [Mg/Si] elemental ratio between low-mass planet hosts and non-hosts was present in a significant way. These results suggests that low-mass planets are more prevalent around stars with high [Mg/Si]. Our results demonstrate the importance of Galactic chemical evolution and indicate that it may play an important role in the planetary internal structure and composition.


title: On degree three curves in $C^{(2)}$ with positive self-intersection

abstract: In this paper we study degree three curves in $C^{(2)}$ with positive self-intersection defined by the action of a spherical triangular group in an auxiliary curve.


title: From Petrov-Einstein-Dilaton-Axion to Navier-Stokes equation in anisotropic model

abstract: In this paper we generalize the previous works to the case that the near-horizon dynamics of the Einstein-Dilaton-Axion theory can be governed by the incompressible Navier-Stokes equation via imposing the Petrov-like boundary condition on hypersurfaces in the non-relativistic and near-horizon limit. The dynamical shear viscosity $\eta$ of such dual horizon fluid in our scenario, which isotropically saturates the Kovtun-Son-Starinet (KSS) bound, is independent of both the dilaton field and axion field in that limit.


title: InstaCluster: Building A Big Data Cluster in Minutes

abstract: Deploying, configuring, and managing large clusters is very a demanding and cumbersome task due to the complexity of such systems and the variety of skills needed. One needs to perform low-level configuration of the cluster nodes to ensure their interoperability and connectivity, as well as install, configure and provision the needed services. In this paper we address this problem and demonstrate how to build a Big Data analytic platform on Amazon EC2 in a matter of minutes. Moreover, to use our tool, embedded into a public Amazon Machine Image, the user does not need to be an expert in system administration or Big Data service configuration. Our tool dramatically reduces the time needed to provision clusters, as well as the cost of the infrastructure. Researchers enjoy an additional benefit of having a simple way to specify the experimental environments they use, so that their experiments can be easily reproduced by anyone using our tool.


title: Experimental study of balanced optical homodyne and heterodyne detection by controlling sideband modulation

abstract: We experimentally study optical homodyne and heterodyne detections with a same setup, which is flexible to manipulate the signal sideband modulation. When the modulation only generate a single signal sideband, the light field measurement by mixing the single sideband at $\omega_{0}+\Omega$ with a strong local oscillator at the carrier frequency $\omega_{0}$ on a beam splitter become balanced heterodyne detection. When two signal sidebands at $\omega_{0}\pm\Omega$ are generated and the relative phase of the two sidebands is locked, this measurement corresponds to optical balanced homodyne detection. With this setup, we may confirm directly that the signal-to-noise ratio with heterodyne detection is two-fold worse than that with homodyne detection. This work will have important applications in quantum state measurement and quantum information.


title: Measurements of mixing and indirect CP violation

abstract: LHCb has collected the world's largest sample of charmed hadrons. This sample is used to measure the mixing parameters in the $D^0$-$\bar{D}^0$ system and to search for indirect $CP$ violation. This contribution focuses on measurements of $A_{\Gamma}$ with $D^*$ and semileptonic $B$ decays and on mixing measurements and a search for $CP$ violation in $D\to K\pi$ decays.


title: Numerical analysis of the angular motion of a neutrally buoyant spheroid in shear flow at small Reynolds numbers

abstract: We numerically analyse the rotation of a neutrally buoyant spheroid in a shear flow at small shear Reynolds number. Using direct numerical stability analysis of the coupled nonlinear particle-flow problem we compute the linear stability of the log-rolling orbit at small shear Reynolds number, ${\rm Re}_a$. As ${\rm Re}_a \to 0$ and as the box size of the system tends to infinity we find good agreement between the numerical results and earlier analytical predictions valid to linear order in ${\rm Re}_a$ for the case of an unbounded shear. The numerical stability analysis indicates that there are substantial finite-size corrections to the analytical results obtained for the unbounded system. We also compare the analytical results to results of lattice-Boltzmann simulations to analyse the stability of the tumbling orbit at shear Reynolds numbers of order unity. Theory for an unbounded system at infinitesimal shear Reynolds number predicts a bifurcation of the tumbling orbit at aspect ratio $\lambda_{\rm c} \approx 0.137$ below which tumbling is stable (as well as log rolling). The simulation results show a bifurcation line in the $\lambda$-${\rm Re}_a$ plane that reaches $\lambda \approx0.1275$ at the smallest shear Reynolds number (${\rm Re}_a=1$) at which we could simulate with the lattice-Boltzmann code, in qualitative agreement with the analytical results.


title: nanopub-java: A Java Library for Nanopublications

abstract: The concept of nanopublications was first proposed about six years ago, but it lacked openly available implementations. The library presented here is the first one that has become an official implementation of the nanopublication community. Its core features are stable, but it also contains unofficial and experimental extensions: for publishing to a decentralized server network, for defining sets of nanopublications with indexes, for informal assertions, and for digitally signing nanopublications. Most of the features of the library can also be accessed via an online validator interface.


title: "The Good, The Bad And The Ugly": Evaluation of Wi-Fi Steganography

abstract: In this paper we propose a new method for the evaluation of network steganography algorithms based on the new concept of "the moving observer". We considered three levels of undetectability named: "good", "bad", and "ugly". To illustrate this method we chose Wi-Fi steganography as a solid family of information hiding protocols. We present the state of the art in this area covering well-known hiding techniques for 802.11 networks. "The moving observer" approach could help not only in the evaluation of steganographic algorithms, but also might be a starting point for a new detection system of network steganography. The concept of a new detection system, called MoveSteg, is explained in detail.


title: Smoothing tautologies, hidden dynamics, and sigmoid asymptotics for piecewise smooth systems

abstract: Switches in real systems take many forms, such as impacts, electronic relays, mitosis, and the implementation of decisions or control strategies. To understand what is lost, and what can be retained, when we model a switch as an instantaneous event, requires a consideration of so-called hidden terms. These are asymptotically vanishing outside the switch, but can be encoded in the form of nonlinear switching terms. A general expression for the switch can be developed in the form of a series of sigmoid functions. We review the key steps in extending the Filippov's method of sliding modes to such systems. We show how even slight nonlinear effects can hugely alter the behaviour of an electronic control circuit, and lead to `hidden' attractors inside the switching surface.


title: Photon-conserving Comptonization in simulations of accretion disks around black holes

abstract: We introduce a new method for treating Comptonization in computational fluid dynamics. By construction, this method conserves the number of photons. Whereas the traditional "blackbody Comptonization" approach assumes that the radiation is locally a perfect blackbody and therefore uses a single parameter, the radiation temperature, to describe the radiation, the new "photon-conserving Comptonization" approach treats the photon gas as a Bose-Einstein fluid and keeps track of both the radiation temperature and the photon number density. We have implemented photon-conserving Comptonization in the general relativistic radiation magnetohydrodynamical code KORAL and we describe its impact on simulations of mildly super-critical black hole accretion disks. We find that blackbody Comptonization underestimates the gas and radiation temperature by up to a factor of two compared to photon-conserving Comptonization. This discrepancy could be serious when computing spectra. The photon-conserving simulation indicates that the spectral color correction factor of the escaping radiation in the funnel region of the disk could be as large as 5.


title: High-Contrast Color-Stripe Pattern for Rapid Structured-Light Range Imaging

abstract: For structured-light range imaging, color stripes can be used for increasing the number of distinguishable light patterns compared to binary BW stripes. Therefore, an appropriate use of color patterns can reduce the number of light projections and range imaging is achievable in single video frame or in "one shot". On the other hand, the reliability and range resolution attainable from color stripes is generally lower than those from multiply projected binary BW patterns since color contrast is affected by object color reflectance and ambient light. This paper presents new methods for selecting stripe colors and designing multiple-stripe patterns for "one-shot" and "two-shot" imaging. We show that maximizing color contrast between the stripes in one-shot imaging reduces the ambiguities resulting from colored object surfaces and limitations in sensor/projector resolution. Two-shot imaging adds an extra video frame and maximizes the color contrast between the first and second video frames to diminish the ambiguities even further. Experimental results demonstrate the effectiveness of the presented one-shot and two-shot color-stripe imaging schemes.


title: An Extreme Starburst in Close Proximity to the Central Galaxy of a Rich Galaxy Cluster at z=1.7

abstract: We have discovered an optically rich galaxy cluster at z=1.7089 with star formation occurring in close proximity to the central galaxy. The system, SpARCS104922.6+564032.5, was detected within the Spitzer Adaptation of the red-sequence Cluster Survey, (SpARCS), and confirmed through Keck-MOSFIRE spectroscopy. The rest-frame optical richness of Ngal(500kpc) = 30+/-8 implies a total halo mass, within 500kpc, of ~3.8+/-1.2 x 10^14 Msun, comparable to other clusters at or above this redshift. There is a wealth of ancillary data available, including Canada-France-Hawaii Telescope optical, UKIRT-K, Spitzer-IRAC/MIPS, and Herschel-SPIRE. This work adds submillimeter imaging with the SCUBA2 camera on the James Clerk Maxwell Telescope and near-infrared imaging with the Hubble Space Telescope (HST). The mid/far-infrared (M/FIR) data detect an Ultra-luminous Infrared Galaxy spatially coincident with the central galaxy, with LIR = 6.2+/-0.9 x 10^12 Lsun. The detection of polycyclic aromatic hydrocarbons (PAHs) at z=1.7 in a Spitzer-IRS spectrum of the source implies the FIR luminosity is dominated by star formation (an Active Galactic Nucleus contribution of 20%) with a rate of ~860+/-30 Msun/yr. The optical source corresponding to the IR emission is likely a chain of of > 10 individual clumps arranged as "beads on a string" over a linear scale of 66 kpc. Its morphology and proximity to the Brightest Cluster Galaxy imply a gas-rich interaction at the center of the cluster triggered the star formation. This system indicates that wet mergers may be an important process in forming the stellar mass of BCGs at early times.


title: A Convex Characterization of Robust Stability for Positive and Positively Dominated Linear Systems

abstract: We provide convex necessary and sufficient conditions for the robust stability of linear positively dominated systems. In particular we show that the structured singular value is always equal to its convex upper bound for nonnegative matrices and we use this result to derive necessary and sufficient Linear Matrix Inequality (LMI) conditions for robust stability that involve only the system's static gain. We show how this approach can be applied to test the robust stability of the Foschini-Miljanic algorithm for power control in wireless networks in presence of uncertain interference.


title: Transport Conductivity of Graphene at RF and Microwave Frequencies

abstract: We measure graphene coplanar waveguides from direct current (DC) to 13.5GHz and show that the apparent resistance (in the presence of parasitic impedances) has an quadratic frequency dependence, but the intrinsic conductivity (without the influence of parasitic impedances) is frequency-independent. Consequently, in our devices the real part of the complex alternating current conductivity is the same as the DC value and the imaginary part~0. The graphene channel is modelled as a parallel resistive-capacitive network with a frequency dependence identical to that of the Drude conductivity with momentum relaxation time~2.1ps, highlighting the influence of alternating current (AC) electron transport on the electromagnetic properties of graphene. This can lead to optimized design of high-speed analogue field-effect transistors, mixers, frequency doublers, low-noise amplifiers and radiation detectors.


title: The recombination equation for interval partitions

abstract: The general deterministic recombination equation in continuous time is analysed for various lattices, with special emphasis on the lattice of interval (or ordered) partitions. Based on the recently constructed general solution for the lattice of all partitions, the corresponding solution for interval partitions is derived and analysed in detail. We focus our attention on the recursive structure of the solution and its decay rates, and also discuss the solution in the degenerate cases, where it comprises products of monomials with exponentially decaying factors. This can be understood via the Markov generator of the underlying partitioning process that was recently identified. We use interval partitions to gain insight into the structure of the solution, while our general framework works for arbitrary lattices.


title: Effective lattice action for the configurations smeared by the Wilson flow

abstract: We investigate a trajectory for the Wilson flow in the theory space. For this purpose, we determine the coefficient of the plaquette and rectangular terms in the action for the configurations defined by the solution of the Wilson flow. The demon method regarded as one of the inverse Monte Carlo methods is used for the determination of them. Starting from the conventional Wilson plaquette action of quenched QCD, we find that the coefficient of the plaquette grows while that of the rectangular tends to negative with the development of the flow as the known improved actions. We also find that the trajectory forms a straight line in the two-coupling theory space.


title: Semiclassical Virasoro Blocks from AdS$_3$ Gravity

abstract: We present a unified framework for the holographic computation of Virasoro conformal blocks at large central charge. In particular, we provide bulk constructions that correctly reproduce all semiclassical Virasoro blocks that are known explicitly from conformal field theory computations. The results revolve around the use of geodesic Witten diagrams, recently introduced in arXiv:1508.00501, evaluated in locally AdS$_3$ geometries generated by backreaction of heavy operators. We also provide an alternative computation of the heavy-light semiclassical block -- in which two external operators become parametrically heavy -- as a certain scattering process involving higher spin gauge fields in AdS$_3$; this approach highlights the chiral nature of Virasoro blocks. These techniques may be systematically extended to compute corrections to these blocks and to interpolate amongst the different semiclassical regimes.


title: Square function estimates on layer potentials for higher-order elliptic equations

abstract: In this paper we establish square-function estimates on the double and single layer potentials for divergence-form elliptic operators, of arbitrary even order 2m, with variable t-independent coefficients in the upper half-space. This generalizes known results for variable-coefficient second-order operators, and also for constant-coefficient higher-order operators.


title: Dissipative Kerr solitons in optical microresonators

abstract: This chapter describes the discovery and stable generation of temporal dissipative Kerr solitons in continuous-wave (CW) laser driven optical microresonators. The experimental signatures as well as the temporal and spectral characteristics of this class of bright solitons are discussed. Moreover, analytical and numerical descriptions are presented that do not only reproduce qualitative features but can also be used to accurately model and predict the characteristics of experimental systems. Particular emphasis lies on temporal dissipative Kerr solitons with regard to optical frequency comb generation where they are of particular importance. Here, one example is spectral broadening and self-referencing enabled by the ultra-short pulsed nature of the solitons. Another example is dissipative Kerr soliton formation in integrated on-chip microresonators where the emission of a dispersive wave allows for the direct generation of unprecedentedly broadband and coherent soliton spectra with smooth spectral envelope.


title: Role of Interlayer Coupling on the Evolution of Band Edges in Few-Layer Phosphorene

abstract: Using first-principles calculations, we have investigated the evolution of band-edges in few-layer phosphorene as a function of the number of P layers. Our results predict that monolayer phosphorene is an indirect band gap semiconductor and its valence band edge is extremely sensitive to strain. Its band gap could undergo an indirect-to-direct transition under a lattice expansion as small as 1% along zigzag direction. A semi-empirical interlayer coupling model is proposed, which can well reproduce the evolution of valence band-edges obtained by first-principles calculations. We conclude that the interlayer coupling plays a dominated role in the evolution of the band-edges via decreasing both band gap and carrier effective masses with the increase of phosphorene thickness. A scrutiny of the orbital-decomposed band structure provides a better understanding of the upward shift of valence band maximum surpassing that of conduction band minimum.


title: On a Poisson-Lie deformation of the BC(n) Sutherland system

abstract: A deformation of the classical trigonometric BC(n) Sutherland system is derived via Hamiltonian reduction of the Heisenberg double of SU(2n). We apply a natural Poisson-Lie analogue of the Kazhdan-Kostant-Sternberg type reduction of the free particle on SU(2n) that leads to the BC(n) Sutherland system. We prove that this yields a Liouville integrable Hamiltonian system and construct a globally valid model of the smooth reduced phase space wherein the commuting flows are complete. We point out that the reduced system, which contains 3 independent coupling constants besides the deformation parameter, can be recovered (at least on a dense submanifold) as a singular limit of the standard 5-coupling deformation due to van Diejen. Our findings complement and further develop those obtained recently by Marshall on the hyperbolic case by reduction of the Heisenberg double of SU(n,n).


title: On the Erd\H{o}s-Hajnal conjecture for six-vertex tournaments

abstract: A celebrated unresolved conjecture of Erd\H{o}s and Hajnal states that for every undirected graph $H$ there exists $\epsilon(H)>0$ such that every undirected graph on $n$ vertices that does not contain $H$ as an induced subgraph contains a clique or stable set of size at least $n^{\epsilon(H)}$. The conjecture has a directed equivalent version stating that for every tournament $H$ there exists $\epsilon(H)>0$ such that every $H$-free $n$-vertex tournament $T$ contains a transitive subtournament of order at least $n^{\epsilon(H)}$. We say that a tournament is \textit{prime} if it does not have nontrivial homogeneous sets. So far the conjecture was proved only for some specific families of prime tournaments (\cite{chorochudber, choromanski2}) and tournaments constructed according to the so-called \textit{substitution procedure}(\cite{alon}). In particular, recently the conjecture was proved for all five-vertex tournaments (\cite{chorochudber}), but the question about the correctness of the conjecture for all six-vertex tournaments remained open. In this paper we prove that all but at most one six-vertex tournament satisfy the Erd\H{o}s-Hajnal conjecture. That reduces the six-vertex case to a single tournament.


title: Higher-order elliptic equations in non-smooth domains: history and recent results

abstract: Recent years have brought significant advances in the theory of higher order elliptic equations in non-smooth domains. Sharp pointwise estimates on derivatives of polyharmonic functions in arbitrary domains were established, followed by the higher order Wiener test. Certain boundary value problems for higher order operators with variable non-smooth coefficients were addressed, both in divergence form and in composition form, the latter being adapted to the context of Lipschitz domains. These developments brought new estimates on the fundamental solutions and the Green function, allowing for the lack of smoothness of the boundary or of the coefficients of the equation. Building on our earlier account of history of the subject, this survey presents the current state of the art, emphasizing the most recent results and emerging open problems.


title: Concentration and moderate deviations for Poisson polytopes and polyhedra

abstract: The convex hull generated by the restriction to the unit ball of a stationary Poisson point process in the $d$-dimensional Euclidean space is considered. By establishing sharp bounds on cumulants, exponential estimates for large deviation probabilities are derived and the relative error in the central limit theorem on a logarithmic scale is investigated for a large class of key geometric characteristics. This includes the number of lower-dimensional faces and the intrinsic volumes of the random polytopes. Furthermore, moderate deviation principles for the spatial empirical measures induced by these functionals are also established using the method of cumulants. The results are applied to deduce, by duality, fine probabilistic estimates and moderate deviation principles for combinatorial parameters of a class of zero cells associated with Poisson hyperplane mosaics. As a special case this comprises the typical Poisson-Voronoi cell conditioned on having large inradius.


title: Single integro-differential wave equation for L\'evy walk

abstract: The integro-differential wave equation for the probability density function for a classical one-dimensional L\'evy walk with continuous sample paths has been derived. This equation involves a classical wave operator together with memory integrals describing the spatio-temporal coupling of the L\'evy walk. It is valid for any running time PDF and it does not involve any long-time large-scale approximations. It generalizes the well-known telegraph equation obtained from the persistent random walk. Several non-Markovian cases are considered when the particle's velocity alternates at the gamma and power-law distributed random times.


title: There is no Sz(8) in the Monster

abstract: As a contribution to an eventual solution of the problem of the determination of the maximal subgroups of the Monster we show that there is no subgroup isomorphic to Sz(8). The proof is largely, though not entirely, computer-free.


title: Bethe States of the integrable spin-s chain with generic open boundaries

abstract: Based on the inhomogeneous T-Q relation and the associated Bethe Ansatz equations obtained via the off-diagonal Bethe Ansatz, we construct the Bethe-type eigenstates of the SU(2)-invariant spin-s chain with generic non-diagonal boundaries by employing certain orthogonal basis of the Hilbert space.

categories: math-ph cond-mat.stat-mech hep-th math.MP


title: On some new forms of lattice integrable equations

abstract: Inspired by the forms of delay-Painleve equations, we consider some new differential-discrete systems of KdV, mKdV and Sine-Gordon - type related by simple one way Miura transformations to classical ones. Using Hirota bilinear formalism we construct their new integrable discretizations, some of them having higher order. In particular, by this procedure, we show that the integrable discretization of intermediate sine-Gordon equation is exactly lattice mKdV and also we find a bilinear form of the recently proposed lattice Tzitzeica equation. Also the travelling wave reduction of these new lattice equations is studied and it is shown that all of them, including the higher order ones, can be integrated to Quispel-Roberts-Thomson (QRT) mappings.


title: A Deep Bag-of-Features Model for Music Auto-Tagging

abstract: Feature learning and deep learning have drawn great attention in recent years as a way of transforming input data into more effective representations using learning algorithms. Such interest has grown in the area of music information retrieval (MIR) as well, particularly in music audio classification tasks such as auto-tagging. In this paper, we present a two-stage learning model to effectively predict multiple labels from music audio. The first stage learns to project local spectral patterns of an audio track onto a high-dimensional sparse space in an unsupervised manner and summarizes the audio track as a bag-of-features. The second stage successively performs the unsupervised learning on the bag-of-features in a layer-by-layer manner to initialize a deep neural network and finally fine-tunes it with the tag labels. Through the experiment, we rigorously examine training choices and tuning parameters, and show that the model achieves high performance on Magnatagatune, a popularly used dataset in music auto-tagging.


title: Strongly lensed gravitational waves from intrinsically faint double compact binaries - prediction for the Einstein Telescope

abstract: With a fantastic sensitivity improving significantly over the advanced GW detectors, Einstein Telescope (ET) will be able to observe hundreds of thousand inspiralling double compact objects per year. By virtue of gravitational lensing effect, intrinsically unobservable faint sources can be observed by ET due to the magnification by intervening galaxies. We explore the possibility of observing such faint sources amplified by strong gravitational lensing. Following our previous work, we use the merger rates of DCO (NS-NS,BH-NS,BH-BH systems) as calculated by Dominik et al.(2013). It turns out that tens to hundreds of such (lensed) extra events will be registered by ET. This will strongly broaden the ET's distance reach for signals from such coalescences to the redshift range z=2 - 8. However, with respect to the full inspiral event catalog this magnification bias is at the level of 0.001 and should not affect much cosmological inferences.


title: Dependence of Coronal Loop Heating on the Characteristics of Slow Photospheric Motions

abstract: The Parker hypothesis (Parker (1972)) assumes that heating of coronal loops occurs due to reconnection, induced when photospheric motions braid field lines to the point of current sheet formation. In this contribution we address the question of how the nature of photospheric motions affects heating of braided coronal loops. We design a series of boundary drivers and quantify their properties in terms of complexity and helicity injection. We examine a series of long-duration full resistive MHD simulations in which a simulated coronal loop, consisting of initially uniform field lines, is subject to these photospheric flows. Braiding of the loop is continually driven until differences in behaviour induced by the drivers can be characterised. It is shown that heating is crucially dependent on the nature of the photospheric driver - coherent motions typically lead to fewer large energy release events, while more complex motions result in more frequent but less energetic heating events.


title: HoneyMesh: Preventing Distributed Denial of Service Attacks using Virtualized Honeypots

abstract: Today, internet and web services have become an inseparable part of our lives. Hence, ensuring continuous availability of service has become imperative to the success of any organization. But these services are often hampered by constant threats from myriad types of attacks. One such attack is called distributed denial of service attack that results in issues ranging from temporary slowdown of servers to complete non-availability of service. Honeypot, which is a sort of a trap, can be used to interact with potential attackers to deflect, detect or prevent such attacks and ensure continuous availability of service. This paper gives insights into the problems posed by distributed denial of service attacks, existing solutions that use honeypots and how a mesh of virtualized honeypots can be used to prevent distributed denial of service attacks.


title: AdaDelay: Delay Adaptive Distributed Stochastic Convex Optimization

abstract: We study distributed stochastic convex optimization under the delayed gradient model where the server nodes perform parameter updates, while the worker nodes compute stochastic gradients. We discuss, analyze, and experiment with a setup motivated by the behavior of real-world distributed computation networks, where the machines are differently slow at different time. Therefore, we allow the parameter updates to be sensitive to the actual delays experienced, rather than to worst-case bounds on the maximum delay. This sensitivity leads to larger stepsizes, that can help gain rapid initial convergence without having to wait too long for slower machines, while maintaining the same asymptotic complexity. We obtain encouraging improvements to overall convergence for distributed experiments on real datasets with up to billions of examples and features.


title: Generalized covering space theories

abstract: In this paper, we unify various approaches to generalized covering space theory by introducing a categorical framework in which coverings are defined purely in terms of unique lifting properties. For each category $\mathcal{C}$ of path-connected spaces having the unit disk as an object, we construct a category of $\mathcal{C}$-coverings over a given space $X$ that embeds in the category of $\pi_1(X,x_0)$-sets via the usual monodromy action on fibers. When $\mathcal{C}$ is extended to its coreflective hull $\mathscr{H}(\mathcal{C})$, the resulting category of based $\mathscr{H}(\mathcal{C})$-coverings is complete, has an initial object, and often characterizes more of the subgroup lattice of $\pi_1(X,x_0)$ than traditional covering spaces. We apply our results to three special coreflective subcategories: (1) The category of $\Delta$-coverings employs the convenient category of $\Delta$-generated spaces and is universal in the sense that it contains every other generalized covering category as a subcategory. (2) In the locally path-connected category, we preserve notion of generalized covering due to Fischer and Zastrow and characterize the topology of such coverings using the standard whisker topology. (3) By employing the coreflective hull $\mathbf{Fan}$ of the category of all contractible spaces, we characterize the notion of continuous lifting of paths and identify the topology of $\mathbf{Fan}$-coverings as the natural quotient topology inherited from the path space.


title: Anomalous Ballistic Transport in Disordered Bilayer Graphene: Dimer Vacancies induced Dirac Semimetal

abstract: We report anomalous quantum transport features in bilayer graphene in presence of a random distribution of structural vacancies. By using an efficient real-space Kubo-Greenwood transport methodology, the impact of a varying density of dimer versus non-dimer vacancies is investigated in very large scale disordered models. While non-dimer vacancies are shown to induce localization regimes, dimer vacancies result in an unexpected ballistic regime whose energy window surprisingly enlarges with increasing impurity density. Such counterintuitive phenomenon is explained by the formation of an effective linear dispersion in the bilayer bandstructure, which roots in the symmetry breaking effects driven by dimer vacancies, and provides a novel realization of Dirac semimetals in high dimension.


title: Supersymmetric geometries of IIA supergravity II

abstract: We solve the Killing spinor equations of standard and massive IIA supergravities for a Killing spinor whose isotropy subgroup in Spin(9, 1) is SU(4) and identify the geometry of the spacetime. We demonstrate that the Killing spinor equations impose some mild constraints on the geometry of the spacetime which include the existence of a time-like Killing vector field which leaves the fields and the Killing spinor invariant.


title: Observing the Rosensweig instability of a quantum ferrofluid

abstract: Ferrofluids show unusual hydrodynamic effects due to the magnetic nature of their constituents. For increasing magnetization a classical ferrofluid undergoes a Rosensweig instability and creates self-organized ordered surface structures or droplet crystals. A Bose-Einstein condensate with strong dipolar interactions is a quantum ferrofluid that also shows superfluidity. The field of dipolar quantum gases is motivated by the search for new phases that break continuous symmetries. The simultaneous breaking of continuous symmetries like the phase invariance for the superfluid state and the translational symmetry for a crystal provides the basis of novel states of matter. However, interaction-induced crystallization in a superfluid has not been observed. Here we use in situ imaging to directly observe the spontaneous transition from an unstructured superfluid to an ordered arrangement of droplets in an atomic dysprosium Bose-Einstein condensate. By utilizing a Feshbach resonance to control the interparticle interactions, we induce a finite-wavelength instability and observe discrete droplets in a triangular structure, growing with increasing atom number. We find that these states are surprisingly long-lived and measure a hysteretic behaviour, which is typical for a crystallization process and in close analogy to the Rosensweig instability. Our system can show both superfluidity and, as shown here, spontaneous translational symmetry breaking. The presented observations do not probe superfluidity in the structured states, but if the droplets establish a common phase via weak links, this system is a very good candidate for a supersolid ground state.


title: Searching for Very High Energy Emission from Pulsars Using the High Altitude Water Cherenkov (HAWC) Observatory

abstract: There are currently over 160 known gamma-ray pulsars. While most of them are detected only from space, at least two are now seen also from the ground. MAGIC and VERITAS have measured the gamma ray pulsed emission of the Crab pulsar up to hundreds of GeV and more recently MAGIC has reported emission at $\sim2$ TeV. Furthermore, in the Southern Hemisphere, H.E.S.S. has detected the Vela pulsar above 30 GeV. In addition, non-pulsed TeV emission coincident with pulsars has been detected by many groups, including the Milagro Collaboration. These GeV-TeV observations open the possibility of searching for very-high-energy (VHE, > 100GeV) pulsations from gamma-rays pulsars in the HAWC field of view.


title: Observed trend in the star formation history and the dark matter fraction of galaxies at redshift $z\approx0.8$

abstract: We study the star formation history for a sample of 154 galaxies with stellar mass $10^{10}\lesssim M_{\ast}\lesssim 10^{12} M_{\odot}$ in the redshift range $0.7 < z < 0.9$. We do this using stellar population models combined with full-spectrum fitting of good quality spectra and high resolution photometry. For a subset of 68 galaxies ($M_{\ast}\gtrsim 10^{11} M_{\odot}$) we additionally construct dynamical models. These use an axisymmetric solution to the Jeans equations, which allows for velocity anisotropy, and adopts results from abundance matching techniques to account for the dark matter content. We find that: (i) The trends in star formation history observed in the local universe are already in place by $z\sim1$: the most massive galaxies are already passive, while lower mass ones have a more extended star formation histories, and the lowest mass galaxies are actively forming stars; (ii) we place an upper limit of a factor 1.5 to the size growth of the massive galaxy population; (iii) we present strong evidence for low dark matter fractions within $1R_{\rm e}$ (median of 9 per cent and 90th percentile of 21 per cent) for galaxies with $M_{\ast} \gtrsim 10^{11} M_{\odot}$ at these redshifts; and (iv) we confirm that these galaxies have, on average, a Salpeter normalisation of the stellar initial mass function.


title: Topological inflation with graceful exit

abstract: We investigate a class of models of topological inflation in which a super-Hubble-sized global monopole seeds inflation. These models are attractive since inflation starts from rather generic initial conditions, but their not so attractive feature is that, unless symmetry is again restored, inflation never ends. In this work we show that, in presence of another nonminimally coupled scalar field, that is both quadratically and quartically coupled to the Ricci scalar, inflation naturally ends, representing an elegant solution to the graceful exit problem of topological inflation. While the monopole core grows during inflation, the growth stops after inflation, such that the monopole eventually enters the Hubble radius, and shrinks to its Minkowski space size, rendering it immaterial for the subsequent Universe's dynamics. Furthermore, we find that our model can produce cosmological perturbations that source CMB temperature fluctuations and seed large scale structure statistically consistent (within one standard deviation) with all available data. In particular, for small and (in our convention) negative nonminimal couplings, the scalar spectral index can be as large as $n_s\simeq 0.955$, which is about one standard deviation lower than the central value quoted by the most recent Planck Collaboration.


title: Improved shift estimates on extended Shack-Hartmann wavefront sensor images

abstract: An important factor which affects performance of solar adaptive optics (AO) systems is the accuracy of tracking an extended object in the wavefront sensor. The accuracy of a centre-ofmass approach to image shift measurement depends on the parameters applied in thresholding the recorded image; however, there exists no analytical prediction for these parameters for extended objects. Motivated by this we present a new method for exploring the parameter space of image shift measurement algorithms, and apply this to optimize the parameters of the algorithm. Using a thresholded, windowed centre of mass, we are able to improve centroid accuracy compared to the typical parabolic fitting approach by a factor of 3 in a signal-to-noise regime typical for solar AO. Exploration of the parameters occurs after initial image crosscorrelation with a reference image, so does not require regeneration of correlation images. The results presented employ methods which can be used in real-time to estimate the error on centroids, allowing the system to use real data to optimize parameters, without needing to enter a separate calibration mode. This method can also be applied outside of solar AO to any field which requires the tracking of an extended object.


title: Formulas for generalized principal Lyapunov exponent for parabolic PDEs

abstract: An integral formula is given representing the generalized principal Lyapunov estimate for random linear parabolic PDEs. As an application, an upper estimate of the exponent is obtained.


title: Message Passing and Combinatorial Optimization

abstract: Graphical models use the intuitive and well-studied methods of graph theory to implicitly represent dependencies between variables in large systems. They can model the global behaviour of a complex system by specifying only local factors. This thesis studies inference in discrete graphical models from an algebraic perspective and the ways inference can be used to express and approximate NP-hard combinatorial problems. We investigate the complexity and reducibility of various inference problems, in part by organizing them in an inference hierarchy. We then investigate tractable approximations for a subset of these problems using distributive law in the form of message passing. The quality of the resulting message passing procedure, called Belief Propagation (BP), depends on the influence of loops in the graphical model. We contribute to three classes of approximations that improve BP for loopy graphs A) loop correction techniques; B) survey propagation, another message passing technique that surpasses BP in some settings; and C) hybrid methods that interpolate between deterministic message passing and Markov Chain Monte Carlo inference. We then review the existing message passing solutions and provide novel graphical models and inference techniques for combinatorial problems under three broad classes: A) constraint satisfaction problems such as satisfiability, coloring, packing, set / clique-cover and dominating / independent set and their optimization counterparts; B) clustering problems such as hierarchical clustering, K-median, K-clustering, K-center and modularity optimization; C) problems over permutations including assignment, graph morphisms and alignment, finding symmetries and traveling salesman problem. In many cases we show that message passing is able to find solutions that are either near optimal or favourably compare with today's state-of-the-art approaches.


title: A molecular line survey of a sample of AGB stars and planetary nebulae

abstract: A millimeter molecular line survey of three carbon-rich AGB stars and two oxygen-rich planetary nebulae has been carried out over the frequency range 80.5-115.5 GHz. Sixty eight different transitions were detected in the data from 27 different molecular species. The hyperfine structure of C2H and C13CH has been fitted to constrain the optical depth of their transitions. All other transitions have been constrained on the basis of their line profile shapes. Rotation temperatures and column densities have been calculated for all possible species, with adaptations to the methods applied in order to account for the hyperfine structure of various transitions. From the column densities, carbon, silicon and sulphur isotopic ratios have been determined. The results corroborate IRAS 15194-5115 as a J-type star, whilst excluding IRAS 15082-4808 and IRAS 07454-7112 as such.


title: Generic character sheaves on groups over $\kk[\e]/(\e^r)$

abstract: Let $G$ be a connected reductive group over $\kk$, an algebraic closure of a finite field. For an integer $r\ge 1$ let $G_r=G(\kk[\e]/(\e^r))$ viewed as an algebraic group of dimension $r\dim G$ over $\kk$. We show that the character of the generic principal series representation of $G_r(F_q)$ can be realized by a simple perverse sheaf on $G_r$ provided that $r=2$ or $r=4$ and we give a strategy to prove the same statement for any even $r$. (The case where $r=1$ is already known.)


title: Suppression of orbital ordering by chemical pressure in FeSe1-xSx

abstract: We report a high-resolution angle-resolved photo-emission spectroscopy study of the evolution of the electronic structure of FeSe1-xSx single crystals. Isovalent S substitution onto the Se site constitutes a chemical pressure which subtly modifies the electronic structure of FeSe at high temperatures and induces a suppression of the tetragonal-symmetry-breaking structural transition temperature from 87K to 58K for x=0.15. With increasing S substitution, we find smaller splitting between bands with dyz and dxz orbital character and weaker anisotropic distortions of the low temperature Fermi surfaces. These effects evolve systematically as a function of both S substitution and temperature, providing strong evidence that an orbital ordering is the underlying order parameter of the structural transition in FeSe1-xSx. Finally, we detect the small inner hole pocket for x=0.12, which is pushed below the Fermi level in the orbitally-ordered low temperature Fermi surface of FeSe.


title: On the Packet Allocation of Multi-Band Aggregation Wireless Networks

abstract: The use of heterogeneous networks with multiple radio access technologies (RATs) is a system concept that both academia and industry are studying. In such system, integrated use of available multiple RATs is essential to achieve beyond additive throughput and connectivity gains using multi-dimensional diversity. This paper considers an aggregation module called opportunistic multi-MAC aggregation (OMMA). It resides between the IP layer and the air interface protocol stacks, common to all RATs in the device. We present a theoretical framework for such system while considering a special case of multi-RAT systems, i.e., a multi-band wireless LAN (WLAN) system. An optimal packet distribution approach is derived which minimizes the average packet latency (the sum of queueing delay and serving delay) over multiple bands. It supports multiple user terminals with different QoS classes simultaneously. We further propose a packet scheduling algorithm, OMMA Leaky Bucket, which minimizes the packet end-to-end delay, i.e., the sum of average packet latency and average packet reordering delay. We also describe the system architecture of the proposed OMMA system, which is applicable for the general case of the multi- RAT devices. It includes functional description, discovery and association processes, and dynamic RAT update management. We finally present simulation results for a multi-band WLAN system. It shows the performance gains of the proposed OMMA Leaky Bucket scheme in comparison to other existing packet scheduling mechanisms.


title: The Asymptotic Dimension of Box Spaces for Elementary Amenable Groups

abstract: We show that the asymptotic dimension of box spaces behaves (sub)additively with respect to extensions of groups. As a result, we obtain that for an elementary amenable group, the asymptotic dimension of any of its box spaces is bounded above by its Hirsch length. This bound is shown to be an equality for a large subclass of groups including all virtually polycyclic groups.


title: Neutron star structure from QCD

abstract: In this review article, we argue that our current understanding of the thermodynamic properties of cold QCD matter, originating from first principles calculations at high and low densities, can be used to efficiently constrain the macroscopic properties of neutron stars. In particular, we demonstrate that combining state-of-the-art results from Chiral Effective Theory and perturbative QCD with the current bounds on neutron star masses, the Equation of State of neutron star matter can be obtained to an accuracy better than 30% at all densities.


title: Atomic Diffusion in the Surface State of Mott Insulator NiS2

abstract: We present resistivity measurements of Mott insulator NiS2 single crystals after heat treatment. We find a strong increase of the low temperature resistivity that relaxes back towards the pristine behaviour over several days with a time constant of 45 h at room temperature. The low temperature resistivity has previously been shown to be dominated by surface conduction (T. Thio and J. Bennett, PRB 50 10574 1994). Consequently, the changes induced by heat treatment are attributed to changes to surface states. Our results suggest the creation of vacancies in the surface that re refilled from the bulk via atomic diffusion. We estimate a diffusion constant of $D \approx 10^{-10}$ m$^2$/s at room temperature. We identify sulphur vacancies as the most likely to form via oxidisation of sulphur forming volatile SO2 during heat treatment. Our results point towards these sulphur vacancies to be the source of surface state localisation in NiS2.


title: Participatory Sensing for Government-Centric Applications: A Singapore Case Study

abstract: Singapore, an urbanized and populated country with high penetration of smartphones, provides an excellent base for citizen-centric participatory sensing applications. Mobile participatory sensing applications offer an efficient means of directing feedback to government agencies for timely identifying and solving problems of citizens' concern. While real deployments of such applications are on an uprising trend in Singapore, there is no concerted effort that studies the {\em user experience} of these applications. To fill this gap, we conduct a market study by analyzing the user reviews on the Google Play and Apple App Store for six major mobile crowdsourcing applications created by Singapore government agencies. This study was carried out for a period of 4 months during which we collected and analyzed 592 customer reviews. This was also supplemented by our personal use of the applications during the same period. This paper presents the methodology and findings of this study, as well as our recommendations of what improvements that these applications could incorporate. We classify user reviews into 8 major concerns, and recommend 9 features to enhance the applications' utility. The recommendations are presented in terms of user interface, incentive, and publicity.


title: Disentangling the jet emission from protostellar systems. The ALMA view of VLA1623

abstract: Context: High-resolution studies of class 0 protostars represent the key to constraining protostar formation models. VLA16234-2417 represents the prototype of class 0 protostars, and it has been recently identified as a triple non-coeval system. Aim: We aim at deriving the physical properties of the jets in VLA16234-2417 using tracers of shocked gas. Methods: ALMA Cycle 0 Early Science observations of CO(2-1) in the extended configuration are presented in comparison with previous SMA CO(3-2) and Herschel-PACS [OI}] 63 micron observations. Gas morphology and kinematics were analysed to constrain the physical structure and origin of the protostellar outflows. Results: We reveal a collimated jet component associated with the [OI] 63 micron emission at about 8'' (about 960 AU) from source B. This newly detected jet component is inversely oriented with respect to the large-scale outflow driven by source A, and it is aligned with compact and fast jet emission very close to source B (about 0.3'') rather than with the direction perpendicular to the A disk. We also detect a cavity-like structure at low projected velocities, which surrounds the [OI] 63 micron emission and is possibly associated with the outflow driven by source A. Finally, no compact outflow emission is associated with source W. Conclusions: Our high-resolution ALMA observations seem to suggest there is a fast and collimated jet component associated with source B. This scenario would confirm that source B is younger than A, that it is in a very early stage of evolution, and that it drives a faster, more collimated, and more compact jet with respect to the large-scale slower outflow driven by A. However, a different scenario of a precessing jet driven by A cannot be firmly excluded from the present observations.


title: Games for Dependent Types

abstract: We present a model of dependent type theory (DTT) with Pi-, 1-, Sigma- and intensional Id-types, which is based on a slight variation of the category of AJM-games and history-free winning strategies. The model satisfies Streicher's criteria of intensionality and refutes function extensionality. The principle of uniqueness of identity proofs is satisfied. We show it contains a submodel as a full subcategory which gives a faithful model of DTT with Pi-, 1-, Sigma- and intensional Id-types and, additionally, finite inductive type families. This smaller model is fully (and faithfully) complete with respect to the syntax at the type hierarchy built without Id-types, as well as at the class of types where we allow for one strictly positive occurrence of an Id-type. Definability for the full type hierarchy with Id-types remains to be investigated.


title: Distant set distinguishing edge colourings of graphs

abstract: We consider the following extension of the concept of adjacent strong edge colourings of graphs without isolated edges. Two distinct vertices which are at distant at most $r$ in a graph are called $r$-adjacent. The least number of colours in a proper edge colouring of a graph $G$ such that the sets of colours met by any $r$-adjacent vertices in $G$ are distinct is called the $r$-adjacent strong chromatic index of $G$ and denoted by $\chi'_{a,r}(G)$. It has been conjectured that $\chi'_{a,1}(G)\leq\Delta+2$ if $G$ is connected of maximum degree $\Delta$ and non-isomorphic to $C_5$, while Hatami proved that there is a constant $C$, $C\leq 300$, such that $\chi'_{a,1}(G)\leq\Delta+C$ if $\Delta>10^{20}$ [J. Combin. Theory Ser. B 95 (2005) 246--256]. We conjecture that a similar statement should hold for any $r$, i.e., that for each positive integer $r$ there exist constants $\delta_0$ and $C$ such that $\chi'_{a,r}(G) \leq \Delta+C$ for every graph without an isolated edge and with minimum degree $\delta \geq \delta_0$, and argue that a lower bound on $\delta$ is unavoidable in such a case (for $r>2$). Using the probabilistic method we prove such upper bound to hold for graphs with $\delta\geq \epsilon\Delta$, for every $r$ and any fixed $\varepsilon\in(0,1]$, i.e., in particular for regular graphs. We also support the conjecture by proving an upper bound $\chi'_{a,r}(G) \leq (1+o(1))\Delta$ for graphs with $\delta\geq r+2$.