title: Parity-Time Synthetic Laser

abstract: Parity-time (PT) symmetry is a fundamental notion in quantum field theories. It has opened a new paradigm for non-Hermitian Hamiltonians ranging from quantum mechanics, electronics, to optics. In the realm of optics, optical loss is responsible for power dissipation, therefore typically degrading device performance such as attenuation of a laser beam. By carefully exploiting optical loss in the complex dielectric permittivity, however, recent exploration of PT symmetry revolutionizes our understandings in fundamental physics and intriguing optical phenomena such as exceptional points and phase transition that are critical for high-speed optical modulators. The interplay between optical gain and loss in photonic PT synthetic matters offers a new criterion of positively utilizing loss to efficiently manipulate gain and its associated optical properties. Instead of simply compensating optical loss in conventional lasers, for example, it is theoretically proposed that judiciously designed delicate modulation of optical loss and gain can lead to PT synthetic lasing that fundamentally broadens laser physics. Here, we report the first experimental demonstration of PT synthetic lasers. By carefully exploiting the interplay between gain and loss, we achieve degenerate eigen modes at the same frequency but with complex conjugate gain and loss coefficients. In contrast to conventional ring cavity lasers with multiple modes, the PT synthetic micro-ring laser exhibits an intrinsic single mode lasing: the non-threshold PT broken phase inherently associated in such a photonic system squeezes broadband optical gain into a single lasing mode regardless of the gain spectral bandwidth. This chip-scale semiconductor platform provides a unique route towards fundamental explorations of PT physics and next generation of optoelectronic devices for optical communications and computing.


title: A family of quadratic polynomial differential systems with algebraic solutions of arbitrary high degree

abstract: We show that the algebraic curve $a_0(x)(y-r(x))+p_2(x)a'(x)=0,$ where $r(x)$ and $p_2(x)$ are polynomial of degree 1 and 2 respectively and $a_0(x)$ is a polynomial solution of the convenient Fucsh's equation, is an invariant curve of the quadratic planar differential system. We study the particular case when $a_0(x)$ is an orthogonal polynomials. We prove that that in this case the quadratic differential system is Liouvillian integrable.


title: Instabilities in Anisotropic Chiral Plasmas

abstract: Using the Berry-curvature modified kinetic equation we study instabilities in anisotropic chiral plasmas. It is demonstrated that even for a very small value of anisotropic parameter the chiral-imbalance instability is strongly modified. The instability is enhanced when the modes propagates in the direction parallel to the anisotropy vector and it is strongly suppressed when the modes propagate in the perpendicular direction. Further the instabilities in the jet-plasma system is also investigated. For the case when the modes are propagating in direction parallel to the stream velocity we find that there exist a new branch of the dispersion relation arising due to the parity odd effects. We also show that the parity-odd interaction can enhance the streaming instability.


title: Mitigating Cascading Failures in Interdependent Power Grids and Communication Networks

abstract: In this paper, we study the interdependency between the power grid and the communication network used to control the grid. A communication node depends on the power grid in order to receive power for operation, and a power node depends on the communication network in order to receive control signals for safe operation. We demonstrate that these dependencies can lead to cascading failures, and it is essential to consider the power flow equations for studying the behavior of such interdependent networks. We propose a two-phase control policy to mitigate the cascade of failures. In the first phase, our control policy finds the non-avoidable failures that occur due to physical disconnection. In the second phase, our algorithm redistributes the power so that all the connected communication nodes have enough power for operation and no power lines overload. We perform a sensitivity analysis to evaluate the performance of our control policy, and show that our control policy achieves close to optimal yield for many scenarios. This analysis can help design robust interdependent grids and associated control policies.


title: A Design Path for Hierarchical Self-Assembly of Patchy Colloids

abstract: Patchy colloids are promising candidates for building blocks in directed self-assembly. To be successful the surface patterns need to both be simple enough to be synthesized, while feature-rich enough to cause the colloids to self-assemble into desired structures. Achieving this is a challenge for traditional synthesis methods. Recently it has been suggested that the surface pattern themselves can be made to self-assemble. In this paper we show that a wide range of functional structures can be made to self-assemble using this approach. More generally we present a design path for hierarchical targeted self-assembly of patchy colloids. At the level of the surface structure, we use a predictive method utilizing universality of patterns of stripes and spots, coupled with stoichiometric constraints, to cause highly specific and functional patterns to self-assemble on spherical surfaces. We use a minimalistic model of an alkanethiol on gold as a model system and demonstrate that, even with limited control over the interaction between surface constituents, we can obtain patterns that causes the colloids themselves to self-assemble into various complex geometric structures. We demonstrate how variations of the same design path cause in-silico self-assembly of strings, membranes, cubic and spherical aggregates, as well as various crystalline patterns.


title: Optomechanical sensing of spontaneous wave-function collapse

abstract: Quantum experiments with nanomechanical oscillators are regarded as a testbed for hypothetical modifications of the Schr\"{o}dinger equation, which predict a breakdown of the superposition principle and induce classical behavior at the macro-scale. It is generally believed that the sensitivity to these unconventional effects grows with the mass of the mechanical quantum system. Here we show that the opposite is the case for optomechanical systems in the presence of generic noise sources, such as thermal and measurement noise. We determine conditions for distinguishing these decoherence processes from possible collapse-induced decoherence in continuous optomechanical force measurements.


title: Photonic analogue of quantum spin Hall effect

abstract: Symmetry-protected photonic topological insulator exhibiting robust pseudo-spin-dependent transportation, analogous to quantum spin Hall (QSH) phases and topological insulators, are of great importance in fundamental physics. Such transportation robustness is protected by time-reversal symmetry. Since electrons (fermion) and photons (boson) obey different statistics rules and associate with different time-reversal operators (i.e., Tf and Tb, respectively), whether photonic counterpart of Kramers degeneracy is topologically protected by bosonic Tb remains unidentified. Here, we construct the degenerate gapless edge states of two photonic pseudo-spins (left/right circular polarizations) in the band gap of a two-dimensional photonic crystal with strong magneto-electric coupling. We further demonstrated that the topological edge states are in fact protected by Tf rather than commonly believed Tb and their pseudo-spin dependent transportation is robust against Tf invariant impurities, discovering for the first time the topological nature of photons. Our results will pave a way towards novel photonic topological insulators and revolutionize our understandings in topological physics of fundamental particles.


title: Random infinite squarings of rectangles

abstract: A recent preprint (arXiv:1402.2632) introduced a growth procedure for planar maps, whose almost sure limit is "the uniform infinite 3-connected planar map". A classical construction of Brooks, Smith, Stone and Tutte (1940) associates a squaring of a rectangle (i.e. a tiling of a rectangle by squares) to any to finite, edge-rooted planar map with non-separating root edge. We use this construction together with the map growth procedure to define a growing sequence of squarings of rectangles. We prove the sequence of squarings converges to an almost sure limit: a random infinite squaring of a finite rectangle. This provides a canonical planar embedding of the uniform infinite 3-connected planar map. We also show that the limiting random squaring almost surely has a unique point of accumulation.


title: The Appell hypergeometric expansions of the solutions of the general Heun equation

abstract: Starting from the equation obeyed by the derivative, we construct several expansions of the solutions of the general Heun equation in terms of the Appell generalized hypergeometric functions of two variables of the fist kind. Several cases when the expansions reduce to ones written in terms of simpler mathematical functions such as the incomplete Beta function or the Gauss hypergeometric function are identified. The conditions for deriving finite-sum solutions via termination of the series are discussed. In general, the coefficients of the expansions obey four-term recurrence relations; however, there exist certain sets of the parameters for which the recurrence relations involve only two terms, though not successive. The coefficients of the expansions are then explicitly calculated and the general solution of the Heun equation is constructed in terms of the Gauss hypergeometric functions.


title: Analysis of Asymptotically Optimal Sampling-based Motion Planning Algorithms for Lipschitz Continuous Dynamical Systems

abstract: Over the last 20 years significant effort has been dedicated to the development of sampling-based motion planning algorithms such as the Rapidly-exploring Random Trees (RRT) and its asymptotically optimal version (e.g. RRT*). However, asymptotic optimality for RRT* only holds for linear and fully actuated systems or for a small number of non-linear systems (e.g. Dubin's car) for which a steering function is available. The purpose of this paper is to show that asymptotically optimal motion planning for dynamical systems with differential constraints can be achieved without the use of a steering function. We develop a novel analysis on sampling-based planning algorithms that sample the control space. This analysis demonstrated that asymptotically optimal path planning for any Lipschitz continuous dynamical system can be achieved by sampling the control space directly. We also determine theoretical bounds on the convergence rates for this class of algorithms. As the number of iterations increases, the trajectory generated by these algorithms, approaches the optimal control trajectory, with probability one. Simulation results are promising.


title: Quantum and semiclassical phase-space dynamics of a wave packet in strong fields using initial-value representations

abstract: We assess the suitability of quantum and semiclassical initial value representations, exemplified by the coupled coherent states (CCS) method and the Herman Kluk (HK) propagator, respectively, for modeling the dynamics of an electronic wave packet in a strong laser field, if this wave packet is initially bound. Using Wigner quasiprobability distributions and ensembles of classical trajectories, we identify signatures of over-the-barrier and tunnel ionization in phase space for static and time-dependent fields and the relevant sets of phase-space trajectories in order to model such features. Overall, we find good agreement with the full solution of the time-dependent Schr\"odinger equation (TDSE) for Wigner distributions constructed with both initial-value representations. Our results indicate that the HK propagator does not fully account for tunneling and over-the-barrier reflections. However, it is able to partly reproduce features associated with the wave packet crossing classically forbidden regions, although the trajectories employed in its construction always obey classical phase-space constraints. We also show that the Coupled Coherent States (CCS) method represents a fully quantum initial value representation and accurately reproduces the results of a standard TDSE solver. Furthermore, we sow that both the HK propagator and the CCS approach may be successfully employed to compute the time-dependent dipole acceleration and high-harmonic spectra. Nevertheless, the semiclassical propagator exhibits a worse agreement with the TDSE than the outcome of the CCS method, as it neither fully accounts for tunneling nor for over-the-barrier reflections. This leads to a dephasing in the time-dependent wave function which becomes more pronounced for longer times.


title: A Study of Entanglement in a Categorical Framework of Natural Language

abstract: In both quantum mechanics and corpus linguistics based on vector spaces, the notion of entanglement provides a means for the various subsystems to communicate with each other. In this paper we examine a number of implementations of the categorical framework of Coecke, Sadrzadeh and Clark (2010) for natural language, from an entanglement perspective. Specifically, our goal is to better understand in what way the level of entanglement of the relational tensors (or the lack of it) affects the compositional structures in practical situations. Our findings reveal that a number of proposals for verb construction lead to almost separable tensors, a fact that considerably simplifies the interactions between the words. We examine the ramifications of this fact, and we show that the use of Frobenius algebras mitigates the potential problems to a great extent. Finally, we briefly examine a machine learning method that creates verb tensors exhibiting a sufficient level of entanglement.


title: Adaptive Contract Design for Crowdsourcing Markets: Bandit Algorithms for Repeated Principal-Agent Problems

abstract: Crowdsourcing markets have emerged as a popular platform for matching available workers with tasks to complete. The payment for a particular task is typically set by the task's requester, and may be adjusted based on the quality of the completed work, for example, through the use of "bonus" payments. In this paper, we study the requester's problem of dynamically adjusting quality-contingent payments for tasks. We consider a multi-round version of the well-known principal-agent model, whereby in each round a worker makes a strategic choice of the effort level which is not directly observable by the requester. In particular, our formulation significantly generalizes the budget-free online task pricing problems studied in prior work. We treat this problem as a multi-armed bandit problem, with each "arm" representing a potential contract. To cope with the large (and in fact, infinite) number of arms, we propose a new algorithm, AgnosticZooming, which discretizes the contract space into a finite number of regions, effectively treating each region as a single arm. This discretization is adaptively refined, so that more promising regions of the contract space are eventually discretized more finely. We analyze this algorithm, showing that it achieves regret sublinear in the time horizon and substantially improves over non-adaptive discretization (which is the only competing approach in the literature). Our results advance the state of art on several different topics: the theory of crowdsourcing markets, principal-agent problems, multi-armed bandits, and dynamic pricing.


title: Location-Aware Cross-Tier Coordinated Multipoint Transmission in Two-Tier Cellular Networks

abstract: Multi-tier cellular networks are considered as an effective solution to enhance the coverage and data rate offered by cellular systems. In a multi-tier network, high power base stations (BSs) such as macro BSs are overlaid by lower power small cells such as femtocells and/or picocells. However, co-channel deployment of multiple tiers of BSs gives rise to the problem of cross-tier interference that significantly impacts the performance of wireless networks. Multicell cooperation techniques, such as coordinated multipoint (CoMP) transmission, have been proposed as a promising solution to mitigate the impact of the cross-tier interference in multi-tier networks. In this paper, we propose a novel scheme for Location-Aware Cross-Tier Cooperation (LA-CTC) between BSs in different tiers for downlink CoMP transmission in two-tier cellular networks. On one hand, the proposed scheme only uses CoMP transmission to enhance the performance of the users who suffer from high cross-tier interference due to the co-channel deployment of small cells such as picocells. On the other hand, users with good signal-to-interference-plus-noise ratio (${\rm SINR}$) conditions are served directly by a single BS from any of the two tiers. Thus, the data exchange between the cooperating BSs over the backhaul network can be reduced when compared to the traditional CoMP transmission scheme. We use tools from stochastic geometry to quantify the performance gains obtained by using the proposed scheme in terms of outage probability, achievable data rate, and load per BS. We compare the performance of the proposed scheme with that of other schemes in the literature such as the schemes which use cooperation to serve all users and schemes that use range expansion to offload users to the small cell tier.


title: On the finite convergence of a projected cutter method

abstract: The subgradient projection iteration is a classical method for solving a convex inequality. Motivated by works of Polyak and of Crombez, we present and analyze a more general method for finding a fixed point of a cutter, provided that the fixed point set has nonempty interior. Our assumptions on the parameters are more general than existing ones. Various limiting examples and comparisons are provided.


title: Approximate Policy Iteration Schemes: A Comparison

abstract: We consider the infinite-horizon discounted optimal control problem formalized by Markov Decision Processes. We focus on several approximate variations of the Policy Iteration algorithm: Approximate Policy Iteration, Conservative Policy Iteration (CPI), a natural adaptation of the Policy Search by Dynamic Programming algorithm to the infinite-horizon case (PSDP$_\infty$), and the recently proposed Non-Stationary Policy iteration (NSPI(m)). For all algorithms, we describe performance bounds, and make a comparison by paying a particular attention to the concentrability constants involved, the number of iterations and the memory required. Our analysis highlights the following points: 1) The performance guarantee of CPI can be arbitrarily better than that of API/API($\alpha$), but this comes at the cost of a relative---exponential in $\frac{1}{\epsilon}$---increase of the number of iterations. 2) PSDP$_\infty$ enjoys the best of both worlds: its performance guarantee is similar to that of CPI, but within a number of iterations similar to that of API. 3) Contrary to API that requires a constant memory, the memory needed by CPI and PSDP$_\infty$ is proportional to their number of iterations, which may be problematic when the discount factor $\gamma$ is close to 1 or the approximation error $\epsilon$ is close to $0$; we show that the NSPI(m) algorithm allows to make an overall trade-off between memory and performance. Simulations with these schemes confirm our analysis.


title: Markov loops, complex free field and Eulerian circuits

abstract: We study the complex free field associated with a symmetric Markov chain. Applications are given to loop ensembles, second Ray Knight theorem and random Eulerian circuits.


title: Maximum likelihood estimation in the context of a sub-ballistic random walk in a parametric random environment

abstract: We consider a one dimensional sub-ballistic random walk evolving in a parametric i.i.d. random environment. We study the asymptotic properties of the maximum likelihood estimator (MLE) of the parameter based on a single observation of the path till the time it reaches a distant site. In that purpose, we adapt the method developed in the ballistic case by Comets et al (2014) and Falconnet, Loukianova and Matias (2014). Using a supplementary assumption due to the specificity of the sub-ballistic regime, we prove consistency and asymptotic normality as the distant site tends to infinity. To emphazis the role of the additional assumption, we investigate the Temkin model with unknown support, and it turns out that the MLE is consistent but, unlike in the ballistic regime, the Fisher information is infinite. We also explore the numerical performance of our estimation procedure.


title: Consistency of random forests

abstract: Random forests are a learning algorithm proposed by Breiman [Mach. Learn. 45 (2001) 5--32] that combines several randomized decision trees and aggregates their predictions by averaging. Despite its wide usage and outstanding practical performance, little is known about the mathematical properties of the procedure. This disparity between theory and practice originates in the difficulty to simultaneously analyze both the randomization process and the highly data-dependent tree structure. In the present paper, we take a step forward in forest exploration by proving a consistency result for Breiman's [Mach. Learn. 45 (2001) 5--32] original algorithm in the context of additive regression models. Our analysis also sheds an interesting light on how random forests can nicely adapt to sparsity. 1. Introduction. Random forests are an ensemble learning method for classification and regression that constructs a number of randomized decision trees during the training phase and predicts by averaging the results. Since its publication in the seminal paper of Breiman (2001), the procedure has become a major data analysis tool, that performs well in practice in comparison with many standard methods. What has greatly contributed to the popularity of forests is the fact that they can be applied to a wide range of prediction problems and have few parameters to tune. Aside from being simple to use, the method is generally recognized for its accuracy and its ability to deal with small sample sizes, high-dimensional feature spaces and complex data structures. The random forest methodology has been successfully involved in many practical problems, including air quality prediction (winning code of the EMC data science global hackathon in 2012, see http://www.kaggle.com/c/dsg-hackathon), chemoinformatics [Svetnik et al. (2003)], ecology [Prasad, Iverson and Liaw (2006), Cutler et al. (2007)], 3D


title: PandaX: A Liquid Xenon Dark Matter Experiment at CJPL

abstract: PandaX is a large upgradable liquid-xenon detector system that can be used for both direct dark-matter detection and $^{136}$Xe double-beta decay search. It is located in the Jinping Deep-Underground Laboratory in Sichuan, China. The detector operates in dual-phase mode, allowing detection of both prompt scintillation, and ionization charge through proportional scintillation. The central time projection chamber will be staged, with the first stage accommodating a target mass of about 120\,kg. In stage II, the target mass will be increased to about 0.5\,ton. In the final stage, the detector can be upgraded to a multi-ton target mass. In this paper a detailed description of the stage-I detector design and performance results established during the commissioning phase is presented.


title: The Metrics Matter! On the Incompatibility of Different Flavors of Replanning

abstract: When autonomous agents are executing in the real world, the state of the world as well as the objectives of the agent may change from the agent's original model. In such cases, the agent's planning process must modify the plan under execution to make it amenable to the new conditions, and to resume execution. This brings up the replanning problem, and the various techniques that have been proposed to solve it. In all, three main techniques -- based on three different metrics -- have been proposed in prior automated planning work. An open question is whether these metrics are interchangeable; answering this requires a normalized comparison of the various replanning quality metrics. In this paper, we show that it is possible to support such a comparison by compiling all the respective techniques into a single substrate. Using this novel compilation, we demonstrate that these different metrics are not interchangeable, and that they are not good surrogates for each other. Thus we focus attention on the incompatibility of the various replanning flavors with each other, founded in the differences between the metrics that they respectively seek to optimize.


title: White organic light-emitting diodes with an ultra-thin premixed emitting layer

abstract: We described an approach to achieve fine color control of fluorescent White Organic Light-Emitting Diodes (OLED), based on an Ultra-thin Premixed emitting Layer (UPL). The UPL consists of a mixture of two dyes (red-emitting 4-di(4'-tert-butylbiphenyl-4-yl)amino-4'-dicyanovinylbenzene or fvin and green-emitting 4-di(4'-tert-butylbiphenyl-4-yl)aminobenzaldehyde or fcho) premixed in a single evaporation cell: since these two molecules have comparable structures and similar melting temperatures, a blend can be evaporated, giving rise to thin films of identical and reproducible composition compared to those of the pre-mixture. The principle of fine color tuning is demonstrated by evaporating a 1-nm-thick layer of this blend within the hole-transport layer (4,4'-bis[N-(1-naphtyl)-N-phenylamino]biphenyl (\alpha-NPB)) of a standard fluorescent OLED structure. Upon playing on the position of the UPL inside the hole-transport layer, as well as on the premix composition, two independent parameters are available to finely control the emitted color. Combined with blue emission from the heterojunction, white light with Commission Internationale de l'Eclairage 1931 color coordinates (0.34, 0.34) was obtained, with excellent color stability with the injected current. The spectrum reveals that the fcho material does not emit light due to efficient energy transfer to the red-emitting fvin compound but plays the role of a host matrix for fvin, allowing for a very precise adjustment of the red dopant amount in the device.


title: Asymmetry in $\Lambda_b$ and $\bar \Lambda_b$ production

abstract: In CMS data at the CERN Large Hadron Collider, the ratio $\sigma(pp \to \bar \Lambda_b X)/\sigma(p p \to \Lambda_b X)$ appears to fall as the baryons become more forward. Mechanisms which could give rise to this effect are discussed. It is urged that the same physics be explored in data from the LHCb Detector at CERN and the Fermilab Tevatron proton-antiproton collider. In the latter, if such leading-baryon effects are present, one expects $\Lambda_b$ to be preferentially produced in the direction of the proton and $\bar \Lambda_b$ to be preferentially produced in the direction of the antiproton.


title: Coil-helix transition of polypeptide at water-lipid interface

abstract: We present the exact solution of a microscopic statistical mechanical model for the transformation of a long polypeptide between an unstructured coil conformation and an $\alpha$-helix conformation. The polypeptide is assumed to be adsorbed to the interface between a polar and a non-polar environment such as realized by water and the lipid bilayer of a membrane. The interfacial coil-helix transformation is the first stage in the folding process of helical membrane proteins. Depending on the values of model parameters, the conformation changes as a crossover, a discontinuous transition, or a continuous transition with helicity in the role of order parameter. Our model is constructed as a system of statistically interacting quasiparticles that are activated from the helix pseudo-vacuum. The particles represent links between adjacent residues in coil conformation that form a self-avoiding random walk in two dimensions. Explicit results are presented for helicity, entropy, heat capacity, and the average numbers and sizes of both coil and helix segments.


title: Orbital and physical parameters of eclipsing binaries from the All-Sky Automated Survey catalogue - VI. AK Fornacis - a rare, bright K-type eclipsing binary

abstract: We present the results of the combined photometric and spectroscopic analysis of a bright (V=9.14), nearby (d=31 pc), late-type detached eclipsing binary AK Fornacis. This P=3.981 d system has not been previously recognised as a double-lined spectroscopic binary, and this is the first full physical model of this unique target. With the FEROS, CORALIE and HARPS spectrographs we collected a number of high-resolution spectra in order to calculate radial velocities of both components of the binary. Measurements were done with our own disentangling procedure and the TODCOR technique, and were later combined with the photometry from the ASAS and SuperWASP archives. We also performed an atmospheric analysis of the component spectra with the Spectroscopy Made Easy (SME) package. Our analysis shows that AK For consists of two active, cool dwarfs having masses of $M_1=0.6958 \pm 0.0010$ and $M_2=0.6355 \pm 0.0007$ M$_\odot$ and radii of $R_1=0.687 \pm 0.020$ and $R_2=0.609 \pm 0.016$ R$_\odot$, slightly less metal abundant than the Sun. Parameters of both components are well reproduced by the models. AK For is the brightest system among the known eclipsing binaries with K or M type stars. Its orbital period is one of the longest and rotational velocities one of the lowest, which allows us to obtain very precise radial velocity measurements. The precision in physical parameters we obtained places AK For among the binaries with the best mass measurements in the literature. It also fills the gap in our knowledge of stars in the range of 0.5-0.8 M$_\odot$, and between short and long-period systems. All this makes AK For a unique benchmark for understanding the properties of low-mass stars.


title: Onset of autocatalysis of information-coding polymers

abstract: Self-replicating systems based on information-coding polymers are of crucial importance in biology. They also recently emerged as a paradigm in material design on nano- and micro-scales. We present a general theoretical and numerical analysis of the problem of spontaneous emergence of autocatalysis for heteropolymers capable of template-assisted ligation driven by cyclic changes in the environment. Our central result is the existence of the first order transition between the regime dominated by free monomers and that with a self-sustaining population of sufficiently long chains. We provide a simple, mathematically tractable model supported by numerical simulations, which predicts the distribution of chain lengths and the onset of autocatalysis in terms of the overall monomer concentration and two fundamental rate constants. Another key result of our study is the emergence of the kinetically-limited optimal overlap length between a template and each of its two substrates. The template-assisted ligation allows for heritable transmission of the information encoded in chain sequences thus opening up the possibility of long-term memory and evolvability in such systems.

categories: cond-mat.soft cond-mat.mes-hall cond-mat.stat-mech q-bio.BM q-bio.PE


title: Permutation of elements in double semigroups

abstract: Double semigroups have two associative operations $\circ, \bullet$ related by the interchange relation: $( a \bullet b ) \circ ( c \bullet d ) \equiv ( a \circ c ) \bullet ( b \circ d )$. Kock \cite{Kock2007} (2007) discovered a commutativity property in degree 16 for double semigroups: associativity and the interchange relation combine to produce permutations of elements. We show that such properties can be expressed in terms of cycles in directed graphs with edges labelled by permutations. We use computer algebra to show that 9 is the lowest degree for which commutativity occurs, and we give self-contained proofs of the commutativity properties in degree 9.


title: Analysis of 2+1 diffusive-dispersive PDE arising in river braiding

abstract: We present local existence and uniqueness results for the following $2+1$ dispersive diffusive equation due to P. Hall arising in modeling of river braiding: $$u_{yyt} - \gamma u_{xxx} -\alpha u_{yyyy} - \beta u_{yy} + \left (u^2 \right)_{xyy} = 0$$ for $(x,y) \in [0, 2\pi] \times [0, \pi]$, $t> 0$, with boundary condition $u_{y}=0=u_{yyy}$ at $y=0$ and $y=\pi$ and $2\pi$ periodicity in $x$, using a contraction mapping argument in a Bourgain-type space $T_{s,b}$. We also show that the energy $\| u \|^2_{L^2} $ and cumulative dissipation $\int_0^t \| u_y \|_{L^2}^2 dt$ are globally controlled in time.


title: Model Checking Existential Logic on Partially Ordered Sets

abstract: We study the problem of checking whether an existential sentence (that is, a first-order sentence in prefix form built using existential quantifiers and all Boolean connectives) is true in a finite partially ordered set (in short, a poset). A poset is a reflexive, antisymmetric, and transitive digraph. The problem encompasses the fundamental embedding problem of finding an isomorphic copy of a poset as an induced substructure of another poset. Model checking existential logic is already NP-hard on a fixed poset; thus we investigate structural properties of posets yielding conditions for fixed-parameter tractability when the problem is parameterized by the sentence. We identify width as a central structural property (the width of a poset is the maximum size of a subset of pairwise incomparable elements); our main algorithmic result is that model checking existential logic on classes of finite posets of bounded width is fixed-parameter tractable. We observe a similar phenomenon in classical complexity, where we prove that the isomorphism problem is polynomial-time tractable on classes of posets of bounded width; this settles an open problem in order theory. We surround our main algorithmic result with complexity results on less restricted, natural neighboring classes of finite posets, establishing its tightness in this sense. We also relate our work with (and demonstrate its independence of) fundamental fixed-parameter tractability results for model checking on digraphs of bounded degree and bounded clique-width.


title: New Results on the Minimum Amount of Useful Space

abstract: We present several new results on minimal space requirements to recognize a nonregular language: (i) realtime nondeterministic Turing machines can recognize a nonregular unary language within weak $\log\log n$ space, (ii) $\log\log n$ is a tight space lower bound for accepting general nonregular languages on weak realtime pushdown automata, (iii) there exist unary nonregular languages accepted by realtime alternating one-counter automata within weak $\log n$ space, (iv) there exist nonregular languages accepted by two-way deterministic pushdown automata within strong $\log\log n$ space, and, (v) there exist unary nonregular languages accepted by two-way one-counter automata using quantum and classical states with middle $\log n$ space and bounded error.


title: The Quantum Lefschetz Principle for Vector Bundles as a Map Between Givental Cones

abstract: Givental has defined a Lagrangian cone in a symplectic vector space which encodes all genus-zero Gromov-Witten invariants of a smooth projective variety X. Let Y be the subvariety in X given by the zero locus of a regular section of a convex vector bundle. We review arguments of Iritani, Kim-Kresch-Pantev, and Graber, which give a very simple relationship between the Givental cone for Y and the Givental cone for Euler-twisted Gromov-Witten invariants of X. When the convex vector bundle is the direct sum of nef line bundles, this gives a sharper version of the Quantum Lefschetz Hyperplane Principle.


title: Weakly Secure Regenerating Codes for Distributed Storage

abstract: We consider the problem of secure distributed data storage under the paradigm of \emph{weak security}, in which no \emph{meaningful information} is leaked to the eavesdropper. More specifically, the eavesdropper cannot get any information about any individual message file or a small group of files. The key benefit of the weak security paradigm is that it incurs no loss in the storage capacity, which makes it practically appealing. In this paper, we present a coding scheme, using a coset coding based outer code and a Product-Matrix Minimum Bandwidth Regenerating code (proposed by Rashmi et al.) as an inner code, that achieves weak security when the eavesdropper can observe any single storage node. We show that the proposed construction has good security properties and requires small finite field size.


title: Correlators of chiral primaries and 1/8 BPS Wilson loops from perturbation theory

abstract: We study at perturbative level the correlation functions of a general class of 1/8 BPS Wilson loops and chiral primaries in N = 4 Super Yang-Mills theory. The contours and the location of operator insertions share a sphere S^2 embedded into spacetime and the system preserves at least two supercharges. We perform explicit two-loop computations, for some particular but still rather general configuration, that confirm the elegant results expected from localization procedure. We find notably full consistency with the multi-matrix model averages, obtained from 2D Yang-Mills theory on the sphere, when interacting diagrams do not cancel and contribute non-trivially to the final answer.


title: Classifying Linearly Shielded Modified Gravity Models in Effective Field Theory

abstract: We study the model space generated by the time-dependent operator coefficients in the effective field theory of the cosmological background evolution and perturbations of modified gravity and dark energy models. We identify three classes of modified gravity models that reduce to Newtonian gravity on the small scales of linear theory. These general classes contain enough freedom to simultaneously admit a matching of the concordance model background expansion history. In particular, there exists a large model space that mimics the concordance model on all linear quasistatic subhorizon scales as well as in the background evolution. Such models also exist when restricting the theory space to operators introduced in Horndeski scalar-tensor gravity. We emphasize that whereas the partially shielded scenarios might be of interest to study in connection with tensions between large and small scale data, with conventional cosmological probes, the ability to distinguish the fully shielded scenarios from the concordance model on near-horizon scales will remain limited by cosmic variance. Novel tests of the large-scale structure remedying this deficiency and accounting for the full covariant nature of the alternative gravitational theories, however, might yield further insights on gravity in this regime.


title: A hot cocoon in the ultralong GRB 130925A: hints of a PopIII-like progenitor in a low density wind environment

abstract: GRB 130925A is a peculiar event characterized by an extremely long gamma-ray duration ($\approx$7 ks), as well as dramatic flaring in the X-rays for $\approx$20 ks. After this period, its X-ray afterglow shows an atypical soft spectrum with photon index $\Gamma$$\sim$4, as observed by Swift and Chandra, until $\approx 10^7$ s, when XMM-Newton observations uncover a harder spectral shape with $\Gamma$$\sim$2.5, commonly observed in GRB afterglows. We find that two distinct emission components are needed to explain the X-ray observations: a thermal component, which dominates the X-ray emission for several weeks, and a non-thermal component, consistent with a typical afterglow. A forward shock model well describes the broadband (from radio to X-rays) afterglow spectrum at various epochs. It requires an ambient medium with a very low density wind profile, consistent with that expected from a low-metallicity blue supergiant (BSG). The thermal component has a remarkably constant size and a total energy consistent with those expected by a hot cocoon surrounding the relativistic jet. We argue that the features observed in this GRB (its ultralong duration, the thermal cocoon, and the low density wind environment) are associated with a low metallicity BSG progenitor and, thus, should characterize the class of ultralong GRBs.


title: Cosmic-Lab: Optical companions to binary Millisecond Pulsars

abstract: Millisecond Pulsars (MSPs) are fast rotating, highly magnetized neutron stars. According to the "canonical recycling scenario", MSPs form in binary systems containing a neutron star which is spun up through mass accretion from the evolving companion. Therefore, the final stage consists of a binary made of a MSP and the core of the deeply peeled companion. In the last years, however an increasing number of systems deviating from these expectations has been discovered, thus strongly indicating that our understanding of MSPs is far to be complete. The identification of the optical companions to binary MSPs is crucial to constrain the formation and evolution of these objects. In dense environments such as Globular Clusters (GCs), it also allows us to get insights on the cluster internal dynamics. By using deep photometric data, acquired both from space and ground-based telescopes, we identified 5 new companions to MSPs. Three of them being located in GCs and two in the Galactic Field. The three new identifications in GCs increased by 50% the number of such objects known before this Thesis. They all are non-degenerate stars, at odds with the expectations of the "canonical recycling scenario". These results therefore suggest either that transitory phases should also be taken into account, or that dynamical processes, as exchange interactions, play a crucial role in the evolution of MSPs. We also performed a spectroscopic follow-up of the companion to PSR J1740-5340A in the GC NGC 6397, confirming that it is a deeply peeled star descending from a ~0.8$M_{\odot}$ progenitor. This nicely confirms the theoretical expectations about the formation and evolution of MSPs.


title: Slowly rotating Curzon-Chazy Metric

abstract: A new rotation version of the Curzon-Chazy metric is found. This new metric was obtained by means of a perturbation method, in order to include slow rotation. The solution is then proved to fulfill the Einstein field equations using a REDUCE program. Furthermore, the applications of this new solution are discussed.


title: A prime fractal and global quasi-self-similar structure in the distribution of prime-indexed primes

abstract: Let p(n) be the nth prime and p(p(n)) be the nth prime-indexed prime (PIP). The process of taking prime-indexed subsequences of primes can be iterated, and the number of such iterations is the prime-index order. We report empirical evidence that the set composed of finite-differenced PIP sequences of prime-index order k >= 1 forms a quasi-self-similar fractal structure with scaling by prime-index order. Strong positive linear correlation (r >= 0.926) is observed for all pairwise combinations of these finite-differenced PIP sequences over the range of our sample, the first 1.3 billion primes. The structure exhibits translation invariance for shifts in the index set of the PIP sequences. Other free parameters of the structure include prime-index order and the order and spacing of the finite difference operator. The structure is graphed using 8-bit color fractal plots, scaled across prime-index orders k = 1..6 and spans the first 1.3 billion primes.


title: Quantum phase transition in one-dimensional commensurate Frenkel-Kontorova model

abstract: In this paper, we have studied the one-dimensional commensurate quantum Frenkel-Kontorova model by a density-matrix renormalization group (DMRG) algorithm. The focus has been on its properties of the entanglement, the coordinate correlation, the ground state energy and the energy gap between the ground state and the first excited one. It is demonstrated that a quantum phase transition (QPT) between the pinned and the sliding phases takes place as the quantum fluctuation, measured by an effective Planck constant $\tilde\hbar$, increases to a threshold value $\tilde \hbar_c$.


title: A density-matrix renormalization group Study of one-dimensional incommensurate quantum Frenkel-Kontorova model

abstract: In this paper, the one-dimensional incommensurate quantum Frenkel-Kontorova model is investigate by a density-matrix renormalization group algorithm. Special attention is given to the entanglement and the ground state energy. The energy gap between the ground state and the first excited is also calculated. From all the numerical results, we have observed an obvious property changes from the pinned state to the sliding one as the quantum fluctuation is increased. But no expected quantum critical point can be justified by the present data.


title: The simplest example of the use of the method of images

abstract: It is shown that the system consisting of two infinite and parallel planes, one of them a conductor, and the other an insulator with a uniform distribution of charges, is the simplest example of the use of the method of images, in contrast to what is diffused in the literature.


title: High Kerr nonlinearity hydrogenated amorphous silicon nanowires with low two photon absorption and high optical stability

abstract: We demonstrate optically stable amorphous silicon nanowires with both high nonlinear figure of merit (FOM) of ~5 and high nonlinearity Re({\gamma}) = 1200W-1m-1. We observe no degradation in these parameters over the entire course of our experiments including systematic study under operation at 2 W coupled peak power (i.e. ~2GW/cm2) over timescales of at least an hour.


title: Obituary: Dr Dianne Johnson (1947-2012)

abstract: It is with great sadness that I report the passing of Dr Dianne Johnson in May 2012. Dr Johnson was a pivotal and important figure in the field of Australian cultural astronomy and in the campaign for Aboriginal rights.


title: Load Frequency Control For Distributed Grid Power System Single Area & Multi-area System

abstract: This project presents decentralized control scheme for Load-Frequency Control in power System. In this era renewable energy is most promising solution to man's ever increasing energy needs. But the power production by these resources cannot be controlled unlike in thermal plants. A number of optimal control techniques are adopted to implement a reliable stabilizing controller. It is necessary to interconnect more distributed generation in power systems because of environmental concerns. Primary concern includes global environmental and energy depletion problem. A serious attempt has been undertaken aiming a investigating the load frequency control problem in a power system consisting of two power generation unit and multiple variable load units. The robustness and reliability of the various control schemes is examined through simulations. A system involving thermal plants and a hydro plant is modeled using MAT LAB 2011b.


title: Massively Parallel Processor Architectures for Resource-aware Computing

abstract: We present a class of massively parallel processor architectures called invasive tightly coupled processor arrays (TCPAs). The presented processor class is a highly parameterizable template, which can be tailored before runtime to fulfill costumers' requirements such as performance, area cost, and energy efficiency. These programmable accelerators are well suited for domain-specific computing from the areas of signal, image, and video processing as well as other streaming processing applications. To overcome future scaling issues (e.g., power consumption, reliability, resource management, as well as application parallelization and mapping), TCPAs are inherently designed in a way to support self-adaptivity and resource awareness at hardware level. Here, we follow a recently introduced resource-aware parallel computing paradigm called invasive computing where an application can dynamically claim, execute, and release resources. Furthermore, we show how invasive computing can be used as an enabler for power management. Finally, we will introduce ideas on how to realize fault-tolerant loop execution on such massively parallel architectures through employing on-demand spatial redundancies at the processor array level.


title: Resource-Aware Programming for Robotic Vision

abstract: Humanoid robots are designed to operate in human centered environments. They face changing, dynamic environments in which they need to fulfill a multitude of challenging tasks. Such tasks differ in complexity, resource requirements, and execution time. Latest computer architectures of humanoid robots consist of several industrial PCs containing single- or dual-core processors. According to the SIA roadmap for semiconductors, many-core chips with hundreds to thousands of cores are expected to be available in the next decade. Utilizing the full power of a chip with huge amounts of resources requires new computing paradigms and methodologies. In this paper, we analyze a resource-aware computing methodology named Invasive Computing, to address these challenges. The benefits and limitations of the new programming model is analyzed using two widely used computer vision algorithms, the Harris Corner detector and SIFT (Scale Invariant Feature Transform) feature matching. The result indicate that the new programming model together with the extensions within the application layer, makes them highly adaptable; leading to better quality in the results obtained.


title: Emulated ASIC Power and Temperature Monitor System for FPGA Prototyping of an Invasive MPSoC Computing Architecture

abstract: In this contribution the emulation of an ASIC temperature and power monitoring system (TPMon) for FPGA prototyping is presented and tested to control processor temperatures under different control targets and operating strategies. The approach for emulating the power monitor is based on an instruction-level energy model. For emulating the temperature monitor, a thermal RC model is used. The monitoring system supplies an invasive MPSoC computing architecture with hardware status information (power and temperature data of the processors within the system). These data are required for resource-aware load distribution. As a proof of concept different operating strategies and control targets were evaluated for a 2-tile invasive MPSoC computing system.


title: Evaluating the Self-Optimization Process of the Adaptive Memory Management Architecture Self-aware Memory

abstract: With the continuously increasing integration level, manycore processor systems are likely to be the coming system structure not only in HPC but also for desktop or mobile systems. Nowadays manycore processors like Tilera TILE, KALRAY MPPA or Intel SCC combine a rising number of cores in a tiled architecture and are mainly designed for high performance applications with focus on direct inter-core communication. The current architectures have limitations by central or sparse components like memory controllers, memory I/O or inflexible memory management. In the future highly dynamic workloads with multiple concurrently running applications, changing I/O characteristics and a not predictable memory usage have to be utilized on these manycore systems. Consequently the memory management has to become more flexible and distributed in nature and adaptive mechanisms and system structures are needed. With Self-aware Memory (SaM), a decentralized, scalable and autonomous self-optimizing memory architecture is developed. This adaptive memory management can achieve higher flexibility and an easy usage of memory. In this paper the concept of an ongoing decentralized self-optimization is introduced and the evaluation of its various parameters is presented. The results show that the overhead of the decentralized optimization process is amortized by the optimized runtime using the appropriate parameter settings.


title: Resource Prediction for Humanoid Robots

abstract: Humanoid robots are designed to operate in human centered environments where they execute a multitude of challenging tasks, each differing in complexity, resource requirements, and execution time. In such highly dynamic surroundings it is desirable to anticipate upcoming situations in order to predict future resource requirements such as CPU or memory usage. Resource prediction information is essential for detecting upcoming resource bottlenecks or conflicts and can be used enhance resource negotiation processes or to perform speculative resource allocation. In this paper we present a prediction model based on Markov chains for predicting the behavior of the humanoid robot ARMAR-III in human robot interaction scenarios. Robot state information required by the prediction algorithm is gathered through self-monitoring and combined with environmental context information. Adding resource profiles allows generating probability distributions of possible future resource demands. Online learning of model parameters is made possible through disclosure mechanisms provided by the robot framework ArmarX.


title: Heterogeneity-aware Fault Tolerance using a Self-Organizing Runtime System

abstract: Due to the diversity and implicit redundancy in terms of processing units and compute kernels, off-the-shelf heterogeneous systems offer the opportunity to detect and tolerate faults during task execution in hardware as well as in software. To automatically leverage this diversity, we introduce an extension of an online-learning runtime system that combines the benefits of the existing performance-oriented task mapping with task duplication, a diversity-oriented mapping strategy and heterogeneity-aware majority voter. This extension uses a new metric to dynamically rate the remaining benefit of unreliable processing units and a memory management mechanism for automatic data transfers and checkpointing in the host and device memories.


title: Resource-Aware Replication on Heterogeneous Multicores: Challenges and Opportunities

abstract: Decreasing hardware feature sizes and increasing heterogeneity in multicore hardware require software that can adapt to these platforms' properties. We implemented ROMAIN, an OS service providing redundant multithreading on top of the FIASCO.OC microkernel to address the increasing unreliability of hardware. In this paper we review challenges and opportunities for ROMAIN to adapt to such multicore platforms in order to decrease execution overhead, resource requirements, and vulnerability against faults.


title: Towards Cross-layer Reliability Analysis of Transient and Permanent Faults

abstract: Due to the increasing complexity of Multi-Processor Systems on Chip (MPSoCs), system-level design methodologies have got a lot of attention in recent years. However, the significant gap between the system-level reliability analysis and the level where the actual faults occur necessitates a cross-layer approach in which the sufficient data about the effects of faults at low levels are passed to the system level. So far, the cross-layer reliability analysis techniques focus on a specific type of faults, e.g., either permanent or transient faults. In this work, we aim at proposing a cross-layer reliability analysis which considers different fault types concurrently and connects reliability analysis techniques at different levels of abstraction using adapters.


title: Optimized Composition: Generating Efficient Code for Heterogeneous Systems from Multi-Variant Components, Skeletons and Containers

abstract: In this survey paper, we review recent work on frameworks for the high-level, portable programming of heterogeneous multi-/manycore systems (especially, GPU-based systems) using high-level constructs such as annotated user-level software components, skeletons (i.e., predefined generic components) and containers, and discuss the optimization problems that need to be considered in selecting among multiple implementation variants, generating code and providing runtime support for efficient execution on such systems.


title: Automatic Detection of Performance Anomalies in Task-Parallel Programs

abstract: To efficiently exploit the resources of new many-core architectures, integrating dozens or even hundreds of cores per chip, parallel programming models have evolved to expose massive amounts of parallelism, often in the form of fine-grained tasks. Task-parallel languages, such as OpenStream, X10, Habanero Java and C or StarSs, simplify the development of applications for new architectures, but tuning task-parallel applications remains a major challenge. Performance bottlenecks can occur at any level of the implementation, from the algorithmic level (e.g., lack of parallelism or over-synchronization), to interactions with the operating and runtime systems (e.g., data placement on NUMA architectures), to inefficient use of the hardware (e.g., frequent cache misses or misaligned memory accesses); detecting such issues and determining the exact cause is a difficult task. In previous work, we developed Aftermath, an interactive tool for trace-based performance analysis and debugging of task-parallel programs and run-time systems. In contrast to other trace-based analysis tools, such as Paraver or Vampir, Aftermath offers native support for tasks, i.e., visualization, statistics and analysis tools adapted for performance debugging at task granularity. However, the tool currently does not provide support for the automatic detection of performance bottlenecks and it is up to the user to investigate the relevant aspects of program execution by focusing the inspection on specific slices of a trace file. In this paper, we present ongoing work on two extensions that guide the user through this process.


title: A Layered Modeling and Simulation Approach to investigate Resource-aware Computing in MPSoCs

abstract: Increasing complexity of modern multi-processor system on chip (MPSoC) and the decreasing feature size have introduced new challenges. System designers have to consider now aspects which were not part of the design process in past times. Resource-aware Computing is one of such emerging design concerns which can help to improve performance, dependability and resource utilization of overall system. Resource-aware execution takes into account the resource status when executing tasks on MPSoCs. Exploration of resource-aware computing at early design stages of complex systems is mandatory and appropriate methodologies to do this in an efficient manner are thus required. In this paper, we present a modular approach which provides modeling and simulation support for investigation of resource-aware execution in MPSoCs. The proposed methodology enables rapid exploration of the design space by modeling and simulating the resource-awareness in a separate layer while widely reusing the legacy system model in the other layer. Our experiments illustrate the benefits of our approach for the exploration of resource-aware execution on MPSoCs.


title: Autotuning and Self-Adaptability in Concurrency Libraries

abstract: Autotuning is an established technique for optimizing the performance of parallel applications. However, programmers must prepare applications for autotuning, which is tedious and error prone coding work. We demonstrate how applications become ready for autotuning with few or no modifications by extending Threading Building Blocks (TBB), a library for parallel programming, with autotuning. The extended TBB library optimizes all application-independent tuning parameters fully automatically. We compare manual effort, autotuning overhead and performance gains on 17 examples. While some examples benefit only slightly, others speed up by 28% over standard TBB.


title: Classical gravitational scattering in the relativistic Kepler problem

abstract: Black holes are an ubiquitous end state of stellar evolution and successfully explain some of the most extreme physics encountered in astronomical observations. The Kerr geometry is the known exact solution to Einstein's equations for a static, eternal black hole within the framework of general relativity, and hence is of great importance in relativistic astrophysics. An understanding of the orbital dynamics of test bodies and light rays in the Kerr spacetime is therefore fundamental to the physics of a black hole. In this work, the scattering and capturing properties of unbound, "hyperbolic" orbits in the spacetime are studied. In particular, the differential scattering cross section and capture cross section are derived over the parameter space of energies, impact parameters and black hole spin orientation and magnitude. The problem is then generalized to the motion of two massive objects on a hyperbolic encounter, and the added effects of gravitational radiation and finite mass ratio studied within the post-Newtonian formalism.


title: The innermost globular clusters of M87

abstract: We present a comprehensive multiwavelength photometric analysis of the innermost (3x3 square kpc) 110 globular clusters (GCs) of M87. Their spectral energy distributions (SEDs) were built taking advantage of new ground-based high resolution near-IR imaging aided by adaptive optics at the Very Large Telescope (VLT) combined with Hubble Space Telescope (HST) ultraviolet--optical archival data. These GC SEDs are among the best photometrically sampled extragalactic GC SEDs. To compare with our SEDs we constructed equally sampled SEDs of Milky Way GCs. Using both these Milky Way cluster templates and different stellar population models, ages of >10 Gyr and metallicities of [Fe/H] -0.6 dex are consistently inferred for the inner GCs of M87. In addition, the metallicity of these GCs is low (Dif([Fe/H]) 0.8 dex) compared to that of their host galaxy. These results agree with the idea that the GC formation in M87 ceased earlier than that of the bulk of the stars of the central part of the galaxy. The ages of the inner GCs of M87 support the idea that these central parts of the galaxy formed first. Our data do not support evidence of recent wet merging.


title: Introducing the Illustris Project: Simulating the coevolution of dark and visible matter in the Universe

abstract: We introduce the Illustris Project, a series of large-scale hydrodynamical simulations of galaxy formation. The highest resolution simulation, Illustris-1, covers a volume of $(106.5\,{\rm Mpc})^3$, has a dark mass resolution of ${6.26 \times 10^{6}\,{\rm M}_\odot}$, and an initial baryonic matter mass resolution of ${1.26 \times 10^{6}\,{\rm M}_\odot}$. At $z=0$ gravitational forces are softened on scales of $710\,{\rm pc}$, and the smallest hydrodynamical gas cells have an extent of $48\,{\rm pc}$. We follow the dynamical evolution of $2\times 1820^3$ resolution elements and in addition passively evolve $1820^3$ Monte Carlo tracer particles reaching a total particle count of more than $18$ billion. The galaxy formation model includes: primordial and metal-line cooling with self-shielding corrections, stellar evolution, stellar feedback, gas recycling, chemical enrichment, supermassive black hole growth, and feedback from active galactic nuclei. At $z=0$ our simulation volume contains about $40,000$ well-resolved galaxies covering a diverse range of morphologies and colours including early-type, late-type and irregular galaxies. The simulation reproduces reasonably well the cosmic star formation rate density, the galaxy luminosity function, and baryon conversion efficiency at $z=0$. It also qualitatively captures the impact of galaxy environment on the red fractions of galaxies. The internal velocity structure of selected well-resolved disk galaxies obeys the stellar and baryonic Tully-Fisher relation together with flat circular velocity curves. In the well-resolved regime the simulation reproduces the observed mix of early-type and late-type galaxies. Our model predicts a halo mass dependent impact of baryonic effects on the halo mass function and the masses of haloes caused by feedback from supernova and active galactic nuclei.


title: A Map of Dust Reddening to 4.5 kpc from Pan-STARRS1

abstract: We present a map of the dust reddening to 4.5 kpc derived from Pan-STARRS1 stellar photometry. The map covers almost the entire sky north of declination -30 degrees at a resolution of 7' to 14', and is based on the estimated distances and reddenings to more than 500 million stars. The technique is designed to map dust in the Galactic plane, where many other techniques are stymied by the presence of multiple dust clouds at different distances along each line of sight. This reddening-based dust map agrees closely with the Schlegel, Finkbeiner, and Davis (SFD; 1998) far-infrared emission-based dust map away from the Galactic plane, and the most prominent differences between the two maps stem from known limitations of SFD in the plane. We also compare the map with Planck, finding likewise good agreement in general at high latitudes. The use of optical data from Pan-STARRS1 yields reddening uncertainty as low as 25 mmag E(B-V).


title: Orientation Bias of Optically Selected Galaxy Clusters and Its Impact on Stacked Weak Lensing Analyses

abstract: Weak-lensing measurements of the averaged shear profiles of galaxy clusters binned by some proxy for cluster mass are commonly converted to cluster mass estimates under the assumption that these cluster stacks have spherical symmetry. In this paper we test whether this assumption holds for optically selected clusters binned by estimated optical richness. Using mock catalogues created from N-body simulations populated realistically with galaxies, we ran a suite of optical cluster finders and estimated their optical richness. We binned galaxy clusters by true cluster mass and estimated optical richness and measure the ellipticity of these stacks. We find that the processes of optical cluster selection and richness estimation are biased, leading to stacked structures that are elongated along the line-of-sight. We show that weak-lensing alone cannot measure the size of this orientation bias. Weak lensing masses of stacked optically selected clusters are overestimated by up to 3-6 per cent when clusters can be uniquely associated with haloes. This effect is large enough to lead to significant biases in the cosmological parameters derived from large surveys like the Dark Energy Survey, if not calibrated via simulations or fitted simultaneously. This bias probably also contributes to the observed discrepancy between the observed and predicted Sunyaev-Zel'dovich signal of optically-selected clusters.


title: EFT naturalness: an effective field theory analysis of Higgs naturalness

abstract: Assuming the presence of physics beyond the Standard Model (SM) with a characteristic scale M ~ O(10) TeV, we investigate the naturalness of the Higgs sector at scales below M using an effective field theory (EFT) approach. We obtain the leading 1-loop EFT contributions to the Higgs mass with a Wilsonian-like hard cutoff, and determine the constraints on the corresponding operator coefficients for these effects to alleviate the little hierarchy problem up to the scale of the effective action \Lambda < M, a condition we denote by "EFT-naturalness". We also determine the types of physics that can lead to EFT-naturalness and show that these types of new physics are best probed in vector-boson and multiple-Higgs production. The current experimental constraints on these coefficients are also discussed.


title: Searching for dilaton dark matter with atomic clocks

abstract: We propose an experiment to search for ultralight scalar dark matter (DM) with dilatonic interactions. Such couplings can arise for the dilaton as well as for moduli and axion-like particles in the presence of CP violation. Ultralight dilaton DM acts as a background field that can cause tiny but coherent oscillations in Standard Model parameters such as the fine structure constant and the proton-electron mass ratio. These minute variations can be detected through precise frequency comparisons of atomic clocks. Our experiment extends current searches for drifts in fundamental constants to the well-motivated high-frequency regime. Our proposed setups can probe scalars lighter than 10^-15 eV with discovery potential of dilatonic couplings as weak as 10^-11 times the strength of gravity, improving current equivalence principle bounds by up to 8 orders of magnitude. We point out potential 10^4 sensitivity enhancements with future optical and nuclear clocks, as well as possible signatures in gravitational wave detectors. Finally, we discuss cosmological constraints and astrophysical hints of ultralight scalar DM, and show they are complimentary to and compatible with the parameter range accessible to our proposed laboratory experiments.

categories: hep-ph hep-ex physics.atom-ph physics.optics


title: Conductivities for Hyperscaling Violating Geometries

abstract: We show that many results about holographic conductivities in geometries with hyperscaling violating scaling can be reproduced from simple scaling laws in the dual field theory. We show that the electro-magnetic response of probe branes in these systems require at least one additional scaling parameter Phi beyond the usual dynamical exponent z and hyperscaling violating exponent theta, as also pointed out in earlier work. We show that the scaling exponents can be chosen in such a way that the temperature dependence of DC conductivity and Hall angle in strange metals can be reproduced.


title: Thermodynamics of the BPS Skyrme model

abstract: One problem in the application of the Skyrme model to nuclear physics is that it predicts too large a value for the compression modulus of nuclear matter. Here we investigate the thermodynamics of the BPS Skyrme model at zero temperature and calculate its equation of state. Among other results, we find that classically (i.e. without taking into account quantum corrections) the compressibility of BPS skyrmions is, in fact, infinite, corresponding to a zero compression modulus. This suggests that the inclusion of the BPS submodel into the Skyrme model lagrangian may significantly reduce this too large value, providing further evidence for the claim that the BPS Skyrme model may play an important role in the description of nuclei and nuclear matter.


abstract: We study F-theory duals of singular heterotic K3 models that correspond to abelian toroidal orbifolds $T^4/Z_N$. While our focus is on the standard embedding, we also comment on models with Wilson lines and more general gauge embeddings. In the process of constructing the duals, we work out a Weierstrass description of the heterotic toroidal orbifold models, which exhibit singularities of Kodaira type $I_0^*, IV^*, III^*$, and $II^*$. This construction unveils properties like the instanton number per fixed point and a correlation between the orbifold order and the multiplicities in the Dynkin diagram. The results from the Weierstrass description are then used to restrict the complex structure of the F-theory Calabi-Yau threefold such that the gauge group and the matter spectrum of the heterotic theories are reproduced. We also comment on previous approaches that have been employed to construct the duality and point out the differences to our case. Our results show explicitly how the various orbifold models are connected and described in F-theory.


title: The Lick-Carnegie Exoplanet Survey: Gliese 687b: A Neptune-Mass Planet Orbiting a Nearby Red Dwarf

abstract: Precision radial velocities from the Automated Planet Finder and Keck/HIRES reveal an M*sin(i) =18 +/- 2 Earth mass planet orbiting the nearby M3V star GJ 687. This planet has an orbital period, P = 38.14 days, and a low orbital eccentricity. Our Stromgren b and y photometry of the host star suggests a stellar rotation signature with a period of P = 60 days. The star is somewhat chromospherically active, with a spot filling factor estimated to be several percent. The rotationally{induced 60-day signal, however, is well-separated from the period of the radial velocity variations, instilling confidence in the interpretation of a Keplerian origin for the observed velocity variations. Although GJ 687b produces relatively little specific interest in connection with its individual properties, a compelling case can be argued that it is worthy of remark as an eminently typical, yet at a distance of 4.52 pc, a very nearby representative of the galactic planetary census. The detection of GJ 687b indicates that the APF telescope is well suited to the discovery of low-mass planets orbiting low-mass stars in the as-yet relatively un-surveyed region of the sky near the north celestial pole.


title: Precision Unification and Proton Decay in F-Theory GUTs with High Scale Supersymmetry

abstract: F-theory GUTs provide a promising UV completion for models with approximate gauge coupling unification, such as the (non-supersymmetric) Standard Model. More specifically, if the superparters have masses well above the TeV scale, the resulting imperfection in unification can be accounted for by the, in principle calculable, classical F-theory correction at the high scale. In this paper we argue for the correct form of the F-theory corrections to unification, including KK mode loop effects. However, the price of compensating the imprecise unification in such High Scale SUSY models with F-theory corrections is that the GUT scale is lowered, potentially leading to a dangerously high proton decay rate from dimension-6 operators. We analyse the possibility of suppressing the decay rate by the localization of $X,Y$ gauge bosons in higher dimensions. While this effect can be very strong for the zero modes, we find that in the simplest models of this type it is difficult to realize a significant suppression for higher modes (Landau levels). Notably, in the absence of substantial suppressions to the proton decay rate, the superpartners must be lighter than 100 TeV to satisfy proton decay constraints. We highlight that multiple correlated signals of proton decay could verify this scenario.


title: How many new particles do we need after the Higgs boson?

abstract: The discovery of the scalar boson completes the experimental confirmation of the particles predicted by the Standard Model, which achieves to describe almost all phenomena observed in nature in terms of a few symmetry principles and a handful of numbers, the constants of nature. Neutrino oscillations are the only confirmed piece of evidence for physics beyond the Standard Model found in the laboratory. They can easily be explained if the neutrinos have partners with right handed chirality like all other fermions. Remarkably, right handed neutrinos can simultaneously explain long standing puzzles from cosmology, namely Dark Matter and the baryon asymmetry of the universe. I discuss how close this minimal extension of the Standard Model by right handed neutrinos can bring us to a complete theory of nature and what else may be needed.


title: Discovery of a wide planetary-mass companion to the young M3 star GU Psc

abstract: We present the discovery of a co-moving planetary-mass companion ~42" (~2000 AU) from a young M3 star, GU Psc, likely member of the young AB Doradus Moving Group (ABDMG). The companion was first identified via its distinctively red i - z color (> 3.5) through a survey made with Gemini-S/GMOS. Follow-up Canada-France-Hawaii Telescope/WIRCam near-infrared (NIR) imaging, Gemini-N/GNIRS NIR spectroscopy and Wide-field Infrared Survey Explorer photometry indicate a spectral type of T3.5+-1 and reveal signs of low gravity which we attribute to youth. Keck/Adaptive Optics NIR observations did not resolve the companion as a binary. A comparison with atmosphere models indicates Teff = 1000-1100 K and logg = 4.5-5.0. Based on evolution models, this temperature corresponds to a mass of 9-13 MJup for the age of ABDMG (70-130 Myr). The relatively well-constrained age of this companion and its very large angular separation to its host star will allow its thorough characterization and will make it a valuable comparison for planetary-mass companions that will be uncovered by forthcoming planet-finder instruments such as Gemini Planet Imager and SPHERE.


title: Universality of Gravity from Entanglement

abstract: The entanglement "first law" in conformal field theories relates the entanglement entropy for a ball-shaped region to an integral over the same region involving the expectation value of the CFT stress-energy tensor, for infinitesimal perturbations to the CFT vacuum state. In recent work, this was exploited at leading order in $N$ in the context of large N holographic CFTs to show that any geometry dual to a perturbed CFT state must satisfy Einstein's equations linearized about pure AdS. In this note, we investigate the implications of the leading 1/N correction to the exact CFT result. We show that these corrections give rise to the source term for the gravitational equations: for semiclassical bulk states, the expectation value of the bulk stress-energy tensor appears as a source in the linearized equations. In particular, the CFT first law leads to Newton's Law of gravitation and the fact that all sources of stress-energy source the gravitational field. In our derivation, this universality of gravity comes directly from the universality of entanglement (the fact that all degrees of freedom in a subsystem contribute to entanglement entropy).


title: The Number Density of Quiescent Compact Galaxies at Intermediate Redshift

abstract: Massive compact systems at 0.2<z<0.6 are the missing link between the predominantly compact population of massive quiescent galaxies at high redshift and their analogs and relics in the local volume. The evolution in number density of these extreme objects over cosmic time is the crucial constraining factor for the models of massive galaxy assembly. We select a large sample of ~200 intermediate-redshift massive compacts from the BOSS spectroscopic dataset by identifying point-like SDSS photometric sources with spectroscopic signatures of evolved redshifted galaxies. A subset of our targets have publicly available high-resolution ground-based images that we use to augment the dynamical and stellar population properties of these systems by their structural parameters. We confirm that all BOSS compact candidates are as compact as their high-redshift massive counterparts and less than half the size of similarly massive systems at z~0. We use the completeness-corrected numbers of BOSS compacts to compute lower limits on their number densities in narrow redshift bins spanning the range of our sample. The abundance of extremely dense quiescent galaxies at 0.2<z<0.6 is in excellent agreement with the number densities of these systems at high redshift. Our lower limits support the models of massive galaxy assembly through a series of minor mergers over the redshift range 0<z<2.


title: Structure and Dynamics of the Accretion Process and Wind in TW Hya

abstract: Time-domain spectroscopy of the classical accreting T Tauri star, TW Hya, covering a decade and spanning the far UV to the near-infrared spectral regions can identify the radiation sources, the atmospheric structure produced by accretion,and properties of the stellar wind. On time scales from days to years, substantial changes occur in emission line profiles and line strengths. Our extensive time-domain spectroscopy suggests that the broad near-IR, optical, and far-uv emission lines, centered on the star, originate in a turbulent post-shock region and can undergo scattering by the overlying stellar wind as well as some absorption from infalling material. Stable absorption features appear in H-alpha, apparently caused by an accreting column silhouetted in the stellar wind. Inflow of material onto the star is revealed by the near-IR He I 10830A line, and its free-fall velocity correlates inversely with the strength of the post-shock emission, consistent with a dipole accretion model. However, the predictions of hydrogen line profiles based on accretion stream models are not well-matched by these observations. Evidence of an accelerating warm to hot stellar wind is shown by the near-IR He I line, and emission profiles of C II, C III, C IV, N V, and O VI. The outflow of material changes substantially in both speed and opacity in the yearly sampling of the near-IR He I line over a decade. Terminal outflow velocities that range from 200 km/s to almost 400 km/s in He I appear to be directly related to the amount of post- shock emission, giving evidence for an accretion-driven stellar wind. Calculations of the emission from realistic post- shock regions are needed.


title: Estimating Diffusion Network Structures: Recovery Conditions, Sample Complexity & Soft-thresholding Algorithm

abstract: Information spreads across social and technological networks, but often the network structures are hidden from us and we only observe the traces left by the diffusion processes, called cascades. Can we recover the hidden network structures from these observed cascades? What kind of cascades and how many cascades do we need? Are there some network structures which are more difficult than others to recover? Can we design efficient inference algorithms with provable guarantees? Despite the increasing availability of cascade data and methods for inferring networks from these data, a thorough theoretical understanding of the above questions remains largely unexplored in the literature. In this paper, we investigate the network structure inference problem for a general family of continuous-time diffusion models using an $l_1$-regularized likelihood maximization framework. We show that, as long as the cascade sampling process satisfies a natural incoherence condition, our framework can recover the correct network structure with high probability if we observe $O(d^3 \log N)$ cascades, where $d$ is the maximum number of parents of a node and $N$ is the total number of nodes. Moreover, we develop a simple and efficient soft-thresholding inference algorithm, which we use to illustrate the consequences of our theoretical results, and show that our framework outperforms other alternatives in practice.


title: Limit linear series moduli stacks in higher rank

abstract: In order to prove new existence results in Brill-Noether theory for rank-2 vector bundles with fixed special determinant, we develop foundational definitions and results for limit linear series of higher-rank vector bundles. These include two entirely new constructions of "linked linear series" generalizing earlier work of the author for the classical rank-1 case, as well as a new canonical stack structure for the previously developed theory due to Eisenbud, Harris and Teixidor i Bigas. This last structure is new even in the classical rank-1 case, and yields the first proper moduli space of Eisenbud-Harris limit linear series for families of curves. We also develop results comparing these three constructions.


title: The energetics of relativistic magnetic reconnection: ion-electron repartition and particle distribution hardness

abstract: Collisionless magnetic reconnection is a prime candidate to account for flare-like or steady emission, outflow launching, or plasma heating, in a variety of high-energy astrophysical objects, including ones with relativistic ion-electron plasmas. But the fate of the initial magnetic energy in a reconnection event remains poorly known: what is the amount given to kinetic energy, the ion/electron repartition, and the hardness of the particle distributions? We explore these questions with 2D particle-in-cell simulations of ion-electron plasmas. We find that 45 to 75% of the total initial magnetic energy ends up in kinetic energy, this fraction increasing with the inflow magnetization. Depending on the guide field strength, ions get from 30 to 60% of the total kinetic energy. Particles can be separated into two populations that only weakly mix: (i) particles initially in the current sheet, heated by its initial tearing and subsequent contraction of the islands; and (ii) particles from the background plasma that primarily gain energy via the reconnection electric field when passing near the X-point. Particles (ii) tend to form a power-law with an index $p=-d\log n(\gamma)/d\log\gamma$, that depends mostly on the inflow Alfv\'en speed $V_A$ and magnetization $\sigma_s$ of species $s$, with for electrons $p=5$ to $1.2$ for increasing $\sigma_e$. The highest particle Lorentz factor, for ions or electrons, increases roughly linearly with time for all the relativistic simulations. This is faster, and the spectra can be harder, than for collisionless shock acceleration. We discuss applications to microquasar and AGN coronae, to extragalactic jets, and to radio lobes. We point out situations where effects such as Compton drag or pair creation are important.


title: Some analogies between Haar meager sets and Haar null sets in abelian Polish groups

abstract: In the paper we would like to pay attention to some analogies between Haar meager sets and Haar null sets. Among others, we will show that $0\in \inn (A-A)$ for each Borel set $A$, which is not Haar meager in an abelian Polish group. Moreover, we will give an example of a Borel non-Haar meager set $A\subset c_0$ such that $\inn (A+A)=\emptyset$. Finally, we will define $D$-measurability as a topological analog of Christensen measurability, and apply our generalization of Piccard's theorem to prove that each $D$-measurable homomorphism is continuous. Our results refer to the papers \cite{Ch}, \cite{Darji} and \cite{FS}.


title: Remarks on Haar meager sets and Haar null sets in spaces of sequences

abstract: In the paper we will show how to construct a Haar meager set (consequently meager) which is not Haar null, and conversely, a meager Haar null set which is not Haar meager in spaces of sequences: $l_p$ with $p\geq1$, $c_0$ or $c$. It refers to the paper \cite{Darji}.


title: Cross-view Action Modeling, Learning and Recognition

abstract: Existing methods on video-based action recognition are generally view-dependent, i.e., performing recognition from the same views seen in the training data. We present a novel multiview spatio-temporal AND-OR graph (MST-AOG) representation for cross-view action recognition, i.e., the recognition is performed on the video from an unknown and unseen view. As a compositional model, MST-AOG compactly represents the hierarchical combinatorial structures of cross-view actions by explicitly modeling the geometry, appearance and motion variations. This paper proposes effective methods to learn the structure and parameters of MST-AOG. The inference based on MST-AOG enables action recognition from novel views. The training of MST-AOG takes advantage of the 3D human skeleton data obtained from Kinect cameras to avoid annotating enormous multi-view video frames, which is error-prone and time-consuming, but the recognition does not need 3D information and is based on 2D video input. A new Multiview Action3D dataset has been created and will be released. Extensive experiments have demonstrated that this new action representation significantly improves the accuracy and robustness for cross-view action recognition on 2D videos.


title: Random countable iterated function systems with overlaps and applications

abstract: We study invariant measures for random countable (finite or infinite) conformal iterated function systems (IFS) with arbitrary overlaps. We do not assume any type of separation condition. We prove, under a mild assumption of finite entropy, the dimensional exactness of the projections of invariant measures from the shift space, and we give a formula for their dimension, in the context of random infinite conformal iterated function systems with overlaps. There exist many differences between our case and the finite deterministic case studied in [7], and we introduce new methods specific to the infinite and random case. We apply our results towards a problem related to a conjecture of Lyons about random continued fractions ([10]), and show that for Lebesgue-almost all parameters \lambda > 0, the invariant measure \nu_\lambda is exact dimensional. The finite IFS determining these continued fractions is not hyperbolic, but we can associate to it a random infinite IFS of contractions which have overlaps. We study then also other large classes of random countable iterated function systems with overlaps, namely: a) several types of random iterated function systems related to Kahane-Salem sets; and b) randomized infinite IFS in the plane which have uniformly bounded number of disc overlaps. For all the above classes, we find lower and upper estimates for the pointwise (and Hausdorff, packing) dimensions of the invariant measures.


title: Non-semistable exceptional objects in hereditary categories: some remarks and conjectures

abstract: In our previous paper we studied non-semistable exceptional objects in hereditary categories and introduced the notion of regularity preserving category, but we obtained quite a few examples of such categories. Certain conditions on the Ext-nontrivial couples (exceptional objects $X,Y\in \mathcal A$ with ${\rm Ext}^1(X,Y)\neq 0$ and ${\rm Ext}^1(Y,X)\neq 0$) were shown to imply regularity-preserving. This paper is a brief review of the previous paper (with emphasis on regularity preserving property) and we add some remarks and conjectures. It is known that in Dynkin quivers ${\rm Hom}(\rho,\rho')=0$ or ${\rm Ext}^1(\rho,\rho')=0$ for any two exceptional representations. In the present paper we use this property to show that for any Dynkin quiver $Q$ there are no Ext-nontrivial couples in $Rep_k(Q)$, which implies regularity preserving of $Rep_k(Q)$, where $k$ is an algebraically closed field. We study this property in other quivers. In particular in any star quiver with three arms $Q$ for any two exceptional representations $\rho, \rho'$ we have ${\rm Hom}(\rho,\rho')=0$ or ${\rm Ext}^1(\rho,\rho')=0$ provided that $\rho$ or $\rho'$ is a thin representation. In the previous version we asserted falsely that this holds for any two exceptional representations (without imposing the restriction that one of them is thin) for extended Dynkin quivers $\widetilde{\mathbb E}_6, \widetilde{\mathbb E}_7, \widetilde{\mathbb E}_8 $.


title: Wigner formalism for a particle on an infinite lattice: dynamics and spin

abstract: The recently proposed Wigner function for a particle in an infinite lattice [NJP 14, 103009 (2012)] is extended here to include an internal degree of freedom, as spin. The formalism is developed to account for dynamical processes, with or without decoherence. We show explicit solutions for the case of Hamiltonian evolution under a position-dependent potential, and for evolution governed by a master equation under some simple models of decoherence. Discrete processes are also discussed. Finally we discuss the possibility of introducing a negativity concept for the Wigner function in the case in which the spin degree of freedom is included.


title: Generating the Ideals Defining Unions of Schubert Varieties

abstract: This note computes a Gr\"obner basis for the ideal defining a union of Schubert varieties. More precisely, it computes a Gr\"obner basis for unions of schemes given by northwest rank conditions on the space of all matrices of a fixed size. Schemes given by northwest rank conditions include classical determinantal varieties and matrix Schubert varieties--closures of Schubert varieties lifted from the flag manifold to the space of matrices.


title: Integral conditions for nonuniform $\mu$-dichotomy on the half-line

abstract: We give necessary integral conditions and sufficient ones for the existence of a general concept of $\mu$-dichotomy for evolution operators defined on the half-line which includes as particular cases the well-known concepts of nonuniform exponential dichotomy and nonuniform polynomial dichotomy, and also contains new situations. Additionally, we consider an adapted notion of Lyapunov function and use our results to obtain necessary and sufficient conditions for the existence of nonuniform $\mu$-dichotomies using these Lyapunov functions.


title: Spin spin interaction and the relativistic Rabi formula

abstract: The interaction of an electromagnetic wave with spin (polarized light) and an electron is computed. Specifically the spin flip probability is computed using the Dirac equation for an electron trapped in a uniform magnetic field.


title: Characterizing the Topography of Multi-dimensional Energy Landscapes

abstract: A basic issue in optimization, inverse theory,neural networks, computational chemistry and many other problems is the geometrical characterization of high dimensional functions. In inverse calculations one aims to characterize the set of models that fit the data (among other constraints). If the data misfit function is unimodal then one can find its peak by local optimization methods and characterize its width (related to the range of data-fitting models) by estimating derivatives at this peak. On the other hand, if there are local extrema, then a number of interesting and difficult problems arise. Are the local extrema important compared to the global or can they be eliminated (e.g., by smoothing) without significant loss of information? Is there a sufficiently small number of local extrema that they can be enumerated via local optimization? What are the basins of attraction of these local extrema? Can two extrema be joined by a path that never goes uphill? Can the whole problem be reduced to one of enumerating the local extrema and their basins of attraction? For locally ill-conditioned functions, premature convergence of local optimization can be confused with the presence of local extrema. Addressing any of these issues requires topographic information about the functions under study. But in many applications these functions may have hundreds or thousands of variables and can only be evaluated pointwise (by some numerical method for instance). In this paper we describe systematic (but generic) methods of analysing the topography of high dimensional functions using local optimization methods applied to randomly chosen starting models. We provide a number of quantitative measures of function topography that have proven to be useful in practical problems along with error estimates.


title: Tracking Solar Active Region Outflow Plasma from its Source to the near-Earth Environment

abstract: Seeking to establish whether active region upflow material contributes to the slow solar wind, we examine in detail the plasma upflows from Active Region (AR)10978, which crossed the Sun's disc in the interval 8 to 16 December, 2007 during Carrington rotation (CR)2064. In previous work, using data from the Hinode/EUV Imaging Spectrometer, upflow velocity evolution was extensively studied as the region crossed the disc while a linear force-free magnetic extrapolation was used to confirm aspects of the velocity evolution and to establish the presence of quasi-separatrix layers at the upflow source areas. The plasma properties, temperature, density and first ionisation potential bias (FIP-bias) were measured with the spectrometer during the disc passage of the active region. Global potential field source surface (PFSS) models showed that AR 10978 was completely covered by the closed field of a helmet streamer that is part of the streamer belt. Thus it is not clear how any of the upflowing AR-associated plasma could reach the source surface at 2.5 R(Sun)and contribute to the slow solar wind. However a detailed examination of solar-wind in-situ data obtained by the Advanced Composition Explorer (ACE) spacecraft at the L1 point shows that the increase in O^7+/O^6+, C^6+/C^5+ and Fe/O - a FIP-bias proxy - are present before the heliospheric current sheet crossing. These increases, along with an accompanying reduction in proton velocity and an increase in density are characteristic of both AR and slow-wind plasma. Finally we describe a two-step reconnection process by which some of the upflowing plasma from the AR could reach the heliosphere.


title: Quantum spin models for the SU(n)_1 Wess-Zumino-Witten model

abstract: We propose 1D and 2D lattice wave functions constructed from the SU(n)_1 Wess-Zumino-Witten (WZW) model and derive their parent Hamiltonians. When all spins in the lattice transform under SU(n) fundamental representations, we obtain a two-body Hamiltonian in 1D, including the SU(n) Haldane-Shastry model as a special case. In 2D, we show that the wave function converges to a class of Halperin's multilayer fractional quantum Hall states and belongs to chiral spin liquids. Our result reveals a hidden SU(n) symmetry for this class of Halperin states. When the spins sit on bipartite lattices with alternating fundamental and conjugate representations, we provide numerical evidence that the state in 1D exhibits quantum criticality deviating from the expected behaviors of the SU(n)_1 WZW model, while in 2D they are chiral spin liquids being consistent with the prediction of the SU(n)_1 WZW model.

categories: cond-mat.str-el hep-th math-ph math.MP quant-ph


title: A Neuron as a Signal Processing Device

abstract: A neuron is a basic physiological and computational unit of the brain. While much is known about the physiological properties of a neuron, its computational role is poorly understood. Here we propose to view a neuron as a signal processing device that represents the incoming streaming data matrix as a sparse vector of synaptic weights scaled by an outgoing sparse activity vector. Formally, a neuron minimizes a cost function comprising a cumulative squared representation error and regularization terms. We derive an online algorithm that minimizes such cost function by alternating between the minimization with respect to activity and with respect to synaptic weights. The steps of this algorithm reproduce well-known physiological properties of a neuron, such as weighted summation and leaky integration of synaptic inputs, as well as an Oja-like, but parameter-free, synaptic learning rule. Our theoretical framework makes several predictions, some of which can be verified by the existing data, others require further experiments. Such framework should allow modeling the function of neuronal circuits without necessarily measuring all the microscopic biophysical parameters, as well as facilitate the design of neuromorphic electronics.