title: Inverting the Achlioptas rule for explosive percolation

abstract: In the usual Achlioptas processes the smallest clusters of a few randomly chosen ones are selected to merge together at each step. The resulting aggregation process leads to the delayed birth of a giant cluster and the so-called explosive percolation transition showing a set of anomalous features. We explore a process with the opposite selection rule, in which the biggest clusters of the randomly chosen ones merge together. We develop a theory of this kind of percolation based on the Smoluchowski equation, find the percolation threshold, and describe the scaling properties of this continuous transition, namely, the critical exponents and amplitudes, and scaling functions. We show that, qualitatively, this transition is similar to the ordinary percolation one, though occurring in less connected systems.

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


title: Energy extraction from boosted black holes: Penrose process, jets, and the membrane at infinity

abstract: Numerical simulations indicate that black holes carrying linear momentum and/or orbital momentum can power jets. The jets extract the kinetic energy stored in the black hole's motion. This could provide an important electromagnetic counterpart to gravitational wave searches. We develop the theory underlying these jets. In particular, we derive the analogues of the Penrose process and the Blandford-Znajek jet power prediction for boosted black holes. The jet power we find is $(v/2M)^2 \Phi^2/(4\pi)$, where $v$ is the hole's velocity, $M$ is its mass, and $\Phi$ is the magnetic flux. We show that energy extraction from boosted black holes is conceptually similar to energy extraction from spinning black holes. However, we highlight two key technical differences: in the boosted case, jet power is no longer defined with respect to a Killing vector, and the relevant notion of black hole mass is observer dependent. We derive a new version of the membrane paradigm in which the membrane lives at infinity rather than the horizon and we show that this is useful for interpreting jets from boosted black holes. Our jet power prediction and the assumptions behind it can be tested with future numerical simulations.


title: Does a single eigenstate encode the full Hamiltonian?

abstract: The Eigenstate Thermalization Hypothesis (ETH) posits that the reduced density matrix for a subsystem corresponding to an excited eigenstate is "thermal." Here we expound on this hypothesis by asking: for which class of operators, local or non-local, is ETH satisfied? We show that this question is directly related to a seemingly unrelated question: is the Hamiltonian of a system encoded within a single eigenstate? We formulate a strong form of ETH where in the thermodynamic limit, the reduced density matrix of a subsystem corresponding to a pure, finite energy density eigenstate asymptotically becomes equal to the thermal reduced density matrix, as long as the subsystem size is much less than the total system size, irrespective of how large the subsystem is compared to any intrinsic length scale of the system. This allows one to access the properties of the underlying Hamiltonian at arbitrary energy densities/temperatures using just a $\textit{single}$ eigenstate. We provide support for our conjecture by performing an exact diagonalization study of a non-integrable 1D lattice quantum model with only energy conservation. In addition, we examine the case in which the subsystem size is a finite fraction of the total system size, and find that even in this case, a large class of operators continue to match their canonical expectation values. Specifically, the von Neumann entanglement entropy equals the thermal entropy as long as the subsystem is less than half the total system. We also study, both analytically and numerically, a particle number conserving model at infinite temperature which substantiates our conjectures.

categories: cond-mat.str-el cond-mat.stat-mech hep-th quant-ph


title: Cosmic web-type classification using decision theory

abstract: We propose a decision criterion for segmenting the cosmic web into different structure types (voids, sheets, filaments, and clusters) on the basis of their respective probabilities and the strength of data constraints. Our approach is inspired by an analysis of games of chance where the gambler only plays if a positive expected net gain can be achieved based on some degree of privileged information. The result is a general solution for classification problems in the face of uncertainty, including the option of not committing to a class for a candidate object. As an illustration, we produce high-resolution maps of web-type constituents in the nearby Universe as probed by the Sloan Digital Sky Survey main galaxy sample. Other possible applications include the selection and labelling of objects in catalogues derived from astronomical survey data.


title: Dark Matter Halo Models of Stellar Mass-Dependent Galaxy Clustering in PRIMUS+DEEP2 at 0.2<z<1.2

abstract: We utilize $\Lambda$CDM halo occupation models of galaxy clustering to investigate the evolving stellar mass dependent clustering of galaxies in the PRIsm MUlti-object Survey (PRIMUS) and DEEP2 Redshift Survey over the past eight billion years of cosmic time, between $0.2<z<1.2$. These clustering measurements provide new constraints on the connections between dark matter halo properties and galaxy properties in the context of the evolving large-scale structure of the universe. Using both an analytic model and a set of mock galaxy catalogs, we find a strong correlation between central galaxy stellar mass and dark matter halo mass over the range $M_\mathrm{halo}\sim10^{11}$-$10^{13}~h^{-1}M_\odot$, approximately consistent with previous observations and theoretical predictions. However, the stellar-to-halo mass relation (SHMR) and the mass scale where star formation efficiency reaches a maximum appear to evolve more strongly than predicted by other models, including models based primarily on abundance-matching constraints. We find that the fraction of satellite galaxies in haloes of a given mass decreases significantly from $z\sim0.5$ to $z\sim0.9$, partly due to the fact that haloes at fixed mass are rarer at higher redshift and have lower abundances. We also find that the $M_1/M_\mathrm{min}$ ratio, a model parameter that quantifies the critical mass above which haloes host at least one satellite, decreases from $\approx20$ at $z\sim0$ to $\approx13$ at $z\sim0.9$. Considering the evolution of the subhalo mass function vis-\`{a}-vis satellite abundances, this trend has implications for relations between satellite galaxies and halo substructures and for intracluster mass, which we argue has grown due to stripped and disrupted satellites between $z\sim0.9$ and $z\sim0.5$.


title: Quantum field theory in a magnetic field: From quantum chromodynamics to graphene and Dirac semimetals

abstract: A range of quantum field theoretical phenomena driven by external magnetic fields and their applications in relativistic systems and quasirelativistic condensed matter ones, such as graphene and Dirac/Weyl semimetals, are reviewed. We start by introducing the underlying physics of the magnetic catalysis. The dimensional reduction of the low-energy dynamics of relativistic fermions in an external magnetic field is explained and its role in catalyzing spontaneous symmetry breaking is emphasized. The general theoretical consideration is supplemented by the analysis of the magnetic catalysis in quantum electrodynamics, chromodynamics and quasirelativistic models relevant for condensed matter physics. By generalizing the ideas of the magnetic catalysis to the case of nonzero density and temperature, we argue that other interesting phenomena take place. The chiral magnetic and chiral separation effects are perhaps the most interesting among them. In addition to the general discussion of the physics underlying chiral magnetic and separation effects, we also review their possible phenomenological implications in heavy-ion collisions and compact stars. We also discuss the application of the magnetic catalysis ideas for the description of the quantum Hall effect in monolayer and bilayer graphene, and conclude that the generalized magnetic catalysis, including both the magnetic catalysis condensates and the quantum Hall ferromagnetic ones, lies at the basis of this phenomenon. We also consider how an external magnetic field affects the underlying physics in a class of three-dimensional quasirelativistic condensed matter systems, Dirac semimetals. While at sufficiently low temperatures and zero density of charge carriers, such semimetals are expected to reveal the regime of the magnetic catalysis, the regime of Weyl semimetals with chiral asymmetry is realized at nonzero density...


title: M-theory on non-K\"ahler manifolds

abstract: We show that supersymmetric M-theory compactifications to three-dimensional Minkowski space-time preserving $\mathcal{N}=2$ supersymmetry allow for a class of internal manifolds more general than the Calabi-Yau one, namely the class of locally conformally K\"ahler manifolds which locally carry a preferred Calabi-Yau structure.


title: Hydrogen Reionization in the Illustris universe

abstract: Hydrodynamical simulations of galaxy formation such as the Illustris simulations have progressed to a state where they approximately reproduce the observed stellar mass function from high to low redshift. This in principle allows self-consistent models of reionization that exploit the accurate representation of the diffuse gas distribution together with the realistic growth of galaxies provided by these simulations, within a representative cosmological volume. In this work, we apply and compare two radiative transfer algorithms implemented in a GPU-accelerated code to the $106.5\,{\rm Mpc}$ wide volume of Illustris in postprocessing in order to investigate the reionization transition predicted by this model. We find that the first generation of galaxies formed by Illustris is just about able to reionize the universe by redshift $z\sim 7$, provided quite optimistic assumptions about the escape fraction and the resolution limitations are made. Our most optimistic model finds an optical depth of $\tau\simeq 0.065$, which is in very good agreement with recent Planck 2015 determinations. Furthermore, we show that moment-based approaches for radiative transfer with the M1 closure give broadly consistent results with our angular-resolved radiative transfer scheme. In our favoured fiducial model, 20\% of the hydrogen is reionized by redshift $z=9.20$, and this rapidly climbs to 80\% by redshift $z=6.92$. It then takes until $z=6.24$ before 99\% of the hydrogen is ionized. On average, reionization proceeds `inside-out' in our models, with a size distribution of reionized bubbles that progressively features regions of ever larger size while the abundance of small bubbles stays fairly constant.


title: Two-loop master integrals for non-leptonic heavy-to-heavy decays

abstract: We compute the two-loop master integrals for non-leptonic heavy-to-heavy decays analytically in a recently-proposed canonical basis. For this genuine two-loop, two-scale problem we first derive a basis for the master integrals that disentangles the kinematics from the space-time dimension in the differential equations, and subsequently solve the latter in terms of iterated integrals up to weight four. The solution constitutes another valuable example of the finding of a canonical basis for two-loop master integrals that have two different internal masses, and assumes a form that is ideally suited for a subsequent convolution with the light-cone distribution amplitude in the framework of QCD factorisation.


title: On the accuracy of WENO and CWENO reconstructions of third order on nonuniform meshes

abstract: Third order WENO and CWENO reconstruction are widespread high order reconstruction techniques for numerical schemes for hyperbolic conservation and balance laws. In their definition, there appears a small positive parameter, usually called $\epsilon$, that was originally introduced in order to avoid a division by zero on constant states, but whose value was later shown to affect the convergence properties of the schemes. Recently, two detailed studies of the role of this parameter, in the case of uniform meshes, were published. In this paper we extend their results to the case of finite volume schemes on non-uniform meshes, which is very important for h-adaptive schemes, showing the benefits of choosing $\epsilon$ as a function of the local mesh size $h_j$. In particular we show that choosing $\epsilon=h_j^2$ or $\epsilon=h_j$ is beneficial for the error and convergence order, studying on several non-uniform grids the effect of this choice on the reconstruction error, on fully discrete schemes for the linear transport equation, on the stability of the numerical schemes. Finally we compare the different choices for $\epsilon$ in the case of a well-balanced scheme for the Saint-Venant system for shallow water flows and in the case of an h-adaptive scheme for nonlinear systems of conservation laws and show numerical tests for a two-dimensional generalisation of the CWENO reconstruction on locally adapted meshes.


title: Using U Spin to Extract gamma from Charmless B -> PPP Decays

abstract: Some years ago, a method was proposed for measuring the CP-violating phase gamma using pairs of two-body decays that are related by U-spin reflection (d <-> s). In this paper we adapt this method to charmless B -> PPP decays. Time-dependent Dalitz-plot analyses of these three-body decays are required for the measurement of the mixing-induced CP asymmetries. However, isobar analyses of the decay amplitudes are not necessary. A potential advantage of using three-body decays is that the effects of U-spin breaking may be reduced by averaging over the Dalitz plot. This can be tested independently using the measurements of direct CP asymmetries and branching ratios in three-body charged B decays.


title: Does the schock wave in a highly ionized non-isothermal plasma really exist ?

abstract: Here we study the structure of a highly ionizing shock wave in a gas of high atmospheric pressure. We take into account the gas ionization when the gas temperature reaches few orders of an ionization potential. It is shown that after gasdynamic temperature-raising shock and formation of a highly-ionized nonisothermal plasma $T_e>>T_i$ only the solitary ion-sound wave (soliton) can propagate in this plasma. In such a wave the charge separation occurs: electrons and ions form the double electric layer with the electric field. The shock wave form, its amplitude and front width are obtained.


title: Convergent series for QCD

abstract: We present the construction of the convergent series for Quantum Chromodynamics in the Euclidean space. Applying the bosonization, we rewrite QCD as the five-dimensional bosonic vector field theory. Then, generalizing earlier results for the scalar field theories, we construct the desired convergent series, free from the infrared and ultraviolet divergences. As in the case of scalar fields the dimensional regularization is assumed to be valid.


title: The Interplay of Algebra and Geometry in the Setting of Regular Algebras

abstract: This article is based on a talk given by the author at MSRI in the workshop "Connections for Women" in January 2013, while being a part of the program "Noncommutative Algebraic Geometry and Representation Theory" at MSRI. One purpose of the exposition is to motivate and describe the geometric techniques introduced by M. Artin, J. Tate and M. Van den Bergh in the 1980s at a level accessible to graduate students. Additionally, some advances in the subject since the early 1990s are discussed, including a recent generalization of complete intersection to the noncommutative setting, and the notion of graded skew Clifford algebra and its application to classifying quadratic regular algebras of global dimension at most three. The article concludes by listing some open problems.


title: On the asymptotic normality of kernel estimators of the long run covariance of functional time series

abstract: We consider the asymptotic normality in $L^2$ of kernel estimators of the long run covariance kernel of stationary functional time series. Our results are established assuming a weakly dependent Bernoulli shift structure for the underlying observations, which contains most stationary functional time series models, under mild conditions. As a corollary, we obtain joint asymptotics for functional principal components computed from empirical long run covariance operators, showing that they have the favorable property of being asymptotically independent.


title: Divisors of secant planes to curves

abstract: Inside the symmetric product of a very general curve, we consider the codimension-one subvarieties of symmetric tuples of points imposing exceptional secant conditions on linear series on the curve of fixed degree and dimension. We compute the classes of such divisors, and thus obtain improved bounds for the slope of the cone of effective divisor classes on symmetric products of a very general curve. By letting the moduli of the curve vary, we study more generally the classes of the related divisors inside the moduli space of stable pointed curves.


title: The VERITAS Dark Matter Program

abstract: In the cosmological paradigm, cold dark matter (DM) dominates the mass content of the Universe and is present at every scale. Candidates for DM include many extensions of the standard model, with a weakly interacting massive particle (WIMP) in the mass range from $\sim$10 GeV to greater than 10 TeV. The self-annihilation or decay of WIMPs in astrophysical regions of high DM density can produce secondary particles including very high energy (VHE) gamma rays with energy up to the DM particle mass. VERITAS, an array of atmospheric Cherenkov telescopes, sensitive to VHE gamma rays in the 85 GeV - 30 TeV energy range, has been utilized for DM searches. The possible astrophysical objects considered to be candidates for indirect DM detection are VERITAS dwarf spheroidal galaxies (dSphs) of the Local Group and the Galactic Center, among others. This presentation reports on our extensive observations of these targets and constraints of the dark matter physics from these objects, including the methodology and preliminary results of a combined DM search of five dSphs.


title: Testing dissipative magnetosphere model light curves and spectra with FERMI pulsars

abstract: We explore the emission properties of a dissipative pulsar magnetosphere model introduced by Kalapotharakos et al. (2014), comparing its high energy light curves and spectra, due to curvature radiation, with data collected by the Fermi LAT. The magnetosphere structure is assumed to be near the force-free solution. The accelerating electric field, inside the light-cylinder, is assumed to be negligible, while outside the light-cylinder it rescales with a finite conductivity ({\sigma}). In our approach we calculate the corresponding high energy emission by integrating the trajectories of test particles that originate from the stellar surface, taking into account both the accelerating electric field components and the radiation reaction forces. First we explore the parameter space assuming different value sets for the stellar magnetic field, stellar period, and conductivity. We show that the general properties of the model are in a good agreement with observed emission characteristics of young {\gamma}-ray pulsars, including features of the phase resolved spectra. Second we find model parameters that fit each pulsar belonging to a group of eight bright pulsars that have a published phase-resolved spectrum. The {\sigma} values that best describe each of the pulsars in this group show an increase with the spin-down rate $(\dot{E})$ and a decrease with the pulsar age, expected if pair cascades are providing the magnetospheric conductivity. Finally, we explore the limits of our analysis and suggest future directions for improving such models.


title: Demystifying Reachability in Vector Addition Systems

abstract: More than 30 years after their inception, the decidability proofs for reachability in vector addition systems (VAS) still retain much of their mystery. These proofs rely crucially on a decomposition of runs successively refined by Mayr, Kosaraju, and Lambert, which appears rather magical, and for which no complexity upper bound is known. We first offer a justification for this decomposition technique, by showing that it computes the ideal decomposition of the set of runs, using the natural embedding relation between runs as well quasi ordering. In a second part, we apply recent results on the complexity of termination thanks to well quasi orders and well orders to obtain a cubic Ackermann upper bound for the decomposition algorithms, thus providing the first known upper bounds for general VAS reachability.


title: Generalized Pauli constraints in reduced density matrix functional theory

abstract: Functionals of the one-body reduced density matrix (1-RDM) are routinely minimized under Coleman's ensemble $N$-representability conditions. Recently, the topic of pure-state $N$-representability conditions, also known as generalized Pauli constraints, received increased attention following the discovery of a systematic way to derive them for any number of electrons and any finite dimensionality of the Hilbert space. The target of this work is to assess the potential impact of the enforcement of the pure-state conditions on the results of reduced density-matrix functional theory calculations. In particular, we examine whether the standard minimization of typical 1-RDM functionals under the ensemble $N$-representability conditions violates the pure-state conditions for prototype 3-electron systems. We also enforce the pure-state conditions, in addition to the ensemble ones, for the same systems and functionals and compare the correlation energies and optimal occupation numbers with those obtained by the enforcement of the ensemble conditions alone.


title: Novel effects of strains in graphene and other two dimensional materials

abstract: The analysis of the electronic properties of strained or lattice deformed graphene combines ideas from classical condensed matter physics, soft matter, and geometrical aspects of quantum field theory (QFT) in curved spaces. Recent theoretical and experimental work shows the influence of strains in many properties of graphene not considered before, such as electronic transport, spin-orbit coupling, the formation of Moir\'e patterns, optics, ... There is also significant evidence of anharmonic effects, which can modify the structural properties of graphene. These phenomena are not restricted to graphene, and they are being intensively studied in other two dimensional materials, such as the metallic dichalcogenides. We review here recent developments related to the role of strains in the structural and electronic properties of graphene and other two dimensional compounds.


title: Revival and splitting of a Gaussian beam in gradient index media

abstract: The short range revival of an arbitrary monochromatic optical field, which propagates in a quadratic GRIN rod, is a well-known effect that is established assuming the first-order approximation of the propagation operator. We discuss the revival and multiple splitting of an off-axis Gaussian beam propagating to relatively long distances in a quadratic GRIN medium. These effects are obtained assuming the second-order approximation of the propagation operator in this medium.


title: Projective distance and $g$-measures

abstract: We introduce a distance in the space of fully-supported probability measures on one-dimensional symbolic spaces. We compare this distance to the $\bar{d}$-distance and we prove that in general they are not comparable. Our projective distance is inspired on Hilbert's projective metric, and in the framework of $g$-measures, it allows to assess the continuity of the entropy at $g$-measures satisfying uniqueness. It also allows to relate the speed of convergence and the regularity of sequences of locally finite $g$-functions, to the preservation at the limit, of certain ergodic properties for the associate $g$-measures.


title: Laplace operators on the cone of Radon measures

abstract: We consider the infinite-dimensional Lie group $\mathfrak G$ which is the semidirect product of the group of compactly supported diffeomorphisms of a Riemannian manifold $X$ and the commutative multiplicative group of functions on $X$. The group $\mathfrak G$ naturally acts on the space $\mathbb M(X)$ of Radon measures on $X$. We would like to define a Laplace operator associated with a natural representation of $\mathfrak G$ in $L^2(\mathbb M(X),\mu)$. Here $\mu$ is assumed to be the law of a measure-valued L\'evy process. A unitary representation of the group cannot be determined, since the measure $\mu$ is not quasi-invariant with respect to the action of the group $\mathfrak G$. Consequently, operators of a representation of the Lie algebra and its universal enveloping algebra (in particular, a Laplace operator) are not defined. Nevertheless, we determine the Laplace operator by using a special property of the action of the group $\mathfrak G$ (a partial quasi-invariance). We further prove the essential self-adjointness of the Laplace operator. Finally, we explicitly construct a diffusion process on $\mathbb M(X)$ whose generator is the Laplace operator.


title: Sobolev spaces associated to singular and fractional Radon transforms

abstract: The purpose of this paper is to study the smoothing properties (in $L^p$ Sobolev spaces) of operators of the form $f\mapsto \psi(x) \int f(\gamma_t(x)) K(t)\: dt$, where $\gamma_t(x)$ is a $C^\infty$ function defined on a neighborhood of the origin in $(t,x)\in\mathbb{R}^N\times \mathbb{R}^n$, satisfying $\gamma_0(x)\equiv x$, $\psi$ is a $C^\infty$ cut-off function supported on a small neighborhood of $0\in \mathbb{R}^n$, and $K$ is a "multi-parameter fractional kernel" supported on a small neighborhood of $0\in \mathbb{R}^N$. When $K$ is a Calder\'on-Zygmund kernel these operators were studied by Christ, Nagel, Stein, and Wainger, and when $K$ is a multi-parameter singular kernel they were studied by the author and Stein. In both of these situations, conditions on $\gamma$ were given under which the above operator is bounded on $L^p$ ($1<p<\infty$). Under these same conditions, we introduce non-isotropic $L^p$ Sobolev spaces associated to $\gamma$. Furthermore, when $K$ is a fractional kernel which is smoothing of an order which is close to $0$ (i.e., very close to a singular kernel) we prove mapping properties of the above operators on these non-isotropic Sobolev spaces. As a corollary, under the conditions introduced on $\gamma$ by Christ, Nagel, Stein, and Wainger, we prove optimal smoothing properties in isotropic $L^p$ Sobolev spaces for the above operator when $K$ is a fractional kernel which is smoothing of very low order.


title: Curve Diagrams, Laminations, and the Geometric Complexity of Braids

abstract: Braids can be represented geometrically as curve diagrams. The geometric complexity of a braid is the minimal complexity of a curve diagram representing it. We introduce and study the corresponding notion of geometric generating function. We compute explicitly the geometric generating function for the group of braids on three strands and prove that it is neither rational nor algebraic, nor even holonomic. This result may appear as counterintuitive. Indeed, the standard complexity (due to the Artin presentation of braid groups) is algorithmically harder to compute than the geometric complexity, yet the associated generating function for the group of braids on three strands is rational.


title: No Small Linear Program Approximates Vertex Cover within a Factor $2 - \epsilon$

abstract: The vertex cover problem is one of the most important and intensively studied combinatorial optimization problems. Khot and Regev (2003) proved that the problem is NP-hard to approximate within a factor $2 - \epsilon$, assuming the Unique Games Conjecture (UGC). This is tight because the problem has an easy 2-approximation algorithm. Without resorting to the UGC, the best inapproximability result for the problem is due to Dinur and Safra (2002): vertex cover is NP-hard to approximate within a factor 1.3606. We prove the following unconditional result about linear programming (LP) relaxations of the problem: every LP relaxation that approximates vertex cover within a factor $2-\epsilon$ has super-polynomially many inequalities. As a direct consequence of our methods, we also establish that LP relaxations (as well as SDP relaxations) that approximate the independent set problem within any constant factor have super-polynomial size.


title: The One-Dimensional Line Scheme of a Certain Family of Quantum ${\mathbb P}^3$s

abstract: A quantum ${\mathbb P}^3$ is a noncommutative analogue of a polynomial ring on four variables, and, herein, it is taken to be a regular algebra of global dimension four. It is well known that if a generic quadratic quantum ${\mathbb P}^3$ exists, then it has a point scheme consisting of exactly twenty distinct points and a one-dimensional line scheme. In this article, we compute the line scheme of a family of algebras whose generic member is a candidate for a generic quadratic quantum ${\mathbb P}^3$. We find that, as a closed subscheme of ${\mathbb P}^5$, the line scheme of the generic member is the union of seven curves; namely, a nonplanar elliptic curve in a ${\mathbb P}^3$, four planar elliptic curves and two nonsingular conics.


title: Star Formation in Semi-Analytic Galaxy Formation Models with Multiphase Gas

abstract: We implement physically motivated recipes for partitioning cold gas into different phases (atomic, molecular, and ionized) in galaxies within semi-analytic models of galaxy formation based on cosmological merger trees. We then model the conversion of molecular gas into stars using empirical recipes motivated by recent observations. We explore the impact of these new recipes on the evolution of fundamental galaxy properties such as stellar mass, star formation rate (SFR), and gas and stellar phase metallicity. We present predictions for stellar mass functions, stellar mass vs. SFR relations, and cold gas phase and stellar mass-metallicity relations for our fiducial models, from redshift $z\sim 6$ to the present day. In addition we present predictions for the global SFR, mass assembly history, and cosmic enrichment history. We find that the predicted stellar properties of galaxies (stellar mass, SFR, metallicity) are remarkably insensitive to the details of the recipes used for partitioning gas into HI and H$_2$. We see significant sensitivity to the recipes for H$_2$ formation only in very low mass halos, which host galaxies that are not detectable with current observational facilities except very nearby. The properties of low-mass galaxies are also quite insensitive to the details of the recipe used for converting H$_2$ into stars, while the formation epoch of massive galaxies does depend on this significantly. (Abridged)


title: Constructing elastic distinguishability metrics for location privacy

abstract: With the increasing popularity of hand-held devices, location-based applications and services have access to accurate and real-time location information, raising serious privacy concerns for their users. The recently introduced notion of geo-indistinguishability tries to address this problem by adapting the well-known concept of differential privacy to the area of location-based systems. Although geo-indistinguishability presents various appealing aspects, it has the problem of treating space in a uniform way, imposing the addition of the same amount of noise everywhere on the map. In this paper we propose a novel elastic distinguishability metric that warps the geometrical distance, capturing the different degrees of density of each area. As a consequence, the obtained mechanism adapts the level of noise while achieving the same degree of privacy everywhere. We also show how such an elastic metric can easily incorporate the concept of a "geographic fence" that is commonly employed to protect the highly recurrent locations of a user, such as his home or work. We perform an extensive evaluation of our technique by building an elastic metric for Paris' wide metropolitan area, using semantic information from the OpenStreetMap database. We compare the resulting mechanism against the Planar Laplace mechanism satisfying standard geo-indistinguishability, using two real-world datasets from the Gowalla and Brightkite location-based social networks. The results show that the elastic mechanism adapts well to the semantics of each area, adjusting the noise as we move outside the city center, hence offering better overall privacy.


title: Constrained $H^1$-regularization schemes for diffeomorphic image registration

abstract: We propose regularization schemes for deformable registration and efficient algorithms for their numerical approximation. We treat image registration as a variational optimal control problem. The deformation map is parametrized by its velocity. Tikhonov regularization ensures well-posedness. Our scheme augments standard smoothness regularization operators based on $H^1$- and $H^2$-seminorms with a constraint on the divergence of the velocity field, which resembles variational formulations for Stokes incompressible flows. In our formulation, we invert for a stationary velocity field and a mass source map. This allows us to explicitly control the compressibility of the deformation map and by that the determinant of the deformation gradient. We also introduce a new regularization scheme that allows us to control shear. We use a globalized, preconditioned, matrix-free, reduced space (Gauss--)Newton--Krylov scheme for numerical optimization. We exploit variable elimination techniques to reduce the number of unknowns of our system; we only iterate on the reduced space of the velocity field. Our current implementation is limited to the two-dimensional case. The numerical experiments demonstrate that we can control the determinant of the deformation gradient without compromising registration quality. This additional control allows us to avoid oversmoothing of the deformation map. We also demonstrate that we can promote or penalize shear while controlling the determinant of the deformation gradient.


title: Multiple Shape Registration using Constrained Optimal Control

abstract: Lagrangian particle formulations of the large deformation diffeomorphic metric mapping algorithm (LDDMM) only allow for the study of a single shape. In this paper, we introduce and discuss both a theoretical and practical setting for the simultaneous study of multiple shapes that are either stitched to one another or slide along a submanifold. The method is described within the optimal control formalism, and optimality conditions are given, together with the equations that are needed to implement augmented Lagrangian methods. Experimental results are provided for stitched and sliding surfaces.


title: A Review of Relational Machine Learning for Knowledge Graphs

abstract: Relational machine learning studies methods for the statistical analysis of relational, or graph-structured, data. In this paper, we provide a review of how such statistical models can be "trained" on large knowledge graphs, and then used to predict new facts about the world (which is equivalent to predicting new edges in the graph). In particular, we discuss two fundamentally different kinds of statistical relational models, both of which can scale to massive datasets. The first is based on latent feature models such as tensor factorization and multiway neural networks. The second is based on mining observable patterns in the graph. We also show how to combine these latent and observable models to get improved modeling power at decreased computational cost. Finally, we discuss how such statistical models of graphs can be combined with text-based information extraction methods for automatically constructing knowledge graphs from the Web. To this end, we also discuss Google's Knowledge Vault project as an example of such combination.


title: On Using Synthetic Social Media Stimuli in an Emergency Preparedness Functional Exercise

abstract: This paper details the creation and use of a massive (over 32,000 messages) artificially constructed 'Twitter' microblog stream for a regional emergency preparedness functional exercise. By combining microblog conversion, manual production, and a control set, we created a web based information stream providing valid, misleading, and irrelevant information to public information officers (PIOs) representing hospitals, fire departments, the local Red Cross, and city and county government officials. PIOs searched, monitored, and (through conventional channels) verified potentially acionable information that could then be redistributed through a personalized screen name. Our case study of a key PIO reveals several capabilities that social media can support, including event detection, the distribution of information between functions within the emergency response community, and the distribution of messages to the public. We suggest that training as well as information filtering tools are necessary to realize the potential of social media in both emergencies and exercises.


title: Exterior differential calculus in generalized Lie algebras(algebroids) category with applications to interior and exterior algebraic(differential) systems

abstract: A new category of Lie algebras, called generalized Lie algebras, is presented such that classical Lie algebras and Lie-Rinehart algebras are objects of this new category. A new philosophy over generalized Lie algebroids theory is presented using the notion of generalized Lie algebra and examples of objects of the category of generalized Lie algebroids are presented. An exterior differential calculus on generalized Lie algebras is pre- sented and a theorem of Maurer-Cartan type is obtained. Supposing that any submodule(vector subbundle) of a generalized Lie algebra(algebroid) is an interior algebraic(differential) system (IAS(IDS)) for that generalized Lie algebra/algebroid, then the involutivity of the IAS(IDS) in a result of Frobenius type is characterized. Introducing the notion of exterior algebraic(differential) system of a generalized Lie algebra(algebroid), the involutivity of an IAS(IDS) is characterized in a result of Cartan type. Finally, new directions by research in algebraic(differential) symplectic spaces theory are presented.


title: Physical properties of the HAT-P-23 and WASP-48 planetary systems from multi-colour photometry

abstract: Accurate and repeated photometric follow-up observations of planetary-transit events are important to precisely characterize the physical properties of exoplanets. A good knowledge of the main characteristics of the exoplanets is fundamental to trace their origin and evolution. Multi-band photometric observations play an important role in this process. By using new photometric data, we computed precise estimates of the physical properties of two transiting planetary systems. We present new broad-band, multi-colour, photometric observations obtained using three small class telescopes and the telescope-defocussing technique. For each of the two targets, one transit event was simultaneously observed through four optical filters. One transit of WASP-48 b was monitored with two telescopes from the same observatory. The physical parameters of the systems were obtained by fitting the transit light curves with {\sc jktebop} and from published spectroscopic measurements. We have revised the physical parameters of the two planetary systems, finding a smaller radius for both HAT-P-23 b and WASP-48 b, $R_{b}=1.224 \pm 0.037 R_{Jup}$ and $R_{b}=1.396 \pm 0.051 \, R_{Jup}$, respectively, than those measured in the discovery papers ($R_{b}=1.368 \pm 0.090 R_{Jup}$ and $R_{b}=1.67 \pm 0.10 R_{Jup}$). The density of the two planets are higher than those previously published ($\rho_{b}$ ~1.1 and ~0.3 $\rho_{jup}$ for HAT-P-23 and WASP-48 respectively) hence the two Hot Jupiters are no longer located in a parameter space region of highly inflated planets. An analysis of the variation of the planet's measured radius as a function of optical wavelength reveals flat transmission spectra within the experimental uncertainties. We also confirm the presence of the eclipsing contact binary NSVS-3071474 in the same field of view of WASP-48, for which we refine the value of the period to be 0.459 d.


title: Dynamics of Three-Dimensional Vesicles in DC Electric fields

abstract: A numerical and systematic parameter study of three-dimensional vesicle electrohydrodynamics is presented to investigate the effects of different fluid and membrane properties. The dynamics of vesicles in the presence of DC electric fields is considered, both in the presence and absence of linear shear flow. For suspended vesicles it is shown that the conductivity ratio and viscosity ratio between the interior and exterior fluids, as well as the vesicle membrane capacitance, substantially affect the minimum electric field strength required to induce a full Prolate-Oblate-Prolate transition.In addition, there exists a critical electric field strength above which a vesicle will no longer tumble when exposed to linear shear flow.


title: Influence of specimen velocity on the leakage signal in magnetic flux leakage type nondestructive testing

abstract: We investigate the influence of the specimen velocity on the magnetic flux leakage with the aim of selecting the optimum sensor locations. Parametric numerical simulations where the specimen velocity was in the range [0.1-20] m$\cdot$s$^{-1}$ were carried out. As the specimen velocity is increased, the magnetic field varies from being symmetrical to being asymmetric. For the radial magnetic induction, the peak to peak value moves from the centre of the bridge towards the direction of the specimen movement. For the axial magnetic induction, the specimen velocity influence is dependent on the sensor location and a signal-velocity independent region was discussed.


title: LDDMM Surface Registration with Atrophy Constraints

abstract: Diffeomorphic registration using optimal control on the diffeomorphism group and on shape spaces has become widely used since the development of the Large Deformation Diffeomorphic Metric Mapping (LDDMM) algorithm. More recently, a series of algorithms involving sub-riemannian constraints have been introduced, in which the velocity fields that control the shapes in the LDDMM framework are constrained in accordance with a specific deformation model. Here, we extend this setting by considering, for the first time, inequality constraints, in order to estimate surface deformations that only allow for atrophy, introducing for this purpose an algorithm that uses the augmented lagrangian method. We also provide a version of our approach that uses a weaker constraint in which only the total volume is forced to decrease. These developments are illustrated by numerical experiments on brain data.


title: A Family of Wavelets and a new Orthogonal Multiresolution Analysis Based on the Nyquist Criterion

abstract: A generalisation of the Shannon complex wavelet is introduced, which is related to raised cosine filters. This approach is used to derive a new family of orthogonal complex wavelets based on the Nyquist criterion for Intersymbolic Interference (ISI) elimination. An orthogonal Multiresolution Analysis (MRA) is presented, showing that the roll-off parameter should be kept below 1/3. The pass-band behaviour of the Wavelet Fourier spectrum is examined. The left and right roll-off regions are asymmetric; nevertheless the Q-constant analysis philosophy is maintained. Finally, a generalisation of the (square root) raised cosine wavelets is proposed.


title: The moduli space of $S^1$-type zero loci for $\mathbb{Z}/2$-harmonic spinors in dimension 3

abstract: Let $M$ be a compact oriented 3-dimensional smooth manifold. In this paper, we construct a moduli space consisting of pairs $(\Sigma, \psi)$ where $\Sigma$ is a $C^1$-embedding simple closed curve in $M$, $\psi$ is a $\mathbb{Z}/2$-harmonic spinor vanishing only on $\Sigma$, and $\|\psi\|_{L^2_1}\neq 0$. We prove that when $\Sigma$ is $C^2$, a neighborhood of $(\Sigma, \psi)$ in the moduli space can be parametrized by the space of Riemannian metrics on $M$ locally as the kernel of a Fredholm operator.


title: Equiboundedness of the Weil-Petersson metric

abstract: Uniform bounds are developed for derivatives of solutions of the $2$-dimensional constant negative curvature equation and the Weil-Petersson metric for the Teichm\"{u}ller and moduli spaces. The dependence of the bounds on the geometry of the underlying Riemann surface is studied. The comparisons between the $C^0$, $C^{2,\alpha}$ and $L^2$ norms for harmonic Beltrami differentials are analyzed. Uniform bounds are given for the covariant derivatives of the Weil-Petersson curvature tensor in terms of the systoles of the underlying Riemann surfaces and the projections of the differentiation directions onto {\it pinching directions}. The main analysis combines Schauder and potential theory estimates with the analytic implicit function theorem.


title: Grouping and Recognition of Dot Patterns with Straight Offset Polygons

abstract: When the boundary of a familiar object is shown by a series of isolated dots, humans can often recognize the object with ease. This ability can be sustained with addition of distracting dots around the object. However, such capability has not been reproduced algorithmically on computers. We introduce a new algorithm that groups a set of dots into multiple non-disjoint subsets. It connects the dots into a spanning tree using the proximity cue. It then applies the straight polygon transformation to an initial polygon derived from the spanning tree. The straight polygon divides the space into polygons recursively and each polygon can be viewed as grouping of a subset of the dots. The number of polygons generated is O($n$). We also introduce simple shape selection and recognition algorithms that can be applied to the grouping result. We used both natural and synthetic images to show effectiveness of these algorithms.


title: GERLUMPH Data Release 2: 2.5 billion simulated microlensing light curves

abstract: In the upcoming synoptic all--sky survey era of astronomy, thousands of new multiply imaged quasars are expected to be discovered and monitored regularly. Light curves from the images of gravitationally lensed quasars are further affected by superimposed variability due to microlensing. In order to disentangle the microlensing from the intrinsic variability of the light curves, the time delays between the multiple images have to be accurately measured. The resulting microlensing light curves can then be analyzed to reveal information about the background source, such as the size of the quasar accretion disc. In this paper we present the most extensive and coherent collection of simulated microlensing light curves; we have generated $>2.5$ billion light curves using the GERLUMPH high resolution microlensing magnification maps. Our simulations can be used to: train algorithms to measure lensed quasar time delays, plan future monitoring campaigns, and study light curve properties throughout parameter space. Our data are openly available to the community and are complemented by online eResearch tools, located at http://gerlumph.swin.edu.au .


title: Stable Cluster Core Detection in Correlated Hashtag Graph

abstract: Hashtags in twitter are used to track events, topics and activities. Correlated hashtag graph represents contextual relationships among these hashtags. Maximum clusters in the correlated hashtag graph can be contextually meaningful hashtag groups. In order to track the changes of the clusters and understand these hashtag groups, the hashtags in a cluster are categorized into two types: stable core and temporary members which are subject to change. Some initial studies are done in this project and 3 algorithms are designed, implemented and experimented to test them.


title: Convex integration and infinitely many weak solutions to the Perona-Malik equation in all dimensions

abstract: We prove that for all smooth nonconstant initial data the initial-Neumann boundary value problem for the Perona-Malik equation in image processing possesses infinitely many Lipschitz weak solutions on smooth bounded convex domains in all dimensions. Such existence results have not been known except for the one-dimensional problems. Our approach is motivated by reformulating the Perona-Malik equation as a nonhomogeneous partial differential inclusion with linear constraint and uncontrollable components of gradient. We establish a general existence result by a suitable Baire's category method under a pivotal density hypothesis. We finally fulfill this density hypothesis by convex integration based on certain approximations from an explicit formula of lamination convex hull of some matrix set involved.


title: The Dynamical Mordell-Lang Conjecture for polynomial endomorphisms of the affine plane

abstract: In this paper we prove the Dynamical Mordell-Lang Conjecture for polynomial endomorphisms of the affine plane.


title: Stein's method for steady-state diffusion approximations of $M/Ph/n+M$ systems

abstract: We consider $M/Ph/n+M$ queueing systems in steady state. We prove that the Wasserstein distance between the stationary distribution of the normalized system size process and that of a piecewise Ornstein-Uhlenbeck (OU) process is bounded by $C/\sqrt{\lambda}$, where the constant $C$ is independent of the arrival rate $\lambda$ and the number of servers $n$ as long as they are in the Halfin-Whitt parameter regime. For each integer $m>0$, we also establish a similar bound for the difference of the $m$th steady-state moments. For the proofs, we develop a modular framework that is based on Stein's method. The framework has three components: Poisson equation, generator coupling, and state space collapse. The framework, with further refinement, is likely applicable to steady-state diffusion approximations for other stochastic systems.


title: Every bordered Riemann surface is a complete conformal minimal surface bounded by Jordan curves

abstract: In this paper we find approximate solutions of certain Riemann-Hilbert boundary value problems for minimal surfaces in $\mathbb{R}^n$ and null holomorphic curves in $\mathbb{C}^n$ for any $n\ge 3$. With this tool in hand we construct complete conformally immersed minimal surfaces in $\mathbb{R}^n$ which are normalized by any given bordered Riemann surface and have Jordan boundaries. We also furnish complete conformal proper minimal immersions from any given bordered Riemann surface to any smoothly bounded, strictly convex domain of $\mathbb{R}^n$ which extend continuously up to the boundary; for $n\ge 5$ we find embeddings with these properties.


title: Majorana zero modes choose Euler numbers - revealed by full counting statistics

abstract: We study transport properties of a quantum dot coupled to a Majorana zero mode and two normal leads. We investigate the full counting statistics of charge tunneling events which allows one to extract complete information about current fluctuations. Using a Keldysh path-integral approach, we compute the cumulant generating function. We first consider a noninteracting spinless regime, and find that for the symmetric dot-lead couplings, the zero-frequency cumulants exhibit a universal pattern of Euler numbers, independent of the microscopic parameters. For a spinful case, the Coulomb interaction effects are discussed for both strong interaction (single-electron occupancy regime) and weak interactions (perturbative regime). Compared to the case without Majorana coupling, we show that, while the tunneling conductance might exhibit zero-bias anomaly, the full counting statistics is qualitatively different in the presence of the Majorana coupling.


title: Mode-selective vibrational control of charge transport in $\pi$-conjugated molecular materials

abstract: The soft character of organic materials leads to strong coupling between molecular nuclear and electronic dynamics. This coupling opens the way to control charge transport in organic electronic devices by inducing molecular vibrational motions. However, despite encouraging theoretical predictions, experimental realization of such control has remained elusive. Here we demonstrate experimentally that photoconductivity in a model organic optoelectronic device can be controlled by the selective excitation of molecular vibrations. Using an ultrafast infrared laser source to create a coherent superposition of vibrational motions in a pentacene/C60 photoresistor, we observe that excitation of certain modes in the 1500-1700 cm$^{-1}$ region leads to photocurrent enhancement. Excited vibrations affect predominantly trapped carriers. The effect depends on the nature of the vibration and its mode-specific character can be well described by the vibrational modulation of intermolecular electronic couplings. Vibrational control thus presents a new tool for studying electron-phonon coupling and charge dynamics in (bio)molecular materials.


title: Simple, Efficient, and Neural Algorithms for Sparse Coding

abstract: Sparse coding is a basic task in many fields including signal processing, neuroscience and machine learning where the goal is to learn a basis that enables a sparse representation of a given set of data, if one exists. Its standard formulation is as a non-convex optimization problem which is solved in practice by heuristics based on alternating minimization. Re- cent work has resulted in several algorithms for sparse coding with provable guarantees, but somewhat surprisingly these are outperformed by the simple alternating minimization heuristics. Here we give a general framework for understanding alternating minimization which we leverage to analyze existing heuristics and to design new ones also with provable guarantees. Some of these algorithms seem implementable on simple neural architectures, which was the original motivation of Olshausen and Field (1997a) in introducing sparse coding. We also give the first efficient algorithm for sparse coding that works almost up to the information theoretic limit for sparse recovery on incoherent dictionaries. All previous algorithms that approached or surpassed this limit run in time exponential in some natural parameter. Finally, our algorithms improve upon the sample complexity of existing approaches. We believe that our analysis framework will have applications in other settings where simple iterative algorithms are used.


title: Elevated Tc levels in YBa2Cu3O6.5 modeled on a 3-dimensional doped bond structure of chain and plane pairs

abstract: The complex phenomenology of shot quenched YBa2Cu3O6.5 with Tc=100K and 200K levels is compared with laser pulsed analogs with an eye on explaining the presumed Tc=552K of the latter. Shot quenching can produce metastable states with pronounced increases in plane metric and cell volume, accompanied by a rough doubling of Tc to a 100K level of an orthorhombic with 3-fold O coordinated chain Cu (O3 type). These states decay over a non-superconducting transition range to the conventional Tc=50K level of O24. We consider the plane expanded laser pulsed materials to contain aspects of O42 plane n-doped counterparts of the O3 n-doped version of shot quench preparations. In addition, we assume that highly charged p-doped chains of 4-fold O coordination form hole pairs at trijugate position, allowing close approach of the apical O to the electron-doped planes. They are now capable of participating in the bonding with the plane pairs at corresponding 3a0/2 location. The overall pair number is therefore multiplied, and the coupling strengthened, by limited 3-D effects within the Plane-Chain-Plane sandwich. The latter can be seen as an extended chemical bonding system that has the potential to equilibrate contractive and expansive pairs and so obviate the need for distinction of doping type as it may exchange it dynamically. It is argued that indications for a Tc=200K level on shot quenching has a related origin and represents one in series of predicted Tc levels based on bond order principles. Predictions are made where similar effects can be expected in other compound classes.


title: Estimating the evolution of gas in the Fornax dwarf spheroidal galaxy from its star formation history: an illustrative example

abstract: We propose that detailed data on the star formation history of a dwarf spheroidal galaxy (dSph) may be used to estimate the evolution of the total mass M_g(t) for cold gas in its star-forming disk. Using Fornax as an illustrative example, we estimate its M_g(t) and the corresponding net gas flow rate Delta F(t) assuming a global star formation rate psi(t) = lambda_*(t)[M_g(t)/M_sun]^alpha consistent with observations of nearby galaxies. We identify the onset of the transition in Delta F(t) from a net inflow to a net outflow as the time t_sat at which the Fornax halo became a Milky Way satellite and estimate the evolution of its total mass M_h(t) at t < t_sat using the median halo growth history in the LambdaCDM cosmology and its present mass within the half-light radius derived from observations. We examine three different cases of alpha = 1, 1.5, and 2, and justify the corresponding lambda_*(t) by comparing the gas mass fraction f_g(t) = M_g(t)/M_h(t) at t < t_sat with results from simulations of gas accretion by halos in a reionized universe. We find that the Fornax halo grew to M_h(t_sat) ~ 2x10^9 M_sun at t_sat ~ 5 or 8 Gyr, in broad agreement with previous studies using data on its stellar kinematics and its orbital motion. We describe qualitatively the evolution of Fornax as a satellite and discuss potential extension of our approach to other dSphs.


title: Teaching and Learning Data Visualization: Ideas and Assignments

abstract: This article discusses how to make statistical graphics a more prominent element of the undergraduate statistics curricula. The focus is on several different types of assignments that exemplify how to incorporate graphics into a course in a pedagogically meaningful way. These assignments include having students deconstruct and reconstruct plots, copy masterful graphs, create one-minute visual revelations, convert tables into `pictures', and develop interactive visualizations with, e.g., the virtual earth as a plotting canvas. In addition to describing the goals and details of each assignment, we also discuss the broader topic of graphics and key concepts that we think warrant inclusion in the statistics curricula. We advocate that more attention needs to be paid to this fundamental field of statistics at all levels, from introductory undergraduate through graduate level courses. With the rapid rise of tools to visualize data, e.g., Google trends, GapMinder, ManyEyes, and Tableau, and the increased use of graphics in the media, understanding the principles of good statistical graphics, and having the ability to create informative visualizations is an ever more important aspect of statistics education.


title: On Triples of Numbers

abstract: Among three natural numbers there is always one which is larger than or equal to the Nim sum of the remaining two numbers. This amazing fact has many applications.


title: Joint calibration of Ensemble of Exemplar SVMs

abstract: We present a method for calibrating the Ensemble of Exemplar SVMs model. Unlike the standard approach, which calibrates each SVM independently, our method optimizes their joint performance as an ensemble. We formulate joint calibration as a constrained optimization problem and devise an efficient optimization algorithm to find its global optimum. The algorithm dynamically discards parts of the solution space that cannot contain the optimum early on, making the optimization computationally feasible. We experiment with EE-SVM trained on state-of-the-art CNN descriptors. Results on the ILSVRC 2014 and PASCAL VOC 2007 datasets show that (i) our joint calibration procedure outperforms independent calibration on the task of classifying windows as belonging to an object class or not; and (ii) this improved window classifier leads to better performance on the object detection task.


title: Construction and Optimization of the Quantum Analog of Carnot Cycles

abstract: The quantum analog of Carnot cycles in few-particle systems consists of two quantum adiabatic steps and two isothermal steps. This construction is formally justified by use of a minimum work principle. It is then shown, without relying on any microscopic interpretations of work or heat, that the heat-to-work efficiency of the quantum Carnot cycle thus constructed may be further optimized, provided that two conditions regarding the expectation value of some generalized force operators evaluated at equilibrium states are satisfied. In general the optimized efficiency is system-specific, lower than the Carnot efficiency, and dependent upon both temperatures of the cold and hot reservoirs. Simple computational examples are used to illustrate our theory. The results should be an important guide towards the design of favorable working conditions of a realistic quantum heat engine.


title: A TEM study of Si-SiO2 interfaces in silicon nanodevices

abstract: The fabrication of micro- and nano-scale silicon electronic devices requires precision lithography and controlled processing to ensure that the electronic properties of the device are optimized. Importantly, the Si-SiO2 interface plays a crucial role in defining these properties. While transmission electron microscopy (TEM) can be used to observe the device architecture, substrate / contact crystallinity and interfacial roughness, the preparation and isolation of the device active area is problematic. In this work, we describe the use of focussed ion beam technologies to isolate and trench-cut targeted device structures for subsequent TEM analysis. Architectures studied include radio frequency, single electron transistors and electrically detected, magnetic resonance devices that have also undergone ion implantation, rapid thermal and forming gas anneals.


title: The Solution of the Relativistic Schrodinger Equation for the $\delta'$-Function Potential in 1-dimension Using Cutoff Regularization

abstract: We study the relativistic version of Schr\"odinger equation for a point particle in 1-d with potential of the first derivative of the delta function. The momentum cutoff regularization is used to study the bound state and scattering states. The initial calculations show that the reciprocal of the bare coupling constant is ultra-violet divergent, and the resultant expression cannot be renormalized in the usual sense. Therefore a general procedure has been developed to derive different physical properties of the system. The procedure is used first on the non-relativistic case for the purpose of clarification and comparisons. The results from the relativistic case show that this system behaves exactly like the delta function potential, which means it also shares the same features with quantum field theories, like being asymptotically free, and in the massless limit, it undergoes dimensional transmutation and it possesses an infrared conformal fixed point.


title: Context Forest for efficient object detection with large mixture models

abstract: We present Context Forest (ConF), a technique for predicting properties of the objects in an image based on its global appearance. Compared to standard nearest-neighbour techniques, ConF is more accurate, fast and memory efficient. We train ConF to predict which aspects of an object class are likely to appear in a given image (e.g. which viewpoint). This enables to speed-up multi-component object detectors, by automatically selecting the most relevant components to run on that image. This is particularly useful for detectors trained from large datasets, which typically need many components to fully absorb the data and reach their peak performance. ConF provides a speed-up of 2x for the DPM detector [1] and of 10x for the EE-SVM detector [2]. To show ConF's generality, we also train it to predict at which locations objects are likely to appear in an image. Incorporating this information in the detector score improves mAP performance by about 2% by removing false positive detections in unlikely locations.


title: Equations involving fractional Laplacian operator: Compactness and application

abstract: In this paper, we consider the following problem involving fractional Laplacian operator: \begin{equation}\label{eq:0.1} (-\Delta)^{\alpha} u= |u|^{2^*_\alpha-2-\varepsilon}u + \lambda u\,\, {\rm in}\,\, \Omega,\quad u=0 \,\, {\rm on}\, \, \partial\Omega, \end{equation} where $\Omega$ is a smooth bounded domain in $\mathbb{R}^N$, $\varepsilon\in [0, 2^*_\alpha-2)$, $0<\alpha<1,\, 2^*_\alpha = \frac {2N}{N-2\alpha}$. We show that for any sequence of solutions $u_n$ of \eqref{eq:0.1} corresponding to $\varepsilon_n\in [0, 2^*_\alpha-2)$, satisfying $\|u_n\|_{H}\le C$ in the Sobolev space $H$ defined in \eqref{eq:1.1a}, $u_n$ converges strongly in $H$ provided that $N>6\alpha$ and $\lambda>0$. An application of this compactness result is that problem \eqref{eq:0.1} possesses infinitely many solutions under the same assumptions.


title: On the Impact of Antenna Topologies for Massive MIMO Systems

abstract: Approximate expressions for the spatial correlation of cylindrical and uniform rectangular arrays (URA) are derived using measured distributions of angles of departure (AOD) for both the azimuth and zenith domains. We examine massive multiple-input-multiple-output (MIMO) convergence properties of the correlated channels by considering a number of convergence metrics. The per-user matched filter (MF) signal-to-interference-plus-noise ratio (SINR) performance and convergence rate, to respective limiting values, of the two antenna topologies is also explored.


title: Extended law of corresponding states for protein solutions

abstract: The so-called extended law of corresponding states, as proposed by Noro and Frenkel [J. Chem. Phys. 113, 2941 (2000)], involves a mapping of the phase behaviors of systems with short-range attractive interactions. While it has already extensively been applied to various model potentials, here we test its applicability to protein solutions with their complex interactions. We successfully map their experimentally determined metastable gas--liquid binodals, as available in the literature, to the binodals of short-range square-well fluids, as determined by previous as well as new Monte Carlo simulations. This is achieved by representing the binodals as a function of the temperature scaled with the critical temperature (or as a function of the reduced second virial coefficient) and the concentration scaled by the cube of an effective particle diameter, where the scalings take into account the attractive and repulsive contributions to the interaction potential, respectively. The scaled binodals of the protein solutions coincide with simulation data of the adhesive hard-sphere fluid. Furthermore, once the repulsive contributions are taken into account by the effective particle diameter, the temperature dependence of the reduced second virial coefficients follows a master curve that corresponds to a linear temperature dependence of the depth of the square-well potential. We moreover demonstrate that, based on this approach and cloud-point measurements only, second virial coefficients can be estimated, which we show to agree with values determined by light scattering or by DLVO-based calculations.


title: Deployment Issues for Massive MIMO Systems

abstract: In this paper we examine a number of deployment issues which arise from practical considerations in massive multiple-input-multiple-output (MIMO) systems. We show both spatial correlation and line-of-sight (LOS) introduce an interference component to the system which causes non-orthogonality between user channels. Distributing the antennas into multiple clusters is shown to reduce spatial correlation and improve performance. Furthermore, due to its ability to minimize interference, zero forcing (ZF) precoding performs well in massive MIMO systems compared to matched filter (MF) precoding which suffers large penalties. However, the noise component in the ZF signal-to-noise-ratio (SNR) increases significantly in the case of imperfect transmit channel state information (CSI).


title: Sparsity Aware Normalized Least Mean p-power Algorithms with Correntropy Induced Metric Penalty

abstract: For identifying the non-Gaussian impulsive noise systems, normalized LMP (NLMP) has been proposed to combat impulsive-inducing instability. However, the standard algorithm is without considering the inherent sparse structure distribution of unknown system. To exploit sparsity as well as to mitigate the impulsive noise, this paper proposes a sparse NLMP algorithm, i.e., Correntropy Induced Metric (CIM) constraint based NLMP (CIMNLMP). Based on the first proposed algorithm, moreover, we propose an improved CIM constraint variable regularized NLMP(CIMVRNLMP) algorithm by utilizing variable regularized parameter(VRP) selection method which can further adjust convergence speed and steady-state error. Numerical simulations are given to confirm the proposed algorithms.


title: DAG-width of Control Flow Graphs with Applications to Model Checking

abstract: The treewidth of control flow graphs arising from structured programs is known to be at most six. However, as a control flow graph is inherently directed, it makes sense to consider a measure of width for digraphs instead. We use the so-called DAG-width and show that the DAG-width of control flow graphs arising from structured (goto-free) programs is at most three. Additionally, we also give a linear time algorithm to compute the DAG decomposition of these control flow graphs. One consequence of this result is that parity games (and hence the $\mu$-calculus model checking problem), which are known to be tractable on graphs of bounded DAG-width, can be solved efficiently in practice on control flow graphs.


title: Sufficient Conditions for Holomorphic Linearisation

abstract: Let $G$ be a reductive complex Lie group acting holomorphically on $X={\mathbb C}^n$. The (holomorphic) Linearisation Problem asks if there is a holomorphic change of coordinates on ${\mathbb C}^n$ such that the $G$-action becomes linear. Equivalently, is there a $G$-equivariant biholomorphism $\Phi\colon X\to V$ where $V$ is a $G$-module? There is an intrinsic stratification of the categorical quotient $Q_X$, called the Luna stratification, where the strata are labeled by isomorphism classes of representations of reductive subgroups of $G$. Suppose that there is a $\Phi$ as above. Then $\Phi$ induces a biholomorphism $\phi\colon Q_X\to Q_V$ which is stratified, i.e., the stratum of $Q_X$ with a given label is sent isomorphically to the stratum of $Q_V$ with the same label. The counterexamples to the Linearisation Problem construct an action of $G$ such that $Q_X$ is not stratified biholomorphic to any $Q_V$. Our main theorem shows that, for most $X$, a stratified biholomorphism of $Q_X$ to some $Q_V$ is sufficient for linearisation. In fact, we do not have to assume that $X$ is biholomorphic to ${\mathbb C}^n$, only that $X$ is a Stein manifold.


title: Constraints on Axion Inflation from the Weak Gravity Conjecture

abstract: We derive constraints facing models of axion inflation based on decay constant alignment from a string-theoretic and quantum gravitational perspective. In particular, we investigate the prospects for alignment and `anti-alignment' of $C_4$ axion decay constants in type IIB string theory, deriving a strict no-go result in the latter case. We discuss the relationship of axion decay constants to the weak gravity conjecture and demonstrate agreement between our string-theoretic constraints and those coming from the `generalized' weak gravity conjecture. Finally, we consider a particular model of decay constant alignment in which the potential of $C_4$ axions in type IIB compactifications on a Calabi-Yau three-fold is dominated by contributions from $D7$-branes, pointing out that this model evades some of the challenges derived earlier in our paper but is highly constrained by other geometric considerations.


title: On the Convergence and Performance of MF Precoding in Distributed Massive MU-MIMO Systems

abstract: In this paper, we analyze both the rate of convergence and the performance of a matched-filter (MF) precoder in a massive multi-user (MU) multiple-input-multiple-output (MIMO) system, with the aim of determining the impact of distributing the transmit antennas into multiple clusters. We consider cases of transmit spatial correlation, unequal link gains and imperfect channel state information (CSI). Furthermore, we derive a MF signal-to-interference-plus-noise-ratio (SINR) limit as both the number of transmit antennas and the number of users tend to infinity. In our results, we show that both the rate of convergence and performance is strongly dependent on spatial correlation. In the presence of spatial correlation, distributing the antennas into multiple clusters renders significant gains over a co-located antenna array scenario. In uncorrelated scenarios, a co-located antenna cluster has a marginally better mean per-user SINR performance due to its superior single-user signal-to-noise-ratio (SNR) regime, i.e., when a user is close to the base station (BS), the links between the user and all transmit antennas becomes strong.


title: Homotopy principles for equivariant isomorphisms

abstract: Let $G$ be a reductive complex Lie group acting holomorphically on Stein manifolds $X$ and $Y$. Let $p_X\colon X\to Q_X$ and $p_Y\colon Y\to Q_Y$ be the quotient mappings. When is there an equivariant biholomorphism of $X$ and $Y$? A necessary condition is that the categorical quotients $Q_X$ and $Q_Y$ are biholomorphic and that the biholomorphism $\phi$ sends the Luna strata of $Q_X$ isomorphically onto the corresponding Luna strata of $Q_Y$. Fix $\phi$. We demonstrate two homotopy principles in this situation. The first result says that if there is a $G$-diffeomorphism $\Phi\colon X\to Y$, inducing $\phi$, which is $G$-biholomorphic on the reduced fibres of the quotient mappings, then $\Phi$ is homotopic, through $G$-diffeomorphisms satisfying the same conditions, to a $G$-equivariant biholomorphism from $X$ to $Y$. The second result roughly says that if we have a $G$-homeomorphism $\Phi\colon X\to Y$ which induces a continuous family of $G$-equivariant biholomorphisms of the fibres $p_X^{-1}(q)$ and $p_Y^{-1}(\phi(q))$ for $q\in Q_X$ and if $X$ satisfies an auxiliary property (which holds for most $X$), then $\Phi$ is homotopic, through $G$-homeomorphisms satisfying the same conditions, to a $G$-equivariant biholomorphism from $X$ to $Y$. Our results improve upon earlier work of the authors and use new ideas and techniques.


title: Improved adaptive sparse channel estimation using mixed square/fourth error criterion

abstract: Sparse channel estimation problem is one of challenge technical issues in stable broadband wireless communications. Based on square error criterion (SEC), adaptive sparse channel estimation (ASCE) methods, e.g., zero-attracting least mean square error (ZA-LMS) algorithm and reweighted ZA-LMS (RZA-LMS) algorithm, have been proposed to mitigate noise interferences as well as to exploit the inherent channel sparsity. However, the conventional SEC-ASCE methods are vulnerable to 1) random scaling of input training signal; and 2) imbalance between convergence speed and steady state mean square error (MSE) performance due to fixed step-size of gradient descend method. In this paper, a mixed square/fourth error criterion (SFEC) based improved ASCE methods are proposed to avoid aforementioned shortcomings. Specifically, the improved SFEC-ASCE methods are realized with zero-attracting least mean square/fourth error (ZA-LMS/F) algorithm and reweighted ZA-LMS/F (RZA-LMS/F) algorithm, respectively. Firstly, regularization parameters of the SFEC-ASCE methods are selected by means of Monte-Carlo simulations. Secondly, lower bounds of the SFEC-ASCE methods are derived and analyzed. Finally, simulation results are given to show that the proposed SFEC-ASCE methods achieve better estimation performance than the conventional SEC-ASCE methods. 1


title: SFDM: A new formation mechanism of tidal debris

abstract: Recent observations of tidal debris around galaxies have revealed that the structural properties of the spheroidal components of tidally disturbed galaxies are similar to those found in non-interacting early-type galaxies(ETGs), likely due to minor merging events that do not strongly affect the bulge region or to major mergers that happened a long time ago. We show that independently of merger events, tidal features like shells or rings can also arise if the the dark matter is an ultra light scalar field of mass ~10$^{-22}$eV/c$^2$. In the scalar field dark matter (SFDM) model the small mass precludes halo formation below ~10$^8$ M$_{\odot}$ reducing the number of small galaxies today, it produces shallow density profiles due to the uncertainty principle in contrast to the steep profiles found in the standard cold dark matter (CDM) paradigm, in addition to the usual soliton solution there exists dark matter haloes in multistates, characterized by ripples in their density profiles, which are stable provided that most of the halo mass resides in the ground state. We use the hydrodynamics code ZEUS to track the gas evolution in a background potential given by a superposition of the ground and first excited state of the scalar field, we study this configuration when it is initially unstable (excited state more massive than ground state) but by a population inversion in the states it eventually becomes stable, this could happen when haloes decoupled from the expansion of the universe and collapse to reach a state of equilibrium. We found that tidal structures like rings are formed at a particular radii as a direct consequence of the wavelike structure of the dark matter halo(abridged)


title: IMAC: Impulsive-mitigation adaptive sparse channel estimation based on Gaussian-mixture model

abstract: Broadband frequency-selective fading channels usually have the inherent sparse nature. By exploiting the sparsity, adaptive sparse channel estimation (ASCE) methods, e.g., reweighted L1-norm least mean square (RL1-LMS), could bring a performance gain if additive noise satisfying Gaussian assumption. In real communication environments, however, channel estimation performance is often deteriorated by unexpected non-Gaussian noises which include conventional Gaussian noises and impulsive interferences. To design stable communication systems, hence, it is urgent to develop advanced channel estimation methods to remove the impulsive interference and to exploit channel sparsity simultaneously. In this paper, robust impulsive-mitigation adaptive sparse channel estimation (IMAC) method is proposed for solving aforementioned technical issues. Specifically, first of all, the non-Gaussian noise model is described by Gaussian mixture model (GMM). Secondly, cost function of reweighted L1-norm penalized least absolute error standard (RL1-LAE) algorithm is constructed. Then, RL1-LAE algorithm is derived for realizing IMAC method. Finally, representative simulation results are provided to corroborate the studies.


title: Equivariant indices of Spin$^c$-Dirac operators for proper moment maps

abstract: We define an equivariant index of Spin$^c$-Dirac operators on possibly noncompact manifolds, acted on by compact, connected Lie groups. The main result in this paper is that the index decomposes into irreducible representations according to the quantisation commutes with reduction principle.


title: Maximum correntropy criterion based sparse adaptive filtering algorithms for robust channel estimation under non-Gaussian environments

abstract: Sparse adaptive channel estimation problem is one of the most important topics in broadband wireless communications systems due to its simplicity and robustness. So far many sparsity-aware channel estimation algorithms have been developed based on the well-known minimum mean square error (MMSE) criterion, such as the zero-attracting least mean square (ZALMS), which are robust under Gaussian assumption. In non-Gaussian environments, however, these methods are often no longer robust especially when systems are disturbed by random impulsive noises. To address this problem, we propose in this work a robust sparse adaptive filtering algorithm using correntropy induced metric (CIM) penalized maximum correntropy criterion (MCC) rather than conventional MMSE criterion for robust channel estimation. Specifically, MCC is utilized to mitigate the impulsive noise while CIM is adopted to exploit the channel sparsity efficiently. Both theoretical analysis and computer simulations are provided to corroborate the proposed methods.


title: On the sum of reciprocal generalized Fibonacci numbers

abstract: In this paper, we consider infinite sums derived from the reciprocals of the generalized Fibonacci numbers. We obtain some new and interesting identities for the generalized Fibonacci numbers.


title: Eigenvalue bounds in one dimensional Schrodinger's equation with ultra-short potentials

abstract: The problem of a particle localized in a ultra-short potential in one dimension is considered. By proposing a general solution to Schrodinger;s equation we show that the energy spectra and the probability of the particle have definite bounds for an arbitrary ultra-short potential. These results are relevant for the confinement of particles in nanodevices.


title: Deterministic and Probabilistic Binary Search in Graphs

abstract: We consider the following natural generalization of Binary Search: in a given undirected, positively weighted graph, one vertex is a target. The algorithm's task is to identify the target by adaptively querying vertices. In response to querying a node $q$, the algorithm learns either that $q$ is the target, or is given an edge out of $q$ that lies on a shortest path from $q$ to the target. We study this problem in a general noisy model in which each query independently receives a correct answer with probability $p > \frac{1}{2}$ (a known constant), and an (adversarial) incorrect one with probability $1-p$. Our main positive result is that when $p = 1$ (i.e., all answers are correct), $\log_2 n$ queries are always sufficient. For general $p$, we give an (almost information-theoretically optimal) algorithm that uses, in expectation, no more than $(1 - \delta)\frac{\log_2 n}{1 - H(p)} + o(\log n) + O(\log^2 (1/\delta))$ queries, and identifies the target correctly with probability at leas $1-\delta$. Here, $H(p) = -(p \log p + (1-p) \log(1-p))$ denotes the entropy. The first bound is achieved by the algorithm that iteratively queries a 1-median of the nodes not ruled out yet; the second bound by careful repeated invocations of a multiplicative weights algorithm. Even for $p = 1$, we show several hardness results for the problem of determining whether a target can be found using $K$ queries. Our upper bound of $\log_2 n$ implies a quasipolynomial-time algorithm for undirected connected graphs; we show that this is best-possible under the Strong Exponential Time Hypothesis (SETH). Furthermore, for directed graphs, or for undirected graphs with non-uniform node querying costs, the problem is PSPACE-complete. For a semi-adaptive version, in which one may query $r$ nodes each in $k$ rounds, we show membership in $\Sigma_{2k-1}$ in the polynomial hierarchy, and hardness for $\Sigma_{2k-5}$.


title: An Introduction to Logics of Knowledge and Belief

abstract: This chapter provides an introduction to some basic concepts of epistemic logic, basic formal languages, their semantics, and proof systems. It also contains an overview of the handbook, and a brief history of epistemic logic and pointers to the literature.


title: First Detection of [C I] $^3$P$_1$-$^3$P$_0$ Emission from a Protoplanetary Disk

abstract: We performed single point [C I] $^3$P$_1$-$^3$P$_0$ and CO J=4-3 observations toward three T Tauri stars, DM Tau, LkCa 15, and TW Hya, using the Atacama Large Millimeter/submillimeter Array (ALMA) Band 8 qualification model receiver installed on the Atacama Submillimeter Telescope Experiment (ASTE). Two protostars in the Taurus L1551 region, L1551 IRS 5 and HL Tau, were also observed. We successfully detected [C I] emission from the protoplanetary disk around DM Tau as well as the protostellar targets. The spectral profile of the [C I] emission from the protoplanetary disk is marginally single-peaked, suggesting that atomic carbon (C) extends toward the outermost disk. The detected [C I] emission is optically thin and the column densities of C are estimated to be <~10$^{16}$ cm$^{-2}$ and ~10$^{17}$ cm$^{-2}$ for the T Tauri star targets and the protostars, respectively. We found a clear difference in the total mass ratio of C to dust, $M$(C)/$M$(dust), between the T Tauri stars and protostellar targets; the $M$(C)/$M$(dust) ratio of the T Tauri stars is one order of magnitude smaller than that of the protostars. The decrease of the estimated $M$(C)/$M$(dust) ratios for the disk sources is consistent with a theoretical prediction that the atomic C can survive only in the near surface layer of the disk and C$^+$/C/CO transition occurs deeper into the disk midplane.


title: A Distributed Algorithm for Solving a Linear Algebraic Equation

abstract: A distributed algorithm is described for solving a linear algebraic equation of the form $Ax=b$ assuming the equation has at least one solution. The equation is simultaneously solved by $m$ agents assuming each agent knows only a subset of the rows of the partitioned matrix $(A,b)$, the current estimates of the equation's solution generated by its neighbors, and nothing more. Each agent recursively updates its estimate by utilizing the current estimates generated by each of its neighbors. Neighbor relations are characterized by a time-dependent directed graph $\mathbb{N}(t)$ whose vertices correspond to agents and whose arcs depict neighbor relations. It is shown that for any matrix $A$ for which the equation has a solution and any sequence of "repeatedly jointly strongly connected graphs" $\mathbb{N}(t)$, $t=1,2,\ldots$, the algorithm causes all agents' estimates to converge exponentially fast to the same solution to $Ax=b$. It is also shown that the neighbor graph sequence must actually be repeatedly jointly strongly connected if exponential convergence is to be assured. A worst case convergence rate bound is derived for the case when $Ax=b$ has a unique solution. It is demonstrated that with minor modification, the algorithm can track the solution to $Ax = b$, even if $A$ and $b$ are changing with time, provided the rates of change of $A$ and $b$ are sufficiently small. It is also shown that in the absence of communication delays, exponential convergence to a solution occurs even if the times at which each agent updates its estimates are not synchronized with the update times of its neighbors. A modification of the algorithm is outlined which enables it to obtain a least squares solution to $Ax=b$ in a distributed manner, even if $Ax=b$ does not have a solution.


title: The hierarchy problem and the cosmological constant problem in the Standard Model

abstract: We argue that the SM in the Higgs phase does not suffer form a "hierarchy problem" and that similarly the "cosmological constant problem" resolves itself if we understand the SM as a low energy effective theory emerging from a cut-off medium at the Planck scale. We discuss these issues under the condition of a stable Higgs vacuum, which allows to extend the SM up to the Planck length. The bare Higgs boson mass then changes sign below the Planck scale, such the the SM in the early universe is in the symmetric phase. The cut-off enhanced Higgs mass term as well as the quartically enhanced cosmological constant term trigger the inflation of the early universe. The coefficients of the shift between bare and renormalized Higgs mass as well as of the shift between bare and renormalized vacuum energy density exhibit close-by zeros at some point below the Planck scale. The zeros are matching points between short distance and the renormalized low energy quantities. Since inflation tunes the total energy density to take the critical value of a flat universe Omega_tot=rho_tot/rho_crit=Omega_Lambda+Omega_matter+Omega_radiation}=1 it is obvious that Omega_Lambda today is of order Omega_tot given that 1>Omega_matter, Omega_radiation>0, which saturate the total density to about 26 % only, the dominant part being dark matter(21 %).


title: Development of an Android Application for an Electronic Medical Record System in an Outpatient Environment for Healthcare in Fiji

abstract: The outpatients department in a developing country is typically understaffed and inadequately equipped to handle a large numbers of patients filing through on an average day. The use of electronic medical record (EMR) systems can resolve some of the longstanding medical inefficiencies common in developing countries. This paper presents the design and implementation of a proposed outpatient management system that enables efficient management of a patient's medical details. We present a system to create appointments with medical practitioners by integrating a proposed Android-based mobile application with a selected open source EMR system. The application allows both the patient and the medical practitioners to manage appointments and make use of the electronic messaging facility to send reminders when the appointed time is approaching in real-time. A mobile application prototype is developed and the road map for implementation is also discussed.


title: Deterministic separation of suspended particles in a reconfigurable obstacle array

abstract: We use a macromodel of a flow-driven deterministic lateral displacement (DLD) microfluidic system to investigate conditions leading to size-separation of suspended particles. This model system can be easily reconfigured to establish an arbitrary orientation between the average flow field and the array of obstacles comprising the stationary phase (forcing angle). We also investigate the effect of obstacle size using two arrays with different obstacles but same surface-to-surface distance between them. In all cases, we observe the presence of a locked mode at small forcing angles, in which particles move along a principal direction in the lattice until a locked-to-zigzag transition takes place when the driving force reaches a critical angle. We show that the transition occurs at increasing angles for larger particles, thus enabling particle separation at specific forcing angles. Moreover, we observe a linear correlation between the critical angle and the size of the particles that could be used in the design of microfluidic systems with a fixed orientation of the flow field. Finally, we present a simple model, based on the presence of irreversible interactions between the suspended particles and the obstacles, which describes the observed dependence of the migration angle on the orientation of the average flow.


title: Undirected Rigid Formations are Problematic

abstract: By an undirected rigid formation of mobile autonomous agents is meant a formation based on graph rigidity in which each pair of "neighboring" agents is responsible for maintaining a prescribed target distance between them. In a recent paper a systematic method was proposed for devising gradient control laws for asymptotically stabilizing a large class of rigid, undirected formations in two dimensional space assuming all agents are described by kinematic point models. The aim of this paper is to explain what happens to such formations if neighboring agents have slightly different understandings of what the desired distance between them is supposed to be or equivalently if neighboring agents have differing estimates of what the actual distance between them is. In either case, what one would expect would be a gradual distortion of the formation from its target shape as discrepancies in desired or sensed distances increase. While this is observed for the gradient laws in question, something else quite unexpected happens at the same time. It is shown that for any rigidity-based, undirected formation of this type which is comprised of three or more agents, that if some neighboring agents have slightly different understandings of what the desired distances between them are suppose to be, then almost for certain, the trajectory of the resulting distorted but rigid formation will converge exponentially fast to a closed circular orbit in two-dimensional space which is traversed periodically at a constant angular speed.


title: Ford Circles and Spheres

abstract: Ford circles are parameterized by the rational numbers but are also the result of an iterative geometric procedure. We review this and introduce an apparently new parameterization by solutions of a certain quadratic Diophantine equation. We then generalize to Eisenstein and Gaussian rationals where the resulting "Ford spheres" are also the result of iterative geometric procedures and are also parameterized by solutions of certain quadratic Diophantine equations. We generalize still further to imaginary quadratic fields.


title: Mobile Application for Dengue Fever Monitoring and Tracking via GPS: Case Study for Fiji

abstract: The 2013 outbreak of Dengue in Fiji resulted in an alarming number of deaths and has been is a matter of serious concern. Dengue fever is a disease caused by the four types of the Dengue virus serotypes and transmitted mostly from mosquito bites. In Fiji, dengue diagnosis is only done in hospitals which are slow and time consuming. It is also important to monitor the spread of Dengue. Fiji needs an convenient method of monitoring the spread of Dengue. With increase in affordable smartphones and better Internet coverage, there is scope for a mobile application for Dengue fever monitoring and tracking. This paper proposes a mobile application for Dengue monitoring based on global positioning system (GPS) enabled mobile phone technology. It also provides an information network that shows the spread of dengue which will allow health authorities to quickly identify dengue infected areas in Fiji. A mobile application prototype is developed and tested and the scope for further testing and implementation is also given.


title: A simple and universal setup of quasi-monocolor gamma-ray source

abstract: Strict classic 3-D dynamics theory reveals that arbitrarily high center frequency light source can be achieved by flexible application of not-too-strong static electric field and static magnetic field. The magnitudes of the fields are not required to be high.


title: Hall detection of a ppm spin polarization

abstract: Hall effects have been employed as sensitive detectors of magnetic fields and magnetizations. In spintronics, exotic phenomena often emerge from a non-equilibrium spin polarization or magnetization, that is very difficult to measure directly. The challenge is due to the tiny total moment, which is out of reach of superconducting quantum interference devices and vibrating sample magnetometers or spectroscopic methods such as X-ray magnetic circular dichroism. The Kerr effect is sufficiently sensitive only in direct gap semiconductors, in which the Kerr angle can be resonantly enhanced. Here we demonstrate that even one excess spin in a million can be detected by a Hall effect at room temperature. The novel Hall effect is not governed by the spin Hall conductivity but by its energy derivative thereby related to the spin Nernst effect.


title: Convergence and divergence testing theory and applications by Integration at a point

abstract: Integration at a point is a new kind of integration derived from integration over an interval in infinitesimal and infinity domains which are spaces larger than the reals. Consider a continuous monotonic divergent function that is continually increasing. Apply the fundamental theorem of calculus. The integral is a difference of the function integrated at the end points. If one of these point integrals is much-greater-than the other in magnitude delete it by non-reversible arithmetic. We call this type of integration "convergence sums" because our primary application is a theory for the determination of convergence and divergence of sums and integrals. The theory is far-reaching. It reforms known convergence tests and arrangement theorems, and it connects integration and series switching between the different forms. By separating the finite and infinite domains, the mathematics is more naturally considered, and is a problem reduction. In this endeavour we rediscover and reform the "boundary test" which we believe to be the boundary between convergence and divergence: the boundary is represented as an infinite class of generalized p-series functions. All this is derived from extending du Bois-Reymond's theory with gossamer numbers and function comparison algebra.


title: Legendrian singular links and singular connected sums

abstract: We study Legendrian singular links up to contact isotopy. Using a special property of the singular points, we define the singular connected sum of Legendrian singular links. This concept is a generalization of the connected sum and can be interpreted as a tangle replacement, which provides a way to classify Legendrian singular links. Moreover, we investigate several phenomena only occur in the Legendrian setup.