title: Frequency-Dependent Selection at Rough Expanding Fronts

abstract: Microbial colonies are experimental model systems for studying the colonization of new territory by biological species through range expansion. We study a generalization of the two-species Eden model, which incorporates local frequency-dependent selection, in order to analyze how social interactions between two species influence surface roughness of growing microbial colonies. The model includes several classical scenarios from game theory. We then concentrate on an expanding public goods game, where either cooperators or defectors take over the front depending on the system parameters. We analyze in detail the critical behavior of the nonequilibrium phase transition between global cooperation and defection and thereby identify a new universality class of phase transitions dealing with absorbing states. At the transition, the number of boundaries separating sectors decays with a novel power law in time and their superdiffusive motion crosses over from Eden scaling to a nearly ballistic regime. In parallel, the width of the front initially obeys Eden roughening and, at later times, passes over to selective roughening.


title: Bluetooth Data Exchange Between Android Phones Without Pairing

abstract: In this paper we describe a novel method of exchanging data between Bluetooth smartphones on the Android platform without requiring pairing between devices. We discuss our approach of encoding and decoding data inside the UUIDs used by the Bluetooth Service Discovery Protocol (SDP). Future research remains to be done on the latency, bandwidth and compatibility of this approach, as well as the possibility of utilizing other protocols in conjunction with this method.


title: Confined Flares in Solar Active Region 12192 from 2014 October 18 to 29

abstract: Using the observations from the Atmospheric Imaging Assembly (AIA) and Helioseismic and Magnetic Imager (HMI) aboard the Solar Dynamics Observatory (SDO), we investigate six X-class and twenty-nine M-class flares occurring in solar active region (AR) 12192 from October 18 to 29. Among them, thirty (including six X- and twenty-four M-class) flares originated from the AR core and the other five M-flares appeared at the AR periphery. Four of the X-flares exhibited similar flaring structures, indicating they were homologous flares with analogous triggering mechanism. The possible scenario is: photospheric motions of emerged magnetic fluxes lead to shearing of the associated coronal magnetic field, which then yields a tether-cutting favorable configuration. Among the five periphery M-flares, four were associated with jet activities. The HMI vertical magnetic field data show that the photospheric fluxes of opposite magnetic polarities emerged, converged and canceled with each other at the footpoints of the jets before the flares. Only one M-flare from the AR periphery was followed by a coronal mass ejection (CME). From October 20 to 26, the mean decay index of the horizontal background field within the height range of 40-105 Mm is below the typical threshold for torus instability onset. This suggests that a strong confinement from the overlying magnetic field might be responsible for the poor CME production of AR 12192.


title: T-duality and $\alpha'$-corrections

abstract: We construct an $O(d,d)$ invariant universal formulation of the first-order $\alpha'$-corrections of the string effective actions involving the dilaton, metric and two-form fields. Two free parameters interpolate between four-derivative terms that are even and odd with respect to a $Z_2$-parity transformation that changes the sign of the two-form field. The $Z_2$-symmetric model reproduces the closed bosonic string, and the heterotic string effective action is obtained through a $Z_2$-parity-breaking choice of parameters. The theory is an extension of the generalized frame formulation of Double Field Theory, in which the gauge transformations are deformed by a first-order generalized Green-Schwarz transformation. This deformation defines a duality covariant gauge principle that requires and fixes the four-derivative terms. We discuss the $O(d,d)$ structure of the theory and the (non-)covariance of the required field redefinitions.


title: On uniform lattices in real semisimple groups

abstract: In this article we prove that the co-compactness of the arithmetic lattices in a connected semisimple real Lie group is preserved if the lattices under consideration are representation equivalent. This is in the spirit of the question posed by Gopal Prasad and A. S. Rapinchuk where instead of representation equivalence, the lattices under consideration are weakly commensurable Zariski dense subgroups.


title: The Electroweak Vacuum Angle at Finite Temperature and Implications for Baryogenesis

abstract: We initiate a study of cosmological implications of sphaleron-mediated CP-violation arising from the electroweak vacuum angle under the reasonable assumption that the semiclassical suppression is lifted at finite temperature. In this article, we explore the implications for existing scenarios of baryogenesis. Many compelling models of baryogenesis rely on electroweak sphalerons to relax a $(B+L)$ charge asymmetry. Depending on the sign of the CP-violating parameter, it is shown that the erasure of positive $(B+L)$ will proceed more or less quickly than the relaxation of negative $(B+L)$. This is a higher order effect in the kinetic equation for baryon number, which we derive here through order $n_{B+L}^2$. Its impact on known baryogenesis models therefore seems minor, since phenomenologically $n_{B+L}$ is much smaller than the entropy density. However, there remains an intriguing unexplored possibility that baryogenesis could be achieved with the vacuum angle alone providing the required CP-violation.


title: Reasoning about embedded dependencies using inclusion dependencies

abstract: The implication problem for the class of embedded dependencies is undecidable. However, this does not imply lackness of a proof procedure as exemplified by the chase algorithm. In this paper we present a complete axiomatization of embedded dependencies that is based on the chase and uses inclusion dependencies and implicit existential quantification in the intermediate steps of deductions.


title: Braid moves in commutation classes of the symmetric group

abstract: We prove that the expected number of braid moves in the commutation class of the reduced word $(s_1 s_2 \cdots s_{n-1})(s_1 s_2 \cdots s_{n-2}) \cdots (s_1 s_2)(s_1)$ for the long element in the symmetric group $\mathfrak{S}_n$ is one. This is a variant of a similar result by V. Reiner, who proved that the expected number of braid moves in a random reduced word for the long element is one. The proof is bijective and uses X. Viennot's theory of heaps and variants of the promotion operator. In addition, we provide a refinement of this result on orbits under the action of even and odd promotion operators. This gives an example of a homomesy for a nonabelian (dihedral) group that is not induced by an abelian subgroup. Our techniques extend to more general posets and to other statistics.


title: Loopholes in the interpretation of experiments on the Aharonov-Bohm effect

abstract: The independence of the Aharonov-Bohm phase shift on particle velocity is one of its defining properties. The classical counterpart to this dispersionless behavior is the absence of forces along the direction of motion of the particle. A reevaluation of the experimental demonstration that forces are absent in the AB physical system is given, including previously unpublished data. It is shown that the debate on the presence or absence of forces is not settled, and an experiment searching for dispersionless forces is proposed.


title: The Insulating Nature of Na2IrO3: Mott-type or Slater-type?

abstract: We have investigated temperature-dependent electronic structures of Na2IrO3 to unravel its insulating nature. Employing the combined scheme of the density-functional theory (DFT) and the dynamical mean-field theory (DMFT), we have shown that the insulating state persists even above the Neel temperature (T_{N}), which reveals that Na2IrO3 is classified into a Mott-type insulator. The measured photoemission spectrum in the paramagnetic (PM) state is well described by the electronic structure obtained from the DFT+DMFT for the insulating state above T_{N}. The analysis of optical conductivity, however, suggests that the non-local correlation effect is also important in Na2IrO3. Therefore, Na2IrO3 is not to be a standard Mott insulator in that the extended nature and the non-local correlation effect of Ir 5d electrons are important as well in describing its electronic and magnetic properties.


title: Thermodynamics of Yukawa fluids near the one-component-plasma limit

abstract: Thermodynamics of weakly screened (near the one-component-plasma limit) Yukawa fluids in two and three dimensions is analyzed in detail. It is shown that the thermal component of the excess internal energy of these fluids, when expressed in terms of the properly normalized coupling strength, exhibits the scaling pertinent to the corresponding one-component-plasma limit (the scalings differ considerably between the two- and three-dimensional situations). This provides us with a simple and accurate practical tool to estimate thermodynamic properties of weakly screened Yukawa fluids. Particular attention is paid to the two-dimensional fluids, for which several important thermodynamic quantities are calculated to illustrate the application of the approach.


title: Integration on algebraic quantum groupoids

abstract: In this article, we develop a theory of integration on algebraic quantum groupoids in the form of regular multiplier Hopf algebroids, and establish the main properties of integrals obtained by Van Daele for algebraic quantum groups before - faithfulness, uniqueness up to scaling, existence of a modular element and existence of a modular automorphism - for algebraic quantum groupoids under reasonable assumptions. The approach to integration developed in this article forms the basis for the extension of Pontrjagin duality to algebraic quantum groupoids, and for the passage from algebraic quantum groupoids to operator-algebraic completions, which both will be studied in separate articles.


title: Einstein-Heisenberg Consistency Condition Interplay with Cosmological Constant Prediction in Resummed Quantum Gravity

abstract: We argue that our recent success in using our resummed quantum gravity approach to Einstein's general theory of relativity, in the context of the Planck scale cosmology formulation of Bonanno and Reuter, to estimate the value of the cosmological constant \Lambda supports the use of quantum mechanical consistency requirements to constrain the main uncertainty in that very promising result. This main uncertainty, which is due to the uncertainty in the value of the time t_{\text{tr}} at which the transition from the Planck scale cosmology to the FRW model occurs, is shown to be reduced, by requiring consistency between the Heisenberg uncertainty principle and the known properties of the solutions of Einstein's equations, from four orders of magnitude to the level of a factor of {\cal O}(10). This lends more credibility to the over-all resummed quantum gravity approach itself, in general, and to our estimate of $\Lambda$ in particular.


title: On the Approximability of Digraph Ordering

abstract: Given an n-vertex digraph D = (V, A) the Max-k-Ordering problem is to compute a labeling $\ell : V \to [k]$ maximizing the number of forward edges, i.e. edges (u,v) such that $\ell$(u) < $\ell$(v). For different values of k, this reduces to Maximum Acyclic Subgraph (k=n), and Max-Dicut (k=2). This work studies the approximability of Max-k-Ordering and its generalizations, motivated by their applications to job scheduling with soft precedence constraints. We give an LP rounding based 2-approximation algorithm for Max-k-Ordering for any k={2,..., n}, improving on the known 2k/(k-1)-approximation obtained via random assignment. The tightness of this rounding is shown by proving that for any k={2,..., n} and constant $\varepsilon > 0$, Max-k-Ordering has an LP integrality gap of 2 - $\varepsilon$ for $n^{\Omega\left(1/\log\log k\right)}$ rounds of the Sherali-Adams hierarchy. A further generalization of Max-k-Ordering is the restricted maximum acyclic subgraph problem or RMAS, where each vertex v has a finite set of allowable labels $S_v \subseteq \mathbb{Z}^+$. We prove an LP rounding based $4\sqrt{2}/(\sqrt{2}+1) \approx 2.344$ approximation for it, improving on the $2\sqrt{2} \approx 2.828$ approximation recently given by Grandoni et al. (Information Processing Letters, Vol. 115(2), Pages 182-185, 2015). In fact, our approximation algorithm also works for a general version where the objective counts the edges which go forward by at least a positive offset specific to each edge. The minimization formulation of digraph ordering is DAG edge deletion or DED(k), which requires deleting the minimum number of edges from an n-vertex directed acyclic graph (DAG) to remove all paths of length k. We show that both, the LP relaxation and a local ratio approach for DED(k) yield k-approximation for any $k\in [n]$.


title: Developing the Next Generation of Physics Assessments

abstract: Science education at all levels is currently undergoing dramatic changes to its curricula and developing assessments for these new curricula is paramount. We have used the basis of many of these new changes (scientific practices, crosscutting concepts, and core ideas) to develop sets of criteria that can be used to guide assessment development for this new curriculum. We present a case study that uses the criteria we have developed to revise a traditional physics assessment item into an assessment item that is much more aligned with the goals of current transformation efforts. Assessment items developed using this criteria can be used to assess student learning of both the concepts and process of science.


title: On the Reduction of Total-Cost and Average-Cost MDPs to Discounted MDPs

abstract: This paper provides conditions under which total-cost and average-cost Markov decision processes (MDPs) can be reduced to discounted ones. Results are given for transient total-cost MDPs with tran- sition rates whose values may be greater than one, as well as for average-cost MDPs with transition probabilities satisfying the condition that there is a state such that the expected time to reach it is uniformly bounded for all initial states and stationary policies. In particular, these reductions imply sufficient conditions for the validity of optimality equations and the existence of stationary optimal poli- cies for MDPs with undiscounted total cost and average-cost criteria. When the state and action sets are finite, these reductions lead to linear programming formulations and complexity estimates for MDPs under the aforementioned criteria.


title: Galaxy And Mass Assembly (GAMA): A study of energy, mass, and structure (1kpc-1Mpc) at z < 0.3

abstract: The GAMA survey has now completed its spectroscopic campaign of over 250,000 galaxies ($r<19.8$mag), and will shortly complete the assimilation of the complementary panchromatic imaging data from GALEX, VST, VISTA, WISE, and Herschel. In the coming years the GAMA fields will be observed by the Australian Square Kilometer Array Pathfinder allowing a complete study of the stellar, dust, and gas mass constituents of galaxies within the low-z Universe ($z<0.3$). The science directive is to study the distribution of mass, energy, and structure on kpc-Mpc scales over a 3billion year timeline. This is being pursued both as an empirical study in its own right, as well as providing a benchmark resource against which the outputs from numerical simulations can be compared. GAMA has three particularly compelling aspects which set it apart: completeness, selection, and panchromatic coverage. The very high redshift completeness ($\sim 98$\%) allows for extremely complete and robust pair and group catalogues; the simple selection ($r<19.8$mag) minimises the selection bias and simplifies its management; and the panchromatic coverage, 0.2$\mu$m - 1m, enables studies of the complete energy distributions for individual galaxies, well defined sub-samples, and population assembles (either directly or via stacking techniques). For further details and data releases see: http://www.gama-survey.org/


title: Heuristical and numerical considerations for the carbuncle phenomenon

abstract: In this study, we investigate the so called carbuncle phenomenon by means of numerical experiments and heuristic considerations. We identify two main sources for the carbuncle: instability of the 1d shock position and low numerical viscosity on shear waves. We also describe how higher order stabilizes the 1d shock position and, thus, reduces the carbuncle.


title: 'Because math': Epistemological stance or defusing social tension in QM?

abstract: In collaborative small-group work, physics students need to both manage social conflict and grapple with conceptual and epistemological differences. In this paper, we document several outlets that students use as tools for managing social conflict when addressing quantum mechanics tutorials in clinical focus groups. These resources include epistemic distancing, humor, playing on tutorial wording and looking ahead to subsequent questions. We present preliminary analysis of episodes where students work through a Particle in a Box tutorial. Each episode highlights a different manner of navigating social tension: through shared epistemic humor in one case, and reinterpretation of the question in the other.


title: "Classical-ish": Negotiating the boundary between classical and quantum particles

abstract: Quantum mechanics can seem like a departure from everyday experience of the physical world, but constructivist theories assert that learners build new ideas from their existing ones. To explore how students can navigate this tension, we examine video of a focus group completing a tutorial about the "particle in a box." In reasoning about the properties of a quantum particle, the students bring in elements of a classical particle ontology, evidenced by students' language and gestures. This reasoning, however, is modulated by metacognitive moments when the group explicitly considers whether classical intuitions apply to the quantum system. The students find some cases where they can usefully apply classical ideas to quantum physics, and others where they explicitly contrast classical and quantum mechanics. Negotiating this boundary with metacognitive awareness is part of the process of building quantum intuitions. Our data suggest that (some) students bring productive intellectual resources to this negotiation.


title: A realistic pattern of fermion masses from a five-dimensional SO(10) model

abstract: We provide a unified description of fermion masses and mixing angles in the framework of a supersymmetric grand unified SO(10) model with anarchic Yukawa couplings of order unity. The space-time is five dimensional and the extra flat spatial dimension is compactified on the orbifold $S^1/(Z_2 \times Z_2')$, leading to Pati-Salam gauge symmetry on the boundary where Yukawa interactions are localised. The gauge symmetry breaking is completed by means of a rather economic scalar sector, avoiding the doublet-triplet splitting problem. The matter fields live in the bulk and their massless modes get exponential profiles, which naturally explain the mass hierarchy of the different fermion generations. Quarks and leptons properties are naturally reproduced by a mechanism, first proposed by Kitano and Li, that lifts the SO(10) degeneracy of bulk masses in terms of a single parameter. The model provides a realistic pattern of fermion masses and mixing angles for large values of $\tan\beta$. It favours normally ordered neutrino mass spectrum with the lightest neutrino mass below 0.01 eV and no preference for leptonic CP violating phases. The right handed neutrino mass spectrum is very hierarchical and does not allow for thermal leptogenesis. We analyse several variants of the basic framework and find that the results concerning the fermion spectrum are remarkably stable.


title: Linear rigidity of stationary stochastic processes

abstract: We consider stationary stochastic processes $X_n$, $n\in \mathbb{Z}$ such that $X_0$ lies in the closed linear span of $X_n$, $n\neq 0$; following Ghosh and Peres, we call such processes linearly rigid. Using a criterion of Kolmogorov, we show that it suffices, for a stationary stochastic process to be rigid, that the spectral density vanish at zero and belong to the Zygmund class $\Lambda_{*}(1)$. We next give sufficient condition for stationary determinantal point processes on $\mathbb{Z}$ and on $\mathbb{R}$ to be rigid. Finally, we show that the determinantal point process on $\mathbb{R}^2$ induced by a tensor square of Dyson sine-kernels is $\textit{not}$ linearly rigid.


title: Complete Duality for Martingale Optimal Transport on the Line

abstract: We study the optimal transport between two probability measures on the real line, where the transport plans are laws of one-step martingales. A quasi-sure formulation of the dual problem is introduced and shown to yield a complete duality theory for general marginals and measurable reward (cost) functions: absence of a duality gap and existence of dual optimizers. Both properties are shown to fail in the classical formulation. As a consequence of the duality result, we obtain a general principle of cyclical monotonicity describing the geometry of optimal transports.


title: The Elusive Present: Hidden Past and Future Dependency and Why We Build Models

abstract: Modeling a temporal process as if it is Markovian assumes the present encodes all of the process's history. When this occurs, the present captures all of the dependency between past and future. We recently showed that if one randomly samples in the space of structured processes, this is almost never the case. So, how does the Markov failure come about? That is, how do individual measurements fail to encode the past? And, how many are needed to capture dependencies between the past and future? Here, we investigate how much information can be shared between the past and future, but not be reflected in the present. We quantify this elusive information, give explicit calculational methods, and draw out the consequences. The most important of which is that when the present hides past-future dependency we must move beyond sequence-based statistics and build state-based models.

categories: cond-mat.stat-mech cs.IT math.DS math.IT nlin.CD stat.ML


title: Bose condensation and the Casimir effects of an imperfect Bose gas in a d-dimensional configuration space

abstract: Some properties of an ideal gas of massive bosons in a mean field potential and, confined between two infinite parallel slabs in a d-dimensional configuration space are investigated systematically. Here, one particle density of states approach is employed to study the critical temperature, shift of density, Casimir effects and critical exponents, starting from the evaluation of the grand canonical free energy in d-dimension. We have found that, the shift of density, Casimir force and the critical temperature depend on the space dimensionality. But the Casimir force decays as an inverse power law of the distance between two slabs in the condensate and, decays exponentially in the non-condensed state situated very close to the point of phase transition. Most importently, this study enabled us to predict the shift of the density of excited bosons due to mean field potential, and also the dimensional dependence of the critical exponent. The form of the critical exponent is found to be $\frac{1}{d-2}$ for the imperfect Bose gas. This leads to a value of critical exponent $1$ for $d=3$.


title: A Characterization of the Complexity of Resilience and Responsibility for Self-join-free Conjunctive Queries

abstract: Several research thrusts in the area of data management have focused on understanding how changes in the data affect the output of a view or standing query. Example applications are explaining query results, propagating updates through views, and anonymizing datasets. These applications usually rely on understanding how interventions in a database impact the output of a query. An important aspect of this analysis is the problem of deleting a minimum number of tuples from the input tables to make a given Boolean query false. We refer to this problem as "the resilience of a query" and show its connections to the well-studied problems of deletion propagation and causal responsibility. In this paper, we study the complexity of resilience for self-join-free conjunctive queries, and also make several contributions to previous known results for the problems of deletion propagation with source side-effects and causal responsibility: (1) We define the notion of resilience and provide a complete dichotomy for the class of self-join-free conjunctive queries with arbitrary functional dependencies; this dichotomy also extends and generalizes previous tractability results on deletion propagation with source side-effects. (2) We formalize the connection between resilience and causal responsibility, and show that resilience has a larger class of tractable queries than responsibility. (3) We identify a mistake in a previous dichotomy for the problem of causal responsibility and offer a revised characterization based on new, simpler, and more intuitive notions. (4) Finally, we extend the dichotomy for causal responsibility in two ways: (a) we treat cases where the input tables contain functional dependencies, and (b) we compute responsibility for a set of tuples specified via wildcards.


title: A giant ring-like structure at 0.78<z<0.86 displayed by GRBs

abstract: According to the cosmological principle, Universal large-scale structure is homogeneous and isotropic. The observable Universe, however, shows complex structures even on very large scales. The recent discoveries of structures significantly exceeding the transition scale of 370 Mpc pose a challenge to the cosmological principle. We report here the discovery of the largest regular formation in the observable Universe; a ring with a diameter of 1720 Mpc, displayed by 9 gamma ray bursts (GRBs), exceeding by a factor of five the transition scale to the homogeneous and isotropic distribution. The ring has a major diameter of $43^o$ and a minor diameter of $30^o$ at a distance of 2770 Mpc in the 0.78<z<0.86 redshift range, with a probability of $2\times 10^{-6}$ of being the result of a random fluctuation in the GRB count rate. Evidence suggests that this feature is the projection of a shell onto the plane of the sky. Voids and string-like formations are common outcomes of large-scale structure. However, these structures have maximum sizes of 150 Mpc, which are an order of magnitude smaller than the observed GRB ring diameter. Evidence in support of the shell interpretation requires that temporal information of the transient GRBs be included in the analysis. This ring-shaped feature is large enough to contradict the cosmological principle. The physical mechanism responsible for causing it is unknown.


title: The Wide Area VISTA Extra-galactic Survey (WAVES)

abstract: The "Wide Area VISTA Extra-galactic Survey" (WAVES) is a 4MOST Consortium Design Reference Survey which will use the VISTA/4MOST facility to spectroscopically survey ~2million galaxies to $r_{\rm AB} < 22$ mag. WAVES consists of two interlocking galaxy surveys ("WAVES-Deep" and "WAVES-Wide"), providing the next two steps beyond the highly successful 1M galaxy Sloan Digital Sky Survey and the 250k Galaxy And Mass Assembly survey. WAVES will enable an unprecedented study of the distribution and evolution of mass, energy, and structures extending from 1-kpc dwarf galaxies in the local void to the morphologies of 200-Mpc filaments at $z\sim1$. A key aim of both surveys will be to compare comprehensive empirical observations of the spatial properties of galaxies, groups, and filaments, against state-of-the-art numerical simulations to distinguish between various Dark Matter models.


title: Distributional Smoothing with Virtual Adversarial Training

abstract: We propose local distributional smoothness (LDS), a new notion of smoothness for statistical model that can be used as a regularization term to promote the smoothness of the model distribution. We named the LDS based regularization as virtual adversarial training (VAT). The LDS of a model at an input datapoint is defined as the KL-divergence based robustness of the model distribution against local perturbation around the datapoint. VAT resembles adversarial training, but distinguishes itself in that it determines the adversarial direction from the model distribution alone without using the label information, making it applicable to semi-supervised learning. The computational cost for VAT is relatively low. For neural network, the approximated gradient of the LDS can be computed with no more than three pairs of forward and back propagations. When we applied our technique to supervised and semi-supervised learning for the MNIST dataset, it outperformed all the training methods other than the current state of the art method, which is based on a highly advanced generative model. We also applied our method to SVHN and NORB, and confirmed our method's superior performance over the current state of the art semi-supervised method applied to these datasets.


title: A Negative Answer to a Problem of Aldous on Determination of Exchangeable Sequences

abstract: We present results concerning when the joint distribution of an exchangeable sequence is determined by the marginal distributions of its partial sums. The question of whether or not this determination occurs was posed by David Aldous. We then consider related uniqueness problems, including a continuous time analog to the Aldous problem and a randomized univariate moment problem.


title: Covariance in models of loop quantum gravity: Gowdy systems

abstract: Recent results in the construction of anomaly-free models of loop quantum gravity have shown obstacles when local physical degrees of freedom are present. Here, a set of no-go properties is derived in polarized Gowdy models, raising the question whether these systems can be covariant beyond a background treatment. As a side product, it is shown that normal deformations in classical polarized Gowdy models can be Abelianized.


title: Rotating black holes in Einstein-Dilaton-Gauss-Bonnet gravity with finite coupling

abstract: Among various strong-curvature extensions to General Relativity, Einstein-Dilaton-Gauss-Bonnet gravity stands out as the only nontrivial theory containing quadratic curvature corrections while being free from the Ostrogradsky instability to any order in the coupling parameter. We derive an approximate stationary and axisymmetric black-hole solution of this gravitational theory in closed form, which is quadratic in the black-hole spin angular momentum and of seventh order in the coupling parameter of the theory. This extends previous work that obtained the corrections to the metric only at the leading order in the coupling parameter, and allows us to consider values of the coupling parameter close to the maximum permitted by theoretical constraints. We compute some geometrical properties of this solution, such as the dilaton charge, the moment of inertia and the quadrupole moment, and its geodesic structure, including the innermost-stable circular orbit and the epicyclic frequencies for massive particles. The latter represent a valuable tool to test General Relativity against strong-curvature corrections through observations of the electromagnetic spectrum of accreting black holes.


title: Closed Mean Curvature Self-Shrinking Surfaces of Generalized Rotational Type

abstract: For each $n\geq 2$ we construct a new closed embedded mean curvature self-shrinking hypersurface in $\mathbb{R}^{2n}$. These self-shrinkers are diffeomorphic to $S^{n-1}\times S^{n-1}\times S^1$ and are $SO(n)\times SO(n)$ invariant. The method is inspired by constructions of Hsiang and these surfaces generalize self-shrinking "tori" diffeomorphic to $S^{n-1}\times S^1$ constructed by Angenent.


title: The automorphism groups of Enriques surfaces covered by symmetric quartic surfaces

abstract: Let $S$ be the (minimal) Enriques surface obtained from the symmetric quartic surface $(\sum_{i<j}x_ix_j)^2=kx_1x_2x_3x_4$ in $\mathbb{P}^3$ with $k\neq 0,4,36$, by taking quotient of the Cremona action $(x_i) \mapsto (1/x_i)$. The automorphism group of $S$ is a semi-direct product of a free product $\mathcal{F}$ of four involutions and the symmetric group $\mathfrak{S}_4$. Up to action of $\mathcal{F}$, there are exactly $29$ elliptic pencils on $S$.


title: Temperatures in transient climates: improved methods for simulations with evolving temporal covariances

abstract: Future climate change impacts depend on temperatures not only through changes in their means but also through changes in their variability. General circulation models (GCMs) predict changes in both means and variability; however, GCM output should not be used directly as simulations for impacts assessments because GCMs do not fully reproduce present-day temperature distributions. This paper addresses an ensuing need for simulations of future temperatures that combine both the observational record and GCM projections of changes in means and temporal covariances. Our perspective is that such simulations should be based on transforming observations to account for GCM projected changes, in contrast to methods that transform GCM output to account for discrepancies with observations. Our methodology is designed for simulating transient (non-stationary) climates, which are evolving in response to changes in CO$_2$ concentrations (as is the Earth at present). This work builds on previously described methods for simulating equilibrium (stationary) climates. Since the proposed simulation relies on GCM projected changes in covariance, we describe a statistical model for the evolution of temporal covariances in a GCM under future forcing scenarios, and apply this model to an ensemble of runs from one GCM, CCSM3. We find that, at least in CCSM3, changes in the local covariance structure can be explained as a function of the regional mean change in temperature and the rate of change of warming. This feature means that the statistical model can be used to emulate the evolving covariance structure of GCM temperatures under scenarios for which the GCM has not been run. When combined with an emulator for mean temperature, our methodology can simulate evolving temperatures under such scenarios, in a way that accounts for projections of changes while still retaining fidelity with the observational record.


title: On the Bloch-Kato conjecture for the Asai L-function

abstract: Following Ribet's seminal 1976 paper there have been many results employing congruences between stable cuspforms and lifted forms to construct non-split extensions of Galois representations. We show how this strategy can be extended to construct elements in the Bloch-Kato Selmer groups of +/--Asai (or tensor induction) representations associated to Bianchi modular forms. We prove, in particular, how the Galois representation associated to a suitable low weight Siegel modular form produces elements in the Selmer group for exactly the Asai representation (+ or -) that is critical in the sense of Deligne. We further outline a strategy using an orthogonal-symplectic theta correspondence to prove the existence of such a Siegel modular form and explain why we expect this to be governed by the divisibility of the near-central critical value of the Asai L-function, in accordance with the Bloch-Kato conjecture.


title: N=2 gauge theories, instanton moduli spaces and geometric representation theory

abstract: We survey some of the AGT relations between N=2 gauge theories in four dimensions and geometric representations of symmetry algebras of two-dimensional conformal field theory on the equivariant cohomology of their instanton moduli spaces. We treat the cases of gauge theories on both flat space and ALE spaces in some detail, and with emphasis on the implications arising from embedding them into supersymmetric theories in six dimensions. Along the way we construct new toric noncommutative ALE spaces using the general theory of complex algebraic deformations of toric varieties, and indicate how to generalise the construction of instanton moduli spaces. We also compute the equivariant partition functions of topologically twisted six-dimensional Yang-Mills theory with maximal supersymmetry in a general Omega-background, and use the construction to obtain novel reductions to theories in four dimensions.

categories: hep-th math-ph math.AG math.MP math.QA math.RT


title: Wavelength tuning and stabilization of microring-based filters using silicon in-resonator photoconductive heaters

abstract: We demonstrate that n-doped resistive heaters in silicon waveguides show photoconductive effects with high responsivities. These photoconductive heaters, integrated into microring resonator (MRR)-based filters, were used to automatically tune and stabilize the filter's resonance wavelength to the input laser's wavelength. This is achieved without requiring dedicated defect implantations, additional material depositions, dedicated photodetectors, or optical power tap-outs. Automatic wavelength stabilization of first-order MRR and second-order series-coupled MRR filters is experimentally demonstrated. Open eye diagrams were obtained for data transmission at 12.5 Gb/s while the temperature was varied by 5 C at a rate of 0.28 C/s. We theoretically show that series-coupled MRR-based filters of any order can be automatically tuned by using photoconductive heaters to monitor the light intensity in each MRR, and sequentially aligning the resonance of each MRR to the laser's wavelength.


title: Improving the numerical stability of fast matrix multiplication

abstract: Fast algorithms for matrix multiplication, namely those that perform asymptotically fewer scalar operations than the classical algorithm, have been considered primarily of theoretical interest. Apart from Strassen's original algorithm, few fast algorithms have been efficiently implemented or used in practical applications. However, there exist many practical alternatives to Strassen's algorithm with varying performance and numerical properties. Fast algorithms are known to be numerically stable, but because their error bounds are slightly weaker than the classical algorithm, they are not used even in cases where they provide a performance benefit. We argue in this paper that the numerical sacrifice of fast algorithms, particularly for the typical use cases of practical algorithms, is not prohibitive, and we explore ways to improve the accuracy both theoretically and empirically. The numerical accuracy of fast matrix multiplication depends on properties of the algorithm and of the input matrices, and we consider both contributions independently. We generalize and tighten previous error analyses of fast algorithms and compare their properties. We discuss algorithmic techniques for improving the error guarantees from two perspectives: manipulating the algorithms, and reducing input anomalies by various forms of diagonal scaling. Finally, we benchmark performance and demonstrate our improved numerical accuracy.


title: Segre classes and Hilbert schemes of points

abstract: We prove a closed formula for the integrals of the top Segre classes of tautological bundles over the Hilbert schemes of points of a K3 surface X. We derive relations among the Segre classes via equivariant localization of the virtual fundamental classes of Quot schemes on X. The resulting recursions are then solved explicitly. The formula proves the K-trivial case of a conjecture of M. Lehn from 1999. The relations determining the Segre classes fit into a much wider theory. By localizing the virtual classes of certain relative Quot schemes on surfaces, we obtain new systems of relations among tautological classes on moduli spaces of surfaces and their relative Hilbert schemes of points. For the moduli of K3 sufaces, we produce relations intertwining the kappa classes and the Noether-Lefschetz loci. Conjectures are proposed.


title: Self-consistent T-matrix approach to Bose-glass in one dimension

abstract: Based on self-consistent T-matrix approximation (SCTMA), the Mott insulator - Bose-glass phase transition of one-dimensional noninteracting bosons subject to binary disorder is considered. The results obtained differ essentially from the conventional case of box distribution of the disorder. The Mott insulator - Bose-glass transition is found to exist at arbitrary strength of the impurities. The single particle density of states is calculated within the frame of SCTMA, numerically, and (for infinite disorder strength) analytically. A good agreement is reported between all three methods. We speculate that certain types of the interaction may lead to the Bose-glass - superfluid transition absent in our theory.


title: Frozen and almost frozen structures in the compressible rotating fluid

abstract: We study a possibility of existence of localized two-dimensional structures, both smooth and non-smooth, that can move without significant change of their shape in a leading stream of compressible barotropic fluid on a rotating plane.


title: Sticky Seeding in Discrete-Time Reversible-Threshold Networks

abstract: When nodes can repeatedly update their behavior (as in agent-based models from computational social science or repeated-game play settings) the problem of optimal network seeding becomes very complex. For a popular spreading-phenomena model of binary-behavior updating based on thresholds of adoption among neighbors, we consider several planning problems in the design of \textit{Sticky Interventions}: when adoption decisions are reversible, the planner aims to find a Seed Set where temporary intervention leads to long-term behavior change. We prove that completely converting a network at minimum cost is $\Omega(\ln (OPT) )$-hard to approximate and that maximizing conversion subject to a budget is $(1-\frac{1}{e})$-hard to approximate. Optimization heuristics which rely on many objective function evaluations may still be practical, particularly in relatively-sparse networks: we prove that the long-term impact of a Seed Set can be evaluated in $O(|E|^2)$ operations. For a more descriptive model variant in which some neighbors may be more influential than others, we show that under integer edge weights from $\{0,1,2,...,k\}$ objective function evaluation requires only $O(k|E|^2)$ operations. These operation bounds are based on improvements we give for bounds on time-steps-to-convergence under discrete-time reversible-threshold updates in networks.


title: Interstellar dust charging in dense molecular clouds: cosmic ray effects

abstract: The local cosmic-ray (CR) spectra are calculated for typical characteristic regions of a cold dense molecular cloud, to investigate two so far neglected mechanisms of dust charging: collection of suprathermal CR electrons and protons by grains, and photoelectric emission from grains due to the UV radiation generated by CRs. The two mechanisms add to the conventional charging by ambient plasma, produced in the cloud by CRs. We show that the CR-induced photoemission can dramatically modify the charge distribution function for submicron grains. We demonstrate the importance of the obtained results for dust coagulation: While the charging by ambient plasma alone leads to a strong Coulomb repulsion between grains and inhibits their further coagulation, the combination with the photoemission provides optimum conditions for the growth of large dust aggregates in a certain region of the cloud, corresponding to the densities $n(\mathrm{H_2})$ between $\sim10^4$ cm$^{-3}$ and $\sim10^6$ cm$^{-3}$. The charging effect of CR is of generic nature, and therefore is expected to operate not only in dense molecular clouds but also in the upper layers and the outer parts of protoplanetary discs.


title: Notes on the vector adelic Grassmannian

abstract: These are notes about the connection between the Gibbons-Hermsen system and the multi-component KP hierarchy: they were intended as a first sketch of a paper on that subject, but since it seems unlikely that I will ever write such a paper I have decided to make them available in their present form. The notes were compiled in 2009, and have not been revised since then.


title: Global solutions for a supercritical drift-diffusion equation

abstract: We study the global existence of solutions to a one-dimensional drift-diffusion equation with logistic term, generalizing the classical parabolic-elliptic Keller-Segel aggregation equation arising in mathematical biology. In particular, we prove that there exists a global weak solution, if the order of the fractional diffusion $\alpha \in (1-c_1, 2]$, where $c_1>0$ is an explicit constant depending on the physical parameters present in the problem (chemosensitivity and strength of logistic damping). Furthermore, in the range $1-c_2<\alpha\leq 2$ with $0<c_2<c_1$, the solution is globally smooth. Let us emphasize that when $\alpha<1$, the diffusion is in the supercritical regime.


title: A new framework for dynamical models on multiplex networks

abstract: Many complex systems have natural representations as multi-layer networks. While these formulations retain more information than standard single-layer network models, there is not yet a fully developed theory for computing network metrics and statistics on these objects. We introduce a family of models of multiplex processes motivated by dynamical applications and investigate the properties of their spectra both theoretically and computationally. We study special cases of multiplex diffusion and Markov dynamics, using the spectral results to compute their rates of convergence. We use our framework to define a version of multiplex eigenvector centrality, which generalizes some existing notions in the literature. Last, we compare our operator to structurally-derived models on synthetic and real-world networks, helping delineate the contexts in which the different frameworks are appropriate.


title: Random processes and Central Limit Theorem in Besov spaces

abstract: We study sufficient conditions for the belonging of random process to certain Besov space and for the Central Limit Theorem (CLT) in these spaces. We investigate also the non-asymptotic tail behavior of normed sums of centered random independent variables (vectors) with values in these spaces. Main apparatus is the theory of mixed (anisotropic) Lebesgue-Riesz spaces, in particular so-called permutation inequality.


title: Ab Initio Derivation of Model Energy Density Functionals

abstract: I propose a simple and manageable method that allows for deriving coupling constants of model energy density functionals (EDFs) directly from ab initio calculations performed for finite fermion systems. A proof-of-principle application allows for linking properties of finite nuclei, determined by using the nuclear nonlocal Gogny functional, to the coupling constants of the quasilocal Skyrme functional. The method does not rely on properties of infinite fermion systems but on the ab initio calculations in finite systems. It also allows for quantifying merits of different model EDFs in describing the ab initio results.


title: Realization problems for limit cycles of planar polynomial vector fields

abstract: We show that for any finite configuration of closed curves $\Gamma\subset \mathbb{R}^2$, one can construct an explicit planar polynomial vector field that realizes $\Gamma$, up to homeomorphism, as the set of its limit cycles with prescribed periods, multiplicities and stabilities. The only obstruction given on this data is the obvious compatibility relation between the stabilities and the parity of the multiplicities. The constructed vector fields are Darboux integrable and admit a polynomial inverse integrating factor.


title: Cosmetic surgery in L-spaces and nugatory crossings

abstract: The cosmetic crossing conjecture (also known as the "nugatory crossing conjecture") asserts that the only crossing changes that preserve the oriented isotopy class of a knot in the 3-sphere are nugatory. We use the Dehn surgery characterization of the unknot to prove this conjecture for knots in integer homology spheres whose branched double covers are L-spaces satisfying a homological condition. This includes as a special case all alternating and quasi-alternating knots with square-free determinant. As an application, we prove the cosmetic crossing conjecture holds for all knots with at most nine crossings and provide new examples of knots, including pretzel knots, non-arborescent knots and symmetric unions for which the conjecture holds.


title: A note on the substructural hierarchy

abstract: We prove that all axiomatic extensions of the full Lambek calculus with exchange can be axiomatized by formulas on the $\mathcal N_3$ level of the substructural hierarchy.


title: SINR and Throughput Scaling in Ultradense Urban Cellular Networks

abstract: We consider a dense urban cellular network where the base stations (BSs) are stacked vertically as well as extending infinitely in the horizontal plane, resulting in a greater than two dimensional (2D) deployment. Using a dual-slope path loss model that is well supported empirically, we extend recent 2D coverage probability and potential throughput results to 3 dimensions. We prove that the "critical close-in path loss exponent" $\alpha_0$ where SINR eventually decays to zero is equal to the dimensionality $d$, i.e. $\alpha_0 \leq 3$ results in an eventual SINR of 0 in a 3D network. We also show that the potential (i.e. best case) aggregate throughput decays to zero for $\alpha_0 < d/2$. Both of these scaling results also hold for the more realistic case that we term ${3\rm{D}^{+}}$, where there are no BSs below the user, as in a dense urban network with the user on or near the ground.


title: Centralized and Distributed Newton Methods for Network Optimization and Extensions

abstract: We consider Newton methods for common types of single commodity and multi-commodity network flow problems. Despite the potentially very large dimension of the problem, they can be implemented using the conjugate gradient method and low-dimensional network operations, as shown nearly thirty years ago. We revisit these methods, compare them to more recent proposals, and describe how they can be implemented in a distributed computing system. We also discuss generalizations, including the treatment of arc gains, linear side constraints, and related special structures.


title: Electronic Structure and the Properties of Phosphorene Systems

abstract: A single atomic layer of black phosphorus, phosphorene, was experimentally realized in 2014. It has a puckered honeycomb lattice structure and a semiconducting electronic structure. In the first part of this paper, we use a simple LCAO model, and discuss qualitatively the electronic structure of phosphorene systems under electric and magnetic fields, especially, noting their midgap edge states. The next part is spent for the review of the research progress on phosphorene in the past one year since its appearance in 2014. Phosphorene has been a typical object to study the semiconductor physics in atomic layers.


title: CHANG-ES V: Nuclear Radio Outflow in a Virgo Cluster Spiral after a Tidal Disruption Event

abstract: We have observed the Virgo Cluster spiral galaxy, NGC~4845, at 1.6 and 6 GHz using the Karl G. Jansky Very Large Array, as part of the `Continuum Halos in Nearby Galaxies -- an EVLA Survey' (CHANG-ES). The source consists of a bright unresolved core with a surrounding weak central disk (1.8 kpc diameter). The core is variable over the 6 month time scale of the CHANG-ES data and has increased by a factor of $\approx$ 6 since 1995. The wide bandwidths of CHANG-ES have allowed us to determine the spectral evolution of this core which peaks {\it between} 1.6 and 6 GHz (it is a GigaHertz-peaked spectrum source).We show that the spectral turnover is dominated by synchrotron self-absorption and that the spectral evolution can be explained by adiabatic expansion (outflow), likely in the form of a jet or cone. The CHANG-ES observations serendipitously overlap in time with the hard X-ray light curve obtained by Nikolajuk \& Walter (2013) which they interpret as due to a tidal disruption event (TDE) of a super-Jupiter mass object around a $10^5\, M_\odot$ black hole. We outline a standard jet model, provide an explanation for the observed circular polarization, and quantitatively suggest a link between the peak radio and peak X-ray emission via inverse Compton upscattering of the photons emitted by the relativistic electrons. We predict that it should be possible to resolve a young radio jet via VLBI as a result of this nearby TDE.


title: Measurement of returns to scale with weight restrictions: How to deal with the occurrence of multiple supporting hyperplanes?

abstract: While measuring returns to scale in data envelopment analysis (DEA), the occurrence of multiple supporting hyperplanes has been perceived as a crucial issue. To deal effectively with this in weigh restrictions (WR) framework, we first precisely identify the two potential sources of its origin in the non-radial DEA setting. If the firm under evaluation P is WR-efficient, the non-full-dimensionality of its corresponding P-face-a face of minimum dimension that contains P-is the unique source of origin (problem Type I). Otherwise, the occurrence of multiple WR-projections or, correspondingly, multiple P-faces becomes the other additional source of origin (problem Type II). To the best of our knowledge, while problem Type I has been correctly addressed in the literature, the simultaneous occurrences of problems Types I and II have not effectively been coped with. Motivated by this, we first show that problem Type II can be circumvented by using a P-face containing all the P-faces. Based on this finding, we then devise a two-stage linear programming based procedure by extending a recently developed methodology by [Mehdiloozad, M., Mirdehghan, S. M., Sahoo, B. K., & Roshdi, I. (2015). On the identification of the global reference set in data envelopment analysis. European Journal of Operational Research, 245, 779-788]. Our proposed method inherits all the advantages of the recently developed method and is computationally efficient. The practical applicability of our proposed method is demonstrated through a real-world data set of 80 Iranian secondary schools.


title: Galactic Center Minispiral: Interaction Modes of Neutron Stars

abstract: Streams of gas and dust in the inner parsec of the Galactic center form a distinct feature known as the Minispiral, which has been studied in radio waveband as well as in the infrared wavebands. A large fraction of the Minispiral gas is ionized by radiation of OB stars present in the Nuclear Star Cluster (NSC). Based on the inferred mass in the innermost parsec ($\sim 10^6$ solar masses), over $\sim 10^3$ -- $10^4$ neutron stars should move in the sphere of gravitational influence of the SMBH. We estimate that a fraction of them propagate through the denser, ionized medium concentrated mainly along the three arms of the Minispiral. Based on the properties of the gaseous medium, we discuss different interaction regimes of magnetised neutron stars passing through this region. Moreover, we sketch expected observational effects of these regimes. The simulation results may be applied to other galactic nuclei hosting NSC, where the expected distribution of the interaction regimes is different across different galaxy types.


title: Application of Real-time Digitization Technique in Beam Measurement for Accelerators

abstract: Beam measurement is very important for accelerators. With the development of analog-to-digital conversion techniques, digital beam measurement becomes a research hot spot. IQ (In-phase & Quadrature-phase) analysis based method is an important beam measurement approach, the principle of which is presented and discussed in this paper. The State Key Laboratory of Particle Detection and Electronics in University of Science and Technology of China has devoted efforts to the research of digital beam measurement based on high-speed high-resolution analog-to-digital conversion, and a series of beam measurement instruments were designed for China Spallation Neutron Source (CSNS), Shanghai Synchrotron Radiation Facility (SSRF), and Accelerator Driven Sub-critical system (ADS).


title: On Infrared Excesses Associated With Li-Rich K Giants

abstract: Infrared (IR) excesses around K-type red giants (RGs) have previously been discovered using IRAS data, and past studies have suggested a link between RGs with overabundant Li and IR excesses, implying the ejection of circumstellar shells or disks. We revisit the question of IR excesses around RGs using higher spatial resolution IR data, primarily from WISE. Our goal was to elucidate the link between three unusual RG properties: fast rotation, enriched Li, and IR excess. We have 316 targets thought to be K giants, about 40% of which we take to be Li-rich. In 24 cases with previous detections of IR excess at low spatial resolution, we believe that source confusion is playing a role, in that either (a) the source that is bright in the optical is not responsible for the IR flux, or (b) there is more than one source responsible for the IR flux as measured in IRAS. We looked for IR excesses in the remaining sources, identifying 28 that have significant IR excesses by ~20 um (with possible excesses for 2 additional sources). There appears to be an intriguing correlation in that the largest IR excesses are all in Li-rich K giants, though very few Li-rich K giants have IR excesses (large or small). These largest IR excesses also tend to be found in the fastest rotators. There is no correlation of IR excess with the carbon isotopic ratio, 12C/13C. IR excesses by 20 um, though relatively rare, are at least twice as common among our sample of Li-rich K giants. If dust shell production is a common by-product of Li enrichment mechanisms, these observations suggest that the IR excess stage is very short-lived, which is supported by theoretical calculations. Conversely, the Li-enrichment mechanism may only occasionally produce dust, and an additional parameter (e.g., rotation) may control whether or not a shell is ejected.


title: Hyperfine transitions of 13CN from pre-protostellar sources

abstract: Recent quantum mechanical calculations of rate coefficients for collisional transfer of population between the hyperfine states of 13CN enable their population densities to be determined. We have computed the relative populations of the hyperfine states of the N = 0, 1, 2 rotational states for kinetic temperatures 5 $\le$ T $\le$ 20 K and molecular hydrogen densities 1 $\le$ n(H2) $\le$10 10 cm --3. Spontaneous and induced radiative transitions were taken into account. Our calculations show that, if the lines are optically thin, the populations of the hyperfine states, F, within a given rotational manifold are proportional to their statistical weights, (2F + 1) -- i.e. in local thermodynamic equilibrium -- over the entire range of densities. We have re-analysed IRAM 30 m telescope observations of 13CN hyperfine transitions (N = 1 $\rightarrow$ 0) in four starless cores. A comparison of these observations with our calculations confirms that the hyperfine states are statistically populated in these sources.


title: Fast, Provable Algorithms for Isotonic Regression in all $\ell_{p}$-norms

abstract: Given a directed acyclic graph $G,$ and a set of values $y$ on the vertices, the Isotonic Regression of $y$ is a vector $x$ that respects the partial order described by $G,$ and minimizes $||x-y||,$ for a specified norm. This paper gives improved algorithms for computing the Isotonic Regression for all weighted $\ell_{p}$-norms with rigorous performance guarantees. Our algorithms are quite practical, and their variants can be implemented to run fast in practice.


title: Monodromy and normal forms

abstract: We discuss the history of the monodromy theorem, starting from Weierstra\ss, and the concept of monodromy group. From this viewpoint we compare then the Weierstra\ss , the Legendre and other normal forms for elliptic curves, explaining their geometric meaning and distinguishing them by their stabilizer in P SL(2,Z) and their monodromy. Then we focus on the birth of the concept of the Jacobian variety, and the geometrization of the theory of Abelian functions and integrals. We end illustrating the methods of complex analysis in the simplest issue, the difference equation $f(z) = g(z+1) - g(z)$ on $\mathbb C$.


title: New Class of Pseudorandom D-sequences to Generate Cryptographic Keys

abstract: This article proposes the use of pseudorandom decimal sequences that have gone through an additional random mapping for the design of cryptographic keys. These sequences are generated by starting with inverse prime expansions in base 3 and then replacing 2 in the expansion with either the string 01 or 10 based on the preceding bit, which represents a general mapping. We show that the resulting pseudorandom sequences have excellent autocorrelation properties. Such a method can be extended to inverse prime expansions to any base.


title: Connecting the Dots: Tracking Galaxy Evolution Using Constant Cumulative Number Density at 3<z<7

abstract: Using the cosmological smoothed particle hydrodynamical code GADGET-3 we make a realistic assessment of the technique of using constant cumulative number density as a tracer of galaxy evolution at high redshift. We find that over a redshift range of $3\leq z \leq7$ one can on average track the growth of the stellar mass of a population of galaxies selected from the same cumulative number density bin to within $\sim 0.20$ dex. Over the stellar mass range we probe ($10^{10.39}\leq M_s/M_\odot \leq 10^{10.75}$ at $z =$ 3 and $10^{8.48}\leq M_s/M_\odot \leq 10^{9.55}$ at $z =$ 7) one can reduce this bias by selecting galaxies based on an evolving cumulative number density. We find the cumulative number density evolution exhibits a trend towards higher values which can be quantified by simple linear formulations going as $-0.10\Delta z$ for descendants and $0.12\Delta z$ for progenitors. Utilizing such an evolving cumulative number density increases the accuracy of descendant/progenitor tracking by a factor of $\sim2$. This result is in excellent agreement, within $0.10$ dex, with abundance matching results over the same redshift range. However, we find that our more realistic cosmological hydrodynamic simulations produce a much larger scatter in descendant/progenitor stellar masses than previous studies, particularly when tracking progenitors. This large scatter makes the application of either the constant cumulative number density or evolving cumulative number density technique limited to average stellar masses of populations only, as the diverse mass assembly histories caused by stochastic physical processes such as gas accretion, mergers, and star formation of individual galaxies will lead to a larger scatter in other physical properties such as metallicity and star-formation rate.


title: Hereditary subshifts whose simplex of invariant measures is Poulsen

abstract: We give a sufficient condition for the simplex of invariant measures for a hereditary system to be Poulsen. In particular, we show that this simplex is Poulsen in case of positive entropy $\mathscr{B}$-free systems. We also give an example of a positive entropy hereditary system whose simplex of invariant measures is not Poulsen.


title: A Dynamic Approach to Complex Vector Reconstruction from Intensity Measurements

abstract: In this article we propose a dynamic approach to complex vector reconstruction in the context of quantum tomography. There are two underlying assumptions behind our reasoning. The first one claims that the evolution of a d-level pure quantum system is given by the Schr\"odinger equation with a time-independent Hamiltonian and the other states that the knowledge about the quantum state is provided from projective measurements, also called intensity measurements. The problem of quantum state reconstruction is connected with the notion known as phase retrieval -- recovering a complex vector from modulus of inner product with frame vectors. Phase retrieval is widely studied in many areas of science but still there is a number of problems that remain to be answered. We believe that the dynamic approach can significantly improve the effectiveness of the vector reconstruction as it aims to decrease the number of distinct projectors by taking advantage of the knowledge about the evolution. General conditions and observations are applied to a specific unitary evolution model.


title: Superdiffusion dominates intracellular particle motion in the supercrowded space of pathogenic Acanthamoeba castellanii

abstract: Acanthamoebae are free-living protists and human pathogens, whose cellular functions and pathogenicity strongly depend on the transport of intracellular vesicles and granules through the cytosol. Using high-speed live cell imaging in combination with single-particle tracking analysis, we show here that the motion of endogenous intracellular particles in the size range from a few hundred nanometers to several micrometers in Acanthamoeba castellanii is strongly superdiffusive and influenced by cell locomotion, cytoskeletal elements, and myosin II. We demonstrate that cell locomotion significantly contributes to intracellular particle motion, but is clearly not the only origin of superdiffusivity. By analyzing the contribution of microtubules, actin, and myosin II motors we show that myosin II is a major driving force of intracellular motion in A. castellanii. The cytoplasm of A. castellanii is supercrowded with intracellular vesicles and granules, such that significant intracellular motion can only be achieved by actively driven motion, while purely thermally driven diffusion is negligible.


title: Stability of cooperation under image scoring in group interactions

abstract: Image scoring sustains cooperation in the repeated two-player prisoner's dilemma through indirect reciprocity, even though defection is the uniquely dominant selfish behaviour in the one-shot game. Many real-world dilemma situations, however, firstly, take place in groups and, secondly, lack the necessary transparency to inform subjects reliably of others' individual past actions. Instead, there is revelation of information regarding groups, which allows for `group scoring' but not for image scoring. Here, we study how sensitive the positive results related to image scoring are to information based on group scoring. We combine analytic results and computer simulations to specify the conditions for the emergence of cooperation. We show that under pure group scoring, that is, under the complete absence of image-scoring information, cooperation is unsustainable. Away from this extreme case, however, the necessary degree of image scoring relative to group scoring depends on the population size and is generally very small. We thus conclude that the positive results based on image scoring apply to a much broader range of informational settings that are relevant in the real world than previously assumed.


title: CMB and BAO constraints for an induced gravity dark energy model with a quartic potential

abstract: We study the predictions for structure formation in an induced gravity dark energy model with a quartic potential. By developing a dedicated Einstein-Boltzmann code, we study self-consistently the dynamics of homogeneous cosmology and of linear perturbations without using any parametrization. By evolving linear perturbations with initial conditions in the radiation era, we accurately recover the quasi-static analytic approximation in the matter dominated era. We use Planck 2013 data and a compilation of baryonic acoustic oscillation (BAO) data to constrain the coupling $\gamma$ to the Ricci curvature and the other cosmological parameters. By connecting the gravitational constant in the Einstein equation to the one measured in a Cavendish-like experiment, we find $\gamma < 0.0012$ at 95% CL with Planck 2013 and BAO data. This is the tightest cosmological constraint on $\gamma$ and on the corresponding derived post-Newtonian parameters. Because of a degeneracy between $\gamma$ and the Hubble constant $H_0$, we show how larger values for $\gamma$ are allowed, but not preferred at a significant statistical level, when local measurements of $H_0$ are combined in the analysis with Planck 2013 data.


title: Liouville quantum gravity and the Brownian map I: The QLE(8/3,0) metric

abstract: Liouville quantum gravity (LQG) and the Brownian map (TBM) are two distinct models of measure-endowed random surfaces. LQG is defined in terms of a real parameter $\gamma$, and it has long been believed that when $\gamma = \sqrt{8/3}$, the LQG sphere should be equivalent (in some sense) to TBM. However, the LQG sphere comes equipped with a conformal structure, and TBM comes equipped with a metric space structure, and endowing either one with the other's structure has been an open problem for some time. This paper is the first in a three-part series that unifies LQG and TBM by endowing each object with the other's structure and showing that the resulting laws agree. The present work uses a form of the quantum Loewner evolution (QLE) to construct a metric on a dense subset of a $\sqrt{8/3}$-LQG sphere and to establish certain facts about the law of this metric, which are in agreement with similar facts known for TBM. The subsequent papers will show that this metric extends uniquely and continuously to the entire $\sqrt{8/3}$-LQG surface and that the resulting measure-endowed metric space is TBM.


title: Correlated Random Measures

abstract: We develop correlated random measures, random measures where the atom weights can exhibit a flexible pattern of dependence, and use them to develop powerful hierarchical Bayesian nonparametric models. Hierarchical Bayesian nonparametric models are usually built from completely random measures, a Poisson-process based construction in which the atom weights are independent. Completely random measures imply strong independence assumptions in the corresponding hierarchical model, and these assumptions are often misplaced in real-world settings. Correlated random measures address this limitation. They model correlation within the measure by using a Gaussian process in concert with the Poisson process. With correlated random measures, for example, we can develop a latent feature model for which we can infer both the properties of the latent features and their dependency pattern. We develop several other examples as well. We study a correlated random measure model of pairwise count data. We derive an efficient variational inference algorithm and show improved predictive performance on large data sets of documents, web clicks, and electronic health records.


title: Physical Properties of a Pilot Sample of Spectroscopic Close Pair Galaxies at z ~ 2

abstract: We use Hubble Space Telescope Wide-Field Camera 3 (HST/WFC3) rest-frame optical imaging to select a pilot sample of star-forming galaxies in the redshift range z = 2.00-2.65 whose multi-component morphologies are consistent with expectations for major mergers. We follow up this sample of major merger candidates with Keck/NIRSPEC longslit spectroscopy obtained in excellent seeing conditions (FWHM ~ 0.5 arcsec) to obtain Halpha-based redshifts of each of the morphological components in order to distinguish spectroscopic pairs from false pairs created by projection along the line of sight. Of six pair candidates observed, companions (estimated mass ratios 5:1 and 7:1) are detected for two galaxies down to a 3sigma limiting emission-line flux of ~ 10^{-17} erg/s/cm2. This detection rate is consistent with a ~ 50% false pair fraction at such angular separations (1-2 arcsec), and with recent claims that the star-formation rate (SFR) can differ by an order of magnitude between the components in such mergers. The two spectroscopic pairs identified have total SFR, SFR surface densities, and stellar masses consistent on average with the overall z ~ 2 star forming galaxy population.


title: Continuous and discontinuous topological quantum phase transitions

abstract: The continuous quantum phase transition between noninteracting, time-reversal symmetric topological and trivial insulators in three dimensions is described by the massless Dirac fermion. We address the stability of this quantum critical point against short range electronic interactions by using renormalization group analysis and mean field theory. For sufficiently weak interactions, we show that the nature of the direct transition remains unchanged. Beyond a critical strength of interactions we find that either (i) there is a direct first order transition between two time reversal symmetric insulators or (ii) the direct transition is eliminated by an intervening time reversal and inversion odd "axionic" insulator. We also demonstrate the existence of an interaction driven first order quantum phase transition between topological and trivial gapped states in lower dimensions.


title: Theory of Programs

abstract: A general theory of programs, programming and programming languages built up from a few concepts of elementary set theory. Derives, as theorems, properties treated as axioms by classic approaches to programming. Covers sequential and concurrent computation.


title: Disk-stability constraints on the number of arms in spiral galaxies

abstract: A model based on disk-stability criteria to determine the number of spiral arms of a general disk galaxy with an exponential disk, a bulge and a dark halo described by a Hernquist model is presented. The multifold rotational symmetry of the spiral structure can be evaluated analytically once the structural properties of a galaxy, such as the circular speed curve, and the disk surface brightness, are known. By changing the disk mass, these models are aimed at varying the critical length scale parameter of the disk and lead to a different spiral morphology in agreement with prior models. Previous studies based on the swing amplification and disk stability have been applied to constrain the mass-to-light ratio in disk galaxies. This formalism provides an analytic expression to estimate the number of arms expected by swing amplification making its application straight-forward to large surveys. It can be applied to predict the number of arms in the Milky Way as a function of radius and to constrain the mass-to-light ratio in disk galaxies for which photometric and kinematic measurements are available, like in the DiskMass survey. Hence, the halo contribution to the total mass in the inner parts of disk galaxies can be inferred in light of the ongoing and forthcoming surveys.


title: Prime Focus Spectrograph for the Subaru telescope: massively multiplexed optical and near-infrared fiber spectrograph

abstract: The Prime Focus Spectrograph (PFS) is an optical/near-infrared multifiber spectrograph with 2394 science fibers distributed across a 1.3-deg diameter field of view at the Subaru 8.2-m telescope. The wide wavelength coverage from 0.38 {\mu}m to 1.26 {\mu}m, with a resolving power of 3000, simultaneously strengthens its ability to target three main survey programs: cosmology, galactic archaeology and galaxy/AGN evolution. A medium resolution mode with a resolving power of 5000 for 0.71 {\mu}m to 0.89 {\mu}m will also be available by simply exchanging dispersers. We highlight some of the technological aspects of the design. To transform the telescope focal ratio, a broad-band coated microlens is glued to each fiber tip. A higher transmission fiber is selected for the longest part of the cable system, optimizing overall throughput; a fiber with low focal ratio degradation is selected for the fiber-positioner and fiber-slit components, minimizing the effects of fiber movements and fiber bending. Fiber positioning will be performed by a positioner consisting of two stages of piezo-electric rotary motors. The positions of these motors are measured by taking an image of artificially back-illuminated fibers with the metrology camera located in the Cassegrain container; the fibers are placed in the proper location by iteratively measuring and then adjusting the positions of the motors. Target light reaches one of the four identical fast-Schmidt spectrograph modules, each with three arms. The PFS project has passed several project-wide design reviews and is now in the construction phase.


title: First discoveries of z~6 quasars with the Kilo Degree Survey and VISTA Kilo-Degree Infrared Galaxy survey

abstract: We present the results of our first year of quasar search in the on-going ESO public Kilo Degree Survey (KiDS) and VISTA Kilo-Degree Infrared Galaxy (VIKING) surveys. These surveys are among the deeper wide-field surveys that can be used to uncovered large numbers of z~6 quasars. This allows us to probe a more common population of z~6 quasars that is fainter than the well-studied quasars from the main Sloan Digital Sky Survey. From this first set of combined survey catalogues covering ~250 deg^2 we selected point sources down to Z_AB=22 that had a very red i-Z (i-Z>2.2) colour. After follow-up imaging and spectroscopy, we discovered four new quasars in the redshift range 5.8<z<6.0. The absolute magnitudes at a rest-frame wavelength of 1450 A are between -26.6 < M_1450 < -24.4, confirming that we can find quasars fainter than M^*, which at z=6 has been estimated to be between M^*=-25.1 and M^*=-27.6. The discovery of 4 quasars in 250 deg^2 of survey data is consistent with predictions based on the z~6 quasar luminosity function. We discuss various ways to push the candidate selection to fainter magnitudes and we expect to find about 30 new quasars down to an absolute magnitude of M_1450=-24. Studying this homogeneously selected faint quasar population will be important to gain insight into the onset of the co-evolution of the black holes and their stellar hosts.


title: A Cyclic Universe Approach to Fine Tuning

abstract: We present a closed bouncing universe model where the value of coupling constants is set by the dynamics of a ghost-like dilatonic scalar field. We show that adding a periodic potential for the scalar field leads to a cyclic Friedmann universe where the values of the couplings vary randomly from one cycle to the next. While the shuffling of values for the couplings happens during the bounce, within each cycle their time-dependence remains safely within present observational bounds for physically-motivated values of the model parameters. Our model presents an alternative to solutions of the fine tuning problem based on string landscape scenarios.


title: Dusty galaxies and the degeneracy between their dust distributions and the attenuation formula

abstract: Do spatial distributions of dust grains in galaxies have typical forms, as do spatial distributions of stars? We investigate whether or not the distributions resemble uniform foreground screens, as commonly assumed by the high-redshift galaxy community. We use rest-frame infrared, ultraviolet, and H$\alpha$ line luminosities of dust-poor and dusty galaxies at z ~ 0 and z ~ 1 to compare measured H$\alpha$ escape fractions with those predicted by the Calzetti attenuation formula. The predictions, based on UV escape fractions, overestimate the measured H$\alpha$ escape fractions for all samples. The interpretation of this result for dust-poor z ~ 0 galaxies is that regions with ionizing stars have more dust than regions with nonionizing UV-emitting stars. Dust distributions for these galaxies are nonuniform. The interpretation of the overestimates for dusty galaxies at both redshifts is less clear. If the attenuation formula is inapplicable to these galaxies, perhaps the disagreements are unphysical; perhaps dust distributions in these galaxies are uniform. If the attenuation formula does apply, then dusty galaxies have nonuniform dust distributions; the distributions are more uniform than they are in dust-poor galaxies. A broad range of H$\alpha$ escape fractions at a given UV escape fraction for z ~ 1 dusty galaxies, if real, indicates diverse dust morphologies and the implausibility of the screen assumption.


title: Transient Astrophysics with the Square Kilometre Array

abstract: This chapter provides an overview of the possibilities for transient and variable-source astrophysics with the Square Kilometre Array. While subsequent chapters focus on the astrophysics of individual events, we focus on the broader picture, and how to maximise the science coming from the telescope. The SKA as currently designed will be a fantastic and ground-breaking facility for radio transient studies, but the scientifc yield will be dramatically increased by the addition of (i) near-real-time commensal searches of data streams for events, and (ii) on occasion, rapid robotic response to Target-of-Opprtunity style triggers.


title: External pressure-triggering of star formation in a disc galaxy: a template for positive feedback

abstract: Feedback from active galactic nuclei (AGN) has often been invoked both in simulations and in interpreting observations for regulating star formation and quenching cooling flows in massive galaxies. AGN activity can, however, also over-pressurise the dense star-forming regions of galaxies and thus enhance star formation, leading to a positive feedback effect. To understand this pressurisation better, we investigate the effect of an ambient external pressure on gas fragmentation and triggering of starburst activity by means of hydrodynamical simulations. We find that moderate levels of over-pressurisation of the galaxy boost the global star formation rate of the galaxy by an order of magnitude, turn stable discs unstable, and lead to significant fragmentation of the gas content of the galaxy, similar to what is observed in high redshift galaxies.


title: Towards a census of super-compact massive galaxies in the Kilo Degree Survey

abstract: The abundance of compact, massive, early-type galaxies (ETGs) provides important constraints to galaxy formation scenarios. Thanks to the area covered, depth, excellent spatial resolution and seeing, the ESO Public optical Kilo Degree Survey (KiDS), carried out with the VLT Survey Telescope (VST), offers a unique opportunity to conduct a complete census of the most compact galaxies in the Universe. This paper presents a first census of such systems from the first 156 square degrees of KiDS. Our analysis relies on g-, r-, and i-band effective radii ($R_{\rm e}$), derived by fitting galaxy images with PSF-convolved S\'ersic models, high-quality photometric redshifts, $z_{\rm phot}$, estimated from machine learning techniques, and stellar masses, $M_{\rm \star}$, calculated from KiDS aperture photometry. After massiveness ($M_{\rm \star} > 8 \times 10^{10}\, \rm M_{\odot}$) and compactness ($R_{\rm e} < 1.5 \, \rm kpc$ in g-, r- and i-bands) criteria are applied, a visual inspection of the candidates plus near-infrared photometry from VIKING-DR1 are used to refine our sample. The final catalog, to be spectroscopically confirmed, consists of 92 systems in the redshift range $z \sim 0.2-0.7$. This sample, which we expect to increase by a factor of ten over the total survey area, represents the first attempt to select massive super-compact ETGs (MSCGs) in KiDS. We investigate the impact of redshift systematics in the selection, finding that this seems to be a major source of contamination in our sample. A preliminary analysis shows that MSCGs exhibit negative internal colour gradients, consistent with a passive evolution of these systems. We find that the number density of MSCGs is only mildly consistent with predictions from simulations at $z>0.2$, while no such system is found at $z < 0.2$.


title: Theory of remote entanglement via quantum-limited phase-preserving amplification

abstract: We show that a quantum-limited phase-preserving amplifier can act as a which-path information eraser when followed by heterodyne detection. This 'beam splitter with gain' implements a continuous joint measurement on the signal sources. As an application, we propose heralded concurrent remote entanglement generation between two qubits coupled dispersively to separate cavities. Dissimilar qubit-cavity pairs can be made indistinguishable by simple engineering of the cavity driving fields providing further experimental flexibility and the prospect for scalability. Additionally, we find an analytic solution for the stochastic master equation, a quantum filter, yielding a thorough physical understanding of the nonlinear measurement process leading to an entangled state of the qubits. We determine the concurrence of the entangled states and analyze its dependence on losses and measurement inefficiencies.


title: Strong lens search in the ESO public Survey KiDS

abstract: We have started a systematic search of strong lens candidates in the ESO public survey KiDS based on the visual inspection of massive galaxies in the redshift range $0.1<z<0.5$. As a pilot program we have inspected 100 sq. deg., which overlap with SDSS and where there are known lenses to use as a control sample. Taking advantage of the superb image quality of VST/OmegaCAM, the colour information and accurate model subtracted images, we have found 18 new lens candidates, for which spectroscopic confirmation will be needed to confirm their lensing nature and study the mass profile of the lensing galaxies.


title: Charting Unexplored Dwarf Galaxy Territory With RR Lyrae

abstract: Observational bias against finding Milky Way (MW) dwarf galaxies at low Galactic latitudes (b < 20 deg) and at low surface brightnesses (fainter than 29 mag arcsec^-2, in the V-band) currently limits our understanding of the faintest limits of the galaxy luminosity function. This paper is a proof-of-concept that groups of two or more RR Lyrae stars reveal MW dwarf galaxies at d > 50 kpc in these unmined regions of parameter space, with only modest contamination from interloper groups when large halo structures are excluded. For example, a friends-of-friends (FOF) search with a linking length of 500 pc could reveal dwarf galaxies more luminous than M_V = -3.2 mag and with surface brightnesses as faint as 31 mag arcsec^-2 (or even fainter, depending on RR Lyrae specific frequency). Although existing public RR Lyrae catalogs are highly incomplete at d > 50 kpc and/or include <1% of the MW halo's volume, a FOF search reveals two known dwarfs (Bootes I and Sextans) and two dwarf candidate groups possibly worthy of follow-up. PanSTARRS 1 (PS1) may catalog RR Lyrae to 100 kpc which would include ~15% of predicted MW dwarf galaxies. Groups of PS1 RR Lyrae should therefore reveal very low surface brightness and low Galactic latitude dwarfs within its footprint, if they exist. With sensitivity to RR Lyrae to d >600 kpc, LSST is the only planned survey that will be both wide-field and deep enough to use RR Lyrae to definitively measure the Milky Way's dwarf galaxy census to extremely low surface brightnesses, and through the Galactic plane.


title: Dark matter halo properties of GAMA galaxy groups from 100 square degrees of KiDS weak lensing data

abstract: The Kilo-Degree Survey (KiDS) is an optical wide-field survey designed to map the matter distribution in the Universe using weak gravitational lensing. In this paper, we use these data to measure the density profiles and masses of a sample of $\sim \mathrm{1400}$ spectroscopically identified galaxy groups and clusters from the Galaxy And Mass Assembly (GAMA) survey. We detect a highly significant signal (signal-to-noise-ratio $\sim$ 120), allowing us to study the properties of dark matter haloes over one and a half order of magnitude in mass, from $M \sim 10^{13}-10^{14.5} h^{-1}\mathrm{M_{\odot}}$. We interpret the results for various subsamples of groups using a halo model framework which accounts for the mis-centring of the Brightest Cluster Galaxy (used as the tracer of the group centre) with respect to the centre of the group's dark matter halo. We find that the density profiles of the haloes are well described by an NFW profile with concentrations that agree with predictions from numerical simulations. In addition, we constrain scaling relations between the mass and a number of observable group properties. We find that the mass scales with the total r-band luminosity as a power-law with slope $1.16 \pm 0.13$ (1-sigma) and with the group velocity dispersion as a power-law with slope $1.89 \pm 0.27$ (1-sigma). Finally, we demonstrate the potential of weak lensing studies of groups to discriminate between models of baryonic feedback at group scales by comparing our results with the predictions from the Cosmo-OverWhelmingly Large Simulations (Cosmo-OWLS) project, ruling out models without AGN feedback.


title: Galaxy evolution within the Kilo-Degree Survey

abstract: The ESO Public Kilo-Degree Survey (KiDS) is an optical wide-field imaging survey carried out with the VLT Survey Telescope and the OmegaCAM camera. KiDS will scan 1500 square degrees in four optical filters (u, g, r, i). Designed to be a weak lensing survey, it is ideal for galaxy evolution studies, thanks to the high spatial resolution of VST, the good seeing and the photometric depth. The surface photometry have provided with structural parameters (e.g. size and S\'ersic index), aperture and total magnitudes have been used to derive photometric redshifts from Machine learning methods and stellar masses/luminositites from stellar population synthesis. Our project aimed at investigating the evolution of the colour and structural properties of galaxies with mass and environment up to redshift $z \sim 0.5$ and more, to put constraints on galaxy evolution processes, as galaxy mergers.


title: The masses of satellites in GAMA galaxy groups from 100 square degrees of KiDS weak lensing data

abstract: We use the first 100 sq. deg. of overlap between the Kilo-Degree Survey (KiDS) and the Galaxy And Mass Assembly (GAMA) survey to determine the galaxy halo mass of ~10,000 spectroscopically-confirmed satellite galaxies in massive ($M > 10^{13}h^{-1}{\rm M}_\odot$) galaxy groups. Separating the sample as a function of projected distance to the group centre, we jointly model the satellites and their host groups with Navarro-Frenk-White (NFW) density profiles, fully accounting for the data covariance. The probed satellite galaxies in these groups have total masses $\log M_{\rm sub} /(h^{-1}{\rm M}_\odot) \approx 11.7 - 12.2$ consistent across group-centric distance within the errorbars. Given their typical stellar masses, $\log M_{\rm \star,sat}/(h^{-2}{\rm M}_\odot) \sim 10.5$, such total masses imply stellar mass fractions of $M_{\rm \star,sat} /M_{\rm sub} \approx 0.04 h^{-1}$ . The average subhalo hosting these satellite galaxies has a mass $M_{\rm sub} \sim 0.015M_{\rm host}$ independent of host halo mass, in broad agreement with the expectations of structure formation in a $\Lambda$CDM universe.


title: Gravitational Lensing Analysis of the Kilo Degree Survey

abstract: The Kilo-Degree Survey (KiDS) is a multi-band imaging survey designed for cosmological studies from weak lensing and photometric redshifts. It uses the ESO VLT Survey Telescope with its wide-field camera OmegaCAM. KiDS images are taken in four filters similar to the SDSS ugri bands. The best-seeing time is reserved for deep r-band observations that reach a median 5-sigma limiting AB magnitude of 24.9 with a median seeing that is better than 0.7arcsec. Initial KiDS observations have concentrated on the GAMA regions near the celestial equator, where extensive, highly complete redshift catalogues are available. A total of 109 survey tiles, one square degree each, form the basis of the first set of lensing analyses, which focus on measurements of halo properties of GAMA galaxies. 9 galaxies per square arcminute enter the lensing analysis, for an effective inverse shear variance of 69 per square arcminute. Accounting for the shape measurement weight, the median redshift of the sources is 0.53. KiDS data processing follows two parallel tracks, one optimized for galaxy shape measurement (for weak lensing), and one for accurate matched-aperture photometry in four bands (for photometric redshifts). This technical paper describes how the lensing and photometric redshift catalogues have been produced (including an extensive description of the Gaussian Aperture and Photometry pipeline), summarizes the data quality, and presents extensive tests for systematic errors that might affect the lensing analyses. We also provide first demonstrations of the suitability of the data for cosmological measurements, and explain how the shear catalogues were blinded to prevent confirmation bias in the scientific analyses. The KiDS shear and photometric redshift catalogues, presented in this paper, are released to the community through http://kids.strw.leidenuniv.nl .


title: Extremal eigenvalues of local Hamiltonians

abstract: We apply classical algorithms for approximately solving constraint satisfaction problems to find bounds on extremal eigenvalues of local Hamiltonians. We consider spin Hamiltonians for which we have an upper bound on the number of terms in which each spin participates, and find extensive bounds for the operator norm and ground-state energy of such Hamiltonians under this constraint. In each case the bound is achieved by a product state which can be found efficiently using a classical algorithm.


title: Doped Colloidal Artificial Ice

abstract: We examine square and kagome artificial spin ice for colloids confined in arrays of double-well traps. Unlike magnetic artificial spin ices, colloidal and vortex artificial spin ice realizations allow creation of doping sites through double occupation of individual traps. We find that doping square and kagome ice geometries produces opposite effects. For square ice, doping creates local excitations in the ground state configuration that produce a local melting effect as the temperature is raised. In contrast, the kagome ice ground state can absorb the doping charge without generating non-ground-state excitations, while at elevated temperatures the hopping of individual colloids is suppressed near the doping sites. These results indicate that in the square ice, doping adds degeneracy to the ordered ground state and creates local weak spots, while in the kagome ice, which has a highly degenerate ground state, doping locally decreases the degeneracy and creates local hard regions.


title: Evolution and nucleosynthesis of helium-rich asymptotic giant branch models

abstract: There is now strong evidence that some stars have been born with He mass fractions as high as $Y \approx 0.40$ (e.g., in $\omega$ Centauri). However, the advanced evolution, chemical yields, and final fates of He-rich stars are largely unexplored. We investigate the consequences of He-enhancement on the evolution and nucleosynthesis of intermediate-mass asymptotic giant branch (AGB) models of 3, 4, 5, and 6 M$_\odot$ with a metallicity of $Z = 0.0006$ ([Fe/H] $\approx -1.4$). We compare models with He-enhanced compositions ($Y=0.30, 0.35, 0.40$) to those with primordial He ($Y=0.24$). We find that the minimum initial mass for C burning and super-AGB stars with CO(Ne) or ONe cores decreases from above our highest mass of 6 M$_\odot$ to $\sim$ 4-5 M$_\odot$ with $Y=0.40$. We also model the production of trans-Fe elements via the slow neutron-capture process (s-process). He-enhancement substantially reduces the third dredge-up efficiency and the stellar yields of s-process elements (e.g., 90% less Ba for 6 M$_\odot$, $Y=0.40$). An exception occurs for 3 M$_\odot$, where the near-doubling in the number of thermal pulses with $Y=0.40$ leads to $\sim$ 50% higher yields of Ba-peak elements and Pb if the $^{13}$C neutron source is included. However, the thinner intershell and increased temperatures at the base of the convective envelope with $Y=0.40$ probably inhibit the $^{13}$C neutron source at this mass. Future chemical evolution models with our yields might explain the evolution of s-process elements among He-rich stars in $\omega$ Centauri.


title: The first and second data releases of the Kilo-Degree Survey

abstract: The Kilo-Degree Survey (KiDS) is an optical wide-field imaging survey carried out with the VLT Survey Telescope and the OmegaCAM camera. KiDS will image 1500 square degrees in four filters (ugri), and together with its near-infrared counterpart VIKING will produce deep photometry in nine bands. Designed for weak lensing shape and photometric redshift measurements, the core science driver of the survey is mapping the large-scale matter distribution in the Universe back to a redshift of ~0.5. Secondary science cases are manifold, covering topics such as galaxy evolution, Milky Way structure, and the detection of high-redshift clusters and quasars. KiDS is an ESO Public Survey and dedicated to serving the astronomical community with high-quality data products derived from the survey data, as well as with calibration data. Public data releases will be made on a yearly basis, the first two of which are presented here. For a total of 148 survey tiles (~160 sq.deg.) astrometrically and photometrically calibrated, coadded ugri images have been released, accompanied by weight maps, masks, source lists, and a multi-band source catalog. A dedicated pipeline and data management system based on the Astro-WISE software system, combined with newly developed masking and source classification software, is used for the data production of the data products described here. The achieved data quality and early science projects based on the data products in the first two data releases are reviewed in order to validate the survey data. Early scientific results include the detection of nine high-z QSOs, fifteen candidate strong gravitational lenses, high-quality photometric redshifts and galaxy structural parameters for hundreds of thousands of galaxies. (Abridged)