title: Unitary W-algebras and three-dimensional higher spin gravities with spin one symmetry

abstract: We investigate whether there are unitary families of W-algebras with spin one fields in the natural example of the Feigin-Semikhatov W^(2)_n-algebra. This algebra is conjecturally a quantum Hamiltonian reduction corresponding to a non-principal nilpotent element. We conjecture that this algebra admits a unitary real form for even n. Our main result is that this conjecture is consistent with the known part of the operator product algebra, and especially it is true for n=2 and n=4. Moreover, we find certain ranges of allowed levels where a positive definite inner product is possible. We also find a unitary conformal field theory for every even n at the special level k+n=(n+1)/(n-1). At these points, the W^(2)_n-algebra is nothing but a compactified free boson. This family of W-algebras admits an 't Hooft limit that is similar to the original minimal model 't Hooft limit. Further, in the case of n=4, we reproduce the algebra from the higher spin gravity point of view. In general, gravity computations allow us to reproduce some leading coefficients of the operator product.


title: The fifth dimension in the worldline formalism, holography, and the Wilson flow

abstract: We develop a model for hadrons in the framework of the worldline formalism. While being based wholly in four-dimensional quantum field theory, it shares many features with holographic approaches: Already by the use of the worldline formalism the approach appears intrinsically quantum mechanical. As auxiliary fifth dimension Schwinger's proper time is grouped with the physical four spacetime dimensions into an AdS5 geometry, which is warped due to conformal-symmetry breaking effects. Hidden local symmetry is emergent. The four-dimensional sources are extended to five-dimensional fields by a Wilson flow (gradient flow). A variational principle for the flow reproduces exactly the corresponding holographic computation. The worldline approach also yields the higher-dimensional description in the non-relativistic case.


title: Delving Into X-ray Obscuration of Type 2 AGN, Near and Far

abstract: Using self-consistent, physically motivated models, we investigate the X-ray obscuration in 19 Type 2 [OIII] 5007 \AA\ selected AGN, 9 of which are local Seyfert 2 galaxies and 10 of which are Type 2 quasar candidates. We derive reliable line-of-sight and global column densities for these objects, which is the first time this has been reported for an AGN sample; 4 AGN have significantly different global and line-of-sight column densities. Five sources are heavily obscured to Compton-thick. We comment on interesting sources revealed by our spectral modeling, including a candidate ``naked'' Sy2. After correcting for absorption, we find that the ratio of the rest-frame, 2-10 keV luminosity (L$_{\rm 2-10keV,in}$) to L$_{\rm [OIII]}$ is 1.54 $\pm$ 0.49 dex which is essentially identical to the mean Type 1 AGN value. The Fe K$\alpha$ luminosity is significantly correlated with L$_{\rm [OIII]}$, but with substantial scatter. Finally, we do not find a trend between L$_{\rm 2-10keV,in}$ and global or line-of-sight column density, between column density and redshift, between column density and scattering fraction or between scattering fraction and redshift.


title: An accretion disc instability induced by a temperature sensitive $\alpha$ parameter

abstract: In the standard thin disc formalism the dimensionless $\alpha$ parameter is usually assumed to be constant. However, there are good theoretical reasons for believing, as well as evidence from simulations, that $\alpha$ is dependent on intrinsic disc properties. In this paper we analyse the conditions for the stability of a thin accretion disc in which $\alpha$ is a function of the magnetic Prandtl number, the ratio of collisional viscosity to resistivity. In the inner disc, where the free electron opacity and radiation viscosity dominate, the disc is unstable if $\alpha$ is proportional to the magnetic Prandtl number with an exponent, $n$, and $6/13<n<10/3$. This is within the range of values for the power-law index found in MHD simulations with simple energetics. We calculate the evolution of the unstable disc within the $\alpha$ formalism and show that the physically accessible solutions form a limit cycle, analogous to the behaviour seen in recurrent dwarf novae. It is noteworthy that the time-dependent global behaviour of the instability results in cyclic heating of the inner section of the disc, when parameters appropriate for an X-ray binary system are used. We calculate a model spectrum of the disc in the flaring and quiescent states and show that the behaviour is compatible with X-ray observations of the thermal accretion disc in flaring X-ray binary systems.


title: MOJAVE: Monitoring of Jets in Active Galactic Nuclei with VLBA Experiments. XI. Spectral distributions

abstract: We have obtained milliarcsecond-scale spectral index distributions for a sample of 190 extragalactic radio jets through the MOJAVE project. The sources were observed in 2006 at 8.1, 8.4, 12.1, and 15.4 GHz, and we study the four-frequency spectrum in individual jet features. We performed detailed simulations to study the effects of image alignment and (u,v)-plane coverage on the spectral index maps to verify our results. The core spectral indices are on average flat, while the jet spectrum is in general steep with a mean index of -1.04. A simple power-law fit is often inadequate for the core regions, as expected if the cores are partially self-absorbed. The overall jet spectrum steepens at a rate of about -0.001 to -0.004 per deprojected parsec when moving further out from the core with flat spectrum radio quasars having significantly steeper spectra than the BL Lac objects. The spectrum in both types of objects flattens at the locations of the jet components indicating particle acceleration or density enhancements along the jet. The mean spectral index at the component locations of -0.81 corresponds to a power-law index of ~2.6 for the electron energy distribution. We find a significant trend that jet components with linear polarization parallel to the jet (magnetic field perpendicular to the jet) have flatter spectra, as expected for transverse shocks. Compared to quasars, BL Lacs have more jet components with perpendicular magnetic field alignment, which may explain their generally flatter spectra. The overall steepening of the spectra with distance can be explained with radiative losses if the jets are collimating or with the evolution of the high-energy cutoff in the electron spectrum if the jets are conical. This interpretation is supported by a significant correlation with the age of the component and the spectral index, with older components having steeper spectra. (abridged)


title: Getting into shape: how do rod-like bacteria control their geometry?

abstract: Rod-like bacteria maintain their cylindrical shapes with remarkable precision during growth. However, they are also capable to adapt their shapes to external forces and constraints, for example by growing into narrow or curved confinements. Despite being one of the simplest morphologies, we are still far from a full understanding of how shape is robustly regulated, and how bacteria obtain their near-perfect cylindrical shapes with excellent precision. However, recent experimental and theoretical findings suggest that cell-wall geometry and mechanical stress play important roles in regulating cell shape in rod-like bacteria. We review our current understanding of the cell wall architecture and the growth dynamics, and discuss possible candidates for regulatory cues of shape regulation in the absence or presence of external constraints. Finally, we suggest further future experimental and theoretical directions, which may help to shed light on this fundamental problem.


title: Revisiting Soliton Contributions to Perturbative Amplitudes

abstract: It is often said that soliton contributions to perturbative processes in QFT are exponentially suppressed by a form factor. We provide a new derivation of this form factor for a class of scalar theories with generic soliton moduli. The derivation treats the soliton momenta relativistically and is valid at leading order in momentum transfer. The computation reduces to a matrix element in the quantum mechanics on the soliton moduli space. We investigate the conditions under which the latter leads to suppression. Extending this framework to instanton-solitons in five-dimensional Yang-Mills theory leaves open the possibility that such contributions will not be suppressed.


title: On the flavor composition of the high-energy neutrino events in IceCube

abstract: The IceCube experiment has recently reported the observation of 28 high-energy (> 30 TeV) neutrino events, separated into 21 showers and 7 muon tracks, consistent with an extraterrestrial origin. In this letter we compute the compatibility of such an observation with possible combinations of neutrino flavors with relative proportion (alpha_e:alpha_mu:alpha_tau). Although the 7:21 track-to-shower ratio is naively favored for the canonical (1:1:1) at Earth, this is not true once the atmospheric muon and neutrino backgrounds are properly accounted for. We find that, for an astrophysical neutrino E^(-2) energy spectrum, (1:1:1) at Earth is disfavored at 81% C.L. If this proportion does not change, 6 more years of data would be needed to exclude (1:1:1) at Earth at 3 sigma C.L. Indeed, with the recently-released 3-year data, that flavor composition is excluded at 92% C.L. The best-fit is obtained for (1:0:0) at Earth, which cannot be achieved from any flavor ratio at sources with averaged oscillations during propagation. If confirmed, this result would suggest either a misunderstanding of the expected background events, or a misidentification of tracks as showers, or even more compellingly, some exotic physics which deviates from the standard scenario.


title: Localized Plasma Balls

abstract: In this paper we numerically construct localised black hole solutions at the IR bottom of the confining geometry of the AdS soliton. These black holes should be thought as the finite size analogues of the domain wall solutions that have appeared previously in the literature. From the dual CFT point of view, these black holes correspond to finite size balls of deconfined plasma surrounded by the confining vacuum. The plasma ball solutions are parametrised by the temperature. For temperatures well above the deconfinement transition, the dual black holes are small and round and they are well-described by the asymptotically flat Schwarzschild solution. On the other hand, as the temperature approaches the deconfinement temperature, the black holes look like pancakes which are extended along the IR bottom of the space-time. On top of these backgrounds, we compute various probes of confinement/deconfinement such as temporal Wilson loops and entanglement entropy.


title: Environmental correlations and Markovian to non-Markovian transitions in collisional models

abstract: We investigate the smallest set of requirements for inducing non-Markovian dynamics in a collisional model of open quantum systems. This is done by introducing correlations in the state of the environment and analyzing the divisibility of the quantum maps from consecutive time steps. Our model and results serve as a platform for the microscopic study of non-Markovian behavior as well as an example of a simple scenario of non-Markovianity with purely contractive maps, i.e. with no back-flow of information between system and environment.


title: Hysteresis-Free Nanosecond Pulsed Electrical Characterization of Top-Gated Graphene Transistors

abstract: We measure top-gated graphene field effect transistors (GFETs) with nanosecond-range pulsed gate and drain voltages. Due to high-k dielectric or graphene imperfections, the drain current decreases ~10% over time scales of ~10 us, consistent with charge trapping mechanisms. Pulsed operation leads to hysteresis-free I-V characteristics, which are studied with pulses as short as 75 ns and 150 ns at the drain and gate, respectively. The pulsed operation enables reliable extraction of GFET intrinsic transconductance and mobility values independent of sweep direction, which are up to a factor of two higher than those obtained from simple DC characterization. We also observe drain-bias-induced charge trapping effects at lateral fields greater than 0.1 V/um. In addition, using modeling and capacitance-voltage measurements we extract charge trap densities up to 10^12 1/cm^2 in the top gate dielectric (here Al2O3). Our study illustrates important time- and field-dependent imperfections of top-gated GFETs with high-k dielectrics, which must be carefully considered for future developments of this technology


title: Large subposets with small dimension

abstract: Dorais asked for the maximum guaranteed size of a dimension $d$ subposet of an $n$-element poset. A lower bound of order $\sqrt{n}$ was found by Goodwillie. We provide a sublinear upper bound for each $d$. For $d=2$, our bound is $n^{0.8295}$.


title: Simplified Dark Matter Models for the Galactic Center Gamma-Ray Excess

abstract: Motivated by the gamma-ray excess observed from the region surrounding the Galactic Center, we explore particle dark matter models that could potentially account for the spectrum and normalization of this signal. Taking a model-independent approach, we consider an exhaustive list of tree-level diagrams for dark matter annihilation, and determine which could account for the observed gamma-ray emission while simultaneously predicting a thermal relic abundance equal to the measured cosmological dark matter density. We identify a wide variety of models that can meet these criteria without conflicting with existing constraints from direct detection experiments or the Large Hadron Collider (LHC). The prospects for detection in near future dark matter experiments and/or the upcoming 14 TeV LHC appear quite promising.


title: Candidate Clusters of Galaxies at $z>1.3$ Identified in the Spitzer SPT Deep Field Survey

abstract: We present 279 galaxy cluster candidates at $z > 1.3$ selected from the 94 deg$^{2}$ Spitzer South Pole Telescope Deep Field (SSDF) survey. We use a simple algorithm to select candidate high-redshift clusters of galaxies based on Spitzer/IRAC mid-infrared data combined with shallow all-sky optical data. We identify distant cluster candidates in SSDF adopting an overdensity threshold that results in a high purity (80%) cluster sample based on tests in the Spitzer Deep, Wide-Field Survey of the Bo\"otes field. Our simple algorithm detects all three $1.4 < z \leq 1.75$ X-ray detected clusters in the Bo\"otes field. The uniqueness of the SSDF survey resides not just in its area, one of the largest contiguous extragalactic fields observed with Spitzer, but also in its deep, multi-wavelength coverage by the South Pole Telescope (SPT), Herschel/SPIRE and XMM-Newton. This rich dataset will allow direct or stacked measurements of Sunyaev-Zel'dovich effect decrements or X-ray masses for many of the SSDF clusters presented here, and enable systematic study of the most distant clusters on an unprecedented scale. We measure the angular correlation function of our sample and find that these candidates show strong clustering. Employing the COSMOS/UltraVista photometric catalog in order to infer the redshift distribution of our cluster selection, we find that these clusters have a comoving number density $n_c = (0.7^{+6.3}_{-0.6}) \times 10^{-7} h^{3} \mathrm{Mpc}^{-3}$ and a spatial clustering correlation scale length $r_0 = (32 \pm 7) h^{-1} \rm{Mpc}$. Assuming our sample is comprised of dark matter halos above a characteristic minimum mass, $M_{{\rm min}}$, we derive that at $z=1.5$ these clusters reside in halos larger than $M_{{\rm min}} = 1.5^{+0.9}_{-0.7} \times 10^{14} h^{-1} M_{\odot}$. (abridged)


title: Towards Human Computable Passwords

abstract: An interesting challenge for the cryptography community is to design authentication protocols that are so simple that a human can execute them without relying on a fully trusted computer. We propose several candidate authentication protocols for a setting in which the human user can only receive assistance from a semi-trusted computer --- a computer that stores information and performs computations correctly but does not provide confidentiality. Our schemes use a semi-trusted computer to store and display public challenges $C_i\in[n]^k$. The human user memorizes a random secret mapping $\sigma:[n]\rightarrow\mathbb{Z}_d$ and authenticates by computing responses $f(\sigma(C_i))$ to a sequence of public challenges where $f:\mathbb{Z}_d^k\rightarrow\mathbb{Z}_d$ is a function that is easy for the human to evaluate. We prove that any statistical adversary needs to sample $m=\tilde{\Omega}(n^{s(f)})$ challenge-response pairs to recover $\sigma$, for a security parameter $s(f)$ that depends on two key properties of $f$. To obtain our results, we apply the general hypercontractivity theorem to lower bound the statistical dimension of the distribution over challenge-response pairs induced by $f$ and $\sigma$. Our lower bounds apply to arbitrary functions $f $ (not just to functions that are easy for a human to evaluate), and generalize recent results of Feldman et al. As an application, we propose a family of human computable password functions $f_{k_1,k_2}$ in which the user needs to perform $2k_1+2k_2+1$ primitive operations (e.g., adding two digits or remembering $\sigma(i)$), and we show that $s(f) = \min\{k_1+1, (k_2+1)/2\}$. For these schemes, we prove that forging passwords is equivalent to recovering the secret mapping. Thus, our human computable password schemes can maintain strong security guarantees even after an adversary has observed the user login to many different accounts.


title: Fast Sweeping Methods for Hyperbolic Systems of Conservation Laws at Steady State II

abstract: The idea of using fast sweeping methods for solving stationary systems of conservation laws has previously been proposed for efficiently computing solutions with sharp shocks. We further develop these methods to allow for a more challenging class of problems including problems with sonic points, shocks originating in the interior of the domain, rarefaction waves, and two-dimensional systems. We show that fast sweeping methods can produce higher-order accuracy. Computational results validate the claims of accuracy, sharp shock curves, and optimal computational efficiency.


title: The space of framed chord diagrams as a Hopf module

abstract: This note is dedicated to the study of a Hopf module structures on the space of framed chord diagrams and framed graphs. We also introduce a framed version of the chromatic polynomial and propose two methods to construct framed weight systems.


title: An efficient GPU acceptance-rejection algorithm for the selection of the next reaction to occur for Stochastic Simulation Algorithms

abstract: Motivation: The Stochastic Simulation Algorithm (SSA) has largely diffused in the field of systems biology. This approach needs many realizations for establishing statistical results on the system under study. It is very computationnally demanding, and with the advent of large models this burden is increasing. Hence parallel implementation of SSA are needed to address these needs. At the very heart of the SSA is the selection of the next reaction to occur at each time step, and to the best of our knowledge all implementations are based on an inverse transformation method. However, this method involves a random number of steps to select this next reaction and is poorly amenable to a parallel implementation. Results: Here, we introduce a parallel acceptance-rejection algorithm to select the K next reactions to occur. This algorithm uses a deterministic number of steps, a property well suited to a parallel implementation. It is simple and small, accurate and scalable. We propose a Graphics Processing Unit (GPU) implementation and validate our algorithm with simulated propensity distributions and the propensity distribution of a large model of yeast iron metabolism. We show that our algorithm can handle thousands of selections of next reaction to occur in parallel on the GPU, paving the way to massive SSA. Availability: We present our GPU-AR algorithm that focuses on the very heart of the SSA. We do not embed our algorithm within a full implementation in order to stay pedagogical and allows its rapid implementation in existing software. We hope that it will enable stochastic modelers to implement our algorithm with the benefits of their own optimizations.


title: Two-Loop QCD Correction to massive spin-2 resonance $\rightarrow$ 3 gluons

abstract: We present the ${\cal O}(\alpha_s^3)$ virtual QCD corrections to the process $h \rightarrow g+g+g$ due to interference of born and two-loop amplitudes, where $h$ is a massive spin-2 particle and $g$ is the gluon. We assume that the SM fields couple to $h$ through the SM energy momentum tensor. Our result constitutes one of the ingredients to full NNLO QCD contribution to production of a massive spin-2 particle along with a jet in the scattering process at the LHC. In particular, this massive spin-2 could be a KK mode of a ADD graviton in large extra dimensional model or a RS KK mode in warped extra dimensional model or a generic massive spin-2. In addition, it provides an opportunity to study the ultraviolet and infrared structures of QCD amplitudes involving tensorial coupling resulting from energy momentum operator. Using dimensional regularization, we find that infrared poles of this amplitude are in agreement with the proposal by Catani confirming the factorization property of QCD amplitudes with tensorial insertion.


title: Tensile strained $In_{x}Ga_{1-x}P$ membranes for cavity optomechanics

abstract: We investigate the optomechanical properties of tensile-strained ternary InGaP nanomembranes grown on GaAs. This material system combines the benefits of highly strained membranes based on stoichiometric silicon nitride, with the unique properties of thin-film semiconductor single crystals, as previously demonstrated with suspended GaAs. Here we employ lattice mismatch in epitaxial growth to impart an intrinsic tensile strain to a monocrystalline thin film (approximately 30 nm thick). These structures exhibit mechanical quality factors of 2*10^6 or beyond at room temperature and 17 K for eigenfrequencies up to 1 MHz, yielding Q*f products of 2*10^12 Hz for a tensile stress of ~170 MPa. Incorporating such membranes in a high finesse Fabry-Perot cavity, we extract an upper limit to the total optical loss (including both absorption and scatter) of 40 ppm at 1064 nm and room temperature. Further reductions of the In content of this alloy will enable tensile stress levels of 1 GPa, with the potential for a significant increase in the Q*f product, assuming no deterioration in the mechanical loss at this composition and strain level. This materials system is a promising candidate for the integration of strained semiconductor membrane structures with low-loss semiconductor mirrors and for realizing stacks of membranes for enhanced optomechanical coupling.


title: Partitioning of on-demand electron pairs

abstract: We demonstrate the high fidelity splitting of electron pairs emitted on demand from a dynamic quantum dot by an electronic beam splitter. The fidelity of pair splitting is inferred from the coincidence of arrival in two detector paths probed by a measurement of the partitioning noise. The emission characteristic of the on-demand electron source is tunable from electrons being partitioned equally and independently to electron pairs being split with a fidelity of 90%. For low beam splitter transmittance we further find evidence of pair bunching violating statistical expectations for independent fermions.


title: Jet quenching and $\gamma$-jet correlation in high-energy heavy-ion collisions

abstract: Medium modification of $\gamma$-tagged jets in high-energy heavy-ion collisions is investigated within a linearized Boltzmann transport model which includes both elastic parton scattering and induced gluon emission. In Pb+Pb collisions at $\sqrt{s}=2.76$ TeV, a $\gamma$-tagged jet is seen to lose 15\% of its energy at 0-10\% central collisions. Simulations also point to a sizable azimuthal angle broadening of $\gamma$-tagged jets at the tail of a distribution which should be measurable when experimental errors are significantly reduced. An enhancement at large $z_\text{jet}=p_L/E_{\text{jet}}$ in jet fragmentation function at the Large Hadron Collider (LHC) can be attributed to the dominance of leading particles in the reconstructed jet. A $\gamma-$tagged jet fragmentation function is shown to be more sensitive to jet quenching, therefore a better probe of the jet transport parameter.


title: Herschel-Planck dust optical-depth and column-density maps: I. Method description and results for Orion

abstract: We present high-resolution, high dynamic range column-density and color-temperature maps of the Orion complex using a combination of Planck dust-emission maps, Herschel dust-emission maps, and 2MASS NIR dust-extinction maps. The column-density maps combine the robustness of the 2MASS NIR extinction maps with the resolution and coverage of the Herschel and Planck dust-emission maps and constitute the highest dynamic range column-density maps ever constructed for the entire Orion complex, covering $0.01 \, \mathrm{mag} < A_K < 30 \,\mathrm{mag}$, or $2 \times 10^{20} \, \mathrm{cm}^{-2} < N < 5 \times 10^{23} \,\mathrm{cm}^{-2}$. We determined the ratio of the 2.2 microns extinction coefficient to the 850 microns opacity and found that the values obtained for both Orion A and B are significantly lower than the predictions of standard dust models, but agree with newer models that incorporate icy silicate-graphite conglomerates for the grain population. We show that the cloud projected pdf, over a large range of column densities, can be well fitted by a simple power law. Moreover, we considered the local Schmidt-law for star formation, and confirm earlier results, showing that the protostar surface density $\Sigma_*$ follows a simple law $\Sigma_* \propto \Sigma_{gas}^\beta$, with $\beta \sim 2$.


title: Nonperturbative black hole entropy and Kloosterman sums

abstract: Non-perturbative quantum corrections to supersymmetric black hole entropy often involve nontrivial number-theoretic phases called Kloosterman sums. We show how these sums can be obtained naturally from the functional integral of supergravity in asymptotically AdS_2 space for a class of black holes. They are essentially topological in origin and correspond to charge-dependent phases arising from the various gauge and gravitational Chern-Simons terms and boundary Wilson lines evaluated on Dehn-filled solid 2-torus. These corrections are essential to obtain an integer from supergravity in agreement with the quantum degeneracies, and reveal an intriguing connection between topology, number theory, and quantum gravity. We give an assessment of the current understanding of quantum entropy of black holes.


title: Anisotropic Wavefronts and Laguerre Geometry

abstract: Motivated by the study of wave fronts in anisotropic media, we propose an incidence geometry of anisotropic spheres in a Finsler-Minkowski space. An anisotropic version of the Laguerre functional is considered. In some circumstances, this functional can be used to determine that two wavefronts observed at distinct times in a homogeneous, anisotropic medium, do not originate from the same source.


title: A solution space for a system of null-state partial differential equations 2

abstract: This article is the second of four that completely characterize a solution space $\mathcal{S}_N$ for a homogeneous system of $2N+3$ linear partial differential equations (PDEs) in 2N variables that arises in conformal field theory (CFT) and multiple Schramm-Lowner evolution (SLE). The system comprises $2N$ null-state equations and three conformal Ward identities which govern CFT correlation functions of $2N$ one-leg boundary operators. In the first article (part I), we use methods of analysis and linear algebra to prove that $\dim\mathcal{S}_N\leq C_N$, with $C_N$ the $N$th Catalan number. The analysis of that article is complete except for the proof of a lemma that it invokes. This article provides the proof. The lemma states that if every interval among $(x_2,x_3),$ $(x_3,x_4), ... ,(x_{2N-1},x_{2N})$ is a two-leg interval of $F\in\mathcal{S}_N$, then $F$ vanishes. Proving this lemma by contradiction, we show that the existence of such a nonzero function implies the existence of a non-vanishing CFT two-point function involving primary operators with different conformal weights, an impossibility. This proof (which is rigorous in spite of our occasional reference to CFT) involves two different types of estimates, those that give the asymptotic behavior of F as the length of one interval vanishes, and those that give this behavior as the lengths of two intervals vanish simultaneously. We derive these estimates by using Green functions to rewrite certain null-state PDEs as integral equations, combining other null-state PDEs to obtain Schauder interior estimates, and then repeatedly integrating the integral equations with these estimates until we obtain optimal bounds. In the case where two adjacent interval lengths vanish, we use a Green function that contains the Jacobi heat kernel as its essential ingredient.


title: A fast multipole method for the evaluation of elastostatic fields in a half-space with zero normal stress

abstract: In this paper, we present a fast multipole method (FMM) for the half-space Green's function in a homogeneous elastic half-space subject to zero normal stress, for which an explicit solution was given by Mindlin (1936). The image structure of this Green's function is unbounded, so that standard outgoing representations are not easily available. We introduce two such representations here, one involving an expansion in plane waves and one involving a modified multipole expansion. Both play a role in the FMM implementation.


title: Flux Tube Spectra from Approximate Integrability at Low Energies

abstract: We provide a detailed introduction to a method we recently proposed for calculating the spectrum of excitations of effective strings such as QCD flux tubes. The method relies on the approximate integrability of the low energy effective theory describing the flux tube excitations and is is based on the Thermodynamic Bethe Ansatz (TBA). The approximate integrability is a consequence of the Lorentz symmetry of QCD. For excited states the convergence of the TBA technique is significantly better than that of the traditional perturbative approach. We apply the new technique to the lattice spectra for fundamental flux tubes in gluodynamics in D=3+1 and D=2+1, and to k-strings in gluodynamics in D=2+1. We identify a massive pseudoscalar resonance on the world sheet of the confining strings in SU(3) gluodynamics in D=3+1, and massive scalar resonances on the world sheet of k=2,3 strings in SU(6) gluodynamics in D=2+1.


title: The Generalized Symmetric Tequila Problem: Influence and Independence in N-Player Games

abstract: This paper extends results from Mike Steel and Amelia Taylor's paper The Structure of Symmetric N-Player Games when Influence and Independence Collide. These games include n causes, which are dichotomous random variables whose values determine the probabilities of the values of n dichotomous effects. We denote the probability spaces that exhibit independence and influence among n players as Ind_n and Inf_n respectively. We define the solution space of the "generalized symmetric tequila problem," GST_n, as the set of probabilities for a set of given effects such that the causes and effects are independent and each cause influences the effects, that is GST_n is the intersection of Ind_n and Inf_n. Steel and Taylor showed that GST_n is connected for n greater than or equal to 8 and disconnected for n = 3, 4. We prove that for n = 5, 6, 7, GST_n is connected and determine the number of connected components of GST_4.


title: Asynchronous Transmission of Wireless Multicast System with Genetic Joint Antennas Selection

abstract: Optimal antenna selection algorithm of multicast transmission can significantly reduce the number of antennas and can acquire lower complexity and high performance which is close to that of exhaustive search. An asynchronous multicast transmission mechanism based on genetic antenna selection is proposed. The computational complexity of genetic antenna selection algorithm remains moderate while the total number of antennas increases comparing with optimum searching algorithm. Symbol error rate (SER) and capacity of our mechanism are analyzed and simulated, and the simulation results demonstrate that our proposed mechanism can achieve better SER and sub-maximum channel capacity in wireless multicast systems.


title: An Overview of the Anomalous Soft Photons in Hadron Production

abstract: Productions of soft photon with low transverse momenta in high-energy hadron-hadron collisions and $e^+$-$e^-$ annihilations indicate that they are consistently produced in excess of what are predicted by electromagnetic bremsstrahlung when hadrons (mostly mesons) are produced, but they agree with electromagnetic bremsstrahlung predictions in the absence of hadron production. These excess soft photons are called anomalous soft photons. The occurrence of anomalous soft photons in association with hadron production reveals the presence of additional QED soft photon sources in QCD hadron production. Many different models have been proposed to explain the anomalous soft production. We shall examine specifically a quantum field theory of simultaneous meson and soft photon production in QCDxQED in which the meson production arises from the oscillation of color charge densities of the quarks of the underlying vacuum in a flux tube. As a quark carries both a color charge and an electric charge, the oscillation of the color charge densities will be accompanied by the oscillation of electric charge densities, which will in turn lead to the simultaneous production of anomalous soft photons during the meson production process.


title: CALICE Digital Hadron Calorimeter: Calibration and Response to Hadrons

abstract: The large CALICE Digital Hadron Calorimeter prototype (DHCAL) was built in 2009 - 2010. The DHCAL uses Resistive Plate Chambers (RPCs) as active media and is read out with 1 x 1 cm2 pads and digital (1 - bit) resolution. With a world record of about 0.5M readout channels, the DHCAL offers the possibility to study hadronic interactions with unprecedented spatial resolution. This talk reports on the results from the analysis of pion events of momenta between 2 to 60 GeV/c collected in the Fermilab test beam with an emphasis on the intricate calibration procedures.


title: Monte Carlo error in the Bayesian estimation of risk ratios using log-binomial regression models: an efficient MCMC method

abstract: In cohort studies binary outcomes are very often analyzed by logistic regression. However, it is well-known that when the goal is to estimate a risk ratio, the logistic regression is inappropriate if the outcome is common. In these cases, a log-binomial regression model is preferable. On the other hand, the estimation of the regression coefficients of the log-binomial model is difficult due to the constraints that must be imposed on these coefficients. Bayesian methods allow a straightforward approach for log-binomial regression models, produce smaller mean squared errors and the posterior inferences can be obtained using the software WinBUGS. However, the Markov chain Monte Carlo (MCMC) methods implemented in WinBUGS can lead to a high Monte Carlo error. To avoid this drawback we propose an MCMC algorithm that uses a reparameterization based on a Poisson approximation and has been designed to efficiently explore the constrained parameter space.


title: The Main Sequence and the Fundamental Metallicity Relation in MaGICC Galaxies: Evolution and Scatter

abstract: Using cosmological galaxy simulations from the MaGICC project, we study the evolution of the stellar masses, star formation rates and gas phase abundances of star forming galaxies. We derive the stellar masses and star formation rates using observational relations based on spectral energy distributions by applying the new radiative transfer code GRASIL-3D to our simulated galaxies. The simulations match well the evolution of the stellar mass-halo mass relation, have a star forming main sequence that maintains a constant slope out to redshift z $\sim$ 2, and populate projections of the stellar mass - star formation - metallicity plane, similar to observed star forming disc galaxies. We discuss small differences between these projections in observational data and in simulations, and the possible causes for the discrepancies. The light-weighted stellar masses are in good agreement with the simulation values, the differences between the two varying between 0.06 dex and 0.20 dex. We also find a good agreement between the star formation rate tracer and the true (time-averaged) simulation star formation rates. Regardless if we use mass- or light-weighted quantities, our simulations indicate that bursty star formation cycles can account for the scatter in the star forming main sequence.


title: Nonmagnetic ordering state of single-crystal SrTm$_2$O$_4$: A polarized and unpolarized neutron-scattering study

abstract: Our single-crystal polarized neutron scattering at 65 mK and powder unpolarized neutron diffraction at 0.5 K show no evidence for a long-range magnetic order and even detect no sign of diffuse magnetic neutron scattering in single-crystal SrTm2O4. The data refinements reveal that the two TmO6 octahedral distortion modes are the same as those of the TbO6 octahedra in SrTb2O4, i.e., one distortion is stronger than the other one especially at low temperatures, which is attributed probably to different crystal electric fields for the two inequivalent octahedra. Consequently, we conclude that SrTm2O4 has no magnetic order, neither long-ranged nor short-ranged, even down to 65 mK. Therefore, SrTm2O4 is a different compound from its brethren in the new family of frustrated SrRE2O4 (RE = Gd, Tb, Dy, Ho, Er, and Yb) magnets. We propose that crystal field anisotropy may dominate over weak dipolar spin interactions in SrTm2O4, leading to a virtually nonmagnetic ordering state.


title: Friezes and continuant polynomials with parameters

abstract: Frieze patterns (in the sense of Conway and Coxeter) are related to cluster algebras of type A and to signed continuant polynomials. In view of studying certain classes of cluster algebras with coefficients, we extend the concept of signed continuant polynomial to define a new family of friezes, called c-friezes, which generalises frieze patterns. Having in mind the cluster algebras of finite type, we identify a necessary and sufficient condition for obtaining periodic c-friezes. Taking into account the Laurent phenomenon and the positivity conjecture, we present ways of generating c-friezes of integers and of positive integers. We also show some specific properties of c-friezes.


title: Approximation Schemes for Many-Objective Query Optimization

abstract: The goal of multi-objective query optimization (MOQO) is to find query plans that realize a good compromise between conflicting objectives such as minimizing execution time and minimizing monetary fees in a Cloud scenario. A previously proposed exhaustive MOQO algorithm needs hours to optimize even simple TPC-H queries. This is why we propose several approximation schemes for MOQO that generate guaranteed near-optimal plans in seconds where exhaustive optimization takes hours. We integrated all MOQO algorithms into the Postgres optimizer and present experimental results for TPC-H queries; we extended the Postgres cost model and optimize for up to nine conflicting objectives in our experiments. The proposed algorithms are based on a formal analysis of typical cost functions that occur in the context of MOQO. We identify properties that hold for a broad range of objectives and can be exploited for the design of future MOQO algorithms.


title: Screening Clouds and Majorana Fermions

abstract: Ken Wilson developed the Numerical Renormalization Group technique which greatly enhanced our understanding of the Kondo effect and other quantum impurity problems. Wilson's NRG also inspired Philippe Nozieres to propose the idea of a large "Kondo screening cloud". While much theoretical evidence has accumulated for this idea it has remained somewhat controversial and has not yet been confirmed experimentally. Recently a new possibility for observing an analogous crossover length scale has emerged, involving a Majorana fermion localized at the interface between a topological superconductor quantum wire and a normal wire. We give an overview of this topic both with and without interactions included in the normal wire.


title: Compositional Symbolic Models for Networks of Incrementally Stable Control Systems

abstract: Symbolic models have recently spurred the interest of the research community because they offer a correct-by-design approach to the control of embedded and cyber-physical systems. In this paper we address construction of symbolic models for networks of discrete-time nonlinear control systems. The main result of the paper shows that under some small gain theorem-type conditions, a network of symbolic models can be constructed which approximates a network of incrementally stable control systems in the sense of approximate bisimulation with any desired accuracy. Compositional design of quantization parameters of the symbolic models is also derived and based on the topological properties of the network.


title: Shear induced rigidity in athermal materials: a unified statistical framework

abstract: Recent studies of athermal systems such as dry grains and dense, non-Brownian suspensions have shown that shear can lead to solidification through the process of shear jamming in grains and discontinuous shear thickening in suspensions. The similarities observed between these two distinct phenomena suggest that the physical processes leading to shear-induced rigidity in athermal materials are universal. We present a non-equilibrium statistical mechanics model, which exhibits the phenomenology of these shear-driven transitions: shear jamming and discontinuous shear thickening in different regions of the predicted phase diagram. Our analysis identifies the crucial physical processes underlying shear-driven rigidity transitions, and clarifies the distinct roles played by shearing forces and the density of grains.


title: Hole probabilities of SU(m+1) Gaussian random polynomials

abstract: In this paper, we study hole probabilities $P_{0,m}(r,N)$ of SU(m+1) Gaussian random polynomials of degree $N$ over a polydisc $(D(0,r))^m$. When $r\geq1$, we find asymptotic formulas and decay rate of $\log{P_{0,m}(r,N)}$. In dimension one, we also consider hole probabilities over some general open sets and compute asymptotic formulas for the generalized hole probabilities $P_{k,1}(r,N)$ over a disc $D(0,r)$.


title: Search for dark matter in events with a Z boson and missing transverse momentum in pp collisions at $\sqrt{s}$=8 TeV with the ATLAS detector

abstract: A search is presented for production of dark matter particles recoiling against a leptonically decaying Z boson in 20.3 fb$^{-1}$ of pp collisions at $\sqrt{s}$=8 TeV with the ATLAS detector at the Large Hadron Collider. Events with large missing transverse momentum and two oppositely-charged electrons or muons consistent with the decay of a Z boson are analyzed. No excess above the Standard Model prediction is observed. Limits are set on the mass scale of the contact interaction as a function of the dark matter particle mass using an effective field theory description of the interaction of dark matter with quarks or with Z bosons. Limits are also set on the coupling and mediator mass of a model in which the interaction is mediated by a scalar particle.


title: Graphene based sensors: theoretical study

abstract: Graphene, a 2-dimensional monolayer form of sp2 hybridizated carbon atoms, is attracting increasing attention due to its unique and superior physicochemical properties. Covalently functionalized graphene layers, with their modifiable chemical functionality and usefull electrical properties, are excellent candidates for broad range of sensors, suitable for biomedical, optoelectronic and environmental applications. Here, we present extensive study of transport properties of sensors based on covalently functionalized graphene monolayer (GML) with graphene electrodes. The transmissions, density of states and current-voltage characterisctics supported by analysis of charge distribution of GML functionalized by -CH3, -CH2, -NH2, -NH and -OH fragments have been calculated by means of density functional theory (DFT) and non-equilibrium Green's function (NEGF). Further, we demonstrate how to control the device sensitivity by manipulating: (i) concentration, (ii) particular arrangement, and (iii) type of surface groups. We explain the underlying detection physical mechanisms. Comparisons of the theoretical results to available experimental data are provided are made and show good agreement.


title: A method for solving nonlinear differential equations: an application to $\lambda\phi^4$ model

abstract: Recently, it has been great interest in the development of methods for solving nonlinear differential equations directly. Here, it is shown an algorithm based on Pad\'e approximants for solving nonlinear partial differential equations without requiring a one-dimensional reduction. This method is applied to the $\lambda\phi^4$ model in 4 dimensions and new solutions are obtained.


title: Prospects for heavy flavour measurements with the ALICE inner tracker upgrade

abstract: ALICE is the general purpose heavy-ion detector at the CERN LHC. Its goal is to investigate the properties of the strongly interacting matter under the extreme conditions of density and temperature reached in Pb{Pb collisions, with the aim to characterize the Quark-Gluon Plasma (QGP). In this scenario, the upgrade of the ALICE inner tracker targets physics topics in which ALICE can bring a unique contribution to the QGP characterization via the heavy avour probes. We present an overview of the inner tracker upgrade and the expected physics performance for heavy avour measurements.


title: Quantum Circuit For Discovering from Data the Structure of Classical Bayesian Networks

abstract: We give some quantum circuits for calculating the probability $P(G|D)$ of a graph $G$ given data $D$. $G$ together with a transition probability matrix for each node of the graph, constitutes a Classical Bayesian Network, or CB net for short. Bayesian methods for calculating $P(G|D)$ have been given before (the so called structural modular and ordered modular models), but these earlier methods were designed to work on a classical computer. The goal of this paper is to "quantum computerize" those earlier methods.


title: Non-linear Optical Spectroscopy of Excited Exciton States for Efficient Valley Coherence Generation in WSe2 Monolayers

abstract: Monolayers (MLs) of MoS2 and WSe2 are 2D semiconductors with strong, direct optical transitions that are governed by tightly Coulomb bound eletron-hole pairs (excitons). The optoelectronic properties of these transition metal dichalcogenides are directly related to the inherent crystal inversion symmetry breaking. It allows for efficient second harmonic generation (SHG) and is at the origin of chiral optical selections rules, which enable efficient optical initialization of electrons in specific K-valleys in momentum space. Here we demonstrate how these unique non-linear and linear optical properties can be combined to efficiently prepare exciton valley coherence and polarization through resonant pumping of an excited exciton state. In particular a new approach to coherent alignment of excitons following two-photon excitation is demonstrated. We observe a clear deviation of the excited exciton spectrum from the standard Rydberg series via resonances in SHG spectroscopy and two- and one-photon absorption. The clear identification of the 2s and 2p exciton excited states combined with first principle calculations including strong anti-screening effects allows us to determine an exciton binding energy of the order of 600 meV in ML WSe2.


title: Inhomogeneous phases in the quark-meson model with vacuum fluctuations

abstract: Inhomogeneous chiral-symmetry breaking phases at non-vanishing chemical potential and temperature are studied within a two-flavor quark-meson model in the chiral limit. The analysis is performed beyond the standard mean-field approximation by taking into account the Dirac-sea contributions of the quarks. Compared with the case where the Dirac sea is neglected, we find that the inhomogeneous phase shrinks, but in general does not disappear. It is shown within a Ginzburg-Landau analysis that the Lifshitz point of the inhomogeneous phase coincides with the tricritical point if the ratio between sigma-meson and constituent quark mass in vacuum is chosen to be $m_\sigma/M = 2$, corresponding to the fixed mass ratio in the Nambu--Jona-Lasinio model. In the present model, however, this ratio can be varied, offering the possibility to separate the two points. This is confirmed by our numerical calculations, which demonstrate a strong sensitivity of the size of the inhomogeneous phase on $m_\sigma$. Finally, we uncover a general instability of the model with respect to large wave numbers of the chiral modulations, which calls for further improvements beyond the present approximation.


title: Short Term Electricity Load Forecasting on Varying Levels of Aggregation

abstract: We propose a simple empirical scaling law that describes load forecasting accuracy at different levels of aggregation. The model is justified based on a simple decomposition of individual consumption patterns. We show that for different forecasting methods and horizons, aggregating more customers improves the relative forecasting performance up to specific point. Beyond this point, no more improvement in relative performance can be obtained.


title: Fast electron propagation in Ti foils irradiated with sub-picosecond laser pulses at $I\lambda^{2} > 10^{18}$ Wcm$^{-2} \mu m^{2}$

abstract: We have studied the propagation of fast electrons through laser irradiated Ti foils by monitoring the emission of hard X-rays and K-{\alpha} radiation from bare foils and foils backed by a thick epoxy layer. Key observations include strong refluxing of electrons and divergence of the electron beam in the foil with evidence of magnetic field collimation. Our diagnostics have allowed us to estimate the fast electron temperature and fraction of laser energy converted to fast electrons. We have observed clear differences between the fast electron temperatures observed with bare and epoxy backed targets which may be due to the effects of refluxing.


title: Stable auto-equivalences for local symmetric algebras

abstract: We construct nontrivial auto-equivalences of stable module categories for elementary, local symmetric algebras over a field k. These auto-equivalences are modeled after the spherical twists of Seidel and Thomas and the $\mathbb{P}^n$-twists of Huybrechts and Thomas, which yield auto-equivalences of the derived category of coherent sheaves on a variety. For group algebras of p-groups in characteristic p we recover many of the auto-equivalences corresponding to endo-trivial modules. We also obtain analogous auto-equivalences for local algebras of dihedral and semi-dihedral type, which are not group algebras.


title: Short Message Noisy Network Coding with Rate Splitting

abstract: Short message noisy network coding with rate splitting (SNNC-RS) encoding strategy is presented. It has been shown by Hou and Kramer that mixed cooperative strategies in which relays in favorable positions perform decode-and-forward (DF) and the rest of the relays perform short message noisy network coding (SNNC) can outperform noisy network coding (NNC). Our proposed strategy further improves the rate performance of such mixed SNNC-DF cooperative strategy. In the proposed scheme, superposition coding is incorporated into the SNNC encoding in order to facilitate partial interference cancellation at DF relays, thereby increasing the overall rate. To demonstrate gains of the proposed SNNC-RS strategy, the achievable rate is analyzed for the discrete memoryless two-relay network with one DF relay and one SNNC-RS relay and compared to the case without rate-splitting. The obtained rate is evaluated in the Gaussian two-relay network and gains over the rate achieved without rate splitting are demonstrated.


title: On redundancy of memoryless sources over countable alphabets

abstract: The minimum average number of bits need to describe a random variable is its entropy, assuming knowledge of the underlying statistics On the other hand, universal compression supposes that the distribution of the random variable, while unknown, belongs to a known set $\cal P$ of distributions. Such universal descriptions for the random variable are agnostic to the identity of the distribution in $\cal P$. But because they are not matched exactly to the underlying distribution of the random variable, the average number of bits they use is higher, and the excess over the entropy used is the "redundancy". This formulation is fundamental to problems not just in compression, but also estimation and prediction and has a wide variety of applications from language modeling to insurance. In this paper, we study the redundancy of universal encodings of strings generated by independent identically distributed (iid) sampling from a set $\cal P$ of distributions over a countable support. We first show that if describing a single sample from $\cal P$ incurs finite redundancy, then $\cal P$ is tight but that the converse does not always hold. If a single sample can be described with finite worst-case-regret (a more stringent formulation than redundancy above), then it is known that length-$n$ iid samples only incurs a diminishing (in $n$) redundancy per symbol as $n$ increases. However, we show it is possible that a collection $\cal P$ incurs finite redundancy, yet description of length-$n$ iid samples incurs a constant redundancy per symbol encoded. We then show a sufficient condition on $\cal P$ such that length-$n$ iid samples will incur diminishing redundancy per symbol encoded.


title: Discrete $d$-dimensional moduli of smoothness

abstract: We show that on the $d$-dimensional cube $I^d\equiv [0,1]^d$ the discrete moduli of smoothness which use only the values of the function on a diadic mesh are sufficient to determine the moduli of smoothness of that function. As an important special case our result implies for $f\in C(I^d)$ and given integer $r$ that when $0<\alpha<r$, the condition \[ \left|\Delta^r_{2^{-n} e_i}f\left(\frac{k_1}{2^n},\dots,\frac{k_d}{2^n}\right)\right|\le M2^{-n\alpha} \] for integers $1\le i\le d$, $0\le k_i\le 2^n-r$, $0\le k_j\le 2^n$ when $j\ne i$, and $n=1,2,\dots$ is equivalent to \[ \Bigl|\Delta^r_{h u}f(x)\Bigr|\le M_1 h^\alpha \] for $x,u\in\mathbb{R}^d$, $h>0$ and $|u|=1$ such that $x,x+rhu\in I^d$.


title: On the Bongiorno's notion of absolute continuity

abstract: We show that the classes of $\alpha$-absolutely continuous functions in the sense of Bongiorno coincide for all $0<\alpha<1$.


title: Intermediate Sums on Polyhedra II: Bidegree and Poisson Formula

abstract: We continue our study of intermediate sums over polyhedra, interpolating between integrals and discrete sums, which were introduced by A. Barvinok [Computing the Ehrhart quasi-polynomial of a rational simplex, Math. Comp. 75 (2006), 1449-1466]. By well-known decompositions, it is sufficient to consider the case of affine cones s+c, where s is an arbitrary real vertex and c is a rational polyhedral cone. For a given rational subspace L, we integrate a given polynomial function h over all lattice slices of the affine cone s + c parallel to the subspace L and sum up the integrals. We study these intermediate sums by means of the intermediate generating functions $S^L(s+c)(\xi)$, and expose the bidegree structure in parameters s and $\xi$, which was implicitly used in the algorithms in our papers [Computation of the highest coefficients of weighted Ehrhart quasi-polynomials of rational polyhedra, Found. Comput. Math. 12 (2012), 435-469] and [Intermediate sums on polyhedra: Computation and real Ehrhart theory, Mathematika 59 (2013), 1-22]. The bidegree structure is key to a new proof for the Baldoni--Berline--Vergne approximation theorem for discrete generating functions [Local Euler--Maclaurin expansion of Barvinok valuations and Ehrhart coefficients of rational polytopes, Contemp. Math. 452 (2008), 15-33], using the Fourier analysis with respect to the parameter s and a continuity argument. Our study also enables a forthcoming paper, in which we study intermediate sums over multi-parameter families of polytopes.


title: Cup products, the Johnson homomorphism, and surface bundles over surfaces with multiple fiberings

abstract: Let $\Sigma_g \to E \to \Sigma_h$ be a surface bundle over a surface with monodromy representation $\rho: \pi_1 \Sigma_h \to \operatorname{Mod}(\Sigma_g)$ contained in the Torelli group $\mathcal{I}_g$. In this paper we express the cup product structure in $H^*(E, \mathbb{Z})$ in terms of the Johnson homomorphism $\tau: \mathcal{I}_g \to \wedge^3 (H_1 (\Sigma_g, \mathbb{Z}))$. This is applied to the question of obtaining an upper bound on the maximal $n$ such that $p_1: E \to \Sigma_{h_1}, ..., p_n: E \to \Sigma_{h_n}$ are fibering maps realizing $E$ as the total space of a surface bundle over a surface in $n$ distinct ways. We prove that any nontrivial surface bundle over a surface with monodromy contained in the Johnson kernel $\mathcal{K}_g$ fibers in a unique way.


title: Topics in social network analysis and network science

abstract: This chapter introduces statistical methods used in the analysis of social networks and in the rapidly evolving parallel-field of network science. Although several instances of social network analysis in health services research have appeared recently, the majority involve only the most basic methods and thus scratch the surface of what might be accomplished. Cutting-edge methods using relevant examples and illustrations in health services research are provided.


title: A PDE approach to space-time fractional parabolic problems

abstract: We study solution techniques for parabolic equations with fractional diffusion and Caputo fractional time derivative, the latter being discretized and analyzed in a general Hilbert space setting. The spatial fractional diffusion is realized as the Dirichlet-to-Neumann map for a nonuniformly elliptic problem posed on a semi-infinite cylinder in one more spatial dimension. We write our evolution problem as a quasi-stationary elliptic problem with a dynamic boundary condition. We propose and analyze an implicit fully-discrete scheme: first-degree tensor product finite elements in space and an implicit finite difference discretization in time. We prove stability and error estimates for this scheme.


title: Magnetic states of the five-orbital Hubbard model for one-dimensional iron-based superconductors

abstract: The magnetic phase diagrams of models for quasi one-dimensional compounds belonging to the iron-based superconductors family are presented. The five-orbital Hubbard model and the real-space Hartree-Fock approximation are employed, supplemented by density functional theory to obtain the hopping amplitudes. Phase diagrams are constructed varying the Hubbard $U$ and Hund $J$ couplings and at zero temperature. The study is carried out at electronic density (electrons per iron) $n = 5.0$, which is of relevance for the already known material TlFeSe$_2$, and also at $n = 6.0$, where representative compounds still need to be synthesized. At $n = 5.0$ there is a clear dominance of staggered spin order along the chain direction. At $n = 6.0$ and the realistic Hund coupling $J/U = 0.25$, the phase diagram is far richer including a variety of ``block'' states involving ferromagnetic clusters that are antiferromagnetically coupled, in qualitative agreement with recent Density Matrix Renormalization Group calculations for the three-orbital Hubbard model in a different context. These block states arise from the competition between ferromagnetic order (induced by double exchange, and prevailing at large $J/U$) and antiferromagnetic order (dominating at small $J/U$). The density of states and orbital compositions of the many phases are also provided.


title: DD Calculus

abstract: This paper introduces DD calculus and describes the basic calculus concepts of derivative and integral in a direct and non-traditional way, without limit definition: Derivative is computed from the point-slope equation of a tangent line and integral is defined as the height increment of a curve. This direct approach to calculus has three distinct features: (i) it defines derivative and (definite) integral without using limits, (ii) it defines derivative and antiderivative simultaneously via a derivative-antiderivative (DA) pair, and (iii) it posits the fundamental theorem of calculus as a natural corollary of the definitions of derivative and integral. The first D in DD calculus attributes to Descartes for his method of tangents and the second D to DA-pair. The DD calculus, or simply direct calculus, makes many traditional notations and procedures unnecessary, a plus when introducing calculus to the non-mathematics majors. It has few intermediate procedures, which can help dispel the mystery of calculus as perceived by the general public. The materials in this paper are intended for use in a two-hour introductory lecture on calculus.


title: Sampling unitary invariant ensembles

abstract: We develop an algorithm for sampling from the unitary invariant random matrix ensembles. The algorithm is based on the representation of their eigenvalues as a determinantal point process whose kernel is given in terms of orthogonal polynomials. Using this algorithm, statistics beyond those known through analysis are calculable through Monte Carlo simulation. Unexpected phenomena are observed in the simulations.


title: On the Complexity of the Constrained Input Selection Problem for Structural Linear Systems

abstract: This paper studies the problem of, given the structure of a linear-time invariant system and a set of possible inputs, finding the smallest subset of input vectors that ensures system's structural controllability. We refer to this problem as the minimum constrained input selection (minCIS) problem, since the selection has to be performed on an initial given set of possible inputs. We prove that the minCIS problem is NP-hard, which addresses a recent open question of whether there exist polynomial algorithms (in the size of the system plant matrices) that solve the minCIS problem. To this end, we show that the associated decision problem, to be referred to as the CIS, of determining whether a subset (of a given collection of inputs) with a prescribed cardinality exists that ensures structural controllability, is NP-complete. Further, we explore in detail practically important subclasses of the minCIS obtained by introducing more specific assumptions either on the system dynamics or the input set instances for which systematic solution methods are provided by constructing explicit reductions to well known computational problems. The analytical findings are illustrated through examples in multi-agent leader-follower type control problems.


title: General dynamic recovery for compensating CSP

abstract: Compensation is a technique to roll-back a system to a consistent state in case of failure. Recovery mechanisms for compensating calculi specify the order of execution of compensation sequences. Dynamic recovery means that the order of execution is determined at runtime. In this paper, we define an extension of Compensating CSP, called DEcCSP, with general dynamic recovery. We provide a formal, operational semantics for the calculus, and illustrate its expressive power with a case study. In contrast with previous versions of Compensating CSP, DEcCSP provides mechanisms to replace or discard compensations at runtime. Additionally, we bring back to DEcCSP standard CSP operators that are not available in other compensating CSP calculi, and introduce channel communication.


title: Quantum Turing automata

abstract: A denotational semantics of quantum Turing machines having a quantum control is defined in the dagger compact closed category of finite dimensional Hilbert spaces. Using the Moore-Penrose generalized inverse, a new additive trace is introduced on the restriction of this category to isometries, which trace is carried over to directed quantum Turing machines as monoidal automata. The Joyal-Street-Verity Int construction is then used to extend this structure to a reversible bidirectional one.


title: Ray tracing -- computing the incomputable?

abstract: We recall from previous work a model-independent framework of computational complexity theory. Notably for the present paper, the framework allows formalization of the issues of precision that present themselves when one considers physical, error-prone (especially analogue rather than digital) computational systems. We take as a case study the ray-tracing problem, a Turing-machine-incomputable problem that can, in apparent violation of the Church-Turing thesis, nonetheless be said to be solved by certain optical computers; however, we apply the framework of complexity theory so as to formalize the intuition that the purported super-Turing power of these computers in fact vanishes once precision is properly considered.


title: Towards a GPU-based implementation of interaction nets

abstract: We present ingpu, a GPU-based evaluator for interaction nets that heavily utilizes their potential for parallel evaluation. We discuss advantages and challenges of the ongoing implementation of ingpu and compare its performance to existing interaction nets evaluators.


title: Effective dimension in some general metric spaces

abstract: We introduce the concept of effective dimension for a wide class of metric spaces that are not required to have a computable measure. Effective dimension was defined by Lutz in (Lutz 2003) for Cantor space and has also been extended to Euclidean space. Lutz effectivization uses the concept of gale and supergale, our extension of Hausdorff dimension to other metric spaces is also based on a supergale characterization of dimension, which in practice avoids an extra quantifier present in the classical definition of dimension that is based on Hausdorff measure and therefore allows effectivization for small time-bounds. We present here the concept of constructive dimension and its characterization in terms of Kolmogorov complexity, for which we extend the concept of Kolmogorov complexity to any metric space defining the Kolmogorov complexity of a point at a certain precision. Further research directions are indicated.


title: Computing discrete logarithm by interval-valued paradigm

abstract: Interval-valued computing is a relatively new computing paradigm. It uses finitely many interval segments over the unit interval in a computation as data structure. The satisfiability of Quantified Boolean formulae and other hard problems, like integer factorization, can be solved in an effective way by its massive parallelism. The discrete logarithm problem plays an important role in practice, there are cryptographical methods based on its computational hardness. In this paper we show that the discrete logarithm problem is computable by an interval-valued computing in a polynomial number of steps (within this paradigm).


title: Non-deterministic computation and the Jayne-Rogers Theorem

abstract: We provide a simple proof of a computable analogue to the Jayne Rogers Theorem from descriptive set theory. The difficulty of the proof is delegated to a simulation result pertaining to non-deterministic type-2 machines. Thus, we demonstrate that developments in computational models can have applications in fields thought to be far removed from it.


title: Algorithm and proof as \Omega-invariance and transfer: A new model of computation in nonstandard analysis

abstract: We propose a new model of computation based on nonstandard analysis. Intuitively, the role of "algorithm" is played by a new notion of finite procedure, called Omega-invariance and inspired by physics, from nonstandard analysis. Moreover, the role of 'proof' is taken up by the Transfer Principle from nonstandard analysis. We obtain a number of results in Constructive Reverse Mathematics to illustrate the tight correspondence to Errett Bishop's Constructive Analysis and the associated Constructive Reverse Mathematics.


title: The probability of non-confluent systems

abstract: We show how to provide a structure of probability space to the set of execution traces on a non-confluent abstract rewrite system, by defining a variant of a Lebesgue measure on the space of traces. Then, we show how to use this probability space to transform a non-deterministic calculus into a probabilistic one. We use as example Lambda+, a recently introduced calculus defined through type isomorphisms.


title: Proof-graphs for Minimal Implicational Logic

abstract: It is well-known that the size of propositional classical proofs can be huge. Proof theoretical studies discovered exponential gaps between normal or cut free proofs and their respective non-normal proofs. The aim of this work is to study how to reduce the weight of propositional deductions. We present the formalism of proof-graphs for purely implicational logic, which are graphs of a specific shape that are intended to capture the logical structure of a deduction. The advantage of this formalism is that formulas can be shared in the reduced proof. In the present paper we give a precise definition of proof-graphs for the minimal implicational logic, together with a normalization procedure for these proof-graphs. In contrast to standard tree-like formalisms, our normalization does not increase the number of nodes, when applied to the corresponding minimal proof-graph representations.


title: Causal Dynamics of Discrete Surfaces

abstract: We formalize the intuitive idea of a labelled discrete surface which evolves in time, subject to two natural constraints: the evolution does not propagate information too fast; and it acts everywhere the same.


title: A Calculus of Located Entities

abstract: We define BioScapeL, a stochastic pi-calculus in 3D-space. A novel aspect of BioScapeL is that entities have programmable locations. The programmer can specify a particular location where to place an entity, or a location relative to the current location of the entity. The motivation for the extension comes from the need to describe the evolution of populations of biochemical species in space, while keeping a sufficiently high level description, so that phenomena like diffusion, collision, and confinement can remain part of the semantics of the calculus. Combined with the random diffusion movement inherited from BioScape, programmable locations allow us to capture the assemblies of configurations of polymers, oligomers, and complexes such as microtubules or actin filaments. Further new aspects of BioScapeL include random translation and scaling. Random translation is instrumental in describing the location of new entities relative to the old ones. For example, when a cell secretes a hydronium ion, the ion should be placed at a given distance from the originating cell, but in a random direction. Additionally, scaling allows us to capture at a high level events such as division and growth; for example, daughter cells after mitosis have half the size of the mother cell.


title: Towards Formal Interaction-Based Models of Grid Computing Infrastructures

abstract: Grid computing (GC) systems are large-scale virtual machines, built upon a massive pool of resources (processing time, storage, software) that often span multiple distributed domains. Concurrent users interact with the grid by adding new tasks; the grid is expected to assign resources to tasks in a fair, trustworthy way. These distinctive features of GC systems make their specification and verification a challenging issue. Although prior works have proposed formal approaches to the specification of GC systems, a precise account of the interaction model which underlies resource sharing has not been yet proposed. In this paper, we describe ongoing work aimed at filling in this gap. Our approach relies on (higher-order) process calculi: these core languages for concurrency offer a compositional framework in which GC systems can be precisely described and potentially reasoned about.


title: Using HMM in Strategic Games

abstract: In this paper we describe an approach to resolve strategic games in which players can assume different types along the game. Our goal is to infer which type the opponent is adopting at each moment so that we can increase the player's odds. To achieve that we use Markov games combined with hidden Markov model. We discuss a hypothetical example of a tennis game whose solution can be applied to any game with similar characteristics.


title: MTL-Model Checking of One-Clock Parametric Timed Automata is Undecidable

abstract: Parametric timed automata extend timed automata (Alur and Dill, 1991) in that they allow the specification of parametric bounds on the clock values. Since their introduction in 1993 by Alur, Henzinger, and Vardi, it is known that the emptiness problem for parametric timed automata with one clock is decidable, whereas it is undecidable if the automaton uses three or more parametric clocks. The problem is open for parametric timed automata with two parametric clocks. Metric temporal logic, MTL for short, is a widely used specification language for real-time systems. MTL-model checking of timed automata is decidable, no matter how many clocks are used in the timed automaton. In this paper, we prove that MTL-model checking for parametric timed automata is undecidable, even if the automaton uses only one clock and one parameter and is deterministic.


title: Toward Parametric Timed Interfaces for Real-Time Components

abstract: We propose here a framework to model real-time components consisting of concurrent real-time tasks running on a single processor, using parametric timed automata. Our framework is generic and modular, so as to be easily adapted to different schedulers and more complex task models. We first perform a parametric schedulability analysis of the components using the inverse method. We show that the method unfortunately does not provide satisfactory results when the task periods are consid- ered as parameters. After identifying and explaining the problem, we present a solution adapting the model by making use of the worst-case scenario in schedulability analysis. We show that the analysis with the inverse method always converges on the modified model when the system load is strictly less than 100%. Finally, we show how to use our parametric analysis for the generation of timed interfaces in compositional system design.


title: Worst-case Throughput Analysis for Parametric Rate and Parametric Actor Execution Time Scenario-Aware Dataflow Graphs

abstract: Scenario-aware dataflow (SADF) is a prominent tool for modeling and analysis of dynamic embedded dataflow applications. In SADF the application is represented as a finite collection of synchronous dataflow (SDF) graphs, each of which represents one possible application behaviour or scenario. A finite state machine (FSM) specifies the possible orders of scenario occurrences. The SADF model renders the tightest possible performance guarantees, but is limited by its finiteness. This means that from a practical point of view, it can only handle dynamic dataflow applications that are characterized by a reasonably sized set of possible behaviours or scenarios. In this paper we remove this limitation for a class of SADF graphs by means of SADF model parametrization in terms of graph port rates and actor execution times. First, we formally define the semantics of the model relevant for throughput analysis based on (max,+) linear system theory and (max,+) automata. Second, by generalizing some of the existing results, we give the algorithms for worst-case throughput analysis of parametric rate and parametric actor execution time acyclic SADF graphs with a fully connected, possibly infinite state transition system. Third, we demonstrate our approach on a few realistic applications from digital signal processing (DSP) domain mapped onto an embedded multi-processor architecture.


title: Topologically Robust Transport of Photons in a Synthetic Gauge Field

abstract: Electronic transport in low dimensions through a disordered medium leads to localization. The addition of gauge fields to disordered media leads to fundamental changes in the transport properties. For example, chiral edge states can emerge in two-dimensional systems with a perpendicular magnetic field. Here, we implement a "synthetic'' gauge field for photons using silicon-on-insulator technology. By determining the distribution of transport properties, we confirm the localized transport in the bulk and the suppression of localization in edge states, using the "gold standard'' for localization studies. Our system provides a new platform to investigate transport properties in the presence of synthetic gauge fields, which is important both from the fundamental perspective of studying photonic transport and for applications in classical and quantum information processing.

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


title: Interestingness a Unifying Paradigm Bipolar Function Composition

abstract: Interestingness is an important criterion by which we judge knowledge discovery. But, interestingness has escaped all attempts to capture its intuitive meaning into a concise and comprehensive form. A unifying paradigm is formulated by function composition. We claim that composition is bipolar, i.e. composition of exactly two functions, whose two semantic poles are relevance and unexpectedness. The paradigm generality is demonstrated by case studies of new interestingness functions, examples of known functions that fit the framework, and counter-examples for which the paradigm points out to the lacking pole.


title: A Parametrized post-Einsteinian Framework for Gravitational Wave Bursts

abstract: The population of stellar-mass, compact object binaries that merge with non-negligible eccentricity may be large enough to motivate searches with ground-based gravitational wave detectors. Such events could be exceptional laboratories to test General Relativity in the dynamical, strong-field regime, as a larger fraction of the energy is emitted at high-velocities, compared to quasi-circular inspirals. A serious obstacle here, however, is the challenge of computing theoretical waveforms for eccentric systems with the requisite accuracy for use in a matched-filter search. The corresponding waveforms are more a sequence of concentrated bursts of energy emitted near periapse than a continuous waveform. Based on this, an alternative approach, stacking excess power over the set of time-frequency tiles coincident with the bursts, was recently suggested as a more practical (though sub-optimal) detection strategy. The leading-order "observable" that would be inferred from such a detection would be a sequence of discrete numbers characterizing the position and size of each time-frequency tile. In General Relativity, this (possibly large) sequence of numbers is uniquely determined by the small set of parameters describing the binary at formation. In this work, following the spirit of the parameterized post-Einsteinian framework developed for quasi-circular inspiral, we propose a simple, parameterized deformation of the baseline general relativistic burst algorithm for eccentric inspiral events that would allow for model-independent tests of Einstein's theory in this high-velocity, strong-field regime.


title: Approximate algebraic structure

abstract: We discuss a selection of recent developments in arithmetic combinatorics having to do with ``approximate algebraic structure'' together with some of their applications.


title: Three-dimensional iso-geometric solutions to general boundary value problems of Toupin's gradient elasticity theory at finite strains

abstract: We present, to the best of our knowledge, the first complete three-dimensional numerical solutions to a broad range of boundary value problems for a general theory of finite strain gradient elasticity. We have chosen for our work, Toupin's theory [Arch. Rat. Mech. Anal., 11(1), 385-414, 1962]-one of the more general formulations of strain gradient elasticity. Our framework has three crucial ingredients: The first is iso-geometric analysis [Hughes et al., Comp. Meth. App. Mech. Engrg., 194(39-41), 4135-4195, 2005], which we have adopted for its straightforward and robust representation of C1-continuity. The second is a weak treatment of the higher-order Dirichlet boundary conditions in the formulation, which control the development of strain gradients in the solution. The third ingredient is algorithmic (automatic) differentiation, which eliminates the need for linearization "by hand" of the rather complicated geometric and material nonlinearities in gradient elasticity at finite strains. We present a number of numerical solutions to demonstrate that the framework is applicable to arbitrary boundary value problems in three dimensions. We discuss size effects, the role of higher-order boundary conditions, and perhaps most importantly, the relevance of the framework to problems with elastic free energy density functions that are non-convex in strain space.


title: Experimental implementation of quantum information processing by Zeeman perturbed nuclear quadrupole resonance

abstract: Nuclear magnetic resonance (NMR) has been widely used in the context of quantum information processing (QIP). However, despite the great similarities between NMR and nuclear quadrupole resonance (NQR), no experimental implementation for QIP using NQR has been reported. We describe the implementation of basic quantum gates and their applications on the creation of pseudopure states using linearly polarized radiofrequency pulses under static magnetic field perturbation. The NQR quantum operations were implemented using a single crystal sample of KClO3 and observing 35Cl nuclei, which posses spin 3/2 and give rise to a 2-qubit system. The results are very promising and indicate that NQR can be successfully used for performing fundamental experiments in QIP. One advantage of NQR in comparison to NMR is that the main interaction is internal to the sample, which makes the system more compact, lowering its cost and making it easier to be miniaturized to solid state devices.


title: Observation of $\eta^{\prime}\to\pi^{+}\pi^{-}\pi^{+}\pi^{-}$ and $\eta^{\prime}\to\pi^{+}\pi^{-}\pi^{0}\pi^{0}$

abstract: Using a sample of $1.3\times 10^9$ $J/\psi$ events collected with the BESIII detector, we report the first observation of $\eta^{\prime}\to\pi^{+}\pi^{-}\pi^{+}\pi^{-}$ and $\eta^{\prime}\to\pi^{+}\pi^{-}\pi^{0}\pi^{0}$. The measured branching fractions are $\mathcal{B}$($\eta^{\prime}\to\pi^{+}\pi^{-}\pi^{+}\pi^{-}$) = $(8.53\pm0.69({\rm stat.})\pm0.64({\rm syst.}))\times10^{-5}$ and $\mathcal{B}$($\eta^{\prime}\to\pi^{+}\pi^{-}\pi^{0}\pi^{0}$) = $(1.82\pm0.35({\rm stat.})\pm0.18({\rm syst.}))\times10^{-4}$, which are consistent with theoretical predictions based on a combination of chiral perturbation theory and vector-meson dominance.


title: Haplotype Assembly: An Information Theoretic View

abstract: This paper studies the haplotype assembly problem from an information theoretic perspective. A haplotype is a sequence of nucleotide bases on a chromosome, often conveniently represented by a binary string, that differ from the bases in the corresponding positions on the other chromosome in a homologous pair. Information about the order of bases in a genome is readily inferred using short reads provided by high-throughput DNA sequencing technologies. In this paper, the recovery of the target pair of haplotype sequences using short reads is rephrased as a joint source-channel coding problem. Two messages, representing haplotypes and chromosome memberships of reads, are encoded and transmitted over a channel with erasures and errors, where the channel model reflects salient features of high-throughput sequencing. The focus of this paper is on the required number of reads for reliable haplotype reconstruction, and both the necessary and sufficient conditions are presented with order-wise optimal bounds.


title: Cloud-Based Optimization: A Quasi-Decentralized Approach to Multi-Agent Coordination

abstract: New architectures and algorithms are needed to reflect the mixture of local and global information that is available as multi-agent systems connect over the cloud. We present a novel architecture for multi-agent coordination where the cloud is assumed to be able to gather information from all agents, perform centralized computations, and disseminate the results in an intermittent manner. This architecture is used to solve a multi-agent optimization problem in which each agent has a local objective function unknown to the other agents and in which the agents are collectively subject to global inequality constraints. Leveraging the cloud, a dual problem is formulated and solved by finding a saddle point of the associated Lagrangian.


title: Venture: a higher-order probabilistic programming platform with programmable inference

abstract: We describe Venture, an interactive virtual machine for probabilistic programming that aims to be sufficiently expressive, extensible, and efficient for general-purpose use. Like Church, probabilistic models and inference problems in Venture are specified via a Turing-complete, higher-order probabilistic language descended from Lisp. Unlike Church, Venture also provides a compositional language for custom inference strategies built out of scalable exact and approximate techniques. We also describe four key aspects of Venture's implementation that build on ideas from probabilistic graphical models. First, we describe the stochastic procedure interface (SPI) that specifies and encapsulates primitive random variables. The SPI supports custom control flow, higher-order probabilistic procedures, partially exchangeable sequences and ``likelihood-free'' stochastic simulators. It also supports external models that do inference over latent variables hidden from Venture. Second, we describe probabilistic execution traces (PETs), which represent execution histories of Venture programs. PETs capture conditional dependencies, existential dependencies and exchangeable coupling. Third, we describe partitions of execution histories called scaffolds that factor global inference problems into coherent sub-problems. Finally, we describe a family of stochastic regeneration algorithms for efficiently modifying PET fragments contained within scaffolds. Stochastic regeneration linear runtime scaling in cases where many previous approaches scaled quadratically. We show how to use stochastic regeneration and the SPI to implement general-purpose inference strategies such as Metropolis-Hastings, Gibbs sampling, and blocked proposals based on particle Markov chain Monte Carlo and mean-field variational inference techniques.


title: Stochastic resonance in the two-dimensional q-state clock models

abstract: We numerically study stochastic resonance in the two-dimensional q-state clock models from q = 2 to 7 under a weak oscillating magnetic field. As in the mean-field case, we observe double resonance peaks, but the detailed response strongly depends on the direction of the field modulation for q >= 5 where the quasiliquid phase emerges. We explain this behavior in terms of free-energy landscapes on the two-dimensional magnetization plane.


title: Quantization for Uplink Transmissions in Two-tier Networks with Femtocells

abstract: We propose two novel schemes to level up the sum--rate for a two-tier network with femtocell where the backhaul uplink and downlink connecting the Base Stations have limited capacity. The backhaul links are exploited to transport the information in order to improve the decoding of the macrocell and femtocell messages. In the first scheme, Quantize-and-Forward, the Femto Base Station (FBS) quantizes what it receives and forwards it to the Macro Base Station (MBS). Two quantization methods are considered: Elementary Quantization and Wyner-Ziv Quantization. In the second scheme, called Decode-and-Forward with Quantized Side Information (DFQSI) to be distinguished with the considered conventional Decode-and-Forward (DF) scheme. The DFQSI scheme exploits the backhaul downlink to quantize and send the information about the message in the macrocell to the FBS to help it better decode the message, cancel it and decode the message in the femtocell. The results show that there are interesting scenarios in which the proposed techniques offer considerable gains in terms of maximal sum rate and max minimal rate.


title: Gravity particles from Warped Extra Dimensions, predictions for LHC

abstract: Warped Extra Dimension scenarios are a rich playground for phenomenology of heavy resonances at LHC. The Radion and the KK-graviton are inevitable signatures of this class of models. On face of the latest LHC experimental results on the direct searches for Beyond Standard Model physics we update the phenomenological predictions for production and decay of such resonances in its main production modes. We also highlight the phenomenology results relevant to collider searches in individual channels, and provide tools for interpretation of current and future experimental analyses using two specific benchmarks as example.


title: Comparative Resilience Notions and Vertex Attack Tolerance of Scale-Free Networks

abstract: We are concerned with an appropriate mathematical measure of resilience in the face of targeted node attacks for arbitrary degree networks, and subsequently comparing the resilience of different scale-free network models with the proposed measure. We strongly motivate our resilience measure termed \emph{vertex attack tolerance} (VAT), which is denoted mathematically as $\tau(G) = \min_{S \subset V} \frac{|S|}{|V-S-C_{max}(V-S)|+1}$, where $C_{max}(V-S)$ is the largest connected component in $V-S$. We attempt a thorough comparison of VAT with several existing resilience notions: conductance, vertex expansion, integrity, toughness, tenacity and scattering number. Our comparisons indicate that for artbitrary degree distributions VAT is the only measure that fully captures both the major \emph{bottlenecks} of a network and the resulting \emph{component size distribution} upon targeted node attacks (both captured in a manner proportional to the size of the attack set). For the case of $d$-regular graphs, we prove that $\tau(G) \le d\Phi(G)$, where $\Phi(G)$ is the conductance of the graph $G$. Conductance and expansion are well-studied measures of robustness and bottlenecks in the case of regular graphs but fail to capture resilience in the case of highly heterogeneous degree graphs. Regarding comparison of different scale-free graph models, our experimental results indicate that PLOD graphs with degree distributions identical to BA graphs of the same size exhibit consistently better vertex attack tolerance than the BA type graphs, although both graph types appear asymptotically resilient for BA generative parameter $m = 2$. BA graphs with $m = 1$ also appear to lack resilience, not only exhibiting very low VAT values, but also great transparency in the identification of the vulnerable node sets, namely the hubs, consistent with well known previous work.


title: Spectrally Pure RF Photonic Source Based on a Resonant Optical Hyper-Parametric Oscillator

abstract: We demonstrate a free running 10GHz microresonator-based RF photonic hyper-parametric oscillator characterized with phase noise better than -60dBc/Hz at 10Hz, -90dBc/Hz at 100Hz, and -150dBc/Hz at 10MHz. The device consumes less than 25mW of optical power. A correlation between the frequency of the continuous wave laser pumping the nonlinear resonator and the generated RF frequency is confirmed. The performance of the device is compared with the performance of a standard optical fiber based coupled opto-electronic oscillator of OEwaves.


title: Irreversible Langevin samplers and variance reduction: a large deviation approach

abstract: In order to sample from a given target distribution (often of Gibbs type), the Monte Carlo Markov chain method consists in constructing an ergodic Markov process whose invariant measure is the target distribution. By sampling the Markov process one can then compute, approximately, expectations of observables with respect to the target distribution. Often the Markov processes used in practice are time-reversible (i.e., they satisfy detailed balance), but our main goal here is to assess and quantify how the addition of a non-reversible part to the process can be used to improve the sampling properties. We focus on the diffusion setting (overdamped Langevin equations) where the drift consists of a gradient vector field as well as another drift which breaks the reversibility of the process but is chosen to preserve the Gibbs measure. In this paper we use the large deviation rate function for the empirical measure as a tool to analyze the speed of convergence to the invariant measure. We show that the addition of an irreversible drift leads to a larger rate function and it strictly improves the speed of convergence of ergodic average for (generic smooth) observables. We also deduce from this result that the asymptotic variance decreases under the addition of the irreversible drift and we give an explicit characterization of the observables whose variance is not reduced reduced, in terms of a nonlinear Poisson equation. Our theoretical results are illustrated and supplemented by numerical simulations.


title: Traffic Monitoring Using M2M Communication

abstract: This paper presents an intelligent traffic monitoring system using wireless vision sensor network that captures and processes the real-time video image to obtain the traffic flow rate and vehicle speeds along different urban roadways. This system will display the traffic states on the front roadways that can guide the drivers to select the right way and avoid potential traffic congestions. On the other hand, it will also monitor the vehicle speeds and store the vehicle details, for those breaking the roadway speed limits, in its database. The real-time traffic data is processed by the Personal Computer (PC) at the sub roadway station and the traffic flow rate data is transmitted to the main roadway station Arduino 3G via email, where the data is extracted and traffic flow rate displayed.


title: A framework for deterministic primality proving using elliptic curves with complex multiplication

abstract: We provide a framework for using elliptic curves with complex multiplication to determine the primality or compositeness of integers that lie in special sequences, in deterministic quasi-quadratic time. We use this to find large primes, including the largest prime currently known whose primality cannot feasibly be proved using classical methods.


title: Spectral Mackey functors and equivariant algebraic K-theory (I)

abstract: Spectral Mackey functors are homotopy-coherent versions of ordinary Mackey functors as defined by Dress. We show that they can be described as excisive functors on a suitable infinity-category, and we use this to show that universal examples of these objects are given by algebraic K-theory. More importantly, we introduce the unfurling of certain families of Waldhausen infinity-categories bound together with suitable adjoint pairs of functors; this construction completely solves the homotopy coherence problem that arises when one wishes to study the algebraic K-theory of such objects as spectral Mackey functors. Finally, we employ this technology to lay the foundations of equivariant stable homotopy theory for profinite groups and to study fully functorial versions of A-theory, upside-down A-theory, and the algebraic K-theory of derived stacks.


title: Commutators of lepton mass matrices associated with seesaw and leptogenesis

abstract: The origin of tiny neutrino masses and the baryon number asymmetry of the Universe are naturally interpreted by the canonical seesaw and leptogenesis mechanisms, in which there are the heavy Majorana neutrino mass matrix $M_{\rm R}$, the Dirac neutrino mass matrix $M_{\rm D}$, the charged-lepton mass matrix $M_\ell$ and the effective (light) neutrino mass matrix $M_\nu$. We find that ${\rm Im}\left(\det\left[ M^\dagger_{\rm D} M_{\rm D}, M^\dagger_{\rm R} M_{\rm R} \right]\right)$, ${\rm Im}\left(\det\left[ M_\ell M^\dagger_\ell, M_\nu M^\dagger_\nu \right]\right)$ and ${\rm Im}\left(\det\left[ M_\ell M^\dagger_\ell, M_{\rm D} M^\dagger_{\rm D} \right]\right)$ can serve for a basis-independent measure of CP violation associated with lepton-number-violating decays of heavy neutrinos, flavor oscillations of light neutrinos and lepton-flavor-violating decays of charged leptons, respectively. We first calculate these quantities with the help of a standard parametrization of the $6\times 6$ flavor mixing matrix, and then discuss their implications on both leptogenesis and CP violation at low energy scales. A comparison with the weak-basis invariants of leptogenesis as proposed by Branco {\it et al} is also made.