title: "MS-Patch-Clamp" or the Possibility of Mass Spectrometry Hybridization with Patch-Clamp Setups for Single Cell Metabolomics and Channelomics

abstract: In this projecting work we propose a mass spectrometric patch-clamp equipment with the capillary performing both a local potential registration at the cell membrane and the analyte suction simultaneously. This paper provides a current literature analysis comparing the possibilities of the novel approach proposed with the known methods, such as scanning patch-clamp, scanning ion conductance microscopy, patch clamp based on scanning probe microscopy technology, quantitative subcellular secondary ion mass spectrometry or "ion microscopy", live single-cell mass spectrometry, in situ cell-by-cell imaging, single-cell video-mass spectrometry, etc. We also consider the ways to improve the informativeness of these methods and particularly emphasize the trend at the increasing of the analysis complexity. We propose here the way to improve the efficiency of the cell trapping to the capillary during MS-path-clamp, as well as to provide laser surface ionization using laser trapping and tweezing of cells with the laser beam transmitted through the capillary as a waveguide. It is also possible to combine the above system with the microcolumn separation system or capillary electrophoresis as an optional direction of further development of the complex of analytical techniques emerging from the MS variation of patch-clamp.


title: $a_1(1260), a_1(1420)$ and the production in heavy meson decays

abstract: The $a_1(1420)$ with $I^G(J^{PC})= 1^-(1^{++})$ observed in the $\pi^+ f_0(980)$ final state in the $\pi^-p\to \pi^+\pi^-\pi^- p$ process by the COMPASS collaboration seems unlikely to be an ordinary $\bar qq$ mesonic state. Available theoretical explanations include tetraquark or rescattering effects due to $a_1(1260)$ decays. If the $a_1(1420)$ were induced by the rescattering, its production rates are completely determined by those of the $a_1(1260)$. In this work, we propose to explore the ratios of branching fractions of heavy meson weak decays into the $a_1(1420)$ and $a_1(1260)$, and testing the universality of these ratios would be a straightforward way to validate/invalidate the rescattering explanation. The decay modes include in the charm sector the $D^0\to a_1^-\ell^+\nu$ and $D^0\to \pi^\pm a_1^\mp$, and in the bottom sector $\overline B^0\to a_1^+ \ell^- \bar\nu$, $B\to D a_1, \pi^\pm a_1^\mp$, $B_c\to J/\psi a_1$ and $\Lambda_b\to \Lambda_c a_1$. We calculate the branching ratios for various decay modes into the $a_1(1260)$. The numerical results indicate that there is a promising prospect to study these decays on experiments including BES-III, LHCb, Babar, Belle and CLEO-c, the forthcoming Super-KEKB factory and the under-design Circular Electron-Positron Collider. Experimental analyses in future will lead to a deeper understanding of the nature of the $a_1(1420)$.


title: Existence of positive solutions for an approximation of stationary mean-field games

abstract: Here, we consider a regularized mean-field game model that features a low-order regularization. We prove the existence of solutions with positive density. To do so, we combine a priori estimates with the continuation method. In contrast with high-order regularizations, the low-order regularizations are easier to implement numerically. Moreover, our methods give a theoretical foundation for this approach.


title: Equivariant derived category of flat families

abstract: We prove the existence of tilting bundles on global quotient stacks that are produced by compatible finite group actions on flat families.


title: Analysis of a Play by Means of CHAPLIN, the Characters and Places Interaction Network Software

abstract: Recently, we have developed a software able of gathering information on social networks from written texts. This software, the CHAracters and PLaces Interaction Network (CHAPLIN) tool, is implemented in Visual Basic. By means of it, characters and places of a literary work can be extracted from a list of raw words. The software interface helps users to select their names out of this list. Setting some parameters, CHAPLIN creates a network where nodes represent characters/places and edges give their interactions. Nodes and edges are labelled by performances. In this paper, we propose to use CHAPLIN for the analysis a William Shakespeare's play, the famous 'Tragedy of Hamlet, Prince of Denmark'. Performances of characters in the play as a whole and in each act of it are given by graphs.


title: Stability of Minkowski Space-time with a translation space-like Killing field

abstract: In this paper we prove the nonlinear stability of Minkowski space-time with a translation Killing field. In the presence of such a symmetry, the 3 + 1 vacuum Einstein equations reduce to the 2 + 1 Einstein equations with a scalar field. We work in generalised wave coordinates. In this gauge Einstein equations can be written as a system of quasilinear quadratic wave equations. The main difficulty in this paper is due to the weaker decay of free solutions to the wave equation in 2 dimensions, compared to 3 dimensions. This weak decay seems to be a deterrent for proving a stability result in the usual wave coordinates. In this paper we construct a suitable generalized wave gauge in which our system has a "cubic weak null structure", which allows for the proof of global existence.


title: Edge modes in zigzag and armchair ribbons of monolayer MoS$_2$

abstract: We explore the electronic structure, orbital character and topological aspect of a monolayer MoS$_2$ nanoribbon using tight-binding (TB) and low-energy (${\bm k}\cdot{\bm p} $) models. We obtain a mid-gap edge mode in the zigzag ribbon of monolayer MoS$_2$, which can be traced back to the topological properties of the bulk band structure. Monolayer MoS$_2$ can be considered as a valley Hall insulator. The boundary conditions at armchair edges mix the valleys on the edges, and a gap is induced in the edge modes. The spin-orbit coupling in the valence band reduces the hybridization of the bulk states.


title: Understanding Music Playlists

abstract: As music streaming services dominate the music industry, the playlist is becoming an increasingly crucial element of music consumption. Con- sequently, the music recommendation problem is often casted as a playlist generation prob- lem. Better understanding of the playlist is there- fore necessary for developing better playlist gen- eration algorithms. In this work, we analyse two playlist datasets to investigate some com- monly assumed hypotheses about playlists. Our findings indicate that deeper understanding of playlists is needed to provide better prior infor- mation and improve machine learning algorithms in the design of recommendation systems.


title: Specialization of nonsymmetric Macdonald polynomials at $t=\infty$ and Demazure submodules of level-zero extremal weight modules

abstract: In this paper, we give a representation-theoretic interpretation of the specialization $E_{w_{\circ} \lambda} (q,\infty)$ of the nonsymmetric Macdonald polynomial $E_{w_{\circ} \lambda}(q,t)$ at $t=\infty$ in terms of the Demazure submodule $V_{w_\circ}^{-} (\lambda)$ of the level-zero extremal weight module $V(\lambda)$ over a quantum affine algebra of an arbitrary untwisted type, here, $\lambda$ is a dominant integral weight, and $w_{\circ}$ denotes the longest element in the finite Weyl group $W$. Also, for each $x \in W$, we obtain a combinatorial formula for the specialization $E_{x \lambda} (q, \infty)$ at $t=\infty$ of the nonsymmetric Macdonald polynomial $E_{x \lambda} (q,t)$, and also one for the graded character $\mathrm{gch} V_{x}^- (\lambda)$ of the Demazure submodule $V_{x}^- (\lambda)$ of $V(\lambda)$, both of these formulas are described in terms of quantum Lakshmibai-Seshadri paths of shape $\lambda$.


title: Bi-invariant metrics on contactomorphism groups

abstract: Contact manifolds are odd-dimensional smooth manifolds endowed with a maximally non-integrable field of hyperplanes. They are intimately related to symplectic manifolds, i.e. even-dimensional smooth manifolds endowed with a closed non-degenerate 2-form. Although in symplectic topology a famous bi-invariant metric, the Hofer metric, has been studied since more than 20 years ago, it is only recently that some somehow analogous bi-invariant metrics have been discovered on the group of diffeomorphisms that preserve a contact structure. In this expository article I will review some constructions of bi-invariant metrics on the contactomorphism group, and how these metrics are related to some other global rigidity phenomena in contact topology which have been discovered in the last few years, in particular the notion of orderability (due to Eliashberg and Polterovich) and an analogue in contact topology (due to Eliashberg, Kim and Poltorovich) of Gromov's symplectic non-squeezing theorem.


title: ZnO/a-Si Distributed Bragg Reflectors for Light Trapping in Thin Film Solar Cells from Visible to Infrared Range

abstract: Distributed bragg reflectors (DBRs) consisting of ZnO and amorphous silicon (a-Si) were prepared by magnetron sputtering method for selective light trapping. The quarter-wavelength ZnO/a-Si DBRs with only 6 periods exhibit a peak reflectance of above 99% and have a full width at half maximum that is greater than 347 nm in the range of visible to infrared. The 6-pair reversed quarter-wavelength ZnO/a-Si DBRs also have a peak reflectance of 98%. Combination of the two ZnO/a-Si DBRs leads to a broader stopband from 686 nm to 1354 nm. Using the ZnO/a-Si DBRs as the rear reflector of a-Si thin film solar cells significantly increases the photocurrent in the spectrum range of 400 nm to 1000 nm, in comparison with that of the cells with Al reflector. The obtained results suggest that ZnO/a-Si DBRs are promising reflectors of a-Si thin-film solar cells for light trapping.


title: Real Time Vowel Tremolo Detection Using Low Level Audio Descriptors

abstract: This paper resumes the results of a research conducted in a music production situation Therefore, it is more a final lab report, a prospective methodology then a scientific experience. The methodology we are presenting was developed as an answer to a musical problem raised by the Italian composer Marta Gentilucci. The problem was "how to extract a temporal structure from a vowel tremolo, on a tenuto (steady state) pitch." The musical goal was to apply, in a compositional context the vowel tremolo time structure on a tenuto pitch chord, as a transposition control.In this context we decide to follow, to explore the potential of low-level MPEG7 audio descriptors to build event detection functions. One of the main problems using low-level audio descriptors in audio analysis is the redundancy of information among them. We describe an "ad hoc" interactive methodology, based on side effect use of dimensionality reduction by PCA, to choose a feature from a set of low-level audio descriptors, to be used to detect a vowel tremolo rhythm. This methodology is supposed to be interactive and easy enough to be used in a live creative context.


title: Slice Implies Mutant Ribbon for Odd, 5-Stranded Pretzel Knots

abstract: A pretzel knot $K$ is called $odd$ if all its twist parameters are odd, and $mutant$ $ribbon$ if it is mutant to a simple ribbon knot. We prove that the family of odd, 5-stranded pretzel knots satisfies a weaker version of the Slice-Ribbon Conjecture: All slice, odd, 5-stranded pretzel knots are $mutant$ $ribbon$. We do this in stages by first showing that 5-stranded pretzel knots having twist parameters with all the same sign or with exactly one parameter of a different sign have infinite order in the topological knot concordance group, and thus in the smooth knot concordance group as well. Next, we show that any odd, 5-stranded pretzel knot with zero pairs or with exactly one pair of canceling twist parameters is not slice.


title: Ultra High Energy Neutrinos from Gamma-Ray Burst Afterglows Using the Swift-UVOT Data

abstract: We consider a sample of 107 Gamma Ray Bursts (GRBs) for which early UV emission was measured by Swift, and extrapolate the photon intensity to lower energies. Protons accelerated in the GRB jet may interact with such photons to produce charged pions and subsequently ultra high energy neutrinos $\varepsilon_\nu\geq 10^{16}$ eV. We use simple energy conversion efficiency arguments to predict the maximal neutrino flux expected from each GRB. We estimate the neutrino detection rate at large area radio based neutrino detectors and conclude that the early afterglow neutrino emission is too weak to be detected even by next generation neutrino observatories.


title: Self-consistent description of interacting phonons in a crystal lattice

abstract: Self-consistent approach for interacting phonons description in lattice, which generalized Debye model, is proposed. Notion of "self-consistent" phonons is introduced, speed of which depends on temperature and is determined from non-linear equation. Debye energy is also a function of temperature in this approach. Thermodynamics of "self-consistent" phonon gas is constructed. It is shown, that at low temperatures there is a correction proportional to the seventh power of temperature to the cubic law of specific heat dependence on temperature. This may be one of the reasons why cubic law for specific heat is observed only at rather low temperatures. At high temperatures the theory predicts linear deviation from Dulong-Petit law, which is observed experimentally.


title: Multiwavelength studies of X-ray selected extragalactic sample

abstract: The joint catalogue of Active Galactic Nuclei selected from optical identifications of X-ray sources was created as a combination of two samples: Hamburg-ROSAT Catalogue (HRC) and Byurakan-Hamburg-ROSAT Catalogue (BHRC). Both are based on optical identifications of X-ray sources from ROSAT catalogues using low-dispersion spectra of Hamburg Quasar Survey (HQS). However, HRC and BHRC contain a number of misidentifications and using the recent optical and multiwavelength (MW) catalogues we have revised both samples excluding false AGN and adding new genuine ones. Thus a new large homogeneous complete sample of 4253 X-ray selected AGN was created. 3352 of them are listed in the Catalogue of QSOs and Active Galaxies and 387 also are in Roma Multifrequency Catalogue of Blazars. 901 candidate AGN are subject for further study. We classified 173 of these objects using their SDSS DR12 spectra. Following activity types were revealed: 61 AGN, 21 HII galaxies, 12 emission-line galaxies without definite type, 71 absorption-line galaxies, 2 stars, and 6 were classified as "Unknown". A special emphasis is made on narrow-line Sy1.0-Sy1.5 galaxies and QSOs, as many of them have soft X-ray, strong FeII lines, and relatively narrow lines coming from BLR ("narrow broad lines"). As a result, the sample of genuine AGN was enlarged to 3413 objects. We have retrieved MW data from recent catalogues and carried out statistical investigations for the whole AGN sample. An attempt to find connections between fluxes in different bands for different types of sources, and identify their characteristics thus confirming candidate AGNs have been carried out. We have analyzed X-ray properties of these sources to find a limit between normal galaxies and X-ray AGN.


title: Heterodimer nanostructures induced energy focusing on metal film

abstract: As an interesting surface plasmon phenomenon discovered several years ago, electromagnetic field redistribution in nanoparticle dimer on film system provides a novel thought to enhance the light power on a plain film which could been widely used in surface enhanced Raman scattering (SERS), solar cells, photo-catalysis, etc. Homodimers on film are mainly investigated in past years, while the properties of heterodimers on film are still unclear. In this work, size difference induced electromagnetic field redistribution in Ag nanoparticle dimer on Au film system is investigated first. The results obtained from finite element method indicate that the smaller nanoparticle has much greater ability to focus light energy on Au film, which even reached more than 5 time compared to the larger one. Further researches indicate that this energy focusing ability has a strong relationship to the wavelength and diameter ration in dimer. Similar focusing phenomenon is found in the system of thick wire-smaller particle on film. Later, the SERS spectra collected in the small nanoparticle-large nanowire system provide an experimental evidence for this theoretic predication. Our results strengthen the understanding of surface plasmon on plane film and have potential application prospects in the surface plasmon related fields.


title: Convergence of Stochastic Interacting Particle Systems in Probability under a Sobolev Norm

abstract: In this paper, we consider particle systems with interaction and Brownian motion. We prove that when the initial data is from the sampling of Chorin's method, i.e., the initial vertices are on lattice points $hi\in \mathbb{R}^d$ with mass $\rho_0(hi) h^d$, where $\rho_0$ is some initial density function, then the regularized empirical measure of the interacting particle system converges in probability to the corresponding mean-field partial differential equation with initial density $\rho_0$, under the Sobolev norm of $L^\infty(L^2)\cap L^2(H^1)$. Our result is true for all those systems when the interacting function is bounded, Lipschitz continuous and satisfies certain regular condition. And if we further regularize the interacting particle system, it also holds for some of the most important systems of which the interacting functions are not. For systems with repulsive Coulomb interaction, this convergence holds globally on any interval $[0,t]$. And for systems with attractive Newton force as interacting function, we have convergence within the largest existence time of the regular solution of the corresponding Keller-Segel equation.


title: Interpolation by periods in planar domain

abstract: Let $\Omega\subset\mathbb R^2$ be a countably connected domain. To any closed differential form of degree $1$ in $\Omega$ with components in $L^2(\Omega)$ one associates the sequence of its periods around holes in $\Omega$, that is around bounded connected components of $\mathbb R^2\setminus \Omega$. For which $\Omega$ the collection of such period sequences coincides with $\ell^2$? We give the answer in terms of metric properties of holes in $\Omega$.


title: Passively Q-switched EDFL using Fe3O4-nanoparticle saturable absorber

abstract: We experimentally demonstrate a passively Q-switched erbium-doped fiber laser (EDFL) operation by using a saturable absorber based on Fe3O4 nanoparticles (FONP) in magnetic fluid (MF). As a kind of transition metal oxide, the FONP has a large nonlinear optical response with a fast response time for saturable absorber. By depositing MF at the end of optical fiber ferrule, we fabricated a FONP-based saturable absorber, which enables a strong light-matter interaction owing to the confined transmitted optical field within the single mode fiber. Because of large third-order optical nonlinearities of FONP-based saturable absorber, large modulation depth of 8.2% and non saturable absorption of 56.6% are demonstrated. As a result, stable passively Q-switched EDFL pulses with maximum output pulse energy of 23.76 nJ, repetition rate of 33.3 kHz, and pulse width of 3.2 {\mu}s are achieved when the input pump power is 110 mW at the wavelength of 980 nm. The laser features a low threshold pump power of ~15 mW.


title: Performance Analysis of Apriori Algorithm with Different Data Structures on Hadoop Cluster

abstract: Mining frequent itemsets from massive datasets is always being a most important problem of data mining. Apriori is the most popular and simplest algorithm for frequent itemset mining. To enhance the efficiency and scalability of Apriori, a number of algorithms have been proposed addressing the design of efficient data structures, minimizing database scan and parallel and distributed processing. MapReduce is the emerging parallel and distributed technology to process big datasets on Hadoop Cluster. To mine big datasets it is essential to re-design the data mining algorithm on this new paradigm. In this paper, we implement three variations of Apriori algorithm using data structures hash tree, trie and hash table trie i.e. trie with hash technique on MapReduce paradigm. We emphasize and investigate the significance of these three data structures for Apriori algorithm on Hadoop cluster, which has not been given attention yet. Experiments are carried out on both real life and synthetic datasets which shows that hash table trie data structures performs far better than trie and hash tree in terms of execution time. Moreover the performance in case of hash tree becomes worst.


title: Two-gluon and trigluon glueballs from dynamical holography QCD

abstract: We study the scalar, vector and tensor two-gluon and trigluon glueball spectra in the framework of 5-dimension dynamical holographic QCD model, where the metric structure is deformed self-consistently by the dilaton field. For comparison, the glueball spectra are also calculated in the hard-wall and soft-wall holographic QCD models. In order to distinguish glueballs with even and odd parities, we introduce the positive and negative coupling between the dilaton field and glueballs, and for higher spin glueballs, we introduce a deformed 5-dimension mass. With this set-up, there is only one free parameter from the quadratic dilaton profile in the dynamical holographic QCD model, which is fixed by the scalar glueball spectra. It is found that the two-gluon glueball spectra produced in the dynamical holographic QCD model are in good agreement with lattice data. Among six trigluon glueballs, the produced masses for $1^{\pm -}$ and $2^{--}$ are in good agreement with lattice data, and the produced masses for $0^{--}$, $0^{+-}$ and $2^{+-}$ are around 1.5 {\rm GeV} lighter than lattice results. This result might indicate that the three trigluon glueballs of $0^{--}$, $0^{+-}$ and $2^{+-}$ are dominated by three-gluon condensate contribution.


title: Theta functions on tube domains

abstract: We discuss generalizations of classical theta series, requiring only some basic properties of the classical setting. As it turns out, the existence of a generalized theta transformation formula implies that the series is defined over a quasi-symmetric Siegel domain. In particular the exceptional symmetric tube domain does not admit a theta function.


title: On a Natural Dynamics for Linear Programming

abstract: In this paper we study dynamics inspired by Physarum polycephalum (a slime mold) for solving linear programs [NTY00, IJNT11, JZ12]. These dynamics are arrived at by a local and mechanistic interpretation of the inner workings of the slime mold and a global optimization perspective has been lacking even in the simplest of instances. Our first result is an interpretation of the dynamics as an optimization process. We show that Physarum dynamics can be seen as a steepest-descent type algorithm on a certain Riemannian manifold. Moreover, we prove that the trajectories of Physarum are in fact paths of optimizers to a parametrized family of convex programs, in which the objective is a linear cost function regularized by an entropy barrier. Subsequently, we rigorously establish several important properties of solution curves of Physarum. We prove global existence of such solutions and show that they have limits, being optimal solutions of the underlying LP. Finally, we show that the discretization of the Physarum dynamics is efficient for a class of linear programs, which include unimodular constraint matrices. Thus, together, our results shed some light on how nature might be solving instances of perhaps the most complex problem in P: linear programming.


title: Minimality of the Semidirect Product

abstract: A topological group is minimal if it does not admit a strictly coarser Hausdorff group topology. We provide a sufficient and necessary condition for the minimality of the semidirect product $G\leftthreetimes P,$ where $G$ is a compact topological group and $P$ is a topological subgroup of $Aut(G)$. We prove that $G\leftthreetimes P$ is minimal for every closed subgroup $P$ of $Aut(G)$. In case $G$ is abelian, the same is true for every subgroup $P \subseteq Aut(G)$. We show, in contrast, that there exist a compact two-step nilpotent group $G$ and a subgroup $P$ of $Aut(G)$ such that $G\leftthreetimes P$ is not minimal. This answers a question of Dikranjan. Some of our results were inspired by a work of Gamarnik.


title: Bose particles in a box I. A convergent expansion of the ground state of a three-modes Bogoliubov Hamiltonian

abstract: In this paper we introduce a novel multi-scale technique to study many-body quantum systems where the total number of particles is kept fixed. The method is based on Feshbach map and the scales are represented by occupation numbers of particle states. Here, we consider a three-modes (including the zero mode) Bogoliubov Hamiltonian for a sufficiently small ratio between the kinetic energy and the Fourier component of the (positive type) potential corresponding to the two nonzero modes. For any space dimension d\geq 1 and in the mean field limiting regime (i.e., at fixed box volume |\Lambda| and for a number of particles, N, sufficiently large) this method provides the construction of the ground state and its expansion in terms of the bare operators that in the limit N \to \infty is up to any desired precision. In space dimension d \geq 3 the method provides similar results for an arbitrarily large (finite) box and a large but fixed particle density \rho, i.e.,\rho is independent of the size of the box.


title: Anvaya: An Algorithm and Case-Study on Improving the Goodness of Software Process Models generated by Mining Event-Log Data in Issue Tracking System

abstract: Issue Tracking Systems (ITS) such as Bugzilla can be viewed as Process Aware Information Systems (PAIS) generating event-logs during the life-cycle of a bug report. Process Mining consists of mining event logs generated from PAIS for process model discovery, conformance and enhancement. We apply process map discovery techniques to mine event trace data generated from ITS of open source Firefox browser project to generate and study process models. Bug life-cycle consists of diversity and variance. Therefore, the process models generated from the event-logs are spaghetti-like with large number of edges, inter-connections and nodes. Such models are complex to analyse and difficult to comprehend by a process analyst. We improve the Goodness (fitness and structural complexity) of the process models by splitting the event-log into homogeneous subsets by clustering structurally similar traces. We adapt the K-Medoid clustering algorithm with two different distance metrics: Longest Common Subsequence (LCS) and Dynamic Time Warping (DTW). We evaluate the goodness of the process models generated from the clusters using complexity and fitness metrics. We study back-forth \& self-loops, bug reopening, and bottleneck in the clusters obtained and show that clustering enables better analysis. We also propose an algorithm to automate the clustering process -the algorithm takes as input the event log and returns the best cluster set.


title: Pattern Recognition on Oriented Matroids: Symmetric Cycles in the Hypercube Graphs

abstract: If V is the vertex sequence of a symmetric 2t-cycle in the hypercube graph with the vertices {1,-1}^t, then for any vertex T of the graph there exists a unique inclusion-minimal subset of V such that T is the sum of its elements. We present a simple combinatorial statistic on decompositions of vertices of the hypercube graphs with respect to symmetric cycles and describe their basic metric properties.


title: Bose particles in a box II. A convergent expansion of the ground state of the Bogoliubov Hamiltonian in the mean field limiting regime

abstract: In this paper we consider an interacting Bose gas at zero temperature, in a finite box and in the mean field limiting regime. The N gas particles interact through a pair potential of positive type and with an ultraviolet cut-off. Its (nonzero) Fourier components are sufficiently large with respect to the corresponding kinetic energies of the modes. Using the multi-scale technique in the occupation numbers of particle states introduced in [Pi1], we provide a convergent expansion of the ground state of the particle number preserving Bogoliubov Hamiltonian in terms of the bare operators. In the limit N \to \infty the expansion is up to any desired precision.


title: Bose particles in a box III. A convergent expansion of the ground state of the Hamiltonian in the mean field limiting regime

abstract: In this paper we consider an interacting Bose gas at zero temperature, constrained to a finite box and in the mean field limiting regime. The N gas particles interact through a pair potential of positive type and with an ultraviolet cut-off. The (nonzero) Fourier components of the potential are assumed to be sufficiently large with respect to the corresponding kinetic energies of the modes like in the companion papers [Pi1]-[Pi2]. Using the multi-scale technique in the occupation numbers of particle states introduced in [Pi1]-[Pi2], we provide a convergent expansion of the ground state of the Hamiltonian in terms of the bare operators. In the limit N \to \infty the expansion is up to any desired precision.


title: Large time step TVD schemes for hyperbolic conservation laws

abstract: Large time step explicit schemes in the form originally proposed by LeVeque have seen a significant revival in recent years. In this paper we consider a general framework of local 2k + 1 point schemes containing LeVeque's scheme (denoted as LTS-Godunov) as a member. A modified equation analysis allows us to interpret each numerical cell interface coefficient of the framework as a partial numerical viscosity coefficient. We identify the least and most diffusive TVD schemes in this framework. The most diffusive scheme is the 2k + 1-point Lax-Friedrichs scheme (LTS-LxF). The least diffusive scheme is the Large Time Step scheme of LeVeque based on Roe upwinding (LTS-Roe). Herein, we prove a generalization of Harten's lemma: all partial numerical viscosity coefficients of any local unconditionally TVD scheme are bounded by the values of the corresponding coefficients of the LTS-Roe and LTS-LxF schemes. We discuss the nature of entropy violations associated with the LTS-Roe scheme, in particular we extend the notion of transonic rarefactions to the LTS framework. We provide explicit inequalities relating the numerical viscosities of LTS-Roe and LTS-Godunov across such generalized transonic rarefactions, and discuss numerical entropy fixes. Finally, we propose a one-parameter family of Large Time Step TVD schemes spanning the entire range of the admissible total numerical viscosity. Extensions to nonlinear systems are obtained through the Roe linearization. The 1D Burgers equation and the Euler system are used as numerical illustrations.


title: Clustering phenomena for linear perturbation of the Yamabe equation

abstract: Let $(M,g)$ be a non-locally conformally flat compact Riemannian manifold with dimension $N\ge7.$ We are interested in finding positive solutions to the linear perturbation of the Yamabe problem $$-\mathcal L_g u+\epsilon u=u^{N+2\over N-2}\ \hbox{in}\ (M,g) $$ where the first eigenvalue of the conformal laplacian $-\mathcal L_g $ is positive and $\epsilon$ is a small positive parameter. We prove that for any point $\xi_0\in M$ which is non-degenerate and non-vanishing minimum point of the Weyl's tensor and for any integer $k$ there exists a family of solutions developing $k$ peaks collapsing at $\xi_0$ as $\epsilon$ goes to zero. In particular, $\xi_0$ is a non-isolated blow-up point.


title: Vortex bundle collapse and Kolmogorov spectrum. Talk given at the Low Temperature Conference, Kazan, 2015

abstract: The statement of problem is motivated by the idea of modeling the classical turbulence with a set of chaotic quantized vortex filaments in superfluids. Among various arguments supporting the idea of quasi-classic behavior of quantum turbulence, the strongest, probably, is the $k$ dependence of the spectra of energy, $E(k)\propto k^{-5/3}$ obtained in numerical simulations and experiments. At the same time the mechanism of classical vs quantum turbulence (QT) is not clarified and the source of the $k^{-5/3}$ dependence is unclear. In this work we concentrated on the nonuniform vortex vortex bundles. This choice is related to actively discussed question concerning a role of collapses in the vortex dynamics in formation of turbulent spectra. We demonstrate that the nonuniform vortex vortex bundles, which appear in result of nonlinear vortex dynamics generates the energy spectrum, which close to the Kolmogorov dependence $\propto k^{-5/3}$.


title: Partial Coherence Estimation via Spectral Matrix Shrinkage under Quadratic Loss

abstract: Partial coherence is an important quantity derived from spectral or precision matrices and is used in seismology, meteorology, oceanography, neuroscience and elsewhere. If the number of complex degrees of freedom only slightly exceeds the dimension of the multivariate stationary time series, spectral matrices are poorly conditioned and shrinkage techniques suggest themselves. When true partial coherencies are quite large then for shrinkage estimators of the diagonal weighting kind it is shown empirically that the minimization of risk using quadratic loss (QL) leads to oracle partial coherence estimators superior to those derived by minimizing risk using Hilbert-Schmidt (HS) loss. When true partial coherencies are small the methods behave similarly. We derive two new QL estimators for spectral matrices, and new QL and HS estimators for precision matrices. In addition for the full estimation (non-oracle) case where certain trace expressions must also be estimated, we examine the behaviour of three different QL estimators, the precision matrix one seeming particularly robust and reliable. For the empirical study we carry out exact simulations derived from real EEG data for two individuals, one having large, and the other small, partial coherencies. This ensures our study covers cases of real-world relevance.


title: Information Rates of ASK-Based Molecular Communication in Fluid Media

abstract: This paper studies the capacity of molecular communications in fluid media, where the information is encoded in the number of transmitted molecules in a time-slot (amplitude shift keying). The propagation of molecules is governed by random Brownian motion and the communication is in general subject to inter-symbol interference (ISI). We first consider the case where ISI is negligible and analyze the capacity and the capacity per unit cost of the resulting discrete memoryless molecular channel and the effect of possible practical constraints, such as limitations on peak and/or average number of transmitted molecules per transmission. In the case with a constrained peak molecular emission, we show that as the time-slot duration increases, the input distribution achieving the capacity per channel use transitions from binary inputs to a discrete uniform distribution. In this paper, we also analyze the impact of ISI. Crucially, we account for the correlation that ISI induces between channel output symbols. We derive an upper bound and two lower bounds on the capacity in this setting. Using the input distribution obtained by an extended Blahut-Arimoto algorithm, we maximize the lower bounds. Our results show that, over a wide range of parameter values, the bounds are close.


title: An effective Arakelov-theoretic version of the hyperbolic isogeny theorem

abstract: For an integer $e$ and hyperbolic curve $X$ over $\overline{\mathbb Q}$, Mochizuki showed that there are only finitely many isomorphism classes of hyperbolic curves $Y$ of Euler characteristic $e$ with the same universal cover as $X$. We use Arakelov theory to prove an effective version of this finiteness statement.


title: Occurrence Typing Modulo Theories

abstract: We present a new type system combining occurrence typing, previously used to type check programs in dynamically-typed languages such as Racket, JavaScript, and Ruby, with dependent refinement types. We demonstrate that the addition of refinement types allows the integration of arbitrary solver-backed reasoning about logical propositions from external theories. By building on occurrence typing, we can add our enriched type system as an extension of Typed Racket---adding dependency and refinement reuses the existing formalism while increasing its expressiveness. Dependent refinement types allow Typed Racket programmers to express rich type relationships, ranging from data structure invariants such as red-black tree balance to preconditions such as vector bounds. Refinements allow programmers to embed the propositions that occurrence typing in Typed Racket already reasons about into their types. Further, extending occurrence typing to refinements allows us to make the underlying formalism simpler and more powerful. In addition to presenting the design of our system, we present a formal model of the system, show how to integrate it with theories over both linear arithmetic and bitvectors, and evaluate the system in the context of the full Typed Racket implementation. Specifically, we take safe vector access as a case study, and examine all vector accesses in a 56,000 line corpus of Typed Racket programs. Our system is able to prove that 50% of these are safe with no new annotation, and with a few annotations and modifications, we can capture close to 80%.


title: One-loop corrections to vector Galileon theory

abstract: The effective action of the recently proposed vector Galileon theory is considered. Using the background field method, we obtain the one-loop correction to the propagator of the Proca field from vector Galileon self-interactions. Contrary to the so-called scalar Galileon interactions, the two-point function of the vector field gets renormalized at the one-loop level, indicating that there is no non-renormalization theorem in the vector Galileon theory. Using dimensional regularization, we remove the divergences and obtain the counterterms of the theory. The finite term is analytically calculated, which modifies the propagator and the mass term and generates some new terms also.


title: Detecting Road Surface Wetness from Audio: A Deep Learning Approach

abstract: We introduce a recurrent neural network architecture for automated road surface wetness detection from audio of tire-surface interaction. The robustness of our approach is evaluated on 785,826 bins of audio that span an extensive range of vehicle speeds, noises from the environment, road surface types, and pavement conditions including international roughness index (IRI) values from 25 in/mi to 1400 in/mi. The training and evaluation of the model are performed on different roads to minimize the impact of environmental and other external factors on the accuracy of the classification. We achieve an unweighted average recall (UAR) of 93.2% across all vehicle speeds including 0 mph. The classifier still works at 0 mph because the discriminating signal is present in the sound of other vehicles driving by.


title: Another Generalization of Unimodality

abstract: A general characterization for \alpha-unimodal distributions was provided by Alamatsaz (1985) who later introduced a multivariate extension of them (Alamatsaz 1993). Here, by solving the related equations, another generalization for unimodality is presented. As a result of this generalization, a simpler proof of a conjecture, as well as a characterization for generalized arcsin distributions and some generalizations of the author's earlier works, have been obtained. Last, but not the least, it is shown that some elementary methods can be more powerful than some more advanced techniques.


title: On materials destruction criteria

abstract: In terms of nonlinear material fracture mechanics, the real (discrete)-structure material fracture model has been developed. The model rests on the demonstration of the fact that crack resistance $K_{1c}=2\sigma \sqrt l$ and fracture toughness are $G_{1c}=J_{1c}=2\sigma l$ obtained on the basis of energy conservation law and derived without linear material fracture mechanics assumptions can be respectively taken as force and energy criteria for non-linear fracture mechanics. It is shown that $G_{1c}=K_{1c}^2/E$ is the energy criterion of linear fracture mechanics of material and it is sufficiently less than $G_{1c} = J_{1c}=2\sigma l$.


title: Constant Factor Approximation for ATSP with Two Edge Weights

abstract: We give a constant factor approximation algorithm for the Asymmetric Traveling Salesman Problem on shortest path metrics of directed graphs with two different edge weights. For the case of unit edge weights, the first constant factor approximation was given recently by Svensson. This was accomplished by introducing an easier problem called Local-Connectivity ATSP and showing that a good solution to this problem can be used to obtain a constant factor approximation for ATSP. In this paper, we solve Local-Connectivity ATSP for two different edge weights. The solution is based on a flow decomposition theorem for solutions of the Held-Karp relaxation, which may be of independent interest.


title: Nonlinear stability of two-dimensional axisymmetric vortices in compressible inviscid medium in a rotating reference frame

abstract: We study the stability of the vortex in a 2D model of continuous compressible media in a uniformly rotating reference frame. As it is known, the axisymmetric vortex in a fixed reference frame is stable with respect to asymmetric perturbations for the solution of the 2D incompressible Euler equations and basically instable for compressible Euler equations. We show that the situation is quite different for a compressible axisymmetric vortex in a rotating reference frame. First, we consider special solutions with linear profile of velocity (or with spatially-uniform velocity gradients), which are important because many real vortices have similar structure near their centers. We analyze both cyclonic and anticyclonic cases and show that the stability of the solution depends only on the ratio of the vorticity to the Coriolis parameter. Using a very delicate analysis along with computer aided proof, we show that the stability of solutions can take place only for a narrow range of this ratio. Our results imply that the rotation of the coordinate frame can stabilize the compressible vortex. Further, we perform both analytical and numerical analysis of stability for real-shaped vortices.


title: Quantum fluctuations in FRLW space-time

abstract: In this paper we study a quantum field theoretical approach, where a quantum probe is used to investigate the properties of generic non-flat FRLW space time. The fluctuations related to a massless conformal coupled scalar field defined on a space-time with horizon is identified with a probe and the procedure to measure the local temperature is presented.


title: SceneNet: Understanding Real World Indoor Scenes With Synthetic Data

abstract: Scene understanding is a prerequisite to many high level tasks for any automated intelligent machine operating in real world environments. Recent attempts with supervised learning have shown promise in this direction but also highlighted the need for enormous quantity of supervised data --- performance increases in proportion to the amount of data used. However, this quickly becomes prohibitive when considering the manual labour needed to collect such data. In this work, we focus our attention on depth based semantic per-pixel labelling as a scene understanding problem and show the potential of computer graphics to generate virtually unlimited labelled data from synthetic 3D scenes. By carefully synthesizing training data with appropriate noise models we show comparable performance to state-of-the-art RGBD systems on NYUv2 dataset despite using only depth data as input and set a benchmark on depth-based segmentation on SUN RGB-D dataset. Additionally, we offer a route to generating synthesized frame or video data, and understanding of different factors influencing performance gains.


title: A Bootstrap Multigrid Eigensolver

abstract: This paper introduces bootstrap multigrid methods for solving eigenvalue problems arising from the discretization of partial differential equations. Inspired by the full bootstrap algebraic multigrid (BAMG) setup algorithm that includes an AMG eigensolver, it is illustrated how the algorithm can be simplified for the case of a discretized partial differential equation (PDE), thereby developing a bootstrap geometric multigrid (BMG) approach. We illustrate numerically the efficacy of the BMG method for: (1) recovering eigenvalues having large multiplicity, (2) computing interior eigenvalues, and (3) approximating shifted indefinite eigenvalue problems. Numerical experiments are presented to illustrate the basic components and ideas behind the success of the overall bootstrap multigrid approach. For completeness, we present a simplified error analysis of a two-grid bootstrap algorithm for the Laplace-Beltrami eigenvalue problem.


title: Charge-density-wave phases of the generalized t-V model

abstract: The one-dimensional extended t-V model of fermions on a lattice is a model with repulsive interactions of finite range that exhibits a transition between a Luttinger liquid conducting phase and a Mott insulating phase. It is known that by tailoring the potential energy of the insulating system, one can force a phase transition into another insulating phase. We show how to construct all possible charge-density-wave phases of the system at low critical densities in the atomic limit. Higher critical densities are investigated by a brute-force analysis of the possible finite unit cells of the Fock states.


title: Real Rank with Respect to Varieties

abstract: We study the real rank of points with respect to a real variety $X$. This is a generalization of various tensor ranks, where $X$ is in a specific family of real varieties like Veronese or Segre varieties. The maximal real rank can be bounded in terms of the codimension of $X$ only. We show constructively that there exist varieties $X$ for which this bound is tight. The same varieties provide examples where a previous bound of Blekherman-Teitler on the maximal $X$-rank is tight. We also give examples of varieties $X$ for which the gap between maximal complex and the maximal real rank is arbitrarily large. To facilitate our constructions we prove a conjecture of Reznick on the maximal real symmetric rank of symmetric bivariate tensors. Finally we study the geometry of the set of points of maximal real rank in the case of real plane curves.


title: Conical Representations for Direct Limits of Symmetric Spaces

abstract: We extend the definition of conical representations for Riemannian symmetric spaces to a certain class of infinite-dimensional Riemannian symmetric spaces. Using an infinite-dimensional version of Weyl's Unitary Trick, there is a correspondence between smooth representations of infinite-dimensional noncompact-type Riemannian symmetric spaces and smooth representations of infinite-dimensional compact-type symmetric spaces. We classify all smooth conical representations which are unitary on the compact-type side. Finally, a new class of non-smooth unitary conical representations appears on the compact-type side which has no analogue in the finite-dimensional case. We classify these representations and show how to decompose them into direct integrals of irreducible conical representations.


title: Galaxy structure from multiple tracers: I. A census of M87's globular cluster populations

abstract: We present a new photometric catalogue of the rich globular cluster (GC) system around M87, the brightest cluster galaxy in Virgo. Using archival Next Generation Virgo cluster Survey (NGVS) images in the ugriz bands, observed with CFHT/MegaPrime, we perform a careful subtraction of the galaxy's halo light in order to detect objects at small galactocentric radii as well as in the wider field, and find 17620 GC candidates over a radius range from 1.3 kpc to 445 kpc with g < 24 magnitudes. By inferring their colour, radial and magnitude distributions in a Bayesian way, we find that they are well described as a mixture of two GC populations and two distinct contaminant populations, but confirm earlier findings of radius-dependent colour gradients in both GC populations. This is consistent with a picture in which the more enriched GCs reside deeper in the galaxy's potential well, indicating a role for dissipative collapse in the formation of both the red and the blue GCs.


title: Entanglement of Dirac bi-spinor states driven by Poincar\'e classes of $\mbox{SU}(2) \otimes \mbox{SU}(2)$ coupling potentials

abstract: A generalized description of entanglement and quantum correlation properties constraining internal degrees of freedom of Dirac(-like) structures driven by arbitrary Poincar\'e classes of external field potentials is proposed. The role of (pseudo)scalar, (pseudo)vector and tensor interactions in producing/destroying intrinsic quantum correlations for $\mbox{SU}(2) \otimes \mbox{SU}(2)$ bi-spinor structures is discussed in terms of generic coupling constants. By using a suitable ansatz to obtain the Dirac Hamiltonian eigenspinor structure of time-independent solutions of the associated Liouville equation, the quantum entanglement, via concurrence, and quantum correlations, via geometric discord, are computed for several combinations of well-defined Poincar\'e classes of Dirac potentials. Besides its inherent formal structure, our results setup a framework which can be enlarged as to include localization effects and to map quantum correlation effects into Dirac-like systems which describe low-energy excitations of graphene and trapped ions.


title: Kodaira dimension of algebraic fiber spaces over surfaces

abstract: In this short note we prove the Iitaka C_nm conjecture for algebraic fiber spaces over surfaces


title: Positive extensions of Schur multipliers

abstract: We introduce partially defined Schur multipliers and obtain necessary and sufficient conditions for the existence of extensions to fully defined positive Schur multipliers, in terms of operator systems canonically associated with their domains. We use these results to study the problem of extending a positive definite function defined on a symmetric subset of a locally compact group to a positive definite function defined on the whole group.


title: The False Discovery Rate (FDR) of Multiple Tests in a Class Room Lecture

abstract: Multiple tests are designed to test a whole collection of null hypotheses simultaneously. Their quality is often judged by the false discovery rate (FDR), i.e. the expectation of the quotient of the number of false rejections divided by the amount of all rejections. The widely cited Benjamini and Hochberg (BH) step up multiple test controls the FDR under various regularity assumptions. In this note we present a rapid approach to the BH step up and step down tests. Also sharp FDR inequalities are discussed for dependent p-values and examples and counter-examples are considered. In particular, the Bonferroni bound is sharp under dependence for control of the family-wise error rate.


title: Firewalls, black-hole thermodynamics, and singular solutions of the Tolman-Oppenheimer-Volkoff equation

abstract: We investigate thermodynamic equilibrium of a self-gravitating perfect fluid in a spherically symmetric system containing a black hole of mass M by means of the Tolman-Oppenheimer-Volkoff (TOV) equation. At r >> 2M its solutions describe a black-body radiation atmosphere with the Hawking temperature T_BH~1/(8 \pi M) that is increasingly blueshifted as r approaches 2M. However, there is no horizon at the Schwarzschild radius. Instead, the fluid becomes increasingly hot and dense there, piling up into a "firewall" with the peak temperatures and densities reaching Planck values somewhat below r = 2M. This firewall surrounds a negative point mass residing at r=0, the only singularity of the solution. The entropy of the firewall is comparable to the Bekenstein-Hawking entropy.


title: An Eulerian formulation of immersed interface method for membranes with tangential stretching

abstract: The forces generated by moving interfaces usually include the parts due to tangential stretching. We derive an evolution equation for the tangential stretching, which then forms the basis of an Eulerian formulation based on level set functions. The jump conditions are then derived using the level set and stretch functions. Compared with the traditional jump conditions under Lagrangian formulation, the jump conditions under the Eulerian formulation are compact and clean. The work here makes possible a local level set formulation for immersed interface method to simulate membranes or vesicles where the tangential forces are present.


title: ReSeg: A Recurrent Neural Network-based Model for Semantic Segmentation

abstract: We propose a structured prediction architecture, which exploits the local generic features extracted by Convolutional Neural Networks and the capacity of Recurrent Neural Networks (RNN) to retrieve distant dependencies. The proposed architecture, called ReSeg, is based on the recently introduced ReNet model for image classification. We modify and extend it to perform the more challenging task of semantic segmentation. Each ReNet layer is composed of four RNN that sweep the image horizontally and vertically in both directions, encoding patches or activations, and providing relevant global information. Moreover, ReNet layers are stacked on top of pre-trained convolutional layers, benefiting from generic local features. Upsampling layers follow ReNet layers to recover the original image resolution in the final predictions. The proposed ReSeg architecture is efficient, flexible and suitable for a variety of semantic segmentation tasks. We evaluate ReSeg on several widely-used semantic segmentation datasets: Weizmann Horse, Oxford Flower, and CamVid; achieving state-of-the-art performance. Results show that ReSeg can act as a suitable architecture for semantic segmentation tasks, and may have further applications in other structured prediction problems. The source code and model hyperparameters are available on https://github.com/fvisin/reseg.


title: Morphologies of ~190,000 Galaxies at z=0-10 Revealed with HST Legacy Data II. Evolution of Clumpy Galaxies

abstract: We investigate evolution of clumpy galaxies with the Hubble Space Telescope (HST) samples of ~17,000 photo-z and Lyman break galaxies at z~0-8. We detect clumpy galaxies with off-center clumps in a self-consistent algorithm that is well tested with previous study results, and measure the number fraction of clumpy galaxies at the rest-frame UV, f_clumpy^UV. We identify an evolutionary trend of f_clumpy^UV over z~0-8 for the first time: f_clumpy^UV increases from z~8 to z~1-3 and subsequently decreases from z~1 to z~0, which follows the trend of Madau-Lilly plot. A low average Sersic index of n~1 is found in the underlining components of our clumpy galaxies at z~0-2, indicating that typical clumpy galaxies have disk-like surface brightness profiles. Our f_clumpy^UV values correlate with physical quantities related to star formation activities for star-forming galaxies at z~0-7. We find that clump colors tend to be red at a small galactocentric distance for massive galaxies with log(M_*/M_sun)>~11. All of these results are consistent with a picture that a majority of clumps form in the violent disk instability and migrate into the galactic centers.


title: Homogeneous irreducible supermanifolds and graded Lie superalgebras

abstract: A depth one grading $\mathfrak{g}= \mathfrak{g}^{-1}\oplus \mathfrak{g}^0 \oplus \mathfrak{g}^1 \oplus \cdots \oplus \mathfrak{g}^{\ell}$ of a finite dimensional Lie superalgebra $\mathfrak{g}$ is called nonlinear irreducible if the isotropy representation $\mathrm{ad}_{\mathfrak{g}^0}|_{\mathfrak{g}^{-1}}$ is irreducible and $\mathfrak{g}^1 \neq (0)$. An example is the full prolongation of an irreducible linear Lie superalgebra $\mathfrak{g}^0 \subset \mathfrak{gl}(\mathfrak{g}^{-1})$ of finite type with non-trivial first prolongation. We prove that a complex Lie superalgebra $\mathfrak{g}$ which admits a depth one transitive nonlinear irreducible grading is a semisimple Lie superalgebra with the socle $\mathfrak{s}\otimes \Lambda(\mathbb{C}^n)$, where $\mathfrak{s}$ is a simple Lie superalgebra, and we describe such gradings. The graded Lie superalgebra $\mathfrak{g}$ defines an isotropy irreducible homogeneous supermanifold $M=G/G_0$ where $G$, $G_0$ are Lie supergroups respectively associated with the Lie superalgebras $\mathfrak{g}$ and $\mathfrak{g}_0 := \bigoplus_{p\geq 0} \mathfrak{g}^p$.


title: Orthogonal Polynomials on the Unit Ball and Fourth-Order Partial Differential Equations

abstract: The purpose of this work is to analyse a family of mutually orthogonal polynomials on the unit ball with respect to an inner product which includes an additional term on the sphere. First, we will get connection formulas relating classical multivariate orthogonal polynomials on the ball with our family of orthogonal polynomials. Then, using the representation of these polynomials in terms of spherical harmonics, algebraic and differential properties will be deduced.


title: Indoor Office Plan Environment and Layout-Based MmWave Path Loss Models for 28 GHz and 73 GHz

abstract: This paper presents large-scale path loss models based on extensive ultra-wideband millimeter-wave propagation measurements performed at 28 GHz and 73 GHz in three typical indoor office layouts -- namely: corridor, open-plan, and closed-plan. A previous study combined all indoor layouts together, while this study separates them for site-specific indoor large-scale path loss model analysis. Measurements were conducted using a 400 megachips-per-second broadband sliding correlator channel sounder with 800 MHz first null-to-null RF bandwidth for 48 transmitter-receiver location combinations with distances ranging 3.9 m to 45.9 m for both co- and cross-polarized antenna configurations in line-of-sight and non-line-of-sight environments. Omnidirectional path loss values were synthesized from over 14,000 directional power delay profiles and were used to generate single-frequency and multi-frequency path loss models for combined, co-, and cross-polarized antennas. Large-scale path loss models that include a cross-polarization discrimination factor are provided for cross-polarized antenna measurements. The results show the value of using the close-in free space reference distance single and multi-frequency path loss models, as they offer simplicity (less parameters) in path loss calculation and prediction, without sacrificing accuracy. Moreover, the current 3GPP floating-intercept path loss model only requires a simple and subtle modification to convert to the close-in free space reference distance models.


title: Vector theory of gravity: Universe without black holes and solution of dark energy problem

abstract: We propose an alternative theory of gravity which assumes that background geometry of the Universe is fixed four dimensional Euclidean space and gravity is a vector field $A_k$ in this space which breaks the Euclidean symmetry. Direction of $A_k$ gives the time coordinate, while perpendicular directions are spatial coordinates. Vector gravitational field is coupled to matter universally and minimally through the equivalent metric $f_{ik}$ which is a functional of $A_k$. We show that such assumptions yield a unique theory of gravity, it is free of black holes and, to the best of our knowledge, passes all available tests. For cosmology our theory predicts the same evolution of the Universe as general relativity with cosmological constant and zero spatial curvature. However, the present theory provides explanation of the dark energy as energy of longitudinal gravitational field induced by the Universe expansion and yields, with no free parameters, the value of $\Omega _{\Lambda }=2/3\approx 0.67$ which agrees with the recent Planck result $\Omega _{\Lambda }=0.686\pm 0.02$. Such striking agreement indicates that gravity has a vector, rather than tensor, origin. We demonstrate that gravitational wave signals measured by LIGO are compatible with vector gravity. They are produced by orbital inspiral of massive neutron stars which can exist in the present theory. We also quantize gravitational field and show that quantum vector gravity is equivalent to QED. Vector gravity can be tested by making more accurate measurement of the time delay of radar signal traveling near the Sun; by improving accuracy of the light deflection experiments; or by measuring propagation direction of gravitational waves relative to laser interferometer arms. Resolving the supermassive object at the center of our Galaxy with VLBA could provide another test of gravity and also shed light on the nature of dark matter.

categories: gr-qc astro-ph.CO astro-ph.HE hep-ph hep-th


title: Braided Hochschild cohomology and Hopf actions

abstract: We show that the braided Hochschild cohomology, of an algebra in a suitably algebraic braided monoidal category, admits a graded ring structure under which it is braided commutative. We then give a canonical identification between the usual Hochschild cohomology ring of a smash product and the (derived) invariants of its braided Hochschild cohomology ring. We apply our results to identify the associative formal deformation theory of a smash product with its formal deformation theory as a module algebra over the given Hopf algebra (when the Hopf algebra is sufficiently semisimple). As a second application we deduce some structural results for the usual Hochschild cohomology of a smash product, and discuss specific implications for finite group actions on smooth affine schemes.


title: The Physical Nature of the Most Metal-Poor Damped Lyman Alpha Systems

abstract: Utilizing the high-resolution, large-scale LAOZI cosmological simulations we investigate the nature of the metal-poor (${\rm [Z/H]<-2}$) damped Lyman alpha systems (mpDLA) at $z=3$. The following physical picture of mpDLAs emerges. The majority of mpDLAs inhabit regions $\ge 20$~kpc from the host galaxy center on infalling cold gas streams originating from the intergalactic medium, with infall velocity of $\sim 100$ km/s and temperature of $\sim 10^{4}$ K. For each host galaxy, on average, about $1\%$ of the area within a radius $150$~kpc is covered by mpDLAs. The mpDLAs are relatively diffuse ($n_{\rm{gas}} \sim 10^{-2}$ cm$^{-3}$), Jeans quasi-stable, and have very low star formation rate ($\dot{\Sigma} \le 10^{-4} M_{\odot} \rm{\ yr}^{-1} \rm{\ kpc}^{-2}$). As mpDLAs migrate inward to the galaxy center, they mix with high metallicity gas and stellar outflows in the process, removing themselves from the metal-poor category and rendering the central ($\le 5$ kpc) regions of galaxies devoid of mpDLAs. Thus, the central regions of the host galaxies are populated by mostly metal-rich DLAs instead of mpDLAs. All observables of the simulated mpDLAs are in excellent agreement with observations, except the gas density, which is about a factor of ten lower than the value inferred observationally. However, the observationally inferred value is based on simplified assumptions that are not borne out in the simulations.


title: Exact holography and black hole entropy in N=8 and N=4 string theory

abstract: We compute the exact entropy of one-eighth and one-quarter BPS black holes in N=8 and N=4 string theory respectively. This includes all the N=4 CHL models in both K3 and T^4 compactifications. The main result is a measure for the finite dimensional integral that one obtains after localization of supergravity on AdS_2xS^2. This measure is determined entirely by an anomaly in supersymmetric Chern-Simons theory on local AdS_3 and takes into account the contribution from all the supergravity multiplets. In Chern-Simons theory on compact manifolds this is the anomaly that computes a certain one-loop dependence on the volume of the manifold. For one-eighth BPS black holes our results are a first principles derivation of a measure proposed in arXiv:1111.1161, while in the case of one-quarter BPS black holes our result computes exactly all the perturbative or area corrections. Moreover, we argue that instantonic contributions can be incorporated and give evidence by computing the measure which matches precisely the microscopics. Along with this, we find an unitary condition that truncates the answer to a finite sum of instantons in perfect agreement with a microscopic formula. Our results solve a number of puzzles related to localization in supergravity and constitute a larger number of examples where holography can be shown to hold exactly.


title: On topological groups admitting a base at identity indexed with $\omega^\omega$

abstract: A topological group $G$ is said to have a local $\omega^\omega$-base if the neighbourhood system at identity admits a monotone cofinal map from the directed set $\omega^\omega$. In particular, every metrizable group is such, but the class of groups with a local $\omega^\omega$-base is significantly wider. The aim of this article is to better understand the boundaries of this class, by presenting new examples and counter-examples. Ultraproducts and non-arichimedean ordered fields lead to natural families of non-metrizable groups with a local $\omega^\omega$-base which nevertheless are Baire topological spaces. More examples come from such constructions as the free topological group $F(X)$ and the free Abelian topological group $A(X)$ of a Tychonoff (more generally uniform) space $X$, as well as the free product of topological groups. We show that 1) the free product of countably many separable topological groups with a local $\omega^\omega$-base admits a local $\omega^\omega$-base; 2) the group $A(X)$ of a Tychonoff space $X$ admits a local $\omega^\omega$-base if and only if the finest uniformity of $X$ has a $\omega^\omega$-base; 3) the group $F(X)$ of a Tychonoff space $X$ admits a local $\omega^\omega$-base provided $X$ is separable and the finest uniformity of $X$ has a $\omega^\omega$-base.


title: Fine-grained pose prediction, normalization, and recognition

abstract: Pose variation and subtle differences in appearance are key challenges to fine-grained classification. While deep networks have markedly improved general recognition, many approaches to fine-grained recognition rely on anchoring networks to parts for better accuracy. Identifying parts to find correspondence discounts pose variation so that features can be tuned to appearance. To this end previous methods have examined how to find parts and extract pose-normalized features. These methods have generally separated fine-grained recognition into stages which first localize parts using hand-engineered and coarsely-localized proposal features, and then separately learn deep descriptors centered on inferred part positions. We unify these steps in an end-to-end trainable network supervised by keypoint locations and class labels that localizes parts by a fully convolutional network to focus the learning of feature representations for the fine-grained classification task. Experiments on the popular CUB200 dataset show that our method is state-of-the-art and suggest a continuing role for strong supervision.


title: A quantum storm in a teacup

abstract: The past decade has seen atomic Bose-Einstein condensates emerge as a promising prototype system to explore the quantum mechanical form of turbulence, buoyed by a powerful experimental toolbox to control and manipulate the fluid, and the amenity to describe the system from first-principles. This article presents an overview of quantum turbulence in atomic condensates, from its history and fundamental motivations, its characteristics and key results to date, and finally to some promising future directions.


title: Scattering cross sections of liquid deuterium for ultracold neutrons: Experimental results and a calculation model

abstract: We present scattering cross sections $\sigma_\text{scatt}$ of ultracold neutrons (UCN) in liquid deuterium at T = 20.6 K, as recently measured by means of a transmission experiment. The indispensable thorough raw data treatment procedure is explained. A calculation model for coherent and incoherent scattering in liquid deuterium in the hydrodynamic limit based on appropriate physical concepts is provided and shown to fit the data well. The applicability of the incoherent approximation for UCN scattering in liquid deuterium was tested and found to deliver acceptable results.


title: Nonparametric reconstruction of the Om diagnostic to test LCDM

abstract: Cosmic acceleration is usually related with the unknown dark energy, which equation of state, w(z), is constrained and numerically confronted with independent astrophysical data. In order to make a diagnostic of w(z), the introduction of a null test of dark energy can be done using a diagnostic function of redshift, Om. In this work we present a nonparametric reconstruction of this diagnostic using the so-called Loess-Simex factory to test the concordance model with the advantage that this approach offers an alternative way to relax the use of priors and find a possible 'w' that reliably describe the data with no previous knowledge of a cosmological model. Our results demonstrate that the method applied to the dynamical Om diagnostic finds a preference for a dark energy model with equation of state w =-2/3, which correspond to a static domain wall network.


title: Visual Word2Vec (vis-w2v): Learning Visually Grounded Word Embeddings Using Abstract Scenes

abstract: We propose a model to learn visually grounded word embeddings (vis-w2v) to capture visual notions of semantic relatedness. While word embeddings trained using text have been extremely successful, they cannot uncover notions of semantic relatedness implicit in our visual world. For instance, although "eats" and "stares at" seem unrelated in text, they share semantics visually. When people are eating something, they also tend to stare at the food. Grounding diverse relations like "eats" and "stares at" into vision remains challenging, despite recent progress in vision. We note that the visual grounding of words depends on semantics, and not the literal pixels. We thus use abstract scenes created from clipart to provide the visual grounding. We find that the embeddings we learn capture fine-grained, visually grounded notions of semantic relatedness. We show improvements over text-only word embeddings (word2vec) on three tasks: common-sense assertion classification, visual paraphrasing and text-based image retrieval. Our code and datasets are available online.


title: Existence of Solutions to Split Variational Inequality Problems and Split Minimization Problems in Banach Spaces

abstract: In this paper, we extend the concept of split variational inequality problems from Hilbert spaces to Banach spaces. Then we apply the Fan-KKM theorem to prove the existence of solutions to some split variational inequality problems and some split minimization problems in Banach spaces. We also apply fixed point theorems on Chain complete posets to show the solvability of some split variational inequality problems in partially ordered Banach space.


title: Auxiliary Image Regularization for Deep CNNs with Noisy Labels

abstract: Precisely-labeled data sets with sufficient amount of samples are very important for training deep convolutional neural networks (CNNs). However, many of the available real-world data sets contain erroneously labeled samples and those errors substantially hinder the learning of very accurate CNN models. In this work, we consider the problem of training a deep CNN model for image classification with mislabeled training samples - an issue that is common in real image data sets with tags supplied by amateur users. To solve this problem, we propose an auxiliary image regularization technique, optimized by the stochastic Alternating Direction Method of Multipliers (ADMM) algorithm, that automatically exploits the mutual context information among training images and encourages the model to select reliable images to robustify the learning process. Comprehensive experiments on benchmark data sets clearly demonstrate our proposed regularized CNN model is resistant to label noise in training data.


title: Which Regular Expression Patterns are Hard to Match?

abstract: Regular expressions constitute a fundamental notion in formal language theory and are frequently used in computer science to define search patterns. A classic algorithm for these problems constructs and simulates a non-deterministic finite automaton corresponding to the expression, resulting in an $O(mn)$ running time (where $m$ is the length of the pattern and $n$ is the length of the text). This running time can be improved slightly (by a polylogarithmic factor), but no significantly faster solutions are known. At the same time, much faster algorithms exist for various special cases of regular expressions, including dictionary matching, wildcard matching, subset matching, word break problem etc. In this paper, we show that the complexity of regular expression matching can be characterized based on its {\em depth} (when interpreted as a formula). Our results hold for expressions involving concatenation, OR, Kleene star and Kleene plus. For regular expressions of depth two (involving any combination of the above operators), we show the following dichotomy: matching and membership testing can be solved in near-linear time, except for "concatenations of stars", which cannot be solved in strongly sub-quadratic time assuming the Strong Exponential Time Hypothesis (SETH). For regular expressions of depth three the picture is more complex. Nevertheless, we show that all problems can either be solved in strongly sub-quadratic time, or cannot be solved in strongly sub-quadratic time assuming SETH. An intriguing special case of membership testing involves regular expressions of the form "a star of an OR of concatenations", e.g., $[a|ab|bc]^*$. This corresponds to the so-called {\em word break} problem, for which a dynamic programming algorithm with a runtime of (roughly) $O(n\sqrt{m})$ is known. We show that the latter bound is not tight and improve the runtime to $O(nm^{0.44\ldots})$.


title: Unified Dark Energy and Dust Dark Matter Dual to Quadratic Purely Kinetic K-Essence

abstract: We consider a modified gravity plus single-scalar-field model, where the scalar Lagrangian couples symmetrically both to the standard Riemannian volume-form (spacetime integration measure density) given by the square-root of the determinant of the Riemannian metric, as well as to another non-Riemannian volume-form in terms of an auxiliary maximal-rank antisymmetric tensor gauge field. As shown in a previous paper, the pertinent scalar field dynamics provides an exact unified description of both dark energy via dynamical generation of a cosmological constant, and dark matter as a "dust" fluid with geodesic flow as a result of a hidden Noether symmetry. Here we extend the discussion by considering a non-trivial modification of the purely gravitational action in the form of f(R) = R - \alpha R^2 generalized gravity. Upon deriving the corresponding "Einstein-frame" effective action of the latter modified gravity-scalar-field theory we find explicit duality (in the sense of weak versus strong coupling) between the original model of unified dynamical dark energy and dust fluid dark matter, on one hand, and a specific quadratic purely kinetic "k-essence" gravity-matter model with special dependence of its coupling constants on only two independent parameters, on the other hand. The canonical Hamiltonian treatment and Wheeler-DeWitt quantization of the dual purely kinetic "k-essence" gravity-matter model is also briefly discussed.


title: The derived functors of unramified cohomology

abstract: We study the first "derived functors of unramified cohomology" in the sense of arXiv:1506.08385 [math.AG], applied to the sheaves $\mathbf{G}_m$ and $\mathcal{K}_2$. We find interesting connections with classical cycle-theoretic invariants of smooth projective varieties, involving notably a version of the Griffiths group, and the indecomposable $(2,1)$-cycles.


title: 1-domination of knots

abstract: We say that a knot $k_1$ in the $3$-sphere {\it $1$-dominates} another $k_2$ if there is a proper degree 1 map $E(k_1) \to E(k_2)$ between their exteriors, and write $k_1 \ge k_2$. When $k_1 \ge k_2$ but $k_1 \ne k_2$ we write $k_1 > k_2$. One expects in the latter eventuality that $k_1$ is more {\it complicated}. In this paper we produce various sorts of evidence to support this philosophy.


title: The Peirce axiom scheme and suprema

abstract: We present equivalents to the Peirce axiom scheme and highlight its relevance for pairwise suprema.


title: Polarized forward-backward asymmetries of lepton pair in $B\rightarrow K_{1}\ell^{+}\ell^{-}$ decay in the presence of New physics

abstract: Double polarized forward-backward asymmetries in $B\rightarrow K_{1}(1270,1400)\ell^{+}\ell^{-}$ with $\ell=\mu , \tau$ decays are studied, using most general non-standard local four-fermi interactions, where the mass eigenstates $K_{1}(1270)$ and $K_{1}(1400)$ are the mixture of $^{1}{P}_{1}$ and $^{3}{P}_{1}$ states with the mixing angle $\theta_{K}$. We have calculated the expressions of nine doubly polarized forward-backward asymmetries and it is presented that the polarized lepton pair forward-backward asymmetries are greatly influenced by the new physics. Therefore, these asymmetries are interesting tool to explore the status of new physics in near future, specially at LHC.


title: An Approximate Backpropagation Learning Rule for Memristor Based Neural Networks Using Synaptic Plasticity

abstract: We describe an approximation to backpropagation algorithm for training deep neural networks, which is designed to work with synapses implemented with memristors. The key idea is to represent the values of both the input signal and the backpropagated delta value with a series of pulses that trigger multiple positive or negative updates of the synaptic weight, and to use the min operation instead of the product of the two signals. In computational simulations, we show that the proposed approximation to backpropagation is well converged and may be suitable for memristor implementations of multilayer neural networks.


title: Max-sum diversity via convex programming

abstract: Diversity maximization is an important concept in information retrieval, computational geometry and operations research. Usually, it is a variant of the following problem: Given a ground set, constraints, and a function $f(\cdot)$ that measures diversity of a subset, the task is to select a feasible subset $S$ such that $f(S)$ is maximized. The \emph{sum-dispersion} function $f(S) = \sum_{x,y \in S} d(x,y)$, which is the sum of the pairwise distances in $S$, is in this context a prominent diversification measure. The corresponding diversity maximization is the \emph{max-sum} or \emph{sum-sum diversification}. Many recent results deal with the design of constant-factor approximation algorithms of diversification problems involving sum-dispersion function under a matroid constraint. In this paper, we present a PTAS for the max-sum diversification problem under a matroid constraint for distances $d(\cdot,\cdot)$ of \emph{negative type}. Distances of negative type are, for example, metric distances stemming from the $\ell_2$ and $\ell_1$ norm, as well as the cosine or spherical, or Jaccard distance which are popular similarity metrics in web and image search.


title: Site and bond percolation thresholds in $K_{n,n}$-based lattices: Vulnerability of quantum annealers to random qubit and coupler failures on chimera topologies

abstract: We estimate the critical thresholds of bond and site percolation on nonplanar, effectively two-dimensional graphs with chimera like topology. The building blocks of these graphs are complete and symmetric bipartite subgraphs of size $2n$, referred to as $K_{n,n}$ graphs. For the numerical simulations we use an efficient union-find based algorithm and employ a finite-size scaling analysis to obtain the critical properties for both bond and site percolation. We report the respective percolation thresholds for different sizes of the bipartite subgraph and verify that the associated universality class is that of standard two-dimensional percolation. For the canonical chimera graph used in the D-Wave Systems Inc.~quantum annealer ($n = 4$), we discuss device failure in terms of network vulnerability, i.e., we determine the critical fraction of qubits and couplers that can be absent due to random failures prior to losing large-scale connectivity throughout the device.


title: Enhancing residual-based techniques with shape reconstruction features in Electrical Impedance Tomography

abstract: In electrical impedance tomography, algorithms based on minimizing a linearized residual functional have been widely used due to their flexibility and good performance in practice. However, no rigorous convergence results have been available in the literature yet, and reconstructions tend to contain ringing artifacts. In this work, we shall minimize the linearized residual functional under a linear constraint defined by a monotonicity test, which plays a role of a special regularizer. Global convergence is then established to guarantee that this method is stable under the effects of noise. Moreover, numerical results show that this method yields good shape reconstructions under high levels of noise without appearance of artifacts.


title: The stochastic integrable AKNS hierarchy

abstract: We derive a stochastic AKNS hierarchy using geometrical methods. The integrability is shown via a stochastic zero curvature relation associated with a stochastic isospectral problem. We expose some of the stochastic integrable partial differential equations which extend the stochastic KdV equation discovered by M. Wadati in 1983 for all the AKNS flows. We also show how to find stochastic solitons from the stochastic evolution of the scattering data of the stochastic IST. We finally expose some properties of these equations and also briefly study a stochastic Camassa-Holm equation which reduces to a stochastic Hamiltonian system of peakons.


title: Quantum interference in heterogeneous superconducting-photonic circuits on a silicon chip

abstract: Quantum information processing holds great promise for communicating and computing data efficiently. However, scaling current photonic implementation approaches to larger system size remains an outstanding challenge for realizing disruptive quantum technology. Two main ingredients of quantum information processors are quantum interference and single-photon detectors. Here we develop a hybrid superconducting-photonic circuit system to show how these elements can be combined in a scalable fashion on a silicon chip. We demonstrate the suitability of this approach for integrated quantum optics by interfering and detecting photon pairs directly on the chip with waveguide-coupled single-photon detectors. Using a directional coupler implemented with silicon nitride nanophotonic waveguides, we observe 97% interference visibility when measuring photon statistics with two monolithically integrated superconducting single photon detectors. The photonic circuit and detector fabrication processes are compatible with standard semiconductor thin-film technology, making it possible to implement more complex and larger scale quantum photonic circuits on silicon chips.


title: Constructions in Ramsey theory

abstract: We provide several constructions for problems in Ramsey theory. First, we prove a superexponential lower bound for the classical 4-uniform Ramsey number $r_4(5,n)$, and the same for the iterated $(k-4)$-fold logarithm of the $k$-uniform version $r_k(k+1,n)$. This is the first improvement of the original exponential lower bound for $r_4(5,n)$ implicit in work of Erd\H os and Hajnal from 1972 and also improves the current best known bounds for larger $k$ due to the authors. Second, we prove an upper bound for the hypergraph Erd\H os-Rogers function $f^k_{k+1, k+2}(N)$ that is an iterated $(k-13)$-fold logarithm in $N$. This improves the previous upper bounds that were only logarithmic and addresses a question of Dudek and the first author that was reiterated by Conlon, Fox and Sudakov. Third, we generalize the results of Erd\H os and Hajnal about the 3-uniform Ramsey number of $K_4$ minus an edge versus a clique to $k$-uniform hypergraphs.


title: Continuity of the Jones' set function $\mathcal{T}$

abstract: Given a continuum $X$, for each $A\subseteq X$, the Jones' set function $\mathcal{T}$ is defined by $\mathcal{T}(A)=\{x\in X : \text{for each subcontinuum }K\text{ such that }x\in \textrm{Int}(K), \text{ then }K\cap A\neq\emptyset\}.$ We show that $\mathcal{D}=\{\mathcal{T}(\{x\}):x\in X\}$ is decomposition of $X$ when $\mathcal{T}$ is continuous. We present a characterization of the continuity of $\mathcal{T}$ and answer several open questions posed by D. Bellamy.


title: Nested Quantum Annealing Correction

abstract: We present a general error-correcting scheme for quantum annealing that allows for the encoding of a logical qubit into an arbitrarily large number of physical qubits. Given any Ising model optimization problem, the encoding replaces each logical qubit by a complete graph of degree $C$, representing the distance of the error-correcting code. A subsequent minor-embedding step then implements the encoding on the underlying hardware graph of the quantum annealer. We demonstrate experimentally that the performance of a D-Wave Two quantum annealing device improves as $C$ grows. We show that the performance improvement can be interpreted as arising from an effective increase in the energy scale of the problem Hamiltonian, or equivalently, an effective reduction in the temperature at which the device operates. The number $C$ thus allows us to control the amount of protection against thermal and control errors, and in particular, to trade qubits for a lower effective temperature that scales as $C^{-\eta}$, with $\eta \leq 2$. This effective temperature reduction is an important step towards scalable quantum annealing.


title: Multiple--Instance Learning: Christoffel Function Approach to Distribution Regression Problem

abstract: A two--step Christoffel function based solution is proposed to distribution regression problem. On the first step, to model distribution of observations inside a bag, build Christoffel function for each bag of observations. Then, on the second step, build outcome variable Christoffel function, but use the bag's Christoffel function value at given point as the weight for the bag's outcome. The approach allows the result to be obtained in closed form and then to be evaluated numerically. While most of existing approaches minimize some kind an error between outcome and prediction, the proposed approach is conceptually different, because it uses Christoffel function for knowledge representation, what is conceptually equivalent working with probabilities only. To receive possible outcomes and their probabilities Gauss quadrature for second--step measure can be built, then the nodes give possible outcomes and normalized weights -- outcome probabilities. A library providing numerically stable polynomial basis for these calculations is available, what make the proposed approach practical.


title: Neighboring Optimal Guidance for Low-Thrust Multi-Burn Orbital Transfers

abstract: This paper presents a novel neighboring extremal approach to establish the neighboring optimal guidance (NOG) strategy for fixed-time low-thrust multi-burn orbital transfer problems. Unlike the classical variational methods which define and solve an accessory minimum problem (AMP) to design the NOG, the core of the proposed method is to construct a parameterized family of neighboring extremals around a nominal one. A geometric analysis on the projection behavior of the parameterized neighboring extremals shows that it is impossible to establish the NOG unless not only the typical Jacobi condition (JC) between switching times but also a transversal condition (TC) at each switching time is satisfied. According to the theory of field of extremals, the JC and the TC, once satisfied, are also sufficient to ensure a multi-burn extremal trajectory to be locally optimal. Then, through deriving the first-order Taylor expansion of the parameterized neighboring extremals, the neighboring optimal feedbacks on thrust direction and switching times are obtained. Finally, to verify the development of this paper, a fixed-time low-thrust fuel-optimal orbital transfer problem is calculated.


title: Visualization in teaching and learning mathematics in elementary, secondary and higher education

abstract: In this paper we present our experience in using visualization in mathematics education. The experience with our university courses: "Computer tools in matematics" and "Symbolic algebra" provides the basis for mathematics teacher education program http://vizuelizacija.etf.rs/. The program is intended for elementary and high school teachers. The education program deals with modern techniques of visualization by using technologies such as GeoGegebra, JAVA and HTML.


title: Groups of PL-homeomorphisms admitting non-trivial invariant characters

abstract: We show that several classes of groups G of PL-homeomorphisms of the real line admit non-trivial homomorphisms from G to the additive group of reals that are fixed by every automorphism of G. The classes of groups enjoying the stated property include the generalisations of Thompson's group F studied by K. S. Brown, M. Stein, S. Cleary, and Bieri-Strebel but also the class of groups investigated by Bieri-Neumann-Strebel in [BNS87, Theorem 8.1]. It follows that every automorphism of a group in one of these classes has infinitely many associated twisted conjugacy classes.


title: Investigating Cepheid $\ell$ Carinae's Cycle-to-cycle Variations via Contemporaneous Velocimetry and Interferometry

abstract: Baade-Wesselink-type (BW) techniques enable geometric distance measurements of Cepheid variable stars in the Galaxy and the Magellanic clouds. The leading uncertainties involved concern projection factors required to translate observed radial velocities (RVs) to pulsational velocities and recently discovered modulated variability. We carried out an unprecedented observational campaign involving long-baseline interferometry (VLTI/PIONIER) and spectroscopy (Euler/Coralie) to search for modulated variability in the long-period (P $\sim$ 35.5 d) Cepheid Carinae. We determine highly precise angular diameters from squared visibilities and investigate possible differences between two consecutive maximal diameters, $\Delta_{\rm{max}} \Theta$. We characterize the modulated variability along the line-of-sight using 360 high-precision RVs. Here we report tentative evidence for modulated angular variability and confirm cycle-to-cycle differences of $\ell$ Carinae's RV variability. Two successive maxima yield $\Delta_{\rm{max}} \Theta$ = 13.1 $\pm$ 0.7 (stat.) {\mu}as for uniform disk models and 22.5 $\pm$ 1.4 (stat.) {\mu}as (4% of the total angular variation) for limb-darkened models. By comparing new RVs with 2014 RVs we show modulation to vary in strength. Barring confirmation, our results suggest the optical continuum (traced by interferometry) to be differently affected by modulation than gas motions (traced by spectroscopy). This implies a previously unknown time-dependence of projection factors, which can vary by 5% between consecutive cycles of expansion and contraction. Additional interferometric data are required to confirm modulated angular diameter variations. By understanding the origin of modulated variability and monitoring its long-term behavior, we aim to improve the accuracy of BW distances and further the understanding of stellar pulsations.


title: Applications of the Feynman-Hellmann theorem in hadron structure

abstract: The Feynman-Hellmann (FH) relation offers an alternative way of accessing hadronic matrix elements through artificial modifications to the QCD Lagrangian. In particular, a FH-motivated method provides a new approach to calculations of disconnected contributions to matrix elements and high-momentum nucleon and pion form factors. Here we present results for the total nucleon axial charge, including a statistically significant non-negative total disconnected quark contribution of around $-5\%$ at an unphysically heavy pion mass. Extending the FH relation to finite-momentum transfers, we also present calculations of the pion and nucleon electromagnetic form factors up to momentum transfers of around 7-8 GeV$^2$. Results for the nucleon are not able to confirm the existence of a sign change for the ratio $\frac{G_E}{G_M}$, but suggest that future calculations at lighter pion masses will provide fascinating insight into this behaviour at large momentum transfers.


title: Exponential decay rate of partial autocorrelation coefficients of ARMA and short-memory processes

abstract: We present a short proof of the fact that the exponential decay rate of partial autocorrelation coefficients of a short-memory process, in particular an ARMA process, is equal to the exponential decay rate of the coefficients of its infinite autoregressive representation.


title: Cross-Correlation of the Extragalactic Gamma-ray Background with Luminous Red Galaxies

abstract: Measurements of the cross-correlation between the extragalactic gamma-ray background (EGB) and large-scale structure provide a novel probe of dark matter on extragalactic scales. We focus on luminous red galaxies (LRGs) as optimal targets to search for the signal of dark matter annihilation. We measure the cross-correlation function of the EGB taken from the Fermi Large Area Telescope with the LRGs from the Sloan Digital Sky Survey. Statistical errors are calculated using a large set of realistic mock LRG catalogs. The amplitude of the measured cross-correlation is consistent with null detection. Based on an accurate theoretical model of the distribution of dark matter associated with LRGs, we exclude dark matter annihilation cross-sections over $\langle \sigma v\rangle =3\times10^{-25}-10^{-26}\, {\rm cm}^3 \,{\rm s}^{-1}$ for a 10 GeV dark matter. We further investigate systematic effects due to uncertainties in the Galactic gamma-ray foreground emission, which we find to be an order of magnitude smaller than the current statistical uncertainty. We also estimate the contamination from astrophysical sources in the LRGs by using known scaling relations between gamma-ray luminosity and star-formation rate, finding them to be negligibly small. Based on these results, we suggest that LRGs remain ideal targets for probing dark matter annihilation with future EGB measurement and galaxy surveys. Increasing the number of LRGs in upcoming galaxy surveys such as LSST would lead to big improvements of factors of several in sensitivity.


title: Designing a mobile game to thwarts malicious IT threats: A phishing threat avoidance perspective

abstract: Phishing is an online identity theft, which aims to steal sensitive information such as username, password and online banking details from victims. To prevent this, phishing education needs to be considered. Game based education is becoming more and more popular. This paper introduces a mobile game prototype for the android platform based on a story, which simplifies and exaggerates real life. The elements of a game design framework for avoiding phishing attacks were used to address the game design issues and game design principles were used as a set of guidelines for structuring and presenting information. The overall mobile game design was aimed to enhance the user's avoidance behaviour through motivation to protect themselves against phishing threats. The prototype mobile game design was presented on MIT App Inventor Emulator.


title: Some $L^p$ rigidity results for complete manifolds with harmonic curvature

abstract: Let $(M^n, g)(n\geq3)$ be an $n$-dimensional complete Riemannian manifold with harmonic curvature and positive Yamabe constant. Denote by $R$ and $\mathring{Rm}$ the scalar curvature and the trace-free Riemannian curvature tensor of $M$, respectively. The main result of this paper states that $\mathring{Rm}$ goes to zero uniformly at infinity if for $p\geq \frac n2$, the $L^{p}$-norm of $\mathring{Rm}$ is finite. Moreover, If $R$ is positive, then $(M^n, g)$ is compact. As applications, we prove that $(M^n, g)$ is isometric to a spherical space form if for $p\geq \frac n2$, $R$ is positive and the $L^{p}$-norm of $\mathring{Rm}$ is pinched in $[0,C_1)$, where $C_1$ is an explicit positive constant depending only on $n, p$, $R$ and the Yamabe constant. In particular, we prove an $L^{p}(\frac n2\leq p<\frac{n-2}{2}(1+\sqrt{1-\frac4n}))$-norm of $\mathring{Ric}$ pinching theorem for complete, simply connected, locally conformally flat Riemannian $n(n\geq 6)$-manifolds with constant negative scalar curvature. We give an isolation theorem of the trace-free Ricci curvature tensor of compact locally conformally flat Riemannian $n$-manifolds with constant positive scalar curvature, which improves Thereom 1.1 and Corollary 1 of E. Hebey and M. Vaugon \cite{{HV}}. This rsult is sharped, and we can precisely characterize the case of equality.