title: Barcodes of Towers and a Streaming Algorithm for Persistent Homology

abstract: A tower is a sequence of simplicial complexes connected by simplicial maps. We show how to compute a filtration, a sequence of nested simplicial complexes, with the same persistent barcode as the tower. Our approach is based on the coning strategy by Dey et al. (SoCG 2014). We show that a variant of this approach yields a filtration that is asymptotically only marginally larger than the tower and can be efficiently computed by a streaming algorithm, both in theory and in practice. Furthermore, we show that our approach can be combined with a streaming algorithm to compute the barcode of the tower via matrix reduction. The space complexity of the algorithm does not depend on the length of the tower, but the maximal size of any subcomplex within the tower.


title: Experimental evidence of thermal-like behaviour in dense granular suspensions

abstract: We experimentally investigate the statistical behaviour of a model two-dimensional granular system undergoing stationary sedimentation. Buoyant cylindrical particles are rotated in liquid-filled drum, thus confined in a harmonic centripetal potential with tunable curvature, which competes with gravity to produce various stationary states: though heterogeneous, the packing fraction of the system can be tuned to be fully dispersed to fully crystallised as the rotation rate is increased. We show that this dynamical system is in mechanical equilibrium in the confining potential and exhibits a thermal-like behaviour, where the granular pressure and the packing fraction are related through an equation of state. We obtain a semi-analytical expression of the equation of state allowing to probe the nature of the hydrodynamic interactions between the particles. This description is valid in the whole range of the physical parameters we investigated and reveals a buoyant energy scale that we interpret as an effective temperature. We finally discuss the behaviour of our system at high packing fractions and the relevance of the equation of state to the liquid-solid phase transition.


title: On a local Darlington synthesis problem

abstract: The Darlington synthesis problem (in the scalar case) is the problem of embedding a given contractive analytic function to an inner $2\times 2$ matrix function as the entry. A fundamental result of Arov--Douglas--Helton relates this algebraic property to a pure analytic one known as a pseudocontinuation of bounded type. We suggest a local version of the Darlington synthesis problem and prove a local analog of the ADH theorem.


title: Thermodynamic scaling of vibrational dynamics and relaxation

abstract: We investigate by thorough Molecular Dynamics simulations the thermodynamic scaling (TS) of a polymer melt. Two distinct models, with strong and weak virial-energy correlations, are considered. Both evidence the joint TS with the same characteristic exponent $\gamma_{ts}$ of the fast mobility - the mean square amplitude of the picosecond rattling motion inside the cage -, and the much slower structural relaxation and chain reorientation. If the cage effect is appreciable, the TS master curves of the fast mobility are nearly linear, grouping in a bundle of approximately concurrent lines for different fragilities. An expression of the TS master curve of the structural relaxation with one adjustable parameter less than the available three-parameters alternatives is derived. The novel expression fits well with the experimental TS master curves of thirty-four glassformers and, in particular, their slope at the glass transition, i.e. the isochoric fragility. For the glassformer OTP the isochoric fragility allows to satisfactorily predict the TS master curve of the fast mobility with no adjustments.


title: Precision measurement of the (e$^+$ + e$^-$) flux in primary cosmic rays from 0.5 GeV to 1 TeV with the Alpha Magnetic Spectrometer on the International Space Station

abstract: We present a precise measurement of the combined electron plus positron flux from 0.5 GeV to 1 TeV, based on the analysis of the data collected by the Alpha Magnetic Spectrometer during the first 30 months of operations aboard the International Space Station. The statistics and the high resolution of AMS-02 detector provide a precise measurement of the flux. The flux is smooth and reveals new and distinct information. Above 30.2 GeV, the combined electron plus positron flux can be described accurately by a single power law.


title: Astrophysical background and dark matter implication based on latest AMS-02 data

abstract: The cosmic ray(CR) positrons and antiprotons are often regarded as the collision products of CR nucleons with the interstellar medium. However this conclusion is challenged by recent experimental data. In this work, we choose the latest AMS-02 data to analyze the astrophysical background of CR positrons and antiprotons with the GALPROP code for CR propagation and the QGSJET-II-04 model for the hadronic interactions. The results show that in low energies the predicted fluxes of CR antiprotons and positrons are consistent with AMS-02 data in the diffusion model combining the re-acceleration and convection terms (DCR model). Thus, the excess of CR antiprotons in the low energy are not justified. In that model, the predicted flux of CR protons is consistent with AMS-02 data whose hardening feature above 330 GeV is also matched. Based on that model, the total fluxes of CR electrons and positrons from AMS-02 are also used to analyzed the interpretation of dark matter annihilation about the positron excess. The predicted best-fit masses of dark matter are from 400 GeV to 4 TeV. The DCR model does not give the unusual interpretation of the positron excess.


title: Accurate Learning or Fast Mixing? Dynamic Adaptability of Caching Algorithms

abstract: Typical analysis of content caching algorithms using the metric of steady state hit probability under a stationary request process does not account for performance loss under a variable request arrival process. In this work, we consider adaptability of caching algorithms from two perspectives: (a) the accuracy of learning a fixed popularity distribution, and (b) the speed of learning items' popularity. In order to attain this goal, we compute the distance between the stationary distributions of several popular algorithms with that of a genie-aided algorithm that has knowledge of the true popularity ranking, which we use as a measure of learning accuracy. We then characterize the mixing time of each algorithm, i.e., the time needed to attain the stationary distribution, which we use as a measure of learning efficiency. We merge both measures above to obtain the "learning error" representing both how quickly and how accurately an algorithm learns the optimal caching distribution, and use this to determine the trade-off between these two objectives of many popular caching algorithms. Informed by the results of our analysis, we propose a novel hybrid algorithm, Adaptive-LRU (A-LRU), that learns both faster and better the changes in the popularity. We show numerically that it also outperforms all other candidate algorithms when confronted with either a dynamically changing synthetic request process or using real world traces.


title: From direct detection to relic abundance: the case of proton-philic spin-dependent inelastic Dark Matter

abstract: We discuss strategies to make inferences on the thermal relic abundance of a Weakly Interacting Massive Particle (WIMP) when the same effective dimension-six operator that explains an experimental excess in direct detection is assumed to drive decoupling at freeze-out, and apply them to the proton-philic Spin-dependent Inelastic Dark Matter (pSIDM) scenario, a phenomenological set-up containing two states $\chi_1$ and $\chi_2$ with $m_{\chi_2}>m_{\chi_1}$ that we have shown in a previous paper to explain the DAMA effect in compliance with the constraints from other detectors. We update experimental constraints on pSIDM, extend the analysis to the most general spin-dependent momentum-dependent interactions allowed by non-relativistic Effective Field Theory (EFT), and consider for the WIMP velocity distribution in our Galaxy both a halo-independent approach and a standard Maxwellian. The problem of calculating the relic abundance by using direct detection data to fix the model parameters is affected by a strong sensitivity on $f(v)$ and by the degeneracy between the WIMP local density and the WIMP-nucleon scattering cross section. As a consequence, a DM direct detection experiment is not directly sensitive to the physical cut-off scale of the EFT, but on some dimensional combination that does not depend on the actual value of the relic abundance. However, such degeneracy can be used to develop a consistency test on the possibility that the WIMP is a thermal relic in the first place. When we apply it to the pSIDM scenario we find that only a WIMP with a standard spin-dependent interaction ${\cal O}_{spin}$ with quarks can be a thermal relic, for a galactic velocity distribution that departs from a Maxwellian. However all the $\chi_2$ states must have already decayed today, and this requires some additional mechanism besides that provided by the ${\cal O}_{spin}$ operator.


title: Structural propagation in a production network with restoring substitution elasticities

abstract: We model an economy-wide production network by cascading binary compounding functions, based on the sequential processing nature of the production activities. As we observe a hierarchy among the intermediate processes spanning the empirical input--output transactions, we utilize a stylized sequence of processes for modeling the intra-sectoral production activities. Under the productivity growth that we measure jointly with the state-restoring elasticity parameters for each sectoral activity, the network of production completely replicates the records of multi-sectoral general equilibrium prices and shares for all factor inputs observed in two temporally distant states. Thereupon, we study propagation of a small exogenous productivity shock onto the structure of production networks by way of hierarchical clustering.


title: A note on proper affine symmetry in Bianchi types VIII and IX space-times

abstract: We consider the most general form of Bianchi types VIII and IX space-times for studying proper affine symmetry by using holonomy and decomposability, the rank of the 6X6 Riemann matrix and direct integration techniques. Studying proper affine symmetry in the above space-times it is shown that there exists only one possibilty when the above space-times admit proper affine vector field.


title: On closed Lie ideals of certain tensor products of $C^*$-algebras

abstract: For a simple $C^*$-algebra $A$ and any other $C^*$-algebra $B$, it is proved that every closed ideal of $A \otimes^{\min} B$ is a product ideal if either $A$ is exact or $B$ is nuclear. Closed commutator of a closed ideal in a Banach algebra whose every closed ideal possesses a quasi-central approximate identity is described in terms of the commutator of the Banach algebra. If $\alpha$ is either the Haagerup norm, the operator space projective norm or the $C^*$-minimal norm, then this allows us to identify all closed Lie ideals of $A \otimes^{\alpha} B$, where $A$ and $B$ are simple, unital $C^*$-algebras with one of them admitting no tracial functionals, and to deduce that every non-central closed Lie ideal of $B(H) \otimes^{\alpha} B(H)$ contains the product ideal $K(H) \otimes^{\alpha} K(H)$. Closed Lie ideals of $A \otimes^{\min} C(X)$ are also determined, $A$ being any simple unital $C^*$-algebra with at most one tracial state and $X$ any compact Hausdorff space. And, it is shown that closed Lie ideals of $A \otimes^{\alpha} K(H)$ are precisely the product ideals, where $A$ is any unital $C^*$-algebra and $\alpha$ any completely positive uniform tensor norm.


title: Orthogonality of the Ferrers' Associated Legendre Functions of the Second Kind with Imaginary Argument

abstract: In this work we study the associated Legendre functions of the second kind with a purely imaginary argument $Q^k_\ell(\mathbb{i}\, x)$. We derive the conditions under which they provide a set of square integrable functions when $x \in \mathbb{R}$ and we prove the relevant orthogonality relation that they satisfy.


title: MatlabCompat.jl: helping Julia understand Your Matlab/Octave Code

abstract: Scientific legacy code in MATLAB/Octave not compatible with modernization of research workflows is vastly abundant throughout academic community. Performance of non-vectorized code written in MATLAB/Octave represents a major burden. A new programming language for technical computing Julia, promises to address these issues. Although Julia syntax is similar to MATLAB/Octave, porting code to Julia may be cumbersome for researchers. Here we present MatlabCompat.jl - a library aimed at simplifying the conversion of your MATLAB/Octave code to Julia. We show using a simplistic image analysis use case that MATLAB/Octave code can be easily ported to high performant Julia using MatlabCompat.jl.


title: JSON: data model, query languages and schema specification

abstract: Despite the fact that JSON is currently one of the most popular formats for exchanging data on the Web, there are very few studies on this topic and there are no agreement upon theoretical framework for dealing with JSON. There- fore in this paper we propose a formal data model for JSON documents and, based on the common features present in available systems using JSON, we define a lightweight query language allowing us to navigate through JSON documents. We also introduce a logic capturing the schema proposal for JSON and study the complexity of basic computational tasks associated with these two formalisms.


title: 1+1-dimensional Yang-Mills equations and mass via quasiclassical correction to action

abstract: Two-dimensional Yang-Mills models in a pseudo-euclidean space are considered from a point of view of a class of nonlinear Klein-Gordon-Fock equations. It is shown that the Nahm reduction does not work, another choice is proposed and investigated. A quasiclassical quantization of the models is based on Feynmann-Maslov path integral construction and its zeta function representation in terms of a Green function diagonal for an auxiliary heat equation with an elliptic potential. The natural renormalization use a freedom in vacuum state choice as well as the choice of the norm of an evolution operator eigenvectors. A nonzero mass appears via the quasiclassical correction.


title: Vacuum-ultraviolet frequency-modulation spectroscopy

abstract: Frequency-modulation (FM) spectroscopy has been extended to the vacuum-ultraviolet (VUV) range of the electromagnetic spectrum. Coherent VUV laser radiation is produced by resonance-enhanced sum-frequency mixing ($\nu_{\mathrm{VUV}}=2\nu_{\mathrm{UV}}+\nu_2$) in Kr and Xe using two near-Fourier-transform-limited laser pulses of frequencies $\nu_{\mathrm{UV}}$ and $\nu_2$. Sidebands generated in the output of the second laser ($\nu_2$) using an electro-optical modulator operating at the frequency $\nu_{\mathrm{mod}}$ are directly transfered to the VUV and used to record FM spectra. Demodulation is demonstrated both at $\nu_{\mathrm{mod}}$ and $2\nu_{\mathrm{mod}}$. The main advantages of the method are that its sensitivity is not reduced by pulse-to-pulse fluctuations of the VUV laser intensity, compared to VUV absorption spectroscopy is its background-free nature, the fact that its implementation using table-top laser equipment is straightforward and that it can be used to record VUV absorption spectra of cold samples in skimmed supersonic beams simultaneously with laser-induced-fluorescence and photoionization spectra. To illustrate these advantages we present VUV FM spectra of Ar, Kr, and N$_2$ in selected regions between 105000cm$^{-1}$ and 122000cm$^{-1}$.


title: Electroweak vacuum stability in the Higgs-Dilaton theory

abstract: We study the stability of the Electroweak (EW) vacuum in a scale-invariant extension of the Standard Model and General Relativity, known as a Higgs-Dilaton theory. The safety of the EW vacuum against possible transition towards another vacuum is a necessary condition for the model to be phenomenologically acceptable. We find that, within a wide range of parameters of the theory, the decay rate is significantly suppressed compared to that of the Standard Model. We also discuss properties of a tunneling solution that are specific to the Higgs-Dilaton theory.


title: Production of $\Lambda_c^+$ hypernuclei in antiproton - nucleus collisions

abstract: We investigate the production of charm-baryon hypernucleus $^{16}_{\Lambda_c^+}$O in the antiproton - $^{16}$O collisions within a fully covariant model that is based on an effective Lagrangian approach. The explicit ${\bar \Lambda}_c^ - \Lambda_c^+$ production vertex is described by the $t$-channel $D^0$ and $D^{*0}$ meson-exchanges in the initial collision of the incident antiproton with one of the protons of the target nucleus. The $\Lambda_c^+$ bound state spinors as well as the self-energies of the exchanged mesons employed in our calculations are derived from the quark-meson coupling model. The parameters of various vertices are taken to be the same as those used in our previous study of the elementary ${\bar p} + p \to {\bar \Lambda}_c^- + \Lambda_c^+$ reaction. We find that for antiproton beam momenta of interest to the ${\bar P}ANDA$ experiment, the 0$^\circ$ differential cross sections for the formation of $^{16}_{\Lambda_c^+}$O hypernuclear states with simple particle-hole configurations, have magnitudes in the range of a few $\mu$b/sr.


title: Uncertainty Relation Based on Skew Information with Quantum Memory

abstract: We present a new uncertainty relation by defining a measure of uncertainty based on skew information. For bipartite systems, we establish uncertainty relations with the existence of a quantum memory. A general relation between quantum correlations and tight bounds of uncertainty has been presented.


title: Interpolating Between Choices for the Approximate Intermediate Value Theorem

abstract: This paper proves the approximate intermediate value theorem, constructively and from notably weak hypotheses: from pointwise rather than uniform continuity, without assuming that reals are presented with rational approximants, and without using countable choice. The theorem is that if a pointwise continuous function has both a negative and a positive value, then it has values arbitrarily close to 0. The proof builds on the usual classical proof by bisection, which repeatedly selects the left or right half of an interval; the algorithm here selects an interval of half the size in a continuous way, interpolating between those two possibilities.


title: A Proof of the Herschel-Maxwell Theorem Using the Strong Law of Large Numbers

abstract: In this article, we use the strong law of large numbers to give a proof of the Herschel-Maxwell theorem, which characterizes the normal distribution as the distribution of the components of a spherically symmetric random vector, provided they are independent. We present shorter proofs under additional moment assumptions, and include a remark, which leads to another strikingly short proof of Maxwell's characterization using the central limit theorem.


title: Searching edges in the overlap of two plane graphs

abstract: Consider a pair of plane straight-line graphs, whose edges are colored red and blue, respectively, and let n be the total complexity of both graphs. We present a O(n log n)-time O(n)-space technique to preprocess such pair of graphs, that enables efficient searches among the red-blue intersections along edges of one of the graphs. Our technique has a number of applications to geometric problems. This includes: (1) a solution to the batched red-blue search problem [Dehne et al. 2006] in O(n log n) queries to the oracle; (2) an algorithm to compute the maximum vertical distance between a pair of 3D polyhedral terrains one of which is convex in O(n log n) time, where n is the total complexity of both terrains; (3) an algorithm to construct the Hausdorff Voronoi diagram of a family of point clusters in the plane in O((n+m) log^3 n) time and O(n+m) space, where n is the total number of points in all clusters and m is the number of crossings between all clusters; (4) an algorithm to construct the farthest-color Voronoi diagram of the corners of n axis-aligned rectangles in O(n log^2 n) time; (5) an algorithm to solve the stabbing circle problem for n parallel line segments in the plane in optimal O(n log n) time. All these results are new or improve on the best known algorithms.


title: Lower semicontinuity and relaxation of linear-growth integral functionals under PDE constraints

abstract: We show general lower semicontinuity and relaxation theorems for linear-growth integral functionals defined on vector measures that satisfy linear PDE side constraints (of arbitrary order). These results generalize several known lower semicontinuity and relaxation theorems for BV, BD, and for more general first-order linear PDE side constrains. Our proofs are based on recent progress in the understanding of singularities of measure solutions to linear PDEs and of the generalized convexity notions corresponding to these PDE constraints.


title: Rewritability in Monadic Disjunctive Datalog, MMSNP, and Expressive Description Logics

abstract: We study rewritability of monadic disjunctive Datalog programs, (the complements of) MMSNP sentences, and ontology-mediated queries (OMQs) based on expressive description logics of the ALC family and on conjunctive queries. We show that rewritability into FO and into monadic Datalog (MDLog) are decidable, and that rewritability into Datalog is decidable when the original query satisfies a certain condition related to equality. We establish 2NExpTime-completeness for all studied problems except rewritability into MDLog for which there remains a gap between 2NExpTime and 3ExpTime. We also analyze the shape of rewritings, which in the MMSNP case correspond to obstructions, and give a new construction of canonical Datalog programs that is more elementary than existing ones and also applies to formulas with free variables.


title: Data Acquisition System for the CALICE AHCAL Calorimeter

abstract: The data acquisition system (DAQ) for a highly granular analogue hadron calorimeter (AHCAL) for the future International Linear Collider is presented. The developed DAQ chain has several stages of aggregation and scales up to 8 million channels foreseen for the AHCAL detector design. The largest aggregation device, Link Data Aggregator, has 96 HDMI connectors, four Kintex7 FPGAs and a central Zynq System-On-Chip. Architecture and performance results are shown in detail. Experience from DESY testbeams with a small detector prototype consisting of 15 detector layers are shown.


title: Optimal quantum state discrimination via nested binary measurements

abstract: A method to compute the optimal success probability of discrimination of N arbitrary quantum states is presented, based on the decomposition of any N-outcome measurement into sequences of nested two-outcome ones. In this way the optimization of the measurement operators can be carried out in successive steps, optimizing first the binary measurements at the deepest nesting level and then moving on to those at higher levels. We obtain an analytical expression for the maximum success probability after the first optimization step and examine its form for the specific case of N=3,4 states of a qubit. In this case, at variance with previous proposals, we are able to provide a compact expression for the success probability of any set of states, whose numerical optimization is straightforward; the results thus obtained highlight some lesser-known features of the discrimination problem.


title: On the Strong Law of Large Numbers for Sequences of Pairwise Independent Random Variables

abstract: We establish new sufficient conditions for the applicability of the strong law of large numbers (SLLN) for sequences of pairwise independent non-identically distributed random variables. These results generalize Etemadi's extension of Kolmogorov's SLLN for identically distributed random variables. Some of the obtained results hold with an arbitrary norming sequence in place of the classical normalization.


title: Decoherence, discord and the quantum master equation for cosmological perturbations

abstract: We examine environmental decoherence of cosmological perturbations in order to study the quantum-to-classical transition and the impact of noise on entanglement during inflation. Given an explicit interaction between the system and environment, we derive a quantum master equation for the reduced density matrix of perturbations, drawing parallels with quantum Brownian motion, where we see the emergence of fluctuation and dissipation terms. Although the master equation is not in Lindblad form, we see how typical solutions exhibit positivity on super-horizon scales, leading to a physically meaningful density matrix. This allows us to write down a Langevin equation with stochastic noise for the classical trajectories which emerge from the quantum system on super-horizon scales. In particular, we find that environmental decoherence increases in strength as modes exit the horizon, with the growth driven essentially by white noise coming from local contribution to environmental correlations. Finally, we use our master equation to quantify the strength of quantum correlations as captured by discord. We show that environmental interactions have a tendency to decrease the size of the discord and that these effects are determined by the relative strength of the expansion rate and interaction rate of the environment. We interpret this in terms of the competing effects of particle creation versus environmental fluctuations, which tend to increase and decrease the discord respectively.


title: Gravity induced wave function collapse

abstract: Starting from an idea of S.L. Adler~\cite{Adler2015}, we develop a novel model of gravity-induced spontaneous wave-function collapse. The collapse is driven by complex stochastic fluctuations of the spacetime metric. After deriving the fundamental equations, we prove the collapse and amplification mechanism, the two most important features of a consistent collapse model. Under reasonable simplifying assumptions, we constrain the strength $\xi$ of the complex metric fluctuations with available experimental data. We show that $\xi\geq 10^{-26}$ in order for the model to guarantee classicality of macro-objects, and at the same time $\xi \leq 10^{-20}$ in order not to contradict experimental evidence. As a comparison, in the recent discovery of gravitational waves in the frequency range 35 to 250 Hz, the (real) metric fluctuations reach a peak of $\xi \sim 10^{-21}$.


title: Comparing volumes by concurrent cross-sections of complex lines: a Busemann-Petty type problem

abstract: We consider the problem of comparing the volumes of two star bodies in an even-dimensional euclidean space $\mathbb R^{2n} = \mathbb C^n$ by comparing their cross sectional areas along complex lines (special 2-dimensional real planes) through the origin. Under mild symmetry conditions on one of the bodies a Busemann-Petty type theorem holds. Quaternionic and Octonionic analogs also hold. The argument relies on integration in polar coordinates coupled with Jensen's inequality. Along the way we provide a criterion that detects which centered bodies are {\it circular}. i.e., stabilized by multiplication by complex numbers of unit modulus. Our goal is to present a Busemann-Petty type result with a minimum of required background and, in addition, to suggest characterizations of classes of star bodies by means of integral geometric inequalities.


title: Polynomiality for the Poisson centre of truncated maximal parabolic subalgebras

abstract: We show that the Poisson centre of truncated maximal parabolic subalgebras of a simple Lie algebra of type B, D and E_6 is a polynomial algebra. In roughly half of the cases the polynomiality of the Poisson centre was already known by a completely different method. For the rest of the cases, our approach is to construct an algebraic slice in the sense of Kostant given by an adapted pair and the computation of an improved upper bound for the Poisson centre.


title: Strong Gravitational Lensing by a Charged Kiselev Black Hole

abstract: We study the gravitational lensing scenario where the lens is a spherically symmetric charged black hole (BH) surrounded by quintessence matter. The null geodesic equations in the curved background of the black hole are derived. The resulting trajectory equation is solved analytically via perturbation and series methods for special choice of parameters and the distance of the closest approach to black hole is calculated. We also derive the lens equation giving the bending angle of light in the curved background. In the strong field approximation, the solution of the lens equation is also obtained for all values of the quintessence parameter $w_q$. For all $w_q$, we show that there are no stable closed null orbits and that corrections to the deflection angle for the Reissner-Nordstr\"om black hole when the observer and the source are at large, but finite, distances from the lens do not depend on the charge up to the inverse of the distances squared. A part of the present work, analyzed however with a different approach, is the extension of {\it Phys. Rev. D \textbf{92}, 084042 (2015)} where the uncharged case has been treated


title: Axial Dissipative Dust as a Source of Gravitational Radiation in f(R) Gravity

abstract: In this paper, we explore the source of gravitational radiation in the context of $f(R)$ gravity by considering axially symmetric dissipative dust under geodesic condition. We evaluate scalars associated with electric and magnetic parts of the Weyl tensor for both non-spinning (at the center) and spinning (in the surrounding of the center) fluids of the configuration. For this purpose, we use the evolution as well as constraint equations for kinematical quantities and Weyl tensor. Finally, we investigate the existence of gravitational radiation through super-Poynting vector. It is found that the fluid is not gravitationally radiating in the non-spinning case but it is gravitationally radiating for the spinning case.


title: Results of measurements of the flux of albedo muons with NEVOD-DECOR experimental complex

abstract: Results of investigations of the near-horizontal muons in the range of zenith angles of 85-95 degrees are presented. In this range, so-called "albedo" muons (atmospheric muons scattered in the ground into the upper hemisphere) are detected. Albedo muons are one of the main sources of the background in neutrino experiments. Experimental data of two series of measurements conducted at the experimental complex NEVOD-DECOR with the duration of about 30 thousand hours "live" time are analyzed. The results of measurements of the muon flux intensity are compared with simulation results using Monte-Carlo on the basis of two multiple Coulomb scattering models: model of point-like nuclei and model taking into account finite size of nuclei.


title: Ordinary differential equations in algebras of generalized functions

abstract: A local existence and uniqueness theorem for ODEs in the special algebra of generalized functions is established, as well as versions including parameters and dependence on initial values in the generalized sense. Finally, a Frobenius theorem is proved. In all these results, composition of generalized functions is based on the notion of c-boundedness.


title: $k^{\tau,\epsilon}$-anonymity: Towards Privacy-Preserving Publishing of Spatiotemporal Trajectory Data

abstract: Mobile network operators can track subscribers via passive or active monitoring of device locations. The recorded trajectories offer an unprecedented outlook on the activities of large user populations, which enables developing new networking solutions and services, and scaling up studies across research disciplines. Yet, the disclosure of individual trajectories raises significant privacy concerns: thus, these data are often protected by restrictive non-disclosure agreements that limit their availability and impede potential usages. In this paper, we contribute to the development of technical solutions to the problem of privacy-preserving publishing of spatiotemporal trajectories of mobile subscribers. We propose an algorithm that generalizes the data so that they satisfy $k^{\tau,\epsilon}$-anonymity, an original privacy criterion that thwarts attacks on trajectories. Evaluations with real-world datasets demonstrate that our algorithm attains its objective while retaining a substantial level of accuracy in the data. Our work is a step forward in the direction of open, privacy-preserving datasets of spatiotemporal trajectories.


title: The Calder\'on problem with corrupted data

abstract: We consider the inverse Calder\'on problem consisting of determining the conductivity inside a medium by electrical measurements on its surface. Ideally, these measurements determine the Dirichlet-to-Neumann map and, therefore, one usually assumes the data to be given by such map. This situation corresponds to having access to infinite-precision measurements, which is totally unrealistic. In this paper, we study the Calder\'on problem assuming the data to contain measurement errors and provide formulas to reconstruct the conductivity and its normal derivative on the surface. Additionally, we state the rate convergence of the method. Our approach is theoretical and has a stochastic flavour.


title: Property Safety Stock Policy for Correlated Commodities Based on Probability Inequality

abstract: Deriving the optimal safety stock quantity with which to meet customer satisfaction is one of the most important topics in stock management. However, it is difficult to control the stock management of correlated marketable merchandise when using an inventory control method that was developed under the assumption that the demands are not correlated. For this, we propose a deterministic approach that uses a probability inequality to derive a reasonable safety stock for the case in which we know the correlation between various commodities. Moreover, over a given lead time, the relation between the appropriate safety stock and the allowable stockout rate is analytically derived, and the potential of our proposed procedure is validated by numerical experiments.


title: Mathematics in Caging of Robotics

abstract: It is a crucial problem in robotics field to cage an object using robots like multifingered hand. However the problem what is the caging for general geometrical objects and robots has not been well-described in mathematics though there were many rigorous studies on the methods how to cage an object by certain robots. In this article, we investigate the caging problem more mathematically and describe the problem in terms of recursion of the simple euclidean moves. Using the description, we show that the caging has the degree of difficulty which is closely related to a combinatorial problem and a wire puzzle. It implies that in order to capture an object by caging, from a practical viewpoint the difficulty plays an important role.


title: Prescribed $Q$-curvature flow on closed manifolds of even dimension

abstract: On a closed Riemannian manifold $(M,g_0)$ of even dimension $n \geqslant 4$, the well-known prescribed $Q$-curvature problem asks whether or not there is a metric $g$ comformal to $g_0$ such that its $Q$-curvature, associated with the GJMS operator $\mathbf P_g$, is equal to a given function $f$. Letting $g = e^{2u}g_0$, this problem is equivalent to solving \[ \mathbf P_{g_0} u+Q_{g_0} = f e^{nu}, \] where $Q_{g_0}$ denotes the $Q$-curvature of $g_0$. The primary objective of the paper is to introduce the following negative gradient flow of the time dependent metric $g(t)$ conformal to $g_0$, \[ \frac{\partial g (t)}{\partial t}= -2\Big(Q_{g (t)} - \frac{\int_M f Q_{g(t)} d\mu_{g(t)} }{\int_M f^2 d\mu_{g(t)} }f \Big)g(t) \quad \text{ for } t >0, \] to study the problem of prescribing $Q$-curvature. Since $\int_M Q_g d\mu_g$ is conformally invariant, our analysis depends on the size of $\int_M Q_{g_0} d\mu_{g_0}$, which is assumed to satisfy \[ \int_M Q_0 d\mu_{g_0} \ne k (n-1)! \, {\rm vol}(\mathbb S^n) \quad \text{ for all } \; k = 2,3,... \] The paper is twofold. First, we identify suitable conditions on $f$ such that the gradient flow defined as above is defined to all time and convergent, as time goes to infinity, sequentially or uniformly. Second, we show that various existence theorems for prescribed $Q$-curvature problem can be derived from the convergence of the flow.


title: One-particle density matrix of trapped one-dimensional impenetrable bosons from conformal invariance

abstract: The one-particle density matrix of the one-dimensional Tonks-Girardeau gas with inhomogeneous density profile is calculated, thanks to a recent observation that relates this system to a two-dimensional conformal field theory in curved space. The result is asymptotically exact in the limit of large particle density and small density variation, and holds for arbitrary trapping potentials. In the particular case of a harmonic trap, we recover a formula obtained by Forrester et al. [Phys. Rev. A 67, 043607 (2003)] from a different method.

categories: cond-mat.stat-mech cond-mat.quant-gas math-ph math.MP


title: Photostrictive two-dimensional materials in the monochalcogenide family

abstract: Photostriction is predicted for SnS and SnSe monolayers, two-dimensional ferroelectrics with rectangular unit cells (the lattice vector $\mathbf{a}_1$ is larger than $\mathbf{a}_2$) and an intrinsic dipole moment parallel to $\mathbf{a}_1$. Photostriction in these two-dimensional materials is found to be induced by a screened electric polarization in the photoexcited electronic state (i.e., a converse piezoelectric effect) that leads to a compression of $a_1$ and a comparatively smaller increase of $a_2$ for a reduced unit cell area. The structural change documented here is ten times larger than that observed in BiFeO$_3$, making monochalcogenide monolayers an ultimate platform for this effect. This structural modification should be observable under experimentally feasible densities of photexcited carriers on samples that have been grown already, having a potential usefulness for light-induced, remote mechano-opto-electronic applications.


title: The Fundamental Infinity-Groupoid of a Parametrized Family

abstract: Given an infinity-category C, one can naturally construct an infinity-category Fam(C) of families of objects in C indexed by infinity-groupoids. An ordinary categorical version of this construction was used by Borceux and Janelidze in the study of generalized covering maps in categorical Galois theory. In this paper, we develop the homotopy theory of such "parametrized families" as generalization of the classical homotopy theory of spaces. In particular, we study homotopy-theoretical constructions that arise from the fundamental infinity-groupoids of families in an infinity-category. In the same spirit, we show that Fam(C) admits a Grothendieck topology which generalizes the canonical/epimorphism topology on the infinity-topos of infinity-groupoids in the sense of Carchedi.


title: Effect of relativistic acceleration on continuous variable quantum teleportation and dense coding

abstract: We investigate how relativistic acceleration of the observers can affect the performance of the quantum teleportation and dense coding for continuous variable states of localized wavepackets. Such protocols are typically optimized for symmetric resources prepared in an inertial frame of reference. A mismatch of the sender's and the receiver's accelerations can introduce asymmetry to the shared entanglement, which has an effect on the efficiency of the protocol that goes beyond entanglement degradation due to acceleration. We show how these asymmetry losses can be reduced by an extra LOCC step in the protocols.


title: Quantum models as classical cellular automata

abstract: A synopsis is offered of the properties of discrete and integer-valued, hence "natural", cellular automata (CA). A particular class comprises the "Hamiltonian CA" with discrete updating rules that resemble Hamilton's equations. The resulting dynamics is linear like the unitary evolution described by the Schr\"odinger equation. Employing Shannon's Sampling Theorem, we construct an invertible map between such CA and continuous quantum mechanical models which incorporate a fundamental discreteness scale $l$. Consequently, there is a one-to-one correspondence of quantum mechanical and CA conservation laws. We discuss the important issue of linearity, recalling that nonlinearities imply nonlocal effects in the continuous quantum mechanical description of intrinsically local discrete CA - requiring locality entails linearity. The admissible CA observables and the existence of solutions of the $l$-dependent dispersion relation for stationary states are mentioned, besides the construction of multipartite CA obeying the Superposition Principle. We point out problems when trying to match the deterministic CA here to those envisioned in 't Hooft's CA Interpretation of Quantum Mechanics.


title: Shot noise in magnetic tunneling structures with two-level quantum dots

abstract: We analyze shot noise in a magnetic tunnel junction with a two-level quantum dot attached to the magnetic electrodes. The considerations are limited to the case when some transport channels are suppressed at low temperatures. Coupling of the two dot's levels to the electrodes are assumed to be generally different and also spin-dependent. To calculate the shot noise we apply the approach based on the full counting statistics. The approach is used to account for experimental data obtained in magnetic tunnel junctions with organic barriers. The experimentally observed Fano factors correspond to the super-Poissonian statistics, and also depend on relative orientation of the electrodes' magnetic moments. We have also calculated the corresponding spin shot noise, which is associated with fluctuations of spin current.


title: Quantum violation of macrorealism under multi-outcome two-parameter generalised measurements

abstract: Generalised dichotomic quantum measurements are fully characterised by two real parameters, dubbed as sharpness parameter and biasedness parameter. The trade-off between the degree of joint measurability, sharpness and biasedness of generalised measurements was known in the case of pairs of qubit observables. In the present work we generalise the notion of sharpness and biasedness measure of multi-outcome generalised measurements pertaining to multilevel systems. A trade-off between the amount of quantum mechanical (QM) violation of macrorealism (MR), sharpness and biasedness is established. Specifically we found that the minimum value of sharpness parameter, above which the QM violations of different necessary conditions of MR persist, decreases with increase in biasedness. We also analysed the effect of biasedness parameter on the magnitudes of QM violations of different necessary conditions of MR for multilevel spin systems.


title: Randomness-induced quantum spin liquid behavior in the s=1/2 random J1-J2 Heisenberg antiferromagnet on the honeycomb lattice

abstract: We investigate the ground-state and finite-temperature properties of the bond-random $s=1/2$ Heisenberg model on a honeycomb lattice with frustrated nearest- and next-nearest-neighbor antiferromagnetic interactions, $J_1$ and $J_2$, by the exact diagonalization and the Hams--de Raedt methods. The ground-state phase diagram of the model is constructed in the randomness versus the frustration ($J_2/J_1$) plane, with the aim of clarifying the effects of randomness and frustration in stabilizing a variety of distinct phases. We find that the randomness induces the gapless quantum spin liquid (QSL)-like state, the random-singlet state, in a wide range of parameter space. The observed robustness of the random-singlet state suggests that the gapless QSL-like behaviors might be realized in a wide class of frustrated quantum magnets possessing a certain amount of randomness or inhomogeneity, without fine-tuning the interaction parameters. Possible implications to recent experiments on the honeycomb-lattice magnets Ba$_3$CuSb$_2$O$_9$ and 6HB-Ba$_3$NiSb$_2$O$_9$ exhibiting the gapless QSL-like behaviors are discussed.


title: Quantum sensing close to a dissipative phase transition: symmetry breaking and criticality as metrological resources

abstract: We study the performance of a single qubit-laser as a quantum sensor to measure the amplitude and phase of a driving field. By using parameter estimation theory we show that certain suitable field quadratures are optimal observables in the lasing phase. The quantum Fisher information scales linearly with the number of bosons and thus the precision can be enhanced by increasing the incoherent pumping acting on the qubit. If we restrict ourselves to measurements of the boson number observable, then the optimal operating point is the critical point of the lasing phase transition. Our results point out to an intimate connection between symmetry breaking, dissipative phase transitions and efficient parameter estimation.


title: Absence of magnetic long range order in Ba$_3$ZnRu$_2$O$_9$: A spin-liquid candidate in the $S=3/2$ dimer lattice

abstract: We have discovered a novel candidate for a spin liquid state in a ruthenium oxide composed of dimers of $S = $ 3/2 spins of Ru$^{5+}$,Ba$_3$ZnRu$_2$O$_9$. This compound lacks a long range order down to 37 mK, which is a temperature 5000-times lower than the magnetic interaction scale of around 200 K. Partial substitution for Zn can continuously vary the magnetic ground state from an antiferromagnetic order to a spin-gapped state through the liquid state. This indicates that the spin-liquid state emerges from a delicate balance of inter- and intra-dimer interactions, and the spin state of the dimer plays a vital role. This unique feature should realize a new type of quantum magnetism.


title: Multiple Instance Hybrid Estimator for Learning Target Signatures

abstract: Signature-based detectors for hyperspectral target detection rely on knowing the specific target signature in advance. However, target signature are often difficult or impossible to obtain. Furthermore, common methods for obtaining target signatures, such as from laboratory measurements or manual selection from an image scene, usually do not capture the discriminative features of target class. In this paper, an approach for estimating a discriminative target signature from imprecise labels is presented. The proposed approach maximizes the response of the hybrid sub-pixel detector within a multiple instance learning framework and estimates a set of discriminative target signatures. After learning target signatures, any signature based detector can then be applied on test data. Both simulated and real hyperspectral target detection experiments are shown to illustrate the effectiveness of the method.


title: Analytical derivative coupling for multistate CASPT2 theory

abstract: The probability of non-radiative transitions in photochemical dynamics is determined by the derivative couplings, the couplings between different electronic states through the nuclear degrees of freedom. Efficient and accurate evaluation of the derivative couplings is, therefore, of central importance to realize reliable computer simulations of photochemical reactions. In this work, the derivative couplings for multistate multireference second-order perturbation theory (MS-CASPT2) and its 'extended' variant (XMS-CASPT2) are studied, in which we present an algorithm for their analytical evaluation. The computational costs for evaluating the derivative couplings are essentially the same as those for calculating the nuclear energy gradients. The geometries and energies calculated with XMS-CASPT2 for small molecules at minimum energy conical intersections (MECIs) are in good agreement with those computed by multireference configuration interaction. As numerical examples, MECIs are optimized using XMS-CASPT2 for stilbene and a GFP model chromophore (the 4-para-hydroxybenzylidene-1,2-dimethyl-imidazolin-5-one anion).


title: Degree theory for discontinuous operators

abstract: We introduce a new definition of topological degree for a meaningful class of operators which need not be continuous. Subsequently, we derive a number of fixed point theorems for such operators. As an application, we deduce a new existence result for first-order ODEs with discontinuous nonlinearities.


title: An Analytical Framework for Modeling a Spatially Repulsive Cellular Network

abstract: We propose a new cellular network model that captures both deterministic and random aspects of base station deployments. Namely, the base station locations are modeled as the superposition of two independent stationary point processes: a random shifted grid with intensity $\lambda_g$ and a Poisson point process (PPP) with intensity $\lambda_p$. Grid and PPP deployments are special cases with $\lambda_p \to 0$ and $\lambda_g \to 0$, with actual deployments in between these two extremes, as we demonstrate with deployment data. Assuming that each user is associated with the base station that provides the strongest average received signal power, we obtain the probability that a typical user is associated with either a grid or PPP base station. Assuming Rayleigh fading channels, we derive the expression for the coverage probability of the typical user, resulting in the following observations. First, the association and the coverage probability of the typical user are fully characterized as functions of intensity ratio $\rho_\lambda = \lambda_p/\lambda_g$. Second, the user association is biased towards the base stations located on a grid. Finally, the proposed model predicts the coverage probability of the actual deployment with great accuracy.


title: Torsion contact forms in three dimensions have two or infinitely many Reeb orbits

abstract: We prove that every nondegenerate contact form on a closed connected three-manifold, such that the associated contact structure has torsion first Chern class, has either two or infinitely many simple Reeb orbits. By previous results it follows that under the above assumptions, there are infinitely many simple Reeb orbits if the three-manifold is not the three-sphere or a lens space. We also show that for non-torsion contact structures, every nondegenerate contact form has at least four simple Reeb orbits.


title: Dark Matter Search in Space: Combined Analysis of Cosmic Ray Antiproton-to-Proton Flux Ratio and Positron Flux Measured by AMS-02

abstract: Dark matter search in space has been carried out for many years. Measurements of cosmic ray photons, charged antiparticles and neutrinos are useful tools for dark matter indirect search. The antiparticle energy spectra of cosmic rays have several exciting features such as the unexpected positron excess at energy about 10 -- 500 GeV and the remarkably flattening antiproton/proton at energy about 60--450 GeV precisely measured by the AMS-02 experiment, which can not be explained simultaneously by secondary production in interstellar medium. In this work, we report a combined analysis of cosmic ray antiproton and positron spectra arising from dark matter on the top of a secondary production in a spatial-dependent propagation model. We discuss the systematics from antiproton production cross section using the two latest Monte Carlo generators, i.e. EPOS LHC and QGSJET-II-04m, respectively. We compare their results. In the case of EPOS LHC, we find that the dark matter pair annihilating into tau leptons channel with 100% branching ratio is the only possible one channel scenario to explain data. On the other hand, there is not a single possible channel in the case of QGSJET-II-04m. We also propose possible two-channel scenarios based on these two Monte Carlo generators.


title: Comparison of some Entropy Conservative Numerical Fluxes for the Euler Equations

abstract: Entropy conservation and stability of numerical methods in gas dynamics have received much interest. Entropy conservative numerical fluxes can be used as ingredients in two kinds of schemes: Firstly, as building blocks in the subcell flux differencing form of Fisher and Carpenter (2013) and secondly (enhanced by dissipation) as numerical surface fluxes in finite volume like schemes. The purpose of this article is threefold. Firstly, the flux differencing theory is extended, guaranteeing high-order for general symmetric and consistent numerical fluxes and investigating entropy stability in a generalised framework of summation-by-parts operators applicable to multiple dimensions and simplex elements. Secondly, a general procedure to construct affordable entropy conservative fluxes is described explicitly and used to derive several new fluxes. Finally, robustness properties of entropy stable numerical fluxes are investigated and positivity preservation is proven for several entropy conservative fluxes enhanced with local Lax-Friedrichs type dissipation operators. All these theoretical investigations are supplemented with numerical experiments.


title: On Reject and Refine Options in Multicategory Classification

abstract: In many real applications of statistical learning, a decision made from misclassification can be too costly to afford; in this case, a reject option, which defers the decision until further investigation is conducted, is often preferred. In recent years, there has been much development for binary classification with a reject option. Yet, little progress has been made for the multicategory case. In this article, we propose margin-based multicategory classification methods with a reject option. In addition, and more importantly, we introduce a new and unique refine option for the multicategory problem, where the class of an observation is predicted to be from a set of class labels, whose cardinality is not necessarily one. The main advantage of both options lies in their capacity of identifying error-prone observations. Moreover, the refine option can provide more constructive information for classification by effectively ruling out implausible classes. Efficient implementations have been developed for the proposed methods. On the theoretical side, we offer a novel statistical learning theory and show a fast convergence rate of the excess $\ell$-risk of our methods with emphasis on diverging dimensionality and number of classes. The results can be further improved under a low noise assumption. A set of comprehensive simulation and real data studies has shown the usefulness of the new learning tools compared to regular multicategory classifiers. Detailed proofs of theorems and extended numerical results are included in the supplemental materials available online.


title: Temperature dependence of shear viscosity of $SU(3)$--gluodynamics within lattice simulation

abstract: In this paper we study the shear viscosity temperature dependence of $SU(3)$--gluodynamics within lattice simulation. To do so, we measure the correlation functions of energy-momentum tensor in the range of temperatures $T/T_c\in [0.9, 1.5]$. To extract the values of shear viscosity we used two approaches. The first one is to fit the lattice data with some physically motivated ansatz for the spectral function with unknown parameters and then determine shear viscosity. The second approach is to apply the Backus-Gilbert method which allows to extract shear viscosity from the lattice data nonparametrically. The results obtained within both approaches agree with each other. Our results allow us to conclude that within the temperature range $T/T_c \in [0.9, 1.5]$ SU(3)--gluodynamics reveals the properties of a strongly interacting system, which cannot be described perturbatively, and has the ratio $\eta/s$ close to the value ${1}/{4\pi}$ in $N = 4$ Supersymmetric Yang-Mills theory.


title: Investigating the Role of Socially Mediated Metacognition During Collaborative Troubleshooting of Electric Circuits

abstract: Developing students' ability to troubleshoot is an important learning outcome for many undergraduate physics lab courses, especially electronics courses. In other work, metacognition has been identified as an important feature of troubleshooting. However, that work has focused primarily on individual students' metacognitive processes or troubleshooting abilities. In contrast, electronics courses often require students to work in pairs, and hence students' in-class experiences likely have significant social dimensions that are not well understood. In this work, we use an existing framework for socially mediated metacognition to analyze audiovisual data from think-aloud activities in which eight pairs of students from two institutions attempted to diagnose and repair a malfunctioning electric circuit. In doing so, we provide insight into some of the social metacognitive dynamics that arise during collaborative troubleshooting. We find that students engaged in socially mediated metacognition at multiple key transitions during the troubleshooting process. Reciprocated metacognitive dialogue arose when students were collectively strategizing about which measurements to perform, or reaching a shared understanding of the circuit's behavior. In addition to elaborating upon these findings, we discuss implications for instruction, and we identify areas for potential future investigation.


title: Twist automorphisms on quantum unipotent cells and dual canonical bases

abstract: In this paper, we construct twist automorphisms on quantum unipotent cells, which are quantum analogues of the Berenstein-Fomin-Zelevinsky twist automorphisms on unipotent cells. We show that those quantum twist automorphisms preserve the dual canonical bases of quantum unipotent cells. Moreover, we prove that quantum twist automorphisms are described by the syzygy functors for representations of preprojective algebras in the symmetric case. This is the quantum analogue of Gei{\ss}-Leclerc-Schr\"oer's description, and Gei{\ss}-Leclerc-Schr\"oer's results are essential in our proof. As a consequence, we show that quantum twist automorphisms are compatible with quantum cluster monomials. The 6-periodicity of specific quantum twist automorphisms is also verified.


title: An Early Model of Transistors and Circuits

abstract: Bipolar junction transistors (BJTs) have been at the core of linear electronics from its beginnings. Although their properties can be well represented transport model equations, design and analysis approaches have, to a good extent, been limited to using current-equispaced horizontal and parallel isolines of the characteristic surface. Here, we resort to the geometrical structure imposed on BJTs behavior by the Early effect and voltage as a means to derive a simple, intuitive and more complete respective model that, though excluding cut-off and saturation regimes, can simplify the design and characterization of BJTs and respective circuits, including integrated devices. The approach involves using a beam of isolines converging at the Early voltage as the model of a BJT. The angles of the isolines, another important aspect of BJTs, are experimentally verified often to vary almost in linear fashion with the base current, endowing the proposed Early model with an intrinsic geometric nature. An experimental-numerical methodology is suggested for the Early model estimation, and applied to 12 real-world small signal NPN BJTs. Interesting results are obtained, including the identification of diverse Early voltage values for different BJT types and the observation, for the considered BJTs, of the almost linear variation of the isoline angles with the input current. A case example of transfer function estimation, as well as total harmonic distortion analysis, are also provided in order to illustrate the potential of the proposed methodology for approximating, under certain circumstances, the operation of the common emitter configuration. The proposed model also has good potential as a didactic aid in physics and electronics programs, complementing the currently adopted modeling approaches.


title: On a class of integrable systems of Monge-Amp\`ere type

abstract: We investigate a class of multi-dimensional two-component systems of Monge-Amp\`ere type that can be viewed as generalisations of heavenly-type equations appearing in self-dual Ricci-flat geometry. Based on the Jordan-Kronecker theory of skew-symmetric matrix pencils, a classification of normal forms of such systems is obtained. All two-component systems of Monge-Amp\`ere type turn out to be integrable, and can be represented as the commutativity conditions of parameter-dependent vector fields. Geometrically, systems of Monge-Amp\`ere type are associated with linear sections of the Grassmannians. This leads to an invariant differential-geometric characterisation of the Monge-Amp\`ere property.


title: Robust Estimation of Change-Point Location

abstract: We introduce a robust estimator of the location parameter for the change-point in the mean based on the Wilcoxon statistic and establish its consistency for $L_1$ near epoch dependent processes. It is shown that the consistency rate depends on the magnitude of change. A simulation study is performed to evaluate finite sample properties of the Wilcoxon-type estimator in standard cases, as well as under heavy-tailed distributions and disturbances by outliers, and to compare it with a CUSUM-type estimator. It shows that the Wilcoxon-type estimator is equivalent to the CUSUM-type estimator in standard cases, but outperforms the CUSUM-type estimator in presence of heavy tails or outliers in the data.


title: Morphognosis: the shape of knowledge in space and time

abstract: Artificial intelligence research to a great degree focuses on the brain and behaviors that the brain generates. But the brain, an extremely complex structure resulting from millions of years of evolution, can be viewed as a solution to problems posed by an environment existing in space and time. The environment generates signals that produce sensory events within an organism. Building an internal spatial and temporal model of the environment allows an organism to navigate and manipulate the environment. Higher intelligence might be the ability to process information coming from a larger extent of space-time. In keeping with nature's penchant for extending rather than replacing, the purpose of the mammalian neocortex might then be to record events from distant reaches of space and time and render them, as though yet near and present, to the older, deeper brain whose instinctual roles have changed little over eons. Here this notion is embodied in a model called morphognosis (morpho = shape and gnosis = knowledge). Its basic structure is a pyramid of event recordings called a morphognostic. At the apex of the pyramid are the most recent and nearby events. Receding from the apex are less recent and possibly more distant events. A morphognostic can thus be viewed as a structure of progressively larger chunks of space-time knowledge. A set of morphognostics forms long-term memories that are learned by exposure to the environment. A cellular automaton is used as the platform to investigate the morphognosis model, using a simulated organism that learns to forage in its world for food, build a nest, and play the game of Pong.


title: Visual Multiple-Object Tracking for Unknown Clutter Rate

abstract: In multi-object tracking applications, model parameter tuning is a prerequisite for reliable performance. In particular, it is difficult to know statistics of false measurements due to various sensing conditions and changes in the field of views. In this paper we are interested in designing a multi-object tracking algorithm that handles unknown false measurement rate. Recently proposed robust multi-Bernoulli filter is employed for clutter estimation while generalized labeled multi-Bernoulli filter is considered for target tracking. Performance evaluation with real videos demonstrates the effectiveness of the tracking algorithm for real-world scenarios.


title: Bounded time computation on metric spaces and Banach spaces

abstract: We extend the framework by Kawamura and Cook for investigating computational complexity for operators occurring in analysis. This model is based on second-order complexity theory for functions on the Baire space, which is lifted to metric spaces by means of representations. Time is measured in terms of the length of the input encodings and the required output precision. We propose the notions of a complete representation and of a regular representation. We show that complete representations ensure that any computable function has a time bound. Regular representations generalize Kawamura and Cook's more restrictive notion of a second-order representation, while still guaranteeing fast computability of the length of the encodings. Applying these notions, we investigate the relationship between purely metric properties of a metric space and the existence of a representation such that the metric is computable within bounded time. We show that a bound on the running time of the metric can be straightforwardly translated into size bounds of compact subsets of the metric space. Conversely, for compact spaces and for Banach spaces we construct a family of admissible, complete, regular representations that allow for fast computation of the metric and provide short encodings. Here it is necessary to trade the time bound off against the length of encodings.


title: Resolution Simulates Ordered Binary Decision Diagrams for Formulas in Conjunctive Normal Form

abstract: A classical question of propositional logic is one of the shortest proof of a tautology. A related fundamental problem is to determine the relative efficiency of standard proof systems, where the relative complexity is measured using the notion of polynomial simulation. Presently, the state-of-the-art satisfiability algorithms are based on resolution in combination with search. An Ordered Binary Decision Diagram (OBDD) is a data structure that is used to represent Boolean functions. Groote and Zantema have proved that there is exponential separation between resolution and a proof system based on limited OBDD derivations. However, formal comparison of these methods is not straightforward because OBDDs work on arbitrary formulas, whereas resolution can only be applied to formulas in Conjunctive Normal Form (CNFs). Contrary to popular belief, we argue that resolution simulates OBDDs polynomially if we limit both to CNFs and thus answer negatively the open question of Groote and Zantema whether there exist unsatisfiable CNFs having polynomial OBDD refutations and requiring exponentially long resolution refutations.


title: Gas near a wall: a shortened mean free path, reduced viscosity, and the manifestation of a turbulent Knudsen layer in the Navier-Stokes solution of a shear flow

abstract: For the gas near a solid planar wall, we propose a scaling formula for the mean free path of a molecule as a function of the distance from the wall, under the assumption of a uniform distribution of the incident directions of the molecular free flight. We subsequently impose the same scaling onto the viscosity of the gas near the wall, and compute the Navier-Stokes solution of the velocity of a shear flow parallel to the wall. This solution exhibits the Knudsen velocity boundary layer in agreement with the corresponding Direct Simulation Monte Carlo computations for argon and nitrogen. We also find that the proposed mean free path and viscosity scaling sets the second derivative of the velocity to infinity at the wall boundary of the flow domain, which suggests that the gas flow is formally turbulent within the Knudsen boundary layer near the wall.


title: Impact of modelling foreground uncertainties on future CMB polarization satellite experiments

abstract: We present an analysis of errors on the tensor-to-scalar ratio due to residual diffuse foregrounds. We use simulated observations of a CMB polarization satellite, the Cosmic Origins Explorer, using the specifications of the version proposed to ESA in 2010 (COrE). We construct a full pipeline from microwave sky maps to $r$ likelihood, using two models of diffuse Galactic foregrounds with different complexity, and assuming component separation with varying degrees of accuracy. Our pipeline uses a linear mixture (Generalized Least Squares) solution for component separation, and a hybrid approach for power spectrum estimation, with a Quadratic Maximum Likelihood estimator at low $\ell$s and a pseudo-$C_{\ell}$ deconvolution at high $\ell$s. In the likelihood for $r$, we explore modelling foreground residuals as nuisance parameters. Our analysis aims at measuring the bias introduced in $r$ by mismodelling the foregrounds, and to determine what error is tolerable while still successfully detecting $r$. We find that $r=0.01$ can be measured successfully even for a complex sky model and in the presence of foreground parameters error. However, the detection of $r=0.001$ is a lot more challenging, as inaccurate modelling of the foreground spectral properties may result in a biased measurement of $r$. Once biases are eliminated, the total error on $r$ allows setting an upper limit rather than a detection, unless the uncertainties on the foreground spectral indices are very small, i.e. equal or better than 0.5\% error for both dust and synchrotron. This emphasizes the need for pursuing research on component separation and foreground characterization in view of next-generation CMB polarization experiments.


title: The SoLid anti-neutrino detector's readout system

abstract: The SoLid collaboration have developed an intelligent readout system to reduce their 3200 silicon photomultiplier detector's data rate by a factor of 10000 whilst maintaining high efficiency for storing data from anti-neutrino interactions. The system employs an FPGA-level waveform characterisation to trigger on neutron signals. Following a trigger, data from a space time region of interest around the neutron will be read out using the IPbus protocol. In these proceedings the design of the readout system is explained and results showing the performance of a prototype version of the system are presented.


title: Charmonium spectrum and diffractive production in a light-front Hamiltonian approach

abstract: We study exclusive charmonium production in diffractive deep inelastic scattering and ultra-peripheral heavy-ion collisions within the dipole picture. The mass spectrum and light-front wavefunctions of charmonium are obtained from the basis light-front quantization approach, using the one-gluon exchange interaction plus a confining potential inspired by light-front holography. We apply these light-front wavefunctions to exclusive charmonium production. The resulting cross sections are in reasonable agreement with electron-proton collision data at HERA and ultra-peripheral nucleus collision measurements at RHIC and LHC. The charmonium cross-section has model dependence on the dipole model. We observe that the cross-section ratio of excited states to the ground state has a weaker dependence than the cross-section itself. We suggest that measurements of excited states of heavy quarkonium production in future electron-ion collision experiments will impose rigorous constraints on heavy quarkonium light-front wavefunctions, thus improving our understanding of meson structure, which eventually will help us develop a precise description of the gluon distribution function in the small-$x$ regime.


title: Branched Hamiltonians for a class of Velocity Dependent Potentials

abstract: Hamiltonians that are multivalued functions of momenta are of topical interest since they correspond to the Lagrangians containing higher-degree time derivatives. Incidentally, such classes of branched Hamiltonians lead to certain not too well understood ambiguities in the procedure of quantization. Within this framework, we pick up a model that samples the latter ambiguities and simultaneously turns out to be amenable to a transparent analytic and perturbative treatment.


title: A class of differential quadratic algebras and their symmetries

abstract: We study a multi-parametric family of quadratic algebras in four generators, which includes coordinate algebras of noncommutative four-planes and, as quotient algebras, noncommutative three spheres. Particular subfamilies comprise Sklyanin algebras and Connes--Dubois-Violette planes. We determine quantum groups of symmetries for the general algebras and construct finite-dimensional covariant differential calculi.


title: Some Clarifications on the Duration of Inflation in Loop Quantum Cosmology

abstract: The prediction of a phase of inflation whose number of e-folds is constrained is an important feature of loop quantum cosmology. This work aims at giving some elementary clarifications on the role of the different hypotheses leading to this conclusion. We show that the duration of inflation does not depend significantly on the modified background dynamics in the quantum regime.


title: Artificial spin ice and vertex models

abstract: In classical and quantum frustrated magnets the interactions in combination with the lattice structure impede the spins to order in optimal configurations at zero temperature. The theoretical interest in their classical realisations has been boosted by the artificial manufacture of materials with these properties, that are of flexible design. This note summarises work on the use of vertex models to study bidimensional spin-ices samples, done in collaboration with R. A. Borzi, M. V. Ferreyra, L. Foini, G. Gonnella, S. A. Grigera, P. Guruciaga, D. Levis, A. Pelizzola and M. Tarzia, in recent years. It is an invited contribution to a J. Stat. Phys. special issue dedicated to the memory of Leo P. Kadanoff.


title: DeepDSL: A Compilation-based Domain-Specific Language for Deep Learning

abstract: In recent years, Deep Learning (DL) has found great success in domains such as multimedia understanding. However, the complex nature of multimedia data makes it difficult to develop DL-based software. The state-of-the art tools, such as Caffe, TensorFlow, Torch7, and CNTK, while are successful in their applicable domains, are programming libraries with fixed user interface, internal representation, and execution environment. This makes it difficult to implement portable and customized DL applications. In this paper, we present DeepDSL, a domain specific language (DSL) embedded in Scala, that compiles deep networks written in DeepDSL to Java source code. Deep DSL provides (1) intuitive constructs to support compact encoding of deep networks; (2) symbolic gradient derivation of the networks; (3) static analysis for memory consumption and error detection; and (4) DSL-level optimization to improve memory and runtime efficiency. DeepDSL programs are compiled into compact, efficient, customizable, and portable Java source code, which operates the CUDA and CUDNN interfaces running on Nvidia GPU via a Java Native Interface (JNI) library. We evaluated DeepDSL with a number of popular DL networks. Our experiments show that the compiled programs have very competitive runtime performance and memory efficiency compared to the existing libraries.


title: Exact single-electron approach to the dynamics of molecules in strong laser fields

abstract: We present an exact single-electron picture that describes the correlated electron dynamics in strong laser fields. Our approach is based on the factorization of the electronic wavefunction as a product of a marginal and a conditional amplitude. The marginal amplitude, which depends only on one electronic coordinate and yields the exact one-electron density and current density, obeys a time-dependent Schr\"odinger equation with an effective time-dependent potential. The exact equations are used to derive an approximation that is a step towards a general and feasible ab-initio single-electron approximation for molecules. The derivation also challenges the usual interpretation of the single-active electron approximation. From the study of model systems, we find that the exact and approximate single-electron potentials for processes with negligible two-electron ionization lead to a qualitatively similar dynamics, but that the ionization barrier may be explicitly time-dependent.


title: When the number of divisors is a quadratic residue

abstract: Let $q > 2$ be a prime number and define $\lambda_q := \left( \frac{\tau}{q} \right)$ where $\tau(n)$ is the number of divisors of $n$ and $\left( \frac{\cdot}{q} \right)$ is the Legendre symbol. When $\tau(n)$ is a quadratic residue modulo $q$, then $\left( \lambda_q \star \mathbf{1} \right) (n)$ could be close to the number of divisors of $n$. This is the aim of this work to compare the mean value of the function $\lambda_q \star \mathbf{1}$ to the well known average order of $\tau$. The proof reveals that the results depend heavily on the value of $\left( \frac{2}{q} \right)$. A bound for short sums in the case $q=5$ is also given, using profound results from the theory of integer points close to certain smooth curves.


title: Sedimentation of Reversibly Interacting Macromolecules with Changes in Fluorescence Quantum Yield

abstract: Sedimentation velocity analytical ultracentrifugation with fluorescence detection has emerged as a powerful method for the study of interacting systems of macromolecules. It combines picomolar sensitivity with high hydrodynamic resolution, and can be carried out with photoswitchable fluorophores for multi-component discrimination, to determine the stoichiometry, affinity, and shape of macromolecular complexes with dissociation equilibrium constants from picomolar to micromolar. A popular approach for data interpretation is the determination of the binding affinity by isotherms of weight-average sedimentation coefficients, sw. A prevailing dogma in sedimentation analysis is that the weight-average sedimentation coefficient from the transport method corresponds to the signal- and population-weighted average of all species. We show that this does not always hold true for systems that exhibit significant signal changes with complex formation - properties that may be readily encountered in practice, e.g., from a change in fluorescence quantum yield. Coupled transport in the reaction boundary of rapidly reversible systems can make significant contributions to the observed migration in a way that cannot be accounted for in the standard population-based average. Effective particle theory provides a simple physical picture for the reaction-coupled migration process. On this basis we develop a more general binding model that converges to the well-known form of sw with constant signals, but can account simultaneously for hydrodynamic co-transport in the presence of changes in fluorescence quantum yield. We believe this will be useful when studying interacting systems exhibiting fluorescence quenching, enhancement or Forster resonance energy transfer with transport methods.


title: Studies of dark sector & B decays involving $\tau$ at Belle and Belle II

abstract: The Belle II experiment aims to record 50 ab$^{-1}$ data with the high luminosity to be provided by the SuperKEKB asymmetric-energy electron-positron collider. The anticipated high statistics data enables us to perform studies of $B$ decays involving $\tau$ leptons such as $B^+ \to \tau^+ \nu_\tau$ and $B \to D^{(*)} \tau^+ \nu_\tau$ modes. The precise measurements of branching fraction and of the $\tau$ lepton polarization in these $B$ decays provide a very sensitive indirect search for a charged Higgs boson. Belle II sensitivity for the charged Higgs is complementary to direct searches at ATLAS and CMS. With the large data sample and by using dedicated triggers the Belle II experiment is expected to explore dark sector by searching for visible and invisible decays of the dark photon and the dark Higgs boson, and by also searching for low mass dark matter with unprecedented precision.


title: Lusin area integrals related to Jacobi expansions

abstract: We investigate mixed Lusin area integrals associated with Jacobi trigonometric polynomial expansions. We prove that these operators can be viewed as vector-valued Calder\'on-Zygmund operators in the sense of the associated space of homogeneous type. Consequently, their various mapping properties, in particular on weighted $L^p$ spaces, follow from the general theory.


title: Statistical model analysis of $\alpha$-induced reaction cross sections of $^{64}$Zn at low energies

abstract: Background $\alpha$-nucleus potentials play an essential role for the calculation of $\alpha$-induced reaction cross sections at low energies in the statistical model. Uncertainties of these calculations are related to ambiguities in the adjustment of the potential parameters to experimental elastic scattering angular distributions (typically at higher energies) and to the energy dependence of the effective $\alpha$-nucleus potentials. Purpose The present work studies cross sections of $\alpha$-induced reactions for $^{64}$Zn at low energies and their dependence on the chosen input parameters of the statistical model calculations. The new experimental data from the recent Atomki experiments allow for a $\chi^2$-based estimate of the uncertainties of calculated cross sections at very low energies. Method The recent data for the ($\alpha$,$\gamma$), ($\alpha$,$n$), and ($\alpha$,$p$) reactions on $^{64}$Zn are compared to calculations in the statistical model. A survey of the parameter space of the widely used computer code TALYS is given, and the properties of the obtained $\chi^2$ landscape are discussed. Results The best fit to the experimental data at low energies shows $\chi^2/F \approx 7.7$ per data point which corresponds to an average deviation of about 30% between the best fit and the experimental data. Several combinations of the various ingredients of the statistical model are able to reach a reasonably small $\chi^2/F$, not exceeding the best-fit result by more than a factor of 2. Conclusions The present experimental data for $^{64}$Zn in combination with the statistical model calculations allow to constrain the astrophysical reaction rate within about a factor of 2. However, the significant excess of $\chi^2/F$ of the best-fit from unity asks for further improvement of the statistical model calculations and in particular the $\alpha$-nucleus potential.


title: QuickNet: Maximizing Efficiency and Efficacy in Deep Architectures

abstract: We present QuickNet, a fast and accurate network architecture that is both faster and significantly more accurate than other fast deep architectures like SqueezeNet. Furthermore, it uses less parameters than previous networks, making it more memory efficient. We do this by making two major modifications to the reference Darknet model (Redmon et al, 2015): 1) The use of depthwise separable convolutions and 2) The use of parametric rectified linear units. We make the observation that parametric rectified linear units are computationally equivalent to leaky rectified linear units at test time and the observation that separable convolutions can be interpreted as a compressed Inception network (Chollet, 2016). Using these observations, we derive a network architecture, which we call QuickNet, that is both faster and more accurate than previous models. Our architecture provides at least four major advantages: (1) A smaller model size, which is more tenable on memory constrained systems; (2) A significantly faster network which is more tenable on computationally constrained systems; (3) A high accuracy of 95.7 percent on the CIFAR-10 Dataset which outperforms all but one result published so far, although we note that our works are orthogonal approaches and can be combined (4) Orthogonality to previous model compression approaches allowing for further speed gains to be realized.


title: On short cycle enumeration in biregular bipartite graphs

abstract: A number of recent works have used a variety of combinatorial constructions to derive Tanner graphs for LDPC codes and some of these have been shown to perform well in terms of their probability of error curves and error floors. Such graphs are bipartite and many of these constructions yield biregular graphs where the degree of left vertices is a constant $c+1$ and that of the right vertices is a constant $d+1$. Such graphs are termed $(c+1,d+1)$ biregular bipartite graphs here. One property of interest in such work is the girth of the graph and the number of short cycles in the graph, cycles of length either the girth or slightly larger. Such numbers have been shown to be related to the error floor of the probability of error curve of the related LDPC code. Using known results of graph theory, it is shown how the girth and the number of cycles of length equal to the girth may be computed for these $(c+1,d+1)$ biregular bipartite graphs knowing only the parameters $c$ and $d$ and the numbers of left and right vertices. While numerous algorithms to determine the number of short cycles in arbitrary graphs exist, the reduction of the problem from an algorithm to a computation for these biregular bipartite graphs is of interest.


title: A Quick View of Lagrangian Floer Homology

abstract: In this note we present a brief introduction to Lagrangian Floer homology and its relation with the solution of Arnol'd conjecture, on the minimal number of non-degenerate fixed points of a Hamiltonian diffeomorphism. We start with the basic definition of critical point on smooth manifolds, in oder to sketch some aspects of Morse theory. Introduction to the basics concepts of symplectic geometry are also included, with the idea of understanding the statement of Arnol'd Conjecture and how is related to the intersection of Lagrangian submanifolds.


title: Alien Calculus and non perturbative effects in Quantum Field Theory

abstract: In many domains of physics, methods are needed to deal with non-perturbative aspects. I want here to argue that a good approach is to work on the Borel transforms of the quantities of interest, the singularities of which give non-perturbative contributions. These singularities in many cases can be largely determined by using the alien calculus developed by Jean \'Ecalle. My main example will be the two point function of a massless theory given as a solution of a renormalization group equation.


title: Constraining Effective Temperature, Mass and Radius of Hot White Dwarfs

abstract: By introducing a simplified transport model of outer layers of white dwarfs we derive an analytical semi-empirical relation which constrains effective temperature-mass-radius for white dwarfs. This relation is used to classify recent data of white dwarfs according to their time evolution in non-accretion process of cooling. This formula permit us to study the population map of white dwarfs in the central temperature and mass plane, and discuss the relation with the ignition temperature for C-O material. Our effective temperature-mass-radius relation provide a quick method to estimate the mass of newly observed white dwarfs from their spectral measurements of effective temperature and superficial gravity.


title: Matrix integrals and Hurwitz numbers

abstract: We study multi-matrix models which may be viewed as integrals of products of tau functions which depend on the eigenvalues of products of random matrices. In the present paper we consider tau functions of the hierarchy the two-component KP (semiinfinite relativistic Toda lattice) and of hierarchy of the BKP introduced by Kac and van de Leur. Sometimes such integrals are tau functions themselves. We consider models which generate Hurwitz numbers $H^{e},f$, where $e$ is the Euler characteristic of the base surface and $f$ is the number of branch points. We show that in case the integrands contains the product of $n > 2$ matrices the integral generates Hurwitz numbers with $e\le 2$ and $f\le n+2$, both numbers $e$ and $f$ depend both on $n$ and on the order of the multipliers in the matrix product. The Euler characteristic $ e $ can be either an even or an odd number, that is, match both orientable and nonorientable (Klein) base surfaces, depending on the presence of the tau function of the BKP hierarchy in the integrand. We study two cases: the products of complex and the products of unitary matrices.


title: An intrinsic parallel transport in Wasserstein space

abstract: If M is a smooth compact connected Riemannian manifold, let P(M) denote the Wasserstein space of probability measures on M. We describe a geometric construction of parallel transport of some tangent cones along geodesics in P(M). We show that when everything is smooth, the geometric parallel transport agrees with earlier formal calculations.


title: Sampling a Network to Find Nodes of Interest

abstract: The focus of the current research is to identify people of interest in social networks. We are especially interested in studying dark networks, which represent illegal or covert activity. In such networks, people are unlikely to disclose accurate information when queried. We present REDLEARN, an algorithm for sampling dark networks with the goal of identifying as many nodes of interest as possible. We consider two realistic lying scenarios, which describe how individuals in a dark network may attempt to conceal their connections. We test and present our results on several real-world multilayered networks, and show that REDLEARN achieves up to a 340% improvement over the next best strategy.


title: Hausdorff dimension of unions of affine subspaces and of Furstenberg-type sets

abstract: We prove that for any $1 \le k<n$ and $s\le 1$, the union of any nonempty $s$-Hausdorff dimensional family of $k$-dimensional affine subspaces of ${\mathbb R}^n$ has Hausdorff dimension $k+s$. More generally, we show that for any $0 < \alpha \le k$, if $B \subset {\mathbb R}^n$ and $E$ is a nonempty collection of $k$-dimensional affine subspaces of ${\mathbb R}^n$ such that every $P \in E$ intersects $B$ in a set of Hausdorff dimension at least $\alpha$, then $\dim B \ge 2 \alpha - k + \min(\dim E, 1)$, where $\dim$ denotes the Hausdorff dimension. As a consequence, we generalize the well known Furstenberg-type estimate that every $\alpha$-Furstenberg set has Hausdorff dimension at least $2 \alpha$; we strengthen a theorem of Falconer and Mattila; and we show that for any $0 \le k<n$, if a set $A \subset {\mathbb R}^n$ contains the $k$-skeleton of a rotated unit cube around every point of ${\mathbb R}^n$, or if $A$ contains a $k$-dimensional affine subspace at a fixed positive distance from every point of ${\mathbb R}^n$, then the Hausdorff dimension of $A$ is at least $k + 1$.


title: Effects of QCD Equation of State on the Stochastic Gravitational Wave Background

abstract: Cosmological phase transitions can be a source of Stochastic Gravitational Wave (SGW) background. Apart from the dynamics of the phase transition, the characteristic frequency and the fractional energy density $\Omega_{\rm gw}$ of the SGW depends upon the temperature of the transition. In this article, we compute the SGW spectrum in the light of QCD equation of state provided by the lattice results. We find that the inclusion of trace anomaly from lattice QCD, enhances the SGW signal generated during QCD phase transition by $\sim 50\%$ and the peak frequency of the QCD era SGW are shifted higher by $\sim 25\%$ as compared to the earlier estimates without trace anomaly. This result is extremely significant for testing the phase transition dynamics near QCD epoch.


title: A Universal Variance Reduction-Based Catalyst for Nonconvex Low-Rank Matrix Recovery

abstract: We propose a generic framework based on a new stochastic variance-reduced gradient descent algorithm for accelerating nonconvex low-rank matrix recovery. Starting from an appropriate initial estimator, our proposed algorithm performs projected gradient descent based on a novel semi-stochastic gradient specifically designed for low-rank matrix recovery. Based upon the mild restricted strong convexity and smoothness conditions, we derive a projected notion of the restricted Lipschitz continuous gradient property, and prove that our algorithm enjoys linear convergence rate to the unknown low-rank matrix with an improved computational complexity. Moreover, our algorithm can be employed to both noiseless and noisy observations, where the optimal sample complexity and the minimax optimal statistical rate can be attained respectively. We further illustrate the superiority of our generic framework through several specific examples, both theoretically and experimentally.


title: A Homological Theory of Functions

abstract: In computational complexity, a complexity class is given by a set of problems or functions, and a basic challenge is to show separations of complexity classes $A \not= B$ especially when $A$ is known to be a subset of $B$. In this paper we introduce a homological theory of functions that can be used to establish complexity separations, while also providing other interesting consequences. We propose to associate a topological space $S_A$ to each class of functions $A$, such that, to separate complexity classes $A \subseteq B'$, it suffices to observe a change in "the number of holes", i.e. homology, in $S_A$ as a subclass $B$ of $B'$ is added to $A$. In other words, if the homologies of $S_A$ and $S_{A \cup B}$ are different, then $A \not= B'$. We develop the underlying theory of functions based on combinatorial and homological commutative algebra and Stanley-Reisner theory, and recover Minsky and Papert's 1969 result that parity cannot be computed by nonmaximal degree polynomial threshold functions. In the process, we derive a "maximal principle" for polynomial threshold functions that is used to extend this result further to arbitrary symmetric functions. A surprising coincidence is demonstrated, where the maximal dimension of "holes" in $S_A$ upper bounds the VC dimension of $A$, with equality for common computational cases such as the class of polynomial threshold functions or the class of linear functionals in $\mathbb F_2$, or common algebraic cases such as when the Stanley-Reisner ring of $S_A$ is Cohen-Macaulay. As another interesting application of our theory, we prove a result that a priori has nothing to do with complexity separation: it characterizes when a vector subspace intersects the positive cone, in terms of homological conditions. By analogy to Farkas' result doing the same with *linear conditions*, we call our theorem the Homological Farkas Lemma.


title: A compactification of the moduli space of multiple-spin curves

abstract: We construct a smooth Deligne-Mumford compactification for the moduli space of curves with an m-tuple of spin structures using line bundles on quasi-stable curves as limiting objects, as opposed to line bundles on stacky curves. For all m, we give a combinatorial description of the local structure of the corresponding coarse moduli spaces. We also classify all irreducible and connected components of the resulting moduli spaces of multiple-spin curves.


title: Nonlinear reflection from the surface of neutron stars and puzzles of radio emission from the pulsar in the Crab nebula

abstract: Having no any explanations the radiation of high-frequency components of the pulsar in the Crab Nebula can be a manifestation of instability in the nonlinear reflection from the neutron star surface. Reflected radiation it is the radiation of relativistic positrons flying from the magnetosphere to the star and accelerated by the electric field of the polar gap. The discussed instability it is a stimulated scattering by surface waves, predicted more than forty years ago and still nowhere and by no one had been observed.


title: Crossover between various initial conditions in KPZ growth: flat to stationary

abstract: We conjecture the universal probability distribution at large time for the one-point height in the 1D Kardar-Parisi-Zhang (KPZ) stochastic growth universality class, with initial conditions interpolating from any one of the three main classes (droplet, flat, stationary) on the left, to another on the right, allowing for drifts and also for a step near the origin. The result is obtained from a replica Bethe ansatz calculation starting from the KPZ continuum equation, together with a "decoupling assumption" in the large time limit. Some cases are checked to be equivalent to previously known results from other models in the same class, which provides a test of the method, others appear to be new. In particular we obtain the crossover distribution between flat and stationary initial conditions (crossover from Airy$_1$ to Airy$_{{\rm stat}}$) in a simple compact form.


title: Measurement of the $t$-channel single top-quark and top-antiquark differential cross-sections in $pp$ collisions at $\sqrt{s} = 8~\textrm{TeV}$ with the ATLAS detector

abstract: In this document, differential cross-section measurements of $t$-channel single top-quark production are presented. 20.2fb$^{-1}$ of data collected by the ATLAS experiment in proton-proton collisions in the LHC at a centre-of-mass energy of 8TeV are used. Differential cross-sections as a function of the transverse momentum and rapidity of both the top quark and the top antiquark have been measured at both parton and particle level. The transverse momentum and rapidity differential cross-sections of the scattered light-quark jet have been measured at particle level. All measurements are compared to different Monte Carlo predictions as well as to available fixed-order QCD calculations.