title: Constraining the Low-Mass Slope of the Star Formation Sequence at 0.5<z<2.5

abstract: We constrain the slope of the star formation rate ($\log\Psi$) to stellar mass ($\log\mathrm{M_{\star}}$) relation down to $\log(\mathrm{M_{\star}/M_{\odot}})=8.4$ ($\log(\mathrm{M_{\star}/M_{\odot}})=9.2$) at $z=0.5$ ($z=2.5$) with a mass-complete sample of 39,106 star-forming galaxies selected from the 3D-HST photometric catalogs, using deep photometry in the CANDELS fields. For the first time, we find that the slope is dependent on stellar mass, such that it is steeper at low masses ($\log\mathrm{\Psi}\propto\log\mathrm{M_{\star}}$) than at high masses ($\log\mathrm{\Psi}\propto(0.3-0.6)\log\mathrm{M_{\star}}$). These steeper low mass slopes are found for three different star formation indicators: the combination of the ultraviolet (UV) and infrared (IR), calibrated from a stacking analysis of Spitzer/MIPS 24$\mu$m imaging; $\beta$-corrected UV SFRs; and H$\alpha$ SFRs. The normalization of the sequence evolves differently in distinct mass regimes as well: for galaxies less massive than $\log(\mathrm{M_{\star}/M_{\odot}})<10$ the specific SFR ($\Psi/\mathrm{M_{\star}}$) is observed to be roughly self-similar with $\Psi/\mathrm{M_{\star}}\propto(1+z)^{1.9}$, whereas more massive galaxies show a stronger evolution with $\Psi/\mathrm{M_{\star}}\propto(1+z)^{2.2-3.5}$ for $\log(\mathrm{M_{\star}/M_{\odot}})=10.2-11.2$. The fact that we find a steep slope of the star formation sequence for the lower mass galaxies will help reconcile theoretical galaxy formation models with the observations. The results of this study support the analytical conclusions of Leja et al. (2014).


title: NuSTAR unveils a Compton-thick Type 2 quasar in Mrk 34

abstract: We present Nustar 3-40 keV observations of the optically selected Type 2 quasar (QSO2) SDSS J1034+6001 or Mrk 34. The high-quality hard X-ray spectrum and archival XMM-Newton data can be fitted self-consistently with a reflection-dominated continuum and strong Fe Kalpha fluorescence line with equivalent-width >1 keV. Prior X-ray spectral fitting below 10 keV showed the source to be consistent with being obscured by Compton-thin column densities of gas along the line-of-sight, despite evidence for much higher columns from multiwavelength data. NuSTAR now enables a direct measurement of this column, and shows that Nh lies in the Compton-thick (CT) regime. The new data also show a high intrinsic 2-10 keV luminosity of L_{2-10}~10^{44} erg/s, in contrast to previous low-energy X-ray measurements for which L_{2-10}<~10^{43} erg/s (i.e. X-ray selection below 10 keV does not pick up this source as an intrinsically luminous obscured quasar). Both the obscuring column and the intrinsic power are about an order of magnitude (or more) larger than inferred from pre-NuSTAR X-ray spectral fitting. Mrk34 is thus a 'gold standard' CT QSO2 and is the nearest non-merging system in this class, in contrast to the other local CT quasar NGC6240 which is currently undergoing a major merger coupled with strong star-formation. For typical X-ray bolometric correction factors, the accretion luminosity of Mrk34 is high enough to potentially power the total infrared luminosity. X-ray spectral fitting also shows that thermal emission related to star-formation is unlikely to drive the observed bright soft component below ~3 keV, favoring photionization instead.


title: Vertices of simple modules of symmetric groups labelled by hook partitions

abstract: In this article we study the vertices of simple modules for the symmetric groups in prime characteristic $p$. In particular, we complete the classification of the vertices of simple $S_n$-modules labelled by hook partitions.


title: Interpretation of scanning tunneling quasiparticle interference and impurity states in cuprates

abstract: We apply a recently developed method combining first principles based Wannier functions with solutions to the Bogoliubov-de Gennes equations to the problem of interpreting STM data in cuprate superconductors. We show that the observed images of Zn on the surface of Bi$_2$Sr$_2$CaCu$_2$O$_8$ can only be understood by accounting for the tails of the Cu Wannier functions, which include significant weight on apical O sites in neighboring unit cells. This calculation thus puts earlier crude "filter" theories on a microscopic foundation and solves a long standing puzzle. We then study quasiparticle interference phenomena induced by out-of-plane weak potential scatterers, and show how patterns long observed in cuprates can be understood in terms of the interference of Wannier functions above the surface. Our results show excellent agreement with experiment and enable a better understanding of novel phenomena in the cuprates via STM imaging.


title: The First Stars: formation under X-ray feedback

abstract: We investigate the impact of a cosmic X-ray background (CXB) on Population III stars forming in a minihalo at $z\simeq25$. Using the smoothed particle hydrodynamics code GADGET-2, we attain sufficient numerical resolution to follow gas collapsing into the centre of the minihalo from cosmological initial conditions up to densities of $10^{12}\,{\rm cm}^{-3}$, at which point we form sink particles. This allows us to study how the presence of a CXB affects the formation of H$_2$ and HD in the gas prior to becoming fully molecular. Using a suite of simulations for a range of possible CXB models, we follow each simulation for 5000\yr after the first sink particle forms. The CXB provides two competing effects, with X-rays both heating the gas and increasing the free electron fraction, allowing more H$_2$ to form. X-ray heating dominates below $n\sim1\,{\rm cm}^{-3}$, while the additional H$_2$ cooling becomes more important above $n\sim10^2\,{\rm cm}^{-3}$. The gas becomes optically thick to X-rays as it exits the quasi-hydrostatic `loitering phase,' such that the primary impact of the CXB is to cool the gas at intermediate densities, resulting in an earlier onset of baryonic collapse into the dark matter halo. At the highest densities, self-shielding results in similar thermodynamic behaviour across a wide range of CXB strengths. Consequently, we find that star formation is relatively insensitive to the presence of a CXB; both the number and the characteristic mass of the stars formed remains quite similar even as the strength of the CXB varies by several orders of magnitude.


title: Adaptive Optics Images III: 87 Kepler Objects of Interest

abstract: The Kepler mission has revolutionized our understanding of exoplanets, but some of the planet candidates identified by Kepler may actually be astrophysical false positives or planets whose transit depths are diluted by the presence of another star. Adaptive optics images made with ARIES at the MMT of 87 Kepler Objects of Interest place limits on the presence of fainter stars in or near the Kepler aperture. We detected visual companions within 1" for five stars, between 1" and 2" for seven stars, and between 2" and 4" for 15 stars. For those systems, we estimate the brightness of companion stars in the Kepler bandpass and provide approximate corrections to the radii of associated planet candidates due to the extra light in the aperture. For all stars observed, we report detection limits on the presence of nearby stars. ARIES is typically sensitive to stars approximately 5.3 Ks magnitudes fainter than the target star within 1" and approximately 5.7 Ks magnitudes fainter within 2", but can detect stars as faint as delta Ks = 7.5 under ideal conditions.


title: Gravitational collisions and the quark-gluon plasma

abstract: This thesis addresses the thermalisation of heavy-ion collisions within the context of the AdS/CFT duality. The first part clarifies the numerical set-up and studies the relaxation of far-from-equilibrium modes in homogeneous systems. Less trivially we then study colliding shock waves and uncover a transparent regime where the strongly coupled shocks initially pass right through each other. Furthermore, in this regime the later plasma relaxation is insensitive to the longitudinal profile of the shock, implying in particular a universal rapidity shape at strong coupling and high collision energies. Lastly, we study radial expansion in a boost-invariant set-up, allowing us to find good agreement with head-on collisions performed at the LHC accelerator. As a secondary goal of this thesis, a special effort is made to clearly expose numerical computations by providing commented Mathematica notebooks for most calculations presented. Furthermore, we provide interpolating functions of the geometries computed, which can be of use in other projects.


title: A parametric study of possible solutions to the high-redshift overproduction of stars in modeled dwarf galaxies

abstract: Both numerical hydrodynamic and semi-analytic cosmological models of galaxy formation struggle to match observed star formation histories of galaxies in low mass halos (M$_{\rm{H}} \lesssim 10^{11} M_\odot$), predicting more star formation at high redshift and less star formation at low redshift than observed. The fundamental problem is that galaxies' gas accretion and star formation rates are too closely coupled in the models: the accretion rate largely drives the star formation rate. Observations point to gas accretion rates that outpace star formation at high redshift, resulting in a buildup of gas and a delay in star formation until lower redshifts. We present three empirical adjustments of standard recipes in a semi-analytic model motivated by three physical scenarios that could cause this decoupling: 1) the mass-loading factors of outflows driven by stellar feedback may have a steeper dependence on halo mass at earlier times, 2) the efficiency of star formation may be lower in low mass halos at high redshift, and 3) gas may not be able to accrete efficiently onto the disk in low mass halos at high redshift. These new recipes, once tuned, better reproduce the evolution of $f_\star \equiv M_\star/M_{\rm{H}}$ as a function of halo mass as derived from abundance matching over redshifts $z=0$ to $3$, though they have different effects on cold gas fractions, star formation rates, and metallicities. Changes to gas accretion and stellar-driven winds are promising, while direct modification of the star formation timescale requires drastic measures that are not physically well-motivated.


title: A First Site of Galaxy Cluster Formation: Complete Spectroscopy of a Protocluster at $z=6.01$

abstract: We performed a systematic spectroscopic observation of a protocluster at $z=6.01$ in the Subaru Deep Field. We took spectroscopy for all 53 $i'$-dropout galaxies down to $z'=27.09\,\mathrm{mag}$ in/around the protocluster region. From these observations, we confirmed that 28 galaxies are at $z\sim6$, of which ten are clustered in a narrow redshift range of $\Delta z<0.06$. To trace the evolution of this primordial structure, we applied the same $i'$-dropout selection and the same overdensity measurements used in the observations to a semi-analytic model built upon the Millennium Simulation. We obtain a relation between the significance of overdensities observed at $z\sim6$ and the predicted dark matter halo mass at $z=0$. This protocluster with $6\sigma$ overdensity is expected to grow into a galaxy cluster with a mass of $\sim5\times10^{14}\,\mathrm{M_\odot}$ at $z=0$. Ten galaxies within $10\,\mathrm{comoving\>Mpc}$ of the overdense region can, with more than an 80% probability, merge into a single dark matter halo by $z=0$. No significant differences appeared in UV and Ly$\alpha$ luminosities between the protocluster and field galaxies, suggesting that this protocluster is still in the early phase of cluster formation before the onset of any obvious environmental effects. However, further observations are required to study other properties, such as stellar mass, dust, and age. We do find that galaxies tend to be in close pairs in this protocluster. These pair-like subgroups will coalesce into a single halo and grow into a more massive structure. We may witness an onset of cluster formation at $z\sim6$ toward a cluster as seen in local universe.


title: M2-brane surface operators and gauge theory dualities in Toda

abstract: We give a microscopic two dimensional ${\cal N}=(2,2)$ gauge theory description of arbitrary M2-branes ending on $N_f$ M5-branes wrapping a punctured Riemann surface. These realize surface operators in four dimensional ${\cal N}=2$ field theories. We show that the expectation value of these surface operators on the sphere is captured by a Toda CFT correlation function in the presence of an additional degenerate vertex operator labelled by a representation ${\cal R}$ of $SU(N_f)$, which also labels M2-branes ending on M5-branes. We prove that symmetries of Toda CFT correlators provide a geometric realization of dualities between two dimensional gauge theories, including ${\cal N}=(2,2)$ analogues of Seiberg and Kutasov--Schwimmer dualities. As a bonus, we find new explicit conformal blocks, braiding matrices, and fusion rules in Toda CFT.


title: Stable marriage with general preferences

abstract: We propose a generalization of the classical stable marriage problem. In our model, the preferences on one side of the partition are given in terms of arbitrary binary relations, which need not be transitive nor acyclic. This generalization is practically well-motivated, and as we show, encompasses the well studied hard variant of stable marriage where preferences are allowed to have ties and to be incomplete. As a result, we prove that deciding the existence of a stable matching in our model is NP-complete. Complementing this negative result we present a polynomial-time algorithm for the above decision problem in a significant class of instances where the preferences are asymmetric. We also present a linear programming formulation whose feasibility fully characterizes the existence of stable matchings in this special case. Finally, we use our model to study a long standing open problem regarding the existence of cyclic 3D stable matchings. In particular, we prove that the problem of deciding whether a fixed 2D perfect matching can be extended to a 3D stable matching is NP-complete, showing this way that a natural attempt to resolve the existence (or not) of 3D stable matchings is bound to fail.


title: The orbital motion of the Quintuplet cluster - a common origin for the Arches and Quintuplet clusters?

abstract: We investigate the orbital motion of the Quintuplet cluster near the Galactic center with the aim of constraining formation scenarios of young, massive star clusters in nuclear environments. Three epochs of adaptive optics high-angular resolution imaging with Keck/NIRC2 and VLT/NACO were obtained over a time baseline of 5.8 years, delivering an astrometric accuracy of 0.5-1 mas/yr. Proper motions were derived in the cluster reference frame and were used to distinguish cluster members from the majority of field stars. Fitting the cluster and field proper motion distributions with 2D gaussian models, we derive the orbital motion of the cluster for the first time. The Quintuplet is moving with a 2D velocity of 132 +/- 15 km/s with respect to the field along the Galactic plane, which yields a 3D orbital velocity of 167 +/- 15 km/s when combined with the previously known radial velocity. From a sample of 119 stars measured in three epochs, we derive an upper limit to the velocity dispersion in the core of the Quintuplet cluster of sigma_1D < 10 km/s. Knowledge of the three velocity components of the Quintuplet allows us to model the cluster orbit in the potential of the inner Galaxy. Comparing the Quintuplet's orbit with the Arches orbit, we discuss the possibility that both clusters originated in the same area of the central molecular zone. [abridged]


title: Kenneth G. Wilson: Renormalized After-Dinner Anecdotes

abstract: This is the transcript of the after-dinner talk I gave at the close of the 16 Nov 2013 symposium "Celebrating the Science of Kenneth Geddes Wilson" [1] at Cornell University (see Fig. 1 for the poster). The video of my talk is on-line [2], and this transcript is more or less verbatim, with the slides used included as figures. I've also annotated it with a few clarifying footnotes, and provided references to the source materials where available. The talk itself pulls together anecdotes from various points in his career, discusses my own graduate student experiences with him, and finishes with some video excerpts from an interview he did in 2010.

categories: physics.hist-ph cond-mat.stat-mech hep-lat hep-ph hep-th


title: The Weak Lensing Signal and the Clustering of BOSS Galaxies II: Astrophysical and Cosmological Constraints

abstract: We perform a joint analysis of the abundance, the clustering and the galaxy-galaxy lensing signal of galaxies measured from Data Release 11 of the Sloan Digital Sky Survey III Baryon Oscillation Spectroscopic Survey (SDSS III-BOSS) in our companion paper, Miyatake et al. (2014). The lensing signal was obtained by using the shape catalog of background galaxies from the Canada France Hawaii Telescope Legacy Survey, which was made publicly available by the CFHTLenS collaboration, with an area overlap of about 105 deg$^2$. We analyse the data in the framework of the halo model in order to fit halo occupation parameters and cosmological parameters ($\Omega_{\rm m}$ and $\sigma_8$) to these observables simultaneously, and thus break the degeneracy between galaxy bias and cosmology. Adopting a flat $\Lambda$CDM cosmology with priors on $\Omega_b h^2$, $n_{\rm s}$ and $h$ from the analysis of WMAP 9-year data, we obtain constraints on the stellar mass-halo mass relation of galaxies in our sample. Marginalizing over the halo occupation distribution parameters and a number of other nuisance parameters in our model, we obtain $\Omega_{\rm m}=0.310^{+0.019}_{-0.020}$ and $\sigma_8=0.785^{+0.044}_{-0.044}$ (68% confidence). We demonstrate the robustness of our results with respect to sample selection and a variety of systematics such as the halo off-centering effect and possible incompleteness in our sample. Our constraints are consistent, complementary and competitive with those obtained using other independent probes of these cosmological parameters. The cosmological analysis is the first of its kind to be performed at a redshift as high as $0.53$.


title: Optimization of Gaussian Random Fields

abstract: Many engineering systems are subject to spatially distributed uncertainty, i.e. uncertainty that can be modeled as a random field. Altering the mean or covariance of this uncertainty will in general change the statistical distribution of the system outputs. We present an approach for computing the sensitivity of the statistics of system outputs with respect to the parameters describing the mean and covariance of the distributed uncertainty. This sensitivity information is then incorporated into a gradient-based optimizer to optimize the structure of the distributed uncertainty to achieve desired output statistics. This framework is applied to perform variance optimization for a model problem and to optimize the manufacturing tolerances of a gas turbine compressor blade.


title: Trapped-ion quantum error-correcting protocols using only global operations

abstract: Quantum error-correcting codes are many-body entangled states that are prepared and measured using complex sequences of entangling operations. Each element of such an entangling sequence introduces noise to delicate quantum information during the encoding or reading out of the code. It is important therefore to find efficient entangling protocols to avoid the loss of information. Here we propose an experiment that uses only global entangling operations to encode an arbitrary logical qubit to either the five-qubit repetition code or the five-qubit code, with a six-ion Coulomb crystal architecture in a Penning trap. We show that the use of global operations enables us to prepare and read out these codes using only six and ten global entangling pulses, respectively. The proposed experiment also allows the acquisition of syndrome information during readout. We provide a noise analysis for the presented protocols, estimating that we can achieve a six-fold improvement in coherence time with noise as high as $\sim 1\%$ on each entangling operation.


title: Singlet Majorana fermion dark matter: a comprehensive analysis in effective field theory

abstract: We explore a singlet Majorana fermion dark matter candidate using an effective field theory (EFT) framework, respecting the relations imposed by the standard model $SU(3)_C \times SU(2)_L \times U(1)_Y$ gauge invariance among different couplings. All operators of dimension-5 and dimension-6, forming a complete basis, are taken into account at the same time, keeping in view ultraviolet completions which can give rise to more than one operator at a time. If in addition CP-conservation is assumed, the remaining parameter space, where an EFT description is valid, is found to be rather restricted after imposing constraints from relic abundance, direct, indirect and collider searches. On including the CP-violating dimension-5 operator, $(\overline{\chi}i \gamma_5 \chi) (H^\dagger H)$, a significantly larger parameter space opens up. We use the profile likelihood method to map out the remaining landscape of such a DM scenario. The reach of future searches using ton-scale direct detection experiments, an $e^+ e^-$ collider like the proposed ILC and limits from future gamma-ray observations are also estimated.


title: Sensitivity coefficients to $\alpha$-variation for astrophysically relevant transitions in Ni II

abstract: We calculated the dependence of the transition frequencies on the fine-structure constant $\alpha$ ($q$-factors) for Ni~II. Nickel is one of the few elements with high sensitivity to $\alpha$-variation, whose lines are observed at high redshifts. This makes it a sensitive probe for $\alpha$-variation on the cosmological timescale. The electronic structure of Ni II ion was treated within the configuration interaction (CI) method using Dirac-Coulomb Hamiltonian.


title: Constraining Disformally Coupled Scalar Fields

abstract: Light scalar fields can naturally couple disformally to matter fields. Static, non-relativistic sources do not generate a classical field profile for a disformally coupled scalar, and so such scalars are free from the constraints on the existence of fifth forces that are so restrictive for conformally coupled scalars. In this work we show that disformally coupled scalars can still be studied and constrained through their microscopic interactions with fermions and photons, both in terrestrial laboratories and from observations of stars. The strongest constraint on the coupling scale comes from mono-photon searches at the LHC and requires $M \gtrsim 10^2 \mbox{ GeV}$.


title: Defect formation beyond Kibble-Zurek mechanism and holography

abstract: We study the dynamic after a smooth quench across a continuous transition from the disordered phase to the ordered phase. Based on scaling ideas, linear response and the spectrum of unstable modes, we develop a theoretical framework, valid for any second order phase transition, for the early-time evolution of the condensate in the broken phase. Our analysis unveils a novel period of non-adiabatic evolution after the system passes through the phase transition, where a parametrically large amount of coarsening occurs before a well-defined condensate forms. Our formalism predicts a rate of defect formation parametrically smaller than the Kibble-Zurek prediction and yields a criterion for the break-down of Kibble-Zurek scaling for sufficiently fast quenches. We numerically test our formalism for a thermal quench in a 2 + 1 dimensional holographic superfluid. These findings, of direct relevance in a broad range of fields including cold atom, condensed matter, statistical mechanism and cosmology, are an important step towards a more quantitative understanding of dynamical phase transitions.


title: Large scale clustering measurements with photometric redshifts: comparing the dark matter halos of X-ray AGN, star-forming and passive galaxies at z~1

abstract: We combine multiwavelength data in the AEGIS-XD and C-COSMOS surveys to measure the typical dark matter halo mass of X-ray selected AGN [Lx(2-10keV)>1e42 erg/s] in comparison with far-infrared selected star-forming galaxies detected in the Herschel/PEP survey (PACS Evolutionary Probe; Lir>1e11 solar) and quiescent systems at z~1. We develop a novel method to measure the clustering of extragalactic populations that uses photometric redshift Probability Distribution Functions in addition to any spectroscopy. This is advantageous in that all sources in the sample are used in the clustering analysis, not just the subset with secure spectroscopy. The method works best for large samples. The loss of accuracy because of the lack of spectroscopy is balanced by increasing the number of sources used to measure the clustering. We find that X-ray AGN, far-infrared selected star-forming galaxies and passive systems in the redshift interval 0.6<z<1.4 are found in halos of similar mass, $\log M_{DMH}/(M_{\odot}\,h^{-1})\approx13.0$. We argue that this is because the galaxies in all three samples (AGN, star-forming, passive) have similar stellar mass distributions, approximated by the J-band luminosity. Therefore all galaxies that can potentially host X-ray AGN, because they have stellar masses in the appropriate range, live in dark matter haloes of $\log M_{DMH}/(M_{\odot}\,h^{-1})\approx13.0$ independent of their star-formation rates. This suggests that the stellar mass of X-ray AGN hosts is driving the observed clustering properties of this population. We also speculate that trends between AGN properties (e.g. luminosity, level of obscuration) and large scale environment may be related to differences in the stellar mass of the host galaxies.


title: Multiple scattering of heavy-quarks in dense matter and the parametric prominence of drag

abstract: The case of heavy quark propagation in dense extended matter is studied in the multiple scattering formalism of the higher twist energy loss scheme. We consider the case of deep inelastic scattering off a large nucleus. The hard lepton scatters off a heavy quark fluctuation within one of the nucleons. This heavy quark then propagates through the dense medium, multiply scattering off the gluon field of the remaining nucleons in its path. We consider the fictitious process where a heavy quark propagates through the nucleus without radiation. Invoking Soft-Collinear Effective Theory power counting arguments, we consider the case of a "semi-hard" heavy-quark where the mass is of the order of the out-going momentum and larger than the transverse momentum imparted per unit length due to scattering. In this limit, it is found that longitudinal momentum exchanges (quantified by the transport coefficient $\hat{e}$) have a comparable effect on the off-shellness of the propagating quark, as the transverse momentum exchanges (quantified by $\hat{q}$) which constitute the leading cause of off-shellness for propagating light quarks or gluons. Consequences of this new hierarchy for the propagation of the heavy quark in dense matter are discussed.


title: New likelihoods for shape analysis

abstract: We introduce a new kind of likelihood function based on the sequence of moments of the data distribution. Both binned and unbinned data samples are discussed, and the multivariate case is also derived. Building on this approach we lay out the formalism of shape analysis for signal searches. In addition to moment-based likelihoods, standard likelihoods and approximate statistical tests are provided. Enough material is included to make the paper self-contained from the perspective of shape analysis. We argue that the moment-based likelihoods can advantageously replace unbinned standard likelihoods for the search of non-local signals, by avoiding the step of fitting Monte-Carlo generated distributions. This benefit increases with the number of variables simultaneously analyzed. The moment-based signal search is exemplified and tested in various 1D toy models mimicking typical high-energy signal--background configurations. Moment-based techniques should be particularly appropriate for the searches for effective operators at the LHC.


title: On the equivarant de-Rham cohomology for non-compact Lie groups

abstract: Let $G$ be a connected and non-necessarily compact Lie group acting on a connected manifold $M$. In this short note we announce the following result: for a $G$-invariant closed differential form on $M$, the existence of a closed equivariant extension in the Cartan model for equivariant cohomology is equivalent to the existence of an extension in the homotopy quotient.


title: Singularities and Gauge Theory Phases II

abstract: We present a simple algebraic construction of all the small resolutions for the SU(5) Weierstrass model. Each resolution corresponds to a subchamber on the Coulomb branch of the five-dimensional N=1 SU(5) gauge theory with matter fields in the fundamental and two-index antisymmetric representations. This construction unifies all previous resolutions found in the literature in a single framework.


title: Maps on real Hilbert spaces preserving the area of parallelograms and a preserver problem on self-adjoint operators

abstract: In this paper first we describe all (not necessarily linear or bijective) transformations on $\mathbb{R}^d$ with $2\leq d<\infty$ which preserve the area of parallelograms spanned by any two vectors. We also characterize those (not necessarily linear) bijections on an arbitrary real Hilbert space that preserve the latter quantity. This answers a question raised by Rassias and Wagner, and it can be considered as a variant of the famous Wigner theorem on real Hilbert spaces which plays an important role in quantum mechanics. As a consequence, we solve a preserver problem of Moln\'ar and Timmermann which has remained open stubbornly only in the two-dimensional case. Finally this two-dimensional result will be applied in order to strengthen their theorem in higher dimensions.


title: Topological properties of the unitary group

abstract: We show that the strong operator topology, the weak operator topology and the compact-open topology agree on the space of unitary operators of a infinite dimensional separable Hilbert space. Moreover, we show that the unitary group endowed with any of these topologies is a Polish group.


title: Spectral norm of random tensors

abstract: We show that the spectral norm of a random $n_1\times n_2\times \cdots \times n_K$ tensor (or higher-order array) scales as $O\left(\sqrt{(\sum_{k=1}^{K}n_k)\log(K)}\right)$ under some sub-Gaussian assumption on the entries. The proof is based on a covering number argument. Since the spectral norm is dual to the tensor nuclear norm (the tightest convex relaxation of the set of rank one tensors), the bound implies that the convex relaxation yields sample complexity that is linear in (the sum of) the number of dimensions, which is much smaller than other recently proposed convex relaxations of tensor rank that use unfolding.


title: Predictability of road traffic and congestion in urban areas

abstract: Mitigating traffic congestion on urban roads, with paramount importance in urban development and reduction of energy consumption and air pollution, depends on our ability to foresee road usage and traffic conditions pertaining to the collective behavior of drivers, raising a significant question: to what degree is road traffic predictable in urban areas? Here we rely on the precise records of daily vehicle mobility based on GPS positioning device installed in taxis to uncover the potential daily predictability of urban traffic patterns. Using the mapping from the degree of congestion on roads into a time series of symbols and measuring its entropy, we find a relatively high daily predictability of traffic conditions despite the absence of any a priori knowledge of drivers' origins and destinations and quite different travel patterns between weekdays and weekends. Moreover, we find a counterintuitive dependence of the predictability on travel speed: the road segment associated with intermediate average travel speed is most difficult to be predicted. We also explore the possibility of recovering the traffic condition of an inaccessible segment from its adjacent segments with respect to limited observability. The highly predictable traffic patterns in spite of the heterogeneity of drivers' behaviors and the variability of their origins and destinations enables development of accurate predictive models for eventually devising practical strategies to mitigate urban road congestion.


title: Sparse source travel-time tomography of a laboratory target: accuracy and robustness of anomaly detection

abstract: This study concerned conebeam travel-time tomography. The focus was on a sparse distribution of signal sources that can be necessary in a challenging in situ environment such as in asteroid tomography. The goal was to approximate the minimum number of source positions needed for robust detection of refractive anomalies, e.g., voids within an asteroid or a casting defects in concrete. Experimental ultrasonic data were recorded utilizing as a target a 150 mm plastic cast cube containing three stones with diameter between 22 and 41 mm. A signal frequency of 55 kHz (35 mm wavelength) was used. Source counts from one to six were tested for different placements. Based on our statistical inversion approach and analysis of the results, three or four sources were found to lead to reliable inversion. The source configurations investigated were also ranked according to their performance. Our results can be used, for example, in the planning of planetary missions as well as in material testing.


title: A Quantitative Study of Pure Parallel Processes

abstract: In this paper, we study the interleaving -- or pure merge -- operator that most often characterizes parallelism in concurrency theory. This operator is a principal cause of the so-called combinatorial explosion that makes very hard - at least from the point of view of computational complexity - the analysis of process behaviours e.g. by model-checking. The originality of our approach is to study this combinatorial explosion phenomenon on average, relying on advanced analytic combinatorics techniques. We study various measures that contribute to a better understanding of the process behaviours represented as plane rooted trees: the number of runs (corresponding to the width of the trees), the expected total size of the trees as well as their overall shape. Two practical outcomes of our quantitative study are also presented: (1) a linear-time algorithm to compute the probability of a concurrent run prefix, and (2) an efficient algorithm for uniform random sampling of concurrent runs. These provide interesting responses to the combinatorial explosion problem.


title: Design principles for Bernal spirals and helices with tunable pitch

abstract: Using the framework of potential energy landscape theory, we describe two in silico designs for self-assembling helical colloidal superstructures based upon dipolar dumbbells and Janus-type building blocks, respectively. Helical superstructures with controllable pitch length are obtained using external magnetic field driven assembly of asymmetric dumbbells involving screened electrostatic as well as magnetic dipolar interactions. The pitch of the helix is tuned by modulating the Debye screening length over an experimentally accessible range. The second design is based on building blocks composed of rigidly linked spheres with short-range anisotropic interactions, which are predicted to self-assemble into Bernal spirals. These spirals are quite flexible, and longer helices undergo rearrangements via cooperative, hinge-like moves, in agreement with experiment.


title: A Novel Spectrally-Efficient Scheme for Physical Layer Network Coding

abstract: In this paper, we propose a novel three-time-slot transmission scheme combined with an efficient embedded linear channel equalization (ELCE) technique for the Physical layer Network Coding (PNC). Our transmission scheme, we achieve about 33% increase in the spectral efficiency over the conventional two-time-slot scheme while maintaining the same end-toend BER performance.We derive an exact expression for the endto- end BER of the proposed three-time-slot transmission scheme combined with the proposed ELCE technique for BPSK transmission. Numerical results demonstrate that the exact expression for the end-to-end BER is consistent with the BER simulation results.


title: Stochastic Variational Inequalities on Non-Convex Domains

abstract: The objective of this work is to prove, in a first step, the existence and the uniqueness of a solution of the following multivalued deterministic differential equation: $dx(t)+\partial ^-\varphi (x(t))(dt)\ni dm(t),\ t>0$, $x(0)=x_0$, where $m:\mathbb{R}_+\rightarrow\mathbb{R}^d$ is a continuous function and $\partial^-\varphi$ is the Fr\'{e}chet subdifferential of a semiconvex function $\varphi$; the domain of $\varphi$ can be non-convex, but some regularities of the boundary are required. The continuity of the map $m\mapsto x:C([0,T];\mathbb{R}^{d})\rightarrow C([0,T] ;\mathbb{R}^{d})$, which associate the input function $m$ with the solution $x$ of the above equation, as well as tightness criteria allow to pass from the above deterministic case to the following stochastic variational inequality driven by a multi-dimensional Brownian motion: $X_t+K_t = \xi+\int_0^t F(s,X_{s})ds + \int_0^t G(s,X_s) dB_s,\; t\geq0$, $\;$ with $dK_{t}(\omega)\in\partial^-\varphi( X_t (\omega))(dt)$.


title: Bulk angular momentum and Hall viscosity in chiral superconductors

abstract: We establish the Berry-phase formulas for the angular momentum (AM) and the Hall viscosity (HV) to investigate chiral superconductors (SCs) in two and three dimensions. The AM is defined by the temporal integral of the anti-symmetric momentum current induced by an adiabatic deformation, while the HV is defined by the symmetric momentum current induced by the symmetric torsional electric field. Without suffering from the system size or geometry, we obtain the macroscopic AM $L_z = \hbar m N_0/2$ at zero temperature in full-gap chiral SCs, where $m$ is the magnetic quantum number and $N_0$ is the total number of electrons. We also find that the HV is equal to half the AM at zero temperature not only in full-gap chiral SCs as is well-known but also in nodal ones, but its behavior at finite temperature is different in the two cases.


title: Jordan-Kronecker invariants of Lie algebra representations and degrees of invariant polynomials

abstract: For an arbitrary representation $\rho$ of a complex finite-dimensional Lie algebra, we construct a collection of numbers that we call the Jordan-Kronecker invariants of $\rho$. Among other interesting properties, these numbers provide lower bounds for degrees of polynomial invariants of $\rho$. Furthermore, we prove that these lower bounds are exact if and only if the invariants are independent outside of a set of large codimension. Finally, we show that under certain additional assumptions our bounds are exact if and only if the algebra of invariants is freely generated.


title: Non-perturbative fixed points and renormalization group improved effective potential

abstract: The stability conditions of a renormalization group improved effective potential have been discussed in the case of scalar QED and QCD with a colorless scalar. We calculate the same potential in these models assuming the existence of non-perturbative fixed points associated to a conformal phase. In the case of scalar QED the barrier of instability found previously is barely displaced as we approach the fixed point, and in the case of QCD with a colorless scalar not only the barrier is changed but the local minimum of the potential is also changed.


title: Pointing control for the SPIDER balloon-borne telescope

abstract: We present the technology and control methods developed for the pointing system of the SPIDER experiment. SPIDER is a balloon-borne polarimeter designed to detect the imprint of primordial gravitational waves in the polarization of the Cosmic Microwave Background radiation. We describe the two main components of the telescope's azimuth drive: the reaction wheel and the motorized pivot. A 13 kHz PI control loop runs on a digital signal processor, with feedback from fibre optic rate gyroscopes. This system can control azimuthal speed with < 0.02 deg/s RMS error. To control elevation, SPIDER uses stepper-motor-driven linear actuators to rotate the cryostat, which houses the optical instruments, relative to the outer frame. With the velocity in each axis controlled in this way, higher-level control loops on the onboard flight computers can implement the pointing and scanning observation modes required for the experiment. We have accomplished the non-trivial task of scanning a 5000 lb payload sinusoidally in azimuth at a peak acceleration of 0.8 deg/s$^2$, and a peak speed of 6 deg/s. We can do so while reliably achieving sub-arcminute pointing control accuracy.


title: Design and construction of a carbon fiber gondola for the SPIDER balloon-borne telescope

abstract: We introduce the light-weight carbon fiber and aluminum gondola designed for the SPIDER balloon-borne telescope. SPIDER is designed to measure the polarization of the Cosmic Microwave Background radiation with unprecedented sensitivity and control of systematics in search of the imprint of inflation: a period of exponential expansion in the early Universe. The requirements of this balloon-borne instrument put tight constrains on the mass budget of the payload. The SPIDER gondola is designed to house the experiment and guarantee its operational and structural integrity during its balloon-borne flight, while using less than 10% of the total mass of the payload. We present a construction method for the gondola based on carbon fiber reinforced polymer tubes with aluminum inserts and aluminum multi-tube joints. We describe the validation of the model through Finite Element Analysis and mechanical tests.


title: BLASTbus electronics: general-purpose readout and control for balloon-borne experiments

abstract: We present the second generation BLASTbus electronics. The primary purposes of this system are detector readout, attitude control, and cryogenic housekeeping, for balloon-borne telescopes. Readout of neutron transmutation doped germanium (NTD-Ge) bolometers requires low noise and parallel acquisition of hundreds of analog signals. Controlling a telescope's attitude requires the capability to interface to a wide variety of sensors and motors, and to use them together in a fast, closed loop. To achieve these different goals, the BLASTbus system employs a flexible motherboard-daughterboard architecture. The programmable motherboard features a digital signal processor (DSP) and field-programmable gate array (FPGA), as well as slots for three daughterboards. The daughterboards provide the interface to the outside world, with versions for analog to digital conversion, and optoisolated digital input/output. With the versatility afforded by this design, the BLASTbus also finds uses in cryogenic, thermometry, and power systems. For accurate timing control to tie everything together, the system operates in a fully synchronous manner. BLASTbus electronics have been successfully deployed to the South Pole, and flown on stratospheric balloons.


title: Attitude determination for balloon-borne experiments

abstract: An attitude determination system for balloon-borne experiments is presented. The system provides pointing information in azimuth and elevation for instruments flying on stratospheric balloons over Antarctica. In-flight attitude is given by the real-time combination of readings from star cameras, a magnetometer, sun sensors, GPS, gyroscopes, tilt sensors and an elevation encoder. Post-flight attitude reconstruction is determined from star camera solutions, interpolated by the gyroscopes using an extended Kalman Filter. The multi-sensor system was employed by the Balloon-borne Large Aperture Submillimeter Telescope for Polarimetry (BLASTPol), an experiment that measures polarized thermal emission from interstellar dust clouds. A similar system was designed for the upcoming flight of SPIDER, a Cosmic Microwave Background polarization experiment. The pointing requirements for these experiments are discussed, as well as the challenges in designing attitude reconstruction systems for high altitude balloon flights. In the 2010 and 2012 BLASTPol flights from McMurdo Station, Antarctica, the system demonstrated an accuracy of <5' rms in-flight, and <5" rms post-flight.


title: Phase diagram of the symbiotic two-species contact process

abstract: We study the two-species symbiotic contact process (2SCP), recently proposed in [de Oliveira, Santos and Dickman, Phys. Rev. E {\bf 86}, 011121 (2012)] . In this model, each site of a lattice may be vacant or host single individuals of species A and/or B. Individuals at sites with both species present interact in a symbiotic manner, having a reduced death rate, $\mu < 1$. Otherwise, the dynamics follows the rules of the basic CP, with individuals reproducing to vacant neighbor sites at rate $\lambda$ and dying at a rate of unity. We determine the full phase diagram in the $\lambda-\mu$ plane in one and two dimensions by means of exact numerical quasistationary distributions, cluster approximations, and Monte Carlo simulations. We also study the effects of asymmetric creation rates and diffusion of individuals. In two dimensions, for sufficiently strong symbiosis (i.e., small $\mu$), the absorbing-state phase transition becomes discontinuous for diffusion rates $D$ within a certain range. We report preliminary results on the critical surface and tricritical line in the $\lambda-\mu-D$ space. Our results raise the possibility that strongly symbiotic associations of mobile species may be vulnerable to sudden extinction under increasingly adverse conditions.


title: PAINTER: a spatio-spectral image reconstruction algorithm for optical interferometry

abstract: Astronomical optical interferometers sample the Fourier transform of the intensity distribution of a source at the observation wavelength. Because of rapid perturbations caused by atmospheric turbulence, the phases of the complex Fourier samples (visibilities) cannot be directly exploited. Consequently, specific image reconstruction methods have been devised in the last few decades. Modern polychromatic optical interferometric instruments are now paving the way to multiwavelength imaging. This paper is devoted to the derivation of a spatio-spectral (3D) image reconstruction algorithm, coined PAINTER (Polychromatic opticAl INTErferometric Reconstruction software). The algorithm relies on an iterative process, which alternates estimation of polychromatic images and of complex visibilities. The complex visibilities are not only estimated from squared moduli and closure phases, but also differential phases, which helps to better constrain the polychromatic reconstruction. Simulations on synthetic data illustrate the efficiency of the algorithm and in particular the relevance of injecting a differential phases model in the reconstruction.


title: Intrinsic Classes in the Union of European Football Associations Soccer Team Ranking

abstract: A strong structural regularity of classes is found in soccer teams ranked by the Union of European Football Associations (UEFA) for the time interval 2009-2014. It concerns 424 to 453 teams according to the 5 competition seasons. The analysis is based on the rank-size theory considerations, the size being the UEFA coefficient at the end of a season. Three classes emerge: (i) the few "top" teams, (ii) 300 teams, (iii) the rest of the involved teams (about 150) in the tail of the distribution. There are marked empirical laws describing each class. A 3-parameter Lavalette function is used to describe the concave curving as the rank increases, and to distinguish the the tail from the central behavior.


title: Comparison between Hinode/SOT and SDO/HMI, AIA Data for the Study of the Solar Flare Trigger Process

abstract: To elucidate the flare trigger mechanism, we have analyzed several flare events which were observed by Hinode/Solar Optical Telescope (SOT), in our previous study. Because of the limitation of SOT field of view, however, only four events in the Hinode data sets have been utilizable. Therefore, increasing the number of events is required for evaluating the flare trigger models. We investigated the applicability of data obtained by the Solar Dynamics Observatory (SDO) to increase the data sample for a statistical analysis of the flare trigger process. SDO regularly observes the full disk of the sun and all flares although its spatial resolution is lower than that of Hinode. We investigated the M6.6 flare which occurred on 13 February 2011 and compared the analyzed data of SDO with the results of our previous study using Hinode/SOT data. Filter and vector magnetograms obtained by the Helioseismic and Magnetic Imager (HMI) and filtergrams from the Atmospheric Imaging Assembly (AIA) 1600A were employed. From the comparison of small-scale magnetic configurations and chromospheric emission prior to the flare onset, we confirmed that the trigger region is detectable with the SDO data. We also measured the magnetic shear angles of the active region and the azimuth and strength of the flare-trigger field. The results were consistent with our previous study. We concluded that statistical studies of the flare trigger process are feasible with SDO as well as Hinode data. We also investigated the temporal evolution of the magnetic field before the flare onset with SDO.


title: Interaction-induced backscattering in short quantum wires

abstract: We study interaction-induced backscattering in clean quantum wires with adiabatic contacts exposed to a voltage bias. Particle backscattering relaxes such systems to a fully equilibrated steady state only on length scales exponentially large in the ratio of bandwidth of excitations and temperature. Here we focus on shorter wires in which full equilibration is not accomplished. Signatures of relaxation then are due to backscattering of hole excitations close to the band bottom which perform a diffusive motion in momentum space while scattering from excitations at the Fermi level. This is reminiscent to the first passage problem of a Brownian particle and, regardless of the interaction strength, can be described by an inhomogeneous Fokker-Planck equation. From general solutions of the latter we calculate the hole backscattering rate for different wire lengths and discuss the resulting length dependence of interaction-induced correction to the conductance of a clean single channel quantum wire.


title: The Polyhedron-Hitting Problem

abstract: We consider polyhedral versions of Kannan and Lipton's Orbit Problem (STOC '80 and JACM '86)---determining whether a target polyhedron V may be reached from a starting point x under repeated applications of a linear transformation A in an ambient vector space Q^m. In the context of program verification, very similar reachability questions were also considered and left open by Lee and Yannakakis in (STOC '92). We present what amounts to a complete characterisation of the decidability landscape for the Polyhedron-Hitting Problem, expressed as a function of the dimension m of the ambient space, together with the dimension of the polyhedral target V: more precisely, for each pair of dimensions, we either establish decidability, or show hardness for longstanding number-theoretic open problems.


title: Recommending Learning Algorithms and Their Associated Hyperparameters

abstract: The success of machine learning on a given task dependson, among other things, which learning algorithm is selected and its associated hyperparameters. Selecting an appropriate learning algorithm and setting its hyperparameters for a given data set can be a challenging task, especially for users who are not experts in machine learning. Previous work has examined using meta-features to predict which learning algorithm and hyperparameters should be used. However, choosing a set of meta-features that are predictive of algorithm performance is difficult. Here, we propose to apply collaborative filtering techniques to learning algorithm and hyperparameter selection, and find that doing so avoids determining which meta-features to use and outperforms traditional meta-learning approaches in many cases.


title: On Termination of Integer Linear Loops

abstract: A fundamental problem in program verification concerns the termination of simple linear loops of the form x := u ; while Bx >= b do {x := Ax + a} where x is a vector of variables, u, a, and c are integer vectors, and A and B are integer matrices. Assuming the matrix A is diagonalisable, we give a decision procedure for the problem of whether, for all initial integer vectors u, such a loop terminates. The correctness of our algorithm relies on sophisticated tools from algebraic and analytic number theory, Diophantine geometry, and real algebraic geometry. To the best of our knowledge, this is the first substantial advance on a 10-year-old open problem of Tiwari (2004) and Braverman (2006).


title: Crystal nucleation mechanism in melts of short polymer chains under quiescent conditions and under shear flow

abstract: We present a molecular dynamics simulation study of crystal nucleation from undercooled melts of n-alkanes, and we identify the molecular mechanism of homogeneous crystal nucleation under quiescent conditions and under shear flow. We compare results for n-eicosane(C20) and n-pentacontahectane(C150), i.e. one system below the entanglement length and one above. Under quiescent conditions, we observe that entanglement does not have an effect on the nucleation mechanism. For both chain lengths, the chains first align and then straighten locally. Then the local density increases and finally positional ordering sets in. At low shear rates the nucleation mechanism is the same as under quiescent conditions, while at high shear rates the chains align and straighten at the same time. We report on the effects of shear rate and temperature on the nucleation rates and estimate the critical shear rates, beyond which the nucleation rates increase with the shear rate. We show that the viscosity of the system is not affected by the crystalline nuclei.


title: Invariant-theoretic approach to nonlinear hyperelastic constitutive modeling of graphene

abstract: We develop a hyperelastic constitutive model for graphene --- describing in-plane deformations involving both large isotropic and deviatoric strains --- based on the invariant-theoretic approach to representation of anisotropic functions. The strain energy density function $\psi$ is expressed in terms of special scalar-valued functions of the 2D logarithmic strain tensor $ \mathbf E^{(0)}$ --- called the symmetry-invariants --- that remain invariant w.r.t. the material symmetry group of graphene, $\mathcal G = \mathcal C_{6v}$. Our constitutive model conforms to a larger set of \textit{ab initio} energies/stresses while introducing fewer elastic constants than previously-proposed models. In particular, when the strain energy is expressed in terms of symmetry invariants, the material symmetry group is intrinsically incorporated within the constitutive response functions; consequently, the elastic constants (of all orders) in the formulation are \textit{a priori} independent: i.e., no two or more elastic constants are related by symmetry. This offers substantial simplification in terms of formulation as it eliminates the need for identifying the independent elastic constants, a task which can become particularly cumbersome as higher-order terms in the strain energy density function are incorporated. We validate our constitutive model by computing (1) the stress and (2) the elastic stability limit for a set of homogeneous finite deformations --- comprising uniaxial stretch/stress along the armchair, and the zigzag directions; and equi-biaxial tension. The stress values predicted by the model are in good agreement with the directly-calculated \textit{ab initio} values. The elastic stability limits predicted by acoustic tensor analysis compare well with the predictions from phonon calculations carried out independently using linear response density functional perturbation theory.


title: Phase coexistence and metal-insulator transition in few-layer phosphorene: A computational study

abstract: Based on {\em ab initio} density functional calculations, we propose $\gamma$-P and $\delta$-P as two additional stable structural phases of layered phosphorus besides the layered $\alpha$-P (black) and $\beta$-P (blue) phosphorus allotropes. Monolayers of some of these allotropes have a wide band gap, whereas others, including $\gamma$-P, show a metal-insulator transition caused by in-layer strain or changing the number of layers. An unforeseen benefit is the possibility to connect different structural phases at no energy cost. This becomes particularly valuable in assembling heterostructures with well-defined metallic and semiconducting regions in one contiguous layer.


title: The Period adding and incrementing bifurcations: from rotation theory to applications

abstract: This survey article is concerned with the study of bifurcations of piecewise-smooth maps. We review the literature in circle maps and quasi-contractions and provide paths through this literature to prove sufficient conditions for the occurrence of two types of bifurcation scenarios involving rich dynamics. The first scenario consists of the appearance of periodic orbits whose symbolic sequences and "rotation" numbers follow a Farey tree structure; the periods of the periodic orbits are given by consecutive addition. This is called the {\em period adding} bifurcation, and its proof relies on results for maps on the circle. In the second scenario, symbolic sequences are obtained by consecutive attachment of a given symbolic block and the periods of periodic orbits are incremented by a constant term. It is called the {\em period incrementing} bifurcation, in its proof relies on results for maps on the interval. We also discuss the expanding cases, as some of the partial results found in the literature also hold when these maps lose contractiveness. The higher dimensional case is also discussed by means of {\em quasi-contractions}. We also provide applied examples in control theory, power electronics and neuroscience where these results can be applied to obtain precise descriptions of their dynamics.


title: Rossby and Drift Wave Turbulence and Zonal Flows: the Charney-Hasegawa-Mima model and its extensions

abstract: A detailed study of the Charney-Hasegawa-Mima model and its extensions is presented. These simple nonlinear partial differential equations suggested for both Rossby waves in the atmosphere and also drift waves in a magnetically-confined plasma exhibit some remarkable and nontrivial properties, which in their qualitative form survive in more realistic and complicated models, and as such form a conceptual basis for understanding the turbulence and zonal flow dynamics in real plasma and geophysical systems. Two idealised scenarios of generation of zonal flows by small-scale turbulence are explored: a modulational instability and turbulent cascades. A detailed study of the generation of zonal flows by the modulational instability reveals that the dynamics of this zonal flow generation mechanism differ widely depending on the initial degree of nonlinearity. A numerical proof is provided for the extra invariant in Rossby and drift wave turbulence -zonostrophy and the invariant cascades are shown to be characterised by the zonostrophy pushing the energy to the zonal scales. A small scale instability forcing applied to the model demonstrates the well-known drift wave - zonal flow feedback loop in which the turbulence which initially leads to the zonal flow creation, is completely suppressed and the zonal flows saturate. The turbulence spectrum is shown to diffuse in a manner which has been mathematically predicted. The insights gained from this simple model could provide a basis for equivalent studies in more sophisticated plasma and geophysical fluid dynamics models in an effort to fully understand the zonal flow generation, the turbulent transport suppression and the zonal flow saturation processes in both the plasma and geophysical contexts as well as other wave and turbulence systems where order evolves from chaos.


title: A Delayed Transition to the Hard State for 4U 1630-47 at the End of Its 2010 Outburst

abstract: Here we report on Swift and Suzaku observations near the end of an outburst from the black hole transient 4U 1630-47 and Chandra observations when the source was in quiescence. 4U 1630-47 made a transition from a soft state to the hard state ~50 d after the main outburst ended. During this unusual delay, the flux continued to drop, and one Swift measurement found the source with a soft spectrum at a 2-10 keV luminosity of L = 1.07e35 erg/s for an estimated distance of 10 kpc. While such transients usually make a transition to the hard state at L/Ledd = 0.3-3%, where Ledd is the Eddington luminosity, the 4U 1630-47 spectrum remained soft at L/Ledd = 0.008/M10% (as measured in the 2-10 keV band), where M10 is the mass of the black hole in units of 10 solar masses. An estimate of the luminosity in the broader 0.5-200 keV bandpass gives L/Ledd = 0.03/M10%, which is still an order of magnitude lower than typical. We also measured an exponential decay of the X-ray flux in the hard state with an e-folding time of 3.39+/-0.06 d, which is much less than previous measurements of 12-15 d during decays by 4U 1630-47 in the soft state. With the ~100 ks Suzaku observation, we do not see evidence for a reflection component, and the 90% confidence limits on the equivalent width of a narrow iron Kalpha emission line are <40 eV for a narrow line and <100 eV for a line of any width, which is consistent with a change of geometry (either a truncated accretion disk or a change in the location of the hard X-ray source) in the hard state. Finally, we report a 0.5-8 keV luminosity upper limit of <2e32 erg/s in quiescence, which is the lowest value measured for 4U 1630-47 to date.


title: On Double-Entry Bookkeeping: The Mathematical Treatment

abstract: Double-entry bookkeeping (DEB) implicitly uses a specific mathematical construction, the group of differences using pairs of unsigned numbers ("T-accounts"). That construction was only formulated abstractly in mathematics in the 19th century--even though DEB had been used in the business world for over five centuries. Yet the connection between DEB and the group of differences (here called the "Pacioli group") is still largely unknown both in mathematics and accounting. The precise mathematical treatment of DEB allows clarity on certain conceptual questions and it immediately yields the generalization of the double-entry method to multi-dimensional vectors typically representing the different types of property involved in an enterprise or household.


title: Nuclear fission as resonance-mediated conductance

abstract: For 75 years the theory of nuclear fission has been based on the existence of a collective coordinate associated with the nuclear shape, an assumption required by the Bohr-Wheeler formula as well as by the R-matrix theory of fission. We show that it is also possible to formulate the theory without the help of collective coordinates. In the new formulation, fission is facilitated by individual states in the barrier region rather than channels over the barrier. In a certain limit the theory reduces to a formula closely related to the formula for electronic conductance through resonant tunneling states. In contrast, conduction through channels gives rise to a staircase excitation function that is well-known in nanoscale electronics but has never been seen in nuclear fission.


title: Almost Finite Speed of Propagation for Linear Peridynamics

abstract: The peridynamic analogue of the wave equation does not have finite speed propogation. We show, for one dimensional linear peridynamics, that solutions do nonetheless satisfy estimates analogous to those satisfied by solutions of the wave equations. More precisely, the solution and all derivatives become small as we go away from the domain of dependence of the initial data.


title: On Solving a Curious Inequality of Ramanujan

abstract: Ramanujan proved that the inequality $\pi(x)^2 < \frac{e x}{\log x} \pi\Big(\frac{x}{e}\Big)$ holds for all sufficiently large values of $x$. Using an explicit estimate for the error in the prime number theorem, we show unconditionally that it holds if $x \geq \exp(9658)$. Furthermore, we solve the inequality completely on the Riemann Hypothesis, and show that $x=38, 358, 837, 682$ is the largest integer counterexample.


title: Restricted Lie algebras with maximal 0-PIM

abstract: In this paper we show that the projective cover of the trivial irreducible module of a finite-dimensional solvable restricted Lie algebra is induced from the one-dimensional trivial module of a maximal torus. As a consequence, we obtain that the number of the isomorphism classes of irreducible modules with a fixed p-character for a finite-dimensional solvable restricted Lie algebra L is bounded above by p^MT(L), where MT(L) denotes the largest dimension of a torus in L. Finally, we prove that in characteristic p>3 the projective cover of the trivial irreducible L-module is only induced from the one-dimensional trivial module of a torus of maximal dimension if L is solvable.


title: The Initial Flow of Classical Gluon Fields in Heavy Ion Collisions

abstract: Using analytic solutions of the Yang-Mills equations we calculate the initial flow of energy of the classical gluon field created in collisions of large nuclei at high energies. We find radial and elliptic flow which follows gradients in the initial energy density, similar to a simple hydrodynamic behavior. In addition we find a rapidity-odd transverse flow field which implies the presence of angular momentum and should lead to directed flow in final particle spectra. We trace those energy flow terms to transverse fields from the non-abelian generalization of Gauss' Law and Ampere's and Faraday's Laws.


title: Adiabatic Quantum Optimization for Associative Memory Recall

abstract: Hopfield networks are a variant of associative memory that recall information stored in the couplings of an Ising model. Stored memories are fixed points for the network dynamics that correspond to energetic minima of the spin state. We formulate the recall of memories stored in a Hopfield network using energy minimization by adiabatic quantum optimization (AQO). Numerical simulations of the quantum dynamics allow us to quantify the AQO recall accuracy with respect to the number of stored memories and the noise in the input key. We also investigate AQO performance with respect to how memories are stored in the Ising model using different learning rules. Our results indicate that AQO performance varies strongly with learning rule due to the changes in the energy landscape. Consequently, learning rules offer indirect methods for investigating change to the computational complexity of the recall task and the computational efficiency of AQO.


title: Polyadic Constacyclic Codes

abstract: For any given positive integer $m$, a necessary and sufficient condition for the existence of Type I $m$-adic constacyclic codes is given. Further, for any given integer $s$, a necessary and sufficient condition for $s$ to be a multiplier of a Type I polyadic constacyclic code is given. As an application, some optimal codes from Type I polyadic constacyclic codes, including generalized Reed-Solomon codes and alternant MDS codes, are constructed.


title: Building Unbiased Estimators from Non-Gaussian Likelihoods with Application to Shear Estimation

abstract: We develop a general framework for generating estimators of a given quantity which are unbiased to a given order in the difference between the true value of the underlying quantity and the fiducial position in theory space around which we expand the likelihood. We apply this formalism to rederive the optimal quadratic estimator and show how the replacement of the second derivative matrix with the Fisher matrix is a generic way of creating an unbiased estimator (assuming choice of the fiducial model is independent of data). Next apply the approach to estimation of shear lensing, closely following the work of Bernstein and Armstrong (2014). Our first order estimator reduces to their estimator in the limit of zero shear, but it also naturally allows for the case of non-constant shear and the easy calculation of correlation functions or power spectra using standard methods. Both our first-order estimator and Bernstein and Armstrong's estimator exhibit a bias which is quadratic in true shear. Our third-order estimator is, at least in the realm of the toy problem of Bernstein and Armstrong, unbiased to 0.1% in relative shear errors $\Delta g/|g|$ for shears up to $|g|=0.2$.


title: One thousand cataclysmic variables from the Catalina Real-time Transient Survey

abstract: Over six years of operation, the Catalina Real-time Transient Survey (CRTS) has identified 1043 cataclysmic variable (CV) candidates --- the largest sample of CVs from a single survey to date. Here we provide spectroscopic identification of 85 systems fainter than g<19, including three AMCVn binaries, one helium-enriched CV, one polar and one new eclipsing CV. We analyse the outburst properties of the full sample and show that it contains a large fraction of low accretion rate CVs with long outburst recurrence times. We argue that most of the high accretion rate dwarf novae in the survey footprint have already been found and that future CRTS discoveries will be mostly low accretion rate systems. We find that CVs with white dwarf dominated spectra have significantly fewer outbursts in their CRTS light curves compared to disc-dominated CVs, reflecting the difference in their accretion rates. Comparing the CRTS sample to other samples of CVs, we estimate the overall external completeness to be 23.6 per cent, but show that as much as 56 per cent of CVs have variability amplitudes that are too small to be selected using the transient selection criteria employed by current ground-based surveys. The full table of CRTS CVs, including their outburst and spectroscopic properties examined in this paper, is provided in the online materials.


title: Quantitative tracking of grain structure evolution in a nanocrystalline metal during cyclic loading

abstract: Molecular dynamics simulations were used to quantify mechanically-induced structural evolution in nanocrystalline Al with an average grain size of 5 nm. A polycrystalline sample was cyclically strained at different temperatures, while a recently developed grain tracking algorithm was used to measure the relative contributions of novel deformation mechanisms such as grain rotation and grain sliding. Sample texture and grain size were also tracked during cycling, to show how nanocrystalline plasticity rearranges overall grain structure and alters the grain boundary network. While no obvious texture is developing during cycling, the processes responsible for plasticity act collectively to alter the interfacial network. Cyclic loading led to the formation of many twin boundaries throughout the sample as well as the occasional coalescence of neighboring grains, with higher temperatures causing more evolution. A temperature-dependent cyclic strengthening effect was observed, demonstrating that both the structure and properties of nanocrystalline metals can be dynamic during loading.


title: On the equivalence between the cell-based smoothed finite element method and the virtual element method

abstract: We revisit the cell-based smoothed finite element method (SFEM) for quadrilateral elements and extend it to arbitrary polygons and polyhedrons in 2D and 3D, respectively. We highlight the similarity between the SFEM and the virtual element method (VEM). Based on the VEM, we propose a new stabilization approach to the SFEM when applied to arbitrary polygons and polyhedrons. The accuracy and the convergence properties of the SFEM are studied with a few benchmark problems in 2D and 3D linear elasticity. Later, the SFEM is combined with the scaled boundary finite element method to problems involving singularity within the framework of the linear elastic fracture mechanics in 2D.


title: Sensitivity Analysis of Minimum Spanning Trees in Sub-Inverse-Ackermann Time

abstract: We present a deterministic algorithm for computing the sensitivity of a minimum spanning tree (MST) or shortest path tree in $O(m\log\alpha(m,n))$ time, where $\alpha$ is the inverse-Ackermann function. This improves upon a long standing bound of $O(m\alpha(m,n))$ established by Tarjan. Our algorithms are based on an efficient split-findmin data structure, which maintains a collection of sequences of weighted elements that may be split into smaller subsequences. As far as we are aware, our split-findmin algorithm is the first with superlinear but sub-inverse-Ackermann complexity. We also give a reduction from MST sensitivity to the MST problem itself. Together with the randomized linear time MST algorithm of Karger, Klein, and Tarjan, this gives another randomized linear time MST sensitivity algoritm.


title: Optimal Regularization Parameters for General-Form Tikhonov Regularization

abstract: In this work we consider the problem of finding optimal regularization parameters for general-form Tikhonov regularization using training data. We formulate the general-form Tikhonov solution as a spectral filtered solution using the generalized singular value decomposition of the matrix of the forward model and a given regularization matrix. Then, we find the optimal regularization parameter by minimizing the average of the errors between the filtered solutions and the true data. We extend the approach to the multi-parameter Tikhonov problem for the case where all the matrices involved are simultaneously diagonalizable. For problems where this is not the case, we describe an approach to compute optimal or near-optimal regularization parameters by using operator approximations for the original problem. Several tests are performed for 1D and 2D examples using different norms on the errors, showing the effectiveness of this approach.


title: Large Conformal metrics with prescribed sign-changing Gauss curvature

abstract: Let $(M,g)$ be a two dimensional compact Riemannian manifold of genus $g(M)>1$. Let $f$ be a smooth function on $M$ such that $$f \ge 0, \quad f\not\equiv 0, \quad \min_M f = 0. $$ Let $p_1,\ldots,p_n$ be any set of points at which $f(p_i)=0$ and $D^2f(p_i)$ is non-singular. We prove that for all sufficiently small $\lambda>0$ there exists a family of "bubbling" conformal metrics $g_\lambda=e^{u_\lambda}g$ such that their Gauss curvature is given by the sign-changing function $K_{g_\lambda}=-f+\lambda^2$. Moreover, the family $u_\lambda$ satisfies $$u_\lambda(p_j) = -4\log\lambda -2\log \left (\frac 1{\sqrt{2}} \log \frac 1\lambda \right ) +O(1)$$ and $$\lambda^2e^{u_\lambda}\rightharpoonup8\pi\sum_{i=1}^{n}\delta_{p_i},\quad \mbox{as }\lambda \to 0,$$ where $\delta_{p}$ designates Dirac mass at the point $p$.


title: Exceptional zero formulae and a conjecture of Perrin-Riou

abstract: Let $A/\mathbb{Q}$ be an elliptic curve with split multiplicative reduction at a prime $p$. We prove (an analogue of) a conjecture of Perrin-Riou, relating $p$-adic Beilinson$-$Kato elements to Heegner points in $A(\mathbb{Q})$, and a large part of the rank-one case of the Mazur$-$Tate$-$Teitelbaum exceptional zero conjecture for the cyclotomic $p$-adic $L$-function of $A$. More generally, let $f$ be the weight-two newform associated with $A$, let $f_{\infty}$ be the Hida family of $f$, and let $L_{p}(f_{\infty},k,s)$ be the Mazur$-$Kitagawa two-variable $p$-adic $L$-function attached to $f_{\infty}$. We prove a $p$-adic Gross$-$Zagier formula, expressing the quadratic term of the Taylor expansion of $L_{p}(f_{\infty},k,s)$ at $(k,s)=(2,1)$ as a non-zero rational multiple of the extended height-weight of a Heegner point in $A(\mathbb{Q})$.


title: On the first sign change of $\theta(x) - x$

abstract: Let $\theta(x) = \sum_{p\leq x} \log p$. We show that $\theta(x)<x$ for $2<x< 1.39\cdot 10^{17}$. We also show that there is an $x<\exp(727.951332668)$ for which $\theta(x) >x.$


title: Surface Sensitive Microfluidic Optomechanical Sensors

abstract: The microfluidic optomechanical resonator (uFOMR) based on a thin-walled glass capillary supports high Q-factor (>1000) mechanical modes in the presence of liquids. In this Letter, the sensitivity of the uFOMR to the surface change is studied by layer-by-layer removal of SiO2 molecules from the uFOMR inner surface using various concentrations of hydrofluoric acid solutions. A frequency downshift is observed with a sensitivity of 1.2 Hz/(pg/mm2), which translates to a surface density detection limit of 83 pg/mm2. This work opens a door to using the optomechanical mode for detection and characterization of molecules present near the resonator surface.


title: A restriction estimate using polynomial partitioning

abstract: If $S$ is a smooth compact surface in $\mathbb{R}^3$ with strictly positive second fundamental form, and $E_S$ is the corresponding extension operator, then we prove that for all $p > 3.25$, $\| E_S f\|_{L^p(\mathbb{R}^3)} \le C(p,S) \| f \|_{L^\infty(S)}$. The proof uses polynomial partitioning arguments from incidence geometry.


title: The critical pulling force for self-avoiding walks

abstract: Self-avoiding walks are a simple and well-known model of long, flexible polymers in a good solvent. Polymers being pulled away from a surface by an external agent can be modelled with self-avoiding walks in a half-space, with a Boltzmann weight $y = e^f$ associated with the pulling force. This model is known to have a critical point at a certain value $y_c$ of this Boltzmann weight, which is the location of a transition between the so-called free and ballistic phases. The value $y_c=1$ has been conjectured by several authors using numerical estimates. We provide a relatively simple proof of this result, and show that further properties of the free energy of this system can be determined by re-interpreting existing results about the two-point function of self-avoiding walks.

categories: cond-mat.stat-mech math-ph math.CO math.MP


title: Geometric stability of the Coulomb energy

abstract: The Coulomb energy of a charge that is uniformly distributed on some set is maximized (among sets of given volume) by balls. It is shown here that near-maximizers are close to balls.


title: There are $(r+1)(r+2)(2r+3)(r^2+3r+5)$ Ways For the Four Teams of a World Cup Group to Each Have $r$ Goals For and $r$ Goals Against [Thanks to the Soccer Analog of Prop. 4.6.19 of Richard Stanley's (Classic!) EC1]

abstract: This short tribute to the guru of Enumerative and Algebraic Combinatorics started out when one the authors(DZ) attended the Stanely@70 conference, that took place at the same time as the preliminary stage of the 2014 World Cup. It states a surprising application of an analog of Richard Stanley's famous theorem about the enumeration of magic squares to the enumeration of possible outcomes in a World Cup Group.


title: Scott processes

abstract: The Scott process of a relational structure $M$ is the sequence of sets of formulas given by the Scott analysis of $M$. We present axioms for the class of Scott processes of structures in a relational vocabulary $\tau$, and use them to give a proof of an unpublished theorem of Leo Harrington from the 1970's, showing that a counterexample to Vaught's Conjecture has models of cofinally many Scott ranks below $\omega_{2}$. Our approach also gives a theorem of Harnik and Makkai, showing that if there exists a counterexample to Vaught's Conjecture, then there is a counterexample whose uncountable models have the same $\mathcal{L}_{\omega_{1}, \omega}(\tau)$-theory, and which has a model of Scott rank $\omega_{1}$. Moreover, we show that if $\phi$ is a sentence of $\mathcal{L}_{\omega_{1}, \omega}(\tau)$ giving rise to a counterexample to Vaught's Conjecture, then for every limit ordinal $\alpha$ greater than the quantifier depth of $\phi$ and below $\omega_{2}$, $\phi$ has a model of Scott rank $\alpha$.


title: Phase Noise in the Delta Kicked Rotor: From Quantum to Classical

abstract: We experimentally investigate the effects of phase noise on the resonant and non-resonant dynamics of the atom-optics kicked rotor. Employing sinusoidal phase modulation at various frequencies, resonances are found corresponding to periodic phase shifts, resulting in the effective transformation of quantum anti-resonances into resonances and vice-versa. The stability of the resonance is analysed, with the aid of experiments, epsilon-classical theory and numerical simulations, and is found to be surprisingly robust against phase noise. Finally we look into the effects of phase noise on dynamical localization and discuss the destruction of the localization in terms of decoherence.


title: Secret message capacity of a line network

abstract: We investigate the problem of information theoretically secure communication in a line network with erasure channels and state feedback. We consider a spectrum of cases for the private randomness that intermediate nodes can generate, ranging from having intermediate nodes generate unlimited private randomness, to having intermediate nodes generate no private randomness, and all cases in between. We characterize the secret message capacity when either only one of the channels is eavesdropped or all of the channels are eavesdropped, and we develop polynomial time algorithms that achieve these capacities. We also give an outer bound for the case where an arbitrary number of channels is eavesdropped. Our work is the first to characterize the secrecy capacity of a network of arbitrary size, with imperfect channels and feedback. As a side result, we derive the secret key and secret message capacity of an one-hop network, when the source has limited randomness.


title: The Convex Configurations of "Sei Shonagon Chie no Ita" and Other Dissection Puzzles

abstract: The tangram and Sei Shonagon Chie no Ita are popular dissection puzzles consisting of seven pieces. Each puzzle can be formed by identifying edges from sixteen identical right isosceles triangles. It is known that the tangram can form 13 convex polygons. We show that Sei Shonagon Chie no Ita can form 16 convex polygons, propose a new puzzle that can form 19, no 7 piece puzzle can form 20, and 11 pieces are necessary and sufficient to form all 20 polygons formable by 16 identical isosceles right triangles. Finally, we examine the number of convex polygons formable by different quantities of these triangles.


title: Mismatched-basis statistics enable quantum key distribution with uncharacterized qubit sources

abstract: In the postprocessing of quantum key distribution, the raw key bits from the mismatched-basis measurements, where two parties use different bases, are normally discarded. Here, we propose a postprocessing method that exploits measurement statistics from mismatched-basis cases, and prove that incorporating these statistics enables uncharacterized qubit sources to be used in the measurement-device-independent quantum key distribution protocol and the Bennett-Brassard 1984 protocol, a case which is otherwise impossible.


title: Using Optimization to Solve Positive LPs Faster in Parallel

abstract: Positive linear programs (LP), also known as packing and covering linear programs, are an important class of problems that bridges computer science, operations research, and optimization. Despite the consistent efforts on this problem, all known nearly-linear-time algorithms require $\tilde{O}(\varepsilon^{-4})$ iterations to converge to $1\pm \varepsilon$ approximate solutions. This $\varepsilon^{-4}$ dependence has not been improved since 1993, and limits the performance of parallel implementations for such algorithms. Moreover, previous algorithms and their analyses rely on update steps and convergence arguments that are combinatorial in nature and do not seem to arise naturally from an optimization viewpoint. In this paper, we leverage new insights from optimization theory to construct a novel algorithm that breaks the longstanding $\varepsilon^{-4}$ barrier. Our algorithm has a simple analysis and a clear motivation. Our work introduces a number of novel techniques, such as the combined application of gradient descent and mirror descent, and a truncated, smoothed version of the standard multiplicative weight update, which may be of independent interest.


title: Analytical bunch compression studies for FLUTE

abstract: The current article deals with analytical bunch compression studies for FLUTE whose results are compared to simulations. FLUTE is a linac-based electron accelerator with a design energy of approximately 40 MeV currently being constructed at the Karlsruhe Institute of Technology. One of the goals of FLUTE is to generate electron bunches with their length lying in the femtosecond regime. In the first phase this will be accomplished using a magnetic bunch compressor. This compressor forms the subject of the studies presented. The paper is divided into three parts. The first part deals with pure geometric investigations of the bunch compressor where space charge effects and the back reaction of bunches with coherent synchrotron radiation (CSR) are neglected. The second part is dedicated to the treatment of space charge effects and the third part gives some analytical results on the emission of CSR. The upshot is that the results of the first and the third part agree quite well with what is obtained from simulations. However, the space charge forces in the analytical model of the second part have the trend to be overestimated for large bunch charges. With this paper we intend to form the basis for future analytical studies of the FLUTE bunch compressor and of bunch compression, in general.


title: Leaf-excluded percolation in two and three dimensions

abstract: We introduce the \emph{leaf-excluded} percolation model, which corresponds to independent bond percolation conditioned on the absence of leaves (vertices of degree one). We study the leaf-excluded model on the square and simple-cubic lattices via Monte Carlo simulation, using a worm-like algorithm. By studying wrapping probabilities, we precisely estimate the critical thresholds to be $0.355\,247\,5(8)$ (square) and $0.185\,022(3)$ (simple-cubic). Our estimates for the thermal and magnetic exponents are consistent with those for percolation, implying that the phase transition of the leaf-excluded model belongs to the standard percolation universality class.


title: An amplitude equation for long, nonlinear internal waves in a weak shear flow over topography

abstract: A forced, variable coefficients Kor\-te\-weg-de Vries equation for amplitudes of long, nonlinear internal waves in a stratified shear flow over topography is derived when the magnitude of the basic flow is small. The derivation is done by incorporating the basic flow in the perturbation series of the Taniuti and Wei's reductive perturbation method. Istead of the long-wave Tailor-Goldstein spectral problem, only the usual long-wave spectral problem for rested stratified media and a boundary value problem have to be solved for calculating the coefficients of obtained equation. Explicit expressions for these coefficients are presented.


title: Stable two-dimensional dumbbell stanene: a quantum spin Hall insulator

abstract: We predict from first-principles calculations a novel structure of stanene with dumbbell units (DB), and show that it is a two-dimensional topological insulator with inverted band gap which can be tuned by compressive strain. Furthermore, we propose that the boron nitride sheet and reconstructed ($2\times2$) InSb(111) surfaces are ideal substrates for the experimental realization of DB stanene, maintaining its non-trivial topology. Combined with standard semiconductor technologies, such as magnetic doping and electrical gating, the quantum anomalous Hall effect, Chern half metallicity and topological superconductivity can be realized in DB stanene on those substrates. These properties make the two-dimensional supported stanene a good platform for the study of new quantum spin Hall insulator as well as other exotic quantum states of matter.


title: Lower Bounds on the Critical Density in the Hard Disk Model via Optimized Metrics

abstract: We prove a new lower bound on the critical density $\rho_c$ of the hard disk model, i.e., the density below which it is possible to efficiently sample random configurations of $n$ non-overlapping disks in a unit torus. We use a classic Markov chain which moves one disk at a time, but with an improved path coupling analysis. Our main tool is an optimized metric on neighboring pairs of configurations, i.e., configurations that differ in the position of a single disk: we define a metric that depends on the difference in these positions, and which approaches zero continuously as they coincide. This improves the previous lower bound $\rho_c \ge 1/8$ to $\rho_c \ge 0.154$.


title: Deterministic Near-Optimal P2P Streaming

abstract: We consider streaming over a peer-to-peer network with homogeneous nodes in which a single source broadcasts a data stream to all the users in the system. Peers are allowed to enter or leave the system (adversarially) arbitrarily. Previous approaches for streaming in this setting have either used randomized distribution graphs or structured trees with randomized maintenance algorithms. Randomized graphs handle peer churn well but have poor connectivity guarantees, while structured trees have good connectivity but have proven hard to maintain under peer churn. We improve upon both approaches by presenting a novel distribution structure with a deterministic and distributed algorithm for maintenance under peer churn; our result is inspired by a recent work proposing deterministic algorithms for rumor spreading in graphs. A key innovation in our approach is in having redundant links in the distribution structure. While this leads to a reduction in the maximum streaming rate possible, we show that for the amount of redundancy used, the delay guarantee of the proposed algorithm is near optimal. We introduce a tolerance parameter that captures the worst-case transient streaming rate received by the peers during churn events and characterize the fundamental tradeoff between rate, delay and tolerance. A natural generalization of the deterministic algorithm achieves this tradeoff near optimally. Finally, the proposed deterministic algorithm is robust enough to handle various generalizations: ability to deal with heterogeneous node capacities of the peers and more complicated streaming patterns where multiple source transmissions are present.


title: Fourier-Hermite spectral representation for the Vlasov-Poisson system in the weakly collisional limit

abstract: We study Landau damping in the 1+1D Vlasov-Poisson system using a Fourier-Hermite spectral representation. We describe the propagation of free energy in phase space using forwards and backwards propagating Hermite modes recently developed for gyrokinetics [Schekochihin et al. (2014)]. The change in the electric field corresponds to the net Hermite flux via a free energy evolution equation. In linear Landau damping, decay in the electric field corresponds to forward propagating Hermite modes; in nonlinear damping, the initial decay is followed by a growth phase characterised by the generation of backwards propagating Hermite modes by the nonlinear term. The free energy content of the backwards propagating modes increases exponentially until balancing that of the forward propagating modes. Thereafter there is no systematic net Hermite flux, so the electric field cannot decay and the nonlinearity effectively suppresses Landau damping. These simulations are performed using the fully-spectral 5D gyrokinetics code SpectroGK [Parker et al. 2014], modified to solve the 1+1D Vlasov-Poisson system. This captures Landau damping via an iterated L\'enard-Bernstein collision operator or via Hou-Li filtering in velocity space. Therefore the code is applicable even in regimes where phase-mixing and filamentation are dominant.


title: Lexpresso: a Controlled Natural Language

abstract: This paper presents an overview of `Lexpresso', a Controlled Natural Language developed at the Defence Science & Technology Organisation as a bidirectional natural language interface to a high-level information fusion system. The paper describes Lexpresso's main features including lexical coverage, expressiveness and range of linguistic syntactic and semantic structures. It also touches on its tight integration with a formal semantic formalism and tentatively classifies it against the PENS system.


title: Seiberg-Witten type equations on compact symplectic 6-manifolds

abstract: In this article, we consider a gauge-theoretic equation on compact symplectic 6-manifolds, which forms an elliptic system after gauge fixing. This can be thought of as a higher-dimensional analogue of the Seiberg-Witten equation. By using the virtual neighbourhood method by Ruan, we define an integer-valued invariant, a 6-dimensional Seiberg-Witten invariant, from the moduli space of solutions to the equations, assuming that the moduli space is compact; and it has no reducible solutions. We prove that the moduli spaces are compact if the underlying manifold is a compact Kahler threefold. We then compute the integers in some cases.


title: Fundamental Limits of Caching: Improved Bounds For Small Buffer Users

abstract: In this work, the peak rate of the caching problem is investigated, under the scenario that the users are with small buffer sizes and the number of users is no less than the amount of files in the server. A novel coded caching strategy is proposed for such a scenario, leading to a lower peak rate compared to recent results in the literature. Furthermore, it is verified that our peak rates coincides with the cut-set bound analytically in an information-theoretic view.


title: Quark star model with charge distributions

abstract: In this paper, we studied the behavior of relativistic objects with anisotropic matter distribution inthe presence of an electric field considering a gravitational potential Z(x) of Thirukkanesh and Ragel (2013) which depends on an adjustable parameter n. The equation of state presents a quadratic relation between the energy densityand the radial pressure. New exact solutions of the Einstein-Maxwell system are generated. A physical analysis of electromagnetic field indicates that is regular in the origin and well behaved. We show as a variation of the adjustable parameter n causes a modification in the charge density, the radial pressure and the mass of the stellar object.


title: Optical Modulation in the X-Ray Binary 4U 1543-624 Revisited

abstract: The X-ray binary 4U 1543$-$624 has been provisionally identified as an ultracompact system with an orbital period of $\simeq$18~min. We have carried out time-resolved optical imaging of the binary to verify the ultra-short orbital period. Using 140\,min of high-cadence $r'$-band photometry we recover the previously-seen sinusoidal modulation and determine a period $P=18.20\pm0.09$\,min. In addition, we also see a 7.0$\times 10^{-4}$\,mag\,min$^{-1}$ linear decay, likely related to variations in the source's accretion activity. Assuming that the sinusoidal modulation arises from X-ray heating of the inner face of the companion star, we estimate a distance of 6.0--6.7\,kpc and an inclination angle of 34$^{\circ}$--61$^{\circ}$ (90\% confidence) for the binary. Given the stability of the modulation we can confirm that the modulation is orbital in origin and 4U 1543$-$624 is an ultracompact X-ray binary.


title: All-Optical Blister Test of Suspended Graphene Using Micro-Raman Spectroscopy

abstract: We report a comprehensive micro-Raman study of a pressurized suspended graphene membrane that hermetically seals a circular pit, etched in a Si/SiO$_2$ substrate. Placing the sample under a uniform pressure load results in bulging of the graphene membrane and subsequent softening of the main Raman features, due to tensile strain. In such a microcavity, the intensity of the Raman features depends very sensitively on the distance between the graphene membrane and the Si substrate, which acts as the bottom mirror of the cavity. Thus, a spatially resolved analysis of the intensity of the G- and 2D-mode features as a function of the pressure load permits a direct reconstruction of the blister profile. An average strain is then deduced at each pressure load, and Gr\"{u}neisen parameters of $1.8\pm0.2$ and $2.4\pm0.2$ are determined for the Raman G and 2D modes, respectively. In addition, the measured blister height is proportional to the cubic root of the pressure load, as predicted theoretically. The validation of this scaling provides a direct and accurate determination the Young's modulus of graphene with a purely optical, hence contactless and minimally invasive, approach. We find a Young's modulus of $(1.05\pm 0.10) \rm TPa$ for monolayer graphene, in a perfect match with previous nanoindentation measurements. This all-optical methodology opens avenues for pressure sensing using graphene and could readily be adapted to other emerging two-dimensional materials and nanoresonators.


title: A proximal point algorithm with generalized proximal distances to BEPs

abstract: We consider a bilevel problem involving two monotone equilibrium bifunctions and we show that this problem can be solved by a proximal point method with generalized proximal distances. We propose a framework for the convergence analysis of the sequences generated by the algorithm. This class of problems is very interesting because it covers mathematical programs and optimization problems under equilibrium constraints. As an application, we consider the problem of the stability and change dynamics of task's allocation in a hierarchical organization.