title: On closed subalgebras of CB(X)

abstract: For a completely regular space $X$ and a non-vanishing self-adjoint closed subalgebra $H$ of $C_B(X)$ which separates points from closed sets in $X$ we construct the Gelfand spectrum $\mathfrak{sp}(H)$ of $H$ as an open subspace of the compactification of $X$ generated by $H$. The simple construction of $\mathfrak{sp}(H)$ enables easier examination of its properties. We illustrate this by an example showing that the space $\mathfrak{sp}(H)$ is separable metrizable if and only if $H$ is countably generated.


title: Deterministic Computations on a PRAM with Static Processor and Memory Faults

abstract: We consider Parallel Random Access Machine (PRAM) which has some processors and memory cells faulty. The faults considered are static, i.e., once the machine starts to operate, the operational/faulty status of PRAM components does not change. We develop a deterministic simulation of a fully operational PRAM on a similar faulty machine which has constant fractions of faults among processors and memory cells. The simulating PRAM has $n$ processors and $m$ memory cells, and simulates a PRAM with $n$ processors and a constant fraction of $m$ memory cells. The simulation is in two phases: it starts with preprocessing, which is followed by the simulation proper performed in a step-by-step fashion. Preprocessing is performed in time $O((\frac{m}{n}+ \log n)\log n)$. The slowdown of a step-by-step part of the simulation is $O(\log m)$.


title: Cardinal characteristics of the continuum and partitions

abstract: We prove combinatorial theorems concerning the stick principle and cardinal characteristics.


title: The first omitting cardinal for Magidority

abstract: We prove that $\alpha_M(\lambda)$ can be successor of a supercompact cardinal, when $\lambda$ is a Magidor cardinal. From this result we obtain the consistency of $\alpha_M(\lambda)$ being a successor of a singular cardinal with uncountable cofinality.


title: Uniform modular lattices and affine buildings

abstract: In this paper, we present a simple lattice-theoretic characterization for affine buildings of type A. We introduce a class of modular lattices, called uniform modular lattices, and show that uniform modular lattices and affine buildings of type A constitute the same object. This is an affine counterpart of the well-known equivalence between projective geometries ($\simeq$ complemented modular lattices) and spherical buildings of type A.


title: Isometric Embedding and Darboux Integrability

abstract: Given a smooth 2-dimensional Riemannian or pseudo-Riemannian manifold $(M, \boldsymbol{g})$ and an ambient 3-dimensional Riemannian or pseudo-Riemannian manifold $(N, \boldsymbol{h})$, one can ask under what circumstances does the exterior differential system $\mathcal{I}$ for the isometric embedding $M\hookrightarrow N$ have particularly nice solvability properties. In this paper we give a classification of all $2$-metrics $\boldsymbol{g}$ whose local isometric embedding system into flat Riemannian or pseudo-Riemannian 3-manifolds $(N, \boldsymbol{h})$ is Darboux integrable. As an illustration of the motivation behind the classification, we examine in detail one of the classified metrics, $\boldsymbol{g}_0$, showing how to use its Darboux integrability in order to construct all its embeddings in finite terms of arbitrary functions. Additionally, the geometric Cauchy problem for the embedding of $\boldsymbol{g}_0$ is shown to be reducible to a system of two first-order ODEs for two unknown functions---or equivalently, to a single second-order scalar ODE. For a large class of initial data, this reduction permits explicit solvability of the geometric Cauchy problem for $\boldsymbol{g}_0$ up to quadrature. The results described for $\boldsymbol{g}_0$ also hold for any classified metric whose embedding system is hyperbolic.


title: Estimating symplectic capacities from lengths of closed curves on the unit spheres

abstract: We improve the estimates for the Ekeland--Hofer--Zehnder capacity of convex bodies by Gluskin and Ostrover. In the course of our argument we show that a closed characteristic of minimal action on the boundary of a centrally symmetric convex body in $\mathbb R^{2n}$ must itself be centrally symmetric, with generalizations to some other types of symmetry.


title: A Robust Bayesian Exponentially Tilted Empirical Likelihood Method

abstract: This paper proposes a new Bayesian approach for analysing moment condition models in the situation where the data may be contaminated by outliers. The approach builds upon the foundations developed by Schennach (2005) who proposed the Bayesian exponentially tilted empirical likelihood (BETEL) method, justified by the fact that an empirical likelihood (EL) can be interpreted as the nonparametric limit of a Bayesian procedure when the implied probabilities are obtained from maximizing entropy subject to some given moment constraints. Considering the impact that outliers are thought to have on the estimation of population moments, we develop a new robust BETEL (RBETEL) inferential methodology to deal with this potential problem. We show how the BETEL methods are linked to the recent work of Bissiri, Holmes and Walker (2016) who propose a general framework to update prior belief via a loss function. A controlled simulation experiment is conducted to investigate the performance of the RBETEL method. We find that the proposed methodology produces reliable posterior inference for the fundamental relationships that are embedded in the majority of the data, even when outliers are present. The method is also illustrated in an empirical study relating brain weight to body weight using a dataset containing sixty-five different land animal species.


title: Effect of non-stationary accretion on spectral state transitions: An example of a persistent neutron star LMXB 4U 1636-536

abstract: Observations of the black hole and neutron star X-ray binaries show that the luminosity of the hard-to-soft state transition is usually higher than that of the soft-to-hard state transition, indicating additional parameters other than the mass accretion rate is required to interpret spectral state transitions. It has been found in some individual black hole or neutron star soft X-ray transients that the luminosity corresponding to the hard-to-soft state transition is positively correlated with the peak luminosity of the following soft state. In this work, we report the discovery of the same correlation in a single persistent neutron star low mass X-ray binary (LMXB) 4U1636-536 based on the data from the All Sky Monitor(ASM) on board the {\it RXTE}, the Gas Slit Camera (GSC) on board the {\it MAXI} and the Burst Alert Telescope (BAT) on board the {\it Swift}. We also found such a positive correlation holds in the persistent neutron star LMXB in a luminosity range spanning by about a factor of four. Our results indicates that non-stationary accretion also plays an important role in driving X-ray spectral state transitions in persistent accreting systems with small accretion flares, which is much less dramatic compared with the bright outbursts seen in many Galactic LMXB transients.


title: On R-matrix valued Lax pairs for Calogero-Moser models

abstract: The article is devoted to the study of $R$-matrix-valued Lax pairs for $N$-body (elliptic) Calogero-Moser models. Their matrix elements are given by quantum ${\rm GL}_{\tilde N}$ $R$-matrices of Baxter-Belavin type. For $\tilde N=1$ the widely known Krichever's Lax pair with spectral parameter is reproduced. First, we construct the $R$-matrix-valued Lax pairs for Calogero-Moser models associated with classical root systems. For this purpose we study generalizations of the D'Hoker-Phong Lax pairs. It appeared that in the $R$-matrix-valued case the Lax pairs exist in special cases only. The number of quantum spaces (on which $R$-matrices act) and their dimension depend on the values of coupling constants. Some of the obtained classical Lax pairs admit straightforward extension to the quantum case. In the end we describe a relationship of the $R$-matrix-valued Lax pairs to Hitchin systems defined on ${\rm SL}_{N\tilde N}$ bundles with nontrivial characteristic classes over elliptic curve. We show that the classical analogue of the anisotropic spin exchange operator entering the $R$-matrix-valued Lax equations is reproduced in these models.


title: A GPU Accelerated Discontinuous Galerkin Incompressible Flow Solver

abstract: We present a GPU-accelerated version of a high-order discontinuous Galerkin discretization of the unsteady incompressible Navier-Stokes equations. The equations are discretized in time using a semi-implicit scheme with explicit treatment of the nonlinear term and implicit treatment of the split Stokes operators. The pressure system is solved with a conjugate gradient method together with a fully GPU-accelerated multigrid preconditioner which is designed to minimize memory requirements and to increase overall performance. A semi-Lagrangian subcycling advection algorithm is used to shift the computational load per timestep away from the pressure Poisson solve by allowing larger timestep sizes in exchange for an increased number of advection steps. Numerical results confirm we achieve the design order accuracy in time and space. We optimize the performance of the most time-consuming kernels by tuning the fine-grain parallelism, memory utilization, and maximizing bandwidth. To assess overall performance we present an empirically calibrated roofline performance model for a target GPU to explain the achieved efficiency. We demonstrate that, in the most cases, the kernels used in the solver are close to their empirically predicted roofline performance.

categories: math.NA cs.DC cs.PF physics.comp-ph physics.flu-dyn


title: Spin Structures and Branch Divisors on $p$-gonal Riemann surfaces

abstract: We study spin structures on Riemann and Klein surfaces in terms of divisors. In particular, we take a closer look at spin structures on hyperelliptic and $p$-gonal surfaces defined by divisors supported on their branch points. Moreover, we study invariant spin divisors under automorphisms and anti-holomorphic involutions of Riemann surfaces.


title: Resonance in modulation instability from non-instantaneous nonlinearities

abstract: To explore resonance phenomena in the nonlinear region, we show by experimental measurements and theoretical analyses that resonance happens in modulation instability (MI) from non-instantaneous nonlinearities in photorefractive crystals. With a temporally periodic modulation in the external bias voltage, corresponding to a modulation in the nonlinear strength, an enhancement in the visibility of MI at resonant frequency is reported through spontaneous optical pattern formations. Modeled by such temporally periodic nonlinear driving force to the system, theoretical curves obtained from a nonlinear non-instantaneous Schr\"{o}dinger equation give good agreement to experimental data. As MI is a universal signature of symmetry-breaking phenomena, our observation on the resonance in MI may provide a control on chaotic, solitary, and turbulence waves.


title: Tiling enumeration of doubly-intruded halved hexagons

abstract: Inspired by Propp's intruded Aztec diamond regions, we consider halved hexagons in which two aligned arrays of triangular holes have been removed from their boundaries. Unlike the intruded Aztec diamonds (whose numbers of domino tilings contain some large prime factors in their factorizations), the numbers of lozenge tilings of our doubly-intruded halved hexagons are given by simple product formulas in which all factors are linear in the parameters. In this paper, we present an extensive list of exact tiling enumerations of sixteen different types of doubly-intruded halved hexagons. We also prove that the lozenge tilings of a symmetric hexagon with three arrays of triangles removed are always enumerated by a closed-form product formula. Our results generalize several previous works, including Proctor's enumeration of the transposed-complementary plane partitions, related work of Ciucu, and recent generalizations of Rohatgi and of the author.


title: A Systematic Mapping Study on Requirements Engineering in Software Ecosystems

abstract: Software ecosystems (SECOs) and open innovation processes have been claimed as a way forward for the software industry. A proper understanding of requirements is as important for these IT-systems as for more traditional ones. This paper presents a mapping study on the issues of requirements engineering and quality aspects in SECOs and analyzes emerging ideas. Our findings indicate that among the various phases or subtasks of requirements engineering, most of the SECO specific research has been accomplished on elicitation, analysis, and modeling. On the other hand, requirements selection, prioritization, verification, and traceability has attracted few published studies. Among the various quality attributes, most of the SECOs research has been performed on security, performance and testability. On the other hand, reliability, safety, maintainability, transparency, usability attracted few published studies. The paper provides a review of the academic literature about SECO-related requirements engineering activities, modeling approaches, and quality attributes, positions the source publications in a taxonomy of issues and identifies gaps where there has been little research.


title: A new method for finding the minimum free energy pathway of ions and small molecule transportation through protein based on 3D-RISM theory and the string method

abstract: A new method for finding the minimum free energy pathway (MFEP) of ions and small molecule transportation through a protein based on the three-dimensional reference interaction site model (3D-RISM) theory combined with the string method has been proposed. The 3D-RISM theory produces the distribution function, or the potential of mean force (PMF), for transporting substances around and inside proteins. By applying the string method to the PMF surface, one can readily determine the MFEP of the transporting substances inside a protein. The method has been applied to consider the Na+ conduction pathway of channelrhodopsin as an example.


title: Comprehending Particle Production in Proton+Proton and Heavy-ion collisions at the Large Hadron Collider

abstract: Particle production mechanisms in proton+proton and heavy-ion collisions at the LHC energies are discussed. An attempt is made to connect p+p to heavy-ion collisions in understanding the final state observables. New emerging phenomena like Multipartonic Interactions (MPI) and Color Reconnection (CR) mechanism are important in understanding heavy-ion like behaviors in high-multiplicity p+p events. Particle spectra, Multipartonic Interactions, Strangeness enhancement, Nuclear modification factor etc. are few of the aspects, which are discussed in this presentation.


title: Global Income Inequality and Savings: A Data Science Perspective

abstract: A society or country with income equally distributed among its people is truly a fiction! The phenomena of socioeconomic inequalities have been plaguing mankind from times immemorial. We are interested in gaining an insight about the co-evolution of the countries in the inequality space, from a data science perspective. For this purpose, we use the time series data for Gini indices of different countries, and construct the equal-time cross-correlation matrix. We then use this to construct a similarity matrix and generate a map with the countries as different points generated through a multi-dimensional scaling technique. We also produce a similar map of different countries using the time series data for Gross Domestic Savings (% of GDP). We also pose a different, yet significant, question: Can higher savings moderate the income inequality? In this paper, we have tried to address this question through another data science technique - linear regression, to seek an empirical linkage between the income inequality and savings, mainly for relatively small or closed economies. This question was inspired from an existing theoretical model proposed by Chakraborti-Chakrabarti (2000), based on the principle of kinetic theory of gases. We tested our model empirically using Gini index and Gross Domestic Savings, and observed that the model holds reasonably true for many economies of the world.


title: A New Approach for Measuring Sentiment Orientation based on Multi-Dimensional Vector Space

abstract: This study implements a vector space model approach to measure the sentiment orientations of words. Two representative vectors for positive/negative polarity are constructed using high-dimensional vec-tor space in both an unsupervised and a semi-supervised manner. A sentiment ori-entation value per word is determined by taking the difference between the cosine distances against the two reference vec-tors. These two conditions (unsupervised and semi-supervised) are compared against an existing unsupervised method (Turney, 2002). As a result of our experi-ment, we demonstrate that this novel ap-proach significantly outperforms the pre-vious unsupervised approach and is more practical and data efficient as well.


title: The simulation of multilayer magnetic films

abstract: The results of numerical calculations of the thermodynamic properties of multi-layer films with alternating magnetic and non-magnetic layers were presented. Computer simulation of such structures within the frame of the classical Heisen-berg model was carried out by Monte Carlo methods. The processes of magnetiza-tion reversal of multilayer structures in external magnetic fields were investigated.


title: Context aware saliency map generation using semantic segmentation

abstract: Saliency map detection, as a method for detecting important regions of an image, is used in many applications such as image classification and recognition. We propose that context detection could have an essential role in image saliency detection. This requires extraction of high level features. In this paper a saliency map is proposed, based on image context detection using semantic segmentation as a high level feature. Saliency map from semantic information is fused with color and contrast based saliency maps. The final saliency map is then generated. Simulation results for Pascal-voc11 image dataset show 99% accuracy in context detection. Also final saliency map produced by our proposed method shows acceptable results in detecting salient points.


title: Non-invasive biomarkers of fetal brain development reflecting prenatal stress: an integrative multi-scale multi-species perspective on data collection and analysis

abstract: Prenatal stress (PS) impacts early postnatal behavioural and cognitive development. This process of 'fetal programming' is mediated by the effects of the prenatal experience on the developing hypothalamic-pituitary-adrenal (HPA) axis and autonomic nervous system (ANS). The HPA axis is a dynamic system regulating homeostasis, especially the stress response, and is highly sensitive to adverse early life experiences. We review the evidence for the effects of PS on fetal programming of the HPA axis and the ANS. We derive a multi-scale multi-species approach to devising preclinical and clinical studies to identify early non-invasively available pre- and postnatal biomarkers of these programming effects. Such approach would identify adverse postnatal brain developmental trajectories, a prerequisite for designing therapeutic interventions. The multiple scales include the biomarkers reflecting changes in the brain epigenome, metabolome, microbiome and the ANS activity gauged via an array of advanced non-invasively obtainable properties of fetal heart rate fluctuations. The proposed framework has the potential to reveal mechanistic links between maternal stress during pregnancy and changes across these physiological scales. Such biomarkers may hence be useful as early and non-invasive predictors of neurodevelopmental trajectories influenced by the PS. We conclude that studies into PS effects must be conducted on multiple scales derived from concerted observations in multiple animal models and human cohorts performed in an interactive and iterative manner and deploying machine learning for data synthesis, identification and validation of the best non-invasive biomarkers.


title: Distributed Observers Design for Leader-Following Control of Multi-Agent Networks (Extended Version)

abstract: This paper is concerned with a leader-follower problem for a multi-agent system with a switching interconnection topology. Distributed observers are designed for the second-order follower-agents, under the common assumption that the velocity of the active leader cannot be measured in real time. Some dynamic neighbor-based rules, consisting of distributed controllers and observers for the autonomous agents, are developed to keep updating the information of the leader. With the help of an explicitly constructed common Lyapunov function (CLF), it is proved that each agent can follow the active leader. Moreover, the tracking error is estimated even in a noisy environment. Finally, a numerical example is given for illustration.


title: PolicySpace: a modeling platform

abstract: Public Policy involves proposing changes to existing practices, alternatives, new habits. Citizens and institutions react accordingly, accepting, refuting or adapting. Agent-based modeling is a tool that can enrich the policy analysis package explicitly considering dynamics, space and individual-level interactions. This paper presents a modeling platform called PolicySpace that models public policies within an empirical, spatial environment using data from 46 metropolitan regions in Brazil. We describe the basics of the model, its agents and markets, the tax scheme, the parametrization, and how to run the model. Finally, we validate the model and demonstrate an application of the fiscal analysis. Besides providing the basics of the platform, our results indicate the relevance of the rules of taxes transfer for cities' quality of life.


title: Clifford Structures in Noncommutative Geometry and the Extended Scalar Sector

abstract: We consider aspects of the noncommutative approach to the standard model based on the spectral action principle. We show that as a consequence of the incorporation of the Clifford structures in the formalism, the spectral action contains an extended scalar sector, with respect to the minimal Standard Model. This may have interesting phenomenological consequences. Some of these new scalar fields carry both weak isospin and colour indexes. We calculate the new terms in spectral action due to the presence of these fields. Our analysis demonstrates that the fermionic doubling in the noncommutative geometry is not just a presence of spurious degrees of freedom, but it is an interesting and peculiar property of the formalism, which leads to physically valuable conclusions. Some of the new fields do not contribute to the physical fermionic action, but they appear in the bosonic spectral action. Their contributions to the Dirac operator correspond to couplings with the spurious fermions, which are projected out.


title: First-Order Primal-Dual Method for Nonlinear Convex Cone Programming

abstract: Nonlinear Convex Cone Programming (NCCP) problems are important and have many practical applications. In this paper, we introduces a flexible first-order primal-dual algorithm called the Variant Auxiliary Problem Principle (VAPP) for solving NCCP problems when the objective function and constraints are smooth and may be nonsmooth. Each iteration of VAPP generates a nonlinear approximation to the primal problem of an augmented Lagrangian method. The approximation incorporates both linearization and a variable distance-like function, and then the iterations of VAPP provide one decomposition property for NCCP. Motivated by recent applications in big data analysis, there has been an explosive growth in interest in the convergence rate analysis of parallel computing algorithms for large scale optimization problem. This paper proposes an iteration-based error bound and linear convergence of VAPP. Some verifiable sufficient conditions of this error bound are also discussed. For the general convex case (without error bound), we establish $O(1/t)$ convergence rate for primal suboptimality, feasibility and dual suboptimality. By adaptively setting in parameters at different iterations, we show an $O(1/t^2)$ rate for the strongly convex case. We further present Forward-Backward Splitting (FBS) formulation of VAPP method and establish the connection between VAPP and other primal-dual splitting methods. Finally, we discuss some issues in the implementation of VAPP.


title: Electronic States and Energy Dissipations of Vortex Core in Pure FeSe Single Crystals Investigated by Microwave Surface Impedance Measurements

abstract: In order to clarify electronic states and energy dissipations due to a motion of a vortex core in pure FeSe, which is a candidate superconductor possessing a super-clean core, we measured the microwave surface impedance of pure FeSe single crystals under finite magnetic fields. From the magnetic-field dependence of the flux-flow resistivity, we found that a barometer of electronic states inside the vortex core $\omega_{0}\tau_{\rm core}$ is $1\pm0.5$, suggesting that the vortex core of pure FeSe is in the moderately clean regime contrary to the expectation of the super-clean core. We also found that the mean-free path inside the vortex core is suppressed at the distance of the order of the core radius. Based on observed results and previous reports, we discussed possible origins of rather small $\omega_{0}\tau_{\rm core}$ value in terms of the multiple-bands nature of FeSe and additional mechanisms producing extra energy dissipations specific to the vortex core in motion.


title: Microstructure and elevated-temperature mechanical properties of refractory AlMo0.5NbTa0.5TiZr High Entropy Alloy fabricated by powder metallurgy

abstract: New approaches for the design of alloy systems with multiprincipal elements is recently researched in refractory materials field. However, most research aimed at arc melting process with weakness of coarsening of grains and inhomogeneous microstructure of segregation of elements during the cooling. This study aims to design and fabricate high-entropy alloy with powder metallurgy. In this study, a refractory high entropy alloys with composition near AlMo0.5NbTa0.5TiZr were produced by powder metallurgy. The alloy consists of two body-centered cubic (BCC) phases. One phase was disordered BCC enriched with Mo, Nb and Ta and the other phase was ordered BCC enriched with Al and Zr. The AlMo0.5NbTa0.5TiZr alloy had a density of 7.46g/cm3 and Vickers microhardness of 678HV. Its compressive yield strength was 2466MPa at 298K and 964MPa at 1273K. The properties of the alloy and the beneficial effects from powder metallurgy on the microstructure and properties were outlined.


title: Goldstonic pseudoscalar mesons in Bethe-Salpeter-inspired setting

abstract: For a two-particle bound-state equation closer to its Bethe-Salpeter origins than Salpeter's equation, with effective-interaction kernel deliberately forged such as to ensure, in the limit of zero mass of the bound-state constituents, the vanishing of the arising bound-state mass, we scrutinize the emerging features of the lightest pseudoscalar mesons for their agreement with the behaviour predicted by a generalization of the Gell-Mann-Oakes-Renner relation.


title: Semisimple characters for inner forms II: Quaternionic inner forms of classical groups

abstract: In this article we consider a quaternionic inner form $G$ of a $p$-adic classical group defined over a non-archimedian local field of odd residue characteristic. We construct all full self-dual semisimple characters for $G$ and we classify their intertwining classes using endo-parameters. Further we prove an intertwining and conjugacy theorem for self-dual semisimple characters. We give the formulas for the set of intertwiners between self-dual semisimple characters. We count all $G$-intertwining classes of self-dual semisimple characters which lift to the same $\tilde{G}$-intertwining class of a semisimple character for the ambient general linear group $\tilde{G}$ for $G$.


title: Double continuation regions for American and Swing options with negative discount rate in L\'evy models

abstract: In this paper we study perpetual American call and put options in an exponential L\'evy model. We consider a negative effective discount rate which arises in a number of financial applications including stock loans and real options, where the strike price can potentially grow at a higher rate than the original discount factor. We show that in this case a double continuation region arises and we identify the two critical prices. We also generalize this result to multiple stopping problems of Swing type, that is, when successive exercise opportunities are separated by i.i.d. random refraction times. We conduct an extensive numerical analysis for the Black-Scholes model and the jump-diffusion model with exponentially distributed jumps.


title: On hereditarily just infinite profinite groups with complete Hausdorff dimension spectrum

abstract: We prove that the inverse limit of certain iterated wreath products in product action have complete Hausdorff dimension spectrum with respect to their unique maximal filtration of open normal subgroups. Moreover we can produce explicitly subgroups with a specified Hausdorff dimension.


title: On the Quantum-Mechanics of a Single Photon

abstract: It is shown that a Dirac(-type) equation for a rank-two bi-spinor field on Minkowski (configuration) spacetime furnishes a Lorentz-covariant quantum-mechanical wave equation in position-space representation for a single free photon. This equation does not encounter any of the roadblocks that have obstructed previous attempts (by various authors) to formulate a {quantum-mechanical} photon wave equation. In particular, it implies that the photon wave function yields conserved non-negative Born-rule-type quantum probabilities, and that its probability current density four-vector transforms properly under Lorentz transformations. Moreover, the eigenvalues of the pertinent photon Dirac Hamiltonian and the vector eigenvalues of the photon momentum operator yield the familiar Einstein relations $E=\hbar\omega$ and ${\bf p}=\hbar{\bf k}$, respectively. Furthermore, these spin-1 wave modes are automatically transversal without the need of an additional constraint on the initial data. Some comments on other proposals to set up a photon wave equation are supplied as well.


title: Interactive Video Object Segmentation in the Wild

abstract: In this paper we present our system for human-in-the-loop video object segmentation. The backbone of our system is a method for one-shot video object segmentation. While fast, this method requires an accurate pixel-level segmentation of one (or several) frames as input. As manually annotating such a segmentation is impractical, we propose a deep interactive image segmentation method, that can accurately segment objects with only a handful of clicks. On the GrabCut dataset, our method obtains 90% IOU with just 3.8 clicks on average, setting the new state of the art. Furthermore, as our method iteratively refines an initial segmentation, it can effectively correct frames where the video object segmentation fails, thus allowing users to quickly obtain high quality results even on challenging sequences. Finally, we investigate usage patterns and give insights in how many steps users take to annotate frames, what kind of corrections they provide, etc., thus giving important insights for further improving interactive video segmentation.


title: A Hermite WENO reconstruction for fourth order temporal accurate schemes based on the GRP solver for hyperbolic conservation laws

abstract: This paper develops a new fifth order accurate Hermite WENO (HWENO) reconstruction method for hyperbolic conservation schemes in the framework of the two-stage fourth order accurate temporal discretization in [{\em J. Li and Z. Du, A two-stage fourth order time-accurate discretization {L}ax--{W}endroff type flow solvers, {I}. {H}yperbolic conservation laws, SIAM, J. Sci. Comput., 38 (2016), pp.~A3046--A3069}]. Instead of computing the first moment of the solution additionally in the conventional HWENO or DG approach, we can directly take the {\em interface values}, which are already available in the numerical flux construction using the generalized Riemann problem (GRP) solver, to approximate the first moment. The resulting scheme is fourth order temporal accurate by only invoking the HWENO reconstruction twice so that it becomes more compact. Numerical experiments show that such compactness makes significant impact on the resolution of nonlinear waves.


title: Hydrodynamic Collectivity in Proton--Proton Collisions at 13 TeV

abstract: In this paper, we investigate the hydrodynamic collectivity in proton--proton (pp) collisions at 13 TeV, using iEBE-VISHNU hybrid model with HIJING initial conditions. With properly tuned parameters, our model simulations can remarkably describe all the measured 2-particle correlations, including integrated and differential elliptic flow coefficients for all charged and identified hadrons ($K_S^0$, $\Lambda$). However, our model calculations show positive 4-particle cumulant $c_{2}\{4\}$ in high multiplicity pp collisions, and can not reproduce the negative $c_{2}\{4\}$ measured in experiment. Further investigations on the HIJING initial conditions show that the fluctuations of the second order anisotropy coefficient $\varepsilon_{2}$ increases with the increase of its mean value, which leads to a similar trend of the flow fluctuations. For a simultaneous description of the 2- and 4- particle cumulants within the hydrodynamic framework, it is required to have significant improvements on initial condition for pp collisions, which is still lacking of knowledge at the moment.


title: Radially falling test particle approaching an evaporating black hole

abstract: A simple model for an evaporating non-rotating black hole is considered, employing a global time that does not become singular at the putative horizon. The dynamics of a test particle falling radially towards the center of the black hole is then investigated. Contrary to a previous approach, we find that the particle may pass the Schwarzschild radius before the black hole has gone. Backreaction effects of Hawking radiation on the space-time metric are not considered, rather a purely kinematical point of view is taken here. The importance of choosing an appropriate time coordinate when describing physical processes in the vicinity of the Schwarzschild radius is emphasized. For a shrinking black hole, the true event horizon is found to be inside the sphere delimited by that radius.


title: A new bound on polymer quantization via an opto-mechanical setup

abstract: The existence of a minimal measurable length as a characteristic length in the Planck scale is one of the main features of quantum gravity and has been widely explored in the context. Various different deformations of spacetime have been employed successfully for the purpose. However, polymer quantization approach is a relatively new and dynamic field towards the quantum gravity phenomenology, which emerges from the symmetric sector of the loop quantum gravity. In this article, we extend the standard ideas of polymer quantization to find a new and tighter bound on the polymer deformation parameter. Our protocol relies on an opto-mechanical experimental setup that was originally proposed in Ref.\cite{ref:Igor} to explore some interesting phenomena by embedding the minimal length into the standard canonical commutation relation. We extend this scheme to probe the \emph{polymer length} deformed canonical commutation relation of the center of mass mode of a mechanical oscillator with a mass around the Planck scale. The method utilizes the novelty of exchanging the relevant mechanical information with a high intensity optical pulse inside an optical cavity. We also demonstrate that our proposal is within the reach of the current technologies and, thus, it could uncover a decent realization of quantum gravitational phenomena thorough a simple table-top experiment.


title: A Hierarchical Multivariate Spatio-Temporal Model for Large Clustered Climate data with Annual Cycles

abstract: We present a multivariate hierarchical space-time model to describe the joint series of monthly extreme temperatures and amounts of rainfall. Data are available for 360 monitoring stations over 60 years, with missing data affecting almost all series. Model components account for spatio-temporal dependence with annual cycles, dependence on covariates and between responses. The very large amount of data is tackled modeling the spatio-temporal dependence by the nearest neighbor Gaussian process. Response multivariate dependencies are described using the linear model of coregionalization, while annual cycles are assessed by a circular representation of time. The proposed approach allows imputation of missing values and easy interpolation of climate surfaces at the national level. The motivation behind is the characterization of the so called ecoregions over the Italian territory. Ecoregions delineate broad and discrete ecologically homogeneous areas of similar potential as regards the climate, physiography, hydrography, vegetation and wildlife, and provide a geographic framework for interpreting ecological processes, disturbance regimes, vegetation patterns and dynamics. To now, the two main Italian macro-ecoregions are hierarchically arranged into 35 zones. The current climatic characterization of Italian ecoregions is based on data and bioclimatic indices for the period 1955-1985 and requires an appropriate update.


title: Determination of the critical growth rate and growth temperature for group-III elements segregation using two exchanges Kinetic Model

abstract: Segregation of group-III elements during the molecular-beam epitaxy growth of III-V compounds leads to a non-abrupt interface. The composition asymmetry in the structures such as quantum wells, quantum dots, and superlattices, in turn, leads to the non-abrupt electronic band alignments that changes the optoelectronic properties of those quantum structures. We have studied the concentration profile of the group-III atoms for different growth parameters using two exchanges Kinetic Model and have determined the critical growth temperature and growth rate regions for the growth of structures with less than 10% segregation of group-III atoms.


title: Some Indications on how to Calibrate the Social Force Model of Pedestrian Dynamics

abstract: The Social Force Model of pedestrian dynamics is formulated in a way that a) most of its parameters do not have an immediate interpretation, b) often one single parameter has an impact on many aspects of walking behavior and c) a certain aspect of walking behavior results from the values of more than one parameter. This makes calibration difficult. The aim of this paper is to give practitioners an indication of how to proceed in the calibration process. For this by analytical transformations the parameters of the Social Force Model are related to real properties that have a clear and immediate meaning and which are also highly relevant result properties of a simulation: extent and clearance time of a queue, respectively maximum density and capacity flow. The theory for this is presented as well. As a side effect it can give a deeper understanding of the model for everyone interested in theoretical aspects.


title: Experimental Study of the Exciton Gas Liquid Transition in Coupled Quantum Wells

abstract: We study the exciton gas-liquid transition in GaAs/AlGaAs coupled quantum wells. Below a critical temperature, Tc=4.8K, and above a threshold laser power density the system undergoes a phase transition into a liquid state. We determine the density temperature phase diagram over the temperature range 0.1 to 4.8K. We find that the latent heat increases linearly with temperature at T<1.1K, similarly to a Bose Einstein condensate transition, and becomes constant at 1.1<T<4.8K. Resonant Rayleigh scattering measurements reveal that the disorder in the sample is strongly suppressed and the diffusion coefficient sharply increases with decreasing temperature at T<Tc, allowing the liquid to spread over large distances away from the excitation region. We suggest that our findings are manifestations of a quantum liquid behavior.


title: A new distribution for multiplicities in leptonic and hadronic collisions at high energies

abstract: Charged particles production in the electron-positron, pbarp and pp collisions in full phase space as well as in the restricted phase space slices, at high energies are described with predictions from shifted Gompertz distribution, a model of adoption of innovations. The distribution has been extensively used in diffusion theory, social networks and forecasting. A two-component model in which PDF is obtained from the superposition of two shifted Gompertz distributions has been introduced to improve the fitting of the experimental distributions by several orders. The two-components correspond to the two subgroups of a data set, one representing the soft interactions and the other semi-hard interactions. Mixing is done by appropriately assigning weights to each subgroup. Our first attempt to analyse the data with shifted Gompertz distribution has produced extremely good results. It is suggested that the distribution may be included in the host of distributions more often used for the multiplicity analyses.


title: Partial quasi likelihood analysis

abstract: The quasi likelihood analysis is generalized to the partial quasi likelihood analysis. Limit theorems for the quasi likelihood estimators, especially the quasi Bayesian estimator, are derived in the situation where existence of a slow mixing component prohibits the Rosenthal type inequality from applying to the derivation of the polynomial type large deviation inequality for the statistical random field. We give two illustrative examples.


title: Efficient priority queueing routing strategy on mobile networks

abstract: Mobile networks are intriguing in recent years due to their practical implications. Previous routing strategies for improving transport efficiency have little attention what order should the packets be forwarded, just simply used first-in-first-out queue discipline. Here we apply priority queueing discipline to shortest distance routing strategy on mobile networks. Numerical experiments show it not only remarkably improves network throughput and the packet arriving rate, but also reduces average end-to-end delay and the rate of queueing delay. Our work may be helpful in routing strategy designing on mobile networks.


title: An application of the weighted horizontal magnetic gradient to solar compact and eruptive events

abstract: We propose to apply the weighted horizontal magnetic gradient ($WG_{M}$), introduced in Korsos et al (2015), for analysing the pre-flare and pre-CME behaviour and evolution of Active Regions (ARs) using the SDO/HMI-Debrecen Data catalogue. To demonstrate the power of investigative capabilities of the $WG_M$ method, in terms of flare and CME eruptions, we studied two typical ARs, namely, AR 12158 and AR 12192. The choice of ARs represent canonical cases. AR 12158 produced an X1.6 flare with fast "halo" CME ($v_{linear}$=1267 $km s^{-1}$) while in AR 12192 there occurred a range of powerful X-class eruptions, i.e. X1.1, X1.6, X3.1, X1.0, X2.0 and X2.0-class energetic flares, interestingly, none with an accompanying CME. The value itself and temporal variation of $WG_{M}$ is found to possess potentially important diagnostic information about the intensity of the expected flare class. Furthermore, we have also estimated the flare onset time from the relationship of duration of converging and diverging motions of the area-weighted barycenters of two subgroups of opposite magnetic polarities. This test turns out not only to provide information about the intensity of the expected flare-class and the flare onset time but may also indicate whether a flare will occur with/without fast CME. We have also found that, in the case when the negative polarity barycenter has moved around and the positive one "remained" at the same coordinates preceding eruption, the flare occurred with fast "halo" CME. Otherwise, when both the negative and the positive polarity barycenters have moved around, the AR produced flares without CME. If these properties found for the movement of the barycenters are generic pre-cursors of CME eruption (or lack of it), identifying them may serve as an excellent pre-condition for refining the forecast of the lift-off of CMEs.


title: Using Deep Neural Network Approximate Bayesian Network

abstract: We present a new method to approximate posterior probabilities of Bayesian Network using Deep Neural Network. Experiment results on several public Bayesian Network datasets shows that Deep Neural Network is capable of learning joint probability distri- bution of Bayesian Network by learning from a few observation and posterior probability distribution pairs with high accuracy. Compared with traditional approximate method likelihood weighting sampling algorithm, our method is much faster and gains higher accuracy in medium sized Bayesian Network. Another advantage of our method is that our method can be parallelled much easier in GPU without extra effort. We also ex- plored the connection between the accuracy of our model and the number of training examples. The result shows that our model saturate as the number of training examples grow and we don't need many training examples to get reasonably good result. Another contribution of our work is that we have shown discriminative model like Deep Neural Network can approximate generative model like Bayesian Network.


title: Restricted Boltzmann Machines for Robust and Fast Latent Truth Discovery

abstract: We address the problem of latent truth discovery, LTD for short, where the goal is to discover the underlying true values of entity attributes in the presence of noisy, conflicting or incomplete information. Despite a multitude of algorithms to address the LTD problem that can be found in literature, only little is known about their overall performance with respect to effectiveness (in terms of truth discovery capabilities), efficiency and robustness. A practical LTD approach should satisfy all these characteristics so that it can be applied to heterogeneous datasets of varying quality and degrees of cleanliness. We propose a novel algorithm for LTD that satisfies the above requirements. The proposed model is based on Restricted Boltzmann Machines, thus coined LTD-RBM. In extensive experiments on various heterogeneous and publicly available datasets, LTD-RBM is superior to state-of-the-art LTD techniques in terms of an overall consideration of effectiveness, efficiency and robustness.


title: $\kappa(R,T)$ gravity

abstract: In this note we explore a modified theory of gravitation that is not based on the least action principle, but on a natural generalization of the original Einstein's field equations. This approach leads to the non-covariant conservation of the stress-energy tensor, a feature shared with other Lagrangian theories of gravity such as the $f(R,T)$ case. We consider the cosmological implications of a pair of particular models within this theory, and we show that they have some interesting properties. In particular, for some of the studied models we find that the density is bounded from above, and cannot exceed a maximum value that depends on certain physical constants. In the last part of the work we compare the theory to the $f(R,T)$ case and show that they lead to different predictions for the motion of test particles.


title: A Light Modality for Recursion

abstract: We investigate the interplay between a modality for controlling the behaviour of recursive functional programs on infinite structures which are completely silent in the syntax. The latter means that programs do not contain "marks" showing the application of the introduction and elimination rules for the modality. This shifts the burden of controlling recursion from the programmer to the compiler. To do this, we introduce a typed lambda calculus a la Curry with a silent modality and guarded recursive types. The typing discipline guarantees normalisation and can be transformed into an algorithm which infers the type of a program.


title: Blocking-state influence on shot noise and conductance in quantum dots

abstract: Quantum dots (QDs) investigated through electron transport measurements often exhibit varying, state-dependent tunnel couplings to the leads. Under specific conditions, weakly coupled states can result in a strong suppression of the electrical current and they are correspondingly called blocking states. Using the combination of conductance and shot noise measurements, we investigate blocking states in carbon nanotube (CNT) QDs. We report negative differential conductance and super-Poissonian noise. The enhanced noise is the signature of electron bunching, which originates from random switches between the strongly and weakly conducting states of the QD. Negative differential conductance appears here when the blocking state is an excited state. In this case, at the threshold voltage where the blocking state becomes populated, the current is reduced. Using a master equation approach, we provide numerical simulations reproducing both the conductance and the shot noise pattern observed in our measurements.


title: Cubic threefolds and hyperk\"ahler manifolds uniformized by the 10-dimensional complex ball

abstract: We first prove an isomorphism between the moduli space of smooth cubic threefolds and the moduli space of hyperkaehler fourfolds of K3^{[2]}-type with a non-symplectic automorphism of order three, whose invariant lattice has rank one and is generated by a class of square 6, both these spaces are uniformized by the same 10-dimensional arithmetic complex ball quotient. We then study the degeneration of the automorphism along the loci of nodal or chordal degenerations of the cubic threefold, showing the birationality of these loci with some moduli spaces of hyperkaehler fourfolds of K3^{[2]}-type with non-symplectic automorphism of order three belonging to different families. Finally, we construct a cyclic Pfaffian cubic fourfold to give an explicit construction of a non-natural automorphism of order three on the Hilbert square of a K3 surface.


title: Boolean Dimension, Components and Blocks

abstract: We investigate the behavior of Boolean dimension with respect to components and blocks. To put our results in context, we note that for Dushnik-Miller dimension, we have that if $\dim(C)\le d$ for every component $C$ of a poset $P$, then $\dim(P)\le \max\{2,d\}$; also if $\dim(B)\le d$ for every block $B$ of a poset $P$, then $\dim(P)\le d+2$. By way of constrast, local dimension is well behaved with respect to components, but not for blocks: if $\text{ldim}(C)\le d$ for every component $C$ of a poset $P$, then $\text{ldim}(P)\le d+2$; however, for every $d\ge 4$, there exists a poset $P$ with $\text{ldim}(P)=d$ and $\dim(B)\le 3$ for every block $B$ of $P$. In this paper we show that Boolean dimension behaves like Dushnik-Miller dimension with respect to both components and blocks: if $\text{bdim}(C)\le d$ for every component $C$ of $P$, then $\text{bdim}(P)\le 2+d+4\cdot2^d$; also if $\text{bdim}(B)\le d$ for every block of $P$, then $\text{bdim}(P)\le 19+d+18\cdot 2^d$.


title: Deep Stacked Networks with Residual Polishing for Image Inpainting

abstract: Deep neural networks have shown promising results in image inpainting even if the missing area is relatively large. However, most of the existing inpainting networks introduce undesired artifacts and noise to the repaired regions. To solve this problem, we present a novel framework which consists of two stacked convolutional neural networks that inpaint the image and remove the artifacts, respectively. The first network considers the global structure of the damaged image and coarsely fills the blank area. Then the second network modifies the repaired image to cancel the noise introduced by the first network. The proposed framework splits the problem into two distinct partitions that can be optimized separately, therefore it can be applied to any inpainting algorithm by changing the first network. Second stage in our framework which aims at polishing the inpainted images can be treated as a denoising problem where a wide range of algorithms can be employed. Our results demonstrate that the proposed framework achieves significant improvement on both visual and quantitative evaluations.


title: Modal analysis of graphene-based structures for large deformations, contact and material nonlinearities

abstract: The nonlinear frequencies of pre-stressed graphene-based structures, such as flat graphene sheets and carbon nanotubes, are calculated. These structures are modeled with a nonlinear hyperelastic shell model. The model is calibrated with quantum mechanics data and is valid for high strains. Analytical solutions of the natural frequencies of various plates are obtained for the Canham bending model by assuming infinitesimal strains. These solutions are used for the verification of the numerical results. The performance of the model is illustrated by means of several examples. Modal analysis is performed for square plates under pure dilatation or uniaxial stretch, circular plates under pure dilatation or under the effects of an adhesive substrate, and carbon nanotubes under uniaxial compression or stretch. The adhesive substrate is modeled with van der Waals interaction (based on the Lennard-Jones potential) and a coarse grained contact model. It is shown that the analytical natural frequencies underestimate the real ones, and this should be considered in the design of devices based on graphene structures.


title: A generalized Bartholdi zeta function formula for simple graphs with bounded degree

abstract: We introduce a generalized Bartholdi zeta function for simple graphs with bounded degree. This zeta function is a generalization of both the Bartholdi zeta function which was introduced by L.~Bartholdi and the Ihara zeta function which was introduced by G.~Chinta, J.~Jorgenson and A.~Karlsson. Furthermore, we establish a Bartholdi type formula of this Bartholdi zeta function for simple graphs with bounded degree. Moreover, for regular graphs, we give a new expression of the heat kernel which is regarded as a one-parameter deformation of the expression obtained by G.~Chinta, J.~Jorgenson and A.~Karlsson. By applying this formula, we give an alternative proof of the Bartholdi zeta function formula for regular graphs.


title: Transfer of scaled multiple quantum coherence matrices

abstract: Multiple quantum (MQ) NMR coherence spectra, which can be obtained experimentally in MQ NMR, can be transferred from the sender to the remote receiver without mixing the MQ-coherences of different orders and distortions. The only effect of such transfer is scaling of the certain blocks of sender's density matrix (matrices of MQ-coherences of different order). Such a block-scaled transfer is an alternative to the perfect state transfer. In particular, equal scaling of higher order MQ-coherences matrices is possible. Moreover, there are states which can be transferred to the receiver preserving their zero-order coherence matrix. The examples of block-scaled transfer in spin-1/2 communication lines of 6 and 42 nodes with two-qubit sender and receiver are presented.


title: Neurally Plausible Model of Robot Reaching Inspired by Infant Motor Babbling

abstract: In this paper we present a neurally plausible model of robot reaching inspired by human infant reaching that is based on embodied artificial intelligence, which emphasizes the importance of the sensory-motor interaction of an agent and the world. This model encompasses both learning sensory-motor correlations through motor babbling and also arm motion planning using spreading activation. This model is organized in three layers of neural maps with parallel structures representing the same sensory-motor space. The motor babbling period shapes the structure of the three neural maps as well as the connections within and between them. We describe an implementation of this model and an investigation of this implementation using a simple reaching task on a humanoid robot. The robot has learned successfully to plan reaching motions from a test set with high accuracy and smoothness.


title: Magnetic Field Inspired Contact Angle Hysteresis Drives Floating Polyolefin Rafts

abstract: Displacement of floating polymer (polyolefin) rafts by steady magnetic field is reported. The effect is due to the interplay of gravity deforming the water/vapor interface, contact angle hysteresis and diamagnetic properties of the liquid support. Magnetic field (ca. 0.06 T) deformed the water/vapor interface and impacted the interfacial apparent contact angle. This deformation gave rise to the propulsion force, displacing the polymer raft. The velocity of displacement of the center of mass of rafts was registered. The effect is related to the contact angle hysteresis affected by the magnetic field, enabling the change in the apparent interfacial contact angle. The semi-quantitative model of the process is suggested


title: Moutard transform for the conductivity equation

abstract: We construct Darboux-Moutard type transforms for the two-dimensional conductivity equation. This result continues our recent studies of Darboux-Moutard type transforms for generalized analytic functions. In addition, at least, some of the Darboux-Moutard type transforms of the present work admit direct extension to the conductivity equation in multidimensions. Relations to the Schr\"odinger equation at zero energy are also shown.


title: Graph invariants and Betti numbers of real toric manifolds

abstract: For a graph $G$, a graph cubeahedron $\square_G$ and a graph associahedron $\triangle_G$ are simple convex polytopes which admit (real) toric manifolds. In this paper, we introduce a graph invariant, called the $b$-number, and we show that the $b$-numbers compute the Betti numbers of the real toric manifold $X^\mathbb{R}(\square_G)$ corresponding to a graph cubeahedron. The $b$-number is a counterpart of the notion of $a$-number, introduced by S. Choi and the second named author, which computes the Betti numbers of the real toric manifold $X^\mathbb{R}(\triangle_G)$ corresponding to a graph associahedron. We also study various relationships between $a$-numbers and $b$-numbers from a toric topological view. Interestingly, for a forest $G$ and its line graph $L(G)$, the real toric manifolds $X^\mathbb{R}(\triangle_G)$ and $X^\mathbb{R}(\square_{L(G)})$ have the same Betti numbers.


title: Time-Aware Publish/Subscribe for Networks of Mobile Devices

abstract: Smart mobile devices are increasingly ubiquitous and are the primary source of user-generated content, and current communication infrastructures are failing in keeping up with the rising demand for the avid sharing of such content. To alleviate this problem and fully harness the amount of resources currently available at the network edge, mobile edge paradigms started to emerge. Though, application developers still struggle to tap that potential at the edge due to the lack of adequate communication and interaction abstractions. Thus, we propose a high-level abstraction that can be easily exploited by developers to design mobile edge applications focused on data dissemination. In this paper, we propose Thyme, a novel extended topic-based, time-aware publish/subscribe system for networks of mobile devices. In Thyme, time is a rst order dimension. Each subscription has an associated time frame, starting and ending either in the future, present, or past. Making the past available requires both subscriptions and publications to be persistently stored. We present the design of Thyme and evaluate it using simulation, discussing and characterizing the scenarios best suited for its use.


title: The pion quasiparticle in the low-temperature phase of QCD

abstract: We extend our previous studies [PhysRevD.90.054509, PhysRevD.92.094510] of the pion quasiparticle in the low-temperature phase of two-flavor QCD with support from chiral effective theory. This includes the analysis performed on a finite temperature ensemble of size $20\times 64^3$ at $T\approx 151$MeV and a lighter zero-temperature pion mass $m_{\pi} \approx 185$ MeV. Furthermore, we investigate the Gell-Mann--Oakes-Renner relation at finite temperature and the Dey-Eletsky-Ioffe mixing theorem at finite quark mass.


title: Estimation of Gaussian quantum states

abstract: We derive several expressions for the quantum Fisher information matrix (QFIM) for the multi-parameter estimation of multi-mode Gaussian quantum states, the corresponding symmetric logarithmic derivatives, and conditions for saturability of the quantum Cram\'{e}r-Rao bound. This bound determines the ultimate precision with which parameters encoded into quantum states can be estimated. We include expressions for mixed states, for the case when the Williamson decomposition of the covariance matrix is known, expressions in terms of infinite series, and expressions for pure states. We also discuss problematic behavior when some modes are pure, and present a method that allows the use of expressions that are defined only for mixed states, to compute QFIM for states with any number of pure modes.


title: Goldstone Modes and Clebsch-Gordan Coefficients

abstract: We solve explicitly the Goldstone modes in spontaneously symmetry breaking models with supersymmetry. We find that, when more than one fields or representations contribute to the symmetry breaking, there exist identities among the Clebsch-Gordan coefficients which can be used as consistent checks on the calculations.


title: Comments on the nucleon spin composition and diquark correlations

abstract: We discuss possible relation between recent lattice results on the flavor composition of the nucleon spin and the topology-induced quark correlations.


title: Pure-minimal chain complexes

abstract: We introduce a notion of pure-minimality for chain complexes of modules and show that it coincides with (homotopic) minimality in standard settings, while being a more useful notion for complexes of flat modules. As applications, we characterize von Neumann regular rings and left perfect rings.


title: An elementary proof of an isoperimetric inequality for paths with finite $p$-variation

abstract: In this article we will prove that if the continuous closed curve $\gamma : [0, 1] \rightarrow \mathbb{R}^2$ has finite $p$-variation with $p < 2$, then $(\iint\limits_{\mathbb{R}^2}|\eta(\gamma, (x, y))|^q \,dx \,dy)^{1/q} \le (\frac{1}{2})^\frac{1}{q}(\zeta(\frac{2}{pq})-1)(||\gamma||_{p, [0, 1]})^{\frac{2}{q}} $ for all $q \in [1, \frac{2}{p})$, where $\eta(\gamma, (x, y))$ is the winding number of $\gamma$ at $(x, y), \zeta$ is the Reimann zeta function, and $||\gamma||_{p, [0, 1]}$ is the $p$-variation of $\gamma$ on the interval $[0, 1]$. Our main contribution is that we have explicitly given a bound by known constants, and we have found this by an elementary proof. We are going to be using a method introduced by L.C. Young in 1936.


title: Measurement and simulation of two-phase CO$_2$ cooling for the AFTER electronics of the Micromegas modules for a Large Prototype of a Time Projection Chamber

abstract: The readout electronics of a Micromegas (MM) module consume nearly 26 W of electric power, which causes the temperature of electronic board to increase upto $70\,^{\circ}{\rm C}$. Increase in temperature results in damage of electronics. Development of temperature gradient in the Time Projection Chamber (TPC) may affect precise measurement as well. Two-phase CO$_2$ cooling has been applied to remove heat from the MM modules during two test beam experiments at DESY, Hamburg. Following the experimental procedure, a comprehensive study of the cooling technique has been accomplished for a single MM module by means of numerical simulation. This paper is focused to discuss the application of two-phase CO$_2$ cooling to keep the temperature below $30\,^{\circ}{\rm C}$ and stabilized within $0.2\,^{\circ}{\rm C}$.


title: Spinful Aubry-Andre model in a magnetic field: Delocalization facilitated by a weak spin-orbit coupling

abstract: We have incorporated spin-orbit coupling into the Aubry-Andre model of tight-binding electron motion in the presence of periodic potential with a period incommensurate with lattice constant. This model is known to exhibit an insulator-metal transition upon increasing the hopping amplitude. Without external magnetic field, spin-orbit coupling leads to a simple renormalization of the hopping amplitude. However, when the degeneracy of the on-site energies is lifted by an external magnetic field, the interplay of Zeeman splitting and spin-orbit coupling has a strong effect on the localization length. We studied this interplay numerically by calculating the energy dependence of the Lyapunov exponent in the insulating regime. Numerical results can be unambiguously interpreted in the language of the phase-space trajectories. As a first step, we have explained the plateau in the energy dependence of the localization length in the original Aubry-Andre model. Our main finding is that a very weak spin-orbit coupling leads to delocalization of states with energies smaller than the Zeeman shift. The origin of the effect is the spin-orbit-induced opening of new transport channels. We have also found that restructuring of the phase-space trajectories, which takes place at certain energies in the insulating regime, causes a singularity in the energy dependence of the localization length.


title: Geometry Effects on Switching Currents in Superconducting Ultra Thin Films

abstract: Vortex dynamics is strongly connected with the mechanisms responsible for the photon detection of superconducting devices. Indeed, the local suppression of superconductivity by photon absorption may trigger vortex nucleation and motion effects, which can make the superconducting state unstable. In addition, scaling down the thickness of the superconducting films and/or the width of the bridge geometry can strongly influence the transport properties of superconducting films, e.g. affecting its critical current as well as its switching current into the normal state. Understanding such instability can boost the performances of those superconducting devices based on nanowire geometries. We present an experimental study on the resistive switching in NbN and NbTiN ultra-thin films with a thickness of few nanometers. Despite both films were patterned with the same microbridge geometry, the two superconducting materials show different behaviors at very low applied magnetic fields. A comparison with other low temperature superconducting materials outlines the influence of geometry effects on the superconducting transport properties of these materials particularly useful for devices applications.


title: Kundt spacetimes in the Gauss-Bonnet Gravity

abstract: The Gauss-Bonnet gravity is a special case of so-called Quadratic Gravity, which is an extension of Einstein's theory with additional terms in action that are quadratic combinations of the Riemann tensor and its contractions. These corrections are needed, for example, in perturbative quantum gravity. We consider the family of Kundt spacetimes, which is defined in a purely geometrical way by admitting a shear-free, twist-free and expansion-free null geodesic congruence. In particular, we focus on the Kundt solutions without gyratonic terms, and we investigate the constraints imposed by the Einstein-Gauss-Bonnet field equations. The conditions for the metrics to be of various algebraic types are also studied.


title: Cyclic group based mutual authentication protocol for RFID system

abstract: Widespread deployment of RFID system arises security and privacy concerns of users. There are several proposals are in the literature to avoid these concerns, but most of them provides reasonable privacy at the cost of search complexity on the server side. The search complexity increases linearly with the number of tags in the system. Some schemes use a group based approach to solve the search complexity problem. In this paper, we proposed a group based authentication protocol for RFID system which is based on some characteristics of cyclic groups. The scheme uses only bitwise XOR and mod operation for the computational work. Also, the scheme does not use any pseudo-number generator on the tag-side. We use two benchmark metric based on anonymity set to measure the privacy level of the system when some tags are compromised by an adversary. We present some simulation results which show that the scheme preserves high level of privacy and discloses very less amount of information when some tags are compromised. Furthermore, it's formal and informal analysis shows that our scheme preserves information privacy as well as un-traceability and also withstand against various well known attacks.


title: Dark-dark-soliton dynamics in two density-coupled Bose-Einstein condensates

abstract: We study the 1D dynamics of dark-dark solitons in the miscible regime of two density-coupled Bose-Einstein condensates having repulsive interparticle interactions within each condensate ($g>0$). By using an adiabatic perturbation theory in the parameter $g_{12}/{g}$, we show that, contrary to the case of two solitons in scalar condensates, the interactions between solitons are attractive when the interparticle interactions between condensates are repulsive $g_{12}>0$. As a result, the relative motion of dark solitons with equal chemical potential $\mu$ is well approximated by harmonic oscillations of angular frequency $w_r=(\mu/\hbar)\sqrt{({8}/{15}){g_{12}}/{g}}$. We also show that in finite systems, the resonance of this anomalous excitation mode with the spin density mode of lowest energy gives rise to alternating dynamical instability and stability fringes as a function of the perturbative parameter. In the presence of harmonic trapping (with angular frequency $\Omega$) the solitons are driven by the superposition of two harmonic motions at a frequency given by $w^2=(\Omega/\sqrt{2})^2+w_r^2$. When $g_{12}<0$, these two oscillators compete to give rise to an overall effective potential that can be either single well or double well through a pitchfork bifurcation. All our theoretical results are compared with numerical solutions of the Gross-Pitaevskii equation for the dynamics and the Bogoliubov equations for the linear stability. A good agreement is found between them.


title: On Binary Distributed Hypothesis Testing

abstract: We consider the problem of distributed binary hypothesis testing of two sequences that are generated by an i.i.d. doubly-binary symmetric source. Each sequence is observed by a different terminal. The two hypotheses correspond to different levels of correlation between the two source components, i.e., the crossover probability between the two. The terminals communicate with a decision function via rate-limited noiseless links. We analyze the tradeoff between the exponential decay of the two error probabilities associated with the hypothesis test and the communication rates. We first consider the side-information setting where one encoder is allowed to send the full sequence. For this setting, previous work exploits the fact that a decoding error of the source does not necessarily lead to an erroneous decision upon the hypothesis. We provide improved achievability results by carrying out a tighter analysis of the effect of binning error; the results are also more complete as they cover the full exponent tradeoff and all possible correlations. We then turn to the setting of symmetric rates for which we utilize Korner-Marton coding to generalize the results, with little degradation with respect to the performance with a one-sided constraint (side-information setting).


title: Igor Rostislavovich Shafarevich: in Memoriam

abstract: The prominent Russian mathematician Igor Rostislavovich Shafarevich passed away on February 19, 2017. In this article we supply his biography, discuss his many important contributions to number theory, algebra and algebraic geometry, and also discuss his political activity and some of his numerous publications on social issues.


title: Irreducible representations of the group of unipotent matrices of order $4$ over integers

abstract: We study a coarse moduli space of irreducible representations of the group of unipotent matrices of order $\mathbb{4}$ over the ring of integers which have finite weight. All such representations are known to be monomial. To describe a coarse moduli space of such representations, we need to study pairs of subgroups and their characters, which induce non-isomorphic irreducible representations. We obtain a full classification of such pairs and, respectively, a coarse moduli space.


title: Approximating Node-Weighted k-MST on Planar Graphs

abstract: We study the problem of finding a minimum weight connected subgraph spanning at least $k$ vertices on planar, node-weighted graphs. We give a $(4+\eps)$-approximation algorithm for this problem. We achieve this by utilizing the recent LMP primal-dual $3$-approximation for the node-weighted prize-collecting Steiner tree problem by Byrka et al (SWAT'16) and adopting an approach by Chudak et al. (Math.\ Prog.\ '04) regarding Lagrangian relaxation for the edge-weighted variant. In particular, we improve the procedure of picking additional vertices (tree merging procedure) given by Sadeghian (2013) by taking a constant number of recursive steps and utilizing the limited guessing procedure of Arora and Karakostas (Math.\ Prog.\ '06). More generally, our approach readily gives a $(\nicefrac{4}{3}\cdot r+\eps)$-approximation on any graph class where the algorithm of Byrka et al.\ for the prize-collecting version gives an $r$-approximation. We argue that this can be interpreted as a generalization of an analogous result by K\"onemann et al. (Algorithmica~'11) for partial cover problems. Together with a lower bound construction by Mestre (STACS'08) for partial cover this implies that our bound is essentially best possible among algorithms that utilize an LMP algorithm for the Lagrangian relaxation as a black box. In addition to that, we argue by a more involved lower bound construction that even using the LMP algorithm by Byrka et al.\ in a \emph{non-black-box} fashion could not beat the factor $\nicefrac{4}{3}\cdot r$ when the tree merging step relies only on the solutions output by the LMP algorithm.


title: Symmetric double bubbles in the Grushin plane

abstract: We address the double bubble problem for the anisotropic Grushin perimeter $P_\alpha$, $\alpha\geq 0$, and the Lebesgue measure in $\mathbb R^2$, in the case of two equal volumes. We assume that the contact interface between the bubbles lays on either the vertical or the horizontal axis. Since no regularity theory is available in this setting, in both cases we first prove existence of minimizers via the direct method by symmetrization arguments and then characterize them in terms of the given area by first variation techniques. Angles at which minimal boundaries intersect satisfy the standard 120-degree rule up to a suitable change of coordinates. While for $\alpha=0$ the Grushin perimeter reduces to the Euclidean one and both minimizers coincide with the symmetric double bubble found in [Foisy et al., Pacific J. Math. (1993)], for $\alpha=1$ vertical interface minimizers have Grushin perimeter strictly greater than horizontal interface minimizers. As the latter ones are obtained by translating and dilating the Grushin isoperimetric set found in [Monti Morbidelli, J. Geom. Anal. (2004)], we conjecture that they solve the double bubble problem with no assumptions on the contact interface.


title: Learning Relevant Features of Data with Multi-scale Tensor Networks

abstract: Inspired by coarse-graining approaches used in physics, we show how similar algorithms can be adapted for data. The resulting algorithms are based on layered tree tensor networks and scale linearly with both the dimension of the input and the training set size. Computing most of the layers with an unsupervised algorithm, then optimizing just the top layer for supervised classification of the MNIST and fashion-MNIST data sets gives very good results. We also discuss mixing a prior guess for supervised weights together with an unsupervised representation of the data, yielding a smaller number of features nevertheless able to give good performance.

categories: stat.ML cond-mat.stat-mech cond-mat.str-el cs.LG


title: Pull and Push&Pull in Random Evolving Graphs

abstract: The Push, the Pull and the Push&Pull algorithms are well-studied rumor spreading protocols. In all three, in the beginning one node of a graph is informed. In the Push setting, every round every informed node chooses a neighbor uniformly at random and, if it is not already informed anyway, informs it. In the Pull setting, each round each uninformed node chooses a neighbor uniformly at random and asks it for the rumor; if the asked neighbor is informed, now also the asking node is informed. Push&Pull is a combination of Push and Pull: In each round, each node picks a neighbor uniformly at random. If at least one of both knows the rumor, after this round, both know the rumor. Clementi et al. have considered Push in settings where the underlying graph changes each round. In one setting they investigated, in each round the underlying graph is a newly sampled Erd\H{o}s-R\'enyi random graph $G(n,p)$. They show that if $p\geq 1/n$ then with probability $1-o(1)$ (as $n\rightarrow \infty$) the number of rounds needed until all nodes are informed is $\mathcal{O}(\ln(n))$. Doerr and Kostrygin introduced a general framework to analyze rumor spreading algorithms; using this framework, for $a>0$ and $p=a/n$ they improved the previous results in the described setting: The expected number of rounds needed by Push was determined to be $\log_{2-e^{-a}}(n)+1/(1-e^{-a})\ln(n)+\mathcal{O}(1)$; also large deviation bounds were obtained. Using their framework, we investigate Pull and Push&Pull in that setting: We prove that the expected number of rounds needed by Pull to inform all nodes is $\log_{2-e^{-a}}(n)+1/a \ln(n)+\mathcal{O}(1)$. Let $\gamma := 2(1-e^{-a})-(1-e^{-a})^2/a$; we prove that the expected number of rounds needed by Push&Pull is $\log_{1+\gamma}(n)+1/a\ln(n)+\mathcal{O}(1)$; as a byproduct, we obtain large deviation bounds, too.


title: "Like Sheep Among Wolves": Characterizing Hateful Users on Twitter

abstract: Hateful speech in Online Social Networks (OSNs) is a key challenge for companies and governments, as it impacts users and advertisers, and as several countries have strict legislation against the practice. This has motivated work on detecting and characterizing the phenomenon in tweets, social media posts and comments. However, these approaches face several shortcomings due to the noisiness of OSN data, the sparsity of the phenomenon, and the subjectivity of the definition of hate speech. This works presents a user-centric view of hate speech, paving the way for better detection methods and understanding. We collect a Twitter dataset of $100,386$ users along with up to $200$ tweets from their timelines with a random-walk-based crawler on the retweet graph, and select a subsample of $4,972$ to be manually annotated as hateful or not through crowdsourcing. We examine the difference between user activity patterns, the content disseminated between hateful and normal users, and network centrality measurements in the sampled graph. Our results show that hateful users have more recent account creation dates, and more statuses, and followees per day. Additionally, they favorite more tweets, tweet in shorter intervals and are more central in the retweet network, contradicting the "lone wolf" stereotype often associated with such behavior. Hateful users are more negative, more profane, and use less words associated with topics such as hate, terrorism, violence and anger. We also identify similarities between hateful/normal users and their 1-neighborhood, suggesting strong homophily.


title: Towards Building an Intelligent Anti-Malware System: A Deep Learning Approach using Support Vector Machine (SVM) for Malware Classification

abstract: Effective and efficient mitigation of malware is a long-time endeavor in the information security community. The development of an anti-malware system that can counteract an unknown malware is a prolific activity that may benefit several sectors. We envision an intelligent anti-malware system that utilizes the power of deep learning (DL) models. Using such models would enable the detection of newly-released malware through mathematical generalization. That is, finding the relationship between a given malware $x$ and its corresponding malware family $y$, $f: x \mapsto y$. To accomplish this feat, we used the Malimg dataset (Nataraj et al., 2011) which consists of malware images that were processed from malware binaries, and then we trained the following DL models 1 to classify each malware family: CNN-SVM (Tang, 2013), GRU-SVM (Agarap, 2017), and MLP-SVM. Empirical evidence has shown that the GRU-SVM stands out among the DL models with a predictive accuracy of ~84.92%. This stands to reason for the mentioned model had the relatively most sophisticated architecture design among the presented models. The exploration of an even more optimal DL-SVM model is the next stage towards the engineering of an intelligent anti-malware system.


title: An Additive Approximate Gaussian Process Model for Large Spatio-Temporal Data

abstract: Motivated by a large ground-level ozone dataset, we propose a new computationally efficient additive approximate Gaussian process. The proposed method incorporates a computational-complexity-reduction method and a separable covariance function, which can flexibly capture various spatio-temporal dependence structure. The first component is able to capture nonseparable spatio-temporal variability while the second component captures the separable variation. Based on a hierarchical formulation of the model, we are able to utilize the computational advantages of both components and perform efficient Bayesian inference. To demonstrate the inferential and computational benefits of the proposed method, we carry out extensive simulation studies assuming various scenarios of underlying spatio-temporal covariance structure. The proposed method is also applied to analyze large spatio-temporal measurements of ground-level ozone in the Eastern United States.


title: Immersed M\"obius bands in knot complements and representatives of $\mathbb{Z}_2$-homology classes

abstract: We study the 3-dimensional immersed crosscap number of a knot, which is a nonorientable analogue of the immersed Seifert genus. We study knots with immersed crosscap number 1, and show that a knot has immersed crosscap number 1 if and only if it is a nonntrivial $(2p,q)$-torus or $(2p,q)$-cable knot. We show that unlike in the orientable case the immersed crosscap number can differ from the embedded crosscap number by arbitrarily large amounts, and that it is neither bounded below nor above by the 4-dimensional crosscap number. We then use these constructions to find, for any $n\geq 2$, an oriented 3-manifold $Y_n$ and class $\alpha_n \in H_2(Y_n;\mathbb{Z}_2)$ such that $\alpha_n$ can be represented by an immersed $\mathbb{RP}^2$, but any embedded representative of $\alpha_n$ has a component $S$ with $\chi(S) \leq 1-n$.


title: Modified trace is a symmetrised integral

abstract: A modified trace for a finite k-linear pivotal category is a family of linear forms on endomorphism spaces of projective objects which has cyclicity and so-called partial trace properties. We show that a non-degenerate modified trace defines a compatible with duality Calabi-Yau structure on the subcategory of projective objects. The modified trace provides a meaningful generalisation of the categorical trace to non-semisimple categories and allows to construct interesting topological invariants. We prove, that for any finite-dimensional unimodular pivotal Hopf algebra over a field k, a modified trace is determined by a symmetric linear form on the Hopf algebra constructed from an integral. More precisely, we prove that shifting with the pivotal element defines an isomorphism between the space of right integrals, which is known to be 1-dimensional, and the space of modified traces. This result allows us to compute modified traces for all simply laced restricted quantum groups at roots of unity.


title: Blackboard Meets Dijkstra for Optimization of Web Service Workflows

abstract: This paper presents the integration of Dijkstra's algorithm within a Blackboard framework to optimize the selection of web services from service providers. In addition, methods are presented how dynamic changes during the workflow execution can be handled; specifically, how changes of the service parameters have effects on the system. For justification of our approach, and to show practical feasibility, a sample implementation is presented.


title: Geometric optics for Rayleigh wavetrains in d-dimensional nonlinear elasticity

abstract: A Rayleigh wave is a type of surface wave that propagates in the boundary of an elastic solid with traction (or Neumann) boundary conditions. Since the 1980s much work has been done on the problem of constructing a leading term in an \emph{approximate} solution to the rather complicated second-order quasilinear hyperbolic boundary value problem with fully nonlinear Neumann boundary conditions that governs the propagation of Rayleigh waves. The question has remained open whether or not this leading term approximate solution is really close in a precise sense to the exact solution of the governing equations. We prove a positive answer to this question for the case of Rayleigh wavetrains in any space dimension $d\geq 2$. The case of Rayleigh pulses in dimension $d=2$ has already been treated by Coulombel and Williams. For highly oscillatory Rayleigh wavetrains we are able to construct high-order approximate solutions consisting of the leading term plus an arbitrary number of correctors. Using those high-order solutions we then perform an error analysis which shows (among other things) that for small wavelengths the leading term is close to the exact solution in $L^\infty$ on a fixed time interval independent of the wavelength. The error analysis is carried out in a somewhat general setting and is applicable to other types of waves for which high order approximate solutions can be constructed.


title: Blockers for Triangulations of a Convex Polygon and a Geometric Maker-Breaker Game

abstract: Let $G$ be a complete convex geometric graph whose vertex set $P$ forms a convex polygon $C$, and let $F$ be a family of subgraphs of $G$. A blocker for $F$ is a set of edges, of smallest possible size, that contains a common edge with every element of $F$. Previous works determined the blockers for various families $F$ of non-crossing subgraphs, including the families of all perfect matchings, all spanning trees, all Hamiltonian paths, etc. In this paper we present a complete characterization of the family $B$ of blockers for the family $T$ of triangulations of $C$. In particular, we show that $|B|=F_{2n-8}$, where $F_k$ is the $k$'th element in the Fibonacci sequence and $n=|P|$. We use our characterization to obtain a tight result on a geometric Maker-Breaker game in which the board is the set of diagonals of a convex $n$-gon $C$ and Maker seeks to occupy a triangulation of $C$. Namely, we show that in the $(1:1)$ triangulation game, Maker can ensure a win within $n-3$ moves, and that in the $(1:2)$ triangulation game, Breaker can ensure a win within $n-3$ moves. In particular, the threshold bias for the game is $2$.


title: Sharp finiteness principles for Lipschitz selections

abstract: Let $(M,\rho)$ be a metric space and let $Y$ be a Banach space. Given a positive integer $m$, let $F$ be a set-valued mapping from $M$ into the family of all compact convex subsets of $Y$ of dimension at most $m$. In this paper we prove a finiteness principle for the existence of a Lipschitz selection of $F$ with the sharp value of the finiteness constant.


title: A Multicomponent Dark Matter in a Model with Mirror Symmetry with Additional Charged Scalars

abstract: A model with a mirror symmetry whose particles content consist of the ordinary SM particles (plus the right handed neutrinos) and their parity mirror partners, can provide a multicomponent dark matter consist of cold and warm dark matter components. I add to the original mirror model a singlet scalar and its mirror partner, whose quantum numbers are the same as the singlet right handed electron (and its mirror-partner). The new scalar can have a zero VEV, while its mirror partner VEV is non zero. As consequences mirror photon will obtain mass whose order is around the neutral mirror weak boson mass, rendering the mirror electromagnetic-like interaction similar like a mirror weak interaction. There is a mixing among the ordinary neutrinos, mirror neutrinos, the singlet and the doublet mirror electrons. As a result the mirror doublet electrons can have masses in the keV order, becoming the warm dark matter component of this model. The cold dark matter component comes from the mirror nucleons that can have mass larger than the ordinary nucleons. The Big Bang Nucleosynthesys constraint can be avoided by a large entropy production in the ordinary sector due to a slow decay of mirror singlet electrons. The temperature ratio of the two sectors is approximately proportional to the ratio of the VEV's of the ordinary and mirror Higgs, and this also will determine the cold-warm dark matter contribution to the cosmic energy density.


title: Construction of the quasi-potential for linear SDEs using false quasi-potentials and a geometric recursion

abstract: The quasi-potential is a key concept of the Large Deviation Theory for Stochastic Differential Equations (SDEs). Once the quasi-potential with respect to an attractor of the corresponding deterministic system is found, one can readily obtain maximum likelihood exit paths and estimate the exit rate from the basin of attraction and the invariant probability density near the attractor. The quasi-potential for a linear SDE with asymptotically stable equilibrium at the origin is a quadratic form whose matrix was found by Z. Chen and M. Freidlin (2005). Their formula involves an integral of certain matrix exponentials and is inconvenient for numerical evaluation. In this work, I propose a different approach for constructing the quasi-potential matrix for linear SDEs based on a certain easy-to-obtain hierarchy of orthogonal decompositions inspired by those used by M. Tao (2018). A number of properties of these decompositions, named false quasi-potential decompositions, is established. A geometric recursive algorithm implementing this approach is presented. It involves only numerically stable sub-algorithms such as the computation of Schur decompositions and solving systems of linear equations or quadratic least squares problems. This work is motivated by the need to initialize the quasi-potential solvers near asymptotically stable equilibria. An accurate way to do it is to linearize the SDE near the equilibrium and set the values of the quasi-potential at the neighboring mesh points to the exact quasi-potential of the linearized system.


title: Reconstruction of the Path Graph

abstract: Let $P$ be a set of $n \geq 5$ points in convex position in the plane. The path graph $G(P)$ of $P$ is an abstract graph whose vertices are non-crossing spanning paths of $P$, such that two paths are adjacent if one can be obtained from the other by deleting an edge and adding another edge. We prove that the automorphism group of $G(P)$ is isomorphic to $D_{n}$, the dihedral group of order $2n$. The heart of the proof is an algorithm that first identifies the vertices of $G(P)$ that correspond to boundary paths of $P$, where the identification is unique up to an automorphism of $K(P)$ as a geometric graph, and then identifies (uniquely) all edges of each path represented by a vertex of $G(P)$. The complexity of the algorithm is $O(N \log N)$ where $N$ is the number of vertices of $G(P)$.


title: ZOOpt: Toolbox for Derivative-Free Optimization

abstract: Recent advances in derivative-free optimization allow efficient approximation of the global-optimal solutions of sophisticated functions, such as functions with many local optima, non-differentiable and non-continuous functions. This article describes the ZOOpt (Zeroth Order Optimization) toolbox that provides efficient derivative-free solvers and is designed easy to use. ZOOpt provides single-machine parallel optimization on the basis of python core and multi-machine distributed optimization for time-consuming tasks by incorporating with the Ray framework -- a famous platform for building distributed applications. ZOOpt particularly focuses on optimization problems in machine learning, addressing high-dimensional and noisy problems such as hyper-parameter tuning and direct policy search. The toolbox is maintained toward a ready-to-use tool in real-world machine learning tasks.


title: What drives the Quasar Main Sequence?

abstract: Eigenvector 1 (EV1) was found to be the dominant component behind the significant correlations for the measured parameters in quasar spectra (Boroson & Green, 1992). The parameter R$_{\mathrm{FeII}}$, which strongly correlates to the EV1, is the ${\mathrm{FeII}}$ strength, defined to be the ratio of the equivalent width of ${\mathrm{FeII}}$ to the equivalent width of ${\mathrm{H\beta}}$. This allows to construct a quasar main sequence analogous to the stellar properties driven HR diagram (Sulentic et al. 2001). We try to find the main driver behind the EV1 among the basic (theoretically motivated) parameters of an active nucleus (Eddington ratio, black hole mass, accretion rate, spin, and viewing angle). Based on theoretical modeling using the photoionization code CLOUDY (Ferland et al. 2013), we test the hypothesis that the physical driver of EV1 is the maximum of the accretion disk temperature ($\mathrm{T_{BBB}}$), reflected in the shape of the spectral energy distribution (SED). We have assumed that both H$\mathrm{\beta}$ and Fe${\mathrm{II}}$ emission come from the Broad Line Region represented as a constant density cloud in a plane-parallel geometry. We test the effect of changing Eddington ratio on the $\mathrm{R_{FeII} - T_{BBB}}$ trends with varying mean hydrogen densities. We also test the effect of adding microturbulence that affect the line intensities on the overall $\mathrm{R_{FeII} - T_{BBB}}$ picture.


title: On Operator Valued Measures

abstract: We consider positive operator valued measures whose image is the bounded operators acting on an infinite-dimensional Hilbert space, and we relax, when possible, the usual assumption of positivity of the operator valued measure seen in the quantum information theory literature. We define the Radon-Nikodym derivative of a positive operator valued measure with respect to a complex measure induced by a given quantum state; this derivative does not always exist when the Hilbert space is infinite dimensional in so much as its range may include unbounded operators. We define integrability of a positive quantum random variable with respect to a positive operator valued measure. Emphasis is put on the structure of operator valued measures, and we develop positive operator valued versions of the Lebesque decomposition theorem and Johnson's atomic and nonatomic decomposition theorem. Beyond these generalizations, we make connections between absolute continuity and the "cleanness" relation defined on positive operator valued measures as well as to the notion of atomic and nonatomic measures.


title: Confidence set for group membership

abstract: Our confidence set quantifies the statistical uncertainty from data-driven group assignments in grouped panel models. It covers the true group memberships jointly for all units with pre-specified probability and is constructed by inverting many simultaneous unit-specific one-sided tests for group membership. We justify our approach under $N, T \to \infty$ asymptotics using tools from high-dimensional statistics, some of which we extend in this paper. We provide Monte Carlo evidence that the confidence set has adequate coverage in finite samples.An empirical application illustrates the use of our confidence set.


title: Quickest drift change detection in L\'evy-type force of mortality model

abstract: In this paper we give solution to the quickest drift change detection problem for a L\'evy process consisting of both a continuous Gaussian part and a jump component. We consider here Bayesian framework with an exponential a priori distribution of the change point using an optimality criterion based on a probability of false alarm and an expected delay of the detection. Our approach is based on the optimal stopping theory and solving some boundary value problem. Paper is supplemented by an extensive numerical analysis related with the construction of the Generalized Shiryaev-Roberts statistics. In particular, we apply this method (after appropriate calibration) to analyse Polish life tables and to model the force of mortality in this population with a drift changing in time.


title: Newton-Okounkov polytopes of Bott-Samelson varieties as Minkowski sums

abstract: We compute the Newton--Okounkov bodies of line bundles on a Bott--Samelson resolution of the complete flag variety of $GL_n$ for a geometric valuation coming from a flag of translated Schubert subvarieties. The Bott--Samelson resolution corresponds to the decomposition $(s_1)(s_2s_1)(s_3s_2s_1)(\ldots)(s_{n-1}\ldots s_1)$ of the longest element in the Weyl group, and the Schubert subvarieties correspond to the terminal subwords in this decomposition. We prove that the resulting Newton--Okounkov polytopes for semiample line bundles satisfy the additivity property with respect to the Minkowski sum. In particular, they are Minkowski sums of Newton--Okounkov polytopes of line bundles on the complete flag varieties for $GL_2$,\ldots, $GL_{n}$.