title: Theory summary of Moriond Electro-Weak 2015

abstract: I summarise the theoretical talks at Moriond 2015, with emphasis on naturalness.


title: Demonstration of Quantum Nonlocality in presence of Measurement Dependence

abstract: Quantum nonlocality stands as a resource for Device Independent Quantum Information Processing (DIQIP), as, for instance, Device Independent Quantum Key Distribution. We investigate experimentally the assumption of limited Measurement Dependence, i.e., that the measurement settings used in Bell inequality tests or DIQIP are partially influenced by the source of entangled particle and/or by an adversary. Using a recently derived Bell-like inequality [Phys. Rev. Lett. 113 190402] and a 99% fidelity source of partially entangled polarization photonic qubits, we obtain a clear violation of the inequality, excluding a much larger range of measurement dependent local models than would be possible with an adapted Clauser, Horne, Shimony and Holt (CHSH) inequality. It is therefore shown that the Measurement Independence assumption can be widely relaxed while still demonstrating quantum nonlocality.


title: Revenue-Maximizing Mechanism Design for Quasi-Proportional Auctions

abstract: In quasi-proportional auctions, each bidder receives a fraction of the allocation equal to the weight of their bid divided by the sum of weights of all bids, where each bid's weight is determined by a weight function. We study the relationship between the weight function, bidders' private values, number of bidders, and the seller's revenue in equilibrium. It has been shown that if one bidder has a much higher private value than the others, then a nearly flat weight function maximizes revenue. Essentially, threatening the bidder who has the highest valuation with having to share the allocation maximizes the revenue. We show that as bidder private values approach parity, steeper weight functions maximize revenue by making the quasi-proportional auction more like a winner-take-all auction. We also show that steeper weight functions maximize revenue as the number of bidders increases. For flatter weight functions, there is known to be a unique pure-strategy Nash equilibrium. We show that a pure-strategy Nash equilibrium also exists for steeper weight functions, and we give lower bounds for bids at an equilibrium. For a special case that includes the two-bidder auction, we show that the pure-strategy Nash equilibrium is unique, and we show how to compute the revenue at equilibrium. We also show that selecting a weight function based on private value ratios and number of bidders is necessary for a quasi-proportional auction to produce more revenue than a second-price auction.


title: Prime divisors in polynomial orbits over function fields

abstract: Given a polynomial $\phi$ over a global function field $K$ and a wandering base point $b\in K$, we give a geometric condition on $\phi$ ensuring the existence of primitive prime divisors for almost all points in the orbit $\mathcal{O}_\phi(b):=\{\phi^n(b)\}_{n\geq0}$


title: UK low-background infrastructure for delivering SuperNEMO

abstract: SuperNEMO is a next generation neutrinoless double beta decay experiment with a design capability to reach a half-life sensitivity of $10^{26}$ years corresponding to an effective Majorana neutrino mass of $\langle m_{\beta\beta} \rangle$ $<$ 50 - 100 meV. To achieve this sensitivity, stringent radio-purity requirements are imposed resulting in an equally stringent screening programme. Dedicated facilities have been established in the UK for screening and selection of detector construction materials. Gamma ray spectroscopy using high-purity germanium (HPGe) detectors has been the standard method for the measurement of material contamination. A low-background facility has been established at Boulby Underground Laboratory. The first results from the 2 current HPGe detector are shown. Radon is one of the most critical backgrounds for SuperNEMO and most other low background experiments. It can enter the detector either through diffusion, contamination during construction or emanation from the detector materials resulting in radioactive daughter isotopes. To reach the target sensitivity, the $^{222}$Rn concentration inside the SuperNEMO tracker volume must be less than 150 $\mu$Bq/m3. A "Radon Concentration Line" (RnCL) was developed to be used in conjunction with a state-of-the-art radon detector to make a more sensitive measurement of large gas volumes. This apparatus has now been commissioned and is capable of measuring radon levels in large samples down to 10 $\mu$Bq/m3. The results from first measurements of radon content using the RnCL are presented. These measurements include gas bottles, boil-off nitrogen and a SuperNEMO sub-module during the early stages of construction.


title: Energy dependence of space-time extent of pion source in nuclear collisions

abstract: Energy dependence of space-time parameters of pion emission region at freeze-out is studied for collisions of various ions and for all experimentally available energies. The using of femtoscopic radii scaled on the averaged radius of colliding ions is suggested. This approach allows the expansion of the set of interaction types, in particular, on collisions of non-symmetrical ion beams which can be studied within the framework of common treatment. There is no sharp changing of femtoscopic parameter values with increasing of initial energy. Analytic functions suggested for smooth approximations of energy dependence of femtoscopic parameters demonstrate reasonable agreement with most of experimental data at $\sqrt{s_{NN}} \geq 5$ GeV. Estimations of some observables are obtained for energies of the LHC and FCC project.


title: Special Lagrangian torus fibrations of complete intersection Calabi-Yau manifolds: a geometric conjecture

abstract: For complete intersection Calabi-Yau manifolds in toric varieties, Gross and Haase-Zharkov have given a conjectural combinatorial description of the special Lagrangian torus fibrations whose existence was predicted by Strominger, Yau and Zaslow. We present a geometric version of this construction, generalizing an earlier conjecture of the first author.


title: Quantum $G_{2}$ categories have property (T)

abstract: We show that the rigid C*-tensor categories of finite dimensional type 1 unitary representations of the quantum groups $U_{q}(\mathfrak{g}_{2})$ corresponding to the exceptional Lie group $G_2$ for positive $q\ne 1$ have property (T).


title: MORPH: A Reference Architecture for Configuration and Behaviour Self-Adaptation

abstract: An architectural approach to self-adaptive systems involves runtime change of system configuration (i.e., the system's components, their bindings and operational parameters) and behaviour update (i.e., component orchestration). Thus, dynamic reconfiguration and discrete event control theory are at the heart of architectural adaptation. Although controlling configuration and behaviour at runtime has been discussed and applied to architectural adaptation, architectures for self-adaptive systems often compound these two aspects reducing the potential for adaptability. In this paper we propose a reference architecture that allows for coordinated yet transparent and independent adaptation of system configuration and behaviour.


title: Full-waveform inversion in three-dimensional PML-truncated elastic media

abstract: We are concerned with high-fidelity subsurface imaging of the soil, which commonly arises in geotechnical site characterization and geophysical explorations. Specifically, we attempt to image the spatial distribution of the Lame parameters in semi-infinite, three-dimensional, arbitrarily heterogeneous formations, using surficial measurements of the soil's response to probing elastic waves. We use the complete waveform response of the medium to derive the inverse problem, by using a partial-differential-equation (PDE)-constrained optimization approach, directly in the time-domain, to minimize the misfit between the observed response of the medium at select measurement locations, and a computed response corresponding to a trial distribution of the Lame parameters. We discuss strategies that lend algorithmic robustness to our proposed inversion scheme. To limit the computational domain to the size of interest, we employ perfectly-matched-layers (PMLs). In order to resolve the forward problem, we use a recently developed hybrid finite element approach, where a displacement-stress formulation for the PML is coupled to a standard displacement-only formulation for the interior domain, thus leading to a computationally cost-efficient scheme. Time-integration is accomplished by using an explicit Runge-Kutta scheme, which is well-suited for large-scale problems on parallel computers. We verify the accuracy of the material gradients obtained via our proposed scheme, and report numerical results demonstrating successful reconstruction of the two Lame parameters for both smooth and sharp profiles.


title: Chaos and Indecomposability

abstract: We use recent developments in local entropy theory to prove that chaos in dynamical systems implies the existence of complicated structure in the underlying space. Earlier Mouron proved that if $X$ is an arc-like continuum which admits a homeomorphism $f$ with positive topological entropy, then $X$ contains an indecomposable subcontinuum. Barge and Diamond proved that if $G$ is a finite graph and $f:G \rightarrow G$ is any map with positive topological entropy, then the inverse limit space $\varprojlim(G,f)$ contains an indecomposable continuum. In this paper we show that if $X$ is a $G$-like continuum for some finite graph $G$ and $f:X \rightarrow X$ is any map with positive topological entropy, then $\varprojlim (X,f)$ contains an indecomposable continuum. As a corollary, we obtain that in the case that $f$ is a homeomorphism, $X$ contains an indecomposable continuum. Moreover, if $f$ has uniformly positive upper entropy, then $X$ is an indecomposable continuum. Our results answer some questions raised by Mouron and generalize the above mentioned work of Mouron and also that of Barge and Diamond. We also introduce a new concept called zigzag pair which attempts to capture the complexity of a dynamical systems from the continuum theoretic perspective and facilitates the proof of the main result.


title: Parsing Linear Context-Free Rewriting Systems with Fast Matrix Multiplication

abstract: We describe a matrix multiplication recognition algorithm for a subset of binary linear context-free rewriting systems (LCFRS) with running time $O(n^{\omega d})$ where $M(m) = O(m^{\omega})$ is the running time for $m \times m$ matrix multiplication and $d$ is the "contact rank" of the LCFRS -- the maximal number of combination and non-combination points that appear in the grammar rules. We also show that this algorithm can be used as a subroutine to get a recognition algorithm for general binary LCFRS with running time $O(n^{\omega d + 1})$. The currently best known $\omega$ is smaller than $2.38$. Our result provides another proof for the best known result for parsing mildly context sensitive formalisms such as combinatory categorial grammars, head grammars, linear indexed grammars, and tree adjoining grammars, which can be parsed in time $O(n^{4.76})$. It also shows that inversion transduction grammars can be parsed in time $O(n^{5.76})$. In addition, binary LCFRS subsumes many other formalisms and types of grammars, for some of which we also improve the asymptotic complexity of parsing.


title: Spread of pathogens in the patient transfer network of US hospitals

abstract: Emergent antibiotic-resistant bacterial infections are an increasingly significant source of morbidity and mortality. Antibiotic-resistant organisms have a natural reservoir in hospitals, and recent estimates suggest that almost 2 million people develop hospital-acquired infections each year in the US alone. We investigate a network induced by the transfer of Medicare patients across US hospitals over a 2-year period to learn about the possible role of hospital-to-hospital transfers of patients in the spread of infections. We analyze temporal, geographical, and topological properties of the transfer network and demonstrate, using C. Diff. as a case study, that this network may serve as a substrate for the spread of infections. Finally, we study different strategies for the early detection of incipient epidemics, finding that using approximately 2% of hospitals as sensors, chosen based on their network in-degree, results in optimal performance for this early warning system, enabling the early detection of 80% of the C. Diff. cases.


title: Classical field theories from Hamiltonian constraint: Canonical equations of motion and local Hamilton-Jacobi theory

abstract: Classical field theory is considered as a theory of unparametrized surfaces embedded in a configuration space, which accommodates, in a symmetric way, spacetime positions and field values. Dynamics is defined by a (Hamiltonian) constraint between multivector-valued generalized momenta, and points in the configuration space. Starting from a variational principle, we derive local equations of motion, that is, differential equations that determine classical surfaces and momenta. A local Hamilton-Jacobi equation applicable in the field theory then follows readily. The general method is illustrated with three examples: non-relativistic Hamiltonian mechanics, De Donder-Weyl scalar field theory, and string theory. Throughout, we use the mathematical formalism of geometric algebra and geometric calculus, which allows to perform completely coordinate-free manipulations.


title: A Method of Proving a Class of Inequalities of Mixed Trigonometric Polynomial Functions

abstract: In this article we consider a method of proving a class of inequalities of the form (1). The method is based on the precise approximations of the sine and cosine functions by Maclaurin polynomials of given order. By using this method we present new proofs of some inequalities from the articles C.-P. Chen, W.-S. Cheung [J. Inequal. Appl. 2012:72 (2012)] and Z.-J. Sun, L. Zhu [ISRN Math. Anal. (2011)].


title: The optical applications of 3D sub-wavelength block-copolymer nanostructured functional materials

abstract: A method to engineer the refractive indices of functional materials (TiO2, ZnO, SnO2, SiO2), by nanostructuring in the deep sub-wavelength regime (<20nm), is presented. Block-copolymer templating combined with a wet processing route is used to realize 3D functional nanostructures with continuously adjustable refractive indices from 1.17 to 2.2. Wet processing accessed refractive index engineering can be applied to address a variety of realizability concerns in attaining design specified refractive index values and refractive index gradients in 1D, 2D, and 3D that arise as the results of optical design techniques such as thin film optimization methods, transformation optics and conformal mapping. Refractive index optimized multi-layer anti-reflection coatings on crystalline silicon, which reduce light reflections from 38% down to ~3% with a wide angular span, are demonstrated with the developed wet processing route. A high temperature oxygen free fiber optic hydrogen sensor realized by accessing nano-engineering enabled refractive indices is also presented. The functionality of the sensor is characterized with a fiber Bragg grating, transmission based interrogation, and optical frequency domain reflectometry. The latter demonstrates the potential of the developed sensor for the detection of chemical gradients for applications such as in high temperature hydrogen driven fuel cells.


title: Comment on "Neutron Skin of $^{208}$Pb from Coherent Pion Photoproduction"

abstract: We argue that the reaction mechanism for the coherent pion production is not known with sufficient accuracy to determine the neutron radius of 208Pb to the claimed precision of 0.03 fm.


title: Geometric Engineering, Mirror Symmetry and 6d (1,0) -> 4d, N=2

abstract: We study compactification of 6 dimensional (1,0) theories on T^2. We use geometric engineering of these theories via F-theory and employ mirror symmetry technology to solve for the effective 4d N=2 geometry for a large number of the (1,0) theories including those associated with conformal matter. Using this we show that for a given 6d theory we can obtain many inequivalent 4d N=2 SCFTs. Some of these respect the global symmetries of the 6d theory while others exhibit SL(2,Z) duality symmetry inherited from global diffeomorphisms of the T^2. This construction also explains the 6d origin of moduli space of 4d affine ADE quiver theories as flat ADE connections on T^2. Among the resulting 4d N=2 CFTs we find theories whose vacuum geometry is captured by an LG theory (as opposed to a curve or a local CY geometry). We obtain arbitrary genus curves of class S with punctures from toroidal compactification of (1,0) SCFTs where the curve of the class S theory emerges through mirror symmetry. We also show that toroidal compactification of the little string version of these theories can lead to class S theories with no punctures on arbitrary genus Riemann surface.


title: Hidden population size estimation from respondent-driven sampling: a network approach

abstract: Estimating the size of stigmatized, hidden, or hard-to-reach populations is a major problem in epidemiology, demography, and public health research. Capture-recapture and multiplier methods have become standard tools for inference of hidden population sizes, but they require independent random sampling of target population members, which is rarely possible. Respondent-driven sampling (RDS) is a survey method for hidden populations that relies on social link tracing. The RDS recruitment process is designed to spread through the social network connecting members of the target population. In this paper, we show how to use network data revealed by RDS to estimate hidden population size. The key insight is that the recruitment chain, timing of recruitments, and network degrees of recruited subjects provide information about the number of individuals belonging to the target population who are not yet in the sample. We use a computationally efficient Bayesian method to integrate over the missing edges in the subgraph of recruited individuals. We validate the method using simulated data and apply the technique to estimate the number of people who inject drugs in St. Petersburg, Russia.


title: Systematics of nucleon density distributions and neutron skin of nuclei

abstract: Proton and neutron density profiles of 760 nuclei in the mass region of A=16-304are analyzed using the Skyrme energy density for the parameter set SLy4. Simple formulae are obtained to fit the resulting radii and diffuseness data. These formulae may be useful to estimate the values of the unmeasured radii, and especially in extrapolating charge radius values for nuclei which are far from the valley of stability or to perform analytic calculations for bound and/or scattering problems. The obtained neutron and proton root-mean-square radii and the neutron skin thicknesses are in agreement with the available experimental data.


title: Conformally-K\"ahler Ricci solitons and base metrics for warped product Ricci solitons

abstract: We investigate K\"ahler metrics conformal to gradient Ricci solitons, and base metrics of warped product gradient Ricci solitons. The latter we name quasi-solitons. A main assumption that is employed is functional dependence of the soliton potential, with the conformal factor in the first case, and with the warping function in the second. The main result in the first case is a partial classification in dimension $n\geq 4$. In the second case, K\"ahler quasi-soliton metrics satisfying the above main assumption are shown to be, under an additional genericity hypothesis, necessarily Riemannian products. Another theorem concerns quasi-soliton metrics satisfying the above main assumption, which are also conformally K\"ahler. With some additional assumptions it is shown that such metrics are necessarily base metrics of Einstein warped products, that is, quasi-Einstein.


title: ETH Hardness for Densest-$k$-Subgraph with Perfect Completeness

abstract: We show that, assuming the (deterministic) Exponential Time Hypothesis, distinguishing between a graph with an induced $k$-clique and a graph in which all k-subgraphs have density at most $1-\epsilon$, requires $n^{\tilde \Omega(log n)}$ time. Our result essentially matches the quasi-polynomial algorithms of Feige and Seltser [FS97] and Barman [Bar15] for this problem, and is the first one to rule out an additive PTAS for Densest $k$-Subgraph. We further strengthen this result by showing that our lower bound continues to hold when, in the soundness case, even subgraphs smaller by a near-polynomial factor ($k' = k 2^{-\tilde \Omega (log n)}$) are assumed to be at most ($1-\epsilon$)-dense. Our reduction is inspired by recent applications of the "birthday repetition" technique [AIM14,BKW15]. Our analysis relies on information theoretical machinery and is similar in spirit to analyzing a parallel repetition of two-prover games in which the provers may choose to answer some challenges multiple times, while completely ignoring other challenges.


title: A semi empirical expression of the virial coefficients for hard sphere fluids at all density

abstract: We propose a new semi empirical expression of the virial coefficients for a hard sphere fluid which is valid in the disordered phase over the whole density range. The results are in good agreement with the numerical data and better than those of the well-known Carnahan & Starling equation of state in the domain of validity of the later; moreover this new expression accounts for the singularity which is required for the equation of state at the close random packing limit.


title: Chemical reactions induced by oscillating external fields in weak thermal environments

abstract: Chemical reaction rates must increasingly be determined in systems that evolve under the control of external stimuli. In these systems, when a reactant population is induced to cross an energy barrier through forcing from a temporally varying external field, the transition state that the reaction must pass through during the transformation from reactant to product is no longer a fixed geometric structure, but is instead time-dependent. For a periodically forced model reaction, we develop a recrossing-free dividing surface that is attached to a transition state trajectory [T. Bartsch, R. Hernandez, and T. Uzer, Phys. Rev. Lett. 95, 058301 (2005)]. We have previously shown that for single-mode sinusoidal driving, the stability of the time-varying transition state directly determines the reaction rate [G. T. Craven, T. Bartsch, and R. Hernandez, J. Chem. Phys. 141, 041106 (2014)]. Here, we extend our previous work to the case of multi-mode driving waveforms. Excellent agreement is observed between the rates predicted by stability analysis and rates obtained through numerical calculation of the reactive flux. We also show that the optimal dividing surface and the resulting reaction rate for a reactive system driven by weak thermal noise can be approximated well using the transition state geometry of the underlying deterministic system. This agreement persists as long as the thermal driving strength is less than the order of that of the periodic driving. The power of this result is its simplicity. The surprising accuracy of the time-dependent noise-free geometry for obtaining transition state theory rates in chemical reactions driven by periodic fields reveals the dynamics without requiring the cost of brute-force calculations.


title: Is the Universe logotropic?

abstract: We consider the possibility that the universe is made of a single dark fluid described by a logotropic equation of state $P=A\ln(\rho/\rho_*)$, where $\rho$ is the rest-mass density, $\rho_*$ is a reference density, and $A$ is the logotropic temperature. The energy density $\epsilon$ is the sum of two terms: a rest-mass energy term $\rho c^2$ that mimics dark matter and an internal energy term $u(\rho)=-P(\rho)-A$ that mimics dark energy. This decomposition leads to a natural, and physical, unification of dark matter and dark energy, and elucidates their mysterious nature. The logotropic model depends on a single parameter $B=A/\rho_{\Lambda}c^2$ where $\rho_{\Lambda}$ is the cosmological density. For $B=0$, we recover the $\Lambda$CDM model. Using cosmological constraints, we find that $0\le B\le 0.09425$. We consider the possibility that dark matter halos are described by the same logotropic equation of state. When $B>0$, pressure gradients prevent gravitational collapse and provide halo density cores instead of cuspy density profiles, in agreement with the observations. The universal rotation curve of logotropic dark matter halos is consistent with the observational Burkert profile up to the halo radius. Interestingly, if we assume that all the dark matter halos have the same logotropic temperature $B$, we find that their surface density $\Sigma=\rho_0 r_h$ is constant. This result is in agreement with the observations where it is found that $\Sigma_0=141\, M_{\odot}/{\rm pc}^2$ for dark matter halos differing by several orders of magnitude in size. Using this observational result, we obtain $B=3.53\times 10^{-3}$. Assuming that $\rho_*=\rho_P$, where $\rho_P$ is the Planck density, we predict $B=3.53\times 10^{-3}$, in perfect agreement with the value obtained from the observations.


title: Transition state trajectory stability determines barrier crossing rates in chemical reactions induced by time-dependent oscillating fields

abstract: When a chemical reaction is driven by an external field, the transition state that the system must pass through as it changes from reactant to product -for example, an energy barrier- becomes time-dependent. We show that for periodic forcing the rate of barrier crossing can be determined through stability analysis of the non-autonomous transition state. Specifically, strong agreement is observed between the difference in the Floquet exponents describing stability of the transition state trajectory, which defines a recrossing-free dividing surface [G. T. Craven, T. Bartsch, and R. Hernandez, Phys. Rev. E 89, 040801(R) (2014)], and the rates calculated by simulation of ensembles of trajectories. This result opens the possibility to extract rates directly from the intrinsic stability of the transition state, even when it is time-dependent, without requiring a numerically-expensive simulation of the long-time dynamics of a large ensemble of trajectories.


title: Evolution of the electronic band structure of twisted bilayer graphene upon doping

abstract: The electronic band structure of twisted bilayer graphene develops van Hove singularities whose energy depends on the twist angle between the two layers. Using Raman spectroscopy, we monitor the evolution of the electronic band structure upon doping using the G peak area which is enhanced when the laser photon energy is resonant with the energy separation of the van Hove singularities. Upon charge doping, the Raman G peak area initially increases for twist angles larger than a critical angle and decreases for smaller angles. To explain this behavior with twist angle, the energy of separation of the van Hove singularities must decrease with increasing charge density demonstrating the ability to modify the electronic and optical properties of twisted bilayer graphene with doping.


title: Asymptotic behavior of densities of unimodal convolution semigroups

abstract: We prove the asymptotic formulas for the transition densities of isotropic unimodal convolution semigroups of probability measures on $\mathbb{R}^d$ under the assumption that its L\'{e}vy--Khintchine exponent is regularly varying of index between $0$ and $2$.


title: New insights into the problem with a singular drift term in the complex Langevin method

abstract: The complex Langevin method aims at performing path integral with a complex action numerically based on complexification of the original real dynamical variables. One of the poorly understood issues concerns occasional failure in the presence of logarithmic singularities in the action, which appear, for instance, from the fermion determinant in finite density QCD. We point out that the failure should be attributed to the breakdown of the relation between the complex weight that satisfies the Fokker-Planck equation and the probability distribution associated with the stochastic process. In fact, this problem can occur in general when the stochastic process involves a singular drift term. We show, however, in a simple example that there exists a parameter region in which the method works although the standard reweighting method is hardly applicable.


title: Simple and Faster algorithm for Reachability in a Decremental Directed Graph

abstract: Consider the problem of maintaining source sink reachability($st$-Reachability), single source reachability(SSR) and strongly connected component(SCC) in an edge decremental directed graph. In particular, we design a randomized algorithm that maintains with high probability: 1) $st$-Reachability in $\tilde{O}(mn^{4/5})$ total update time. 2) $st$-Reachability in a total update time of $\tilde{O}(n^{8/3})$ in a dense graph. 3) SSR in a total update time of $\tilde{O}(m n^{9/10})$. 4) SCC in a total update time of $\tilde{O}(m n^{9/10})$. For all the above problems, we improve upon the previous best algorithm (by Henzinger et. al. (STOC 2014)). Our main focus is maintaining $st$-Reachability in an edge decremental directed graph (other problems can be reduced to $st$-Reachability). The classical algorithm of Even and Shiloach (JACM 81) solved this problem in $O(1)$ query time and $O(mn)$ total update time. Recently, Henzinger, Krinninger and Nanongkai (STOC 2014) designed a randomized algorithm which achieves an update time of $\tilde{O}(m n^{0.98})$ and broke the long-standing $O(mn)$ bound of Even and Shiloach. However, they designed four algorithms $A_i (1\le i \le 4)$ such that for graphs having total number of edges between $m_i$ and $m_{i+1}$ ($m_{i+1} > m_i$), $A_i$ outperforms other three algorithms. That is, one of the four algorithms may be faster for a particular density range of edges, but it may be too slow asymptotically for the other ranges. Our main contribution is that we design a {\it single} algorithm which works for all types of graphs. Not only is our algorithm faster, it is much simpler than the algorithm designed by Henzinger et.al. (STOC 2014).


title: Rational Proofs with Multiple Provers

abstract: Interactive proofs (IP) model a world where a verifier delegates computation to an untrustworthy prover, verifying the prover's claims before accepting them. IP protocols have applications in areas such as verifiable computation outsourcing, computation delegation, cloud computing. In these applications, the verifier may pay the prover based on the quality of his work. Rational interactive proofs (RIP), introduced by Azar and Micali (2012), are an interactive-proof system with payments, in which the prover is rational rather than untrustworthy---he may lie, but only to increase his payment. Rational proofs leverage the provers' rationality to obtain simple and efficient protocols. Azar and Micali show that RIP=IP(=PSAPCE). They leave the question of whether multiple provers are more powerful than a single prover for rational and classical proofs as an open problem. In this paper, we introduce multi-prover rational interactive proofs (MRIP). Here, a verifier cross-checks the provers' answers with each other and pays them according to the messages exchanged. The provers are cooperative and maximize their total expected payment if and only if the verifier learns the correct answer to the problem. We further refine the model of MRIP to incorporate utility gap, which is the loss in payment suffered by provers who mislead the verifier to the wrong answer. We define the class of MRIP protocols with constant, noticeable and negligible utility gaps. We give tight characterization for all three MRIP classes. We show that under standard complexity-theoretic assumptions, MRIP is more powerful than both RIP and MIP ; and this is true even the utility gap is required to be constant. Furthermore the full power of each MRIP class can be achieved using only two provers and three rounds. (A preliminary version of this paper appeared at ITCS 2016. This is the full version that contains new results.)


title: PerforatedCNNs: Acceleration through Elimination of Redundant Convolutions

abstract: We propose a novel approach to reduce the computational cost of evaluation of convolutional neural networks, a factor that has hindered their deployment in low-power devices such as mobile phones. Inspired by the loop perforation technique from source code optimization, we speed up the bottleneck convolutional layers by skipping their evaluation in some of the spatial positions. We propose and analyze several strategies of choosing these positions. We demonstrate that perforation can accelerate modern convolutional networks such as AlexNet and VGG-16 by a factor of 2x - 4x. Additionally, we show that perforation is complementary to the recently proposed acceleration method of Zhang et al.


title: On the Structure, Covering, and Learning of Poisson Multinomial Distributions

abstract: An $(n,k)$-Poisson Multinomial Distribution (PMD) is the distribution of the sum of $n$ independent random vectors supported on the set ${\cal B}_k=\{e_1,\ldots,e_k\}$ of standard basis vectors in $\mathbb{R}^k$. We prove a structural characterization of these distributions, showing that, for all $\varepsilon >0$, any $(n, k)$-Poisson multinomial random vector is $\varepsilon$-close, in total variation distance, to the sum of a discretized multidimensional Gaussian and an independent $(\text{poly}(k/\varepsilon), k)$-Poisson multinomial random vector. Our structural characterization extends the multi-dimensional CLT of Valiant and Valiant, by simultaneously applying to all approximation requirements $\varepsilon$. In particular, it overcomes factors depending on $\log n$ and, importantly, the minimum eigenvalue of the PMD's covariance matrix from the distance to a multidimensional Gaussian random variable. We use our structural characterization to obtain an $\varepsilon$-cover, in total variation distance, of the set of all $(n, k)$-PMDs, significantly improving the cover size of Daskalakis and Papadimitriou, and obtaining the same qualitative dependence of the cover size on $n$ and $\varepsilon$ as the $k=2$ cover of Daskalakis and Papadimitriou. We further exploit this structure to show that $(n,k)$-PMDs can be learned to within $\varepsilon$ in total variation distance from $\tilde{O}_k(1/\varepsilon^2)$ samples, which is near-optimal in terms of dependence on $\varepsilon$ and independent of $n$. In particular, our result generalizes the single-dimensional result of Daskalakis, Diakonikolas, and Servedio for Poisson Binomials to arbitrary dimension.


title: On the cuspidal support of discrete series for $p$-adic quasisplit $Sp(N)$ and $SO(N)$

abstract: Zelevinsky's classification theory of discrete series of $p$-adic general linear groups has been well known. M{\oe}glin and Tadic gave the same kind of theory for $p$-adic classical groups, which is more complicated due to the occurrence of nontrivial structure of L-packets. Nonetheless, their work is independent of the endoscopic classification theory of Arthur (also Mok in the unitary case), which concerns the structure of L-packets in these cases. So our goal in this paper is to make more explicit the connection between these two very different types of theories. To do so, we reprove the results of M{\oe}glin and Tadic in the case of quasisplit symplectic groups and orthogonal groups by using Arthur's theory.


title: Environment tensor as order parameter for symmetry breaking and (symmetry-protected) topological orders

abstract: Spontaneous symmetry breaking is well understood through the classical "Mexican Hat" picture, which describes many quantum phases of matter. Recently, several new classes of quantum phases of matter, such as topological orders and symmetry protected topological (SPT) orders, were discovered. In an attempt to address the transitions between all those phases of quantum matter under the same framework, we introduced an analogous yet very simple picture for phase transitions in the context of tensor-networks. Using a very simple iteration process, we found that both symmetry breaking and some topological phase transitions (for topological orders described by gauge theory and 1D SPT orders) could be marked by a sudden change in the symmetry structure of the so-called "environment matrix". In this process, the environment matrix serves as an "order parameter" that captures patterns of entanglement in topological phases. The symmetry change in the environment matrix is very much like the symmetry breaking of conventional order parameters. We applied this method to both the transverse Ising model (1D and 2D honeycomb), spin-1 model (1D), and the Toric Code model in a magnetic field (2D honeycomb), and explored the corresponding symmetry structure changes in their environment matrices in details. With just a few variational parameters and a few minutes' run time on a laptop, we could get the corresponding phase transition points within a few percent error compared with the Quantum Monte Carlo results.


title: Reentrant phase transitions and defensive alliances in social dilemmas with informed strategies

abstract: Knowing the strategy of an opponent in a competitive environment conveys obvious evolutionary advantages. But this information is costly, and the benefit of being informed may not necessarily offset the additional cost. Here we introduce social dilemmas with informed strategies, and we show that this gives rise to two cyclically dominant triplets that form defensive alliances. The stability of these two alliances is determined by the rotation velocity of the strategies within each triplet. A weaker strategy in a faster rotating triplet can thus overcome an individually stronger competitor. Fascinating spatial patterns favor the dominance of a single defensive alliance, but enable also the stable coexistence of both defensive alliances in very narrow regions of the parameter space. A continuous reentrant phase transition reveals before unseen complexity behind the stability of strategic alliances in evolutionary social dilemmas.


title: Another look in the Analysis of Cooperative Spectrum Sensing over Nakagami-$m$ Fading Channels

abstract: Modeling and analysis of cooperative spectrum sensing is an important aspect in cognitive radio systems. In this paper, the problem of energy detection (ED) of an unknown signal over Nakagami-$m$ fading is revisited. Specifically, an analytical expression for the local probability of detection is derived, while using the approach of ED at the individual secondary user (SU), a new fusion rule, based on the likelihood ratio test, is presented. The channels between the primary user to SUs and SUs to fusion center are considered to be independent Nakagami-$m$. The proposed fusion rule uses the channel statistics, instead of the instantaneous channel state information, and is based on the Neyman-Pearson criteria. Closed-form solutions for the system-level probability of detection and probability of false alarm are also derived. Furthermore, a closed-form expression for the optimal number of cooperative SUs, needed to minimize the total error rate, is presented. The usefulness of factor graph and sum-product-algorithm models for computing likelihoods, is also discussed to highlight its advantage, in terms of computational cost. The performance of the proposed schemes have been evaluated both by analysis and simulations. Results show that the proposed rules perform well over a wide range of the signal-to-noise ratio.


title: Rule based lexicographical permutation sequences

abstract: In a permutation sequence built by means of sub permutations the transition between successive permutations are subject to a set of n(n - 1)/2 rules that group into n - 1 matrices with a high degree of regularity. By means of these rules the sequence can be produced in O(3n!) time and O(n^3) space.


title: FIFTH system for general-purpose connectionist computation

abstract: To date, work on formalizing connectionist computation in a way that is at least Turing-complete has focused on recurrent architectures and developed equivalences to Turing machines or similar super-Turing models, which are of more theoretical than practical significance. We instead develop connectionist computation within the framework of information propagation networks extended with unbounded recursion, which is related to constraint logic programming and is more declarative than the semantics typically used in practical programming, but is still formally known to be Turing-complete. This approach yields contributions to the theory and practice of both connectionist computation and programming languages. Connectionist computations are carried out in a way that lets them communicate with, and be understood and interrogated directly in terms of the high-level semantics of a general-purpose programming language. Meanwhile, difficult (unbounded-dimension, NP-hard) search problems in programming that have previously been left to the programmer to solve in a heuristic, domain-specific way are solved uniformly a priori in a way that approximately achieves information-theoretic limits on performance.


title: Estimation of connectivity measures in gappy time series

abstract: A new method is proposed to compute connectivity measures on multivariate time series with gaps. Rather than removing or filling the gaps, the rows of the joint data matrix containing empty entries are removed and the calculations are done on the remainder matrix. The method, called measure adapted gap removal (MAGR), can be applied to any connectivity measure that uses a joint data matrix, such as cross correlation, cross mutual information and transfer entropy. MAGR is favorably compared using these three measures to a number of known gap-filling techniques, as well as the gap closure. The superiority of MAGR is illustrated on time series from synthetic systems and financial time series.

categories: stat.ME math.ST physics.data-an q-fin.ST stat.TH


title: New method for highly accurate calculations of the photodetachment cross-sections of the negatively charged hydrogen ions

abstract: New approach to highly accurate calculations of the photodetachment cross-sections of the negatively charged hydrogen ions is developed. This effective, fast and numerically stable method is based on the use of the Rayleigh's formula for the spherical Bessel functions. Photodetachment cross-sections of the negatively charged hydrogen ion(s) ${}^{\infty}$H$^{-}$, ${}^{1}$H$^{-}$ (protium), ${}^{2}$H$^{-}$ (deuterium D$^{-}$) and ${}^{3}$H$^{-}$ (tritium T$^{-}$) are determined with the use of highly accurate, truly correlated, variational wave functions constructed for these ions. Our method allows one to investigate the problem of photodetachment of the negatively charged hydrogen ions completely, i.e. without any limitation by numerical values of the photo-electron momentum $p_e$.


title: A Case Study on Quality Attribute Measurement using MARF and GIPSY

abstract: This literature focuses on doing a comparative analysis between Modular Audio Recognition Framework (MARF) and the General Intentional Programming System (GIPSY) with the help of different software metrics. At first, we understand the general principles, architecture and working of MARF and GIPSY by looking at their frameworks and running them in the Eclipse environment. Then, we study some of the important metrics including a few state of the art metrics and rank them in terms of their usefulness and their influence on the different quality attributes of a software. The quality attributes are viewed and computed with the help of the Logiscope and McCabe IQ tools. These tools perform a comprehensive analysis on the case studies and generate a quality report at the factor level, criteria level and metrics level. In next step, we identify the worst code at each of these levels, extract the worst code and provide recommendations to improve the quality. We implement and test some of the metrics which are ranked as the most useful metrics with a set of test cases in JDeodorant. Finally, we perform an analysis on both MARF and GIPSY by doing a fuzzy code scan using MARFCAT to find the list of weak and vulnerable classes.


title: Determining the Nature of Faint X-Ray Sources from the ASCA Galactic Center Survey

abstract: We present the results of the identification of six objects from the ASCA Galactic center and Galactic plane surveys: AXJ173548-3207, AXJ173628-3141, AXJ1739.5-2910, AXJ1740.4-2856, AXJ1740.5-2937, AXJ1743.9-2846. Chandra, XMM-Newton, and XRT/Swift X-ray data have been used to improve the positions of the optical counterparts to these sources. Thereafter, we have carried out a series of spectroscopic observations of the established optical counterparts at the RTT-150 telescope. Analysis of X-ray and optical spectra as well as photometric measurements in a wide wavelength range based on optical and infrared catalogs has allowed the nature of the program sources to be determined. Two X-ray objects have been detected in the error circle of AXJ173628-3141: one is a coronally active G star and the other may be a symbiotic star, a red giant with an accreting white dwarf. Three sources (AXJ1739.5-2910, AXJ1740.5-2937, AXJ1743.9-2846) have turned out to be active G-K stars, presumably RS CVn objects, one (AXJ1740.4-2856) is an M dwarf, and another one (AXJ173548-3207) may be a low-mass X-ray binary in its low state. The distances and corresponding luminosities of the sources in the soft X-ray band have been estimated; analysis of deep INTEGRAL Galactic Center observations has not revealed a statistically significant flux at energies higher 20 keV from any of them.


title: Weakly Broken Galileon Symmetry

abstract: Effective theories of a scalar $\phi$ invariant under the internal \textit{galileon symmetry} $\phi\to\phi+b_\mu x^\mu$ have been extensively studied due to their special theoretical and phenomenological properties. In this paper, we introduce the notion of \textit{weakly broken galileon invariance}, which characterizes the unique class of couplings of such theories to gravity that maximally retain their defining symmetry. The curved-space remnant of the galileon's quantum properties allows to construct (quasi) de Sitter backgrounds largely insensitive to loop corrections. We exploit this fact to build novel cosmological models with interesting phenomenology, relevant for both inflation and late-time acceleration of the universe.


title: Modelling the cosmic neutral hydrogen from DLAs and 21 cm observations

abstract: We review the analytical prescriptions in the literature to model the 21-cm (emission line surveys/intensity mapping experiments) and Damped Lyman-Alpha (DLA) observations of neutral hydrogen (HI) in the post-reionization universe. While these two sets of prescriptions have typically been applied separately for the two probes, we attempt to connect these approaches to explore the consequences for the distribution and evolution of HI across redshifts. We find that a physically motivated, 21-cm based prescription, extended to account for the DLA observables provides a good fit to the majority of the available data, but cannot accommodate the recent measurement of the clustering of DLAs at $z \sim 2.3$. This highlights a tension between the DLA bias and the 21-cm measurements, unless there is a very significant change in the nature of HI-bearing systems across redshifts 0-3. We discuss the implications of our findings for the characteristic host halo masses of the DLAs and the power spectrum of 21-cm intensity fluctuations.


title: Geometry of 6D RG Flows

abstract: We study renormalization group flows between six-dimensional superconformal field theories (SCFTs) using their geometric realizations as singular limits of F-theory compactified on elliptically fibered Calabi-Yau threefolds. There are two general types of flows: One corresponds to giving expectation values to scalars in the tensor multiplets (tensor branch flow) realized as resolving the base of the geometry. The other corresponds to giving expectation values to hypermultiplets (Higgs branch flow) realized as complex structure deformations of the geometry. To corroborate this physical picture we calculate the change in the anomaly polynomial for these theories, finding strong evidence for a flow from a UV fixed point to an IR fixed point. Moreover, we find evidence against non-trivial dualities for 6D SCFTs. In addition we find non-trivial RG flows for theories realizing small E8 instantons on ALE spaces.


title: Cosmic star formation history and AGN evolution near and far: AKARI reveals both

abstract: Understanding infrared (IR) luminosity is fundamental to understanding the cosmic star formation history and AGN evolution, since their most intense stages are often obscured by dust. Japanese infrared satellite, AKARI, provided unique data sets to probe this both at low and high redshifts. The AKARI performed all sky survey in 6 IR bands (9, 18, 65, 90, 140, and 160$\mu$m) with 3-10 times better sensitivity than IRAS, covering the crucial far-IR wavelengths across the peak of the dust emission. Combined with a better spatial resolution, AKARI can much more precisely measure the total infrared luminosity ($L_{TIR}$) of individual galaxies, and thus, the total infrared luminosity density of the local Universe. In the AKARI NEP deep field, we construct restframe 8$\mu$m, 12$\mu$m, and total infrared (TIR) luminosity functions (LFs) at 0.15$<z<$2.2 using 4128 infrared sources. A continuous filter coverage in the mid-IR wavelength (2.4, 3.2, 4.1, 7, 9, 11, 15, 18, and 24$\mu$m) by the AKARI satellite allows us to estimate restframe 8$\mu$m and 12$\mu$m luminosities without using a large extrapolation based on a SED fit, which was the largest uncertainty in previous work. By combining these two results, we reveal dust-hidden cosmic star formation history and AGN evolution from $z$=0 to $z$=2.2, all probed by the AKARI satellite.


title: Accelerating the Discovery of Light Dark Matter

abstract: We analyze the present status of sub-GeV thermal dark matter annihilating through Standard Model mixing and identify a small set of future experiments that can decisively test these scenarios.


title: Hyper Suprime-Camera Survey of the AKARI NEP wide field

abstract: The extragalactic background suggests half the energy generated by stars reprocessed into the infrared (IR) by dust. At z$\sim$1.3, 90\% of star formation is obscured by dust. To fully understand the cosmic star formation history, it is critical to investigate infrared emission. AKARI has made deep mid-IR observation using its continuous 9-band filters in the NEP field (5.4 deg$^2$), using $\sim$10\% of the entire pointed observations available throughout its lifetime. However, there remain 11,000 AKARI's infrared sources undetected with the previous CFHT/Megacam imaging ($r\sim$25.9ABmag). Redshift and IR luminosity of these sources are unknown. These sources may contribute significantly to the cosmic star-formation rate density (CSFRD). For example, if they all lie at 1$<z<$2, the CSFRD will be twice as high at the epoch. We are carrying out deep imaging of the NEP field in 5 broad bands ($g,r,i,z,$ and $y$) using Hyper Suprime-Camera (HSC), which has 1.5 deg field of view in diameter on Subaru 8m telescope. This will provide photometric redshift information, and thereby IR luminosity for the previously-undetected 11,000 faint AKARI IR sources. Combined with AKARI's mid-IR AGN/SF diagnosis, and accurate mid-IR luminosity measurement, this will allow a complete census of cosmic star-formation/AGN accretion history obscured by dust.


title: CO luminosity - line width correlation of sub-millimeter galaxies and a possible cosmological application

abstract: Context. A possible correlation between CO luminosity (L_CO ) and its line width (FWHM) has been suggested and denied in the literature. Such claims were often based on a small, or heterogeneous sample of galaxies, and thus inconclusive. Aims. We aim to prove or dis-prove the L_CO -FWHM correlation. Methods. We compile a large sample of submm galaxies at z>2 from the literature, and investigate the L_CO-FWHM relation. Results. After carefully evaluating the selection effects and uncertainties such as inclination and magnification via gravitational lensing, we show that there exist a weak but significant correlation between L_CO and FWHM. We also discuss a feasibility to measure the cosmological distance using the correlation.


title: Criteria for Sample Selection to Maximize Planet Sensitivity and Yield from Space-Based Microlens Parallax Surveys

abstract: Space-based microlens parallax measurements are a powerful tool for understanding planet populations, especially their distribution throughout the Galaxy. However, if space-based observations of the microlensing events must be specifically targeted, it is crucial that microlensing events enter the parallax sample without reference to the known presence or absence of planets. Hence, it is vital to define objective criteria for selecting events where possible and to carefully consider and minimize the selection biases where not possible so that the final sample represents a controlled experiment. We present objective criteria for initiating observations and determining their cadence for a subset of events, and we define procedures for isolating subjective decision making from information about detected planets for the remainder of events. We also define procedures to resolve conflicts between subjective and objective selections. These procedures maximize planet sensitivity of the sample as a whole by allowing for planet detections even if they occur before satellite observations for objectively-selected events and by helping to trigger fruitful follow-up observations for subjectively-chosen events. This paper represents our public commitment to these procedures, which is a necessary component of enforcing objectivity on the experimental protocol.


title: Polarization modulation from Lense-Thirring precession in X-ray binaries

abstract: It has long been recognised that quasi-periodic oscillations (QPOs) in the X-ray light curves of accreting black hole and neutron star binaries have the potential to be powerful diagnostics of strong field gravity. However, this potential cannot be fulfilled without a working theoretical model, which has remained elusive. Perhaps the most promising model associates the QPO with Lense-Thirring precession of the inner accretion flow, with the changes in viewing angle and Doppler boosting modulating the flux over the course of a precession cycle. Here, we consider the polarization signature of a precessing inner accretion flow. We use simple assumptions about the Comptonization process generating the emitted spectrum and take all relativistic effects into account, parallel transporting polarization vectors towards the observer along null geodesics in the Kerr metric. We find that both the degree of linear polarization and the polarization angle should be modulated on the QPO frequency. We calculate the predicted absolute rms variability amplitude of the polarization degree and angle for a specific model geometry. We find that it should be possible to detect these modulations for a reasonable fraction of parameter space with a future X-ray polarimeter such as NASA's Polarization Spectroscopic Telescope Array (PolSTAR: the satellite incarnation of the recent balloon experiment X-Calibur).


title: Binary Frequencies in Globular Clusters

abstract: Binary stars are predicted to have an important role in the evolution of globular clusters, so we obtained binary fractions for 35 globular clusters that were imaged in the F606W and F814W with the ACS on the Hubble Space Telescope. When compared to the values of prior efforts (Sollima et al. 2007; Milone et al. 2012), we find significant discrepancies, despite each group correcting for contamination effects and having performed the appropriate reliability tests. The most reliable binary fractions are obtained when restricting the binary fraction to q > 0.5. Our analysis indicates that the range of the binary fractions is nearly an order of magnitude for the lowest dynamical ages, suggesting that there is a broad distribution in the binary fraction at globular cluster formation. Dynamical effects also appears to decrease the core binary fractions by a factor of two over a Hubble time, but this is a weak relationship. We confirm a correlation from previous work that the binary fraction within the core radius decreases with cluster age, indicating that younger clusters formed with higher binary fractions. The strong radial gradient in the binary fraction with cluster radius appears to be a consequence of dynamical interactions. It is often not present in dynamically young clusters but nearly always present in dynamically old clusters.


title: Comparative Analysis of Classic Garbage-Collection Algorithms for a Lisp-like Language

abstract: In this paper, we demonstrate the effectiveness of Cheney's Copy Algorithm for a Lisp-like system and experimentally show the infeasability of developing an optimal garbage collector for general use. We summarize and compare several garbage-collection algorithms including Cheney's Algorithm, the canonical Mark and Sweep Algorithm, and Knuth's Classical Lisp 2 Algorithm. We implement and analyze these three algorithms in the context of a custom MicroLisp environment. We conclude and present the core considerations behind the development of a garbage collector---specifically for Lisp---and make an attempt to investigate these issues in depth. We also discuss experimental results that imply the effectiveness of Cheney's algorithm over Mark-Sweep for Lisp-like languages.


title: Visual properties of generalized Kloosterman sums

abstract: For a positive integer $m$ and a subgroup $\Lambda$ of the unit group $(\mathbb{Z}/m\mathbb{Z})^\times$, the corresponding generalized Kloosterman sum is the function $K(a,b,m,\Lambda) = \sum_{u \in \Lambda}e(\frac{au + bu^{-1}}{m})$. Unlike classical Kloosterman sums, which are real valued, generalized Kloosterman sums display a surprising array of visual features when their values are plotted in the complex plane. In a variety of instances, we identify the precise number-theoretic conditions that give rise to particular phenomena.


title: Another Solution to the Thue Problem of Non-Repeating Words

abstract: In this work we consider morphisms that preserve well-known non-repeating properties: squarefreeness, cubefreeness, overlap-freeness and weak squarefreeness. Up to the present moment only the morphisms preserving three out of four non-repeating properties have been known. The problem of the existence of weakly squarefree morphisms was open. The essential result of this work is the positive solution to this problem. An example of the morphism preserving all four properties is provided. Also, it is proved that there are no morphisms with the same properties and a lower rank.


title: Visualization of steps and surface reconstructions in Helium Ion Microscopy with atomic precision

abstract: Helium Ion Microscopy is known for its surface sensitivity and high lateral resolution. Here, we present results of a Helium Ion Microscopy based investigation of a surface confined alloy of Ag on Pt(111). Based on a change of the work function of 25\,meV across the atomically flat terraces we can distinguish Pt rich from Pt poor areas and visualize the single atomic layer high steps between the terraces. Furthermore, dechanneling contrast has been utilized to measure the periodicity of the hcp/fcc pattern formed in the 2--3 layers thick Ag/Pt alloy film. A periodicity of 6.65\,nm along the $\langle\overline{11}2\rangle$ surface direction has been measured. In terms of crystallography a hcp domain is obtained through a lateral displacement of a part of the outermost layer by $1/\sqrt{3}$ of a nearest neighbour spacing along $\langle\overline{11}2\rangle$. This periodicity is measured with atomic precision: coincidence between the Ag and the Pt lattices is observed for 23 Ag atoms on 24 Pt atoms. The findings are perfectly in line with results obtained with Low Energy Electron Microscopy and Phase Contrast Atomic Force Microscopy.


title: Explicit arithmetic of Jacobians of generalized Legendre curves over global function fields

abstract: We study the Jacobian $J$ of the smooth projective curve $C$ of genus $r-1$ with affine model $y^r = x^{r-1}(x + 1)(x + t)$ over the function field $\mathbb{F}_p(t)$, when $p$ is prime and $r\ge 2$ is an integer prime to $p$. When $q$ is a power of $p$ and $d$ is a positive integer, we compute the $L$-function of $J$ over $\mathbb{F}_q(t^{1/d})$ and show that the Birch and Swinnerton-Dyer conjecture holds for $J$ over $\mathbb{F}_q(t^{1/d})$. When $d$ is divisible by $r$ and of the form $p^\nu +1$, and $K_d := \mathbb{F}_p(\mu_d,t^{1/d})$, we write down explicit points in $J(K_d)$, show that they generate a subgroup $V$ of rank $(r-1)(d-2)$ whose index in $J(K_d)$ is finite and a power of $p$, and show that the order of the Tate-Shafarevich group of $J$ over $K_d$ is $[J(K_d):V]^2$. When $r>2$, we prove that the "new" part of $J$ is isogenous over $\overline{\mathbb{F}_p(t)}$ to the square of a simple abelian variety of dimension $\phi(r)/2$ with endomorphism algebra $\mathbb{Z}[\mu_r]^+$. For a prime $\ell$ with $\ell \nmid pr$, we prove that $J[\ell](L)=\{0\}$ for any abelian extension $L$ of $\overline{\mathbb{F}}_p(t)$.


title: Unimodular Gravity Redux

abstract: It is well known that the problem of the cosmological constant appears in a new light in Unimodular Gravity. In particular, the zero momentum piece of the potential does not automatically produce a corresponding cosmological constant. Here we show that quantum corrections do not renormalize the classical value of this observable.


title: Deterministic Sampling-Based Motion Planning: Optimality, Complexity, and Performance

abstract: Probabilistic sampling-based algorithms, such as the probabilistic roadmap (PRM) and the rapidly-exploring random tree (RRT) algorithms, represent one of the most successful approaches to robotic motion planning, due to their strong theoretical properties (in terms of probabilistic completeness or even asymptotic optimality) and remarkable practical performance. Such algorithms are probabilistic in that they compute a path by connecting independently and identically distributed random points in the configuration space. Their randomization aspect, however, makes several tasks challenging, including certification for safety-critical applications and use of offline computation to improve real-time execution. Hence, an important open question is whether similar (or better) theoretical guarantees and practical performance could be obtained by considering deterministic, as opposed to random sampling sequences. The objective of this paper is to provide a rigorous answer to this question. Specifically, we first show that PRM, for a certain selection of tuning parameters and deterministic low-dispersion sampling sequences, is deterministically asymptotically optimal. Second, we characterize the convergence rate, and we find that the factor of sub-optimality can be very explicitly upper-bounded in terms of the l2-dispersion of the sampling sequence and the connection radius of PRM. Third, we show that an asymptotically optimal version of PRM exists with computational and space complexity arbitrarily close to O(n) (the theoretical lower bound), where n is the number of points in the sequence. This is in stark contrast to the O(n logn) complexity results for existing asymptotically-optimal probabilistic planners. Finally, through numerical experiments, we show that planning with deterministic low-dispersion sampling generally provides superior performance in terms of path cost and success rate.


title: Gamma Ray Burst as Sources of Exotic Particles

abstract: We consider the possible production of stable lightest first level KK particle (LKP) in baryonic gamma ray bursts (GRB) out flows. We numerically computed the energy-dependent cross-sections of Kaluza-Klein (KK) excitations for the Standard Model gauge bosons, photon and Z. Next, we determined the feasibility of producing these KK excitations in gamma-ray emitting regions of GRBs. We found that a GRB fireball that accelerates baryons to energies greater than 10^14 eV could produce KK excitations out to approximately 10^12 cm from the central engine, indicating that GRBs may be a significant source of the LKP. Finally, we explore the potential observational consequences of our results.


title: Rayleigh-Taylor Unstable Flames -- Fast or Faster?

abstract: Rayleigh-Taylor (RT) unstable flames play a key role in the explosions of Type Ia supernovae. However, the dynamics of these flames is still not well-understood. RT unstable flames are affected by both the RT instability of the flame front and by RT-generated turbulence. The coexistence of these factors complicates the choice of flame speed subgrid models for full-star Type Ia simulations. Both processes can stretch and wrinkle the flame surface, increasing its area and, therefore, the burning rate. In past research, subgrid models have been based on either the RT instability or turbulence setting the flame speed. We evaluate both models, checking their assumptions and their ability to correctly predict the turbulent flame speed. Specifically, we analyze a large parameter study of 3D direct numerical simulations of RT unstable model flames. This study varies both the simulation domain width and the gravity in order to probe a wide range of flame behaviors. We show that RT unstable flames are different from traditional turbulent flames: they are thinner, rather than thicker when turbulence is stronger. We also show that none of several different types of turbulent flame speed models accurately predicts measured flame speeds. In addition, we find that the RT flame speed model only correctly predicts the measured flame speed in a certain parameter regime. Finally, we propose that the formation of cusps may be the factor causing the flame to propagate more quickly than predicted by the RT model.


title: Distributed Multilevel Diversity Coding

abstract: In distributed multilevel diversity coding, $K$ correlated sources (each with $K$ components) are encoded in a distributed manner such that, given the outputs from any $\alpha$ encoders, the decoder can reconstruct the first $\alpha$ components of each of the corresponding $\alpha$ sources. For this problem, the optimality of a multilayer Slepian-Wolf coding scheme based on binning and superposition is established when $K\leq 3$. The same conclusion is shown to hold for general $K$ under a certain symmetry condition, which generalizes a celebrated result by Yeung and Zhang.


title: Nanoscale displacement sensing based on nonlinear frequency mixing in quantum cascade lasers

abstract: We demonstrate a sensor scheme for nanoscale target displacement that relies on a single Quantum Cascade Laser (QCL) subject to optical feedback. The system combines the inherent sensitivity of QCLs to optical re-injection and their ultra-stability in the strong feedback regime where nonlinear frequency mixing phenomena are enhanced. An experimental proof of principle in the micrometer wavelength scale is provided. We perform real-time measurements of displacement with {\lambda}/100 resolution by inserting a fast-shifting reference etalon in the external cavity. The resulting signal dynamics at the QCL terminals shows a stroboscopic-like effect that relates the sensor resolution with the reference etalon speed. Intrinsic limits to the measurement algorithm and to the reference speed are discussed, disclosing that nanoscale ranges are attainable.


title: The Leptoquark Implication from the CMS and IceCube Experiments

abstract: The recent excess in the CMS measurements of $eejj$ and $e\nu jj$ channels and the emergence of PeV comsic neutrino events at the IceCube experiment share an intriguing implication for a leptoquark with a 600-650 GeV mass. We investigate the CMS constraints on the flavor structure of a scenario with the minimal leptoquark Yukawa couplings and correlate such a scenario to the resonant enhancement in the very high energy shower event rates at the IceCube. We find for a single leptoquark, the CMS signals require large couplings to the third generation leptons. This leads to an enhancement in the $\nu_\tau$-nucleon scattering cross-section and subsequently more $\nu_\tau$ events at PeV energies. However, a visible enhancement above the Standard Model scattering would require a leptoquark Yukawa coupling larger than one that can be easily tested at the upcoming LHC runs.


title: Differentiable positive definite functions on two-point homogeneous spaces

abstract: In this paper we study continuous kernels on compact two point homogeneous spaces which are positive definite and zonal (isotropic). Such kernels were characterized by R. Gangolli some forty years ago and are very useful for solving scattered data interpolation problems on the spaces. In the case the space is the $d$-dimensional unit sphere, J. Ziegel showed in 2013 that the radial part of a continuous positive definite and zonal kernel is continuously differentiable up to order $\lfloor (d-1)/2 \rfloor$ in the interior of its domain. The main issue here is to obtain a similar result for all the other compact two point homogeneous spaces.


title: Voigt-wave propagation in active materials

abstract: If a dissipative anisotropic dielectric material, characterized by the permittivity matrix $\underline{\underline{\epsilon}}$, supports Voigt-wave propagation, then so too does the analogous active material characterized by the permittivity matrix $\underline{\underline{{\tilde{\epsilon}}}}$, where $\underline{\underline{{\tilde{\epsilon}}}}$ is the hermitian conjugate of $\underline{\underline{\epsilon}}$. Consequently, a dissipative material that supports Voigt-wave propagation can give rise to a material that supports the propagation of Voigt waves with attendant linear gain in amplitude with propagation distance, by infiltration with an active dye.


title: Cavity squeezing by a quantum conductor

abstract: Hybrid architectures integrating mesoscopic electronic conductors with resonant microwave cavities have a great potential for investigating unexplored regimes of electron-photon coupling. In this context, producing nonclassical squeezed light is a key step towards quantum communication with scalable solid-state devices. Here we show that parametric driving of the electronic conductor induces a squeezed steady state in the cavity. We find that squeezing properties of the cavity are essentially determined by the electronic noise correlators of the quantum conductor. In the case of a tunnel junction, we predict that squeezing is optimized by applying a time-periodic series of quantized $\delta-$peaks in the bias voltage. For an asymmetric quantum dot, we show that a sharp Leviton pulse is able to achieve perfect cavity squeezing.


title: Emptiness formation probability of the six-vertex model and the sixth Painlev\'e equation

abstract: We show that the emptiness formation probability of the six-vertex model with domain wall boundary conditions at its free-fermion point is a $\tau$-function of the sixth Painlev\'e equation. Using this fact we derive asymptotics of the emptiness formation probability in the thermodynamic limit.


title: Optical diode effect in the room-temperature multiferroic BiFeO$_3

abstract: Multiferroics permit the magnetic control of the electric polarization and electric control of the magnetization. These static magnetoelectric (ME) effects are of enormous interest: The ability to read and write a magnetic state current-free by an electric voltage would provide a huge technological advantage. Dynamic or optical ME effects are equally interesting because they give rise to unidirectional light propagation as recently observed in low-temperature multiferroics. This phenomenon, if realized at room temperature, would allow the development of optical diodes which transmit unpolarized light in one, but not in the opposite direction. Here, we report strong unidirectional transmission in the room-temperature multiferroic BiFeO$_3$ over the gigahertz--terahertz frequency range. Supporting theory attributes the observed unidirectional transmission to the spin-current driven dynamic ME effect. These findings are an important step toward the realization of optical diodes, supplemented by the ability to switch the transmission direction with a magnetic or electric field.


title: The Logotropic Dark Fluid as a unification of dark matter and dark energy

abstract: We propose a heuristic unification of dark matter and dark energy in terms of a single dark fluid with a logotropic equation of state $P=A\ln(\rho/\rho_P)$, where $\rho$ is the rest-mass density, $\rho_P$ is the Planck density, and $A$ is the logotropic temperature. The energy density $\epsilon$ is the sum of a rest-mass energy term $\rho c^2$ mimicking dark matter and an internal energy term $u(\rho)=-P(\rho)-A$ mimicking dark energy. The logotropic temperature is approximately given by $A \simeq \rho_{\Lambda}c^2/\ln(\rho_P/\rho_{\Lambda})\simeq\rho_{\Lambda}c^2/[123 \ln(10)]$, where $\rho_{\Lambda}$ is the cosmological density. More precisely, we obtain $A=2.13\times 10^{-9} \, {\rm g}\, {\rm m}^{-1}\, {\rm s}^{-2}$ that we interpret as a fundamental constant. At the cosmological scale, this model fullfills the same observational constraints as the $\Lambda$CDM model. However, it has a nonzero velocity of sound and a nonzero Jeans length which, at the beginning of the matter era, is about $\lambda_J=40.4\, {\rm pc}$, in agreement with the minimum size of the dark matter halos observed in the universe. At the galactic scale, the logotropic pressure balances gravitational attraction and solves the cusp problem and the missing satellite problem. The logotropic equation of state generates a universal rotation curve that agrees with the empirical Burkert profile of dark matter halos up to the halo radius. In addition, it implies that all the dark matter halos have the same surface density $\Sigma_0=\rho_0 r_h=141\, M_{\odot}/{\rm pc}^2$ and that the mass of dwarf galaxies enclosed within a sphere of fixed radius $r_{u}=300\, {\rm pc}$ has the same value $M_{300}=1.93\times 10^{7}\, M_{\odot}$, in remarkable agreement with the observations.


title: Coherent Control of Photoelectron Wavepacket Angular Interferograms

abstract: Coherent control over photoelectron wavepackets, via the use of polarization-shaped laser pulses, can be understood as a time and polarization-multiplexed process. In this work, we investigate this multiplexing via computation of the observable photoelectron angular interferograms resulting from multi-photon atomic ionization with polarization-shaped laser pulses. We consider the polarization sensitivity of both the instantaneous and cumulative continuum wavefunction; the nature of the coherent control over the resultant photoelectron interferogram is thus explored in detail. Based on this understanding, the use of coherent control with polarization-shaped pulses as a methodology for a highly multiplexed coherent quantum metrology is also investigated, and defined in terms of the information content of the observable.


title: Influence in Classification via Cooperative Game Theory

abstract: A dataset has been classified by some unknown classifier into two types of points. What were the most important factors in determining the classification outcome? In this work, we employ an axiomatic approach in order to uniquely characterize an influence measure: a function that, given a set of classified points, outputs a value for each feature corresponding to its influence in determining the classification outcome. We show that our influence measure takes on an intuitive form when the unknown classifier is linear. Finally, we employ our influence measure in order to analyze the effects of user profiling on Google's online display advertising.


title: Dynamics of clusters of galaxies with extended $f(\chi)$ gravity

abstract: In this article, we present the results of a fourth order perturbation analysis of the metric theory of gravity $f(\chi) = \chi^{3/2}$, with $\chi$ a suitable dimensionless Ricci scalar. Such model corresponds to a specific $f(R)$ metric theory of gravity, where the mass of the system is included into the gravitational field's action. In previous works we have shown that, up to the second order in perturbations, this theory reproduces flat rotation curves of galaxies and the details of the gravitational lensing in individual, groups and clusters of galaxies. Here, leaving fixed the results from our previous works, we show that the theory reproduces the dynamical masses of 12 Chandra X-ray galaxy clusters, without the need of dark matter, through the metric coefficients up to the fourth order of approximation. In this sense, we calculate the first relativistic correction of the $f(\chi)$ metric theory and apply it to fit the dynamical masses of the clusters of galaxies.


title: Cotangent bundle to the Grassmann variety

abstract: We show that there is an affine Schubert variety in the infinite dimensional partial Flag variety (associated to the two- step parabolic subgroup of the Kac-Moody group {\hat SL(n)}, corresponding to omitting {\alpha}_0,{\alpha}_d) which is a natural compactification of the cotangent bundle to the Grassmann variety.


title: Learning Cooperative Games

abstract: This paper explores a PAC (probably approximately correct) learning model in cooperative games. Specifically, we are given $m$ random samples of coalitions and their values, taken from some unknown cooperative game; can we predict the values of unseen coalitions? We study the PAC learnability of several well-known classes of cooperative games, such as network flow games, threshold task games, and induced subgraph games. We also establish a novel connection between PAC learnability and core stability: for games that are efficiently learnable, it is possible to find payoff divisions that are likely to be stable using a polynomial number of samples.


title: Overlapping and Non-overlapping Camera Layouts for Robot Pose Estimation

abstract: We study the use of overlapping and non-overlapping camera layouts in estimating the ego-motion of a moving robot. To estimate the location and orientation of the robot, we investigate using four cameras as non-overlapping individuals, and as two stereo pairs. The pros and cons of the two approaches are elucidated. The cameras work independently and can have larger field of view in the non-overlapping layout. However, a scale factor ambiguity should be dealt with. On the other hand, stereo systems provide more accuracy but require establishing feature correspondence with more computational demand. For both approaches, the extended Kalman filter is used as a real-time recursive estimator. The approaches studied are verified with synthetic and real experiments alike.


title: Modeling neural activity at the ensemble level

abstract: Here we demonstrate that the activity of neural ensembles can be quantitatively modeled. We first show that an ensemble dynamical model (EDM) accurately approximates the distribution of voltages and average firing rate per neuron of a population of simulated integrate-and-fire neurons. EDMs are high-dimensional nonlinear dynamical models. To faciliate the estimation of their parameters we present a dimensionality reduction method and study its performance with simulated data. We then introduce and evaluate a maximum-likelihood method to estimate connectivity parameters in networks of EDMS. Finally, we show that this model an methods accurately approximate the high-gamma power evoked by pure tones in the auditory cortex of rodents. Overall, this article demonstrates that quantitatively modeling brain activity at the ensemble level is indeed possible, and opens the way to understanding the computations performed by neural ensembles, which could revolutionarize our understanding of brain function.


title: Construction of the CHIPS-M prototype and simulations of a 10 kiloton module

abstract: During the summer of 2014, the CHIPS collaboration constructed and deployed CHIPS-M, a 26 ton prototype water Cherenkov detector in a flooded mine pit in Northern Minnesota, 7mrad off-axis from the NuMI neutrino beam. The detector will be recovered in summer 2015 after taking cosmic ray data throughout the winter to test the structure and materials, and the water filtration and pumping system. Geant4 simulations of generic water Cherenkov detectors with a variety of PMT types and layouts will be used to guide the design of a 10 kiloton module, intended to provide complementary information to current experiments on \delta_{CP}, and chart a course towards cheaper large neutrino detectors.


title: CloudTree: A Library to Extend Cloud Services for Trees

abstract: In this work, we propose a library that enables on a cloud the creation and management of tree data structures from a cloud client. As a proof of concept, we implement a new cloud service CloudTree. With CloudTree, users are able to organize big data into tree data structures of their choice that are physically stored in a cloud. We use caching, prefetching, and aggregation techniques in the design and implementation of CloudTree to enhance performance. We have implemented the services of Binary Search Trees (BST) and Prefix Trees as current members in CloudTree and have benchmarked their performance using the Amazon Cloud. The idea and techniques in the design and implementation of a BST and prefix tree is generic and thus can also be used for other types of trees such as B-tree, and other link-based data structures such as linked lists and graphs. Preliminary experimental results show that CloudTree is useful and efficient for various big data applications.


title: Incorporating Contact Network Structure in Cluster Randomized Trials

abstract: Whenever possible, the efficacy of a new treatment, such as a drug or behavioral intervention, is investigated by randomly assigning some individuals to a treatment condition and others to a control condition, and comparing the outcomes between the two groups. Often, when the treatment aims to slow an infectious disease, groups or clusters of individuals are assigned en masse to each treatment arm. The structure of interactions within and between clusters can reduce the power of the trial, i.e. the probability of correctly detecting a real treatment effect. We investigate the relationships among power, within-cluster structure, between-cluster mixing, and infectivity by simulating an infectious process on a collection of clusters. We demonstrate that current power calculations may be conservative for low levels of between-cluster mixing, but failing to account for moderate or high amounts can result in severely underpowered studies. Power also depends on within-cluster network structure for certain kinds of infectious spreading. Infections that spread opportunistically through very highly connected individuals have unpredictable infectious breakouts, which makes it harder to distinguish between random variation and real treatment effects. Our approach can be used before conducting a trial to assess power using network information if it is available, and we demonstrate how empirical data can inform the extent of between-cluster mixing.


title: A stochastic system with infinite interacting components to model the time evolution of the membrane potentials of a population of neurons

abstract: We consider a new class of interacting particle systems with a countable number of interacting components. The system represents the time evolution of the membrane potentials of an infinite set of interacting neurons. We prove the existence and uniqueness of the process, using a perfect simulation procedure. We show that this algorithm is successful, that is, we show that the number of steps of the algorithm is almost surely finite. We also construct a perfect simulation procedure for the coupling of a process with a finite number of neurons and the process with a infinite number of neurons. As a consequence, we obtain an upper bound for the error that we make when sampling from a finite set of neurons instead of the infinite set of neurons.


title: Effective field theory approach to LHC Higgs data

abstract: I review the effective field theory approach to LHC Higgs data.


title: Dynamical polynomial chaos expansions and long time evolution of differential equations with random forcing

abstract: Polynomial chaos expansions (PCE) allow us to propagate uncertainties in the coefficients of differential equations to the statistics of their solutions. Their main advantage is that they replace stochastic equations by systems of deterministic equations. Their main challenge is that the computational cost becomes prohibitive when the dimension of the parameters modeling the stochasticity is even moderately large. We propose a generalization of the PCE framework that allows us to keep this dimension as small as possible in favorable situations. For instance, in the setting of stochastic differential equations (SDEs) with Markov random forcing, we expect the future evolution to depend on the present solution and the future stochastic variables. We present a restart procedure that precisely allows PCE to depend only on that information. The computational difficulty then becomes the construction of orthogonal polynomials for dynamically evolving measures. We present theoretical results of convergence for our Dynamical generalized Polynomial Chaos (DgPC) method. Numerical simulations for linear and nonlinear SDEs show that it adequately captures the long-time behavior of their solutions as well as their invariant measures when the latter exist.


title: PROPs for Linear Systems

abstract: A PROP is a symmetric monoidal category whose objects are the nonnegative integers and whose tensor product on objects is addition. A morphism from $m$ to $n$ in a PROP can be visualized as a string diagram with $m$ input wires and $n$ output wires. For a field $k$, the PROP $\mathrm{FinVect}_k$ where morphisms are $k$-linear maps is used by Baez and Erbele to study signal-flow diagrams. We aim to generalize their result characterizing this PROP in terms of generators and relations by looking at the PROP $\mathrm{Mat}(R)$ of matrices of values in $R$, where $R$ is a commutative rig (that is, a generalization of a ring where the condition that each element has an additive inverse is relaxed). To this end, we show that the category of symmetric monoidal functors out of $\mathrm{Mat}(R)$ is equivalent to the category of bicommutative bimonoids equipped with a certain map of rigs; such functors are called algebras. By choosing $R$ correctly, we will see that the algebras of the PROP $\mathrm{FinSpan}$ of finite sets and spans between them are bicommutative bimonoids, while the algebras of the PROP $\mathrm{FinRel}$ of finite sets and relations between them are special bicommuative bimonoids and the algebras of $\mathrm{Mat}(\mathbb Z)$ are bicommutative Hopf monoids.


title: Uncertainty Relations for Angular Momentum

abstract: In this work we study various notions of uncertainty for angular momentum in the spin-s representation of SU(2). We characterize the "uncertainty regions'' given by all vectors, whose components are specified by the variances of the three angular momentum components. A basic feature of this set is a lower bound for the sum of the three variances. We give a method for obtaining optimal lower bounds for uncertainty regions for general operator triples, and evaluate these for small s. Further lower bounds are derived by generalizing the technique by which Robertson obtained his state-dependent lower bound. These are optimal for large s, since they are saturated by states taken from the Holstein-Primakoff approximation. We show that, for all s, all variances are consistent with the so-called vector model, i.e., they can also be realized by a classical probability measure on a sphere of radius sqrt(s(s+1)). Entropic uncertainty relations can be discussed similarly, but are minimized by different states than those minimizing the variances for small s. For large s the Maassen-Uffink bound becomes sharp and we explicitly describe the extremalizing states. Measurement uncertainty, as recently discussed by Busch, Lahti and Werner for position and momentum, is introduced and a generalized observable (POVM) which minimizes the worst case measurement uncertainty of all angular momentum components is explicitly determined, along with the minimal uncertainty. The output vectors for the optimal measurement all have the same length r(s), where r(s)/s goes to 1 as s tends to infinity.


title: An Online Tutor for Astronomy: The GEAS Self-Review Library

abstract: We introduce an interactive online resource for use by students and college instructors in introductory astronomy courses. The General Education Astronomy Source (GEAS) online tutor guides students developing mastery of core astronomical concepts and mathematical applications of general astronomy material. It contains over 12,000 questions, with linked hints and solutions. Students who master the material quickly can advance through the topics, while under-prepared or hesitant students can focus on questions on a certain topic for as long as needed, with minimal repetition. Students receive individual accounts for study and course instructors are provided with overview tracking information, by time and by topic, for entire cohorts of students. Diagnostic tools support self-evaluation and close collaboration between instructor and student, even for distance learners. An initial usage study shows clear trends in performance which increase with study time, and indicates that distance learners using these materials perform as well as or better than a comparison cohort of on-campus astronomy students. We are actively seeking new collaborators to use this resource in astronomy courses and other educational venues.


title: A New Resource for College Distance Education Astronomy Laboratory Exercises

abstract: This article introduces a set of distance education astronomy laboratory exercises for use by college students and instructors and discuss first usage results. This General Astronomy Education Source (GEAS) exercise set contains eight two-week projects designed to guide students through both core content and mathematical applications of general astronomy material. Projects are divided between hands-on activities and computer-aided analyses of modern astronomical data. The suite of online resources includes student and instructor guides, laboratory report templates, learning objectives, video tutorials, plotting tools, and web-based applications that allow students to analyze both images and spectra of astronomical objects. A pilot usage study indicates that distance learners using these materials perform as well or better than a comparison cohort of on-campus students. We are actively seeking collaborators to use these resources in astronomy courses and other educational venues.


title: Imaging the Oblique Propagation of Electrons in Germanium Crystals at Low Temperature and Low Electric Field

abstract: Excited electrons in the conduction band of germanium collect into four energy minima, or valleys, in momentum space. These local minima have highly anisotropic mass tensors which cause the electrons to travel in directions which are oblique to an applied electric field at sub-Kelvin temperatures and low electric fields, in contrast to the more isotropic behavior of the holes. This experiment produces, for the first time, a full two-dimensional image of the oblique electron and hole propagation and the quantum transitions of electrons between valleys for electric fields oriented along the [0,0,1] direction. Charge carriers are excited with a focused laser pulse on one face of a germanium crystal and then drifted through the crystal by a uniform electric field of strength between 0.5 and 6 V/cm. The pattern of charge density arriving on the opposite face is used to reconstruct the trajectories of the carriers. Measurements of the two-dimensional pattern of charge density are compared in detail with Monte Carlo simulations developed for the Cryogenic Dark Matter Search (CDMS) to model the transport of charge carriers in high-purity germanium detectors.


title: Necessary detection efficiencies for secure quantum key distribution and bound randomness

abstract: In recent years, several hacking attacks have broken the security of quantum cryptography implementations by exploiting the presence of losses and the ability of the eavesdropper to tune detection efficiencies. We present a simple attack of this form that applies to any protocol in which the key is constructed from the results of untrusted measurements performed on particles coming from an insecure source or channel. Because of its generality, the attack applies to a large class of protocols, from standard prepare-and-measure to device-independent schemes. Our attack gives bounds on the critical detection efficiencies necessary for secure quantum distribution, which show that the implementation of most partly device independent solutions is, from the point of view of detection efficiency, almost as demanding as fully device-independent ones. We also show how our attack implies the existence of a form of bound randomness, namely non-local correlations in which a non-signalling eavesdropper can find out a posteriori the result of any implemented measurement.


title: Differential game of many pursuers with integral constraints on a convex set in the plane

abstract: We study a simple motion differential game of many pursuers and one evader in the plane. We give a nonempty closed convex set in the plane, and the pursuers and evader move on this set. They cannot leave this set during the game. Control functions of players are subject to coordinate-wise integral constraints. If the state of the evader $y$, coincides with that of a pursuer $x_i$, $i=\{1,...,m\}$, at some time $t_i$ (unspecified), i.e. $x_i(t_i)=y(t_i)$, then we say that pursuit is completed. We obtain some conditions under which pursuit can be completed from any position of the players in the given set. Moreover, we construct strategies for the pursuers.


title: Chess players' fame versus their merit

abstract: We investigate a pool of international chess title holders born between 1901 and 1943. Using Elo ratings we compute for every player his expected score in a game with a randomly selected player from the pool. We use this figure as player's merit. We measure players' fame as the number of Google hits. The correlation between fame and merit is 0.38. At the same time the correlation between the logarithm of fame and merit is 0.61. This suggests that fame grows exponentially with merit.


title: Stochastic Dynamics and Combinatorial Optimization

abstract: Natural dynamics is often dominated by sudden nonlinear processes such as neuroavalanches, gamma-ray bursts, solar flares \emph{etc}. that exhibit scale-free statistics much in the spirit of the logarithmic Ritcher scale for earthquake magnitudes. On phase diagrams, stochastic dynamical systems (DSs) exhibiting this type of dynamics belong to the finite-width phase (N-phase for brevity) that precedes ordinary chaotic behavior and that is known under such names as noise-induced chaos, self-organized criticality, dynamical complexity \emph{etc.} Within the recently formulated approximation-free supersymemtric theory of stochastics, the N-phase can be roughly interpreted as the noise-induced "overlap" between integrable and chaotic deterministic dynamics. As a result, the N-phase dynamics inherits the properties of the both. Here, we analyze this unique set of properties and conclude that the N-phase DSs must naturally be the most efficient optimizers: on one hand, N-phase DSs have integrable flows with well-defined attractors that can be associated with candidate solutions and, on the other hand, the noise-induced attractor-to-attractor dynamics in the N-phase is effectively chaotic or a-periodic so that a DS must avoid revisiting solutions/attractors thus accelerating the search for the best solution. Based on this understanding, we propose a method for stochastic dynamical optimization using the N-phase DSs. This method can be viewed as a hybrid of the simulated and chaotic annealing methods. Our proposition can result in a new generation of hardware devices for efficient solution of various search and/or combinatorial optimization problems.


title: Can Galileons solve the muon problem?

abstract: The leptonic bound states positronium and muonium are used to constrain galileon contributions to the Lamb shift of muonic hydrogen. Through the application of a variety of bounds on lepton compositeness, it is shown that either the assumption of equating the charge radius of a particle with its galileon scale radius is incompatible with experiments or the scale of galileons must be $M>1.33$ GeV, too large to solve the muon problem. The possibility of stronger constraints in the future from true muonium are discussed.


title: Transforming NP to P: An Approach to Solve NP Complete Problems

abstract: NP complete problem is one of the most challenging issues. The question of whether all problems in NP are also in P is generally considered one of the most important open questions in mathematics and theoretical computer science as it has far-reaching consequences to other problems in mathematics, computer science, biology, philosophy and cryptography. There are intensive research on proving `NP not equal to P' and `NP equals to P'. However, none of the `proved' results is commonly accepted by the research community up to now. In this paper, instead of proving either one, we aim to provide new perspective: transforming two typical NP complete problems to exactly solvable P problems in polynomial time. This approach helps to solve originally NP complete problems with practical applications. It may shine light on solving other NP complete problems in similar way.