title: Submaximally symmetric c-projective structures

abstract: C-projective structures are analogues of projective structures in the complex setting. The maximal dimension of the Lie algebra of c-projective symmetries of a complex connection on an almost complex manifold of C-dimension $n>1$ is classically known to be $2n^2+4n$. We prove that the submaximal dimension is equal to $2n^2-2n+4+2\delta_{3,n}$. If the complex connection is minimal (encoded as a normal parabolic geometry), the harmonic curvature of the c-projective structure has three components and we specify the submaximal symmetry dimensions and the corresponding geometric models for each of these three pure curvature types. If the connection is non-minimal, we introduce a modified normalization condition on the parabolic geometry and use this to resolve the symmetry gap problem. We prove that the submaximal symmetry dimension in the class of Levi-Civita connections for pseudo-K\"ahler metrics is $2n^2-2n+4$, and specializing to the K\"ahler case, we obtain $2n^2-2n+3$. This resolves the symmetry gap problem for metrizable c-projective structures.


title: Minimization of Biases in Galaxy Peculiar Velocity Catalogs

abstract: Galaxy distances and derived radial peculiar velocity catalogs constitute valuable datasets to study the dynamics of the Local Universe. However, such catalogs suffer from biases whose effects increase with the distance. Malmquist biases and lognormal error distribution affect the catalogs. Velocity fields of the Local Universe reconstructed with these catalogs present a spurious overall infall onto the Local Volume if they are not corrected for biases. Such an infall is observed in the reconstructed velocity field obtained when applying the BayesianWiener-Filter technique to the raw second radial peculiar velocity catalog of the Cosmicflows project. In this paper, an iterative method to reduce spurious non-Gaussianities in the radial peculiar velocity distribution, to retroactively derive overall better distance estimates resulting in a minimization of the effects of biases, is presented. This method is tested with mock catalogs. To control the cosmic variance, mocks are built out of different cosmological constrained simulations which resemble the Local Universe. To realistically reproduce the effects of biases, the mocks are constructed to be look-alikes of the second data release of the Cosmicflows project, with respect to the size, distribution of data and distribution of errors. Using a suite of mock catalogs, the outcome of the correction is verified to be affected neither by the added error realization, nor by the datapoint selection, nor by the constrained simulation. Results are similar for the different tested mocks. After correction, the general infall is satisfactorily suppressed. The method allows us to obtained catalogs which together with the Wiener-Filter technique give reconstructions approximating non biased velocity fields at 100-150 km/s (2-3 Mpc/h in terms of linear displacement), the linear theory threshold.


title: On Slater's condition and finite convergence of the Douglas-Rachford algorithm

abstract: The Douglas-Rachford algorithm is a classical and very successful method for solving optimization and feasibility problems. In this paper, we provide novel conditions sufficient for finite convergence in the context of convex feasibility problems. Our analysis builds upon, and considerably extends, pioneering work by Spingarn. Specifically, we obtain finite convergence in the presence of Slater's condition in the affine-polyhedral and in a hyperplanar-epigraphical case. Various examples illustrate our results. Numerical experiments demonstrate the competitiveness of the Douglas-Rachford algorithm for solving linear equations with a positivity constraint when compared to the method of alternating projections and the method of reflection-projection.


title: Asymptotics of the modes of the ordered Stirling numbers

abstract: It is known that the $S(n,k)$ Stirling numbers as well as the ordered Stirling numbers $k!S(n,k)$ form log-concave sequences. Although in the first case there are many estimations about the mode, for the ordered Stirling numbers such estimations are not known. In this short note we study this problem and some of its generalizations.


title: The exterior algebra and central notions in mathematics

abstract: This note surveys how the exterior algebra and deformations or quotients of it, gives rise to centrally important notions in five domains of mathematics: Combinatorics, Topology, Lie theory, Mathematical physics, and Algebraic geometry.


title: Two types of nematicity in the phase diagram of the cuprate superconductor YBa$_2$Cu$_3$O$_y$

abstract: Nematicity has emerged as a key feature of cuprate superconductors, but its link to other fundamental properties such as superconductivity, charge order and the pseudogap remains unclear. Here we use measurements of transport anisotropy in YBa$_2$Cu$_3$O$_y$ to distinguish two types of nematicity. The first is associated with short-range charge-density-wave modulations in a doping region near $p = 0.12$. It is detected in the Nernst coefficient, but not in the resistivity. The second type prevails at lower doping, where there are spin modulations but no charge modulations. In this case, the onset of in-plane anisotropy - detected in both the Nernst coefficient and the resistivity - follows a line in the temperature-doping phase diagram that tracks the pseudogap energy. We discuss two possible scenarios for the latter nematicity.


title: On Period Relations for Automorphic L-functions I

abstract: This paper is the first in a series of two dedicated to the study of period relations of the type $$ L(\frac{1}{2}+k,\Pi)\;\in\;(2\pi i)^{d\cdot k}\Omega_{(-1)^k}{\mathbb Q}(\Pi),\quad \frac{1}{2}+k\;\text{critical}, $$ for certain automorphic representations $\Pi$ of a reductive group $G.$ In this paper we discuss the case $G={\mathrm{GL}}(n+1)\times{\mathrm{GL}}(n).$ The case $G={\mathrm{GL}}(2n)$ is discussed in part two. Our method is representation-theoretic and relies on the author's recent results on global rational structures on automorphic representations. We show that the above period relations are intimately related to the field of definition of the global representation $\Pi$ under consideration. The new period relations we prove are in accordance with Deligne's Conjecture on special values of $L$-functions and we expect our method to apply to other cases as well.


title: Properties of Weak Lensing Clusters Detected on Hyper Suprime-Cam 2.3 Square Degree Field

abstract: We present properties of moderately massive clusters of galaxies detected by the newly developed Hyper Suprime-Cam on the Subaru telescope using weak gravitational lensing. Eight peaks exceeding a S/N ratio of 4.5 are identified on the convergence S/N map of a 2.3 square degree field observed during the early commissioning phase of the camera. Multi-color photometric data is used to generate optically selected clusters using the CAMIRA algorithm. The optical cluster positions were correlated with the peak positions from the convergence map. All eight significant peaks have optical counterparts. The velocity dispersion of clusters are evaluated by adopting the Singular Isothemal Sphere (SIS) fit to the tangential shear profiles, yielding virial mass estimates, M500c, of the clusters which range from 2.7x10^13 to 4.4x10^14 solar mass. The number of peaks is considerably larger than the average number expected from LambdaCDM cosmology but this is not extremely unlikely if one takes the large sample variance in the small field into account. We could, however, safely argue that the peak count strongly favours the recent Planck result suggesting high sigma8$value of 0.83. The ratio of stellar mass to the dark matter halo mass shows a clear decline as the halo mass increases. If the gas mass fraction, fg, in halos is universal, as has been suggested in the literature, the observed baryon mass in stars and gas shows a possible deficit compared with the total baryon density estimated from the baryon oscillation peaks in anisotropy of the cosmic microwave background.


title: Aashiyana: Design and Evaluation of a Smart Demand-Response System for Highly-stressed Grids

abstract: This paper targets the unexplored problem of demand response within the context of power-grids that are allowed to regularly enforce blackouts as a mean to balance supply with demand:highly-stressed grids. Currently these utilities use as a cyclic and binary (power/no-power) schedule over consumer groups leading to significant wastage of capacity and long hours of no-power. We present here a novel building DLC system, Aashiyana, that can enforce several user-defined low-power states. We evaluate distributed and centralized load-shedding schemes using Aashiyana that can, compared to current load-shedding strategy, reduce the number of homes with no power by 80% for minor change in the fraction of homes with full-power.


title: Multivariate $\alpha$-molecules

abstract: The suboptimal performance of wavelets with regard to the approximation of multivariate data gave rise to new representation systems, specifically designed for data with anisotropic features. Some prominent examples of these are given by ridgelets, curvelets, and shearlets, to name a few. The great variety of such so-called directional systems motivated the search for a common framework, which unites many under one roof and enables a simultaneous analysis, for example with respect to approximation properties. Building on the concept of parabolic molecules, the recently introduced framework of $\alpha$-molecules does in fact include the previous mentioned systems. Until now however it is confined to the bivariate setting, whereas nowadays one often deals with higher dimensional data. This motivates the extension of this unifying theory to dimensions larger than 2, put forward in this work. In particular, we generalize the central result that the cross-Gramian of any two systems of $\alpha$-molecules will to some extent be localized. As an exemplary application, we investigate the sparse approximation of video signals, which are instances of 3D data. The multivariate theory allows us to derive almost optimal approximation rates for a large class of representation systems.


title: The little-studied cluster Berkeley 90. I. LS III +46 11: a very massive O3.5 If* + O3.5 If* binary

abstract: Context: It appears that most (if not all) massive stars are born in multiple systems. At the same time, the most massive binaries are hard to find due to their low numbers throughout the Galaxy and the implied large distances and extinctions. AIMS: We want to study: [a] LS III +46 11, identified in this paper as a very massive binary; [b] another nearby massive system, LS III +46 12; and [c] the surrounding stellar cluster, Berkeley 90. Methods: Most of the data used in this paper are multi-epoch high-S/N optical spectra though we also use Lucky Imaging and archival photometry. The spectra are reduced with devoted pipelines and processed with our own software, such as a spectroscopic-orbit code, CHORIZOS, and MGB. Results: LS III +46 11 is identified as a new very-early-O-type spectroscopic binary [O3.5 If* + O3.5 If*] and LS III +46 12 as another early O-type system [O4.5 V((f))]. We measure a 97.2-day period for LS III +46 12 and derive minimum masses of 38.80$\pm$0.83 M_Sol and 35.60$\pm$0.77 M_Sol for its two stars. We measure the extinction to both stars, estimate the distance, search for optical companions, and study the surrounding cluster. In doing so, a variable extinction is found as well as discrepant results for the distance. We discuss possible explanations and suggest that LS III +46 12 may be a hidden binary system, where the companion is currently undetected.


title: Heterotic Moduli Stabilisation and Non-Supersymmetric Vacua

abstract: We study moduli stabilisation in four-dimensional $N=1$ supergravity theories which originate from compactifications of the heterotic string on certain manifolds with $SU(3)$ structure. These theories have a non-trivial superpotential generated from geometric flux and, in general, D-terms associated to anomalous $U(1)$ symmetries. We show that, at the perturbative level, there are no supersymmetry preserving vacua. However, subject to a certain technical condition on the D-terms which aligns the extrema of the F-term and D-term potentials, $\partial_iV_F=\partial_iV_D=0$, we find at the perturbative level analytic stable AdS vacua which break supersymmetry. As a result, all T-moduli and the dilaton are stabilised perturbatively with supersymmetry broken at a high scale. We also show numerically that similar vacua can be found when the technical condition on the D-term is relaxed. These vacua persist in the presence of non-perturbative effects. In all cases, the vacua remain AdS.


title: Obstructions for three-coloring graphs without induced paths on six vertices

abstract: We prove that there are 24 4-critical $P_6$-free graphs, and give the complete list. We remark that, if $H$ is connected and not a subgraph of $P_6$, there are infinitely many 4-critical $H$-free graphs. Our result answers questions of Golovach et al. and Seymour.


title: On $(n+1)$-Hom-Lie Algebras Induced by $n$-Hom-Lie Algebras

abstract: The purpose of this paper is to study the relationships between an $n$-Hom-Lie algebra and its induced $(n+1)$-Hom-Lie algebra. We provide an overview of the theory and explore the structure properties such as ideals, center, derived series, solvability, nilpotency, central extensions, and the cohomology.


title: On Markushevich bases in preduals of von Neumann algebras

abstract: We prove that the predual of any von Neumann algebra is $1$-Plichko, i.e., it has a countably $1$-norming Markushevich basis. This answers a question of the third author who proved the same for preduals of semifinite von Neumann algebras. As a corollary we obtain an easier proof of a result of U.~Haagerup that the predual of any von Neumann algebra enjoys the separable complementation property. We further prove that the self-adjoint part of the predual is $1$-Plichko as well.


title: Further Results on the Classification of MDS Codes

abstract: A $q$-ary maximum distance separable (MDS) code $C$ with length $n$, dimension $k$ over an alphabet $\mathcal{A}$ of size $q$ is a set of $q^k$ codewords that are elements of $\mathcal{A}^n$, such that the Hamming distance between two distinct codewords in $C$ is at least $n-k+1$. Sets of mutually orthogonal Latin squares of orders $q\leq 9$, corresponding to two-dimensional \mbox{$q$-}ary MDS codes, and $q$-ary one-error-correcting MDS codes for $q\leq 8$ have been classified in earlier studies. These results are used here to complete the classification of all $7$-ary and $8$-ary MDS codes with $d\geq 3$ using a computer search.


title: A symbolic calculus for a class of quantum computing circuits

abstract: This paper introduces a symbolic calculus to evaluate the output signals at the target line(s) of quantum computing subcircuits using controlled negations and controlled-Q gates, where Q represents the k-th root of [0 1; 1 0], the unitary matrix of NOT, and k is a power of two. The controlling signals are GF(2) expressions possibly including Boolean expressions. The method does not require operating with complex-valued matrices. The method may be used to verify the functionality and to check for possible minimization of a given quantum computing circuit using target lines. The method does not apply for a whole circuit if there are interactions among target lines. In this case the method applies for the independent subcircuits.


title: Detecting Markov Random Fields Hidden in White Noise

abstract: Motivated by change point problems in time series and the detection of textured objects in images, we consider the problem of detecting a piece of a Gaussian Markov random field hidden in white Gaussian noise. We derive minimax lower bounds and propose near-optimal tests.


title: A civil super-Manhattan project in nuclear research for a safer and prosperous world

abstract: Humankind is confronted with a "nuclear stewardship curse", facing the prospect of needing to manage nuclear products over long time scales in the face of the short-time scales of human polities. I propose a super Manhattan-type effort to rejuvenate the nuclear energy industry to overcome the current dead-end in which it finds itself, and by force, humankind has trapped itself in. A 1% GDP investment over a decade in the main nuclear countries could boost economic growth with a focus on the real world, epitomised by nuclear physics/chemistry/engineering/economics with well defined targets. By investing vigorously to obtain scientific and technological breakthroughs, we can create the spring of a world economic rebound based on new ways of exploiting nuclear energy, both more safely and more durably.


title: Proof Theory of a Multi-Lane Spatial Logic

abstract: We extend the Multi-lane Spatial Logic MLSL, introduced in previous work for proving the safety (collision freedom) of traffic maneuvers on a multi-lane highway, by length measurement and dynamic modalities. We investigate the proof theory of this extension, called EMLSL. To this end, we prove the undecidability of EMLSL but nevertheless present a sound proof system which allows for reasoning about the safety of traffic situations. We illustrate the latter by giving a formal proof for the reservation lemma we could only prove informally before. Furthermore we prove a basic theorem showing that the length measurement is independent from the number of lanes on the highway.


title: Quantum speedup of Monte Carlo methods

abstract: Monte Carlo methods use random sampling to estimate numerical quantities which are hard to compute deterministically. One important example is the use in statistical physics of rapidly mixing Markov chains to approximately compute partition functions. In this work we describe a quantum algorithm which can accelerate Monte Carlo methods in a very general setting. The algorithm estimates the expected output value of an arbitrary randomised or quantum subroutine with bounded variance, achieving a near-quadratic speedup over the best possible classical algorithm. Combining the algorithm with the use of quantum walks gives a quantum speedup of the fastest known classical algorithms with rigorous performance bounds for computing partition functions, which use multiple-stage Markov chain Monte Carlo techniques. The quantum algorithm can also be used to estimate the total variation distance between probability distributions efficiently.


title: Pointwise decay and smoothness for semilinear elliptic equations and travelling waves

abstract: We derive sharp decay estimates and prove holomorphic extensions for the solutions of a class of semilinear nonlocal elliptic equations with linear part given by a sum of Fourier multipliers with finitely smooth symbols at the origin. Applications concern the decay and smoothness of travelling waves for nonlinear evolution equations in fluid dynamics and plasma physics.


title: On the number of unit-area triangles spanned by convex grids in the plane

abstract: A finite set of real numbers is called convex if the differences between consecutive elements form a strictly increasing sequence. We show that, for any pair of convex sets $A, B\subset\mathbb R$, each of size $n^{1/2}$, the convex grid $A\times B$ spans at most $O(n^{37/17}\log^{2/17}n)$ unit-area triangles. This improves the best known upper bound $O(n^{31/14})$ recently obtained in \cite{RS}. Our analysis also applies to more general families of sets $A$, $B$, known as sets of Szemer\'edi--Trotter type.


title: Isolated compact elliptical galaxies: Stellar systems that ran away

abstract: Compact elliptical galaxies form a rare class of stellar system (~30 presently known) characterized by high stellar densities and small sizes and often harboring metal-rich stars. They were thought to form through tidal stripping of massive progenitors, until two isolated objects were discovered where massive galaxies performing the stripping could not be identified. By mining astronomical survey data, we have now found 195 compact elliptical galaxies in all types of environment. They all share similar dynamical and stellar population properties. Dynamical analysis for nonisolated galaxies demonstrates the feasibility of their ejection from host clusters and groups by three-body encounters, which is in agreement with numerical simulations. Hence, isolated compact elliptical and isolated quiescent dwarf galaxies are tidally stripped systems that ran away from their hosts.


title: Gelation Paradox

abstract: The gelation paradox first raised by Stockmayer is re-examined by comparing the extent of reaction in sol phase and that in the interior of gel. It is shown that the Stockmayer limit, 2/f, for the extent of reaction is the lowest limit in gel phase, as well as being the highest limit for sol molecules.


title: NMR studies of electronic properties of solids

abstract: The NMR technique is quite essential as it permits atomic scale measurements in materials. The aim of this article is to present the main parameters accessible to NMR experiments and to relate them to the electronic properties of simple solids in which electronic correlations are not dominant. It will be shown that in metals the Pauli paramagnetism, that is the electronic density of states is accessible through NMR shift and spin lattice relaxation data. Those permit as well to determine electronic gaps in some electronic structures, or in the SC state. The capability to reveal by NMR the incidence of impurities and disorder is also underlined. A complementary article will be dedicated to the specific properties of strongly correlated materials which have been revealed and studied by NMR experiments.


title: Compression Artifacts Reduction by a Deep Convolutional Network

abstract: Lossy compression introduces complex compression artifacts, particularly the blocking artifacts, ringing effects and blurring. Existing algorithms either focus on removing blocking artifacts and produce blurred output, or restores sharpened images that are accompanied with ringing effects. Inspired by the deep convolutional networks (DCN) on super-resolution, we formulate a compact and efficient network for seamless attenuation of different compression artifacts. We also demonstrate that a deeper model can be effectively trained with the features learned in a shallow network. Following a similar "easy to hard" idea, we systematically investigate several practical transfer settings and show the effectiveness of transfer learning in low-level vision problems. Our method shows superior performance than the state-of-the-arts both on the benchmark datasets and the real-world use case (i.e. Twitter). In addition, we show that our method can be applied as pre-processing to facilitate other low-level vision routines when they take compressed images as input.


title: A differential equation with monodromy group $2.J_2$

abstract: We construct a sixth order differential equation having the central extension of $C_2$ by the Hall-Janko group $J_2$ as monodromy group. Moreover it arises from an iterated application of tensor products and convolution operations from a first order differential equation.


title: Emergent phenomena in multicomponent superconductivity: an introduction to the focus issue

abstract: Multicomponent superconductivity is a novel quantum phenomenon in many different superconducting materials, such as multiband ones in which different superconducting gaps open in different Fermi surfaces, films engineered at the atomic scale to enter the quantum confined regime, multilayers, two-dimensional electron gases at the oxide interfaces, and complex materials in which different electronic orbitals or different carriers participate in the formation of the superconducting condensate. In all these systems the increased number of degrees of freedom of the multicomponent superconducting wave-function allows for emergent quantum effects that are otherwise unattainable in single-component superconductors. In this editorial paper we introduce the present focus issue, exploring the complex but fascinating physics of multicomponent superconductivity.


title: Modulational instability in dispersion-kicked optical fibers

abstract: We study, both theoretically and experimentally, modulational instability in optical fibers that have a longitudinal evolution of their dispersion in the form of a Dirac delta comb. By means of Floquet theory, we obtain an exact expression for the position of the gain bands, and we provide simple analytical estimates of the gain and of the bandwidths of those sidebands. An experimental validation of those results has been realized in several microstructured fibers specifically manufactured for that purpose. The dispersion landscape of those fibers is a comb of Gaussian pulses having widths much shorter than the period, which therefore approximate the ideal Dirac comb. Experimental spontaneous MI spectra recorded under quasi continuous wave excitation are in good agreement with the theory and with numerical simulations based on the generalized nonlinear Schr\"odinger equation.


title: Szlenk indices of convex hulls

abstract: We study the general measures of non-compactness defined on subsets of a dual Banach space, their associated derivations and their $\omega$-iterates. We introduce the notions of convexifiable and sublinear measure of non-compactness and investigate the properties of its associated fragment and slice derivations. We apply our results to the Kuratowski measure of non-compactness and to the study of the Szlenk index of a Banach space. As a consequence, we obtain that the Szlenk index and the convex Szlenk index of a separable Banach space are always equal. We also give, for any countable ordinal $\alpha$, a characterization of the Banach spaces with Szlenk index bounded by $\omega^{\alpha+1}$ in terms of the existence of an equivalent renorming. This extends a result by Knaust, Odell and Schlumprecht on Banach spaces with Szlenk index equal to $\omega$.


title: Heterogeneous Differential Privacy

abstract: The massive collection of personal data by personalization systems has rendered the preservation of privacy of individuals more and more difficult. Most of the proposed approaches to preserve privacy in personalization systems usually address this issue uniformly across users, thus ignoring the fact that users have different privacy attitudes and expectations (even among their own personal data). In this paper, we propose to account for this non-uniformity of privacy expectations by introducing the concept of heterogeneous differential privacy. This notion captures both the variation of privacy expectations among users as well as across different pieces of information related to the same user. We also describe an explicit mechanism achieving heterogeneous differential privacy, which is a modification of the Laplacian mechanism by Dwork, McSherry, Nissim, and Smith. In a nutshell, this mechanism achieves heterogeneous differential privacy by manipulating the sensitivity of the function using a linear transformation on the input domain. Finally, we evaluate on real datasets the impact of the proposed mechanism with respect to a semantic clustering task. The results of our experiments demonstrate that heterogeneous differential privacy can account for different privacy attitudes while sustaining a good level of utility as measured by the recall for the semantic clustering task.


title: Central limit theorems for a hypergeometric randomly reinforced urn

abstract: We consider a variant of the randomly reinforced urn where more balls can be simultaneously drawn out and balls of different colors can be simultaneously added. More precisely, at each time-step, the conditional distribution of the number of extracted balls of a certain color given the past is assumed to be hypergeometric. We prove some central limit theorems in the sense of stable convergence and of almost sure conditional convergence, which are stronger than convergence in distribution. The proven results provide asymptotic confidence intervals for the limit proportion, whose distribution is generally unknown. Moreover, we also consider the case of more urns subjected to some random common factors.


title: Accelerated kernel discriminant analysis

abstract: In this paper, using a novel matrix factorization and simultaneous reduction to diagonal form approach (or in short simultaneous reduction approach), Accelerated Kernel Discriminant Analysis (AKDA) and Accelerated Kernel Subclass Discriminant Analysis (AKSDA) are proposed. Specifically, instead of performing the simultaneous reduction of the between- and within-class or subclass scatter matrices, the nonzero eigenpairs (NZEP) of the so-called core matrix, which is of relatively small dimensionality, and the Cholesky factorization of the kernel matrix are computed, achieving more than one order of magnitude speed up over kernel discriminant analysis (KDA). Moreover, consisting of a few elementary matrix operations and very stable numerical algorithms, AKDA and AKSDA offer improved classification accuracy. The experimental evaluation on various datasets confirms that the proposed approaches provide state-of-the-art performance in terms of both training time and classification accuracy.


title: Phenomenology of bivariate approximants: the pi0 to e+e- case and its impact on the electron and muon g-2

abstract: The current 3$\sigma$ discrepancy between experiment and Standard Model predictions for $\pi^0 \to e^+e^-$ is reconsidered using the Pad\'e Theory for bivariate functions, the Canterbury approximants. This method provides a model-independent data-driven approximation to the decay as soon as experimental data for the doubly virtual $\pi^0$ transition form factor are available. It also implements the correct QCD constraints of the form factor both at low- and high-energies. We reassess the Standard Model result including, for the first time, a systematic error. Our result, BR$(\pi^0 \to e^+e^-)=6.23(5)\times 10^{-8}$, still represents a discrepancy larger than $2\sigma$, unsurmountable with our present knowledge of the Standard Model, and would claim New Physics if the experimental result is confirmed by a new measurement. Our method also provides the adequate tool to extract the doubly virtual form factor from experimental data in a straightforward manner. This measurement would further shrink our error and establish once and for all the New Physics nature of the discrepancy. In addition, we remark the challenge this discrepancy poses in the evaluation of the hadronic light-by-light scattering contribution to the $(g-2)_{\mu}$, specially confronted with the foreseen accuracy of the forthcoming $(g-2)_{\mu}$ experiments.


title: Sullivan minimal models of classifying spaces for non-formal spaces of small rank

abstract: We consider certain rational homotopical conditions of simly connected CW complex $X$ such that the rational cohomology of the classifying space $Baut_1X$ for fibrations with two-stage fibre $X$ is (not) free. First, we consider when is $Baut_1X$ a rational factor of $Baut_1(X\times S^n)$ for an odd-integer $n$ and observe for a non-formal elliptic space $X$ of rank 3. Second, we compute the Sullivan minimal models of $Baut_1X$ when $X$ are certain non-formal pure spaces of rank 5.


title: A Graph Theoretic Perspective on CPM(Rel)

abstract: Mixed states are of interest in quantum mechanics for modelling partial information. More recently categorical approaches to linguistics have also exploited the idea of mixed states to describe ambiguity and hyponym / hypernym relationships. In both these application areas the category Rel of sets and binary relations is often used as an alternative model. Selinger's CPM construction provides the setting for mixed states in Hilbert space based categorical quantum mechanics. By analogy, applying the CPM construction to Rel is seen as introducing mixing into a relational setting. We investigate the category CPM(Rel) of completely positive maps in Rel. We show that the states of an object in CPM(Rel) are in bijective correspondence with certain families of graphs. Via map-state duality this then allows us provide a graph theoretic characterization of the morphisms in CPM(Rel). By identifying an appropriate composition operation on graphs, we then show that CPM(Rel) is isomorphic to a category of sets and graphs between them. This isomorphism then leads to a graph based description of the complete join semilattice enriched dagger compact structure of CPM(Rel). These results allow us to reason about CPM(Rel) entirely in terms of graphs. We exploit these techniques in several examples. We give a closed form expression for the number of states of a finite set in CPM(Rel). The pure states are characterized in graph theoretic terms. We also demonstrate the possibly surprising phenomenon of a pure state that can be given as a mixture of two mixed states.


title: An Active Learning Based Approach For Effective Video Annotation And Retrieval

abstract: Conventional multimedia annotation/retrieval systems such as Normalized Continuous Relevance Model (NormCRM) [16] require a fully labeled training data for a good performance. Active Learning, by determining an order for labeling the training data, allows for a good performance even before the training data is fully annotated. In this work we propose an active learning algorithm, which combines a novel measure of sample uncertainty with a novel clustering-based approach for determining sample density and diversity and integrate it with NormCRM. The clusters are also iteratively refined to ensure both feature and label-level agreement among samples. We show that our approach outperforms multiple baselines both on a recent, open character animation dataset and on the popular TRECVID corpus at both the tasks of annotation and text-based retrieval of videos.


title: Regularized Consensus PCA

abstract: A new framework for many multiblock component methods (including consensus and hierarchical PCA) is proposed. It is based on the consensus PCA model: a scheme connecting each block of variables to a superblock obtained by concatenation of all blocks. Regularized consensus PCA is obtained by applying regularized generalized canonical correlation analysis to this scheme for the function $g(x) = x^m$ where $m \ge 1$. A gradient algorithm is proposed. At convergence, a solution of the stationary equation related to the optimization problem is obtained. For m = 1, 2 or 4 and shrinkage constants equal to 0 or 1, many multiblock component methods are recovered.


title: Beyond two-stage models for lung carcinogenesis in the Mayak workers: Implications for Plutonium risk

abstract: Mechanistic multi-stage models are used to analyze lung-cancer mortality after Plutonium exposure in the Mayak-workers cohort, with follow-up until 2008. Besides the established two-stage model with clonal expansion, models with three mutation stages as well as a model with two distinct pathways to cancer are studied. The results suggest that three-stage models offer an improved description of the data. The best-fitting models point to a mechanism where radiation increases the rate of clonal expansion. This is interpreted in terms of changes in cell-cycle control mediated by bystander signaling or repopulation following cell killing. No statistical evidence for a two-pathway model is found. To elucidate the implications of the different models for radiation risk, several exposure scenarios are studied. Models with a radiation effect at an early stage show a delayed response and a pronounced drop-off with older ages at exposure. Moreover, the dose-response relationship is strongly nonlinear for all three-stage models, revealing a marked increase above a critical dose.


title: On the multiplicity of closed geodesics on Finsler spheres with irrationally elliptic closed geodesics

abstract: If all prime closed geodesics on $(S^n,F)$ with an irreversible Finsler metric $F$ are irrationally elliptic, there exist either exactly $2\left[\frac{n+1}{2}\right]$ or infinitely many distinct closed geodesics. As an application, we show the existence of three distinct closed geodesics on bumpy Finsler $(S^3,F)$ if any prime closed geodesic has non-zero Morse index.


title: Decay of Resonaces in Strong Magnetic Field

abstract: We suggest that decay properties (branching ratios) of hadronic resonances may become modified in strong external magnetic field. The behavior of $K^{\pm *}\!$, $K^{0*}$ vector mesons as well as $\Lambda^*(1520)$ and $\Xi^{0*}$ baryonic states is considered in static fields $10^{13}$-\,$10^{15}$ T. In particular, $n=0$ Landau level energy increase of charged particles in the external magnetic field, and the interaction of hadron magnetic moments with the field is taken into account. We suggest that enhanced yield of dileptons and photons from $\rho^0(770)$ mesons may occur if strong decay channel $\rho^0 \rightarrow \pi^+\pi^-$ is significantly suppressed. CP - violating $\pi^+\pi^-$ decays of pseudoscalar $\eta_c$ and $\eta(547)$ mesons in the magnetic field are discussed, and superpositions of quarkonium states $\eta_{c,b}$ and $\chi_{c,b}(nP)$ with $\Psi(nS), \Upsilon(nS)$ mesons in the external field are considered.


title: Efficient Interference Management Policies for Femtocell Networks

abstract: Managing interference in a network of macrocells underlaid with femtocells presents an important, yet challenging problem. A majority of spatial (frequency/time) reuse based approaches partition the users based on coloring the interference graph, which is shown to be suboptimal. Some spatial time reuse based approaches schedule the maximal independent sets (MISs) in a cyclic, (weighted) round-robin fashion, which is inefficient for delay-sensitive applications. Our proposed policies schedule the MISs in a non-cyclic fashion, which aim to optimize any given network performance criterion for delay-sensitive applications while fulfilling minimum throughput requirements of the users. Importantly, we do not take the interference graph as given as in existing works; we propose an optimal construction of the interference graph. We prove that under certain conditions, the proposed policy achieves the optimal network performance. For large networks, we propose a low-complexity algorithm for computing the proposed policy. We show that the policy computed achieves a constant competitive ratio (with respect to the optimal network performance), which is independent of the network size, under wide range of deployment scenarios. The policy can be implemented in a decentralized manner by the users. Compared to the existing policies, our proposed policies can achieve improvement of up to 130 % in large-scale deployments.


title: Nature or nurture? Clues from the distribution of specific star formation rates in SDSS galaxies

abstract: This work investigates the main mechanism(s) that regulate the specific star formation rate (SSFR) in nearby galaxies, cross-correlating two proxies of this quantity -- the equivalent width of the \Ha\ line and the $(u-r)$ colour -- with other physical properties (mass, metallicity, environment, morphology, and the presence of close companions) in a sample of $\sim82500$ galaxies extracted from the Sloan Digital Sky Survey (SDSS). The existence of a relatively tight `ageing sequence' in the colour-equivalent width plane favours a scenario where the secular conversion of gas into stars (i.e. `nature') is the main physical driver of the instantaneous SSFR and the gradual transition from a `chemically primitive' (metal-poor and intensely star-forming) state to a `chemically evolved' (metal-rich and passively evolving) system. Nevertheless, environmental factors (i.e. `nurture') are also important. In the field, galaxies may be temporarily affected by discrete `quenching' and `rejuvenation' episodes, but such events show little statistical significance in a probabilistic sense, and we find no evidence that galaxy interactions are, on average, a dominant driver of star formation. Although visually classified mergers tend to display systematically higher EW(H$\alpha$) and bluer $(u-r)$ colours for a given luminosity, most galaxies with high SSFR have uncertain morphologies, which could be due to either internal or external processes. Field galaxies of early and late morphological types are consistent with the gradual `ageing' scenario, with no obvious signatures of a sudden decrease in their SSFR. In contrast, star formation is significantly reduced and sometimes completely quenched on a short time scale in dense environments, where many objects are found on a `quenched sequence' in the colour-equivalent width plane.


title: Common neighbours and the local-community-paradigm for link prediction in bipartite networks

abstract: Bipartite networks are powerful descriptions of complex systems characterized by two different classes of nodes and connections allowed only across but not within the two classes. Surprisingly, current complex network theory presents a theoretical bottle-neck: a general framework for local-based link prediction directly in the bipartite domain is missing. Here, we overcome this theoretical obstacle and present a formal definition of common neighbour index (CN) and local-community-paradigm (LCP) for bipartite networks. As a consequence, we are able to introduce the first node-neighbourhood-based and LCP-based models for topological link prediction that utilize the bipartite domain. We performed link prediction evaluations in several networks of different size and of disparate origin, including technological, social and biological systems. Our models significantly improve topological prediction in many bipartite networks because they exploit local physical driving-forces that participate in the formation and organization of many real-world bipartite networks. Furthermore, we present a local-based formalism that allows to intuitively implement neighbourhood-based link prediction entirely in the bipartite domain.


title: Information Technology in New Zealand: Review of Emerging Social Trends, Current Issues, and Policies

abstract: This paper discusses the general state of information technology in New Zealand society, current issues, and policies. It is a qualitative study that reviews recent scholarly articles, periodicals, and surveys in order to create an understanding of some of the information technology issues and trends in New Zealand. After reviewing previous research, it assesses the potential existence and nature of a 'digital divide' in New Zealand society whilst also evaluating possible strategic responses to the issue. New Zealand society has rapidly accepted emerging online trends as well as achieving an overall high level of Internet provision nationally. Through government policy and education, this small island nation has remained at the forefront of information technology and can be considered somewhat of an e-democracy. However, despite these positives, there is a risk of low-income communities being left behind as New Zealand society becomes increasingly dependent on IT in the workplace and in governmental administration.


title: Optical orientation of electron spins and valence band spectroscopy in germanium

abstract: We have investigated optical orientation in the vicinity of the direct gap of bulk germanium. The electron spin polarization is studied via polarization-resolved photoluminescence excitation spectroscopy unfolding the interplay between doping and ultrafast electron transfer from the center of the Brillouin zone towards its edge. As a result, the direct-gap photoluminescence circular polarisation can vary from 30% to -60% when the excitation laser energy increases. This study provides also simultaneous access to the resonant electronic Raman scattering due to inter-valence band excitations of spin-polarized holes, yielding a fast and versatile spectroscopic approach for the determination of the energy spectrum of holes in semiconducting materials.


title: A numerical ampleness criterion via Gale duality

abstract: The main object of the present paper is a numerical criterion determining when a Weil divisor of a $\Q$--factorial complete toric variety admits a positive multiple Cartier divisor which is either numerically effective (nef) or ample. It is a consequence of $\Z$--linear interpretation of Gale duality and se\-con\-dary fan as developed in several previous papers of us. As a byproduct we get a computation of the Cartier index of a Weil divisor and a numerical characterization of weak $\Q$--Fano, $\Q$--Fano, Gorenstein, weak Fano and Fano toric varieties. Several examples are then given and studied. \keywords{$\Q$--factorial complete toric variety \and ample divisor \and nef divisor \and $\Z$-liner Gale duality \and secondary fan \and ampleness criterion \and Cartier index \and $\Q$-Fano toric variety.


title: Classical resolution of black hole singularities via wormholes

abstract: In certain extensions of General Relativity, wormholes generated by spherically symmetric electric fields can resolve black hole singularities without necessarily removing curvature divergences. This is shown by studying geodesic completeness, the behavior of time-like congruences going through the divergent region, and by means of scattering of waves off the wormhole. This provides an example of the logical independence between curvature divergences and space-time singularities, concepts very often identified with each other in the literature.ns of curvature divergences in the context of space-time singularities.


title: Notes on MV-modules over integral domains

abstract: An MV-module is an MV-algebra endowed with a scalar multiplication with scalars in a PMV-algebra (i.e. an MV-algebra endowed with a binary "ring-like" product). We investigate the class of semisimple MV-modules over a semisimple and totally ordered integral domain, and we prove an adjunction with a special class of linear spaces.


title: Constraints on the energy spectra of charged particles predicted in some model interactions of hadrons with help of the atmospheric muon flux

abstract: It has been shown that muon flux intensities calculated in terms of the EPOS LHC and EPOS 1.99 models at the energy of 10^4 GeV exceed the data of the classical experiments L3+Cosmic, MACRO and LVD on the spectra of atmospheric muons by a factor of 1.9 and below these data at the same energy by a factor of 1.8 in case of the QGSJET II-03 model. It has been concluded that these tested models overestimate (underestimate in case of QGSJET II-03 model) the production of secondary particles with the highest energies in interactions of hadrons by a factor of ~1.5. The LHCf and TOTEM accelerator experiments show also this type of disagreements with these model predictions at highest energies of secondary particles.


title: An Improvised Frequent Pattern Tree Based Association Rule Mining Technique with Mining Frequent Item Sets Algorithm and a Modified Header Table

abstract: In todays world there is a wide availability of huge amount of data and thus there is a need for turning this data into useful information which is referred to as knowledge. This demand for knowledge discovery process has led to the development of many algorithms used to determine the association rules. One of the major problems faced by these algorithms is generation of candidate sets. The FP Tree algorithm is one of the most preferred algorithms for association rule mining because it gives association rules without generating candidate sets. But in the process of doing so, it generates many CP trees which decreases its efficiency. In this research paper, an improvised FP tree algorithm with a modified header table, along with a spare table and the MFI algorithm for association rule mining is proposed. This algorithm generates frequent item sets without using candidate sets and CP trees.


title: Metric Decompositions of Path-Separable Graphs

abstract: A prominent tool in many problems involving metric spaces is a notion of randomized low-diameter decomposition. Loosely speaking, $\beta$-decomposition refers to a probability distribution over partitions of the metric into sets of low diameter, such that nearby points (parameterized by $\beta>0$) are likely to be "clustered" together. Applying this notion to the shortest-path metric in edge-weighted graphs, it is known that $n$-vertex graphs admit an $O(\ln n)$-padded decomposition (Bartal, 1996), and that excluded-minor graphs admit $O(1)$-padded decomposition (Klein, Plotkin and Rao 1993, Fakcharoenphol and Talwar 2003, Abraham et al. 2014). We design decompositions to the family of $p$-path-separable graphs, which was defined by Abraham and Gavoille (2006). and refers to graphs that admit vertex-separators consisting of at most $p$ shortest paths in the graph. Our main result is that every $p$-path-separable $n$-vertex graph admits an $O(\ln (p \ln n))$-decomposition, which refines the $O(\ln n)$ bound for general graphs, and provides new bounds for families like bounded-treewidth graphs. Technically, our clustering process differs from previous ones by working in (the shortest-path metric of) carefully chosen subgraphs.


title: Theory of Semi-Instantiation in Abstract Argumentation

abstract: We study instantiated abstract argumentation frames of the form $(S,R,I)$, where $(S,R)$ is an abstract argumentation frame and where the arguments $x$ of $S$ are instantiated by $I(x)$ as well formed formulas of a well known logic, for example as Boolean formulas or as predicate logic formulas or as modal logic formulas. We use the method of conceptual analysis to derive the properties of our proposed system. We seek to define the notion of complete extensions for such systems and provide algorithms for finding such extensions. We further develop a theory of instantiation in the abstract, using the framework of Boolean attack formations and of conjunctive and disjunctive attacks. We discuss applications and compare critically with the existing related literature.


title: On-Board Vision Processing For Small UAVs: Time to Rethink Strategy

abstract: The ultimate research goal for unmanned aerial vehicles (UAVs) is to facilitate autonomy of operation. Research in the last decade has highlighted the potential of vision sensing in this regard. Although vital for accomplishment of missions assigned to any type of unmanned aerial vehicles, vision sensing is more critical for small aerial vehicles due to lack of high precision inertial sensors. In addition, uncertainty of GPS signal in indoor and urban environments calls for more reliance on vision sensing for such small vehicles. With off-line processing does not offer an attractive option in terms of autonomy, these vehicles have been challenging platforms to implement vision processing onboard due to their strict payload capacity and power budget. The strict constraints drive the need for new vision processing architectures for small unmanned aerial vehicles. Recent research has shown encouraging results with FPGA based hardware architectures. This paper reviews the bottle necks involved in implementing vision processing on-board, advocates the potential of hardware based solutions to tackle strict constraints of small unmanned aerial vehicles and finally analyzes feasibility of ASICs, Structured ASICs and FPGAs for use on future systems.


title: Quasi-black holes: general features and purely field configurations

abstract: Objects that are on the threshold of forming the horizon but never collapse are called quasi-black holes (QBHs). We discuss the properties of the general spherically symmetric QBH metric without addressing its material source, including its limiting cases as the corresponding small parameter tends to zero. We then show that QBHs can exist among self-gravitating configurations of electromagnetic and dilatonic scalar fields without matter. These general results are illustrated by explicit examples of exact solutions.


title: Impacts of supersymmetric higher derivative terms on inflation models in supergravity

abstract: We show the effects of supersymmetric higher derivative terms on inflation models in supergravity. The results show that such terms generically modify the effective kinetic coefficient of the inflaton during inflation if the cut off scale of the higher derivative operators is sufficiently small. In such a case, the $\eta$-problem in supergravity does not occur, and we find that the effective potential of the inflaton generically becomes a power type potential with a power smaller than two.


title: Application of a single-board computer as a low cost pulse generator

abstract: A BeagleBone Black (BBB) single-board open-source computer was implemented as a low-cost fully programmable pulse generator. The pulse generator makes use of the BBB Programmable Real-Time Unit (PRU) subsystem to achieve a deterministic temporal resolution of 5 ns, an RMS jitter of 290 ps and a timebase stability on the order of 10 ppm. A python based software framework has also been developed to simplify the usage of the pulse generator.


title: Direct Measurement of the Exciton Binding Energy and Effective Masses for Charge carriers in an Organic-Inorganic Tri-halide Perovskite

abstract: Solar cells based on the organic-inorganic tri-halide perovskite family of materials have shown remarkable progress recently, offering the prospect of low-cost solar energy from devices that are very simple to process. Fundamental to understanding the operation of these devices is the exciton binding energy, which has proved both difficult to measure directly and controversial. We demonstrate that by using very high magnetic fields it is possible to make an accurate and direct spectroscopic measurement of the exciton binding energy, which we find to be only 16 meV at low temperatures, over three times smaller than has been previously assumed. In the room temperature phase we show that the binding energy falls to even smaller values of only a few millielectronvolts, which explains their excellent device performance due to spontaneous free carrier generation following light absorption. Additionally, we determine the excitonic reduced effective mass to be 0.104me (where me is the electron mass), significantly smaller than previously estimated experimentally but in good agreement with recent calculations. Our work provides crucial information about the photophysics of these materials, which will in turn allow improved optoelectronic device operation and better understanding of their electronic properties.


title: Are long gamma-ray bursts standard candles?

abstract: Gamma-ray bursts (GRBs) are widely proposed as an effective probe to trace the Hubble diagram of the Universe in high redshift range. However, the calibration of GRBs is not as easy as that of type-Ia supernovae (SNe Ia). Most calibrating methods at present make use one or some of the empirical luminosity correlations, e.g., Amati relation. One of the underlying assumptions of these calibrating methods is that the empirical correlation is universal over all redshifts. In this paper, we check to what extent this assumption holds. Assuming that SNe Ia exactly trace the Hubble diagram of the Universe, we re-investigate the Amati relation for low redshift ($z<1.4$) and high redshift ($z>1.4$) GRBs, respectively. It is found that the Amati relation of low-$z$ GRBs differs from that of high-$z$ GRBs at more than $3\sigma$ confidence level. This result is insensitive to cosmological models. We should be cautious when using Amati relation to reconstruct the Hubble diagram of the Universe.


title: On Sparse variational methods and the Kullback-Leibler divergence between stochastic processes

abstract: The variational framework for learning inducing variables (Titsias, 2009a) has had a large impact on the Gaussian process literature. The framework may be interpreted as minimizing a rigorously defined Kullback-Leibler divergence between the approximating and posterior processes. To our knowledge this connection has thus far gone unremarked in the literature. In this paper we give a substantial generalization of the literature on this topic. We give a new proof of the result for infinite index sets which allows inducing points that are not data points and likelihoods that depend on all function values. We then discuss augmented index sets and show that, contrary to previous works, marginal consistency of augmentation is not enough to guarantee consistency of variational inference with the original model. We then characterize an extra condition where such a guarantee is obtainable. Finally we show how our framework sheds light on interdomain sparse approximations and sparse approximations for Cox processes.


title: SegSALSA-STR: A convex formulation to supervised hyperspectral image segmentation using hidden fields and structure tensor regularization

abstract: We present a supervised hyperspectral image segmentation algorithm based on a convex formulation of a marginal maximum a posteriori segmentation with hidden fields and structure tensor regularization: Segmentation via the Constraint Split Augmented Lagrangian Shrinkage by Structure Tensor Regularization (SegSALSA-STR). This formulation avoids the generally discrete nature of segmentation problems and the inherent NP-hardness of the integer optimization associated. We extend the Segmentation via the Constraint Split Augmented Lagrangian Shrinkage (SegSALSA) algorithm by generalizing the vectorial total variation prior using a structure tensor prior constructed from a patch-based Jacobian. The resulting algorithm is convex, time-efficient and highly parallelizable. This shows the potential of combining hidden fields with convex optimization through the inclusion of different regularizers. The SegSALSA-STR algorithm is validated in the segmentation of real hyperspectral images.


title: Cascaded Sparse Spatial Bins for Efficient and Effective Generic Object Detection

abstract: A novel efficient method for extraction of object proposals is introduced. Its "objectness" function exploits deep spatial pyramid features, a novel fast-to-compute HoG-based edge statistic and the EdgeBoxes score. The efficiency is achieved by the use of spatial bins in a novel combination with sparsity-inducing group normalized SVM. State-of-the-art recall performance is achieved on Pascal VOC07, significantly outperforming methods with comparable speed. Interestingly, when only 100 proposals per image are considered the method attains 78% recall on VOC07. The method improves mAP of the RCNN state-of-the-art class-specific detector, increasing it by 10 points when only 50 proposals are used in each image. The system trained on twenty classes performs well on the two hundred class ILSVRC2013 set confirming generalization capability.


title: Norms of inner derivations for multiplier algebras of C*-algebras and group C*-algebras, II

abstract: The derivation constant $K(A)\geq \frac{1}{2}$ has been extensively studied for \emph{unital} non-commutative $C^*$-algebras. In this paper, we investigate properties of $K(M(A))$ where $M(A)$ is the multiplier algebra of a non-unital $C^*$-algebra $A$. A number of general results are obtained which are then applied to the group $C^*$-algebras $A=C^*(G_N)$ where $G_N$ is the motion group $\R^N\rtimes SO(N)$. Utilising the rich topological structure of the unitary dual $\widehat{G_N}$, it is shown that, for $N\geq3$, $$K(M(C^*(G_N)))= \frac{1}{2}\left\lceil \frac{N}{2}\right\rceil.$$


title: Liouville theorems, universal estimates and periodic solutions for cooperative parabolic Lotka-Volterra systems

abstract: We consider positive solutions of cooperative parabolic Lotka-Volterra systems with equal diffusion coefficients, in bounded and unbounded domains. The systems are complemented by the Dirichlet or Neumann boundary conditions. Under suitable assumptions on the coefficients of the reaction terms, these problems possess both global solutions and solutions which blow up in finite time. We show that any solution $(u,v)$ defined on the time interval $(0,T)$ satisfies a universal estimate of the form $$u(x,t)+v(x,t)\leq C(1+t^{-1}+(T-t)^{-1}),$$ where $C$ does not depend on $x,t,u,v,T$. In particular, this bound guarantees global existence and boundedness for threshold solutions lying on the borderline between blow-up and global existence. Moreover, this bound yields optimal blow-up rate estimates for solutions which blow up in finite time. Our estimates are based on new Liouville-type theorems for the corresponding scaling invariant parabolic system and require an optimal restriction on the space dimension $n$: $n\leq5$. As an application we also prove the existence of time-periodic positive solutions if the coefficients are time-periodic. Our approach can also be used for more general parabolic systems.


title: Non-local transport via edge-states in InAs/GaSb coupled quantum wells

abstract: We have investigated low-temperature electronic transport on InAs/GaSb double quantum wells, a system which promises to be electrically tunable from a normal to a topological insulator. Hall bars of $50\,\mu$m in length down to a few $\mu$m gradually develop a pronounced resistance plateau near charge-neutrality, which comes along with distinct non-local transport along the edges. Plateau resistances are found to be above or below the quantized value expected for helical edge channels. We discuss these results based on the interplay between imperfect edges and residual local bulk conductivity.


title: A multi-messenger study of the Fermi Bubbles: very high energy gamma rays and neutrinos

abstract: The Fermi Bubbles have been imaged in sub-TeV gamma rays at Fermi-LAT, and, if their origin is hadronic, they might have been seen with low statistics in $\sim 0.1- 1$ PeV neutrinos at IceCube. We discuss the detectability of these objects at the new High Altitude Water Cherenkov (HAWC) gamma ray detector. HAWC will view the North Bubble for $\sim 2-3$ hours a day, and will map its spectrum at 0.1-100 TeV. For the hard primary proton spectrum required to explain five events at IceCube, a high significance detection at HAWC will be achieved in less than 30 days. The combination of results at HAWC and IceCube will substantiate the hadronic model, or constrain its spectral parameters.


title: A Lattice Boltzmann Relaxation Scheme for Inviscid Compressible Flows

abstract: A novel Lattice Boltzmann Method applicable to compressible fluid flows is developed. This method is based on replacing the governing equations by a relaxation system and the interpretation of the diagonal form of the relaxation system as a discrete velocity Boltzmann system. As a result of this interpretation, the local equilibrium distribution functions are simple algebraic functions of the conserved variables and the fluxes, without the low Mach number expansion present in the equilibrium distribution of the traditional Lattice Boltzmann Method (LBM). This new Lattice Boltzmann Relaxation Scheme (LBRS) thus overcomes the low Mach number limitation and can successfully simulate compressible flows. While doing so, our algorithm retains all the distinctive features of the traditional LBM. Numerical simulations carried out for inviscid flows in one and two dimensions show that the method can simulate the features of compressible flows like shock waves and expansion waves.


title: Lp-estimates for the variation for singular integrals on uniformly rectifiable sets

abstract: The $L^p$ ($1<p<\infty$) and weak-$L^1$ estimates for the variation for Calder\'on-Zygmund operators with smooth odd kernel on uniformly rectifiable measures are proven. The $L^2$ boundedness and the corona decomposition method are two key ingredients of the proof.


title: Resistive magnetohydrodynamic simulations of the ideal tearing mode

abstract: We study the linear and nonlinear evolution of the tearing instability on thin current sheets by means of two-dimensional numerical simulations, within the framework of compressible, resistive magnetohydrodynamics. In particular we analyze the behavior of current sheets whose inverse aspect ratio scales with the Lundquist number $S$ as $S^{-1/3}$. This scaling has been recently recognized to yield the threshold separating fast, ideal reconnection, with an evolution and growth which are independent of $S$ provided this is high enough, as it should be natural having the ideal case as a limit for $S\to\infty$. Our simulations confirm that the tearing instability growth rate can be as fast as $\gamma\approx 0.6\,{\tau_A}^{-1}$, where $\tau_A$ is the ideal Alfv\'enic time set by the macroscopic scales, for our least diffusive case with $S=10^7$. The expected instability dispersion relation and eigenmodes are also retrieved in the linear regime, for the values of $S$ explored here. Moreover, in the nonlinear stage of the simulations we observe secondary events obeying the same critical scaling with $S$, here calculated on the \emph{local}, much smaller lengths, leading to increasingly faster reconnection. These findings strongly support the idea that in a fully dynamic regime, as soon as current sheets develop, thin and reach this critical threshold in their aspect ratio, the tearing mode is able to trigger plasmoid formation and reconnection on the local (ideal) Alfv\'enic timescales, as required to explain the explosive flaring activity often observed in solar and astrophysical plasmas.


title: Neutrino Physics

abstract: The Standard Model has been incredibly successful in predicting the outcome of almost all the experiments done up so far. In it, neutrinos are mass-less. However, in recent years we have accumulated evidence pointing to tiny masses for the neutrinos (as compared to the charged leptons). These masses allow neutrinos to change their flavour and oscillate. In these lectures I review the properties of neutrinos in and beyond the Standard Model.


title: Performance evaluation of the Mojette erasure code for fault-tolerant distributed hot data storage

abstract: Packet erasure codes are today a real alternative to replication in fault tolerant distributed storage systems. In this paper, we propose the Mojette erasure code based on the Mojette transform, a formerly tomographic tool. The performance of coding and decoding are compared to the Reed-Solomon code implementations of the two open-source reference libraries namely ISA-L and Jerasure 2.0. Results clearly show better performances for our discrete geometric code compared to the classical algebraic approaches. A gain factor up to $2$ is measured in comparison with the ISA-L Intel . Those very good performances allow to deploy Mojette erasure code for hot data distributed storage and I/O intensive applications.


title: Twisting Functors for Quantum Group Modules

abstract: We construct twisting functors for quantum group modules. First over the field $\mathbb{Q}(v)$ but later over any $\mathbb{Z} [v,v^{-1}]$-algebra. The main results in this paper are a rigerous definition of these functors, a proof that they satisfy braid relations and applications to Verma modules.


title: Computing integral points on hyperelliptic curves using quadratic Chabauty

abstract: We give a method for the computation of integral points on a hyperelliptic curve of odd degree over the rationals whose genus equals the Mordell-Weil rank of its Jacobian. Our approach consists of a combination of the $p$-adic approximation techniques introduced in previous work with the Mordell-Weil sieve


title: On the Verification of SCOOP Programs

abstract: In this paper we focus on the development of a toolbox for the verification of programs in the context of SCOOP -- an elegant concurrency model, recently formalized based on Rewriting Logic (RL) and Maude. SCOOP is implemented in Eiffel and its applicability is demonstrated also from a practical perspective, in the area of robotics programming. Our contribution consists in devising and integrating an alias analyzer and a Coffman deadlock detector under the roof of the same RL-based semantic framework of SCOOP. This enables using the Maude rewriting engine and its LTL model-checker "for free", in order to perform the analyses of interest. We discuss the limitations of our approach for model-checking deadlocks and provide solutions to the state explosion problem. The latter is mainly caused by the size of the SCOOP formalization which incorporates all the aspects of a real concurrency model. On the aliasing side, we propose an extension of a previously introduced alias calculus based on program expressions, to the setting of unbounded program executions such as infinite loops and recursive calls. Moreover, we devise a corresponding executable specification easily implementable on top of the SCOOP formalization. An important property of our extension is that, in non-concurrent settings, the corresponding alias expressions can be over-approximated in terms of a notion of regular expressions. This further enables us to derive an algorithm that always stops and provides a sound over-approximation of the "may aliasing" information, where soundness stands for the lack of false negatives.


title: Irreducible quantum group modules with finite dimensional weight spaces. I

abstract: In this paper we classify all simple weight modules for a quantum group $U_q$ at a complex root of unity $q$ when the Lie algebra is not of type $G_2$. By a weight module we mean a finitely generated $U_q$-module which has finite dimensional weight spaces and is a sum of those. Our approach follows the procedures used by S. Fernando and O. Mathieu to solve the corresponding problem for semisimple complex Lie algebras.


title: Hardy-Littlewood, Hausdorff-Young-Paley inequalities, and Lp-Lq Fourier multipliers on compact homogeneous manifolds

abstract: In this paper we prove new inequalities describing the relationship between the "size" of a function on a compact homogeneous manifold and the "size" of its Fourier coefficients. These inequalities can be viewed as noncommutative versions of the Hardy-Littlewood inequalities obtained by Hardy and Littlewood on the circle. For the example case of the group SU(2) we show that the obtained Hardy-Littlewood inequalities are sharp, yielding a criterion for a function to be in $L^p$ on SU(2) in terms of its Fourier coefficients. We also establish Paley and Hausdorff-Young-Paley inequalities on general compact homogeneous manifolds. The latter is applied to obtain conditions for the $L^p$-$L^q$ boundedness of Fourier multipliers for $1<p\leq 2\leq q<\infty$ on compact homogeneous manifolds as well as the $L^p$-$L^q$ boundedness of general (non-invariant) operators on compact Lie groups. We also record an abstract version of the Marcinkiewicz interpolation theorem on totally ordered discrete sets, to be used in the proofs with different Plancherel measures on the unitary duals.


title: Realizing all $so(N)_1$ quantum criticalities in symmetry protected cluster models

abstract: We show that all $so(N)_1$ universality class quantum criticalities emerge when one-dimensional generalized cluster models are perturbed with Ising or Zeeman terms. Each critical point is described by a low-energy theory of $N$ linearly dispersing fermions, whose spectrum we show to precisely match the prediction by $so(N)_1$ conformal field theory. Furthermore, by an explicit construction we show that all the cluster models are dual to non-locally coupled transverse field Ising chains, with the universality of the $so(N)_1$ criticality manifesting itself as $N$ of these chains becoming critical. This duality also reveals that the symmetry protection of cluster models arises from the underlying Ising symmetries and it enables the identification of local representations for the primary fields of the $so(N)_1$ conformal field theories. For the simplest and experimentally most realistic case that corresponds to the original one-dimensional cluster model with local three-spin interactions, our results show that the $su(2)_2 \simeq so(3)_1$ Wess-Zumino-Witten model can emerge in a local, translationally invariant and Jordan-Wigner solvable spin-1/2 model.


title: Entanglement and thermodynamics in general probabilistic theories

abstract: Entanglement is one of the most striking features of quantum mechanics, and yet it is not specifically quantum. More specific to quantum mechanics is the connection between entanglement and thermodynamics, which leads to an identification between entropies and measures of pure state entanglement. Here we search for the roots of this connection, investigating the relation between entanglement and thermodynamics in the framework of general probabilistic theories. We first address the question whether an entangled state can be transformed into another by means of local operations and classical communication. Under two operational requirements, we prove a general version of the Lo-Popescu theorem, which lies at the foundations of the theory of pure-state entanglement. We then consider a resource theory of purity where free operations are random reversible transformations, modelling the scenario where an agent has limited control over the dynamics of a closed system. Our key result is a duality between the resource theory of entanglement and the resource theory of purity, valid for every physical theory where all processes arise from pure states and reversible interactions at the fundamental level. As an application of the main result, we establish a one-to-one correspondence between entropies and measures of pure bipartite entanglement and exploit it to define entanglement measures in the general probabilistic framework. In addition, we show a duality between the task of information erasure and the task of entanglement generation, whereby the existence of entropy sinks (systems that can absorb arbitrary amounts of information) becomes equivalent to the existence of entanglement sources (correlated systems from which arbitrary amounts of entanglement can be extracted).


title: Comment on Article by Berger, Bernardo, and Sun

abstract: Discussion of Overall Objective Priors by James O. Berger, Jose M. Bernardo, Dongchu Sun [arXiv:1504.02689].


title: 3D Scaffolded Nickel-Tin Li-Ion Anodes with Enhanced Cyclability

abstract: A 3D mechanical stable scaffold is shown to accommodate the volume change of a high specific capacity nickel-tin nanocomposite Li-ion battery anode. When the nickel-tin anode is formed on an electrochemically inactive conductive scaffold with an engineered free volume and controlled characteristic dimensions, it exhibits significantly improved the cyclability.


title: On wild frieze patterns

abstract: In this note, among other things, we show: There are periodic wild SLk-frieze patterns whose entries are positive integers. There are non-periodic SLk-frieze patterns whose entries are positive integers. There is an SL3-frieze pattern whose entries are positive integers and with infinitely many different entries.


title: On polynomial convexity of compact subsets of totally-real submanifold in $\mathbb{C}^n$

abstract: Let $K$ be a compact subset of a totally-real manifold $M$, where $M$ is either a $\mathcal{C}^2$-smooth graph in $\mathbb{C}^{2n}$ over $\mathbb{C}^n$, or $M=u^{-1}\{0\}$ for a $\mathcal{C}^2$-smooth submersion $u$ from $\mathbb{C}^n$ to $\mathbb{R}^{2n-k}$, $k\leq n$. In this case we show that $K$ is polynomially convex if and only if for a fixed neighbourhood $U$, defined in terms of the defining functions of $M$, there exists a plurisubharmonic function $\Psi$ on $\mathbb{C}^n$ such that $K\subset \{\Psi<0\}\subset U$.


title: Cosmology and Gravitation: the grand scheme for High-Energy Physics

abstract: These lectures describe how the Standard Model of cosmology ($\Lambda$CDM) has developped, based on observational facts but also on ideas formed in the context of the theory of fundamental interactions, both gravitational and nongravitational, the latter being described by the Standard Model of high energy physics. It focuses on the latest developments, in particular the precise knowledge of the early Universe provided by the observation of the Cosmic Microwave Background and the discovery of the present acceleration of the expansion of the Universe. While insisting on the successes of the Standard Model of cosmology, we will stress that it rests on three pillars which involve many open questions: the theory of inflation, the nature of dark matter and of dark energy. We will devote one chapter to each of these issues, describing in particular how this impacts our views on the theory of fundamental interactions. More technical parts are given in italics. They may be skipped altogether.


title: The XMM-Newton serendipitous survey. VII. The third XMM-Newton serendipitous source catalogue

abstract: Thanks to the large collecting area (3 x ~1500 cm$^2$ at 1.5 keV) and wide field of view (30' across in full field mode) of the X-ray cameras on board the European Space Agency X-ray observatory XMM-Newton, each individual pointing can result in the detection of hundreds of X-ray sources, most of which are newly discovered. Recently, many improvements in the XMM-Newton data reduction algorithms have been made. These include enhanced source characterisation and reduced spurious source detections, refined astrometric precision, greater net sensitivity and the extraction of spectra and time series for fainter sources, with better signal-to-noise. Further, almost 50\% more observations are in the public domain compared to 2XMMi-DR3, allowing the XMM-Newton Survey Science Centre (XMM-SSC) to produce a much larger and better quality X-ray source catalogue. The XMM-SSC has developed a pipeline to reduce the XMM-Newton data automatically and using improved calibration a new catalogue version has been produced from XMM-Newton data made public by 2013 Dec. 31 (13 years of data). Manual screening ensures the highest data quality. This catalogue is known as 3XMM. In the latest release, 3XMM-DR5, there are 565962 X-ray detections comprising 396910 unique X-ray sources. For the 133000 brightest sources, spectra and lightcurves are provided. For all detections, the positions on the sky, a measure of the quality of the detection, and an evaluation of the X-ray variability is provided, along with the fluxes and count rates in 7 X-ray energy bands, the total 0.2-12 keV band counts, and four hardness ratios. To identify the detections, a cross correlation with 228 catalogues is also provided for each X-ray detection. 3XMM-DR5 is the largest X-ray source catalogue ever produced. Thanks to the large array of data products, it is an excellent resource in which to find new and extreme objects.


title: A Novel Method to Determine Magnetic Fields in low-density Plasma e.g. Solar Flares Facilitated Through Accidental Degeneracy of Quantum States in Fe$^{9+}$

abstract: We propose a new method to determine magnetic fields, by using the magnetic-field induced electric dipole transition $3p^43d\,^4\mathrm{D}_{7/2}$ $\rightarrow$ $3p^5\, ^2\mathrm{P}_{3/2}$ in Fe$^{9+}$ ions. This ion has a high abundance in astrophysical plasma and is therefore well-suited for direct measurements of even rather weak fields in e.g. solar flares. This transition is induced by an external magnetic field and its rate is proportional to the square of the magnetic field strength. We present theoretical values for what we will label the reduced rate and propose that the critical energy difference between the upper level in this transition and the close to degenerate $3p^43d\, ^4\mathrm{D}_{5/2}$ should be measured experimentally since it is required to determine the relative intensity of this magnetic line for different magnetic fields.


title: Extremes of locally stationary chi-square processes with trend

abstract: Chi-square processes with trend appear naturally as limiting processes in various statistical models. In this paper we are concerned with the exact tail asymptotics of the supremum taken over (0; 1) of a class of locally stationary chi-square processes with particular admissible trends. An important tool for establishing our results is a weak version of Slepian's lemma for chi-square processes. Some special cases including squared Brownian bridge and Bessel process are discussed.


title: From particle counting to Gaussian tomography

abstract: All the $n(2n+3)$ mean and covariance parameters of an $n$-mode Gaussian states are expressed in terms of the expectation values of the same number of conjugates of the total number observable. This permits a complete tomography of the state. The same is applied to outputs of a Gaussian channel corresponding to selected coherent states to perform the complete tomography of the channel. This leads to some interesting problems concerning the distribution of the number operator and also tomographic complexity.


title: High-Q Optical Cavities in Hyperuniform Disordered Materials

abstract: We introduce the first designs for high-Q photonic cavities in slab architectures in hyperuniform disordered solids displaying isotropic band gaps. Despite their disordered character, hyperuniform disordered structures have the ability to tightly confine the TE-polarised radiation in slab configurations that are readily fabricable. The architectures are based on carefully designed local modifications of otherwise unperturbed hyperuniform dielectric structures. We identify a wide range of confined cavity modes, which can be classified according to their approximate symmetry (monopole, dipole, quadrupole, etc.) of the confined electromagnetic wave pattern. We demonstrate that quality factors ($Q$) $Q>10^{9}$ can be achieved for purely 2D structures, and that for three--dimensional finite-height photonic slabs, quality factors $Q>20,000$ can be maintained.

categories: cond-mat.mes-hall cond-mat.dis-nn physics.optics quant-ph


title: A Deterministic Almost-Tight Distributed Algorithm for Approximating Single-Source Shortest Paths

abstract: We present a deterministic $(1+o(1))$-approximation $(n^{1/2+o(1)}+D^{1+o(1)})$-time algorithm for solving the single-source shortest paths problem on distributed weighted networks (the CONGEST model); here $n$ is the number of nodes in the network and $D$ is its (hop) diameter. This is the first non-trivial deterministic algorithm for this problem. It also improves (i) the running time of the randomized $(1+o(1))$-approximation $\tilde O(n^{1/2}D^{1/4}+D)$-time algorithm of Nanongkai [STOC 2014] by a factor of as large as $n^{1/8}$, and (ii) the $O(\epsilon^{-1}\log \epsilon^{-1})$-approximation factor of Lenzen and Patt-Shamir's $\tilde O(n^{1/2+\epsilon}+D)$-time algorithm [STOC 2013] within the same running time. Our running time matches the known time lower bound of $\Omega(n^{1/2}/\log n + D)$ [Elkin STOC 2004] up to subpolynomial factors, thus essentially settling the status of this problem which was raised at least a decade ago [Elkin SIGACT News 2004]. It also implies a $(2+o(1))$-approximation $(n^{1/2+o(1)}+D^{1+o(1)})$-time algorithm for approximating a network's weighted diameter which almost matches the lower bound by Holzer and Pinsker [OPODIS 2015]. In achieving this result, we develop two techniques which might be of independent interest and useful in other settings: (i) a deterministic process that replaces the "hitting set argument" commonly used for shortest paths computation in various settings, and (ii) a simple, deterministic, construction of an $(n^{o(1)}, o(1))$-hop set of size $n^{1+o(1)}$. We combine these techniques with many distributed algorithmic techniques, some of which from problems that are not directly related to shortest paths, e.g., ruling sets [Goldberg et al. STOC 1987], source detection [Lenzen and Peleg PODC 2013], and partial distance estimation [Lenzen and Patt-Shamir PODC 2015].


title: The fractional Fisher information and the central limit theorem for stable laws

abstract: A new information-theoretic approach to the central limit theorem for stable laws is presented. The main novelty is the concept of relative fractional Fisher information, which shares most of the properties of the classical one, included Blachman-Stam type inequalities. These inequalities relate the fractional Fisher information of the sum of $n$ independent random variables to the information contained in sums over subsets containing $n-1$ of the random variables. As a consequence, a simple proof of the monotonicity of the relative fractional Fisher information in central limit theorems for stable law is obtained, together with an explicit decay rate.


title: Prediction of components in random sums

abstract: We consider predictions of the random number and the magnitude of each iid component in a random sum based on its distributional structure, where only a total value of the sum is available and where iid random components are non-negative. The problem is motivated by prediction problems in a Poisson shot noise process. In the context, although conditional moments are best possible predictors under the mean square error, only a few special cases have been investigated because of numerical difficulties. We replace the prediction problem of the process with that of a random sum, which is more general, and establish effective numerical procedures. The methods are based on conditional technique together with the Panjer recursion and the Fourier transform. In view of numerical experiments, procedures work reasonably. An application in the compound mixed Poisson process is also suggested.


title: Lepton-Specific Two Higgs Doublet Model as a Solution of Muon $g-2$ Anomaly

abstract: We discuss the Type-X (lepton-specific) two Higgs doublet model as a solution of the anomaly of the muon $g-2$. We consider various experimental constraints on the parameter space such as direct searches for extra Higgs bosons at the LEP II and the LHC Run-I, electroweak precision observables, the decay of $B_s \to \mu^+\mu^-$, and the leptonic decay of the tau lepton. We find that the measurement of the tau decay provides the most important constraint, which excludes the parameter region that can explain the muon $g-2$ anomaly at the 1$\sigma$ level. We then discuss the phenomenology of extra Higgs bosons and the standard model-like Higgs boson ($h$) to probe the scenario favored by the $g-2$ data at the collider experiments. We find that the $4\tau$, $3\tau$ and $4\tau + W/Z$ signatures are expected as the main signal of the extra Higgs bosons at the LHC. In addition, we clarify that the value of the $h\tau\tau$ coupling is predicted to be the standard model value times about $-1.6$ to $-1.0$, and the branching fraction of the $h\to \gamma\gamma$ mode deviates from the standard model prediction by $-30\%$ to $-15\%$. Furthermore, we find that the exotic decay mode, $h$ decaying into the $Z$ boson and a light CP-odd scalar boson, is allowed, and its branching fraction can be a few percent. These deviations in the property of $h$ will be tested by the precision measurements at future collider experiments.


title: Denoise in the pseudopolar grid Fourier space using exact inverse pseudopolar Fourier transform

abstract: In this paper I show a matrix method to calculate the exact inverse pseudopolar grid Fourier transform, and use this transform to do noise removals in the k space of pseudopolar grids. I apply the Gaussian filter to this pseudopolar grid and find the advantages of the noise removals are very excellent by using pseudopolar grid, and finally I show the Cartesian grid denoise for comparisons. The results present the signal to noise ratio and the variance are much better when doing noise removals in the pseudopolar grid than the Cartesian grid. The noise removals of pseudopolar grid or Cartesian grid are both in the k space, and all these noises are added in the real space.

categories: physics.data-an cond-mat.mes-hall cs.IT math.IT


title: On Parisian ruin over a finite-time horizon

abstract: For a risk process $R_u(t)=u+ct-X(t), t\ge 0$, where $u\ge 0$ is the initial capital, $c>0$ is the premium rate and $X(t),t\ge 0$ is an aggregate claim process, we investigate the probability of the Parisian ruin \[ \mathcal{P}_S(u,T_u)=\mathbb{P}\{\inf_{t\in[0,S]} \sup_{s\in[t,t+T_u]} R_u(s)<0\}, \] with a given positive constant $S$ and a positive measurable function $T_u$. We derive asymptotic expansion of $\mathcal{P}_S(u,T_u)$, as $u\to\infty$, for the aggregate claim process $X$ modeled by Gaussian processes. As a by-product, we derive the exact tail asymptotics of the infimum of a standard Brownian motion with drift over a finite-time interval.


title: Excited-state hydroxyl maser polarimetry: Who ate all the {\pi}s?

abstract: We present polarimetric maser observations with the Australia Telescope Compact Array (ATCA) of excited-state hydroxyl (OH) masers. We observed 30 fields of OH masers in full Stokes polarization with the Compact Array Broadband Backend (CABB) at both the 6030 and 6035 MHz excited-state OH transitions, and the 6668-MHz methanol maser transition, detecting 70 sites of maser emission. Amongst the OH we found 112 Zeeman pairs, of which 18 exhibited candidate {\pi} components. This is the largest single full polarimetric study of multiple sites of star formation for these frequencies, and the rate of 16% {\pi} components clearly indicates the {\pi} component exists, and is comparable to the percentage recently found for ground-state transitions. This significant percentage of {\pi} components, with consistent proportions at both ground- and excited-state transitions, argues against Faraday rotation suppressing the {\pi} component emission. Our simultaneous observations of methanol found the expected low level of polarisation, with no circular detected, and linear only found at the less than or equal to 10% level for the brightest sources.


title: On a Quantization of the Classical $\theta$-Functions

abstract: The Jacobi theta-functions admit a definition through the autonomous differential equations (dynamical system); not only through the famous Fourier theta-series. We study this system in the framework of Hamiltonian dynamics and find corresponding Poisson brackets. Availability of these ingredients allows us to state the problem of a canonical quantization to these equations and disclose some important problems. In a particular case the problem is completely solvable in the sense that spectrum of the Hamiltonian can be found. The spectrum is continuous, has a band structure with infinite number of lacunae, and is determined by the Mathieu equation: the Schr\"odinger equation with a periodic cos-type potential.


title: Transient growth calculations obtained directly from the Orr-Sommerfeld matrices

abstract: We introduce and validate an algorithm to compute transient amplication factors for the Orr-Sommerfeld-Squire linear theory for parallel two-phase flow. We further introduce direct numerical simulation as a way of comparing the linear theory with early-stage wave growth in simulations. The simulation results are drawn from a strongly supercritical parameter case wherein the modal growth rates are strong. In this case, the modal growth dominates the transient growth


title: The doubly eclipsing quintuple low-mass star system 1SWASP J093010.78+533859.5

abstract: Our discovery of 1SWASP J093010.78+533859.5 as a probable doubly eclipsing quadruple system containing a contact binary with P~0.23 d and a detached binary with P~1.31 d was announced in 2013. Subsequently Koo et al. confirmed the detached binary spectroscopically and identified a fifth set of static spectral lines at its location, corresponding to a further non-eclipsing component of the system. Here we present new spectroscopic and photometric observations, allowing confirmation of the contact binary and improved modelling of all four eclipsing components. The detached binary is found to contain components of masses 0.837(8) and 0.674(7) M_sol, with radii of 0.832(18) and 0.669(18) R_sol and effective temperatures of 5185(-20,+25) and 4325(-15,+20) K respectively, the contact system has masses 0.86(2) and 0.341(11) M_sol, radii of 0.79(4) and 0.52(5) R_sol respectively, and a common T_eff of 4700(50) K. The fifth star is of similar temperature and spectral type to the primaries in the two binaries. Long-term photometric observations indicate the presence of a spot on one component of the detached binary, moving at an apparent rate of approximately one rotation every two years. Both binaries have consistent system velocities around -11 to -12 km/s, which match the average radial velocity of the fifth star, consistent distance estimates for both subsystems of d=78(3) and d=73(4) pc are also found, and (with some further assumptions) of d=83(9) pc for the fifth star. These findings strongly support the claim that both binaries (and very probably all five stars) are gravitationally bound in a single system. The consistent angles of inclination found for the two binaries (88.2(3) and 86(4) degrees) may also indicate that they originally formed by fragmentation (~9-10 Gyr ago) from a single protostellar disk and subsequently remained in the same orbital plane.


title: Non-Preemptive Scheduling on Machines with Setup Times

abstract: Consider the problem in which n jobs that are classified into k types are to be scheduled on m identical machines without preemption. A machine requires a proper setup taking s time units before processing jobs of a given type. The objective is to minimize the makespan of the resulting schedule. We design and analyze an approximation algorithm that runs in time polynomial in n, m and k and computes a solution with an approximation factor that can be made arbitrarily close to 3/2.


title: Effectiveness of Structural Restrictions for Hybrid CSPs

abstract: Constraint Satisfaction Problem (CSP) is a fundamental algorithmic problem that appears in many areas of Computer Science. It can be equivalently stated as computing a homomorphism $\mbox{$\bR \rightarrow \bGamma$}$ between two relational structures, e.g.\ between two directed graphs. Analyzing its complexity has been a prominent research direction, especially for {\em fixed template CSPs} in which the right side $\bGamma$ is fixed and the left side $\bR$ is unconstrained. Far fewer results are known for the {\em hybrid} setting that restricts both sides simultaneously. It assumes that $\bR$ belongs to a certain class of relational structures (called a {\em structural restriction} in this paper). We study which structural restrictions are {\em effective}, i.e.\ there exists a fixed template $\bGamma$ (from a certain class of languages) for which the problem is tractable when $\bR$ is restricted, and NP-hard otherwise. We provide a characterization for structural restrictions that are {\em closed under inverse homomorphisms}. The criterion is based on the {\em chromatic number} of a relational structure defined in this paper; it generalizes the standard chromatic number of a graph. As our main tool, we use the algebraic machinery developed for fixed template CSPs. To apply it to our case, we introduce a new construction called a "lifted language." We also give a characterization for structural restrictions corresponding to minor-closed families of graphs, extend results to certain Valued CSPs (namely conservative valued languages), and state implications for CSPs with ordered variables, (valued) CSPs on structures with large girth, and for the maximum weight independent set problem on some restricted families of graphs including graphs with large girth.


title: WISE colours and star-formation in the host galaxies of radio-loud narrow-line Seyfert 1

abstract: We investigate the mid-infrared properties of the largest (42 objects) sample of radio-loud narrow-line Seyfert 1 (RL NLS1) collected to date, using data from the Wide-field Infrared Survey Explorer (WISE). We analyse the mid-IR colours of these objects and compare them to what is expected from different combinations of AGN and galaxy templates. We find that, in general, the host-galaxy emission gives an importan contribution to the observed mid-IR flux in particular at the longest wavelengths (W3, at 12micron, and W4, at 22micron). In about half of the sources (22 objects) we observe a very red mid-IR colour (W4-W3>2.5) that can be explained only using a starburst galaxy template (M82). Using the 22micron luminosities, corrected for the AGN contribution, we have then estimated the star-formation rate for 20 of these "red" RL NLS1, finding values ranging from 10 to 500 Msun/y. For the RL NLS1 showing bluer colours, instead, we cannot exclude the presence of a star-forming host galaxy although, on average, we expect a lower star-formation rate. Studying the radio (1.4GHz) to mid-IR (22micron) flux ratios of the RL NLS1 in the sample we found that in ~10 objects the star-forming activity could represent the most important component also at radio frequencies, in addition (or in alternative) to the relativistic jet. We conclude that both the mid-IR and the radio emission of RL NLS1 are a mixture of different components, including the relativistic jet, the dusty torus and an intense star-forming activity.


title: A type of GNS-construction for Banach algebras

abstract: We show that every Banach algebra A admits a representation on a certain Banach space E. In particular, any Banach algebra A contained in autoperiodic functionals on A such that separate the points of A could be imbedded in B(E) for some reflexive Banach space E.


title: Deterministically Deterring Timing Attacks in Deterland

abstract: The massive parallelism and resource sharing embodying today's cloud business model not only exacerbate the security challenge of timing channels, but also undermine the viability of defenses based on resource partitioning. We propose hypervisor-enforced timing mitigation to control timing channels in cloud environments. This approach closes "reference clocks" internal to the cloud by imposing a deterministic view of time on guest code, and uses timing mitigators to pace I/O and rate-limit potential information leakage to external observers. Our prototype hypervisor is the first system to mitigate timing-channel leakage across full-scale existing operating systems such as Linux and applications in arbitrary languages. Mitigation incurs a varying performance cost, depending on workload and tunable leakage-limiting parameters, but this cost may be justified for security-critical cloud applications and data.