title: On universality of charge transport in AdS/CFT

abstract: We develop the holographic formulation of transport in strongly coupled two-layer systems. We identify a dc conductivity, sigma^dc, that is finite even in a translationally invariant setup, and universal for CFTs with a gravity dual. The thermoelectric conductivity and heat conductivity are fully determined by the electrical conductivity matrix, as a consequence of Ward identities. We use the memory-matrix approach for double-layer systems, together with Ward identities, to show that sigma^dc - extended to finite frequency - has no Drude peak and, similarly, that its universal value is unaffected if translation invariance is softly broken.


title: Theoretical results for top quark production

abstract: I discuss and compare several approaches to higher-order calculations of top quark production. I study the relative effectiveness of the approaches in approximating the exact NNLO results for the top-pair total cross section and highlight the theoretical and numerical differences between them. I show that the results from my soft-gluon resummation method are nearly identical to the exact NNLO cross section at all LHC and Tevatron energies. This agreement has important consequences for the validity of existing approximate NNLO differential distributions, for further refinements of the predictions, and for applications to other processes such as single-top production. I also compare approximate NNLO top quark transverse momentum and rapidity distributions with recent LHC measurements.


title: Lifshitz as a deformation of Anti-de Sitter

abstract: We consider holography for Lifshitz spacetimes with dynamical exponent z=1+epsilon^2, where epsilon is small. We show that the holographically dual field theory is a specific deformation of the relativistic CFT, corresponding to the z=1 theory. Treating epsilon as a small expansion parameter we set up the holographic dictionary for Einstein-Proca models up to order epsilon^2 in three and four bulk dimensions. We explain how renormalization turns the relativistic conformal invariance into non-relativistic Lifshitz invariance with dynamical exponent z=1+epsilon^2. We compute the two-point function of the conserved spin two current for the dual two-dimensional field theory and verify that it is Lifshitz invariant. Using only QFT arguments, we show that a particular class of deformations of CFTs generically leads to Lifshitz scaling invariance and we construct examples of such deformations.


title: Young Stellar Objects in Lynds 1641: Disks, Accretion, and Star Formation History

abstract: We investigate the young stellar objects (YSOs) in the Lynds~1641 (L1641) cloud using multi-wavelength data including Spitzer, WISE, 2MASS, and XMM covering ~1390 YSOs across a range of evolutionary stages. In addition, we targeted a sub-sample of YSOs for optical spectroscopy. We use this data, along with archival photometric data, to derive spectral types, extinction values, masses, ages, as well as accretion rates. We obtain a disk fraction of ~50% in L1641. The disk frequency is almost constant as a function of stellar mass with a slight peak at log(M_*/M_sun)\approx-0.25. The analysis of multi-epoch spectroscopic data indicates that the accretion variability of YSOs cannot explain the two orders of magnitude of scatter for YSOs with similar masses. Forty-six new transition disk (TD) objects are confirmed in this work, and we find that the fraction of accreting TDs is lower than for optically thick disks (40--45% vs. 77--79% respectively). We confirm our previous result that the accreting TDs have a similar median accretion rate to normal optically thick disks. We confirm that two star formation modes (isolated vs. clustered) exist in L1641. We find that the diskless YSOs are statistically older than the YSOs with optically-thick disks and the transition disk objects have a median age which is intermediate between the two populations. We tentatively study the star formation history in L1641 based on the age distribution and find that star formation started to be active 2--3 Myr ago.


title: The massive end of the luminosity and stellar mass functions: Dependence on the fit to the light profile

abstract: In addition to the large systematic differences arising from assumptions about the stellar mass-to-light ratio, the massive end of the stellar mass function is rather sensitive to how one fits the light profiles of the most luminous galaxies. We quantify this by comparing the luminosity and stellar mass functions based on SDSS cmodel magnitudes, and PyMorph single-Sersic and Sersic-Exponential fits to the surface brightness profiles of galaxies in the SDSS. The PyMorph fits return more light, so that the predicted masses are larger than when cmodel magnitudes are used. As a result, the total stellar mass density at z~0.1 is about 1.2x larger than in our previous analysis of the SDSS. The differences are most pronounced at the massive end, where the measured number density of objects having M* > 6 x 10^{11} Msun is ~5x larger. Alternatively, at number densities of 10^{-6} Mpc^{-3}, the limiting stellar mass is 2x larger. The differences with respect to fits by other authors, typically based on Petrosian-like magnitudes, are even more dramatic, although some of these differences are due to sky-subtraction problems, and are sometimes masked by large differences in the assumed $M_*/L$ (even after scaling to the same IMF). Our results impact studies of the growth and assembly of stellar mass in galaxies, and of the relation between stellar and halo mass, so we provide simple analytic fits to these new luminosity and stellar mass functions and quantify how they depend on morphology, as well as the binned counts in electronic format.


title: Probing Dark Matter at the LHC using Vector Boson Fusion Processes

abstract: Vector boson fusion (VBF) processes at the Large Hadron Collider (LHC) provide a unique opportunity to search for new physics with electroweak couplings. A feasibility study for the search of supersymmetric dark matter in the final state of two VBF jets and large missing transverse energy is presented at 14 TeV. Prospects for determining the dark matter relic density are studied for the cases of Wino and Bino-Higgsino dark matter. The LHC could probe Wino dark matter with mass up to approximately 600 GeV with a luminosity of 1000 fb$^{-1}$.


title: Chandra identification of 26 new black hole candidates in the central region of M31

abstract: We have previously identified 10 M31 black hole candidates (BHCs) in M31, from their X-ray properties alone. They exhibit "hard state" emission spectra that are seen at luminosities < ~10% Eddington in X-ray binaries (XBs) containing a neutron star (NS) or black hole (BH), at luminosities that significantly exceed the NS threshold. Nine of these are associated with globular clusters (GCs); hence, these are most likely low mass X-ray binaries (LMXBs); eight are included in this survey. We have recently discovered that analysis of the long term 0.5--4.5 keV variability of XBs via structure functions allows us to separate XBs from AGN, even though the emission spectra are often similar; this has enabled us to search for BHCs outside of GCs. We have identified 26 new BHCs (12 strong, 14 plausible) within 20' of the M31 nucleus (M31*), using 152 Chandra observations spaced over ~13 years; some of our classifications were enhanced with XMM-Newton observations. Of these, 7 appear within 100" of M31*; this supports the theory suggesting that this region experiences enhanced XB production via dynamical processes similar to those seen in GCs. We have found a parameter space where our black hole candidates are separated from Galactic neutron star binaries: we show that modelling a simulated hard state spectrum with a disk blackbody + blackbody model yields parameters that lie outside the space occupied by neutron star binaries that are modeled this way. The probability that our BHCs all lie within the NS parameter space is ~3E-29.


title: On-chip low loss heralded source of pure single photons

abstract: A key obstacle to the experimental realization of many photonic quantum-enhanced technologies is the lack of low-loss sources of single photons in pure quantum states. We demonstrate a promising solution: generation of heralded single photons in a silica photonic chip by spontaneous four-wave mixing. A heralding efficiency of 40%, corresponding to a preparation efficiency of 80% accounting for detector performance, is achieved due to efficient coupling of the low-loss source to optical fibers. A single photon purity of 0.86 is measured from the source number statistics without filtering, and confirmed by direct measurement of the joint spectral intensity. We calculate that similar high-heralded-purity output can be obtained from visible to telecom spectral regions using this approach. On-chip silica sources can have immediate application in a wide range of single-photon quantum optics applications which employ silica photonics.


title: Electrodiffusive model for astrocytic and neuronal ion concentration dynamics

abstract: Electrical neural signalling typically takes place at the time-scale of milliseconds, and is typically modeled using the cable equation. This is a good approximation for processes when ionic concentrations vary little during the time course of a simulation. During periods of intense neural signalling, however, the local extracellular K+ concentration may increase by several millimolars. Clearance of excess K+ likely depends partly on diffusion in the extracellular space, partly on local uptake by- and intracellular transport within astrocytes. This process takes place at the time scale of seconds, and can not be modeled accurately without accounting for the spatiotemporal variations in ion concentrations. The work presented here consists of two main parts: First, we developed a general electrodiffusive formalism for modeling ion concentration dynamics in a one-dimensional geometry, including both an intra- and extracellular domain. The formalism was based on the Nernst-Planck equations. It ensures (i) consistency between the membrane potential and ion concentrations, (ii) global particle/charge conservation, and (iii) accounts for diffusion and concentration dependent variations in resistivities. Second, we applied the formalism to model how astrocytes exchange ions with the ECS, and identified the key astrocytic mechanisms involved in K+ removal from high concentration regions. We found that a local increase in extracellular K\textsuperscript{+} evoked a local depolarization of the astrocyte membrane, which at the same time (i) increased the local astrocytic uptake of K\textsuperscript{+}, (ii) suppressed extracellular transport of K+, (iii) increased transport of K+ within astrocytes, and (iv) facilitated astrocytic relase of K+ in extracellular low concentration regions. In summary, these mechanisms seem optimal for shielding the extracellular space from excess K+.


title: Contrasting behaviour from two Be/X-ray binary pulsars: insights into differing neutron star accretion modes

abstract: In this paper we present the identification of two periodic X-ray signals coming from the direction of the Small Magellanic Cloud (SMC). On detection with the Rossi X-ray Timing Explorer (RXTE), the 175.4s and 85.4s pulsations were considered to originate from new Be/X-ray binary (BeXRB) pulsars with unknown locations. Using rapid follow-up INTEGRAL and XMM-Newton observations, we show the first pulsar (designated SXP175) to be coincident with a candidate high-mass X-ray binary (HMXB) in the northern bar region of the SMC undergoing a small Type II outburst. The orbital period (87d) and spectral class (B0-B0.5IIIe) of this system are determined and presented here for the first time. The second pulsar is shown not to be new at all, but is consistent with being SXP91.1 - a pulsar discovered at the very beginning of the 13 year long RXTE key monitoring programme of the SMC. Whilst it is theoretically possible for accreting neutron stars to change spin period so dramatically over such a short time, the X-ray and optical data available for this source suggest this spin-up is continuous during long phases of X-ray quiescence, where accretion driven spin-up of the neutron star should be minimal.


title: Instabilities at planetary gap edges in 3D self-gravitating disks

abstract: Numerical simulations are presented to study the stability of gaps opened by giant planets in 3D self-gravitating disks. In weakly self-gravitating disks, a few vortices develop at the gap edge and merge on orbital time-scales. The result is one large but weak vortex with Rossby number -0.01. In moderately self-gravitating disks, more vortices develop and their merging is resisted on dynamical time-scales. Self-gravity can sustain multi-vortex configurations, with Rossby number -0.2 to -0.1, over a time-scale of order 100 orbits. Self-gravity also enhances the vortex vertical density stratification, even in disks with initial Toomre parameter of order 10. However, vortex formation is suppressed in strongly self-gravitating disks and replaced by a global spiral instability associated with the gap edge which develops during gap formation.


title: Symmetries of Vector Perturbations during the de Sitter Epoch

abstract: We analyze the class of models where a suitable coupling between the inflaton field and the vector field gives rise to scale-invariant vector perturbations. We exploit the fact that the de Sitter isometry group acts as conformal group on the three-dimensional Euclidean space for the super-Hubble fluctuations in order to characterize the correlators involving the inflaton and the vector fields.


title: Systematic Study of Event Horizons and Pathologies of Parametrically Deformed Kerr Spacetimes

abstract: In general relativity, all black holes in vacuum are described by the Kerr metric, which has only two independent parameters: the mass and the spin. The unique dependence on these two parameters is known as the no-hair theorem. This theorem may be tested observationally by using electromagnetic or gravitational-wave observations to map the spacetime around a candidate black hole and measure potential deviations from the Kerr metric. Several parametric frameworks have been constructed for tests of the no-hair theorem. Due to the uniqueness of the Kerr metric, any such parametric framework must violate at least one of the assumptions of the no-hair theorem. This can lead to pathologies in the spacetime, such as closed timelike curves or singularities, which may hamper using the metric in the strong-field regime. In this paper, I analyze in detail several parametric frameworks and show explicitly the manner in which they differ from the Kerr metric. I calculate the coordinate locations of event horizons in these metrics, if any exist, using methods adapted from the numerical relativity literature. I identify the regions where each parametric deviation is unphysical as well as the range of coordinates and parameters for which each spacetime remains a regular extension of the Kerr metric and is, therefore, suitable for observational tests of the no-hair theorem.


title: Formation and Coalescence of Cosmological Supermassive Black Hole Binaries in Supermassive Star Collapse

abstract: We study the collapse of rapidly rotating supermassive stars that may have formed in the early Universe. By self-consistently simulating the dynamics from the onset of collapse using three-dimensional general-relativistic hydrodynamics with fully dynamical spacetime evolution, we show that seed perturbations in the progenitor can lead to the formation of a system of two high-spin supermassive black holes, which inspiral and merge under the emission of powerful gravitational radiation that could be observed at redshifts z>10 with the DECIGO or Big Bang Observer gravitational-wave observatories, assuming supermassive stars in the mass range 10^4-10^6 Msol. The remnant is rapidly spinning with dimensionless spin a^*=0.9. The surrounding accretion disk contains ~10% of the initial mass.


title: Extending Record and Playback Technologies to Support Cooperative Learning

abstract: We have long-term experience with developing and employing multimedia materials for on-campus and distance education. We also are assessing the efficacy of cooperative learning where groups of learners explore, with guidance from an instructor, the learning environment and construct models of meaning based on their shared learning experiences. Our core technologies capture and store classroom events, but are record-and-playback technologies focused on delivering content to individual learners. We describe an extension of our technology, Cooperative Learning in MANIC (CLIMANIC), which allows groups of learners and teachers to collaborate and communicate. We describe our current assessment of CLIMANIC and future plans for more extensive evaluation.


title: On estimating cosmology-dependent covariance matrices

abstract: We describe a statistical model to estimate the covariance matrix of matter tracer two-point correlation functions with cosmological simulations. Assuming a fixed number of cosmological simulation runs, we describe how to build a `statistical emulator' of the two-point function covariance over a specified range of input cosmological parameters. Because the simulation runs with different cosmological models help to constrain the form of the covariance, we predict that the cosmology-dependent covariance may be estimated with a comparable number of simulations as would be needed to estimate the covariance for fixed cosmology. Our framework is a necessary first step in planning a simulations campaign for analyzing the next generation of cosmological surveys.


title: Cyclic permutations realized by signed shifts

abstract: The periodic (ordinal) patterns of a map are the permutations realized by the relative order of the points in its periodic orbits. We give a combinatorial characterization of the periodic patterns of an arbitrary signed shift, in terms of the structure of the descent set of a certain cyclic permutation associated to the pattern. Signed shifts are an important family of one-dimensional dynamical systems that includes shift maps and the tent map as particular cases. Defined as a function on the set of infinite words on a finite alphabet, a signed shift deletes the first letter and, depending on its value, possibly applies the complementation operation on the remaining word. For shift maps, reverse shift maps, and the tent map, we give exact formulas for their number of periodic patterns. As a byproduct of our work, we recover results of Gessel--Reutenauer and Weiss--Rogers and obtain new enumeration formulas for pattern-avoiding cycles.


title: Can all cosmological observations be accurately interpreted with a unique geometry?

abstract: The recent analysis of the Planck results reveals a tension between the best fits for ({\Omega}m0, H0) derived from the cosmic microwave background or baryonic acoustic oscillations on the one hand, and the Hubble diagram on the other hand. These observations probe the universe on very different scales since they involve light beams of very different angular sizes; hence the tension between them may indicate that they should not be interpreted the same way. More precisely, this Letter questions the accuracy of using only the (perturbed) Friedmann-Lema\^itre geometry to interpret all the cosmological observations, regardless of their angular or spatial resolution. We show that using an inhomogeneous "Swiss-cheese" model to interpret the Hubble diagram allows to reconcile it with the Planck results. Such an approach does not require us to invoke new physics nor to violate the Copernican principle.


title: Stable sound wave generation in weakly ionized air medium

abstract: We consider the generation of sound waves in the air medium between electrodes at the voltages near electrical breakdown in the presence of the time dependent constituent of the electric field. Within the standard multicomponent hydrodynamic model of the weakly ionized gas it is shown that the generation of sound is possible due to instantaneous character of the ionization equilibrium. The influence of the electronegative ions on the sound intensity is also discussed.


title: Co-Scheduling Algorithms for High-Throughput Workload Execution

abstract: This paper investigates co-scheduling algorithms for processing a set of parallel applications. Instead of executing each application one by one, using a maximum degree of parallelism for each of them, we aim at scheduling several applications concurrently. We partition the original application set into a series of packs, which are executed one by one. A pack comprises several applications, each of them with an assigned number of processors, with the constraint that the total number of processors assigned within a pack does not exceed the maximum number of available processors. The objective is to determine a partition into packs, and an assignment of processors to applications, that minimize the sum of the execution times of the packs. We thoroughly study the complexity of this optimization problem, and propose several heuristics that exhibit very good performance on a variety of workloads, whose application execution times model profiles of parallel scientific codes. We show that co-scheduling leads to to faster workload completion time and to faster response times on average (hence increasing system throughput and saving energy), for significant benefits over traditional scheduling from both the user and system perspectives.


title: Heavy ions and string theory

abstract: We review a selection of recent developments in the application of ideas of string theory to heavy ion physics. Our topics divide naturally into equilibrium and non-equilibrium phenomena. On the non-equilibrium side, we discuss generalizations of Bjorken flow, numerical simulations of black hole formation in asymptotically anti-de Sitter geometries, equilibration in the dual field theory, and hard probes. On the equilibrium side, we summarize improved holographic QCD, extraction of transport coefficients, inclusion of chemical potentials, and approaches to the phase diagram. We close with some possible directions for future research.


title: GRS 1915+105 as a Galactic Analog of a Fanaroff-Riley II Quasar

abstract: We study the long term time averaged kinetic luminosity, $\bar{Q}$, of the major flares of the Galactic microquasar GRS 1915+105 and the relationship to the intrinsic X-ray (bolometric) luminosity, $L_{\mathrm{bol}}$, and scale it to that of a complete sample of SDSS/FIRST FR II quasars. If the scale invariance hypothesis for black holes (BHs) holds then we show that the expected distribution in the $\bar{Q}$ - $L_{\mathrm{bol}}$ scatter plane of GRS 1915+105 is consistent with FR II quasars for distances D = 10.7 - 11 kpc. We compare the specific values of kinetic luminosity and $L_{\mathrm{bol}}$ during flares of GRS 1915+105 to that predicted by several 3-D MHD simulations of BH accretion flows with relativistic ejections. If FR II quasars are a scaled up version of GRS 1915+105, the data are consistent with numerical models when they contain an ergospheric disk jet and the BH spin is $a/M= 0.99$ or $a/M=0.998$ (we estimate $a/M>0.984$). In the framework of scale invariance of BHs, our results may imply that FR II quasars also hold rapidly rotating BHs.


title: Adaptive Near-Optimal Rank Tensor Approximation for High-Dimensional Operator Equations

abstract: We consider a framework for the construction of iterative schemes for operator equations that combine low-rank approximation in tensor formats and adaptive approximation in a basis. Under fairly general assumptions, we obtain a rigorous convergence analysis, where all parameters required for the execution of the methods depend only on the underlying infinite-dimensional problem, but not on a concrete discretization. Under certain assumptions on the rates for the involved low-rank approximations and basis expansions, we can also give bounds on the computational complexity of the iteration as a function of the prescribed target error. Our theoretical findings are illustrated and supported by computational experiments. These demonstrate that problems in very high dimensions can be treated with controlled solution accuracy.


title: Definable closure in randomizations

abstract: The randomization of a complete first order theory T is the complete continuous theory T^R with two sorts, a sort for random elements of models of T, and a sort for events in an underlying probability space. We give necessary and sufficient conditions for an element to be definable over a set of parameters in a model of T^R.


title: Supermoduli Space Is Not Projected

abstract: We prove that for genus greater than or equal to 5, the moduli space of super Riemann surfaces is not projected (and in particular is not split): it cannot be holomorphically projected to its underlying reduced manifold. Physically, this means that certain approaches to superstring perturbation theory that are very powerful in low orders have no close analog in higher orders. Mathematically, it means that the moduli space of super Riemann surfaces cannot be constructed in an elementary way starting with the moduli space of ordinary Riemann surfaces. It has a life of its own.


title: Left Bit Right: For SPARQL Join Queries with OPTIONAL Patterns (Left-outer-joins)

abstract: SPARQL basic graph pattern (BGP) (a.k.a. SQL inner-join) query optimization is a well researched area. However, optimization of OPTIONAL pattern queries (a.k.a. SQL left-outer-joins) poses additional challenges, due to the restrictions on the \textit{reordering} of left-outer-joins. The occurrence of such queries tends to be as high as 50% of the total queries (e.g., DBPedia query logs). In this paper, we present \textit{Left Bit Right} (LBR), a technique for \textit{well-designed} nested BGP and OPTIONAL pattern queries. Through LBR, we propose a novel method to represent such queries using a graph of \textit{supernodes}, which is used to aggressively prune the RDF triples, with the help of compressed indexes. We also propose novel optimization strategies -- first of a kind, to the best of our knowledge -- that combine together the characteristics of \textit{acyclicity} of queries, \textit{minimality}, and \textit{nullification}, \textit{best-match} operators. In this paper, we focus on OPTIONAL patterns without UNIONs or FILTERs, but we also show how UNIONs and FILTERs can be handled with our technique using a \textit{query rewrite}. Our evaluation on RDF graphs of up to and over one billion triples, on a commodity laptop with 8 GB memory, shows that LBR can process \textit{well-designed} low-selectivity complex queries up to 11 times faster compared to the state-of-the-art RDF column-stores as Virtuoso and MonetDB, and for highly selective queries, LBR is at par with them.


title: Hybrid Monte Carlo/molecular dynamics simulation of a refractory metal high entropy alloy

abstract: The high entropy alloy containing refractory metals Mo-Nb-Ta-W has a body centered cubic structure, which is not surprising given the complete mutual solubility in BCC solid solutions of all pairs of the constituent elements. However, first principles total energy calculations for the binaries reveal a set of distinct energy minimizing structures implying the likelihood of chemically ordered low temperature phases. We apply a hybrid Monte Carlo and molecular dynamics method to evaluate the temperature-dependent chemical order. At 300K a cesium-chloride ordering emerges between mixed (Nb,Ta) sites and mixed (Mo,W) sites. This order is lost at elevated temperatures.


title: The WIRED Survey. IV. New Dust Disks from the McCook & Sion White Dwarf Catalog

abstract: We have compiled photometric data from the Wide-field Infrared Survey Explorer All Sky Survey and other archival sources for the more than 2200 objects in the original McCook & Sion Catalog of Spectroscopically Identified White Dwarfs. We applied color-selection criteria to identify 28 targets whose infrared spectral energy distributions depart from the expectation for the white dwarf photosphere alone. Seven of these are previously known white dwarfs with circumstellar dust disks, five are known central stars of planetary nebulae, and six were excluded for being known binaries or having possible contamination of their infrared photometry. We fit white dwarf models to the spectral energy distributions of the remaining ten targets, and find seven new candidates with infrared excess suggesting the presence of a circumstellar dust disk. We compare the model dust disk properties for these new candidates with a comprehensive compilation of previously published parameters for known white dwarfs with dust disks. It is possible that the current census of white dwarfs with dust disks that produce an excess detectable at K-band and shorter wavelengths is close to complete for the entire sample of known WDs to the detection limits of existing near-IR all-sky surveys. The white dwarf dust disk candidates now being found using longer wavelength infrared data are drawn from a previously underrepresented region of parameter space, in which the dust disks are overall cooler, narrower in radial extent, and/or contain fewer emitting grains.


title: Theoretical Description of Coherent Doublon Creation via Lattice Modulation Spectroscopy

abstract: Using a recently developed strong-coupling method, we present a comprehensive theory for doublon production processes in modulation spectroscopy of a three-dimensional system of ultracold fermionic atoms in an optical lattice with a trap. The theoretical predictions compare well to the experimental time traces of doublon production. For experimentally feasible conditions, we provide a quantitative prediction for the presence of a nonlinear "two-photon" excitation at strong modulation amplitudes.


title: Status of the ADMX and ADMX-HF experiments

abstract: The Axion Dark Matter eXperiment (ADMX) is in the midst of an upgrade to reduce its system noise temperature. ADMX-HF (High Frequency) is a second platform specifically designed for higher mass axions and will serve as an innovation test-bed. Both will be commissioning in 2013 and taking data shortly thereafter. The principle of the experiment, current experimental limits and the status of the ADMX/ADMX-HF program will be described. R&D on hybrid superconducting cavities will be discussed as one example of an innovation to greatly enhance sensitivity.


title: Producibility in hierarchical self-assembly

abstract: Three results are shown on producibility in the hierarchical model of tile self-assembly. It is shown that a simple greedy polynomial-time strategy decides whether an assembly A is producible. The algorithm can be optimized to use O(|A| log^2 |A|) time. Cannon, Demaine, Demaine, Eisenstat, Patitz, Schweller, Summers, and Winslow showed that the problem of deciding if an assembly A is the unique producible terminal assembly of a tile system T can be solved in O(|A|^2 |T| + |A| |T|^2) time for the special case of noncooperative "temperature 1" systems. It is shown that this can be improved to O(|A| |T| log |T|) time. Finally, it is shown that if two assemblies are producible, and if they can be overlapped consistently -- i.e., if the positions that they share have the same tile type in each assembly -- then their union is also producible.


title: Mathematical Model of an Inductive Measuring Cell for Contactless Conductometry

abstract: A research of inductive conductometric cell is presented. An equivalent circuit and a mathematical model of inductive cell are given in the article. The model takes into account sample-coil capacity (i.e. capacity formed by the coil and the sample under study) and eddy currents. It is sample-coil capacity that makes inductive cell applicable for measurement of electrical conductivity of low conductive samples (specific conductance is less than 1S/m). The model can be used to calculate impedance of inductive cell for different characteristics of sample, materials and dimensions of cell without numerical solving of partial differential equations. Results of numerical simulation were verified by experiment for several devices with inductive cell. Some features that an engineer has to hold in mind while designing a conductometer based on inductive cell are discussed. Presented model can be useful for those who study inductively coupled plasma.


title: On the wave energy potential of Western Black Sea shelf

abstract: In the present study we evaluate the approaches to estimate the wave energy potential of the western Black Sea shelf with numerical models. For the purpose of our evaluation and due to the lack of long time series of measurements in the selected area of the Black Sea, we compare the modeled mean wave power flux output from the SWAN wave model with the only available long term measurements from the buoy of Gelendzhik for the period 1997-2003 (with gaps). The forcing meteorological data for the numerical wave models for the selected years is extracted from the ERA Interim reanalysis of ECMWF (European Centre for Medium range Forecasts). For the year 2003 we also compare the estimated wave power with the modeled by SWAN, using ALADIN regional atmospheric model winds. We try to identify the shortcomings and limitations of the numerical modeling approach to the evaluation of the wave energy potential in Black Sea.


title: Efficient Monte Carlo methods for simulating diffusion-reaction processes in complex systems

abstract: We briefly review the principles, mathematical bases, numerical shortcuts and applications of fast random walk (FRW) algorithms. This Monte Carlo technique allows one to simulate individual trajectories of diffusing particles in order to study various probabilistic characteristics (harmonic measure, first passage/exit time distribution, reaction rates, search times and strategies, etc.) and to solve the related partial differential equations. The adaptive character and flexibility of FRWs make them particularly efficient for simulating diffusive processes in porous, multiscale, heterogeneous, disordered or irregularly-shaped media.


title: Initializing adaptive importance sampling with Markov chains

abstract: Adaptive importance sampling is a powerful tool to sample from complicated target densities, but its success depends sensitively on the initial proposal density. An algorithm is presented to automatically perform the initialization using Markov chains and hierarchical clustering. The performance is checked on challenging multimodal examples in up to 20 dimensions and compared to results from nested sampling. Our approach yields a proposal that leads to rapid convergence and accurate estimation of overall normalization and marginal distributions.


title: Dyck Words and Multi-Quark Primitive Amplitudes

abstract: I study group theory (Kleiss-Kuijf) relations between purely multi-quark primitive amplitudes at tree level, and prove that they reduce the number of independent primitives to (n-2)!/(n/2)!, where n is the number of quarks plus antiquarks, in the case where quark lines have different flavours. I give an explicit example of an independent basis of primitives for any n which is of the form A(1,2,sigma), where sigma is a permutation based on a Dyck word.


title: Discontinuities without discontinuity: The Weakly-enforced Slip Method

abstract: Tectonic faults are commonly modelled as Volterra or Somigliana dislocations in an elastic medium. Various solution methods exist for this problem. However, the methods used in practice are often limiting, motivated by reasons of computational efficiency rather than geophysical accuracy. A typical geophysical application involves inverse problems for which many different fault configurations need to be examined, each adding to the computational load. In practice, this precludes conventional finite-element methods, which suffer a large computational overhead on account of geometric changes. This paper presents a new non-conforming finite-element method based on weak imposition of the displacement discontinuity. The weak imposition of the discontinuity enables the application of approximation spaces that are independent of the dislocation geometry, thus enabling optimal reuse of computational components. Such reuse of computational components renders finite-element modeling a viable option for inverse problems in geophysical applications. A detailed analysis of the approximation properties of the new formulation is provided. The analysis is supported by numerical experiments in 2D and 3D.


title: STARLIB: A Next-Generation Reaction-Rate Library for Nuclear Astrophysics

abstract: STARLIB is a next-generation, all-purpose nuclear reaction-rate library. For the first time, this library provides the rate probability density at all temperature grid points for convenient implementation in models of stellar phenomena. The recommended rate and its associated uncertainties are also included. Currently, uncertainties are absent from all other rate libraries, and, although estimates have been attempted in previous evaluations and compilations, these are generally not based on rigorous statistical definitions. A common standard for deriving uncertainties is clearly warranted. STARLIB represents a first step in addressing this deficiency by providing a tabular, up-to-date database that supplies not only the rate and its uncertainty but also its distribution. Because a majority of rates are lognormally distributed, this allows the construction of rate probability densities from the columns of STARLIB. This structure is based on a recently suggested Monte Carlo method to calculate reaction rates, where uncertainties are rigorously defined. In STARLIB, experimental rates are supplemented with: (i) theoretical TALYS rates for reactions for which no experimental input is available, and (ii) laboratory and theoretical weak rates. STARLIB includes all types of reactions of astrophysical interest to Z = 83, such as (p,g), (p,a), (a,n), and corresponding reverse rates. Strong rates account for thermal target excitations. Here, we summarize our Monte Carlo formalism, introduce the library, compare methods of correcting rates for stellar environments, and discuss how to implement our library in Monte Carlo nucleosynthesis studies. We also present a method for accessing STARLIB on the Internet and outline updated Monte Carlo-based rates.


title: Coupled-channel scattering in 1+1 dimensional lattice model

abstract: Based on the Lippmann-Schwinger equation approach, a generalized L\"uscher's formula in 1+1 dimensions for two particles scattering in both the elastic and coupled-channel cases in moving frames is derived. A 2D coupled-channel scattering lattice model is presented, the model represents a two-coupled-channel resonant scattering scalars system. The Monte Carlo simulation is performed on finite lattices and in various moving frames. The 2D generalized L\"uscher's formula is used to extract the scattering amplitudes for the coupled-channel system from the discrete finite-volume spectrum.


title: The Standard model as a low-energy effective theory: what is triggering the Higgs mechanism?

abstract: The discovery of the Higgs by ATLAS and CMS at the LHC not only provided the last missing building block of the electroweak Standard Model, the mass of the Higgs has been found to have a very peculiar value about 126 GeV, which is such that vacuum stability is extending up to the Planck scale. This may have much deeper drawback than anticipated so far. The impact on the running of the SM gauge, Yukawa and Higgs couplings up to the Planck scale has been discussed in several articles recently. Here we consider the impact on the running masses and we discuss the role of quadratic divergences within the Standard Model. The change of sign of the coefficient of the quadratically divergent terms showing up at about mu_0 ~ 1.4 x 10^16 GeV may be understood as a first order phase transition restoring the symmetric phase, while its large negative values at lower scales triggers the Higgs mechanism, running parameters evolve in such a way that the symmetry is restored two orders of magnitude before the Planck scale. Thus, the electroweak phase transition takes place at the scale mu_0 and not at the electroweak scale v ~ 250 GeV. The SM Higgs system and its phase transition could play a key role for the inflation of the early universe. Also baryogenesis has to be reconsidered under the aspect that perturbative arguments surprisingly work up to the Planck scale.


title: Spontaneous staggered polarizations of the cyclic solid-on-solid model from algebraic Bethe Ansatz

abstract: We compute the spontaneous staggered polarization of the cyclic SOS model at the thermodynamic limit. We use the determinant representation for finite-size form factors obtained from algebraic Bethe Ansatz.

categories: math-ph cond-mat.stat-mech math.MP nlin.SI


title: Engineering Correlation Effects via Artificially Designed Oxide Superlattices

abstract: Ab initio calculations are used to predict that a superlattice composed of layers of LaTiO3 and LaNiO3 alternating along the [001] direction is a S=1 Mott insulator with large magnetic moments on the Ni sites, negligible moments on the Ti sites and a charge transfer gap set by the energy difference between Ni d and Ti d states, distinct from conventional Mott insulators. Correlation effects are enhanced on the Ni sites via filling the oxygen p states and reducing the Ni-O-Ni bond angle. Small hole (electron) doping of the superlattice leads to a two-dimensional single-band situation with holes (electrons) residing on Ni dx2-y2 (Ti dxy) orbital and coupled to antiferromagnetically correlated spins in the NiO2 layer.


title: Heavy-light diquark masses from QCD sum rules and constituent diquark models of tetraquarks

abstract: Diquarks with $J^{P}=0^{\pm}$, $1^{\pm}$ containing a heavy (charm or bottom) quark and a light quark are investigated using QCD Laplace sum rules. Masses are determined using appropriately constructed gauge invariant correlation functions, including for the first time next-to-leading order perturbative contributions. The $J^P=0^+$ and $1^+$ charm-light diquark masses are respectively found to be 1.86$\pm$0.05 GeV and 1.87$\pm$0.10 GeV, while those of the $0^+$ and $1^+$ bottom-light diquarks are both determined to be 5.08$\pm$0.04 GeV. The sum rules derived for heavy-light diquarks with negative parity are poorly behaved and do not permit unambiguous mass predictions, in agreement with previous results for negative parity light diquarks. The scalar and axial vector heavy-light diquark masses are degenerate within uncertainty, as expected by heavy quark symmetry considerations. Furthermore, these mass predictions are in good agreement with masses extracted in constituent diquark models of the tetraquark candidates X(3872) and $Y_b(10890)$. Thus these results provide QCD support for the interpretation of the X(3872) and $Y_b(10890)$ as $J^{PC}=1^{++}$ tetraquark states composed of diquark clusters. Further implications for tetraquarks among the heavy quarkonium-like XYZ states are discussed.


title: A simple hierarchical Bayesian model for simultaneous inference of tournament graphs and informant error

abstract: The paper presents a hierarchical Bayesian model for simultaneous inference of tournament graphs and informant error. From multiple informant reports or measurement instrument outputs, the model estimates the structure of a criterion (i.e., true) tournament graph with possibly tied outcomes. Tournament graphs with possibly tied outcomes are graphs in which there are three possible states for each unordered pair of graph nodes: node i wins and node j loses; node j wins and node i loses; neither node wins (i.e., tied outcome). The model also estimates the rates at which individual informants (or instruments) mistake the winning and losing dyad members, falsely report a tied outcome, and falsely report a decisive outcome. The model was developed to infer social dominance structure from multiple informants' reports, but is potentially useful for inferring any structure that can be characterized by a tournament graph, and which is measured from multiple reports.


title: Residual Energy Spectrum of Solar Wind Turbulence

abstract: It has long been known that the energy in velocity and magnetic field fluctuations in the solar wind is not in equipartition. In this paper, we present an analysis of 5 years of Wind data at 1 AU to investigate the reason for this. The residual energy (difference between energy in velocity and magnetic field fluctuations) was calculated using both the standard magnetohydrodynamic (MHD) normalization for the magnetic field and a kinetic version, which includes temperature anisotropies and drifts between particle species. It was found that with the kinetic normalization, the fluctuations are closer to equipartition, with a mean normalized residual energy of sigma_r = -0.19 and mean Alfven ratio of r_A = 0.71. The spectrum of residual energy, in the kinetic normalization, was found to be steeper than both the velocity and magnetic field spectra, consistent with some recent MHD turbulence predictions and numerical simulations, having a spectral index close to -1.9. The local properties of residual energy and cross helicity were also investigated, showing that globally balanced intervals with small residual energy contain local patches of larger imbalance and larger residual energy at all scales, as expected for non-linear turbulent interactions.


title: Vocalnayno: Designing a Game-Based Intervention to Support Reading Development in Primary Schools

abstract: Encouraging children to read frequently and helping them to develop their reading skills as effectively as possible can be a challenge for some primary schools. This research questions whether the use of a game-based intervention can integrate into the existing teaching culture to aid volunteer teaching assistants in achieving a more significant impact on pupil reading development. A prototype based on the initial process of requirements gathering is presented using Multimedia Fusion Developer 2. The design incorporates a game-like exercise where a foam volcano character releases bubbles containing letters and words. Pupils must read these aloud in order to burst them open, which is recorded as a metric of reading ability.


title: Challenges on Probabilistic Modeling for Evolving Networks

abstract: With the emerging of new networks, such as wireless sensor networks, vehicle networks, P2P networks, cloud computing, mobile Internet, or social networks, the network dynamics and complexity expands from system design, hardware, software, protocols, structures, integration, evolution, application, even to business goals. Thus the dynamics and uncertainty are unavoidable characteristics, which come from the regular network evolution and unexpected hardware defects, unavoidable software errors, incomplete management information and dependency relationship between the entities among the emerging complex networks. Due to the complexity of emerging networks, it is not always possible to build precise models in modeling and optimization (local and global) for networks. This paper presents a survey on probabilistic modeling for evolving networks and identifies the new challenges which emerge on the probabilistic models and optimization strategies in the potential application areas of network performance, network management and network security for evolving networks.


title: Sensitivity of the Static Earthquake Triggering Mechanism to Elastic Heterogeneity and Main Event Slip

abstract: This paper has evolved out of our previous work on static stress transfer, where we used the full-space elastostatic Green's tensor to compute the Coulomb stress transfer impact of the Landers earthquake on the Hector Mine event. In this work, we use the elastostatic Green's tensor for an arbitrary layered Earth model with free-surface boundary conditions to study the impact of elastic heterogeneity as well as source-fault slip and geometry on the stress transfer mechanism. Slip distribution and fault geometry of the source have a significant impact on the stress transfer, especially in case of spatially extended triggered events. Maximization of the Coulomb stress transfer function for known aftershocks provides a mechanism for inverting for the source event slip. Heterogeneity of the elastic earth parameters is shown to have a sizeable, but lower-magnitude, impact on the static stress transfer in 3D. The analysis is applied to Landers/Hector Mine and 100 small "aftershocks" of the Landers event. A computational toolkit is provided for the study of static stress transfer for arbitrary source and receiver faults in layered Earth.


title: Spinmotive force with static and uniform magnetization induced by a time-varying electric field

abstract: A new spinmotive force is predicted in ferromagnets with spin-orbit coupling. By extending the theory of spinmotive force, we show that a time-varying electric field can induce a spinmotive force with static and uniform magnetization. This spinmotive has two advantages; it can be detected free from the inductive voltage owing to the absence of dynamical magnetization and it can be tuned by electric fields. To observe the effect, we propose two experimental setups: electric voltage measurement in a single ferromagnet and spin injection from a ferromagnet into an attached nonmagnetic conductor.


title: Meaning of Interior Tomography

abstract: The classic imaging geometry for computed tomography is for collection of un-truncated projections and reconstruction of a global image, with the Fourier transform as the theoretical foundation that is intrinsically non-local. Recently, interior tomography research has led to theoretically exact relationships between localities in the projection and image spaces and practically promising reconstruction algorithms. Initially, interior tomography was developed for x-ray computed tomography. Then, it has been elevated as a general imaging principle. Finally, a novel framework known as omni-tomography is being developed for grand fusion of multiple imaging modalities, allowing tomographic synchrony of diversified features.


title: Geometrical Structures of the Endomorphism Semiring of a Finite Chain: Simplices, Strings and Triangles

abstract: We establish new results concerning endomorphisms of a finite chain if the cardinality of the image of such endomorphism is no more than some fixed number k. The semiring of all such endomorphisms can be seen as a k - simplex whose vertices are the constant endomorphisms. We explore the properties of these k - simplices and find some results for arbitrary k. For k = 1 and 2 we give a full description of simplices called strings and triangles, respectively.


title: Gauge vector field localization on 3-brane placed in a warped transverse resolved conifold

abstract: We have investigated the features of the gauge vector field in a braneworld scenario built as a warped product between a 3-brane and a 2-cycle of the resolved conifold. This scenario allowed us to study how the gauge field behaves when the transverse manifold evolves upon a geometric flow that controls the singularity at the origin. Besides, since the transverse manifold has a cylindrical symmetry according to the 3-brane, this geometry can be regarded as a near brane correction of the string-like branes. Indeed, by means of a new warp function and the angular metric component of the resolved conifold, the braneworld can exhibit a conical form near the origin as well as a regular behavior in that region. The analysis of the gauge field in this background has been carried out for the s-wave state and a normalizable massless mode was found. For the massive modes, the resolution parameter avoids an infinite well on the brane and controls the depth of the well and the high of the barrier around the brane. The massive modes are slightly changed near the brane but they agreed with the string-like spectrum for large distances.


title: A peculiar faint satellite in the remote outer halo of M31

abstract: We present Hubble Space Telescope imaging of a newly-discovered faint stellar system, PAndAS-48, in the outskirts of the M31 halo. Our photometry reveals this object to be comprised of an ancient and very metal-poor stellar population with age > 10 Gyr and [Fe/H] < -2.3. Our inferred distance modulus of 24.57 +/- 0.11 confirms that PAndAS-48 is most likely a remote M31 satellite with a 3D galactocentric radius of 149 (+19 -8) kpc. We observe an apparent spread in color on the upper red giant branch that is larger than the photometric uncertainties should allow, and briefly explore the implications of this. Structurally, PAndAS-48 is diffuse, faint, and moderately flattened, with a half-light radius rh = 26 (+4 -3) pc, integrated luminosity Mv = -4.8 +/- 0.5, and ellipticity = 0.30 (+0.08 -0.15). On the size-luminosity plane it falls between the extended globular clusters seen in several nearby galaxies, and the recently-discovered faint dwarf satellites of the Milky Way; however, its characteristics do not allow us to unambiguously class it as either type of system. If PAndAS-48 is a globular cluster then it is the among the most elliptical, isolated, and metal-poor of any seen in the Local Group, extended or otherwise. Conversely, while its properties are generally consistent with those observed for the faint Milky Way dwarfs, it would be a factor ~2-3 smaller in spatial extent than any known counterpart of comparable luminosity.


title: On analytic solutions of the driven, 2-photon and two-mode quantum Rabi models

abstract: By applying the Bogoliubov transformations and through the introduction of the Bargmann-Hilbert spaces, we obtain analytic representations of solutions to the driven Rabi model without ${\cal Z}_2$ symmetry, and the 2-photon and two-mode quantum Rabi models. In each case, transcendental function is analytically derived whose zeros give the energy spectrum of the model. The zeros can be numerically found by standard root-search techniques.


title: A new exotic state in an old material: A tale of Samarium Hexaboride

abstract: We review current theoretical and experimental efforts to identify a novel class of intermetallic 4f and 5f orbital materials in which strong interactions between itinerant and predominately localized degrees of freedom gives rise to a bulk insulating state at low temperatures, while the surface remains metallic. This effect arises due to inversion of even parity conduction bands and odd parity very narrow f-electron bands. The number of band inversions is mainly determined by the crystal symmetry of a material and the corresponding degeneracy of the hybridized f-electron bands. For odd number of band inversions the metallic surface states are chiral and therefore remain robust against disorder and time-reversal invariant perturbations. We discuss a number of unresolved theoretical issues specific to topological Kondo insulators and outline experimental challenges in probing the chiral surface states in these materials.


title: Regularization Methods for High-Dimensional Instrumental Variables Regression With an Application to Genetical Genomics

abstract: In genetical genomics studies, it is important to jointly analyze gene expression data and genetic variants in exploring their associations with complex traits, where the dimensionality of gene expressions and genetic variants can both be much larger than the sample size. Motivated by such modern applications, we consider the problem of variable selection and estimation in high-dimensional sparse instrumental variables models. To overcome the difficulty of high dimensionality and unknown optimal instruments, we propose a two-stage regularization framework for identifying and estimating important covariate effects while selecting and estimating optimal instruments. The methodology extends the classical two-stage least squares estimator to high dimensions by exploiting sparsity using sparsity-inducing penalty functions in both stages. The resulting procedure is efficiently implemented by coordinate descent optimization. For the representative $L_1$ regularization and a class of concave regularization methods, we establish estimation, prediction, and model selection properties of the two-stage regularized estimators in the high-dimensional setting where the dimensionality of covariates and instruments are both allowed to grow exponentially with the sample size. The practical performance of the proposed method is evaluated by simulation studies and its usefulness is illustrated by an analysis of mouse obesity data. Supplementary materials for this article are available online.


title: Stoichiometry control of the electronic properties of the LaAlO_3/SrTiO_3 heterointerface

abstract: We investigate the effect of the laser parameters of pulsed laser deposition on the film stoichiometry and electronic properties of LaAlO_3/SrTiO_3 (001) heterostructures. The La/Al ratio in the LaAlO_3 films was varied over a wide range from 0.88 to 1.15, and was found to have a strong effect on the interface conductivity. In particular, the carrier density is modulated over more than two orders of magnitude. The film lattice expansion, caused by cation vacancies, is found to be the important functional parameter. These results can be understood to arise from the variations in the electrostatic boundary conditions, and their resolution, with stoichiometry.


title: A Systematic Study on Matrix Models for Chern-Simons-matter Theories

abstract: We investigate the planar solution of matrix models derived from various Chern-Simons-matter theories compatible with the planar limit. The saddle-point equations for most of such theories can be solved in a systematic way. A relation to Fuchsian systems play an important role in obtaining the planar resolvents. For those theories, the eigenvalue distribution is found to be confined in a bounded region even when the 't Hooft couplings become large. As a result, the vevs of Wilson loops are bounded in the large 't Hooft coupling limit. This implies that many of Chern-Simons-matter theories have quite different properties from ABJM theory. If the gauge group is of the form ${\rm U}(N_1)_{k_1}\times{\rm U}(N_2)_{k_2}$, then the resolvents can be obtained in a more explicit form than in the general cases.


title: Composite Higgs and Techni-Dilaton at LHC

abstract: In this talk I argue that a light techni-dilaton exists in models of walking technicolor near the conformal window. The light techni-dilaton then mixes with the composite Higgs, which is predicted to be narrow and light in walking technicolor models. It is an interesting possibility that the newly discovered boson at LHC might be a mixed state of techni-dilaton and the composite Higgs.


title: Optimal Time-Convex Hull under the Lp Metrics

abstract: We consider the problem of computing the time-convex hull of a point set under the general $L_p$ metric in the presence of a straight-line highway in the plane. The traveling speed along the highway is assumed to be faster than that off the highway, and the shortest time-path between a distant pair may involve traveling along the highway. The time-convex hull ${TCH}(P)$ of a point set $P$ is the smallest set containing both $P$ and \emph{all} shortest time-paths between any two points in ${TCH}(P)$. In this paper we give an algorithm that computes the time-convex hull under the $L_p$ metric in optimal $O(n\log n)$ time for a given set of $n$ points and a real number $p$ with $1\le p \le \infty$.


title: Noise-assisted quantum electron transfer in photosynthetic complexes

abstract: Electron transfer (ET) between primary electron donors and acceptors is modeled in the photosystem II reaction center (RC). Our model includes (i) two discrete energy levels associated with donor and acceptor, interacting through a dipole-type matrix element and (ii) two continuum manifolds of electron energy levels ("sinks"), which interact directly with the donor and acceptor. Namely, two discrete energy levels of the donor and acceptor are embedded in their independent sinks through the corresponding interaction matrix elements. We also introduce classical (external) noise which acts simultaneously on the donor and acceptor (collective interaction). We derive a closed system of integro-differential equations which describes the non-Markovian quantum dynamics of the ET. A region of parameters is found in which the ET dynamics can be simplified, and described by coupled ordinary differential equations. Using these simplified equations, both sharp and flat redox potentials are analyzed. We analytically and numerically obtain the characteristic parameters that optimize the ET rates and efficiency in this system.


title: Darkening the Little Higgs

abstract: We present a novel new method for incorporating dark matter into little Higgs models in a way that can be applied to many existing models without introducing T-parity, while simultaneously alleviating precision constraints arising from heavy gauge bosons. The low energy scalar potential of these dark little Higgs models is similar to, and can draw upon existing phenomenological studies of, inert doublet models. Furthermore, we apply this method to modify the littlest Higgs model to create the next to littlest Higgs model, and describe details of the dark matter candidate and its contribution to the relic density.


title: A local true Hamiltonian for the CGHS model in new variables

abstract: Following our previous work, a complete classical solution of the CGHS model in Hamiltonian formulation in new variables is given. We preform a series of analyses and transformations to get to the CGHS Hamiltonian in new variables from a generic class of two dimensional dilatonic gravitational systems coupled to matter. This gives us a second class system, a total Hamiltonian consisting of a Hamiltonian constraint, a diffeomorphism constraint and two second class constraints. We calculate the Dirac brackets, bring them to a standard form similar to the Poisson brackets by introducing a new variable. Then by rescaling lapse and shift, the Hamiltonian constraint is transformed into a form where it has an strong Abelian algebra with itself. This property holds both in vacuum case and in case with matter coupling. Then for each of the vacuum and the coupled-to-matter cases, we preform two gauge fixings, one set for each case, and solve the classical system completely in both cases. The gauge fixing of the case coupled to matter is done by implementing a method based on canonical transformation to a new set of variables and leads to a true local Hamiltonian. We also show that our formalism is consistent with the original CGHS paper by showing that the equations of motion are the same in both cases. Finally we derive the relevant surface term of the model.


title: Quantum supergroups II. Canonical basis

abstract: Following Kashiwara's algebraic approach, we construct crystal bases and canonical bases for quantum supergroups with no isotropic odd roots and for their integrable modules.


title: The Infinitesimalization and Reconstruction of Locally Homogeneous Manifolds

abstract: A linear connection on a Lie algebroid is called a Cartan connection if it is suitably compatible with the Lie algebroid structure. Here we show that a smooth connected manifold $M$ is locally homogeneous - i.e., admits an atlas of charts modeled on some homogeneous space $G/H$ - if and only if there exists a transitive Lie algebroid over $M$ admitting a flat Cartan connection that is 'geometrically closed'. It is shown how the torsion and monodromy of the connection determine the particular form of $G/H$. Under an additional completeness hypothesis, local homogeneity becomes global homogeneity, up to cover.


title: Pathways toward understanding Macroscopic Quantum Phenomena

abstract: Macroscopic quantum phenomena refer to quantum features in objects of `large' sizes, systems with many components or degrees of freedom, organized in ways where they can be identified as macroscopic objects. This emerging field is ushered in by several categories of definitive experiments in superconductivity, electromechanical systems, Bose-Einstein condensates and others. Yet this new field which is rich in open issues at the foundation of quantum and statistical physics remains little explored theoretically [1]. This talk summarizes our thoughts on attempting a systematic investigation into its foundation, with the goal of ultimately revealing or building a viable theoretical framework. Three major themes discussed in three intended essays are the large N expansion [2], the correlation hierarchy [3] and quantum entanglement [4]. We give a sketch of the first two themes and then discuss several key issues in the consideration of macro and quantum, namely, a) recognition that in a composite body there exist many 'levels of structure' characterized by collective variables. The quantum features of a macroscopic object can be captured by understanding how these collective variables function; b) 'quantum entanglement', an exclusively quantum feature [5], is known to persist to high temperatures [6] and large scales [7] under certain conditions, and may actually decrease with increased connectivity in a quantum network [8]. Here we use entanglement as a measure of quantumness and pick out these somewhat counter-intuitive examples to show that there are blind spots worthy of our attention and issues which we need to analyze closer. Our purpose is to try to remove the stigma that quantum only pertains to micro, in order to make way for deeper probes into the conditions whereby quantum features of macroscopic systems manifest.


title: Divided Difference Operator for the Highest root Hessenberg variety

abstract: We construct a divided difference operator using GKM theory. This generalizes the classical divided difference operator for the cohomology of the complete flag variety. This construction proves a special case of a recent conjecture of Shareshian and Wachs. Our methods are entirely combinatorial and algebraic, and rely heavily on the combinatorics of root systems and Bruhat order.


title: Radar Observations of the 2011 October Draconid Outburst

abstract: A strong outburst of the October Draconid meteor shower was predicted for October 8, 2011. Here we present the observations obtained by the Canadian Meteor Orbit Radar (CMOR) during the 2011 outburst. CMOR recorded 61 multi-station Draconid echoes and 179 single-station overdense Draconid echoes (covering the magnitude range of +3 <= MV <= +7) between 16-20h UT on October 8, 2011. The mean radiant for the outburst was determined to be a_g = 261.9o +/- 0.3o, d_g = +55.3o +/- 0.3o (J2000) from observations of the underdense multi-station echoes. This radiant location agrees with model predictions to ~1o . The determined geocentric velocity was found to be ~10-15% lower than the model value (17.0 - 19.1 km s^-1 versus 20.4 km s^-1), a discrepancy we attribute to undercorrection for atmospheric deceleration of low density Draconid meteoroids as well as to poor radar radiant geometry during the outburst peak. The mass index at the time of the outburst was determined to be ~ 1.75 using the amplitude distribution of underdense echoes...


title: The Logarithmic Curvature Graphs of Generalised Cornu Spirals

abstract: The Generalized Cornu Spiral (GCS) was first proposed by Ali et al. in 1995 [9]. Due to the monotonocity of its curvature function, the surface generated with GCS segments has been considered as a high quality surface and it has potential applications in surface design [2]. In this paper, the analysis of GCS segment is carried out by determining its aesthetic value using the log curvature Graph (LCG) as proposed by Kanaya et al.[10]. The analysis of LCG supports the claim that GCS is indeed a generalized aesthetic curve.


title: A Hybrid Rule Based Fuzzy-Neural Expert System For Passive Network Monitoring

abstract: An enhanced approach for network monitoring is to create a network monitoring tool that has artificial intelligence characteristics. There are a number of approaches available. One such approach is by the use of a combination of rule based, fuzzy logic and neural networks to create a hybrid ANFIS system. Such system will have a dual knowledge database approach. One containing membership function values to compare to and do deductive reasoning and another database with rules deductively formulated by an expert (a network administrator). The knowledge database will be updated continuously with newly acquired patterns. In short, the system will be composed of 2 parts, learning from data sets and fine-tuning the knowledge-base using neural network and the use of fuzzy logic in making decision based on the rules and membership functions inside the knowledge base. This paper will discuss the idea, steps and issues involved in creating such a system.


title: Seeded graph matching for correlated Erd\H{o}s-R\'enyi graphs

abstract: Graph matching is an important problem in machine learning and pattern recognition. Herein, we present theoretical and practical results on the consistency of graph matching for estimating a latent alignment function between the vertex sets of two graphs, as well as subsequent algorithmic implications when the latent alignment is partially observed. In the correlated Erd\H{o}s-R\'enyi graph setting, we prove that graph matching provides a strongly consistent estimate of the latent alignment in the presence of even modest correlation. We then investigate a tractable, restricted-focus version of graph matching, which is only concerned with adjacency involving vertices in a partial observation of the latent alignment; we prove that a logarithmic number of vertices whose alignment is known is sufficient for this restricted-focus version of graph matching to yield a strongly consistent estimate of the latent alignment of the remaining vertices. We show how Frank-Wolfe methodology for approximate graph matching, when there is a partially observed latent alignment, inherently incorporates this restricted focus graph matching. Lastly, we illustrate the relationship between seeded graph matching and restricted-focus graph matching by means of an illuminating example from human connectomics.


title: G2 Transition curve using Quartic Bezier Curve

abstract: A method to construct transition curves using a family of the quartic Bezier spiral is described. The transition curves discussed are S-shape and C-shape of contact, between two separated circles. A spiral is a curve of monotone increasing or monotone decreasing curvature of one sign. Thus, a spiral cannot have an inflection point or curvature extreme. The family of quartic Bezier spiral form which is introduced has more degrees of freedom and will give a better approximation. It is proved that the methods of constructing transition curves can be simplified by the transformation process and the ratio of two radii has no restriction, which extends the application area, and it gives a family of transition curves that allow more flexible curve designs.


title: Algebraic Topology

abstract: The chapter provides an introduction to the basic concepts of Algebraic Topology with an emphasis on motivation from applications in the physical sciences. It finishes with a brief review of computational work in algebraic topology, including persistent homology.


title: Generalized Fiducial Inference for Ultrahigh Dimensional Regression

abstract: In recent years the ultrahigh dimensional linear regression problem has attracted enormous attentions from the research community. Under the sparsity assumption most of the published work is devoted to the selection and estimation of the significant predictor variables. This paper studies a different but fundamentally important aspect of this problem: uncertainty quantification for parameter estimates and model choices. To be more specific, this paper proposes methods for deriving a probability density function on the set of all possible models, and also for constructing confidence intervals for the corresponding parameters. These proposed methods are developed using the generalized fiducial methodology, which is a variant of Fisher's controversial fiducial idea. Theoretical properties of the proposed methods are studied, and in particular it is shown that statistical inference based on the proposed methods will have exact asymptotic frequentist property. In terms of empirical performances, the proposed methods are tested by simulation experiments and an application to a real data set. Lastly this work can also be seen as an interesting and successful application of Fisher's fiducial idea to an important and contemporary problem. To the best of the authors' knowledge, this is the first time that the fiducial idea is being applied to a so-called "large p small n" problem.


title: Characterization of Planar Cubic Alternative curve

abstract: In this paper, we analyze the planar cubic Alternative curve to determine the conditions for convex, loops, cusps and inflection points. Thus cubic curve is represented by linear combination of three control points and basis function that consist of two shape parameters. By using algebraic manipulation, we can determine the constraint of shape parameters and sufficient conditions are derived which ensure that the curve is a strictly convex, loops, cusps and inflection point. We conclude the result in a shape diagram of parameters. The simplicity of this form makes characterization more intuitive and efficient to compute.


title: The Coyote Universe Extended: Precision Emulation of the Matter Power Spectrum

abstract: Modern sky surveys are returning precision measurements of cosmological statistics such as weak lensing shear correlations, the distribution of galaxies, and cluster abundance. To fully exploit these observations, theorists must provide predictions that are at least as accurate as the measurements, as well as robust estimates of systematic errors that are inherent to the modeling process. In the nonlinear regime of structure formation, this challenge can only be overcome by developing a large-scale, multi-physics simulation capability covering a range of cosmological models and astrophysical processes. As a first step to achieving this goal, we have recently developed a prediction scheme for the matter power spectrum (a so-called emulator), accurate at the 1% level out to k~1/Mpc and z=1 for wCDM cosmologies based on a set of high-accuracy N-body simulations. It is highly desirable to increase the range in both redshift and wavenumber and to extend the reach in cosmological parameter space. To make progress in this direction, while minimizing computational cost, we present a strategy that maximally re-uses the original simulations. We demonstrate improvement over the original spatial dynamic range by an order of magnitude, reaching k~10 h/Mpc, a four-fold increase in redshift coverage, to z=4, and now include the Hubble parameter as a new independent variable. To further the range in k and z, a new set of nested simulations run at modest cost is added to the original set. The extension in h is performed by including perturbation theory results within a multi-scale procedure for building the emulator. This economical methodology still gives excellent error control, ~5% near the edges of the domain of applicability of the emulator. A public domain code for the new emulator is released as part of the work presented in this paper.


title: Comment on "Entanglement and the Thermodynamic Arrow of Time" and Correct Reply on "Comment on "Quantum Solution to the Arrow-of-Time Dilemma"" of David Jennings and Terry Rudolph

abstract: Recently David Jennings and Terry Rudolph published two papers as reaction on Maccone's paper "Quantum Solution to the Arrow-of-Time Dilemma". In these papers, the authors suppose that second law of thermodynamics is not relevant for quantum systems. Unfortunately, these papers did not get relevant reply from Maccone. The reason of this is following. Both Maccone and the above-mentioned authors use thermodynamic law and thermodynamic-like terminology for non-thermodynamic systems, for example, microscopic system of three qubits. However, big size of a system (quantum or classic) is also not an enough condition for a system to be macroscopic. The macroscopic system must also be chaotic and has small chaotic interaction with its environment/observer resulting in decoherence (decorrelation). We demonstrate that for relevant thermodynamic macroscopic quantum systems no objection appears.


title: North Atlantic Right Whale Contact Call Detection

abstract: The North Atlantic right whale (Eubalaena glacialis) is an endangered species. These whales continuously suffer from deadly vessel impacts alongside the eastern coast of North America. There have been countless efforts to save the remaining 350 - 400 of them. One of the most prominent works is done by Marinexplore and Cornell University. A system of hydrophones linked to satellite connected-buoys has been deployed in the whales habitat. These hydrophones record and transmit live sounds to a base station. These recording might contain the right whale contact call as well as many other noises. The noise rate increases rapidly in vessel-busy areas such as by the Boston harbor. This paper presents and studies the problem of detecting the North Atlantic right whale contact call with the presence of noise and other marine life sounds. A novel algorithm was developed to preprocess the sound waves before a tree based hierarchical classifier is used to classify the data and provide a score. The developed model was trained with 30,000 data points made available through the Cornell University Whale Detection Challenge program. Results showed that the developed algorithm had close to 85% success rate in detecting the presence of the North Atlantic right whale.


title: Variational Formulation of the Log-Aesthetic Surface and Development of Discrete Surface Filters

abstract: The log-aesthetic curves include the logarithmic (equiangular) spiral, clothoid, and involute curves. Although most of them are expressed only by an integral form of the tangent vector, it is possible to interactively generate and deform them and they are expected to be utilized for practical use of industrial and graphical design. The discrete log-aesthetic filter based on the formulation of the log-aesthetic curve has successfully been introduced not to impose strong constraints on the designer's activity, to let him/her design freely and to embed the properties of the log-aesthetic curves for complicated ones with both increasing and decreasing curvature. In this paper, in order to define the log-aesthetic surface and develop surface filters based on its formulation, at first we reformulate the log-aesthetic curve with variational principle. Then we propose several new functionals to be minimized for free-form surfaces and define the log-aesthetic surface. Furthermore we propose new discrete surface filters based on the log-aesthetic surface formulation


title: Holomorphic arcs on analytic spaces

abstract: Let X be a complex analytic space. A short analytic arc is a holomorphic map of the closed unit disc to X such that only the origin is mapped to a singular point. In contrast with the space of formal arcs studied by Nash, the moduli space of short analytic arcs usually has infinitely many connected components. We describe these for surface singularities, in terms of certain conjugacy classes of the fundamental group of the link. For quotient singularities (in any dimension), this gives a concrete realization of the McKay correspondence. Our results also give new connections between a surface cusp singularity, its dual and hyperbolic Inoue surfaces. version 2: References added.


title: On the Complexity of Query Answering under Matching Dependencies for Entity Resolution

abstract: Matching Dependencies (MDs) are a relatively recent proposal for declarative entity resolution. They are rules that specify, given the similarities satisfied by values in a database, what values should be considered duplicates, and have to be matched. On the basis of a chase-like procedure for MD enforcement, we can obtain clean (duplicate-free) instances; actually possibly several of them. The resolved answers to queries are those that are invariant under the resulting class of resolved instances. In previous work we identified some tractable cases (i.e. for certain classes of queries and MDs) of resolved query answering. In this paper we further investigate the complexity of this problem, identifying some intractable cases. For a special case we obtain a dichotomy complexity result.


title: Enhancements to ACL2 in Versions 5.0, 6.0, and 6.1

abstract: We report on highlights of the ACL2 enhancements introduced in ACL2 releases since the 2011 ACL2 Workshop. Although many enhancements are critical for soundness or robustness, we focus in this paper on those improvements that could benefit users who are aware of them, but that might not be discovered in everyday practice.


title: Proof Pad: A New Development Environment for ACL2

abstract: Most software development projects rely on Integrated Development Environments (IDEs) based on the desktop paradigm, with an interactive, mouse-driven user interface. The standard installation of ACL2, on the other hand, is designed to work closely with Emacs. ACL2 experts, on the whole, like this mode of operation, but students and other new programmers who have learned to program with desktop IDEs often react negatively to the process of adapting to an unfamiliar form of interaction. This paper discusses Proof Pad, a new IDE for ACL2. Proof Pad is not the only attempt to provide ACL2 IDEs catering to students and beginning programmers. The ACL2 Sedan and DrACuLa systems arose from similar motivations. Proof Pad builds on the work of those systems, while also taking into account the unique workflow of the ACL2 theorem proving system. The design of Proof Pad incorporated user feedback from the outset, and that process continued through all stages of development. Feedback took the form of direct observation of users interacting with the IDE as well as questionnaires completed by users of Proof Pad and other ACL2 IDEs. The result is a streamlined interface and fast, responsive system that supports using ACL2 as a programming language and a theorem proving system. Proof Pad also provides a property-based testing environment with random data generation and automated interpretation of properties as ACL2 theorem definitions.


title: A Step-Indexing Approach to Partial Functions

abstract: We describe an ACL2 package for defining partial recursive functions that also supports efficient execution. While packages for defining partial recursive functions already exist for other theorem provers, they often require inductive definitions or recursion operators which are not available in ACL2 and they provide little, if any, support for executing the resulting definitions. We use step-indexing as the underlying implementation technology, enabling the definitions to be carried out in first order logic. We also show how recent enhancements to ACL2's guard feature can be used to enable the efficient execution of partial recursive functions.


title: Abstract Stobjs and Their Application to ISA Modeling

abstract: We introduce a new ACL2 feature, the abstract stobj, and show how to apply it to modeling the instruction set architecture of a microprocessor. Benefits of abstract stobjs over traditional ("concrete") stobjs can include faster execution, support for symbolic simulation, more efficient reasoning, and resilience of proof developments under modeling optimization.


title: Verification of Building Blocks for Asynchronous Circuits

abstract: Scalable formal verification constitutes an important challenge for the design of asynchronous circuits. Deadlock freedom is a property that is desired but hard to verify. It is an emergent property that has to be verified monolithically. We present our approach to using ACL2 to verify necessary and sufficient conditions over asynchronous delay-insensitive primitives. These conditions are used to derive SAT/SMT instances from circuits built out of these primitives. These SAT/SMT instances help in establishing absence of deadlocks. Our verification effort consists of building an executable checker in the ACL2 logic tailored for our purpose. We prove that this checker is correct. This approach enables us to prove ACL2 theorems involving defun-sk constructs and free variables fully automatically.


title: An Interpreter for Quantum Circuits

abstract: This paper describes an ACL2 interpreter for "netlists" describing quantum circuits. Several quantum gates are implemented, including the Hadamard gate H, which rotates vectors by 45 degrees, necessitating the use of irrational numbers, at least at the logical level. Quantum measurement presents an especially difficult challenge, because it requires precise comparisons of irrational numbers and the use of random numbers. This paper does not address computation with irrational numbers or the generation of random numbers, although future work includes the development of pseudo-random generators for ACL2.


title: Verified AIG Algorithms in ACL2

abstract: And-Inverter Graphs (AIGs) are a popular way to represent Boolean functions (like circuits). AIG simplification algorithms can dramatically reduce an AIG, and play an important role in modern hardware verification tools like equivalence checkers. In practice, these tricky algorithms are implemented with optimized C or C++ routines with no guarantee of correctness. Meanwhile, many interactive theorem provers can now employ SAT or SMT solvers to automatically solve finite goals, but no theorem prover makes use of these advanced, AIG-based approaches. We have developed two ways to represent AIGs within the ACL2 theorem prover. One representation, Hons-AIGs, is especially convenient to use and reason about. The other, Aignet, is the opposite; it is styled after modern AIG packages and allows for efficient algorithms. We have implemented functions for converting between these representations, random vector simulation, conversion to CNF, etc., and developed reasoning strategies for verifying these algorithms. Aside from these contributions towards verifying AIG algorithms, this work has an immediate, practical benefit for ACL2 users who are using GL to bit-blast finite ACL2 theorems: they can now optionally trust an off-the-shelf SAT solver to carry out the proof, instead of using the built-in BDD package. Looking to the future, it is a first step toward implementing verified AIG simplification algorithms that might further improve GL performance.


title: A formalisation of XMAS

abstract: Communication fabrics play a key role in the correctness and performance of modern multi-core processors and systems-on-chip. To enable formal verification, a recent trend is to use high-level micro-architectural models to capture designers' intent about the communication and processing of messages. Intel proposed the xMAS language to support the formal definition of executable specifications of micro-architectures. We formalise the semantics of xMAS in ACL2. Our formalisation represents the computation of the values of all wires of a design. Our main function computes a set of possible routing targets for each message and whether a message can make progress according to the current network state. We prove several properties on the semantics, including termination, non-emptiness of routing, and correctness of progress conditions. Our current effort focuses on a basic subset of the entire xMAS language, which includes queues, functions, and switches.


title: ACL2 Meets the GPU: Formalizing a CUDA-based Parallelizable All-Pairs Shortest Path Algorithm in ACL2

abstract: As Graphics Processing Units (GPUs) have gained in capability and GPU development environments have matured, developers are increasingly turning to the GPU to off-load the main host CPU of numerically-intensive, parallelizable computations. Modern GPUs feature hundreds of cores, and offer programming niceties such as double-precision floating point, and even limited recursion. This shift from CPU to GPU, however, raises the question: how do we know that these new GPU-based algorithms are correct? In order to explore this new verification frontier, we formalized a parallelizable all-pairs shortest path (APSP) algorithm for weighted graphs, originally coded in NVIDIA's CUDA language, in ACL2. The ACL2 specification is written using a single-threaded object (stobj) and tail recursion, as the stobj/tail recursion combination yields the most straightforward translation from imperative programming languages, as well as efficient, scalable executable specifications within ACL2 itself. The ACL2 version of the APSP algorithm can process millions of vertices and edges with little to no garbage generation, and executes at one-sixth the speed of a host-based version of APSP coded in C- a very respectable result for a theorem prover. In addition to formalizing the APSP algorithm (which uses Dijkstra's shortest path algorithm at its core), we have also provided capability that the original APSP code lacked, namely shortest path recovery. Path recovery is accomplished using a secondary ACL2 stobj implementing a LIFO stack, which is proven correct. To conclude the experiment, we ported the ACL2 version of the APSP kernels back to C, resulting in a less than 5% slowdown, and also performed a partial back-port to CUDA, which, surprisingly, yielded a slight performance increase.


title: Fuzzy Based Diagnostics System for Identifying Network Traffic Flow Anomalies

abstract: This paper discusses the usage of network traffic properties in passive network monitoring which are used in recognizing and identifying anomaly.


title: Critical grain sizes and generalized flow stress - grain size dependence

abstract: The generalized eguation that describes the yield stress dependence upon the grain size in the wide range of grain sizes has been obtained. There are two critical grain sizes that corresponds to the changes in strengthening mechanism. The equation includes Hall - Petch relation in the range of d>dcr1. For dcr1>d>dcr2, the power in the Hall - Petch relation varies from -1/2 to -1. In a nanometer (nm) range (d<dcr2) there are posibileties of softerning (in case of "weak" boundaries) as well as significant strengthening (in case of "srtong" boundaries).


title: Parity doubling structure of nucleon at non-zero density in the holographic mean field theory

abstract: We develope the holographic mean field theory approach in a bottom-up holographic QCD model including baryons and scalar mesons in addition to vector mesons and pions. We study the effect of parity doubling structure of baryons at non-zero density to the equation of state between the chemical potential and the baryon number density. We first show that we can adjust the amount of nucleon mass coming from the chiral symmetry breaking by changing the boundary value of the five-dimensional baryon fields. Then, introducing the mean field for the baryon fields, we calculate the equation of state between the baryon number density and its corresponding chemical potential. Then, comparing the predicted equation of state with the one obtained in a Walecka type model, we extract the density dependence of the effective nucleon mass. The result shows that the effective mass decreases with increasing density, and that the rate of decreasing is more rapid for the larger percentage of the mass coming from the chiral symmetry breaking.


title: Spontaneous Clustering via Minimum \gamma-divergence

abstract: We propose a new method for clustering based on the local minimization of the \gamma-divergence, which we call the spontaneous clustering. The greatest advantage of the proposed method is that it automatically detects the number of clusters that adequately reflect the data structure. In contrast, exiting methods such as K-means, fuzzy c-means, and model based clustering need to prescribe the number of clusters. We detect all the local minimum points of the \gamma-divergence, which are defined as the centers of clusters. A necessary and sufficient condition for the \gamma-divergence to have the local minimum points is also derived in a simple setting. A simulation study and a real data analysis are performed to compare our proposal with existing methods.


title: Normal type-2 Fuzzy Rational B-Spline Curve

abstract: In this paper, we proposed a new form of type-2 fuzzy data points(T2FDPs) that is normal type-2 data points(NT2FDPs). These brand-new forms of data were defined by using the definition of normal type-2 triangular fuzzy number(NT2TFN). Then, we applied fuzzification(alpha-cut) and type-reduction processes towards NT2FDPs after they had been redefined based on the situation of NT2FDPs. Furthermore, we redefine the defuzzification definition along with the new definitions of fuzzification process and type-reduction method to obtain crisp type-2 fuzzy solution data points. For all these processes from the defining the NT2FDPs to defuzzification of NT2FDPs, we demonstrate through curve representation by using the rational B-spline curve function as the example form modeling these NT2FDPs.


title: Metal-Poor Stars Observed with the Magellan Telescope I. Constraints on Progenitor Mass and Metallicity of AGB Stars Undergoing s-Process Nucleosynthesis

abstract: We present a comprehensive abundance analysis of two newly-discovered carbon-enhanced metal-poor (CEMP) stars. HE2138-3336 is a s-process-rich star with [Fe/H] = -2.79, and has the highest [Pb/Fe] abundance ratio measured thus far, if NLTE corrections are included ([Pb/Fe] = +3.84). HE2258-6358, with [Fe/H] = -2.67, exhibits enrichments in both s- and r-process elements. These stars were selected from a sample of candidate metal-poor stars from the Hamburg/ESO objective-prism survey, and followed up with medium-resolution (R ~ 2,000) spectroscopy with GEMINI/GMOS. We report here on derived abundances (or limits) for a total of 34 elements in each star, based on high-resolution (R ~ 30,000) spectroscopy obtained with Magellan-Clay/MIKE. Our results are compared to predictions from new theoretical AGB nucleosynthesis models of 1.3 Mo with [Fe/H] = -2.5 and -2.8, as well as to a set of AGB models of 1.0 to 6.0 Mo at [Fe/H] = -2.3. The agreement with the model predictions suggests that the neutron-capture material in HE2138-3336 originated from mass transfer from a binary companion star that previously went through the AGB phase, whereas for HE2258-6358, an additional process has to be taken into account to explain its abundance pattern. We find that a narrow range of progenitor masses (1.0 < M(Mo) < 1.3) and metallicities (-2.8 < [Fe/H] < -2.5) yield the best agreement with our observed elemental abundance patterns.


title: Permutation patterns, Stanley symmetric functions and generalized Specht modules

abstract: Generalizing the notion of a vexillary permutation, we introduce a filtration of S_infinity by the number of Schur function terms in the Stanley symmetric function, with the kth filtration level called the k-vexillary permutations. We show that for each k, the k-vexillary permutations are characterized by avoiding a finite set of patterns. A key step is the construction of a Specht series, in the sense of James and Peel, for the Specht module associated to the diagram of a permutation. As a corollary, we prove a conjecture of Liu on diagram varieties for certain classes of permutation diagrams. We apply similar techniques to characterize multiplicity-free Stanley symmetric functions, as well as permutations whose diagram is equivalent to a forest in the sense of Liu.


title: Ultralow noise up-conversion detector and spectrometer at telecom band

abstract: We demonstrate upconversion single-photon detection for the 1550-nm band using a PPLN waveguide, long-wavelength pump, and narrowband filtering using a volume Bragg grating. We achieve total-system detection efficiency of around 30% with noise at the dark-count level of a silicon APD. Based on the new detector, a single-pixel up-conversion infrared spectrometer with a noise equivalent power of -142 dBm was demonstrated, which was better than liquid nitrogen cooled InGaAs arrary.


title: The unimodality of a polynomial coming from a rational integral. Back to the original proof

abstract: A sequence of coefficients that appeared in the evaluation of a rational integral has been shown to be unimodal. An alternative proof is presented.


title: Refined Chern-Simons versus Vogel universality

abstract: We study the relation between the partition function of refined SU(N) and SO(2N) Chern-Simons on the 3-sphere and the universal Chern-Simons partition function in the sense of Mkrtchyan and Veselov. We find a four-parameter generalization of the integral representation of universal Chern-Simons that includes refined SU(N) and SO(2N) Chern-Simons for special values of parameters. The large N expansion of the integral representation of refined SU(N) Chern-Simons explicitly shows the replacement of the virtual Euler characteristic of the moduli space of complex curves with a refined Euler characteristic related to the radius deformed c=1 string free energy.


title: Generation of Diffraction-Free Optical Beams Using Wrinkled Membranes

abstract: We report the first demonstration of wrinkled membranes as a kind of optical focusing devices, which are low cost, light weight and flexible. Our device consists of concentric wrinkle rings on a gold-PDMS bilayer membrane, which converts collimated illuminations to diffraction-free focused beams. Beam diameters of 300-400 {\mu}m have been observed in the visible range. By comparing the theoretically calculated and experimentally measured focal spot profiles, we predict a focal spot size as small as around 50 {\mu}m if fabrication eccentricity can be eliminated.