title: One-point statistics of the Lagrangian displacement field

abstract: This document is an addendum to "One-point remapping of Lagrangian perturbation theory in the mildly non-linear regime of cosmic structure formation" (arXiv:1305.4642).


title: Cosmological Axion and neutrino mass constraints from Planck 2015 temperature and polarization data

abstract: Axions currently provide the most compelling solution to the strong CP problem. These particles may be copiously produced in the early universe, including via thermal processes. Therefore, relic axions constitute a hot dark matter component and their masses are strongly degenerate with those of the three active neutrinos, as they leave identical signatures in the different cosmological observables. In addition, thermal axions, while still relativistic states, also contribute to the relativistic degrees of freedom, parameterised via $N_{eff}$. We present the cosmological bounds on the relic axion and neutrino masses, exploiting the full Planck mission data, which include polarization measurements. In the mixed hot dark matter scenario explored here, we find the tightest and more robust constraint to date on the sum of the three active neutrino masses, $\sum m_\nu <0.136$ eV at $95\%$ CL, obtained in the well-known linear perturbation regime. The Planck Sunyaev-Zeldovich cluster number count data further tightens this bound, providing a $95\%$ CL upper limit of $\sum m_\nu <0.126$ eV in this very same mixed hot dark matter model, a value which is very close to the expectations in the inverted hierarchical neutrino mass scenario. Using this same combination of data sets we find the most stringent bound to date on the thermal axion mass, $m_a<0.529$ eV at $95\%$ CL.


title: A 4D-2D equivalence for large-N Yang-Mills theory

abstract: General string-theoretic considerations suggest that four-dimensional large-N gauge theories should have dual descriptions in terms of two-dimensional conformal field theories. However, for non-supersymmetric confining theories such as pure Yang-Mills theory, a long-standing challenge has been to explicitly show that such dual descriptions actually exist. In this paper, we consider the large-N limit of four-dimensional pure Yang-Mills theory compactified on a three-sphere in the solvable limit where the sphere radius is small compared to the strong length scale, and demonstrate that the confined-phase spectrum of this gauge theory coincides with the spectrum of an irrational two-dimensional conformal field theory.


title: Eccentric Jupiters via Disk-Planet Interactions

abstract: Numerical hydrodynamics calculations are performed to determine conditions under which giant planet eccentricities can be excited by parent gas disks. Unlike in other studies, Jupiter-mass planets are found to have their eccentricities amplified --- provided their orbits start eccentric. We disentangle the web of co-rotation, co-orbital, and external resonances to show that this finite-amplitude instability is consistent with that predicted analytically. Ellipticities can grow until they reach of order the disk's aspect ratio, beyond which the external Lindblad resonances that excite eccentricity are weakened by the planet's increasingly supersonic epicyclic motion. Forcing the planet to still larger eccentricities causes catastrophic eccentricity damping as the planet collides into gap walls. For standard parameters, the range of eccentricities for instability is modest; the threshold eccentricity for growth ($\sim$$0.04$) is not much smaller than the final eccentricity to which orbits grow ($\sim$$0.07$). If this threshold eccentricity can be lowered (perhaps by non-barotropic effects), and if the eccentricity driving documented here survives in 3D, it may robustly explain the low-to-moderate eccentricities $\lesssim 0.1$ exhibited by many giant planets (including Jupiter and Saturn), especially those without planetary or stellar companions.


title: An inhomogeneous polyharmonic Dirichlet problem with $L^p$ boundary data in the upper half-plane

abstract: In this paper, it is investigated for an inhomogeneous Dirichlet problem with $L^p$ boundary data for polyharmonic equation in the upper half-plane. By using higher order Poisson kernels and Pompeiu operators, which are respectively due to Du, Qian and Wang [Z. Du, T. Qian and J. Wang, {\it $L^{p}$ polyharmonic Dirichlet problems in regular domains II: The upper half plane}, J. Differential Equations 252(2012), 1789-1812] as well as Begehr and Hile [H. Begehr and G. Hile, {\it A hierarchy of integral operators}, Rocky Mountain J. Math. 27(1997), 669-706], it is given that the unique integral representation solution under some certain estimates.


title: RESOLVE Survey Photometry and Volume-limited Calibration of the Photometric Gas Fractions Technique

abstract: We present custom-processed UV, optical, and near-IR photometry for the RESOLVE survey, a volume-limited census of stellar, gas, and dynamical mass within two subvolumes of the nearby universe (RESOLVE-A and -B), complete down to baryonic mass ~10^9.1-9.3 Msun. In contrast to standard pipeline photometry (e.g., SDSS), our photometry uses optimal background subtraction, avoids suppressing color gradients, and includes systematic errors. With these improvements, we measure brighter magnitudes, larger radii, bluer colors, and a real increase in scatter around the red sequence. Combining stellar masses from our photometry with the RESOLVE-A HI mass census, we create volume-limited calibrations of the photometric gas fractions (PGF) technique, which predicts gas-to-stellar mass ratios (G/S) from galaxy colors and optional additional parameters. We analyze G/S-color residuals vs. potential third parameters, finding that axial ratio is the best independent and physically meaningful third parameter. We define a "modified color" from planar fits to G/S as a function of both color and axial ratio. In the complete galaxy population, upper limits on G/S bias linear and planar fits. We therefore model the entire PGF probability density field, enabling iterative statistical modeling of upper limits and prediction of full G/S probability distributions for individual galaxies, with two-component structure for red colors. We use the RESOLVE-B 21cm census to test several PGF calibrations, finding that most systematically under- or overestimate gas masses, but the full probability density method performs well.


title: Linear statistics of the circular $\beta$-ensemble, Stein's method, and circular Dyson Brownian motion

abstract: We study the linear statistics of the circular $\beta$-ensemble with a Stein's method argument, where the exchangeable pair is generated through circular Dyson Brownian motion. This generalizes previous results obtained in such a way for the CUE and provides a novel approach for studying linear statistics of $\beta$-ensembles. This approach allows studying simultaneously a collection of linear statistics whose number grows with the dimension of the ensemble. Also this approach requires estimating only low order moments of the linear statistics.


title: Gamma-Ray Bursts as Sources of Strong Magnetic Fields

abstract: Gamma-Ray Bursts (GRBs) are the strongest explosions in the Universe, which due to their extreme character likely involve some of the strongest magnetic fields in nature. This review discusses the possible roles of magnetic fields in GRBs, from their central engines, through the launching, acceleration and collimation of their ultra-relativistic jets, to the dissipation and particle acceleration that power their $\gamma$-ray emission, and the powerful blast wave they drive into the surrounding medium that generates their long-lived afterglow emission. An emphasis is put on particular areas in which there have been interesting developments in recent years.


title: $K\to\pi\nu\bar\nu$ and $\epsilon'/\epsilon$ in Simplified New Physics Models

abstract: The decays $K^+\to\pi^+\nu\bar\nu$ and $K_L\to\pi^0\nu\bar\nu$, being the theoretically cleanest rare decays of mesons, are very sensitive probes of New Physics. In view of the excellent prospects of reaching the Standard Model sensitivity for $K^+\to\pi^+\nu\bar\nu$ by the NA62 experiment at CERN and for $K_L\to\pi^0\nu\bar\nu$ by the KOTO experiment at J-PARC, we study them in the simplest extensions of the SM in which stringent correlations between these two decays and other flavour observables are present. We first consider simple models with tree-level Z and Z' contributions in which either MFV or a $U(2)^3$ symmetry is imposed on the quark flavour-violating couplings. We then compare the resulting correlations with those present in generic models in which the latter couplings are arbitrary, subject to constraints from $\Delta F=2$ processes, electroweak and collider data. Of particular interest are the correlations with $\epsilon'/\epsilon$ and $K_L\to\mu^+\mu^-$ which limit the size of NP contributions to $K^+\to\pi^+\nu\bar\nu$ and $K_L\to\pi^0\nu\bar\nu$, depending on the Dirac structure of couplings and the relevant operators. But in MFV also the constraint from $B_s\to\mu^+\mu^-$ turns out to be important. We take into account the recent results from lattice QCD and large N approach that indicate $\epsilon'/\epsilon$ in the SM to be significantly below the data. While in many models the enhancement of $\epsilon'/\epsilon$ implies a suppression of $K_L\to\pi^0\nu\bar\nu$, we present two models in which these observables can be simultaneously enhanced relative to SM predictions. A correlation between $K^+\to\pi^+\nu\bar\nu$ and $B\to K(K^*)\mu^+\mu^-$, found by us in the simple models considered here, should be of interest for NA62 and LHCb experimentalists at CERN in the coming years. The one with $B\to K(K^*)\nu\bar\nu$ will be tested at Belle II.


title: Higgsophilic gauge bosons and monojets at the LHC

abstract: We consider a generic framework where the Standard Model (SM) coexists with a hidden sector endowed with some additional gauge symmetry. When this symmetry is broken by a scalar field charged under the hidden gauge group, the corresponding scalar boson generally mixes with the SM Higgs boson. In addition, massive hidden gauge bosons emerge and via the mixing, the observed Higgs-like mass eigenstate is the only known particle that couples to these hidden gauge bosons directly. We study the LHC monojet signatures of this scenario and the corresponding constraints on the gauge coupling of the hidden gauge group as well as the mixing of the Higgs scalars.


title: On the logarithm of the characteristic polynomial of the Ginibre ensemble

abstract: We prove a slightly sharper version of a result of Rider and Vir\'ag who proved that after centering, the logarithm of the absolute value of the characteristic polynomial of the Ginibre ensemble converges in law to the Gaussian Free Field on the unit disk with free boundary conditions (and continued harmonically outside of it). Using their results on the linear statistics of the Ginibre ensemble, we prove a result that removes the ambiguity concerning the "constant part" or zero mode of the field.


title: Range corrections in Proton Halo Nuclei

abstract: We analyze the effects of finite-range corrections in halo effective field theory for S-wave proton halo nuclei. We calculate the charge radius to next-to-leading order and the astrophysical S-factor for low-energy proton capture to fifth order in the low-energy expansion. As an application, we confront our results with experimental data for the S-factor for proton capture on Oxygen-16 into the excited $1/2^+$ state of Fluorine-17. Our low-energy theory is characterized by a systematic low-energy expansion, which can be used to quantify an energy-dependent model error to be utilized in data fitting. Finally, we show that the existence of proton halos is suppressed by the need for two fine tunings in the underlying theory.


title: The QUEST-La Silla AGN Variability Survey

abstract: We present the characterization and initial results from the QUEST-La Silla AGN variability survey. This is an effort to obtain well sampled optical light curves in extragalactic fields with unique multi-wavelength observations. We present photometry obtained from 2010 to 2012 in the XMM-COSMOS field, which was observed over 150 nights using the QUEST camera on the ESO-Schmidt telescope. The survey uses a broadband filter, the $Q$-band, similar to the union of the $g$ and the $r$ filters, achieving an intrinsic photometric dispersion of $0.05$ mag, and a systematic error of $0.05$ mag in the zero-point. Since some detectors of the camera show significant non-linearity, we use a linear correlation to fit the zero-points as a function of the instrumental magnitudes, thus obtaining a good correction to the non-linear behavior of these detectors. We obtain good photometry to an equivalent limiting magnitude of $r\sim 20.5$. Studying the optical variability of X-ray detected sources in the XMM-COSMOS field, we find that the survey is $\sim75-80$% complete to magnitudes $r\sim20$, and $\sim67$% complete to a magnitude $r\sim21$. The determination and parameterization of the structure function (${SF}_{norm}(\tau) = A \tau^{\gamma}$) of the variable sources shows that most BL AGN are characterized by $A > 0.1$ and $\gamma > 0.025$. It is further shown that variable NL AGN and GAL sources occupying the same parameter space in $A$ and $\gamma$ are very likely to correspond to obscured or low luminosity AGN. Our samples are, however, small, and we expect to revisit these results using larger samples with longer light curves obtained as part of our ongoing survey.


title: Design principles for shift current photovoltaics

abstract: While the basic principles and limitations of conventional solar cells are well understood, relatively little attention has gone toward maximizing the potential efficiency of photovoltaic devices based on shift currents. In this work, we outline simple design principles for the optimization of shift currents for frequencies near the band gap, derived from the analysis of a general effective model. The use of a novel sum rule allows us to express the band edge shift current in terms of a few model parameters and to show it depends explicitly on wavefunctions via Berry connections in addition to standard band structure. We use our approach to identify two new classes of shift current photovoltaics, ferroelectric polymer films and single-layer orthorhombic monochalcogenides such as GeS. We introduce tight-binding models for these systems, and show that they exhibit the largest shift current responsivities at the band edge reported so far. Moreover, exploring the parameter space of these models we find photoresponsivities that can exceed $100$ mA/W. Our results show how the study of the shift current via effective models allows one to improve the possible efficiency of devices based on this mechanism and better grasp their potential to compete with conventional solar cells.


title: Multipole Expansions of Aggregate Charge: How Far to Go?

abstract: Aggregates immersed in a plasma or radiative environment will have charge distributed over their extended surface. Previous studies have modeled the aggregate charge using the monopole and dipole terms of a multipole expansion, with results indicating that the dipole-dipole interactions play an important role in increasing the aggregation rate and altering the morphology of the resultant aggregates. This study examines the effect that including the quadrupole terms has on the dynamics of aggregates interacting with each other and the confining electric fields in laboratory experiments. Results are compared to modeling aggregates as a collection of point charges located at the center of each spherical monomer comprising the aggregate.


title: A Short Note on Nonlinear Games on a Grid

abstract: Players are arranged on a regular lattice and coded with a specific strategy for a pre-defined game. Each player sums their payoffs from playing the game with each of their neighbors, and then adopts the strategy of the most successful player in the neighborhood. Dynamics are thus determined by the relative ranks of all possible payoff sums. Linear sums of payoffs, however, generate only a small proportion of all possible rankings. Allowing for any ranking (motivated by Conway's Game of Life) creates a rich array of dynamics.


title: AMS-02 electrons and positrons: astrophysical interpretation and Dark Matter constraints

abstract: We present here a quantitative analysis of the recent AMS-02 data with the purpose of investigating the interplay between astrophysical sources and Dark Matter in their interpretation. First, we show that AMS-02 leptonic measurements are in a remarkably good agreement with the hypothesis that all electrons and positrons are the outcome of primary or secondary astrophysical processes. Then, we add Dark Matter to the picture, in order to establish which are the informations on its annihilation cross section (or lifetime) that can be inferred by fitting AMS-02 data within a scenario in which Dark Matter and astrophysical sources jointly contribute to the different leptonic observables. In particular, by performing a Markov Chain Monte Carlo sampling of the parameters space of the theory, we attempt at characterizing the significance of a possible Dark Matter contribution to the observed data and we derive robust upper limits on the Dark Matter annihilation/decay rate.


title: Non-adiabatic dynamics of superfluid spin-orbit coupled degenerate Fermi gas

abstract: We study a problem of non-adiabatic superfluid dynamics of spin-orbit coupled neutral fermions in two spatial dimensions. We focus on the two cases when the out-of-equilibrium conditions are initiated either by a sudden change of the pairing strength or the population imbalance. For the case of zero population imbalance and within the mean-field approximation, the non-adiabatic evolution of the pairing amplitude in a collisionless regime can be found exactly by employing the method of Lax vector construction. Our main finding is that the presence of the spin-orbit coupling significantly reduces the region in the parameter space where a steady state with periodically oscillating pairing amplitude is realized. For the collisionless dynamics initiated by a sudden disappearance of the population imbalance we obtain an exact expression for the steady state pairing amplitude. In the general case of quenches to a state with finite population imbalance we show that there is a region in the steady state phase diagram where at long times the pairing amplitude dynamics is governed by the reduced number of the equations of motion in full analogy with exactly integrable case.


title: Orbital ordering of Ir-t2g states in the double perovskite Sr2CeIrO6

abstract: The electronic and magnetic properties of monoclinic double perovskite Sr$_2$CeIrO$_6$ were examined based on both experiments and first-principles density functional theory calculations. From the calculations we conclude that low-spin-state Ir$^{4+}$ (5$\textit{d}^5$, S=$\frac{1}{2}$) shows t$_{2g}$ band derived anti-ferro type orbital ordering implying alternating occupations of $\textit{d}_{yz}$ and $\textit{d}_{xz}$ orbitals at the two symmetrically independent Ir sites. The experimentally determined Jahn-Teller type distorted monoclinic structure is consistent with the proposed orbital ordering picture. Surprisingly, the Ir-5$\textit{d}$ orbital magnetic moment was found to be $\approx$ 1.3 times larger than the spin magnetic moment. The experimentally observed AFM-insulating states are consistent with the calculations. Both electron-electron correlation and spin-orbit coupling (SOC) are required to drive the experimentally observed AFM-insulating ground state. This single active site double perovskite provides a rare platform with a prototype geometrically frustrated fcc lattice where among the different degrees of freedom (i.e spin, orbital, and lattice), spin-orbit interaction and Coulomb correlation energy scales compete and interact with each other.


title: Spectral effects of dispersive mode coupling in driven mesoscopic systems

abstract: Nanomechanical and other mesoscopic vibrational systems typically have several nonlinearly coupled modes with different frequencies and with long lifetime. We consider the power spectrum of one of these modes. Thermal fluctuations of the modes nonlinearly coupled to it lead to fluctuations of the mode frequency and thus to the broadening of its spectrum. However, the coupling-induced broadening is partly masked by the spectral broadening due to the mode decay. We show that the mode coupling can be identified and characterized using the change of the spectrum by weak resonant driving. We develop a path-integral method of averaging over the non-Gaussian frequency fluctuations from nonresonant (dispersive) mode coupling. The shape of the driving-induced power spectrum depends on the interrelation between the coupling strength and the decay rates of the modes involved. The characteristic features of the spectrum are analyzed in the limiting cases. We also find the power spectrum of a driven mode where the mode has internal nonlinearity. Unexpectedly, the power spectra induced by the intra- and inter-mode nonlinearities are qualitatively different. The analytical results are in excellent agreement with the numerical simulations.


title: On the basis-set extrapolation

abstract: A possible solution for the problem of memory-size and computer-time, is the extrapolation of basis-set$^1$. This extrapolation has two exponents $\alpha$ and $\beta$, corresponding to the HF (reference energy) and the energy of correlations (EC), respectively. For a given system, the exponents are taken as constant$^2$, and potential energy surfaces (PES) are generated. We have found that the values of $\alpha$ and $\beta$ are not constant, but vary from position to position in the system. How to deal with such situation and get very accurate PES, is discussed.


title: Asymptotic Mutual Information for the Two-Groups Stochastic Block Model

abstract: We develop an information-theoretic view of the stochastic block model, a popular statistical model for the large-scale structure of complex networks. A graph $G$ from such a model is generated by first assigning vertex labels at random from a finite alphabet, and then connecting vertices with edge probabilities depending on the labels of the endpoints. In the case of the symmetric two-group model, we establish an explicit `single-letter' characterization of the per-vertex mutual information between the vertex labels and the graph. The explicit expression of the mutual information is intimately related to estimation-theoretic quantities, and --in particular-- reveals a phase transition at the critical point for community detection. Below the critical point the per-vertex mutual information is asymptotically the same as if edges were independent. Correspondingly, no algorithm can estimate the partition better than random guessing. Conversely, above the threshold, the per-vertex mutual information is strictly smaller than the independent-edges upper bound. In this regime there exists a procedure that estimates the vertex labels better than random guessing.

categories: cs.IT cond-mat.stat-mech math.IT math.ST stat.TH


title: Simulating thermal boundary conditions of spin-lattice models with weighted averages

abstract: Thermal boundary conditions has played an increasingly important role in revealing the nature of short-range spin glasses and is likely to be relevant also for other disordered systems. Diffusion method initializing each replica with a random boundary condition at the infinite temperature using population annealing has been used in recent large-scale simulations. However, the efficiency of this method can be greatly suppressed because of temperature chaos. For example, most samples have some boundary conditions that are completely eliminated from the population in the process of annealing at low temperatures. In this work, I study a weighted average method to solve this problem by simulating each boundary conditions separately and collect data using weighted averages. The efficiency of the two methods are studied using both population annealing and parallel tempering, showing that the weighted average method is more efficient and accurate.


title: Molecular line formation in the extremely metal-poor star BD+44 493

abstract: Molecular absorption lines of OH (99 lines) and CH (105 lines) are measured for the carbon-enhanced metal-poor star BD+44 493 with [Fe/H]=-3.8. The abundances of oxygen and carbon determined from individual lines based on an 1D-LTE analysis exhibit significant dependence on excitation potentials of the lines; d log e/d chi ~ -0.15 - -0.2 dex/eV, where e and chi are elemental abundances from individual spectral lines and their excitation potentials, respectively. The dependence is not explained by the uncertainties of stellar parameters, but suggests that the atmosphere of this object possesses a cool layer that is not reproduced by the 1D model atmosphere. This result agrees with the predictions by 3D model calculations. Although absorption lines of neutral iron exhibit similar trend, it is much weaker than found in molecular lines and that predicted by 3D LTE models.


title: Stein's method for functions of multivariate normal random variables

abstract: By the continuous mapping theorem, if a sequence of $d$-dimensional random vectors $(\mathbf{W}_n)_{n\geq1}$ converges in distribution to a multivariate normal random variable $\Sigma^{1/2}\mathbf{Z}$, then the sequence of random variables $(g(\mathbf{W}_n))_{n\geq1}$ converges in distribution to $g(\Sigma^{1/2}\mathbf{Z})$ if $g:\mathbb{R}^d\rightarrow\mathbb{R}$ is continuous. In this paper, we develop Stein's method for the problem of deriving explicit bounds on the distance between $g(\mathbf{W}_n)$ and $g(\Sigma^{1/2}\mathbf{Z})$ with respect to smooth probability metrics. We obtain several bounds for the case that the $j$-component of $\mathbf{W}_n$ is given by $W_{n,j}=\frac{1}{\sqrt{n}}\sum_{i=1}^nX_{ij}$, where the $X_{ij}$ are independent. In particular, provided $g$ satisfies certain differentiability and growth rate conditions, we obtain an order $n^{-(p-1)/2}$ bound, for smooth test functions, if the first $p$ moments of the $X_{ij}$ agree with those of the normal distribution. If $p$ is an even integer and $g$ is an even function, this convergence rate can be improved further to order $n^{-p/2}$. These convergence rates are shown to be of optimal order. We apply our general bounds to some examples, which include the distributional approximation of asymptotically chi-square distributed statistics; the approximation of expectations of smooth functions of binomial and Poisson random variables; rates of convergence in the delta method; and a quantitative variance-gamma approximation of the $D_2^*$ statistic for alignment-free sequence comparison in the case of binary sequences.


title: Multiple Outlier Detection in Samples with Exponential & Pareto Tails: Redeeming the Inward Approach & Detecting Dragon Kings

abstract: We consider the detection of multiple outliers in Exponential and Pareto samples -- as well as general samples that have approximately Exponential or Pareto tails, thanks to Extreme Value Theory. It is shown that a simple "robust" modification of common test statistics makes inward sequential testing -- formerly relegated within the literature since the introduction of outward testing -- as powerful as, and potentially less error prone than, outward tests. Moreover, inward testing does not require the complicated type 1 error control of outward tests. A variety of test statistics, employed in both block and sequential tests, are compared for their power and errors, in cases including no outliers, dispersed outliers (the classical slippage alternative), and clustered outliers (a case seldom considered). We advocate a density mixture approach for detecting clustered outliers. Tests are found to be highly sensitive to the correct specification of the main distribution (Exponential/Pareto), exposing high potential for errors in inference. Further, in five case studies -- financial crashes, nuclear power generation accidents, stock market returns, epidemic fatalities, and cities within countries -- significant outliers are detected and related to the concept of "Dragon King" events, defined as meaningful outliers of unique origin.


title: The Complexity of Some Combinatorial Puzzles

abstract: We show that the decision versions of the puzzles Knossos and The Hour-Glass are complete for NP.


title: Diffraction limited focusing and routing of gap plasmons by a metal-dielectric-metal lens

abstract: Passive optical elements can play key roles in photonic applications such as plasmonic integrated circuits. Here we experimentally demonstrate passive gap-plasmon focusing and routing in two-dimensions. This is accomplished using a high numerical-aperture metal-dielectric-metal lens incorporated into a planar-waveguide device. Fabrication via metal sputtering, oxide deposition, electron- and focused-ion- beam lithography, and argon ion-milling is reported on in detail. Diffraction-limited focusing is optically characterized by sampling out-coupled light with a microscope. The measured focal distance and full-width-half-maximum spot size agree well with the calculated lens performance. The surface plasmon polariton propagation length is measured by sampling light from multiple out-coupler slits.


title: Lie n-algebras of BPS charges

abstract: We uncover higher algebraic structures on Noether currents and BPS charges. It is known that equivalence classes of conserved currents form a Lie algebra. We show that at least for target space symmetries of higher parameterized WZW-type sigma-models this naturally lifts to a Lie (p+1)-algebra structure on the Noether currents themselves. Applied to the Green-Schwarz-type action functionals for super p-brane sigma-models this yields super Lie (p+1)-algebra refinements of the traditional BPS brane charge extensions of supersymmetry algebras. We discuss this in the generality of higher differential geometry, where it applies also to branes with (higher) gauge fields on their worldvolume. Applied to the M5-brane sigma-model we recover and properly globalize the M-theory super Lie algebra extension of 11-dimensional superisometries by 2-brane and 5-brane charges. Passing beyond the infinitesimal Lie theory we find cohomological corrections to these charges in higher analogy to the familiar corrections for D-brane charges as they are lifted from ordinary cohomology to twisted K-theory. This supports the proposal that M-brane charges live in a twisted cohomology theory.


title: Enhanced Casimir effect for doped graphene

abstract: We analyze the Casimir interaction of doped graphene. To this end we derive a simple expression for the finite temperature polarization tensor with a chemical potential. It is found that doping leads to a strong enhancement of the Casimir force reaching almost $60\%$ in quite realistic situations. This result should be important for planning and interpreting the Casimir measurements, especially taking into account that the Casimir interaction of undoped graphene is rather weak.

categories: cond-mat.mes-hall cond-mat.other hep-th quant-ph


title: Android Tapjacking Vulnerability

abstract: Android is an open source mobile operating system that is developed mainly by Google. It is used on a significant portion of mobile devices worldwide. In this paper, I will be looking at an attack commonly known as tapjacking. I will be taking the attack apart and walking through each individual step required to implement the attack. I will then explore the various payload options available to an attacker. Lastly, I will touch on the feasibility of the attack as well as mitigation strategies.


title: Averaged projections, angles between groups and strengthening of property (T)

abstract: Using the method of averaged projections and introducing a new notion of angles between projections, we establish a criterion for a certain type of strengthening of property (T) (which is weaker than the notion of strong Banach property (T) introduced by Lafforgue). We also derive several applications regarding fixed point properties and Banach expanders and give examples of these applications.


title: Sampling motif-constrained ensembles of networks

abstract: The statistical significance of network properties is conditioned on null models which satisfy spec- ified properties but that are otherwise random. Exponential random graph models are a principled theoretical framework to generate such constrained ensembles, but which often fail in practice, either due to model inconsistency, or due to the impossibility to sample networks from them. These problems affect the important case of networks with prescribed clustering coefficient or number of small connected subgraphs (motifs). In this paper we use the Wang-Landau method to obtain a multicanonical sampling that overcomes both these problems. We sample, in polynomial time, net- works with arbitrary degree sequences from ensembles with imposed motifs counts. Applying this method to social networks, we investigate the relation between transitivity and homophily, and we quantify the correlation between different types of motifs, finding that single motifs can explain up to 60% of the variation of motif profiles.


title: Six operations on dg enhancements of derived categories of sheaves

abstract: We lift Grothendieck-Verdier-Spaltenstein's six functor formalism for derived categories of sheaves on ringed spaces over a field to differential graded enhancements. Our main tools come from enriched model category theory.


title: Frustrated fragmentation and re-aggregation in nuclei: a non-equilibrium description in spallation

abstract: Heavy nuclei bombarded with protons and deuterons in the 1 GeV range have a large probability of undergoing a process of evaporation and fission; less frequently, the prompt emission of few intermediate-mass fragments can also be observed. We employ a recently developed microscopic approach, based on the Boltzmann-Langevin transport equation, to investigate the role of mean-field dynamics and phase-space fluctuations in these reactions. We find that the formation of few IMF's can be confused with asymmetric fission when relying on yield observables, but it can not be assimilated to the statistical decay of a compound nucleus when analysing the dynamics and kinematic observables: it can be described as a fragmentation process initiated by phase-space fluctuations, and successively frustrated by the mean-field resilience. As an extreme situation, which corresponds to non-negligible probability, the number of fragments in the exit channel reduces to two, so that fission-like events are obtained by re-aggregation processes. This interpretation, inspired by nuclear-spallation experiments, can be generalised to heavy-ion collisions from Fermi to relativistic energies, for situations when the system is closely approaching the fragmentation threshold.


title: Multi-photon Scattering Theory and Generalized Master Equations

abstract: We develop a scattering theory to investigate the multi-photon transmission in a one-dimensional waveguide in the presence of quantum emitters. It is based on a path integral formalism, uses displacement transformations, and does not require the Markov approximation. We obtain the full time-evolution of the global system, including the emitters and the photonic field. Our theory allows us to compute the transition amplitude between arbitrary initial and final states, as well as the S-matrix of the asymptotic in- and out- states. For the case of few incident photons in the waveguide, we also re-derive a generalized master equation in the Markov limit. We compare the predictions of the developed scattering theory and that with the Markov approximation. We illustrate our methods with five examples of few-photon scattering: (i) by a two-level emitter, (ii) in the Jaynes-Cummings model; (iii) by an array of two-level emitters; (iv) by a two-level emitter in the half-end waveguide; (v) by an array of atoms coupled to Rydberg levels. In the first two, we show the application of the scattering theory in the photon scattering by a single emitter, and examine the correctness of our theory with the well-known results. In the third example, we analyze the condition of the Markov approximation for the photon scattering in the array of emitters. In the forth one, we show how a quantum emitter can generate entanglement of out-going photons. Finally, we highlight the interplay between the phenomenon of electromagnetic-induced transparency and the Rydberg interaction, and show how this results in a rich variety of possibilities in the quantum statistics of the scattering photons.


title: PSC: A Pattern-Based Temporal and Spatial Crowdsourcing Platform to Improve Performance, Reliability, and Privacy

abstract: In this paper, we study a novel spatial crowdsourcing system where the workers' time availabilities and their spatial locations are known a priori. Consequently, the tasks assignment to workers is performed not only based on the current location of the human workers and the tasks available in the region, but also based on the availability of the workers during the specific times that a given task should be accepted, processed, and completed. Having the system determine the daily pattern of the workers (either by predefined questionnaires when the workers register, or by archiving data from the worker's mobile devices, or by on the road and real-time entered status data) eliminates many unsuccessful task assignments and therefore significantly increases the efficiency of the system. In the original Spatial Crowdsourcing (SC) framework, the SC-server optimizes the task assignment locally at every instance of time and whenever a new task, or a new worker, enters the system. Our new framework (PSC), on the other hand, allows the users to enter their daily routine, and temporal, spatial, and availability patterns a priori. This makes the system much more stable and pattern-opportunistic. The PSC servers can focus on receiving and archiving new entries (e.g., workers, tasks, and their criteria) during busy times (e.g., when there are many new entries in the system), and can focus on optimization and computations during quiet times (e.g., when there are fewer new entries in the system). Having the task optimization process happen during quiet times, and when there are few changes to the system, makes the performance more stable and reliable. It also allows the PSC system to have a global view of the system and and perform global optimizations to improve the performance.


title: Block Iterative Reweighted Algorithms for Super-Resolution of Spectrally Sparse Signals

abstract: We propose novel algorithms that enhance the performance of recovering unknown continuous-valued frequencies from undersampled signals. Our iterative reweighted frequency recovery algorithms employ the support knowledge gained from earlier steps of our algorithms as block prior information to enhance frequency recovery. Our methods improve the performance of the atomic norm minimization which is a useful heuristic in recovering continuous-valued frequency contents. Numerical results demonstrate that our block iterative reweighted methods provide both better recovery performance and faster speed than other known methods.


title: Magnetic Field Amplification via Protostellar Disc Dynamos

abstract: We numerically investigate the generation of a magnetic field in a protostellar disc via an $\alpha \Omega$-dynamo and the resulting magnetohydrodynamic (MHD) driven outflows. We find that for small values of the dimensionless dynamo parameter $\alpha_d$ the poloidal field grows exponentially at a rate $\sigma \propto \Omega_K \sqrt{\alpha_d}$, before saturating to a value $\propto \sqrt{\alpha_d}$. The dynamo excites dipole and octupole modes, but quadrupole modes are suppressed, because of the symmetries of the seed field. Initial seed fields too weak to launch MHD outflows are found to grow sufficiently to launch winds with observationally relevant mass fluxes of order $10^{-9} M_{\odot}/\rm{yr}$ for T Tauri stars. This suggests $\alpha \Omega$-dynamos may be responsible for generating magnetic fields strong enough to launch observed outflows.


title: Bounding the gap between the McCormick relaxation and the convex hull for bilinear functions

abstract: We investigate how well the graph of a bilinear function $b:[0,1]^n\to\mathbb{R}$ can be approximated by its McCormick relaxation. In particular, we are interested in the smallest number $c$ such that the difference between the concave upper bounding and convex lower bounding functions obtained from the McCormick relaxation approach is at most $c$ times the difference between the concave and convex envelopes. Answering a question of Luedtke, Namazifar and Linderoth, we show that this factor $c$ cannot be bounded by a constant independent of $n$. More precisely, we show that for a random bilinear function $b$ we have asymptotically almost surely $c\geqslant\sqrt n/4$. On the other hand, we prove that $c\leqslant 600\sqrt{n}$, which improves the linear upper bound proved by Luedtke, Namazifar and Linderoth. In addition, we present an alternative proof for a result of Misener, Smadbeck and Floudas characterizing functions $b$ for which the McCormick relaxation is equal to the convex hull.


title: Field-dependent surface resistance of a superconducting RF cavity caused by surface impurity

abstract: Q-slope issue, which is caused by the field dependent surface resistance, puzzled people for a long time in SRF fields. In this paper, we related the Q-slope with surface treatments; and proposed a surface-impurity model to explain the field-dependent of surface resistance of SRF cavities. Eighteen cavity-test results have been analyzed to examine the model. These cavities were treated by different recipes: Nitrogen-doping; BCP and HF-rinsing; EP with 120{\deg}C baking; and EP without 120{\deg}C baking. The performance of these cavities, which is normally represented by cavity quality factor versus accelerating gradient or surface magnetic field curves (Q0 vs. Eacc or Q0 vs. B), has included all types of Q-slope, such as Low-field Q-slope, Medium-field Q-slope, and Anti-Q-slope. The data fittings are quite successful; the fitting results will be shown. The model can be used to evaluate the effectiveness of the surface treatments. At last, the paper discussed the way to build a high-Q high-gradient SRF cavity.


title: Bidirectional PageRank Estimation: From Average-Case to Worst-Case

abstract: We present a new algorithm for estimating the Personalized PageRank (PPR) between a source and target node on undirected graphs, with sublinear running-time guarantees over the worst-case choice of source and target nodes. Our work builds on a recent line of work on bidirectional estimators for PPR, which obtained sublinear running-time guarantees but in an average-case sense, for a uniformly random choice of target node. Crucially, we show how the reversibility of random walks on undirected networks can be exploited to convert average-case to worst-case guarantees. While past bidirectional methods combine forward random walks with reverse local pushes, our algorithm combines forward local pushes with reverse random walks. We also discuss how to modify our methods to estimate random-walk probabilities for any length distribution, thereby obtaining fast algorithms for estimating general graph diffusions, including the heat kernel, on undirected networks.


title: Simultaneous determination of two unknown thermal coefficients through a mushy zone model with an overspecified convective boundary condition

abstract: The simultaneous determination of two unknown thermal coefficients for a semi-infinite material under a phase-change process with a mushy zone according to the Solomon-Wilson-Alexiades model is considered. The material is assumed to be initially liquid at its melting temperature and it is considered that the solidification process begins due to a heat flux imposed at the fixed face. The associated free boundary value problem is overspecified with a convective boundary condition with the aim of the simultaneous determination of the temperature of the solid region, one of the two free boundaries of the mushy zone and two thermal coefficients among the latent heat by unit mass, the thermal conductivity, the mass density, the specific heat and the two coefficients that characterize the mushy zone. The another free boundary of the mushy zone, the bulk temperature and the heat flux and heat transfer coefficients at the fixed face are assumed to be known. According to the choice of the unknown thermal coefficients, fifteen phase-change problems arise. The study of all of them is presented and explicit formulae for the unknowns are given, beside necessary and sufficient conditions on data in order to obtain them. Formulae for the unknown thermal coefficients, with their corresponding restrictions on data, are summarized in a table.


title: Variations on Narrow Dots-and-Boxes and Dots-and-Triangles

abstract: We verify a conjecture of Nowakowski and Ottaway that closed $1 \times n$ Dots-and-Triangles is a first-player win when $n \neq 2$. We also prove that in both the open and closed $1 \times n$ Dots-and-Boxes games where $n$ is even, the first player can guarantee a tie.


title: Setting Lower Bounds on Truthfulness

abstract: We present and discuss general techniques for proving inapproximability results for truthful mechanisms. We make use of these techniques to prove lower bounds on the approximability of several non-utilitarian multi-parameter problems. In particular, we demonstrate the strength of our techniques by exhibiting a lower bound of $2-\frac{1}{m}$ for the scheduling problem with unrelated machines (formulated as a mechanism design problem in the seminal paper of Nisan and Ronen on Algorithmic Mechanism Design). Our lower bound applies to truthful randomized mechanisms (disregarding any computational assumptions on the running time of these mechanisms). Moreover, it holds even for the weaker notion of truthfulness for randomized mechanisms -- i.e., truthfulness in expectation. This lower bound nearly matches the known $\frac{7}{4}$ (randomized) truthful upper bound for the case of two machines (a non-truthful FPTAS exists). No lower bound for truthful randomized mechanisms in multi-parameter settings was previously known. We show an application of our techniques to the workload-minimization problem in networks. We prove our lower bounds for this problem in the inter-domain routing setting presented by Feigenbaum, Papadimitriou, Sami, and Shenker. Finally, we discuss several notions of non-utilitarian "fairness" (Max-Min fairness, Min-Max fairness, and envy minimization). We show how our techniques can be used to prove lower bounds for these notions.


title: The two out of three property in ind-categories and a convenient model category of spaces

abstract: In [BaSc2], the author and Tomer Schlank introduced a much weaker homotopical structure than a model category, which we called a "weak cofibration category". We further showed that a small weak cofibration category induces in a natural way a model category structure on its indcategory, provided the ind-category satisfies a certain two out of three property. The main purpose of this paper is to give sufficient intrinsic conditions on a weak cofibration category for this two out of three property to hold. We consider an application to the category of compact metrizable spaces, and thus obtain a model structure on its ind-category. This model structure is defined on a category that is closely related to a category of topological spaces and has many convenient formal properties. A more general application of these results, to the (opposite) category of separable $C^*$-algebras, appears in a paper by the author, Michael Joachim and Snigdhayan Mahanta [BJM].


title: Commutativity

abstract: We describe a general framework for notions of commutativity based on enriched category theory. We extend Eilenberg and Kelly's tensor product for categories enriched over a symmetric monoidal base to a tensor product for categories enriched over a normal duoidal category; using this, we re-find notions such as the commutativity of a finitary algebraic theory or a strong monad, the commuting tensor product of two theories, and the Boardman-Vogt tensor product of symmetric operads.


title: Beyond Gauss: Image-Set Matching on the Riemannian Manifold of PDFs

abstract: State-of-the-art image-set matching techniques typically implicitly model each image-set with a Gaussian distribution. Here, we propose to go beyond these representations and model image-sets as probability distribution functions (PDFs) using kernel density estimators. To compare and match image-sets, we exploit Csiszar f-divergences, which bear strong connections to the geodesic distance defined on the space of PDFs, i.e., the statistical manifold. Furthermore, we introduce valid positive definite kernels on the statistical manifolds, which let us make use of more powerful classification schemes to match image-sets. Finally, we introduce a supervised dimensionality reduction technique that learns a latent space where f-divergences reflect the class labels of the data. Our experiments on diverse problems, such as video-based face recognition and dynamic texture classification, evidence the benefits of our approach over the state-of-the-art image-set matching methods.


title: Surface Passivation in Empirical Tight Binding

abstract: Empirical Tight Binding (TB) methods are widely used in atomistic device simulations. Existing TB methods to passivate dangling bonds fall into two categories: 1) Method that explicitly includes passivation atoms is limited to passivation with atoms and small molecules only. 2) Method that implicitly incorporates passivation does not distinguish passivation atom types. This work introduces an implicit passivation method that is applicable to any passivation scenario with appropriate parameters. This method is applied to a Si quantum well and a Si ultra-thin body transistor oxidized with SiO2 in several oxidation configurations. Comparison with ab-initio results and experiments verifies the presented method. Oxidation configurations that severely hamper the transistor performance are identified. It is also shown that the commonly used implicit H atom passivation overestimates the transistor performance.

categories: cond-mat.mtrl-sci cond-mat.mes-hall math-ph math.MP physics.comp-ph


title: Minimizing the Probability of Lifetime Drawdown under Constant Consumption

abstract: We assume that an individual invests in a financial market with one riskless and one risky asset, with the latter's price following geometric Brownian motion as in the Black-Scholes model. Under a constant rate of consumption, we find the optimal investment strategy for the individual who wishes to minimize the probability that her wealth drops below some fixed proportion of her maximum wealth to date, the so-called probability of {\it lifetime drawdown}. If maximum wealth is less than a particular value, $m^*$, then the individual optimally invests in such a way that maximum wealth never increases above its current value. By contrast, if maximum wealth is greater than $m^*$ but less than the safe level, then the individual optimally allows the maximum to increase to the safe level.


title: Asymptotics of viscosity solutions to some doubly nonlinear parabolic equations

abstract: We study asymptotic decay rates of viscosity solutions to some doubly nonlinear parabolic equations, including Trudinger's equation. We also prove a Phragm\'en-Lindel\"of type result and show its optimality.


title: Importing SMT and Connection proofs as expansion trees

abstract: Different automated theorem provers reason in various deductive systems and, thus, produce proof objects which are in general not compatible. To understand and analyze these objects, one needs to study the corresponding proof theory, and then study the language used to represent proofs, on a prover by prover basis. In this work we present an implementation that takes SMT and Connection proof objects from two different provers and imports them both as expansion trees. By representing the proofs in the same framework, all the algorithms and tools available for expansion trees (compression, visualization, sequent calculus proof construction, proof checking, etc.) can be employed uniformly. The expansion proofs can also be used as a validation tool for the proof objects produced.


title: A framework for proof certificates in finite state exploration

abstract: Model checkers use automated state exploration in order to prove various properties such as reachability, non-reachability, and bisimulation over state transition systems. While model checkers have proved valuable for locating errors in computer models and specifications, they can also be used to prove properties that might be consumed by other computational logic systems, such as theorem provers. In such a situation, a prover must be able to trust that the model checker is correct. Instead of attempting to prove the correctness of a model checker, we ask that it outputs its "proof evidence" as a formally defined document--a proof certificate--and that this document is checked by a trusted proof checker. We describe a framework for defining and checking proof certificates for a range of model checking problems. The core of this framework is a (focused) proof system that is augmented with premises that involve "clerk and expert" predicates. This framework is designed so that soundness can be guaranteed independently of any concerns for the correctness of the clerk and expert specifications. To illustrate the flexibility of this framework, we define and formally check proof certificates for reachability and non-reachability in graphs, as well as bisimulation and non-bisimulation for labeled transition systems. Finally, we describe briefly a reference checker that we have implemented for this framework.


title: Systematic Verification of the Modal Logic Cube in Isabelle/HOL

abstract: We present an automated verification of the well-known modal logic cube in Isabelle/HOL, in which we prove the inclusion relations between the cube's logics using automated reasoning tools. Prior work addresses this problem but without restriction to the modal logic cube, and using encodings in first-order logic in combination with first-order automated theorem provers. In contrast, our solution is more elegant, transparent and effective. It employs an embedding of quantified modal logic in classical higher-order logic. Automated reasoning tools, such as Sledgehammer with LEO-II, Satallax and CVC4, Metis and Nitpick, are employed to achieve full automation. Though successful, the experiments also motivate some technical improvements in the Isabelle/HOL tool.


title: The Common HOL Platform

abstract: The Common HOL project aims to facilitate porting source code and proofs between members of the HOL family of theorem provers. At the heart of the project is the Common HOL Platform, which defines a standard HOL theory and API that aims to be compatible with all HOL systems. So far, HOL Light and hol90 have been adapted for conformance, and HOL Zero was originally developed to conform. In this paper we provide motivation for a platform, give an overview of the Common HOL Platform's theory and API components, and show how to adapt legacy systems. We also report on the platform's successful application in the hand-translation of a few thousand lines of source code from HOL Light to HOL Zero.


title: Checking Zenon Modulo Proofs in Dedukti

abstract: Dedukti has been proposed as a universal proof checker. It is a logical framework based on the lambda Pi calculus modulo that is used as a backend to verify proofs coming from theorem provers, especially those implementing some form of rewriting. We present a shallow embedding into Dedukti of proofs produced by Zenon Modulo, an extension of the tableau-based first-order theorem prover Zenon to deduction modulo and typing. Zenon Modulo is applied to the verification of programs in both academic and industrial projects. The purpose of our embedding is to increase the confidence in automatically generated proofs by separating untrusted proof search from trusted proof verification.


title: Translating HOL to Dedukti

abstract: Dedukti is a logical framework based on the lambda-Pi-calculus modulo rewriting, which extends the lambda-Pi-calculus with rewrite rules. In this paper, we show how to translate the proofs of a family of HOL proof assistants to Dedukti. The translation preserves binding, typing, and reduction. We implemented this translation in an automated tool and used it to successfully translate the OpenTheory standard library.


title: Mixing HOL and Coq in Dedukti (Extended Abstract)

abstract: We use Dedukti as a logical framework for interoperability. We use automated tools to translate different developments made in HOL and in Coq to Dedukti, and we combine them to prove new results. We illustrate our approach with a concrete example where we instantiate a sorting algorithm written in Coq with the natural numbers of HOL.


title: Monte Carlo study of the frame, fluctuation and internal tensions of fluctuating membranes with fixed area

abstract: Three types of surface tensions can be defined for lipid membranes: the internal tension, $\sigma$, conjugated to the real membrane area in the Hamiltonian, the mechanical frame tension, $\tau$, conjugated to the projected area, and the "fluctuation tension", $r$, obtained from the fluctuation spectrum of the membrane height. We investigate these surface tensions by means of a Monge gauge lattice Monte Carlo simulation involving the exact, nonlinear, Helfrich Hamiltonian and a measure correction for excess entropy of the Monge gauge. Our results for the relation between $\sigma$ and $\tau$ agrees well with the theoretical prediction of [J.-B. Fournier and C. Barbetta, Phys. Rev. Lett., 2008, 100, 078103] based on a Gaussian approximation. This provides a valuable knowledge of~$\tau$ in the standard Gaussian models where the tension is controlled by $\sigma$. However, contrary to the conjecture in the above paper, we find that $r$ exhibits no significant difference from $\tau$ over more than five decades of tension. Our results appear to be valid in the thermodynamic limit and are robust to changing the ensemble in which the membrane area is controlled.


title: The Local Joyal Model Structure

abstract: It is shown that the Joyal quasi-category model structure for simplicial sets extends to a model structure on simplicial presheaves, for which the weak equivalences are local (or stalkwise) Joyal equivalences.


title: Bayesian redshift-space distortions correction from galaxy redshift surveys

abstract: We present a Bayesian reconstruction method which maps a galaxy distribution from redshift-space to real-space inferring the distances of the individual galaxies. The method is based on sampling density fields assuming a lognormal prior with a likelihood given by the negative binomial distribution function modelling stochastic bias. We assume a deterministic bias given by a power law relating the dark matter density field to the expected halo or galaxy field. Coherent redshift-space distortions are corrected in a Gibbs-sampling procedure by moving the galaxies from redshift-space to real-space according to the peculiar motions derived from the recovered density field using linear theory with the option to include tidal field corrections from second order Lagrangian perturbation theory. The virialised distortions are corrected by sampling candidate real-space positions (being in the neighbourhood of the observations along the line of sight), which are compatible with the bulk flow corrected redshift-space position adding a random dispersion term in high density collapsed regions. The latter are defined according to the eigenvalues of the Hessian. This approach presents an alternative method to estimate the distances to galaxies using the three dimensional spatial information, and assuming isotropy. Hence the number of applications is very broad. In this work we show the potential of this method to constrain the growth rate up to $k$ ~ 0.3 $h$ Mpc$^{-1}$. Furthermore it could be useful to correct for photo-metric redshift errors, and to obtain improved BAO reconstructions.


title: Nonequilibrium dynamical mean-field theory for the charge-density-wave phase of the Falicov-Kimball model

abstract: Nonequilibrium dynamical mean-field theory (DMFT) is developed for the case of the charge-density-wave ordered phase. We consider the spinless Falicov-Kimball model which can be solved exactly. This strongly correlated system is then placed in an uniform external dc electric field. We present a complete derivation for nonequilibrium dynamical mean-field theory Green's functions defined on the Keldysh-Schwinger time contour. We also discuss numerical issues involved in solving the coupled equations.


title: Robustness in sparse linear models: relative efficiency based on robust approximate message passing

abstract: Understanding efficiency in high dimensional linear models is a longstanding problem of interest. Classical work with smaller dimensional problems dating back to Huber and Bickel has illustrated the benefits of efficient loss functions. When the number of parameters $p$ is of the same order as the sample size $n$, $p \approx n$, an efficiency pattern different from the one of Huber was recently established. In this work, we consider the effects of model selection on the estimation efficiency of penalized methods. In particular, we explore whether sparsity, results in new efficiency patterns when $p > n$. In the interest of deriving the asymptotic mean squared error for regularized M-estimators, we use the powerful framework of approximate message passing. We propose a novel, robust and sparse approximate message passing algorithm (RAMP), that is adaptive to the error distribution. Our algorithm includes many non-quadratic and non-differentiable loss functions. We derive its asymptotic mean squared error and show its convergence, while allowing $p, n, s \to \infty$, with $n/p \in (0,1)$ and $n/s \in (1,\infty)$. We identify new patterns of relative efficiency regarding a number of penalized $M$ estimators, when $p$ is much larger than $n$. We show that the classical information bound is no longer reachable, even for light--tailed error distributions. We show that the penalized least absolute deviation estimator dominates the penalized least square estimator, in cases of heavy--tailed distributions. We observe this pattern for all choices of the number of non-zero parameters $s$, both $s \leq n$ and $s \approx n$. In non-penalized problems where $s =p \approx n$, the opposite regime holds. Therefore, we discover that the presence of model selection significantly changes the efficiency patterns.

categories: math.ST cs.AI cs.LG stat.ME stat.ML stat.TH


title: Large Scale Signal Detection: A Unified Perspective

abstract: There is an overwhelmingly large literature and algorithms already available on `large scale inference problems' based on different modeling techniques and cultures. Our primary goal in this paper is \emph{not to add one more new methodology} to the existing toolbox but instead (a) to clarify the mystery how these different simultaneous inference methods are \emph{connected}, (b) to provide an alternative more intuitive derivation of the formulas that leads to \emph{simpler} expressions, and (c) to develop a \emph{unified} algorithm for practitioners. A detailed discussion on representation, estimation, inference, and model selection is given. Applications to a variety of real and simulated datasets show promise. We end with several future research directions.


title: Multicast Traffic Engineering for Software-Defined Networks

abstract: Although Software-Defined Networking (SDN) enables flexible network resource allocations for traffic engineering, current literature mostly focuses on unicast communications. Compared to traffic engineering for multiple unicast flows, multicast traffic engineering for multiple trees is very challenging not only because minimizing the bandwidth consumption of a single multicast tree by solving the Steiner tree problem is already NP-Hard, but the Steiner tree problem does not consider the link capacity constraint for multicast flows and node capacity constraint to store the forwarding entries in Group Table of OpenFlow. In this paper, therefore, we first study the hardness results of scalable multicast traffic engineering in SDN. We prove that scalable multicast traffic engineering with only the node capacity constraint is NP-Hard and not approximable within, which is the number of destinations in the largest multicast group. We then prove that scalable multicast traffic engineering with both the node and link capacity constraints is NP-Hard and not approximable within any ratio. To solve the problem, we design an approximation algorithm, named Multi-Tree Routing and State Assignment Algorithm (MTRSA), for the first case and extend it to the general multicast traffic engineering problem. The simulation and implementation results demonstrate that the solutions obtained by the proposed algorithm outperform the shortest-path trees and Steiner trees. Most importantly, MTRSA is computation-efficient and can be deployed in SDN since it can generate the solution with numerous trees in a short time.


title: Enhancement of Real Time EPICS IOC PV Management for Data Archiving System

abstract: For operating a 100MeV linear proton accelerator, the major driving values and experimental data need to be archived. According to the experimental conditions, different data are required. It is necessary to implement functions that can add new data and delete data in real time. In an experimental physics and industrial control system (EPICS) input output controller (IOC), the process variable (PV) values are matched with the driving values and data. The PV values are archived in text file format using the Channel Archiver. There is no need to create a database (DB) server, just need a large hard disk. Through the web, the archived data can be loaded and new PV values can be archived without stopping the archive engine. Implementation of a Data Archiving System with Channel Archiver is presented and some preliminary results are reported.


title: Socio-economic hazards and impacts of space weather: the important range between mild and extreme

abstract: Society needs to prepare for more severe space weather than it has experienced in the modern technological era. To enable that, we must both quantify extreme-event characteristics and analyze impacts of lesser events that are frequent yet severe enough to be informative. Exploratory studies suggest that economic impacts of a century-level space hurricane and of a century of lesser space-weather "gales" may turn out to be of the same order of magnitude. The economic benefits of effective mitigation of the impacts of space gales may substantially exceed the required investments, even as these investments provide valuable information to prepare for the worst possible storms.


title: Evidence of Ising pairing in superconducting NbSe$_2$ atomic layers

abstract: Two-dimensional transition metal dichalcogenides with strong spin-orbit interactions and valley-dependent Berry curvature effects have attracted tremendous recent interests. Although novel single-particle and excitonic phenomena related to spin-valley coupling have been extensively studied, effects of spin-momentum locking on collective quantum phenomena remain unexplored. Here we report an observation of superconducting monolayer NbSe$_2$ with an in-plane upper critical field over six times of the Pauli paramagnetic limit by magneto-transport measurements. The effect can be understood in terms of the competing Zeeman effect and large intrinsic spin-orbit interactions in non-centrosymmetric NbSe$_2$ monolayers, where the electronic spin is locked to the out-of-plane direction. Our results provide a strong evidence of unconventional Ising pairing protected by spin-momentum locking and open up a new avenue for studies of non-centrosymmetric superconductivity with unique spin and valley degrees of freedom in the exact two-dimensional limit.


title: Emergent Kondo scaling in iron-based superconductors AFe2As2 (A = K, Rb, Cs)

abstract: Unconventional superconductivity from heavy fermion (HF) is always observed in f-electron systems, in which Kondo physics between localized f-electrons and itinerant electrons plays an essential role. Whether HF superconductivity could be achieved in other systems without f electrons, especially for d-electron systems, is still elusive. Here, we experimentally study the origin of d-electron HF behavior in iron-based superconductors (FeSCs) AFe2As2 (A = K, Rb, Cs). Nuclear magnetic resonance on 75As reveals a universal coherent-incoherent crossover with a characteristic temperature T*. Below T*, a so-called 'Knight shift anomaly' is first observed in FeSCs, which exhibits a scaling behavior similar to f-electron HF materials. Furthermore, the scaling rule also regulates the manifestation of magnetic fluctuation. These results undoubtedly support an emergent Kondo scenario for the d-electron HF behavior, which suggests the AFe2As2 (A = K, Rb, Cs) as the first material realization of d-electron HF superconductors.


title: Almost Instantaneous Fix-to-Variable Length Codes

abstract: We propose almost instantaneous fixed-to-variable-length (AIFV) codes such that two (resp. $K-1$) code trees are used if code symbols are binary (resp. $K$-ary for $K \geq 3$), and source symbols are assigned to incomplete internal nodes in addition to leaves. Although the AIFV codes are not instantaneous codes, they are devised such that the decoding delay is at most two bits (resp. one code symbol) in the case of binary (resp. $K$-ary) code alphabet. The AIFV code can attain better average compression rate than the Huffman code at the expenses of a little decoding delay and a little large memory size to store multiple code trees. We also show for the binary and ternary AIFV codes that the optimal AIFV code can be obtained by solving 0-1 integer programming problems.


title: Stochastic safety radius on Neighbor-Joining method and Balanced Minimal Evolution on small trees

abstract: A distance-based method to reconstruct a phylogenetic tree with $n$ leaves takes a distance matrix, $n \times n$ symmetric matrix with $0$s in the diagonal, as its input and reconstructs a tree with $n$ leaves using tools in combinatorics. A safety radius is a radius from a tree metric (a distance matrix realizing a true tree) within which the input distance matrices must all lie in order to satisfy a precise combinatorial condition under which the distance-based method is guaranteed to return a correct tree. A stochastic safety radius is a safety radius under which the distance-based method is guaranteed to return a correct tree within a certain probability. In this paper we investigated stochastic safety radii for the neighbor-joining (NJ) method and balanced minimal evolution (BME) method for $n = 5$.


title: A combinatorial calculation of the Landau-Ginzburg model $M= \mathbb C^3, W=z_1 z_2 z_3$

abstract: The aim of this paper is to apply ideas from the study of Legendrian singularities to a specific example of interest within mirror symmetry. We calculate the Landau-Ginzburg $A$-model with $M= \mathbb C^3, W=z_1 z_2 z_3$ in its guise as microlocal sheaves along the natural singular Lagrangian thimble $L = {\mathit Cone}(T^2)\subset M$. The description we obtain is immediately equivalent to the $B$-model of the pair-of-pants $\mathbb P^1 \setminus \{0, 1, \infty\}$ as predicted by mirror symmetry.


title: A Sinc Wavelet Describes the Receptive Fields of Neurons in the Motion Cortex

abstract: Visual perception results from a systematic transformation of the information flowing through the visual system. In the neuronal hierarchy, the response properties of single neurons are determined by neurons located one level below, and in turn, determine the responses of neurons located one level above. Therefore in modeling receptive fields, it is essential to ensure that the response properties of neurons in a given level can be generated by combining the response models of neurons in its input levels. However, existing response models of neurons in the motion cortex do not inherently yield the temporal frequency filtering gradient (TFFG) property that is known to emerge along the primary visual cortex (V1) to middle temporal (MT) motion processing stream. TFFG is the change from predominantly lowpass to predominantly bandpass temporal frequency filtering character along the V1 to MT pathway (Foster et al 1985; DeAngelis et al 1993; Hawken et al 1996). We devised a new model, the sinc wavelet model (Odaibo, 2014), which logically and efficiently generates the TFFG. The model replaces the Gabor function's sine wave carrier with a sinc (sin(x)/x) function, and has the same or fewer number of parameters as existing models. Because of its logical consistency with the emergent network property of TFFG, we conclude that the sinc wavelet is a better model for the receptive fields of motion cortex neurons. This model will provide new physiological insights into how the brain represents visual information.

categories: q-bio.NC cs.CV cs.IT math.IT physics.bio-ph


title: Vorticity, Shocks and Magnetic Fields in Subsonic, ICM-like Turbulence

abstract: We analyze high resolution simulations of compressible, MHD turbulence with properties resembling conditions in galaxy clusters. The flow is driven to turbulence Mach number $\mathcal{M}_t \sim 1/2$ in an isothermal medium with an initially very weak, uniform seed magnetic field ($\beta = P_g/P_B = 10^6$). Since cluster turbulence is likely to result from a mix of sheared (solenoidal) and compressive forcing processes, we examine the distinct turbulence properties for both cases. In one set of simulations velocity forcing is entirely solenoidal ($\nabla\cdot \delta {\vec u} = 0$), while in the other it is entirely compressive ($\nabla\times \delta {\vec u} = 0$). Both cases develop a mixture of solenoidal and compressive turbulent motions, since each generates the other. The development of compressive turbulent motions leads to shocks, even when the turbulence is solenoidally forced and subsonic. Shocks, in turn, produce and amplify vorticity, which is especially important in compressively forced turbulence. To clarify those processes we include a pair of appendices that look in detail at vorticity evolution in association with shocks. From our simulation analyses we find that magnetic fields amplified to near saturation levels in predominantly solenoidal turbulence can actually enhance vorticity on small scales by concentrating and stabilizing shear. The properties, evolution rates and relative contributions of the kinetic and magnetic turbulent elements depend strongly on the character of the forcing. Specifically, shocks are stronger, but vorticity evolution and magnetic field amplification are slower and weaker when the turbulence is compressively forced. We identify a simple relation to estimate characteristic shock strengths in terms of the turbulence Mach number and the character of the forcing. Our results will be helpful in understanding flow motions in galaxy clusters.


title: Variable Annuity with GMWB: surrender or not, that is the question

abstract: Under the optimal withdrawal strategy of a policyholder, the pricing of variable annuities with Guaranteed Minimum Withdrawal Benefit (GMWB) is an optimal stochastic control problem. The surrender feature available in marketed products allows termination of the contract before maturity, making it also an optimal stopping problem. Although the surrender feature is quite common in variable annuity contracts, there appears to be no published analysis and results for this feature in GMWB under optimal policyholder behaviour - results found in the literature so far are consistent with the absence of such a feature. Also, it is of practical interest to see how the much simpler bang-bang strategy, although not optimal for GMWB, compares with optimal GMWB strategy with surrender option. In this paper we extend our recently developed algorithm (Luo and Shevchenko 2015a) to include surrender option in GMWB and compare prices under different policyholder strategies: optimal, static and bang-bang. Results indicate that following a simple but sub-optimal bang-bang strategy does not lead to significant reduction in the price or equivalently in the fee, in comparison with the optimal strategy. We observed that the extra value added by the surrender option could add very significant value to the GMWB contract. We also performed calculations for static withdrawal with surrender option, which is the same as bang-bang minus the "no-withdrawal" choice. We find that the fee for such contract is only less than 1% smaller when compared to the case of bang-bang strategy, meaning that th "no-withdrawal" option adds little value to the contract.


title: Magnetospherically driven optical and radio aurorae at the end of the stellar main sequence

abstract: Aurorae are detected from all the magnetized planets in our Solar System, including Earth. They are powered by magnetospheric current systems that lead to the precipitation of energetic electrons into the high-latitude regions of the upper atmosphere. In the case of the gas-giant planets, these aurorae include highly polarized radio emission at kilohertz and megahertz frequencies produced by the precipitating electrons, as well as continuum and line emission in the infrared, optical, ultraviolet and X-ray parts of the spectrum, associated with the collisional excitation and heating of the hydrogen-dominated atmosphere. Here we report simultaneous radio and optical spectroscopic observations of an object at the end of the stellar main sequence, located right at the boundary between stars and brown dwarfs, from which we have detected radio and optical auroral emissions both powered by magnetospheric currents. Whereas the magnetic activity of stars like our Sun is powered by processes that occur in their lower atmospheres, these aurorae are powered by processes originating much further out in the magnetosphere of the dwarf star that couple energy into the lower atmosphere. The dissipated power is at least four orders of magnitude larger than what is produced in the Jovian magnetosphere, revealing aurorae to be a potentially ubiquitous signature of large-scale magnetospheres that can scale to luminosities far greater than those observed in our Solar System. These magnetospheric current systems may also play a part in powering some of the weather phenomena reported on brown dwarfs.


title: Hard X-ray Morphological and Spectral Studies of The Galactic Center Molecular Cloud Sgr B2: Constraining Past Sgr A* Flaring Activity

abstract: Galactic Center (GC) molecular cloud Sgr B2 is the best manifestation of an X-ray reflection nebula (XRN) reprocessing a past giant outburst from the supermassive black hole Sgr A*. Alternatively, Sgr B2 could be illuminated by low-energy cosmic ray electrons (LECRe) or protons (LECRp). In 2013, NuSTAR for the first time resolved Sgr B2 hard X-ray emission on sub-arcminute scales. Two prominent features are detected above 10 keV - a newly emerging cloud G0.66-0.13 and the central 90" radius region containing two compact cores Sgr B2(M) and Sgr B2(N) surrounded by diffuse emission. It is inconclusive whether the remaining level of Sgr B2 emission is still decreasing or has reached a constant background level. A decreasing Fe K$\alpha$ emission can be best explained by XRN while a constant background emission can be best explained by LECRp. In the XRN scenario, the 3-79 keV Sgr B2 spectrum can well constrain the past Sgr A* outburst, resulting in an outburst spectrum with a peak luminosity of $L_{3-79\rm~keV} \sim 5\times10^{38} \rm~erg~s^{-1}$ derived from the maximum Compton-scattered continuum and the Fe K$\alpha$ emission consistently. The XRN scenario is preferred by the fast variability of G0.66-0.13, which could be a molecular clump located in the Sgr B2 envelope reflecting the same Sgr A* outburst. In the LECRp scenario, we derived the required CR ion power $dW/dt=(1-4)\times10^{39}\rm~erg~s^{-1}$ and the CR ionization rate $\zeta_{H}=(6-10)\times 10^{-15}\rm~H^{-1}~s^{-1}$. The Sgr B2 background level X-ray emission will be a powerful tool to constrain GC CR population.


title: Quantum Tricriticality in Antiferromagnetic Ising Model with Transverse Field: A Quantum Monte-Carlo Study

abstract: Quantum tricriticality of a $J_1$-$J_2$ antiferromagnetic Ising model on a square lattice is studied using the mean-field (MF) theory, scaling theory, and the unbiased world-line quantum Monte-Carlo (QMC) method based on the Feynman path integral formula. The critical exponents of the quantum tricritical point (QTCP) and the qualitative phase diagram are obtained from the MF analysis. By performing the unbiased QMC calculations, we provide the numerical evidence for the existence of the QTCP and numerically determine the location of the QTCP in the case of $J_1=J_2$. From the systematic finite-size scaling analysis, we conclude that the QTCP is located at $H_{\rm QTCP}/J_1=3.260(2)$ and $\Gamma_{\rm QTCP}/J_1=4.10(5)$. We also show that the critical exponents of the QTCP are identical to those of the MF theory because the QTCP in this model is in the upper critical dimension. The QMC simulations reveal that unconventional proximity effects of the ferromagnetic susceptibility appear close to the antiferromagnetic QTCP, and the proximity effects survive for the conventional quantum critical point. We suggest that the momentum dependence of the dynamical and static spin structure factors is useful for identifying the QTCP in experiments.


title: Inverse Relationship Between Molecular Diversity And Resource Abundances

abstract: Cell reproduction involves replication of diverse molecule species, in contrast to simple replication system with fewer components. Here, we address why such diversity is sustained despite the efficiency of simple replication systems, using a cell model with catalytic reaction dynamics that grew by uptake of environmental resources. Limited resources led to increased diversity of components within the system, and the number of coexisting species increased with a negative power of the resource abundances. The diversity was explained from the optimum growth speed of the cell, determined by a tradeoff between the utility of diverse resources and the concentration onto fewer components to increase the reaction rate.


title: Further explorations of Boyd's conjectures and a conductor 21 elliptic curve

abstract: We prove that the (logarithmic) Mahler measure $m(P)$ of $P(x,y)=x+1/x+y+1/y+3$ is equal to the $L$-value $2L'(E,0)$ attached to the elliptic curve $E:P(x,y)=0$ of conductor 21. In order to do this we investigate the measure of a more general Laurent polynomial $P_{a,b,c}(x,y)=a(x+1/x)+b(y+1/y)+c$ and show that the wanted quantity $m(P)$ is related to a "half-Mahler" measure of $\tilde P(x,y)=P_{\sqrt{7},1,3}(x,y)$. In the finale we use the modular parametrization of the elliptic curve $\tilde P(x,y)=0$, again of conductor 21, due to Ramanujan and the Mellit--Brunault formula for the regulator of modular units.


title: Electron spin resonance spectroscopy of small ensemble paramagnetic spins using a single nitrogen-vacancy center in diamond

abstract: A nitrogen-vacancy (NV) center in diamond is a promising sensor for nanoscale magnetic sensing. Here we report electron spin resonance (ESR) spectroscopy using a single NV center in diamond. First, using a 230 GHz ESR spectrometer, we performed ensemble ESR of a type-Ib sample crystal and identified a substitutional single nitrogen impurity as a major paramagnetic center in the sample crystal. Then, we carried out free-induction decay and spin echo measurements of the single NV center to study static and dynamic properties of nanoscale bath spins surrounding the NV center. We also measured ESR spectrum of the bath spins using double electron-electron resonance spectroscopy with the single NV center. The spectrum analysis of the NV-based ESR measurement identified that the detected spins are the nitrogen impurity spins. The experiment was also performed with several other single NV centers in the diamond sample and demonstrated that the properties of the bath spins are unique to the NV centers indicating the probe of spins in the microscopic volume using NV-based ESR. Finally, we discussed the number of spins detected by the NV-based ESR spectroscopy. By comparing the experimental result with simulation, we estimated the number of the detected spins to be $\leq$ 50 spins.


title: Lower Bounds on the Distance Domination Number of a Graph

abstract: For an integer $k \ge 1$, a (distance) $k$-dominating set of a connected graph $G$ is a set $S$ of vertices of $G$ such that every vertex of $V(G) \setminus S$ is at distance at most~$k$ from some vertex of $S$. The $k$-domination number, $\gamma_k(G)$, of $G$ is the minimum cardinality of a $k$-dominating set of $G$. In this paper, we establish lower bounds on the $k$-domination number of a graph in terms of its diameter, radius and girth. We prove that for connected graphs $G$ and $H$, $\gamma_k(G \times H) \ge \gamma_k(G) + \gamma_k(H) -1$, where $G \times H$ denotes the direct product of $G$ and $H$.


title: Quasiparticle self-consistent GW calculation of Sr$_2$RuO$_4$ and SrRuO$_3$:

abstract: Using quasiparticle self-consistent $GW$ calculations, we re-examined the electronic structure of Sr$_2$RuO$_4$ and SrRuO$_3$. Our calculations show that the correlation effects beyond the conventional LDA (local density approximation) and GGA (generalized gradient approximation) are reasonably well captured by QS$GW$ self-energy without any {\it ad hoc} parameter or any ambiguity related to the double-counting and the downfolding issues. While the spectral weight transfer to the lower and upper Hubbard band is not observed, the noticeable bandwidth reduction and effective mass enhancement are obtained. Important features in the electronic structures that have been debated over the last decades such as the photoemission spectra at around $-3$ eV in Sr$_2$RuO$_4$ and the half-metallicity for SrRuO$_3$ are discussed in the light of our QS$GW$ results and in comparison with the previous studies. The promising aspects of QS$GW$ are highlighted as the first-principles calculation method to describe the moderately correlated 4$d$ transition metal oxides along with its limitations.


title: Does normal pupil diameter differences in population underlie the color selection of the #dress?

abstract: The fundamental question that arises from the color composition of the #dress is: 'What are the phenomena that underlie the individual differences in colors reported given all other conditions like light and device for display being identical?'. The main color camps are blue/black (b/b) and white/gold (w/g) and a survey of 384 participants showed near equal distribution. We looked at pupil size differences in the sample population of 53 from the two groups plus a group who switched (w/g to b/b). Our results show that w/g and switch population had significantly ( w/g <b/b, p-value = 0.0086) lower pupil size than b/b camp. A standard infinity focus experiment was then conducted on 18 participants from each group to check if there is bimodality in the population and we again found statistically significant difference (w/g < b/b , p-value = 0.0132). Six participants, half from the w/g camp, were administered dilation drops that increased the pupil size by 3-4mm to check if increase in retinal illuminance will trigger a change in color in the w/g group, but the participants did not report a switch. The results suggest a population difference in normal pupil-size in the three groups.


title: Remarks on Analytic Solutions in Nonlinear Elasticity and Anti-Plane Shear Problem

abstract: This paper revisits a well-studied anti-plane shear deformation problem formulated by Knowles in 1976 and analytical solutions in general nonlinear elasticity proposed by Gao since 1998. Based on minimum potential principle, a well-determined fully nonlinear system is obtained for isochoric deformation, which admits non-trivial states of finite anti-plane shear without ellipticity constraint. By using canonical duality theory, a complete set of analytical solutions are obtained for 3-D finite deformation problems governed by generalized neo-Hookean model. Both global and local extremal solutions to the nonconvex variational problem are identified by a triality theory. Connection between challenges in nonconvex analysis and NP-hard problems in computational science is revealed. It is proved that the ellipticity condition for general fully nonlinear boundary value problems depends not only on differential operators, but also sensitively on the external force field. The homogenous hyper-elasticity for general anti-plane shear deformation must be governed by the generalized neo-Hookean model. Knowles' over-determined system is simply due to a pseudo-Lagrange multiplier and two extra equilibrium conditions in the plane. The constitutive condition in his theorems is naturally satisfied with $b = \lambda/2$. His ellipticity condition is neither necessary nor sufficient for general homogeneous materials to admit nontrivial states of anti-plane shear.


title: Test anxiety in mathematics among early undergraduate students in a British university in Malaysia

abstract: The level of test anxiety in mathematics subjects among early undergraduate students at The University of Nottingham Malaysia Campus is studied in this paper. The sample consists of 206 students taking several mathematics modules who completed the questionnaires on test anxiety just before they entered the venue for midterm exams. The sample data include the differences in the context of academic levels, gender groups and nationality backgrounds. The level of test anxiety in mathematics is measured using seven Likert questionnaire statements adapted from the Test Anxiety Inventory describing one's emotional feeling before the exam start. In general, the result shows that the students who had a lower score expectation were more anxious than those who had a higher score expectation, but that they obtained a better score than the expected score. In the context of academic levels, gender groups and nationality backgrounds, there were no significant correlations between the level of test anxiety and the students' academic performance. The effect size of the correlation values ranged from extremely small to moderate.


title: Action-Conditional Video Prediction using Deep Networks in Atari Games

abstract: Motivated by vision-based reinforcement learning (RL) problems, in particular Atari games from the recent benchmark Aracade Learning Environment (ALE), we consider spatio-temporal prediction problems where future (image-)frames are dependent on control variables or actions as well as previous frames. While not composed of natural scenes, frames in Atari games are high-dimensional in size, can involve tens of objects with one or more objects being controlled by the actions directly and many other objects being influenced indirectly, can involve entry and departure of objects, and can involve deep partial observability. We propose and evaluate two deep neural network architectures that consist of encoding, action-conditional transformation, and decoding layers based on convolutional neural networks and recurrent neural networks. Experimental results show that the proposed architectures are able to generate visually-realistic frames that are also useful for control over approximately 100-step action-conditional futures in some games. To the best of our knowledge, this paper is the first to make and evaluate long-term predictions on high-dimensional video conditioned by control inputs.


title: Beyond Low Rank + Sparse: Multi-scale Low Rank Matrix Decomposition

abstract: We present a natural generalization of the recent low rank + sparse matrix decomposition and consider the decomposition of matrices into components of multiple scales. Such decomposition is well motivated in practice as data matrices often exhibit local correlations in multiple scales. Concretely, we propose a multi-scale low rank modeling that represents a data matrix as a sum of block-wise low rank matrices with increasing scales of block sizes. We then consider the inverse problem of decomposing the data matrix into its multi-scale low rank components and approach the problem via a convex formulation. Theoretically, we show that under various incoherence conditions, the convex program recovers the multi-scale low rank components \revised{either exactly or approximately}. Practically, we provide guidance on selecting the regularization parameters and incorporate cycle spinning to reduce blocking artifacts. Experimentally, we show that the multi-scale low rank decomposition provides a more intuitive decomposition than conventional low rank methods and demonstrate its effectiveness in four applications, including illumination normalization for face images, motion separation for surveillance videos, multi-scale modeling of the dynamic contrast enhanced magnetic resonance imaging and collaborative filtering exploiting age information.


title: An Optimal Algorithm for Bandit and Zero-Order Convex Optimization with Two-Point Feedback

abstract: We consider the closely related problems of bandit convex optimization with two-point feedback, and zero-order stochastic convex optimization with two function evaluations per round. We provide a simple algorithm and analysis which is optimal for convex Lipschitz functions. This improves on \cite{dujww13}, which only provides an optimal result for smooth functions; Moreover, the algorithm and analysis are simpler, and readily extend to non-Euclidean problems. The algorithm is based on a small but surprisingly powerful modification of the gradient estimator.


title: An explicit semi-factorial compactification of the N\'eron model

abstract: C.~P\'{e}pin recently constructed a semi-factorial compactification of the N\'{e}ron model of an abelian variety using the flattening technique of Raynaud--Gruson. Here we prove that an explicit semi-factorial compactification is a certain moduli space of sheaves --- the family of compactified jacobians.


title: Flip-Rotate-Pooling Convolution and Split Dropout on Convolution Neural Networks for Image Classification

abstract: This paper presents a new version of Dropout called Split Dropout (sDropout) and rotational convolution techniques to improve CNNs' performance on image classification. The widely used standard Dropout has advantage of preventing deep neural networks from overfitting by randomly dropping units during training. Our sDropout randomly splits the data into two subsets and keeps both rather than discards one subset. We also introduce two rotational convolution techniques, i.e. rotate-pooling convolution (RPC) and flip-rotate-pooling convolution (FRPC) to boost CNNs' performance on the robustness for rotation transformation. These two techniques encode rotation invariance into the network without adding extra parameters. Experimental evaluations on ImageNet2012 classification task demonstrate that sDropout not only enhances the performance but also converges faster. Additionally, RPC and FRPC make CNNs more robust for rotation transformations. Overall, FRPC together with sDropout bring $1.18\%$ (model of Zeiler and Fergus~\cite{zeiler2013visualizing}, 10-view, top-1) accuracy increase in ImageNet 2012 classification task compared to the original network.


title: The Cosmological Constant Problem and Quantum Spacetime Reference Frame

abstract: This paper is a generalization of earlier papers [Nucl. Phys. B 884, 344 (2014) (arXiv:1312.2759) and JHEP 6, 63 (2015) (arXiv:1401.2488)]. We generalize the idea of quantum clock time to quantum spacetime reference frame via physical realization of a reference system by quantum rulers and clocks. Omitting the internal degrees of freedom (such as spins) of the physical rulers and clocks, only considering their metric properties, the spacetime reference frame is described by a bosonic non-linear sigma model (NLSM). We study the quantum behavior of the system under approximations, and obtain (1) a cosmological constant valued $(2/\pi)\rho_{c0}$ ($\rho_{c0}$ the critical density at near current epoch) which is very close to the observations; (2) an effective Einstein-Hilbert term; (3) the ratio of variance to mean-squared of spacetime interval tends to a universal constant $2/\pi$ in the infrared region. This effect is testable by observing a linear dependence between the inherent quantum variance and mean-squared of the redshifts from cosmic distant spectral lines. The proportionality is expected to be the observed percentage of the dark energy. The equivalence principle is also generalized to the quantum level.


title: Impact Factors for Reggeon-Gluon Transitions

abstract: General expressions for the impact factors up to terms vanishing at the space-time dimension $D\rightarrow 4$ are presented. Their infrared behaviour is analysed and calculation of exact in $D\rightarrow 4$ asymptotics at small momenta of Reggeized gluons is discussed.