title: Finite temperature line-shapes of hard-core bosons in quantum magnets: A diagrammatic approach tested in one dimension

abstract: The dynamics in quantum magnets can often be described by effective models with bosonic excitations obeying a hard-core constraint. Such models can be systematically derived by renormalization schemes such as continuous unitary transformations or by variational approaches. Even in the absence of further interactions the hard-core constraint makes the dynamics of the hard-core bosons nontrivial. Here we develop a systematic diagrammatic approach to the spectral properties of hard-core bosons at finite temperature. Starting from an expansion in the density of thermally excited bosons in a system with an energy gap, our approach leads to a summation of ladder diagrams. Conceptually, the approach is not restricted to one dimension, but the one-dimensional case offers the opportunity to gauge the method by comparison to exact results obtained via a mapping to Jordan-Wigner fermions. In particular, we present results for the thermal broadening of single-particle spectral functions at finite temperature. The line-shape is found to be asymmetric at elevated temperatures and the band-width of the dispersion narrows with increasing temperature. Additionally, the total number of thermally excited bosons is calculated and compared to various approximations and analytic results. Thereby, a flexible approach is introduced which can also be applied to more sophisticated and higher dimensional models.


title: An Elementary Completeness Proof for Secure Two-Party Computation Primitives

abstract: In the secure two-party computation problem, two parties wish to compute a (possibly randomized) function of their inputs via an interactive protocol, while ensuring that neither party learns more than what can be inferred from only their own input and output. For semi-honest parties and information-theoretic security guarantees, it is well-known that, if only noiseless communication is available, only a limited set of functions can be securely computed; however, if interaction is also allowed over general communication primitives (multi-input/output channels), there are "complete" primitives that enable any function to be securely computed. The general set of complete primitives was characterized recently by Maji, Prabhakaran, and Rosulek leveraging an earlier specialized characterization by Kilian. Our contribution in this paper is a simple, self-contained, alternative derivation using elementary information-theoretic tools.


title: Phase memory across two single photon interferometers including wavelength conversion

abstract: Detailed investigations of single photon 1st-order interferences of separated emitters allow for analyzing the role of the mode function in quantum optics. In an earlier Young's double slit experiment using a higher spatial light mode some possibly new aspects of complementarity were demonstrated. Here the chances of using induced coherence in spontaneous down conversion (SPDC) are experimentally investigated. SPDC in a nonlinear crystal generates two single photons (signal and idler) with random, but conjugated phases. Thus no interference between them occurs. But coherence can be induced between the two separated crystals. Decreasing the pump intensity allows the generation of just one photon pair from one of the crystals during one measuring interval, resulting in 1st-order interference of single photons. Varying the phase delay between the pump beams for the two crystals results in 1st-order single photon interference but with a fringe period of about half of the photon wavelength. This phase memory effect causes coherence across the two coupled interferometers. And even for pump photon delays much larger than the coherence length of the detected single photons the visibility is above 90 percent. Therefore this phase memory is a useful tool for investigating the wave-particle dualism in future experiments.


title: A call for a paradigm shift from neutrino-driven to jet-driven core-collapse supernova mechanisms

abstract: Three-dimensional (3D) simulations in recent years have shown severe difficulties producing 10^51 erg explosions of massive stars with neutrino based mechanisms while on the other hand demonstrated the large potential of mechanical effects, such as winds and jets in driving explosions. In this paper we study the typical time-scale and energy for accelerating gas by neutrinos in core-collapse supernovae (CCSNe) and find that under the most extremely favorable (and probably unrealistic) conditions, the energy of the ejected mass can reach at most 5X10^50 erg. More typical conditions yield explosion energies an order-of-magnitude below the observed 10^51 erg explosions. On the other hand, non-spherical effects with directional outflows hold promise to reach the desired explosion energy and beyond. Such directional outflows, which in some simulations are produced by numerical effects of 2D grids, can be attained by angular momentum and jet launching. Our results therefore call for a paradigm shift from neutrino-based explosions to jet-driven explosions for CCSNe.


title: A Riccati equation based approach to isotropic scalar field cosmologies

abstract: Gravitationally coupled scalar fields $\phi $, distinguished by the choice of an effective self-interaction potential $V(\phi )$, simulating a temporarily non-vanishing cosmological term, can generate both inflation and late time acceleration. In scalar field cosmological models the evolution of the Hubble function is determined, in terms of the interaction potential, by a Riccati type equation. In the present work we investigate scalar field cosmological models that can be obtained as solutions of the Riccati evolution equation for the Hubble function. Four exact integrability cases of the field equations are presented, representing classes of general solutions of the Riccati evolution equation. The solutions correspond to cosmological models in which the Hubble function is proportional to the scalar field potential plus a linearly decreasing function of time, models with the time variation of the scalar field potential proportional to the potential minus its square, models in which the potential is the sum of an arbitrary function and the square of the function integral, and models in which the potential is the sum of an arbitrary function and the derivative of its square root, respectively. The cosmological properties of all models are investigated in detail, and it is shown that they can describe the inflationary or the late accelerating phase in the evolution of the Universe


title: Morphing Planar Graph Drawings Optimally

abstract: We provide an algorithm for computing a planar morph between any two planar straight-line drawings of any $n$-vertex plane graph in $O(n)$ morphing steps, thus improving upon the previously best known $O(n^2)$ upper bound. Further, we prove that our algorithm is optimal, that is, we show that there exist two planar straight-line drawings $\Gamma_s$ and $\Gamma_t$ of an $n$-vertex plane graph $G$ such that any planar morph between $\Gamma_s$ and $\Gamma_t$ requires $\Omega(n)$ morphing steps.


title: Classical Limit of the Quantum Zeno Effect by Environmental Decoherence

abstract: We consider a point particle in one dimension initially confined to a finite spatial region whose state is frequently monitored by projection operators onto that region. In the limit of infinitely frequent monitoring, the state never escapes from the region -- this is the Zeno effect. The aim of this paper is to show how the Zeno effect disappears in the classical limit in this and similar examples. We give a general argument showing that the Zeno effect is suppressed in the presence of a decoherence mechanism which kills interference between histories. We show how this works explicitly by coupling to a decohering environment. Smoothed projectors are required to give the problem proper definition and this implies the existence of a momentum cutoff. We show that the escape rate from the region approaches the classically expected result, and hence the Zeno effect is suppressed, as long as the environmentally-induced fluctuations in momentum are sufficiently large and we establish the associated timescale. We link our results to earlier work on the hbar -->0 limit of the Zeno effect. We illustrate our results by plotting the probability flux lines for the density matrix (which are equivalent to Bohm trajectories in the pure state case). These illustrate both the Zeno and anti-Zeno effects very clearly, and their suppression. Our results are closely related to our earlier paper demonstrating the suppression of quantum-mechanical reflection by decoherence


title: Stochastic analysis of ocean wave states with and without rogue waves

abstract: This work presents an analysis of ocean wave data including rogue waves. A stochastic approach based on the theory of Markov processes is applied. With this analysis we achieve a characterization of the scale dependent complexity of ocean waves by means of a Fokker-Planck equation, providing stochastic information of multi-scale processes. In particular we show evidence of Markov properties for increment processes, which means that a three point closure for the complexity of the wave structures seems to be valid. Furthermore we estimate the parameters of the Fokker-Planck equation by parameter-free data analysis. The resulting Fokker-Planck equations are verified by numerical reconstruction. This work presents a new approach where the coherent structure of rogue waves seems to be integrated into the fundamental statistics of complex wave states.


title: Temperature-dependent scanning tunneling spectroscopy on the Si(557)-Au surface

abstract: Room-temperature and low-temperature (77 K) scanning tunneling spectroscopy (STS) and voltage-dependent scanning tunneling microscopy (STM) data are used to study the local electronic properties of the quasi-one-dimensional Si(557)-Au surface in real space. A gapped local electron density of states near the Gamma-point is observed at different positions of the surface, i.e., at protrusions arising from Si adatoms and step-edge atoms. Within the gap region, two distinct peaks are observed on the chain of localized protrusions attributed to Si adatoms. The energy gap widens on both types of protrusions after cooling from room temperature to T = 77 K. The temperature dependence of the local electronic properties can therefore not be attributed to a Peierls transition occurring for the step edge only. We suggest that more attention should be paid to finite-size effects on the one-dimensional segments.


title: Algebraic characterization of approximate controllability of behaviours of spatially invariant systems

abstract: An algebraic characterization of the property of approximate controllability is given, for behaviours of spatially invariant dynamical systems, consisting of distributional solutions, that are periodic in the spatial variables, to a system of homogeneous, linear, constant coefficient partial differential equations corresponding to a polynomial matrix.


title: Bright subcycle XUV pulse from a single dense relativistic electron sheet

abstract: Relativistic electrons are prodigious sources of photons. Beyond classical accelerators, ultra-intense laser interactions are of particular interest as they allow the coherent motion of relativistic electrons to be controlled and exploited as sources of radiation. Under extreme laser conditions theory predicts that isolated free relativistic electron sheets (FRES) can be produced and exploited for the production of a new class of radiation - unipolar extreme ultraviolet(XUV) pulses. However, the combination of extremely rapid rise-time and highest peak intensity in these simulations is still beyond current laser technology. We demonstrate a route to isolated FRES with existing lasers by exploiting relativistic transparency to produce an ultra-intense pulse with a steep rise time. When such an FRES interacts with a second, oblique target foil the electron sheet is rapidly accelerated ('kicked'). The radiation signature and simulations demonstrate that a single, nanometer thick FRES was produced. The experimental observations together with our theoretical modeling suggest the production of the first unipolar (half-cycle) pulse in the XUV - an achievement that has so far only been realized in the terahertz spectral domain.


title: FPTAS for Weighted Fibonacci Gates and Its Applications

abstract: Fibonacci gate problems have severed as computation primitives to solve other problems by holographic algorithm and play an important role in the dichotomy of exact counting for Holant and CSP frameworks. We generalize them to weighted cases and allow each vertex function to have different parameters, which is a much boarder family and #P-hard for exactly counting. We design a fully polynomial-time approximation scheme (FPTAS) for this generalization by correlation decay technique. This is the first deterministic FPTAS for approximate counting in the general Holant framework without a degree bound. We also formally introduce holographic reduction in the study of approximate counting and these weighted Fibonacci gate problems serve as computation primitives for approximate counting. Under holographic reduction, we obtain FPTAS for other Holant problems and spin problems. One important application is developing an FPTAS for a large range of ferromagnetic two-state spin systems. This is the first deterministic FPTAS in the ferromagnetic range for two-state spin systems without a degree bound. Besides these algorithms, we also develop several new tools and techniques to establish the correlation decay property, which are applicable in other problems.


title: A convergence proof of the split Bregman method for regularized least-squares problems

abstract: The split Bregman (SB) method [T. Goldstein and S. Osher, SIAM J. Imaging Sci., 2 (2009), pp. 323-43] is a fast splitting-based algorithm that solves image reconstruction problems with general l1, e.g., total-variation (TV) and compressed sensing (CS), regularizations by introducing a single variable split to decouple the data-fitting term and the regularization term, yielding simple subproblems that are separable (or partially separable) and easy to minimize. Several convergence proofs have been proposed, and these proofs either impose a "full column rank" assumption to the split or assume exact updates in all subproblems. However, these assumptions are impractical in many applications such as the X-ray computed tomography (CT) image reconstructions, where the inner least-squares problem usually cannot be solved efficiently due to the highly shift-variant Hessian. In this paper, we show that when the data-fitting term is quadratic, the SB method is a convergent alternating direction method of multipliers (ADMM), and a straightforward convergence proof with inexact updates is given using [J. Eckstein and D. P. Bertsekas, Mathematical Programming, 55 (1992), pp. 293-318, Theorem 8]. Furthermore, since the SB method is just a special case of an ADMM algorithm, it seems likely that the ADMM algorithm will be faster than the SB method if the augmented Largangian (AL) penalty parameters are selected appropriately. To have a concrete example, we conduct a convergence rate analysis of the ADMM algorithm using two splits for image restoration problems with quadratic data-fitting term and regularization term. According to our analysis, we can show that the two-split ADMM algorithm can be faster than the SB method if the AL penalty parameter of the SB method is suboptimal. Numerical experiments were conducted to verify our analysis.


title: Estimating the size and distribution of networked populations with snowball sampling

abstract: A new strategy is introduced for estimating population size and networked population characteristics. Sample selection is based on a multi-wave snowball sampling design. A generalized stochastic block model is posited for the population's network graph. Inference is based on a Bayesian data augmentation procedure. Applications are provided to an empirical and simulated populations. The results demonstrate that statistically efficient estimates of the size and distribution of the population can be achieved.


title: A comment on: "Further restrictions on the structure of finite DCI-groups"

abstract: A finite group R is a CI-group if, whenever S and T are subsets of R with the Cayley graphs Cay(R,S) and Cay(R,T) isomorphic, there exists an automorphism x of R with S^x=T. The classification of CI-groups is an open problem in the theory of Cayley graphs and is closely related to the isomorphism problem for graphs. This paper is a contribution towards this classification, as we show that every dihedral group of order 6p, with p>3 prime, is a CI-group.


title: Electronic friction for a slow molecule in a metal

abstract: In a previous contribution, we have set up the framework for the calculation of electronic friction for a slow atom traveling through a metal. We provide in the present work a generalization to the case of polyatomic molecules. This formulation is restricted to those molecular degrees of freedom for which a semi-classical treatment of friction is valid.


title: Higher order dark matter annihilations in the Sun and implications for IceCube

abstract: Dark matter particles captured in the Sun would annihilate producing a neutrino flux that could be detected at the Earth. In some channels, however, the neutrino flux lies in the MeV range and is thus undetectable at IceCube, namely when the dark matter particles annihilate into $e^+e^-$, $\mu^+\mu^-$ or light quarks. On the other hand, the same interaction that mediates the annihilations into light fermions also leads, via higher order effects, to the production of weak gauge bosons (and in the case of quarks also gluons) that generate a high energy neutrino flux potentially observable at IceCube. We consider in this paper tree level annihilations into a fermion-antifermion pair with the associated emission of one gauge boson and one loop annihilations into two gauge bosons, and we calculate the limits on the scattering cross section of dark matter particles with protons in scenarios where the dark matter particle couples to electrons, muons or light quarks from the non-observation of an excess of neutrino events in the direction of the Sun. We find that the limits on the spin-dependent scattering cross section are, for some scenarios, stronger than the limits from direct detection experiments.


title: On Coloring Resilient Graphs

abstract: We introduce a new notion of resilience for constraint satisfaction problems, with the goal of more precisely determining the boundary between NP-hardness and the existence of efficient algorithms for resilient instances. In particular, we study $r$-resiliently $k$-colorable graphs, which are those $k$-colorable graphs that remain $k$-colorable even after the addition of any $r$ new edges. We prove lower bounds on the NP-hardness of coloring resiliently colorable graphs, and provide an algorithm that colors sufficiently resilient graphs. We also analyze the corresponding notion of resilience for $k$-SAT. This notion of resilience suggests an array of open questions for graph coloring and other combinatorial problems.


title: Two Predualities and Three Operators over Analytic Campanato Spaces

abstract: This article is devoted to not only characterizing the first and second preduals of the analytic Campanato spaces ($\mathcal{CA}_p)$ on the unit disk, but also investigating boundedness of three operators: superposition ($\mathsf{S}^\phi$); backward shift ($\mathsf{S_b}$); Schwarzian derivative ($\mathsf{S}$), acting on $\mathcal{CA}_p$.


title: Dynnikov and train track transition matrices of pseudo-Anosov braids

abstract: We compare the spectra of Dynnikov matrices with the spectra of the train track transition matrices of a given pseudo-Anosov braid on the finitely punctured disk, and show that these matrices are isospectral up to roots of unity and zeros under some particular conditions.


title: Resolvent expansion and time decay of the wave functions for two-dimensional magnetic Schroedinger operators

abstract: We consider two-dimensional Schroedinger operators with magnetic field. Under certain regularity and decay assumptions on the magnetic and electric field we show that the behavior of the corresponding resolvent at threshold and the behavior of the unitary group for large times are determined by the total flux of the associated magnetic field.


title: A Comparative Study of Machine Learning Methods for Verbal Autopsy Text Classification

abstract: A Verbal Autopsy is the record of an interview about the circumstances of an uncertified death. In developing countries, if a death occurs away from health facilities, a field-worker interviews a relative of the deceased about the circumstances of the death; this Verbal Autopsy can be reviewed off-site. We report on a comparative study of the processes involved in Text Classification applied to classifying Cause of Death: feature value representation; machine learning classification algorithms; and feature reduction strategies in order to identify the suitable approaches applicable to the classification of Verbal Autopsy text. We demonstrate that normalised term frequency and the standard TFiDF achieve comparable performance across a number of classifiers. The results also show Support Vector Machine is superior to other classification algorithms employed in this research. Finally, we demonstrate the effectiveness of employing a "locally-semi-supervised" feature reduction strategy in order to increase performance accuracy.


title: Fast X-ray CT image reconstruction using the linearized augmented Lagrangian method with ordered subsets

abstract: The augmented Lagrangian (AL) method that solves convex optimization problems with linear constraints has drawn more attention recently in imaging applications due to its decomposable structure for composite cost functions and empirical fast convergence rate under weak conditions. However, for problems such as X-ray computed tomography (CT) image reconstruction and large-scale sparse regression with "big data", where there is no efficient way to solve the inner least-squares problem, the AL method can be slow due to the inevitable iterative inner updates. In this paper, we focus on solving regularized (weighted) least-squares problems using a linearized variant of the AL method that replaces the quadratic AL penalty term in the scaled augmented Lagrangian with its separable quadratic surrogate (SQS) function, thus leading to a much simpler ordered-subsets (OS) accelerable splitting-based algorithm, OS-LALM, for X-ray CT image reconstruction. To further accelerate the proposed algorithm, we use a second-order recursive system analysis to design a deterministic downward continuation approach that avoids tedious parameter tuning and provides fast convergence. Experimental results show that the proposed algorithm significantly accelerates the "convergence" of X-ray CT image reconstruction with negligible overhead and greatly reduces the OS artifacts in the reconstructed image when using many subsets for OS acceleration.


title: The Wigner time delay for laser induced tunnel-ionization via the electron propagator

abstract: Recent attoclock experiments using the attsecond angular streaking technique enabled the measurement of the tunneling time delay during laser induced strong field ionization. Theoretically the tunneling time delay is commonly modelled by the Wigner time delay concept which is derived from the derivative of the electron wave function phase with respect to energy. Here, we present an alternative method for the calculation of the Wigner time delay by using the fixed energy propagator. The developed formalism is applied to the nonrelativistic as well as to the relativistic regime of the tunnel-ionization process from a zero-range potential, where in the latter regime the propagator can be given by means of the proper-time method.


title: Families of Calabi-Yau elliptic fibrations in $\mathbb{P}(\mathcal{L}^a \oplus \mathcal{L}^b \oplus \mathcal{O}_B)$

abstract: Let $B$ be a smooth projective surface, and $\mathcal{L}$ an ample line bundle on $B$. The aim of this parer is to study the families of elliptic Calabi--Yau threefolds sitting in the bundle $\mathbb{P}(\mathcal{L}^a \oplus \mathcal{L}^b \oplus \mathcal{O}_B)$ as anticanonical divisors. We will show that the number of such families is finite.


title: A finiteness property on monodromies of holomorphic families

abstract: Given a Kahler group, we study the set of homomorphisms from this group to the mapping class group which can be realized as the monodromy of a holomorphic family of curves.


title: Estimating the resolution limit of the map equation in community detection

abstract: A community detection algorithm is considered to have a resolution limit if the scale of the smallest modules that can be resolved depends on the size of the analyzed subnetwork. The resolution limit is known to prevent some community detection algorithms from accurately identifying the modular structure of a network. In fact, any global objective function for measuring the quality of a two-level assignment of nodes into modules must have some sort of resolution limit or an external resolution parameter. However, it is yet unknown how the resolution limit affects the so-called map equation, which is known to be an efficient objective function for community detection. We derive an analytical estimate and conclude that the resolution limit of the map equation is set by the total number of links between modules instead of the total number of links in the full network as for modularity. This mechanism makes the resolution limit much less restrictive for the map equation than for modularity, and in practice orders of magnitudes smaller. Furthermore, we argue that the effect of the resolution limit often results from shoehorning multi-level modular structures into two-level descriptions. As we show, the hierarchical map equation effectively eliminates the resolution limit for networks with nested multi-level modular structures.


title: Heat transfer in the flow of a cold, axisymmetric vertical liquid jet against a hot, horizontal plate

abstract: The paper considers the heat transfer characteristics of a thin film flow over a hot horizontal flat plate resulting from a cold vertical liquid jet falling onto a surface. A numerical solution of high accuracy is obtained for large Reynolds numbers using the modified Keller box method. For the flat plate, solutions for axisymmetric jets are obtained. In parallel approximation theory, an advanced polynomial approximation of the velocity and temperature distributions is employed, and results are in good agreement with those obtained using a simple Pohlhausen polynomial and numerical solutions.


title: Transient free-surface waves due to impulsive motion of a submerged source

abstract: The problem of a viscous flow past a submerged source starting from rest and moving with a constant velocity, below and parallel to a free surface is examined. Asymptotic expressions for long-time evolution of free-surface elevation are obtained. The results show explicitly the viscous effect on the free-surface elevation and no surface tension effect on the asymptotic wave.


title: Automatic Detection of Font Size Straight from Run Length Compressed Text Documents

abstract: Automatic detection of font size finds many applications in the area of intelligent OCRing and document image analysis, which has been traditionally practiced over uncompressed documents, although in real life the documents exist in compressed form for efficient storage and transmission. It would be novel and intelligent if the task of font size detection could be carried out directly from the compressed data of these documents without decompressing, which would result in saving of considerable amount of processing time and space. Therefore, in this paper we present a novel idea of learning and detecting font size directly from run-length compressed text documents at line level using simple line height features, which paves the way for intelligent OCRing and document analysis directly from compressed documents. In the proposed model, the given mixed-case text documents of different font size are segmented into compressed text lines and the features extracted such as line height and ascender height are used to capture the pattern of font size in the form of a regression line, using which the automatic detection of font size is done during the recognition stage. The method is experimented with a dataset of 50 compressed documents consisting of 780 text lines of single font size and 375 text lines of mixed font size resulting in an overall accuracy of 99.67%.


title: A Coronal Hole Jet Observed with Hinode and the Solar Dynamics Observatory

abstract: A small blowout jet was observed at the boundary of the south polar coronal hole on 2011 February 8 at around 21:00 UT. Images from the Atmospheric Imaging Assembly (AIA) on board the Solar Dynamics Observatory (SDO) revealed an expanding loop rising from one footpoint of a compact, bipolar bright point. Magnetograms from the Helioseismic Magnetic Imager (HMI) on board SDO showed that the jet was triggered by the cancelation of a parasitic positive polarity feature near the negative pole of the bright point. The jet emission was present for 25 mins and it extended 30 Mm from the bright point. Spectra from the EUV Imaging Spectrometer on board Hinode yielded a temperature and density of 1.6 MK and 0.9-1.7 x 10^8 cm^-3 for the ejected plasma. Line-of-sight velocities reached up to 250 km/s and were found to increase with height, suggesting plasma acceleration within the body of the jet. Evidence was found for twisting motions within the jet based on variations of the LOS velocities across the jet width. The derived angular speed was in the range 9-12 x 10^-3 rad s^-1, consistent with previous measurements from jets. The density of the bright point was 7.6 x 10^8 cm^-3, and the peak of the bright point's emission measure occurred at 1.3 MK, with no plasma above 3 MK.


title: Transitions in the quantum computational power

abstract: We construct two spin models on lattices (both two and three-dimensional) to study the capability of quantum computational power as a function of temperature and the system parameter. There exists a finite region in the phase diagram such that the thermal equilibrium states are capable of providing a universal fault-tolerant resource for measurement-based quantum computation. Moreover, in such a region the thermal resource states on the 3D lattices can enable topological protection for quantum computation. The two models behave similarly in terms of quantum computational power. However, they have different properties in terms of the usual phase transitions. The first model has a first-order phase transition only at zero temperature whereas there is no transition at all in the second model. Interestingly, the transition in the quantum computational power does not coincide with the phase transition in the first model.


title: Prediction and analysis of tides and tidal currents

abstract: An efficient algorithm of tidal harmonic analysis and prediction is presented in this paper. Some conditions are found by means of the known approximate relationships between the harmonic constants of the tidal constituents. A system of linear equations for least squares solutions under these restricted conditions is obtained. In the case of inadequate data, ill conditioning in the system of equations that has appeared in other algorithms is conveniently avoided. In solving the resultant normal equations, the Goertzel iteration is adopted so that the whole computation time is dramatically reduced.


title: Nonlinear dynamics of system oscillations modeled by a forced Van der Pol generalized oscillator

abstract: This paper considers the oscillations modeled by a forced Van der Pol generalized oscillator. These oscillations are described by a nonlinear differential equation of the form $ \ddot{x}+x-\varepsilon\left(1-ax^2-b\dot{x}^2\right)\dot{x}=E\sin{{\Omega}t}.$ The amplitudes of the forced harmonic, primary resonance superharmonic and subharmonic oscillatory states are obtained using the harmonic balance technique and the multiple time scales methods. We obtain also the hysteresis and jump phenomena in the system oscillations. Bifurcation sequences displayed by the model for each type of oscillatory states are performed numerically through the fourth-order Runge- Kutta scheme.


title: Viruses and Fullerenes - Symmetry as a Common Thread?

abstract: We apply here the principle of affine symmetry to the nested fullerene cages (carbon onions) that arise in the context of carbon chemistry. Previous work on affine extensions of the icosahedral group has revealed a new organisational principle in virus structure and assembly. We adapt this group theoretic framework here to the physical requirements dictated by carbon chemistry, and show that we can derive mathematical models for carbon onions within this affine symmetry approach. This suggests the applicability of affine symmetry in a wider context in Nature, as well as offering a novel perspective on the geometric principles underpinning carbon chemistry.

categories: math-ph cond-mat.other math.MP physics.bio-ph physics.chem-ph


title: Outline of a Generalization and a Reinterpretation of Quantum Mechanics Recovering Objectivity

abstract: The ESR model has been recently proposed in several papers to offer a possible solution of the problems raising from the nonobjectivity of physical properties in quantum mechanics (QM) (mainly the objectification problem of the quantum theory of measurement). This solution is obtained by embodying the mathematical formalism of QM into a broader mathematical framework and reinterpreting quantum probabilities as conditional on detection rather than absolute. We provide a new and more general formulation of the ESR model and discuss time evolution according to it, pointing out in particular that both linear and nonlinear evolution may occur, depending on the physical environment.


title: Novel layout for reflective arrayed waveguide gratings based on Sagnac loop reflectors with custom spectral response

abstract: A novel layout for a reflective Arrayed Waveguide Grating is presented in this paper. The device consists of one half of a regular AWG where each arm waveguide in the array is terminated with a phase shifter and a Sagnac loop reflector. The theoretical model to describe and design the spectral response of this device is derivated. By individually adjusting the phase shifter and Sagnac reflectivity in each arm, this layout allows for tailoring the spectral response of the AWG. Design cases of Silicon-on-Insulator AWG devices with Gaussian and flattened response are provided.


title: Interplay of growth mode and thermally induced spin accumulation in epitaxial Al/Co$_2$TiSi/Al and Al/Co$_2$TiGe/Al contacts

abstract: The feasibility of thermally driven spin injectors built from half-metallic Heusler alloys inserted between aluminum leads was investigated by means of {\em ab initio} calculations of the thermodynamic equilibrium and electronic transport. We have focused on two main issues and found that: (i) the interface between Al and the closely lattice-matched Heusler alloys of type Co$_2$Ti$Z$ ($Z=$ Si or Ge) is stable under various growth conditions; and (ii) the conventional and spin-dependent Seebeck coefficients in such heterojunctions exhibit a strong dependence on both the spacer and the atomic composition of the Al/Heusler interface. The latter quantity gives a measure of the spin accumulation and varies between $+8$~$\mu$V/K and $-3$~$\mu$V/K near $300$~K, depending on whether a Ti-Ge or a Co-Co plane makes the contact between Al and Co$_2$TiGe in the trilayer. Our results show that it is in principle possible to tailor the spin-caloric effects by a targeted growth control of the samples.


title: Factorization theory: From commutative to noncommutative settings

abstract: We study the non-uniqueness of factorizations of non zero-divisors into atoms (irreducibles) in noncommutative rings. To do so, we extend concepts from the commutative theory of non-unique factorizations to a noncommutative setting. Several notions of factorizations as well as distances between them are introduced. In addition, arithmetical invariants characterizing the non-uniqueness of factorizations such as the catenary degree, the $\omega$-invariant, and the tame degree, are extended from commutative to noncommutative settings. We introduce the concept of a cancellative semigroup being permutably factorial, and characterize this property by means of corresponding catenary and tame degrees. Also, we give necessary and sufficient conditions for there to be a weak transfer homomorphism from a cancellative semigroup to its reduced abelianization. Applying the abstract machinery we develop, we determine various catenary degrees for classical maximal orders in central simple algebras over global fields by using a natural transfer homomorphism to a monoid of zero-sum sequences over a ray class group. We also determine catenary degrees and the permutable tame degree for the semigroup of non zero-divisors of the ring of $n \times n$ upper triangular matrices over a commutative domain using a weak transfer homomorphism to a commutative semigroup.


title: Phonon Interference and Thermal Conductance Reduction in Atomic-Scale Metamaterials

abstract: We introduce and model a three-dimensional (3D) atomic-scale phononic metamaterial producing two-path phonon interference antiresonances to control the heat flux spectrum. We show that a crystal plane partially embedded with defect-atom arrays can completely reflect phonons at the frequency prescribed by masses and interaction forces. We emphasize the predominant role of the second phonon path and destructive interference in the origin of the total phonon reflection and thermal conductance reduction in comparison with the Fano-resonance concept. The random defect distribution in the plane and the anharmonicity of atom bonds do not deteriorate the antiresonance. The width of the antiresonance dip can provide a measure of the coherence length of the phonon wave packet. All our conclusions are confirmed both by analytical studies of the equivalent quasi-1D lattice models and by numerical molecular dynamics simulations of realistic 3D lattices.


title: Polynomial loss of memory for maps of the interval with a neutral fixed point

abstract: We give an example of a sequential dynamical system consisting of intermittent-type maps which exhibits loss of memory with a polynomial rate of decay. A uniform bound holds for the upper rate of memory loss. The maps may be chosen in any sequence, and the bound holds for all compositions.


title: On the keV sterile neutrino search in electron capture

abstract: A joint effort of cryogenic microcalorimetry (CM) and high-precision Penning-trap mass spectrometry (PT-MS) in investigating atomic orbital electron capture (EC) can shed light on the possible existence of heavy sterile neutrinos with masses from 0.5 to 100 keV. Sterile neutrinos are expected to perturb the shape of the atomic de-excitation spectrum measured by CM after a capture of the atomic orbital electrons by a nucleus. This effect should be observable in the ratios of the capture probabilities from different orbits. The sensitivity of the ratio values to the contribution of sterile neutrinos strongly depends on how accurately the mass difference between the parent and the daughter nuclides of EC-transitions can be measured by, e.g., PT-MS. A comparison of such probability ratios in different isotopes of a certain chemical element allows one to exclude many systematic uncertainties and thus could make feasible a determination of the contribution of sterile neutrinos on a level below 1%. Several electron capture transitions suitable for such measurements are discussed.


title: Antiferromagnetic ground state in NpCoGe

abstract: NpCoGe, the neptunium analogue of the ferromagnetic superconductor UCoGe, has been investigated by dc-magnetization, ac-susceptibility, specific heat, electrical resistivity, Hall effect, 237Np Moessbauer spectroscopy and LSDA calculations. NpCoGe exhibits an antiferromagnetic ground state with a Neel temperature TN = 13 K and an average ordered magnetic moment <mNp> = 0.80 mB. The magnetic phase diagram has been determined and shows that the antiferromagnetic structure is destroyed by the application of a magnetic field (around 3 T). The value of the isomer shift suggests a Np3+ charge state (configuration 5f4). A high Sommerfeld coefficient value for NpCoGe (170 mJ mol-1K-2) is inferred from specific heat. LSDA calculations indicate strong magnetic anisotropy and easy magnetization along the c-axis. Moessbauer data and calculated exchange interactions support the possible occurrence of an elliptical spin spiral structure in NpCoGe. The comparison with NpRhGe and uranium analogues suggests the leading role of 5f-d hybridization, the rather delocalized character of 5f electrons in NpCoGe and the possible proximity of NpRuGe or NpFeGe to a magnetic quantum critical point.


title: Ermakov-Lewis Invariants and Reid Systems

abstract: Reid's m'th-order generalized Ermakov systems of nonlinear coupling constant alpha are equivalent to an integrable Emden-Fowler equation. The standard Ermakov-Lewis invariant is discussed from this perspective, and a closed formula for the invariant is obtained for the higher-order Reid systems (m\geq 3). We also discuss the parametric solutions of these systems of equations through the integration of the Emden-Fowler equation and present an example of a dynamical system for which the invariant is equivalent to the total energy


title: Dark-matter halo mergers as a fertile environment for low-mass Population III star formation

abstract: While Population III stars are typically thought to be massive, pathways towards lower-mass Pop III stars may exist when the cooling of the gas is particularly enhanced. A possible route is enhanced HD cooling during the merging of dark-matter halos. The mergers can lead to a high ionization degree catalysing the formation of HD molecules and may cool the gas down to the cosmic microwave background (CMB) temperature. In this paper, we investigate the merging of mini-halos with masses of a few 10$^5$ M$_\odot$ and explore the feasibility of this scenario. We have performed three-dimensional cosmological hydrodynamics calculations with the ENZO code, solving the thermal and chemical evolution of the gas by employing the astrochemistry package KROME. Our results show that the HD abundance is increased by two orders of magnitude compared to the no-merging case and the halo cools down to $\sim$60 K triggering fragmentation. Based on Jeans estimates the expected stellar masses are about 10 M$_\odot$. Our findings show that the merging scenario is a potential pathway for the formation of low-mass stars.


title: Controlled Smooth Edge Formation of Graphene Nanoribbons

abstract: We report energy estimated to dissociate a C-C bond of a graphene sheet to form nanoribbons of armchair and zigzag configurations using first principles calculations. For the ground state energy calculations, the configurations considered are with spin, and without spin polarization. It is observed that the energy required to dissociate a C-C bond of a graphene sheet to form zigzag configuration is higher than that of armchair configuration for both spin polarized state, as well as non-spin polarized state. Therefore, formation of smooth edged graphene nanoribbons along the crystallographic directions might be engineered by a control over energy.


title: Slavnov-Taylor Identity for the Effective Field Theory of the Color Glass Condensate

abstract: We show that a powerful Slavnov-Taylor (ST) identity exists for the Effective Field Theory (EFT) of the Color Glass Condensate (CGC), allowing to control by purely algebraic means the full dependence on the background fields of the fast gluon modes, as well as the correlators of the quantum fluctuations of the classical gluon source. We use this formalism to study the change of the background fast modes (in the Coulomb gauge), induced by the quantum corrections of the semi-fast gluons. We establish the evolution equation for the EFT of the CGC, which points towards an algebraic derivation of the JIMWLK equation. Being based on symmetry-arguments only, the approach can be used to extend the analysis to arbitrary gauges and to higher orders in the perturbation expansion of the EFT.


title: Limite de diffusion lin\'eaire pour un syst\`eme d\'eterministe de sph\`eres dures

abstract: We provide a rigorous derivation of the brownian motion as the hydrodynamic limit of a deterministic system of hard-spheres as the number of particles $N$ goes to infinity and their diameter $\varepsilon$ simultaneously goes to $0,$ in the fast relaxation limit $N\varepsilon^{d-1}\to \infty $ (with a suitable scaling of the observation time and length). As suggested by Hilbert in his sixth problem, we use Boltzmann's kinetic theory as an intermediate level of description for the gas close to global equilibrium. Our proof relies on the fundamental ideas of Lanford. The main novelty is the detailed study of the branching process, leading to explicit estimates on pathological collision trees.


title: Tutorial on loop integrals which need regularisation but yield finite results

abstract: In this pedagogical note I will discuss one-loop integrals, where (i) different regions of the integration region lead to divergences and (ii) where these divergences cancel in the sum over all regions. These integrals cannot be calculated without regularisation, in spite of the fact that they yield a finite result. A typical example where such integrals occur is the decay H --> gamma gamma.


title: Data analysis Pipeline for EChO end-to-end simulations

abstract: Atmospheric spectroscopy of extrasolar planets is an intricate business. Atmospheric signatures typically require a photometric precision of $1 \times 10^{-4}$ in flux over several hours. Such precision demands high instrument stability as well as an understanding of stellar variability and an optimal data reduction and removal of systematic noise. In the context of the EChO mission concept, we here discuss the data reduction and analysis pipeline developed for the EChO end-to-end simulator EChOSim. We present and discuss the step by step procedures required in order to obtain the final exoplanetary spectrum from the EChOSim`raw data' using a simulated observation of the secondary eclipse of the hot-Neptune 55 Cnc e.


title: Entanglement Measures in Ion-Trap Quantum Simulators without Full Tomography

abstract: We propose a quantum algorithm in an embedding ion-trap quantum simulator for the efficient computation of N-qubit entanglement monotones without the necessity of full tomography. Moreover, we discuss possible realistic scenarios and study the associated decoherence mechanisms.

categories: quant-ph cond-mat.mes-hall cond-mat.quant-gas cond-mat.supr-con


title: A Novel Approach for Canvas Accessibility Problem in HTML5

abstract: Canvas is a pixel-based inherently inaccessible element in HTML5.Therefore web users with vision disabilities cannot benefit from Canvas and its desired semantics and functionality. Regarding to the Canvas application in designing interactive graphical user interface, vision-impaired users may miss important information on web sites. This paper utilizes the content-based image retrieval (CBIR) technique as well as code mapping embedded in a Firefox extension to present a novel approach in order to make Canvas interactive user interface accessible. This extension replaces Canvas with an accessible equivalent HTML environment. Unlike previously done works on Canvas accessibility, the proposed approach does not impose any rules on developers and designers during Canvas design.


title: Finite generation in $C^\ast$-algebras and Hilbert $C^\ast$-modules

abstract: We characterize $C^*$-algebras and $C^*$-modules such that every maximal right ideal (resp. right submodule) is algebraically finitely generated. In particular, $C^*$-algebras satisfy the Dales--\.Zelazko conjecture.


title: High-energy QCD evolution from Slavnov-Taylor identity

abstract: We clarify the derivation of high-energy QCD evolution equations from the fundamental gauge symmetry of QCD. The gauge-fixed classical action of the Color Glass Condensate (CGC) is shown to be invariant under a suitable BRST symmetry, that holds after the separation of the gluon modes into their fast classical (background) part, the soft component and the semifast one, over which the one-step quantum evolution is carried out. The resulting Slavnov-Taylor (ST) identity holds to all orders in perturbation theory and strongly constrains the CGC effective field theory (EFT) arising from the integration of the soft modes. We show that the ST identity guarantees gauge-invariance of the EFT. It also allows to control the dependence on the gauge-fixing choice for the semifast modes (usually the lightcone gauge in explicit computations). The formal properties of the evolution equations valid in different regimes (BKFL, JIMWLK, ...) can be all derived in a unified setting within this algebraic approach.


title: Towards Ultra Rapid Restarts

abstract: We observe a trend regarding restart strategies used in SAT solvers. A few years ago, most state-of-the-art solvers restarted on average after a few thousands of backtracks. Currently, restarting after a dozen backtracks results in much better performance. The main reason for this trend is that heuristics and data structures have become more restart-friendly. We expect further continuation of this trend, so future SAT solvers will restart even more rapidly. Additionally, we present experimental results to support our observations.


title: Smooth coalgebra: testing vector analysis

abstract: Processes are often viewed as coalgebras, with the structure maps specifying the state transitions. In the simplest case, the state spaces are discrete, and the structure map simply takes each state to the next states. But the coalgebraic view is also quite effective for studying processes over structured state spaces, e.g. measurable, or continuous. In the present paper we consider coalgebras over manifolds. This means that the captured processes evolve over state spaces that are not just continuous, but also locally homeomorphic to Banach spaces, and thus carry a differential structure. Both dynamical systems and differential forms arise as coalgebras over such state spaces, for two different endofunctors over manifolds. A duality induced by these two endofunctors provides a formal underpinning for the informal geometric intuitions linking differential forms and dynamical systems in the various practical applications, e.g. in physics. This joint functorial reconstruction of tangent bundles and cotangent bundles uncovers the universal properties and a high level view of these fundamental structures, which are implemented rather intricately in their standard form. The succinct coalgebraic presentation provides unexpected insights even about the situations as familiar as Newton's laws.


title: A note on the strong formulation of stochastic control problems with model uncertainty

abstract: We consider a Markovian stochastic control problem with model uncertainty. The controller (intelligent player) observes only the state, and, therefore, uses feed-back (closed-loop) strategies. The adverse player (nature) who does not have a direct interest in the pay-off, chooses open-loop controls that parametrize Knightian uncertainty. This creates a two-step optimization problem (like half of a game) over feed-back strategies and open-loop controls. The main result is to show that, under some assumptions, this provides the same value as the (half of) the zero-sum symmetric game where the adverse player also plays feed-back strategies and actively tries to minimize the pay-off. The value function is independent of the filtration accessible to the adverse player. Aside from the modeling issue, the present note is a technical companion to [S\^I3b].


title: Density analysis of BSDEs

abstract: In this paper, we study the existence of densities (with respect to the Lebesgue measure) for marginal laws of the solution $(Y,Z)$ to a quadratic growth BSDE. Using the (by now) well-established connection between these equations and their associated semi-linear PDEs, together with the Nourdin-Viens formula, we provide estimates on these densities.


title: Incremental Entity Resolution from Linked Documents

abstract: In many government applications we often find that information about entities, such as persons, are available in disparate data sources such as passports, driving licences, bank accounts, and income tax records. Similar scenarios are commonplace in large enterprises having multiple customer, supplier, or partner databases. Each data source maintains different aspects of an entity, and resolving entities based on these attributes is a well-studied problem. However, in many cases documents in one source reference those in others; e.g., a person may provide his driving-licence number while applying for a passport, or vice-versa. These links define relationships between documents of the same entity (as opposed to inter-entity relationships, which are also often used for resolution). In this paper we describe an algorithm to cluster documents that are highly likely to belong to the same entity by exploiting inter-document references in addition to attribute similarity. Our technique uses a combination of iterative graph-traversal, locality-sensitive hashing, iterative match-merge, and graph-clustering to discover unique entities based on a document corpus. A unique feature of our technique is that new sets of documents can be added incrementally while having to re-resolve only a small subset of a previously resolved entity-document collection. We present performance and quality results on two data-sets: a real-world database of companies and a large synthetically generated `population' database. We also demonstrate benefit of using inter-document references for clustering in the form of enhanced recall of documents for resolution.


title: Collisions of vortex filament pairs

abstract: We consider the problem of collisions of vortex filaments for a model introduced by Klein, Majda and Damodaran, and Zakharov to describe the interaction of almost parallel vortex filaments in three-dimensional fluids. Since the results of Crow examples of collisions are searched as perturbations of antiparallel translating pairs of filaments, with initial perturbations related to the unstable mode of the linearized problem; most results are numerical calculations. In this article we first consider a related model for the evolution of pairs of filaments and we display another type of initial perturbation leading to collision in finite time. Moreover we give numerical evidence that it also leads to collision through the initial model. We finally study the self-similar solutions of the model.


title: Incremental Majorization-Minimization Optimization with Application to Large-Scale Machine Learning

abstract: Majorization-minimization algorithms consist of successively minimizing a sequence of upper bounds of the objective function. These upper bounds are tight at the current estimate, and each iteration monotonically drives the objective function downhill. Such a simple principle is widely applicable and has been very popular in various scientific fields, especially in signal processing and statistics. In this paper, we propose an incremental majorization-minimization scheme for minimizing a large sum of continuous functions, a problem of utmost importance in machine learning. We present convergence guarantees for non-convex and convex optimization when the upper bounds approximate the objective up to a smooth error; we call such upper bounds "first-order surrogate functions". More precisely, we study asymptotic stationary point guarantees for non-convex problems, and for convex ones, we provide convergence rates for the expected objective function value. We apply our scheme to composite optimization and obtain a new incremental proximal gradient algorithm with linear convergence rate for strongly convex functions. In our experiments, we show that our method is competitive with the state of the art for solving machine learning problems such as logistic regression when the number of training samples is large enough, and we demonstrate its usefulness for sparse estimation with non-convex penalties.


title: Scalar fields in a non-commutative space

abstract: We discuss the lambda phi**4 model in 2- and 3-dimensional non-commutative spaces. The mapping onto a Hermitian matrix model enables its non-perturbative investigation by Monte Carlo simulations. The numerical results reveal a phase where stripe patterns dominate. In d=3 we show that in this phase the dispersion relation is deformed in the IR regime, in agreement with the property of UV/IR mixing. This "striped phase" also occurs in d=2. For both dimensions we provide evidence that it persists in the simultaneous limit to the continuum and to infinite volume ("Double Scaling Limit"). This implies the spontaneous breaking of translation symmetry.


title: Infinite systolic groups are not torsion

abstract: We study $k$-systolic complexes introduced by T. Januszkiewicz and J. \'{S}wi\k{a}tkowski, which are simply connected simplicial complexes of simplicial nonpositive curvature. Using techniques of filling diagrams we prove that for $k \geq 7$ the $1$-skeleton of a $k$-systolic complex is Gromov hyperbolic. We give an elementary proof of the so-called Projection Lemma, which implies contractibility of $6$-systolic complexes. We also present a new proof of the fact that an infinite group acting geometrically on a $6$-systolic complex is not torsion.


title: Combinatorial Nullstellensatz modulo prime powers and the Parity Argument

abstract: We present new generalizations of Olson's theorem and of a consequence of Alon's Combinatorial Nullstellensatz. These enable us to extend some of their combinatorial applications with conditions modulo primes to conditions modulo prime powers. We analyze computational search problems corresponding to these kinds of combinatorial questions and we prove that the problem of finding degree-constrained subgraphs modulo $2^d$ such as $2^d$-divisible subgraphs and the search problem corresponding to the Combinatorial Nullstellensatz over $\mathbb{F}_2$ belong to the complexity class Polynomial Parity Argument (PPA).


title: New Method for Accurate Parameter Estimation of Induction Motors Based on Artificial Bee Colony Algorithm

abstract: This paper proposes an effective method for estimating the parameters of double-cage induction motors by using Artificial Bee Colony (ABC) algorithm. For this purpose the unknown parameters in the electrical model of asynchronous machine are calculated such that the sum of the square of differences between full load torques, starting torques, maximum torques, starting currents, full load currents, and nominal power factors obtained from model and provided by manufacturer is minimized. In order to confirm the efficiency of the proposed method the results are also compared with those achieved by using GA, PSO, and PAMP. The simulations show that in the problem under consideration ABC converges considerably faster than other algorithms and the results are as accurate as PAMP.


title: L_p- and S_{p,q}^rB-discrepancy of (order 2) digital nets

abstract: Dick proved that all order $2$ digital nets satisfy optimal upper bounds of the $L_2$-discrepancy. We give an alternative proof for this fact using Haar bases. Furthermore, we prove that all digital nets satisfy optimal upper bounds of the $S_{p,q}^r B$-discrepancy for a certain parameter range and enlarge that range for order $2$ digitals nets. $L_p$-, $S_{p,q}^r F$- and $S_p^r H$-discrepancy is considered as well.


title: Phase Transitions on Random Lattices: How Random is Topological Disorder?

abstract: We study the effects of topological (connectivity) disorder on phase transitions. We identify a broad class of random lattices whose disorder fluctuations decay much faster with increasing length scale than those of generic random systems, yielding a wandering exponent of $\omega=(d-1)/(2d)$ in $d$ dimensions. %instead of the generic value $\omega=1/2$. The stability of clean critical points is thus governed by the criterion $(d+1)\nu > 2$ rather than the usual Harris criterion $d\nu>2$, making topological disorder less relevant than generic randomness. The Imry-Ma criterion is also modified, allowing first-order transitions to survive in all dimensions $d>1$. These results explain a host of puzzling violations of the original criteria for equilibrium and nonequilibrium phase transitions on random lattices. We discuss applications, and we illustrate our theory by computer simulations of random Voronoi and other lattices.


title: Fluctuations analysis in complex networks modeled by hidden variable models. Necessity of a large cut-off in hidden-variable models

abstract: It is becoming more and more clear that complex networks present remarkable large fluctuations. These fluctuations may manifest differently according to the given model. In this paper we re-consider hidden variable models which turn out to be more analytically treatable and for which we have recently shown clear evidence of non-self averaging; the density of a motif being subject to possible uncontrollable fluctuations in the infinite size limit. Here we provide full detailed calculations and we show that large fluctuations are only due to the node hidden variables variability while, in ensembles where these are frozen, fluctuations are negligible in the thermodynamic limit, and equal the fluctuations of classical random graphs. A special attention is paid to the choice of the cut-off: we show that in hidden-variable models, only a cut-off growing as $N^\lambda$ with $\lambda\geq 1$ can reproduce the scaling of a power-law degree distribution. In turn, it is this large cut-off that generates non-self-averaging.


title: Radio-Optical Reference Frame Link Using the US Naval Observatory Astrograph and Deep CCD Imaging

abstract: Between 1997 and 2004 several observing runs were conducted mainly with the CTIO 0.9 m to image ICRF counterparts (mostly QSOs) in order to determine accurate optical positions. Contemporary to these deep CCD images the same fields were observed with the US Naval Observatory (USNO) astrograph in the same bandpass. They provide accurate positions on the Hipparcos/Tycho-2 system for stars in the 10 to 16 magnitude range used as reference stars for the deep CCD imaging data. Here we present final optical position results of 413 sources based on reference stars obtained by dedicated astrograph observations which were reduced following 2 different procedures. These optical positions are compared to radio VLBI positions. The current optical system is not perfectly aligned to the ICRF radio system with rigid body rotation angles of 3 to 5 mas (= 3 sigma level) found between them for all 3 axes. Furthermore, statistically, the optical minus radio position differences are found to exceed the total, combined, known errors in the observations. Systematic errors in the optical reference star positions as well as physical offsets between the centers of optical and radio emissions are both identified as likely causes. A detrimental, astrophysical, random noise (DARN) component is postulated to be on about the 10 mas level. If confirmed by future observations, this could severely limit the Gaia to ICRF reference frame alignment accuracy to an error of about 0.5 mas per coordinate axis with the current number of sources envisioned to provide the link. A list of 36 ICRF sources without the detection of an optical counterpart to a limiting magnitude of about R=22 is provided as well.


title: Quantum Separability Criteria for Arbitrary Dimensional Multipartite States

abstract: We present separability criteria for both bipartite and multipartite quantum states. These criteria include the criteria based on the correlation matrix and its generalized form as special cases. We show by detailed examples that our criteria are more powerful than the positive partial transposition criterion, the realignment criterion and the criteria based on the correlation matrices.


title: The Origin and Optical Depth of Ionizing Photons in the Green Pea Galaxies

abstract: Our understanding of radiative feedback and star formation in galaxies at high redshift is hindered by the rarity of similar systems at low redshift. However, the recently identified Green Pea (GP) galaxies are similar to high-redshift galaxies in their morphologies and star formation rates and are vital tools for probing the generation and transmission of ionizing photons. The GPs contain massive star clusters that emit copious amounts of high-energy radiation, as indicated by intense [OIII] 5007 emission and HeII 4686 emission. We focus on six GP galaxies with high ratios of [O III] 5007,4959/[O II] 3727 ~10 or more. Such high ratios indicate gas with a high ionization parameter or a low optical depth. The GP line ratios and ages point to chemically homogeneous massive stars, Wolf-Rayet stars, or shock ionization as the most likely sources of the He II emission. Models including shock ionization suggest that the GPs may have low optical depths, consistent with a scenario in which ionizing photons escape along passageways created by recent supernovae. The GPs and similar galaxies can shed new light on cosmic reionization by revealing how ionizing photons propagate from massive star clusters to the intergalactic medium.


title: Measurement of charged particle multiplicities and densities in $pp$ collisions at $\sqrt{s}=7\;$TeV in the forward region

abstract: Charged particle multiplicities are studied in proton-proton collisions in the forward region at a centre-of-mass energy of $\sqrt{s} = 7\;$TeV with data collected by the LHCb detector. The forward spectrometer allows access to a kinematic range of $2.0<\eta<4.8$ in pseudorapidity, momenta down to $2\;$GeV/$c$ and transverse momenta down to $0.2\;$GeV/$c$. The measurements are performed using minimum-bias events with at least one charged particle in the kinematic acceptance. The results are presented as functions of pseudorapidity and transverse momentum and are compared to predictions from several Monte Carlo event generators.


title: Heavy Vector Triplets: Bridging Theory and Data

abstract: We introduce a model-independent strategy to study narrow resonances which we apply to a heavy vector triplet of the Standard Model (SM) group for illustration. The method is based on a simplified phenomenological Lagrangian which reproduces a large class of explicit models. Firstly, this allows us to derive robust model-independent phenomenological features and, conversely, to identify the peculiarities of different explicit realizations. Secondly, limits on cross-section times BR can be converted into bounds on a few relevant parameters in a fully analytic way, allowing for an interpretation in any given explicit model. Based on the available 8 TeV LHC analyses, we derive current limits and interpret them for vector triplets arising in weakly coupled (gauge) and strongly coupled (composite) extensions of the SM. We point out that a model-independent limit setting procedure must be based on purely on-shell quantities, like a cross-section times BR. Finite width effects altering the limits can be considerably reduced by focusing on the on-shell signal region. We illustrate this aspect with a study of the invariant mass distribution in di-lepton searches and the transverse mass distribution in lepton-neutrino final states. In addition to this paper we provide a set of online tools available at a dedicated webpage.


title: A1-homotopy theory of noncommutative motives

abstract: In this article we continue the development of a theory of noncommutative motives. We construct categories of A1-homotopy noncommutative motives, described their universal properties, and compute their spectra of morphisms in terms of Karoubi-Villamayor's K-theory (KV) and Weibel's homotopy K-theory (KH). As an application, we obtain a complete classification of all the natural transformations defined on KV, KH. This leads to a streamlined construction of Weibel's homotopy Chern character from KV to periodic cyclic homology. Along the way we extend Dwyer-Friedlander's etale K-theory to the noncommutative world, and develop the universal procedure of forcing a functor to preserve filtered homotopy colimits.


title: Two-dimensional time-reversal-invariant topological superconductivity in a doped quantum spin Hall insulator

abstract: Time-reversal-invariant topological superconductors have a full paring gap in the bulk and gapless Majorana states at the edge or on the surface. Here, we theoretically propose topological superconductivity in a doped quantum spin Hall insulator. We study the pairing symmetry of doped Sn$X$ film within a two-orbital model, and show that it realizes a topological superconductor when the intraorbital attractive interaction is stronger than the interorbital interaction, which is generic for a doped quantum spin Hall insulator with strong spin-orbit coupling. Edge channels are studied in a tight-binding model numerically. Finally, we discuss the possible topological superconductivity in Sn$X$ film by comparing to $3d$ superconductivity in bulk Sn.


title: Effect of radiation-like solid on CMB anisotropies

abstract: We compute the power in the lowest multipoles of CMB anisotropies in the presence of radiation-like solid, a hypothetical new kind of radiation with nonzero shear modulus. If only the ordinary Sachs-Wolfe effect is taken into account, the shear modulus to energy density ratio must be in absolute value of order $10^{-5}$ or less for the theory to be consistent with observations within cosmic variance. With the integrated Sachs-Wolfe effect switched on, the constraint is relaxed almost by two orders of magnitude.


title: Cluster structures on strata of flag varieties

abstract: We introduce some new Frobenius subcategories of the module category of a preprojective algebra of Dynkin type, and we show that they have a cluster structure in the sense of Buan-Iyama-Reiten-Scott. These categorical cluster structures yield cluster algebra structures in the coordinate rings of intersections of opposed Schubert cells.


title: Discovery of large-scale diffuse radio emission and of a new galaxy cluster in the surroundings of MACSJ0520.7-1328

abstract: We report the discovery of large-scale diffuse radio emission South-East of the galaxy cluster MACS J0520.7-1328, detected through high sensitivity Giant Metrewave Radio Telescope 323 MHz observations. This emission is dominated by an elongated diffuse radio source and surrounded by other features of lower surface brightness. Patches of these faint sources are marginally detected in a 1.4 GHz image obtained through a re-analysis of archival NVSS data. Interestingly, the elongated radio source coincides with a previously unclassified extended X-ray source. We perform a multi-wavelength analysis based on archival infrared, optical and X-ray Chandra data. We find that this source is a low-temperature (~3.6 keV) cluster of galaxies, with indications of a disturbed dynamical state, located at a redshift that is consistent with the one of the main galaxy cluster MACS J0520.7-132 (z=0.336). We suggest that the diffuse radio emission is associated with the non-thermal components in the intracluster and intergalactic medium in and around the newly detected cluster. We are planning deeper multi-wavelength and multi-frequency radio observations to accurately investigate the dynamical scenario of the two clusters and to address more precisely the nature of the complex radio emission.


title: Learning the Irreducible Representations of Commutative Lie Groups

abstract: We present a new probabilistic model of compact commutative Lie groups that produces invariant-equivariant and disentangled representations of data. To define the notion of disentangling, we borrow a fundamental principle from physics that is used to derive the elementary particles of a system from its symmetries. Our model employs a newfound Bayesian conjugacy relation that enables fully tractable probabilistic inference over compact commutative Lie groups -- a class that includes the groups that describe the rotation and cyclic translation of images. We train the model on pairs of transformed image patches, and show that the learned invariant representation is highly effective for classification.


title: Voevodsky's mixed motives versus Kontsevich's noncommutative mixed motives

abstract: Following an insight of Kontsevich, we prove that the quotient of Voevodsky's category of geometric mixed motives DM by the endofunctor -Q(1)[2] embeds fully-faithfully into Kontsevich's category of noncommutative mixed motives KMM. We show also that this embedding is compatible with the one between pure motives. As an application, we obtain a precise relation between the Picard groups Pic(-), the Grothendieck groups, the Schur-finitenss, and the Kimura-finitenss of the categories DM and KMM. In particular, the quotient of Pic(DM) by the subgroup of Tate twists Q(i)[2i] injects into Pic(KMM). Along the way, we relate KMM with Morel-Voevodsky's stable A1-homotopy category, recover the twisted algebraic K-theory of Kahn-Levine from KMM, and extend Elmendorf-Mandell's foundational work on multicategories to a broader setting.


title: A Kepler's note on secular inequalities

abstract: I discuss the problem of secular inequalities in Kepler by giving account of a manuscript note that has not been published until 1860. In his note Kepler points out the need for a model, clearly inspired by the method of epicycles, that describes the secular inequalities as periodic ones. I bring attention to this point, that seems to have been underestimated, since the references to Kepler's work usually report only that he observed a decreasing mean motion for Saturn and an increasing one for Jupiter.


title: Superconducting Properties of the K$_{{x}}$WO$_{3}$ Tetragonal Tungsten Bronze and the Superconducting Phase Diagram of the Tungsten Bronze Family

abstract: We report the superconducting properties of the K$_{x}$WO$_{3}$ tetragonal tungsten bronze. The highest superconducting transition temperature ($T_{c}=2.1$K) was obtained for K$_{0.38}$WO$_{3}$. $T_{c}$ decreases linearly with increasing K content. Using the measured values for the upper critical field $H_{c2}$, and the specific heat $C$, we estimate the orbital critical field $H_{c2}$(0), coherence length $\xi$(0), Debye temperature $\Theta _{D}$ and coupling constant $\lambda _{ep}$. The magnitude of the specific heat jump at $T_{c}$ suggests that the K$_{x}$WO$_{3}$ tetragonal tungsten bronze is a weakly-coupled superconductor. The superconducting phase diagram of the doped tungsten bronze family is presented.


title: Direct evidence of plastic events and dynamic heterogeneities in soft-glasses

abstract: By using fluid-kinetic simulations of confined and concentrated emulsion droplets, we investigate the nature of space non-homogeneity in soft-glassy dynamics and provide quantitative measurements of the statistical features of plastic events in the proximity of the yield-stress threshold. Above the yield stress, our results show the existence of a finite stress correlation scale, which can be mapped directly onto the {\it cooperativity scale}, recently introduced in the literature to capture non-local effects in the soft-glassy dynamics. In this regime, the emergence of a separate boundary (wall) rheology with higher fluidity than the bulk, is highlighted in terms of near-wall spontaneous segregation of plastic events. Near the yield stress, where the cooperative scale cannot be estimated with sufficient accuracy, the system shows a clear increase of the stress correlation scale, whereas plastic events exhibit intermittent clustering in time, with no preferential spatial location. A quantitative measurement of the space-time correlation associated with the motion of the interface of the droplets is key to spot the long-range amorphous order at the yield stress threshold.


title: Artificial Mutation inspired Hyper-heuristic for Runtime Usage of Multi-objective Algorithms

abstract: In the last years, multi-objective evolutionary algorithms (MOEA) have been applied to different software engineering problems where many conflicting objectives have to be optimized simultaneously. In theory, evolutionary algorithms feature a nice property for runtime optimization as they can provide a solution in any execution time. In practice, based on a Darwinian inspired natural selection, these evolutionary algorithms produce many deadborn solutions whose computation results in a computational resources wastage: natural selection is naturally slow. In this paper, we reconsider this founding analogy to accelerate convergence of MOEA, by looking at modern biology studies: artificial selection has been used to achieve an anticipated specific purpose instead of only relying on crossover and natural selection (i.e., Muller et al [18] research on artificial mutation of fruits with X-Ray). Putting aside the analogy with natural selection , the present paper proposes an hyper-heuristic for MOEA algorithms named Sputnik 1 that uses artificial selective mutation to improve the convergence speed of MOEA. Sputnik leverages the past history of mutation efficiency to select the most relevant mutations to perform. We evaluate Sputnik on a cloud-reasoning engine, which drives on-demand provisioning while considering conflicting performance and cost objectives. We have conducted experiments to highlight the significant performance improvement of Sputnik in terms of resolution time.


title: Dimension of gradient measures

abstract: We prove that if pure derivatives with respect to all coordinates of a function on $\mathbb{R}^n$ are signed measures, then their lower Hausdorff dimension is at least $n-1$. The derivatives with respect to different coordinates may be of different order.


title: Central elements in the universal enveloping algebra and function of matrix elements

abstract: In the paper a construction of central elements in $U(\mathfrak{o}_N)$ and $U(\mathfrak{g}_2)$ based on invariant theory is given. New function of matrix elements that appear in description of the center of $U(\mathfrak{g}_2)$ are defined.


title: Partial Data for the Neumann-Dirichlet Magnetic Schr\"odinger Inverse Problem

abstract: We show that an electric potential and magnetic field can be uniquely determined by partial boundary measurements of the Neumann-to-Dirichlet map of the associated magnetic Schr\"{o}dinger operator. This improves upon previous results of the author by including the determination of a magnetic field. The main technical advance is an improvement on the Carleman estimate for the magnetic Schr\"{o}dinger operator with the appropriate boundary conditions. This allows the construction of complex geometrical optics solutions with greater regularity, which are needed to deal with the first order term in the operator. This improved regularity of CGO solutions may have applications in the study of inverse problems in systems of equations with partial boundary data.


title: Hidden spin polarization in inversion-symmetric bulk crystals

abstract: Spin-orbit coupling (SOC) can induce spin polarization in nonmagnetic 3D crystals when the inversion symmetry is broken, as manifested by the bulk Rashba (R-1) and Dresselhaus (D-1) effects. We determine that these spin polarization effects originate fundamentally from specific atomic site asymmetries, rather than from the generally accepted asymmetry of the crystal space-group. This understanding leads to the recognition that a previously overlooked hidden form of spin polarization should exist in centrosymmetric materials. Although all energy bands must be doubly degenerate in centrosymmetric materials, we find that the two components of such doubly degenerate bands could have opposite polarizations each spatially localized on one of the two separate sectors forming the inversion partners. We demonstrate such hidden spin polarizations in centrosymmetric crystals (denoted as R-2 and D-2) by first-principles calculations. This new understanding could considerably broaden the range of currently useful spintronic materials and enable control of spin polarization via operations on atomic scale.


title: A property shared by continuous linear functions and holomorphic functions

abstract: In this note, we continue to highlight some applications of Theorem 1 of [3]. Here is a sample: Let $X$ be an open set in ${\bf C}^n$, $\Omega$ an open convex set in ${\bf C}$ and $f, g : X\to {\bf C}$ two holomorphic functions such that $f(X)\cap\Omega\neq\emptyset$, $f(X)\setminus\Omega\neq \emptyset$ and $g(X)\subseteq \Omega$. Then, there exists a set $A$ in $[0,1]$ with the following properties:$(a)$ for each $x\in X$, there exists $\lambda\in A$ such that $\lambda g(x)+(1-\lambda)f(x)\in\Omega$\ ; $(b)$ for each finite set $B$ in $A$, there exists $u\in X$ such that $\mu g(u)+(1-\mu)f(u)\in {\bf C}\setminus\Omega$ for all $\mu\in B$.


title: On the Number of Walks in a Triangular Domain

abstract: We consider walks on a triangular domain that is a subset of the triangular lattice. We then specialise this by dividing the lattice into two directed sublattices with different weights. Our central result is an explicit formula for the generating function of walks starting at a fixed point in this domain and ending anywhere within the domain. Intriguingly, the specialisation of this formula to walks starting in a fixed corner of the triangle shows that these are equinumerous to two-coloured Motzkin paths, and two-coloured three-candidate Ballot paths, in a strip of finite height.


title: Mid-Infrared Period--Luminosity Relations of RR Lyrae Stars Derived from the AllWISE Data Release

abstract: We use photometry from the recent AllWISE Data Release of the Wide-field In-frared Survey Explorer (WISE) of 129 calibration stars, combined with prior distances obtained from the established $M_V-$[Fe/H] relation and Hubble Space Telescope trigonometric parallax, to derive mid-infrared period--luminosity relations for RR Lyrae pulsating variable stars. We derive relations in the W1, W2, and W3 wavebands (3.4, 4.6, and 12 {\mu}m, respectively), and for each of the two main RR Lyrae sub-types (RRab and RRc). We report an error on the period--luminosity relation slope for RRab stars of 0.2. We also fit posterior distances for the calibration catalog and find a median fractional distance error of 0.8 per cent.


title: Critical exponents of the explosive percolation transition

abstract: In a new type of percolation phase transition, which was observed in a set of non-equilibrium models, each new connection between vertices is chosen from a number of possibilities by an Achlioptas-like algorithm. This causes preferential merging of small components and delays the emergence of the percolation cluster. First simulations led to a conclusion that a percolation cluster in this irreversible process is born discontinuously, by a discontinuous phase transition, which results in the term "explosive percolation transition". We have shown that this transition is actually continuous (second-order) though with an anomalously small critical exponent of the percolation cluster. Here we propose an efficient numerical method enabling us to find the critical exponents and other characteristics of this second order transition for a representative set of explosive percolation models with different number of choices. The method is based on gluing together the numerical solutions of evolution equations for the cluster size distribution and power-law asymptotics. For each of the models, with high precision, we obtain critical exponents and the critical point.

categories: cond-mat.dis-nn math-ph math.MP physics.soc-ph


title: Dynamical Casimir effect entangles artificial atoms

abstract: We show that the physics underlying the dynamical Casimir effect may generate multipartite quantum correlations. To achieve it, we propose a circuit quantum electrodynamics (cQED) scenario involving superconducting quantum interference devices (SQUIDs), cavities, and superconducting qubits, also called artificial atoms. Our results predict the generation of highly entangled states for two and three superconducting qubits in different geometric configurations with realistic parameters. This proposal paves the way for a scalable method of multipartite entanglement generation in cavity networks through dynamical Casimir physics.


title: Search for a liquid-liquid critical point in models of silica

abstract: Previous research has indicated the possible existence of a liquid-liquid critical point (LLCP) in models of silica at high pressure. To clarify this interesting question we run extended molecular dynamics simulations of two different silica models (WAC and BKS) and perform a detailed analysis of the liquid at temperatures much lower than those previously simulated. We find no LLCP in either model within the accessible temperature range, although it is closely approached in the case of the WAC potential near 4000 K and 5 GPa. Comparing our results with those obtained for other tetrahedral liquids, and relating the average Si-O-Si bond angle and liquid density at the model glass temperature to those of the ice-like beta-cristobalite structure, we conclude that the absence of a critical point can be attributed to insufficient "stiffness" in the bond angle. We hypothesize that a modification of the potential function to mildly favor larger average bond angles will generate a LLCP in a temperature range that is accessible to simulation. The tendency to crystallize in these models is extremely weak in the pressure range studied, although this tendency will undoubtedly increase with increasing stiffness.


title: Strong monogamies of no-signaling violations for bipartite correlation Bell inequalities

abstract: The phenomenon of monogamy of Bell inequality violations is interesting both from the fundamental perspective as well as in cryptographic applications such as the extraction of randomness and secret bits. In this article, we derive new and stronger monogamy relations for violations of Bell inequalities in general no-signaling theories. These relations are applicable to the class of binary output correlation inequalities known as XOR games, and to a restricted set of unique games. In many instances of interest, we show that the derived relation provides a significant strengthening over previously known results. The result involves a shift in paradigm towards the importance in monogamies of the number of inputs of one party which lead to a contradiction from local realistic predictions.


title: An Interior Penalty Method with $C^0$ Finite Elements for the Approximation of the Maxwell Equations in Heterogeneous Media: Convergence Analysis with Minimal Regularity

abstract: The present paper proposes and analyzes an interior penalty technique using $C^0$-finite elements to solve the Maxwell equations in domains with heterogeneous properties. The convergence analysis for the boundary value problem and the eigenvalue problem is done assuming only minimal regularity in Lipschitz domains. The method is shown to converge for any polynomial degrees and to be spectrally correct.


title: Symbiosis of Search and Heuristics for Random 3-SAT

abstract: When combined properly, search techniques can reveal the full potential of sophisticated branching heuristics. We demonstrate this observation on the well-known class of random 3-SAT formulae. First, a new branching heuristic is presented, which generalizes existing work on this class. Much smaller search trees can be constructed by using this heuristic. Second, we introduce a variant of discrepancy search, called ALDS. Theoretical and practical evidence support that ALDS traverses the search tree in a near-optimal order when combined with the new heuristic. Both techniques, search and heuristic, have been implemented in the look-ahead solver march. The SAT 2009 competition results show that march is by far the strongest complete solver on random k-SAT formulae.


title: The size and shape of the oblong dwarf planet Haumea

abstract: We use thermal radiometry and visible photometry to constrain the size, shape, and albedo of the large Kuiper belt object Haumea. The correlation between the visible and thermal photometry demonstrates that Haumea's high amplitude and quickly varying optical light curve is indeed due to Haumea's extreme shape, rather than large scale albedo variations. However, the well-sampled high precision visible data we present does require longitudinal surface heterogeneity to account for the shape of lightcurve. The thermal emission from Haumea is consistent with the expected Jacobi ellipsoid shape of a rapidly rotating body in hydrostatic equilibrium. The best Jacobi ellipsoid fit to the visible photometry implies a triaxial ellipsoid with axes of length 1920 x 1540 x 990 km and density 2.6 g cm^-3$, as found by Lellouch et al(2010). While the thermal and visible data cannot uniquely constrain the full non-spherical shape of Haumea, the match between the predicted and measured thermal flux for a dense Jacobi ellipsoid suggests that Haumea is indeed one of the densest objects in the Kuiper belt.


title: Improved Ni I log(gf) Values and Abundance Determinations in the Photospheres of the Sun and Metal-poor Star HD 84937

abstract: Atomic transition probability measurements for 371 Ni I lines in the UV through near IR are reported. Branching fractions from data recorded using a Fourier transform spectrometer and a new echelle spectrograph are combined with published radiative lifetimes to determine these transition probabilities. Generally good agreement is found in comparisons to previously reported Ni I transition probability measurements. Use of the new echelle spectrograph, independent radiometric calibration methods, and independent data analysis routines enable a reduction of systematic errors and overall improvement in transition probability uncertainty over previous measurements. The new Ni I data are applied to high resolution visible and UV spectra of the Sun and metal-poor star HD 84937 to derive new, more accurate Ni abundances. Lines covering a wide range of wavelength and excitation potential are used to search for non-LTE effects.


title: Dynamics of Linear Perturbations in the hybrid metric-Palatini gravity

abstract: In this work we focus on the evolution of the linear perturbations in the novel hybrid metric-Palatini theory achieved by adding a $f(\mathcal{R})$ function to the gravitational action. Working in the Jordan frame, we derive the full set of linearized evolution equations for the perturbed potentials and present them in the Newtonian and synchronous gauges. We also derive the Poisson equation, and perform the evolution of the lensing potential, $\Phi_{+}$, for a model with a background evolution indistinguishable from $\Lambda$CDM. In order to do so, we introduce a designer approach that allows to retrieve a family of functions $f(\mathcal{R})$ for which the effective equation of state is exactly $w_{\textrm{eff}} = -1$. We conclude, for this particular model, that the main deviations from standard General Relativity and the Cosmological Constant model arise in the distant past, with an oscillatory signature in the ratio between the Newtonian potentials, $\Phi$ and $\Psi$.


title: Significance Analysis for Pairwise Variable Selection in Classification

abstract: The goal of this article is to select important variables that can distinguish one class of data from another. A marginal variable selection method ranks the marginal effects for classification of individual variables, and is a useful and efficient approach for variable selection. Our focus here is to consider the bivariate effect, in addition to the marginal effect. In particular, we are interested in those pairs of variables that can lead to accurate classification predictions when they are viewed jointly. To accomplish this, we propose a permutation test called Significance test of Joint Effect (SigJEff). In the absence of joint effect in the data, SigJEff is similar or equivalent to many marginal methods. However, when joint effects exist, our method can significantly boost the performance of variable selection. Such joint effects can help to provide additional, and sometimes dominating, advantage for classification. We illustrate and validate our approach using both simulated example and a real glioblastoma multiforme data set, which provide promising results.


title: On the stability of the polygonal isoperimetric inequality

abstract: We obtain a sharp lower bound on the isoperimetric deficit of a general polygon in terms of the variance of its side lengths, the variance of its radii, and its deviation from being convex. Our technique involves a functional minimization problem on a suitably constructed compact manifold and is based on the spectral theory for circulant matrices.


title: The impact of galaxy formation on the total mass, mass profile and abundance of haloes

abstract: We use cosmological hydrodynamical simulations to investigate how the inclusion of physical processes relevant to galaxy formation (star formation, metal-line cooling, stellar winds, supernovae and feedback from Active Galactic Nuclei, AGN) change the properties of haloes, over four orders of magnitude in mass. We find that gas expulsion and the associated dark matter (DM) expansion induced by supernova-driven winds are important for haloes with masses M200 < 10^13 Msun, lowering their masses by up to 20% relative to a DM-only model. AGN feedback, which is required to prevent overcooling, has a significant impact on halo masses all the way up to cluster scales (M200 ~ 10^15 Msun). Baryonic physics changes the total mass profiles of haloes out to several times the virial radius, a modification that cannot be captured by a change in the halo concentration. The decrease in the total halo mass causes a decrease in the halo mass function of about 20%. This effect can have important consequences for abundance matching technique as well as for most semi-analytic models of galaxy formation. We provide analytic fitting formulae, derived from simulations that reproduce the observed baryon fractions, to correct halo masses and mass functions from DM-only simulations. The effect of baryonic physics (AGN feedback in particular) on cluster number counts is about as large as changing the cosmology from WMAP7 to Planck, even when a moderately high mass limit of M500 ~ 10^14 Msun is adopted. Thus, for precision cosmology the effects of baryons must be accounted for.


title: Lower bounds for bootstrap percolation on Galton-Watson trees

abstract: Bootstrap percolation is a cellular automaton modelling the spread of an `infection' on a graph. In this note, we prove a family of lower bounds on the critical probability for $r$-neighbour bootstrap percolation on Galton--Watson trees in terms of moments of the offspring distributions. With this result we confirm a conjecture of Bollob\'as, Gunderson, Holmgren, Janson and Przykucki. We also show that these bounds are best possible up to positive constants not depending on the offspring distribution.


title: Lieb-Thirring Bounds for Interacting Bose Gases

abstract: We study interacting Bose gases and prove lower bounds for the kinetic plus interaction energy of a many-body wave function in terms of its particle density. These general estimates are then applied to various types of interactions, including hard sphere (in 3D) and hard disk (in 2D) as well as a general class of homogeneous potentials.

categories: math-ph cond-mat.quant-gas math.MP math.SP


title: On the Fixed Points of the Map x -> x^x Modulo a Prime

abstract: In this paper, we show that for almost all primes p there is an integer solution x in [2,p-1] to the congruence x^x == x mod p. The solutions can be interpretated as fixed points of the map x -> x^x mod p, and we study numerically and discuss some unexpected properties of the dynamical system associated with this map.


title: Concurrent Cube-and-Conquer

abstract: Recent work introduced the cube-and-conquer technique to solve hard SAT instances. It partitions the search space into cubes using a lookahead solver. Each cube is tackled by a conflict-driven clause learning (CDCL) solver. Crucial for strong performance is the cutoff heuristic that decides when to switch from lookahead to CDCL. Yet, this offline heuristic is far from ideal. In this paper, we present a novel hybrid solver that applies the cube and conquer steps simultaneously. A lookahead and a CDCL solver work together on each cube, while communication is restricted to synchronization. Our concurrent cube-and-conquer solver can solve many instances faster than pure lookahead, pure CDCL and offline cube-and-conquer, and can abort early in favor of a pure CDCL search if an instance is not suitable for cube-and-conquer techniques.


title: Compressed bitmap indexes: beyond unions and intersections

abstract: Compressed bitmap indexes are used to speed up simple aggregate queries in databases. Indeed, set operations like intersections, unions and complements can be represented as logical operations (AND,OR,NOT) that are ideally suited for bitmaps. However, it is less obvious how to apply bitmaps to more advanced queries. For example, we might seek products in a store that meet some, but maybe not all, criteria. Such threshold queries generalize intersections and unions; they are often used in information-retrieval and data-mining applications. We introduce new algorithms that are sometimes three orders of magnitude faster than a naive approach. Our work shows that bitmap indexes are more broadly applicable than is commonly believed.