Dynamic Programming for Graphs on Surfaces

We provide a framework for the design and analysis of dynamic programming algorithms for surface-embedded graphs on n vertices and branchwidth at most k. Our technique applies to general families of problems where standard dynamic programming runs in 2^{O(k log k)} n steps. Our approach combines tools from topological graph theory and analytic combinatorics. In particular, we introduce a new type of branch decomposition called "surface cut decomposition", generalizing sphere cut decompositions of planar graphs introduced by Seymour and Thomas, which has nice combinatorial properties. Namely, the number of partial solutions that can be arranged on a surface cut decomposition can be upper-bounded by the number of non-crossing partitions on surfaces with boundary. It follows that partial solutions can be represented by a single-exponential (in the branchwidth k) number of configurations. This proves that, when applied on surface cut decompositions, dynamic programming runs in 2^{O(k)} n steps. That way, we considerably extend the class of problems that can be solved in running times with a single-exponential dependence on branchwidth and unify/improve most previous results in this direction.Comment: 28 pages, 3 figure

Dynamic programming for graphs on surfaces

We provide a framework for the design and analysis of dynamic programming algorithms for surface-embedded graphs on n vertices and branchwidth at most k. Our technique applies to general families of problems where standard dynamic programming runs in 2O(k·log k). Our approach combines tools from topological graph theory and analytic combinatorics.Postprint (updated version

Coordinate representation of particle dynamics in AdS and in generic static spacetimes

We discuss the quantum dynamics of a particle in static curved spacetimes in a coordinate representation. The scheme is based on the analysis of the squared energy operator E^2, which is quadratic in momenta and contains a scalar curvature term. Our main emphasis is on AdS spaces, where this term is fixed by the isometry group. As a byproduct the isometry generators are constructed and the energy spectrum is reproduced. In the massless case the conformal symmetry is realized as well. We show the equivalence between this quantization and the covariant quantization, based on the Klein-Gordon type equation in AdS. We further demonstrate that the two quantization methods in an arbitrary (N+1)-dimensional static spacetime are equivalent to each other if the scalar curvature terms both in the operator E^2 and in the Klein-Gordon type equation have the same coefficient equal to (N-1)/(4N).Comment: 14 pages, no figures, typos correcte

Season-Long Volatile Emissions from Peach and Pear Trees In Situ , Overlapping Profiles, and Olfactory Attraction of an Oligophagous Fruit Moth in the Laboratory

Insect herbivores that have more than one generation per year and reproduce on different host plants are confronted with substantial seasonal variation in the volatile blends emitted by their hosts. One way to deal with such variation is to respond to a specific set of compounds common to all host plants. The oriental fruit moth Cydia (=Grapholita) molesta is a highly damaging invasive pest. The stone fruit peach (Prunus persica) is its primary host, whereas pome fruits such as pear (Pyrus communis) are considered secondary hosts. In some parts of their geographic range, moth populations switch from stone to pome fruit orchards during the growing season. Here, we tested whether this temporal switch is facilitated by female responses to plant volatiles. We collected volatiles from peach and pear trees in situ and characterized their seasonal dynamics by gas chromatography-mass spectrometry. We also assessed the effects of the natural volatile blends released by the two plant species on female attraction by using Y-tube olfactometry. Finally, we related variations in volatile emissions to female olfactory responses. Our results indicate that the seasonal host switch from peach to pear is facilitated by the changing olfactory effect of the natural volatile blends being emitted. Peach volatiles were only attractive early and mid season, whereas pear volatiles were attractive from mid to late season. Blends from the various attractive stages shared a common set of five aldehydes, which are suggested to play an essential role in female attraction to host plants. Particular attention should be given to these aldehydes when designing candidate attractants for oriental fruit moth female

M Theory from World-Sheet Defects in Liouville String

We have argued previously that black holes may be represented in a D-brane approach by monopole and vortex defects in a sine-Gordon field theory model of Liouville dynamics on the world sheet. Supersymmetrizing this sine-Gordon system, we find critical behaviour in 11 dimensions, due to defect condensation that is the world-sheet analogue of D-brane condensation around an extra space-time dimension in M theory. This supersymmetric description of Liouville dynamics has a natural embedding within a 12-dimensional framework suggestive of F theory.Comment: 17 pages LATEX, 1 epsf figure include

Computational Thinking Bins: Outreach and More

Computational Thinking Bins are stand alone, individual boxes, each containing an activity for groups of students that teaches a computing concept. We have a devised a system that has allowed us to create an initial set, test the set, continually improve and add to our set. We currently use these bins in outreach events for middle and high school students. As we have shared this resource with K-12 teachers, many have expressed an interest in acquiring their own set. In this paper we will share our experience throughout the process, introduce the bins, and explain how you can create your own set

Intrinsic quark transverse momentum in the nucleon from lattice QCD

A better understanding of transverse momentum (k_T-) dependent quark distributions in a hadron is needed to interpret several experimentally observed large angular asymmetries and to clarify the fundamental role of gauge links in non-abelian gauge theories. Based on manifestly non-local gauge invariant quark operators we introduce process-independent k_T-distributions and study their properties in lattice QCD. We find that the longitudinal and transverse momentum dependence approximately factorizes, in contrast to the behavior of generalized parton distributions. The resulting quark k_T-probability densities for the nucleon show characteristic dipole deformations due to correlations between intrinsic k_T and the quark or nucleon spin. Our lattice calculations are based on N_f=2+1 mixed action propagators of the LHP collaboration.Comment: 4 pages, 3 figure

Properties of branes in curved spacetimes

A generic property of curved manifolds is the existence of focal points. We show that branes located at focal points of the geometry satisfy special properties. Examples of backgrounds to which our discussion applies are AdS_m x S^n and plane wave backgrounds. As an example, we show that a pair of AdS_2 branes located at the north and south pole of the S^5 in AdS_5 x S^5 are half supersymmetric and that they are dual to a two-monopole solution of N=4 SU(N) SYM theory. Our second example involves spacelike branes in the (Lorentzian) plane wave. We develop a modified lightcone gauge for the open string channel, analyze in detail the cylinder diagram and establish open-closed duality. When the branes are located at focal points of the geometry the amplitude acquires most of the characteristics of flat space amplitudes. In the open string channel the special properties are due to stringy modes that become massless.Comment: 41 pages; v2:typos corrected, ref adde

Comparative study of gp130 cytokine effects on corticotroph AtT-20 cells - Redundancy or specificity of neuroimmunoendocrine modulators?

Objective: This comparative in vitro study examined the effects of all known gp130 cytokines on murine corticotroph AtT-20 cell function. Methods: Cytokines were tested at equimolar concentrations from 0.078 to 10 nM. Tyrosine phosphorylation of the signal transducer and activator of transcription ( STAT) 3 and STAT1, the STAT-dependent suppressor of cytokine signaling (SOCS)-3 promoter activity, SOCS-3 gene expression, STAT-dependent POMC promoter activity and adrenocorticotropic hormone ( ACTH) secretion were determined. Results: Leukemia inhibitory factor (LIF), human oncostatin M (OSM) and cardiotrophin (CT)-1 (LIFR/gp130 ligands), as well as ciliary neurotrophic factor ( CNTF) and novel neurotrophin1/B-cell stimulating factor-3 (CNTFRalpha/LIFR/gp130 ligands) are potent stimuli of corticotroph cells in vitro. In comparison, interleukin (IL)-6 (IL-6R/gp130 ligand) and IL-11 (IL-11R/gp130 ligand) exhibited only modest direct effects on corticotrophs, while murine OSM (OSMR/gp130 ligand) showed no effect. Conclusion: (i) CNTFR complex ligands are potent stimuli of corticotroph function, comparable to LIFR complex ligands; (ii) IL-6 and IL-11 are relatively weak direct stimuli of corticotroph function; (iii) differential effects of human and murine OSM suggest that LIFR/gp130 (OSMR type I) but not OSMR/gp130 (OSMR type II) are involved in corticotroph signaling. (iv) CT-1 has the hitherto unknown ability to stimulate corticotroph function, and (v) despite redundant immuno-neuroendocrine effects of different gp130 cytokines, corticotroph cells are preferably activated through the LIFR and CNTFR complexes. Copyright (C) 2004 S. Karger AG, Basel