title: Finding low-energy conformations of lattice protein models by quantum annealing

abstract: Lattice protein folding models are a cornerstone of computational biophysics. Although these models are a coarse grained representation, they provide useful insight into the energy landscape of natural proteins. Finding low-energy three-dimensional structures is an intractable problem even in the simplest model, the Hydrophobic-Polar (HP) model. Exhaustive search of all possible global minima is limited to sequences in the tens of amino acids. Description of protein-like properties are more accurately described by generalized models, such as the one proposed by Miyazawa and Jernigan (MJ), which explicitly take into account the unique interactions among all 20 amino acids. There is theoretical and experimental evidence of the advantage of solving classical optimization problems using quantum annealing over its classical analogue (simulated annealing). In this report, we present a benchmark implementation of quantum annealing for a biophysical problem (six different experiments up to 81 superconducting quantum bits). Although the cases presented here can be solved in a classical computer, we present the first implementation of lattice protein folding on a quantum device under the Miyazawa-Jernigan model. This paves the way towards studying optimization problems in biophysics and statistical mechanics using quantum devices.


title: Exotic continuous quantum phase transition between Z2 topological spin liquid and Neel order

abstract: Recent numerical simulations with different techniques have all suggested the existence of a continuous quantum phase transition between the Z2 topological spin liquid phase and a conventional Neel order. Motivated by these numerical progresses, we propose a candidate theory for such Z2-Neel transition. We first argue on general grounds that, for a SU(2) invariant system, this transition cannot be interpreted as the condensation of spinons in the Z2 spin liquid phase. Then we propose that such Z2-Neel transition is driven by proliferating the bound state of the bosonic spinon and vison excitation of the Z2 spin liquid, i.e. the so called (e, m)-type excitation. Universal critical exponents associated with this exotic transition are computed using 1/N expansion. This theory predicts that at the Z2-Neel transition, there is an emergent quasi long range power law correlation of columnar valence bond solid order parameter.


title: Dark Matter in 3D

abstract: We discuss the relevance of directional detection experiments in the post-discovery era and propose a method to extract the local dark matter phase space distribution from directional data. The first feature of this method is a parameterization of the dark matter distribution function in terms of integrals of motion, which can be analytically extended to infer properties of the global distribution if certain equilibrium conditions hold. The second feature of our method is a decomposition of the distribution function in moments of a model independent basis, with minimal reliance on the ansatz for its functional form. We illustrate our method using the Via Lactea II N-body simulation as well as an analytical model for the dark matter halo. We conclude that O(1000) events are necessary to measure deviations from the Standard Halo Model and constrain or measure the presence of anisotropies.


title: Estimation of a Two-component Mixture Model with Applications to Multiple Testing

abstract: We consider a two-component mixture model with one known component. We develop methods for estimating the mixing proportion and the unknown distribution nonparametrically, given i.i.d.~data from the mixture model, using ideas from shape restricted function estimation. We establish the consistency of our estimators. We find the rate of convergence and asymptotic limit of the estimator for the mixing proportion. Completely automated distribution-free honest finite sample lower confidence bounds are developed for the mixing proportion. Connection to the problem of multiple testing is discussed. The identifiability of the model, and the estimation of the density of the unknown distribution are also addressed. We compare the proposed estimators, which are easily implementable, with some of the existing procedures through simulation studies and analyse two data sets, one arising from an application in astronomy and the other from a microarray experiment.


title: Understanding Set Cover: Sub-exponential Time Approximations and Lift-and-Project Methods

abstract: Recently, Cygan, Kowalik, and Wykurz [IPL 2009] gave sub-exponential-time approximation algorithms for the Set-Cover problem with approximation ratios better than ln(n). In light of this result, it is natural to ask whether such improvements can be achieved using lift-and-project methods. We present a simpler combinatorial algorithm which has nearly the same time-approximation tradeoff as the algorithm of Cygan et al., and which lends itself naturally to a lift-and-project based approach. At a high level, our approach is similar to the recent work of Karlin, Mathieu, and Nguyen [IPCO 2011], who examined a known PTAS for Knapsack (similar to our combinatorial Set-Cover algorithm) and its connection to hierarchies of LP and SDP relaxations for Knapsack. For Set-Cover, we show that, indeed, using the trick of "lifting the objective function", we can match the performance of our combinatorial algorithm using the LP hierarchy of Lovasz and Schrijver. We also show that this trick is essential: even in the stronger LP hierarchy of Sherali and Adams, the integrality gap remains at least (1-eps) ln(n) at level Omega(n) (when the objective function is not lifted). As shown by Aleknovich, Arora, and Tourlakis [STOC 2005], Set-Cover relaxations stemming from SDP hierarchies (specifically, LS+) have similarly large integrality gaps. This stands in contrast to Knapsack, where Karlin et al. showed that the (much stronger) Lasserre SDP hierarchy reduces the integrality gap to (1+eps) at level O(1). For completeness, we show that LS+ also reduces the integrality gap for Knapsack to (1+eps). This result may be of independent interest, as our LS+ based rounding and analysis are rather different from those of Karlin et al., and to the best of our knowledge this is the first explicit demonstration of such a reduction in the integrality gap of LS+ relaxations after few rounds.


title: Finding a princess in a palace: A pursuit-evasion problem

abstract: This paper solves a pursuit-evasion problem in which a prince must find a princess who is constrained to move on each day from one vertex of a finite graph to another. Unlike the related and much studied `Cops and Robbers Game', the prince has no knowledge of the position of the princess; he may, however, visit any single room he wishes on each day. We characterize the graphs for which the prince has a winning strategy, and determine, for each such graph, the minimum number of days the prince requires to guarantee to find the princess.


title: Krein-Langer factorization and related topics in the slice hyperholomorphic setting

abstract: We study various aspects of Schur analysis in the slice hyperholomorphic setting. We present two sets of results: first, we give new results on the functional calculus for slice hyperholomorphic functions. In particular, we introduce and study some properties of the Riesz projectors. Then we prove a Beurling-Lax type theorem, the so-called structure theorem. A crucial fact which allows to prove our results, is the fact that the right spectrum of a quaternionic linear operator and the S-spectrum coincide. Finally, we study the Krein-Langer factorization for slice hyperholomorphic generalized Schur functions. Both the Beurling-Lax type theorem and the Krein-Langer factorization are far reaching results which have not been proved in the quaternionic setting using notions of hyperholomorphy other than slice hyperholomorphy


title: Galileons in the Sky

abstract: We review the different frameworks in which Galileon scalar fields have been seen to emerge such an in DGP, New Massive Gravity and Ghost-free massive Gravity and emphasize their relation with the Lovelock invariant in braneworld models. The existence of a non-renormalization theorem for Galileon scalar fields makes them especially attractive candidates for inflation as well as for late-time acceleration. In particular we review the self-accelerating and degravitating branches of solutions present in Galileon models when arising from Massive Gravity and discuss their phenomenology.


title: Observational Evidence of the Accelerated Expansion of the Universe

abstract: The discovery of cosmic acceleration is one of the most important developments in modern cosmology. The observation, thirteen years ago, that type Ia supernovae appear dimmer that they would have been in a decelerating universe followed by a series of independent observations involving galaxies and cluster of galaxies as well as the cosmic microwave background, all point in the same direction: we seem to be living in a flat universe whose expansion is currently undergoing an acceleration phase. In this paper, we review the various observational evidences, most of them gathered in the last decade, and the improvements expected from projects currently collecting data or in preparation.


title: A topological classification of convex bodies

abstract: The shape of homogeneous, generic, smooth convex bodies as described by the Euclidean distance with nondegenerate critical points, measured from the center of mass represents a rather restricted class M_C of Morse-Smale functions on S^2. Here we show that even M_C exhibits the complexity known for general Morse-Smale functions on S^2 by exhausting all combinatorial possibilities: every 2-colored quadrangulation of the sphere is isomorphic to a suitably represented Morse-Smale complex associated with a function in M_C (and vice versa). We prove our claim by an inductive algorithm, starting from the path graph P_2 and generating convex bodies corresponding to quadrangulations with increasing number of vertices by performing each combinatorially possible vertex splitting by a convexity-preserving local manipulation of the surface. Since convex bodies carrying Morse-Smale complexes isomorphic to P_2 exist, this algorithm not only proves our claim but also generalizes the known classification scheme in [36]. Our expansion algorithm is essentially the dual procedure to the algorithm presented by Edelsbrunner et al. in [21], producing a hierarchy of increasingly coarse Morse-Smale complexes. We point out applications to pebble shapes.


title: Mixing of axino and goldstino, and axino mass

abstract: Axino, related to the SUSY transformation of axion, can mix with goldstino in principle. This case is realized when some superfields carrying nonvanishing Peccei-Quinn charges develop both scalar VEVs and F-terms. In this case, we present a proper definition of axion and axino. With this definition, we present the QCD axino mass in the most general framework, including non-minimal K\"ahler potential. The axino mass is known to have a hierarchical mass structure depending on accidental symmetries. With only one axino, if $G_A=0$ where $G=K+\ln|W|^2$, we obtain $m_{\tilde a}=m_{3/2}$. For $G_A\ne 0$, the axino mass depends on the details of the K\"ahler potential. In the gauge mediation scenario, the gaugino mass is the dominant axino mass parameter. Therefore, we can take the theoretical QCD axino mass as a free parameter in the study of its cosmological effects, ranging from eV to multi-TeV scales, without a present knowledge on its ultraviolet completion.


title: Multibreathers in Klein-Gordon chains with interactions beyond nearest neighbors

abstract: We study the existence and stability of multibreathers in Klein-Gordon chains with interactions that are not restricted to nearest neighbors. We provide a general framework where such long range effects can be taken into consideration for arbitrarily varying (as a function of the node distance) linear couplings between arbitrary sets of neighbors in the chain. By examining special case examples such as three-site breathers with next-nearest-neighbors, we find {\it crucial} modifications to the nearest-neighbor picture of one-dimensional oscillators being excited either in- or anti-phase. Configurations with nontrivial phase profiles, arise, as well as spontaneous symmetry breaking (pitchfork) bifurcations, when these states emerge from (or collide with) the ones with standard (0 or $\pi$) phase difference profiles. Similar bifurcations, both of the supercritical and of the subcritical type emerge when examining four-site breathers with either next-nearest-neighbor or even interactions with the three-nearest one-dimensional neighbors. The latter setting can be thought of as a prototype for the two-dimensional building block, namely a square of lattice nodes, which is also examined. Our analytical predictions are found to be in very good agreement with numerical results.


title: Chiral random matrix theory for staggered fermions

abstract: We present a completed random matrix theory for staggered fermions which incorporates all taste symmetry breaking terms at their leading order from the staggered chiral Lagrangian. This is an extension of previous work which only included some of the taste breaking terms. We will also discuss the effects of taste symmetry breaking on the eigenvalues in the weak and strong taste breaking limits, and compare with some results from lattice simulations.


title: Effective bisector estimate with application to Apollonian circle packings

abstract: Let \Gamma<\PSL(2,\C) be a geometrically finite non-elementary discrete subgroup, and let its critical exponent \delta\ be greater than 1. We use representation theory of \PSL(2,\C) to prove an effective bisector counting theorem for \Gamma, which allows counting the number of points of \Gamma\ in general expanding regions in \PSL(2,\C) and provides an explicit error term. We apply this theorem to give power savings in the Apollonian circle packing problem and related counting problems.


title: Revealing interference by continuous variable discordant states

abstract: In general, a pair of uncorrelated Gaussian states mixed in a beam splitter produces a correlated state at the output. However, when the inputs are identical Gaussian states the output state is equal to the input, and no correlations appear, as the interference had not taken place. On the other hand, since physical phenomena do have observable effects, and the beam splitter is there, a question arises on how to reveal the interference between the two beams. We prove theoretically and demonstrate experimentally that this is possible if at least one of the two beams is prepared in a discordant, i.e. Gaussian correlated, state with a third beam. We also apply the same technique to reveal the erasure of polarization information. Our experiments involves thermal states and the results show that Gaussian discordant states, even when they show a positive Glauber P-function, may be useful to achieve specific tasks.


title: On the Complexity of the Monte Carlo Method for Incremental PageRank

abstract: This note extends the analysis of incremental PageRank in [B. Bahmani, A. Chowdhury, and A. Goel. Fast Incremental and Personalized PageRank. VLDB 2011]. In that work, the authors prove a running time of $O(\frac{nR}{\epsilon^2} \ln(m))$ to keep PageRank updated over $m$ edge arrivals in a graph with $n$ nodes when the algorithm stores $R$ random walks per node and the PageRank teleport probability is $\epsilon$. To prove this running time, they assume that edges arrive in a random order, and leave it to future work to extend their running time guarantees to adversarial edge arrival. In this note, we show that the random edge order assumption is necessary by exhibiting a graph and adversarial edge arrival order in which the running time is $\Omega \left(R n m^{\lg{\frac{3}{2}(1-\epsilon)}}\right)$. More generally, for any integer $d \geq 2$, we construct a graph and adversarial edge order in which the running time is $\Omega \left(R n m^{\log_d(H_d (1-\epsilon))}\right)$, where $H_d$ is the $d$th harmonic number.


title: Assessment of interatomic potentials for atomistic analysis of static and dynamic properties of screw dislocations in W

abstract: Screw dislocations in bcc metals display non-planar cores at zero temperature which result in high lattice friction and thermally activated strain rate behavior. In bcc W, electronic structure molecular statics calculations reveal a compact, non-degenerate core with an associated Peierls stress between 1.7 and 2.8 GPa. However, a full picture of the dynamic behavior of dislocations can only be gained by using more efficient atomistic simulations based on semiempirical interatomic potentials. In this paper we assess the suitability of five different potentials in terms of static properties relevant to screw dislocations in pure W. As well, we perform molecular dynamics simulations of stress-assisted glide using all five potentials to study the dynamic behavior of screw dislocations under shear stress. Dislocations are seen to display thermally-activated motion in most of the applied stress range, with a gradual transition to a viscous damping regime at high stresses. We find that one potential predicts a core transformation from compact to dissociated at finite temperature that affects the energetics of kink-pair production and impacts the mechanism of motion. We conclude that a modified embedded-atom potential achieves the best compromise in terms of static and dynamic screw dislocation properties, although at an expense of about ten-fold compared to central potentials.


title: $N\bar D $ system: A challenge for $\bar {\rm P}$ANDA

abstract: We study the $N \bar D$ system by means of a chiral constituent quark model. This model, tuned in the description of the baryon and meson spectra as well as the $NN$ interaction, provides parameter-free predictions for the charm -1 two-hadron systems. The presence of a heavy antiquark makes the interaction rather simple. We have found sharp quark-Pauli effects in some particular channels, generating repulsion, due to lacking degrees of freedom to accommodate the light quarks. Our results point to the existence of an attractive state, the $\Delta \bar D^*$ with $(T,S)=(1,5/2)$, presenting a resonance close to threshold. It would show up in the scattering of $\bar D$ mesons on nucleons as a D wave state with quantum numbers $(T)J^P=(1)5/2^-$. This resonance resembles our findings in the $\Delta\Delta$ system, that offered a plausible explanation to the cross section of double-pionic fusion reactions through the so-called {\it ABC} effect. The study of the interaction of $D$ mesons with nucleons is a goal of the $\bar {\rm P}$ANDA Collaboration at the European facility FAIR and, thus, the present theoretical study is a challenge to be tested at the future experiments.


title: Discovery of Crystallized Water Ice in a Silhouette Disk in the M43 Region

abstract: We present the 1.9--4.2um spectra of the five bright (L<11.2) young stars associated with silhouette disks with moderate to high inclination angle of 39--80deg in the M42 and M43 regions. The water ice absorption is seen toward d121-1925 and d216-0939, while the spectra of d182-316, d183-405, and d218-354 show no water ice feature around 3.1um within the detection limits. By comparing the water ice features toward nearby stars, we find that the water ice absorption toward d121-1925 and d216-0939 most likely originates from the foreground material and the surrounding disk, respectively. The angle of the disk inclination is found to be mainly responsible for the difference of the optical depth of the water ice among the five young stars. Our results suggest that there is a critical inclination angle between 65deg and 75deg for the circumstellar disk where the water ice absorption becomes strong. The average density at the disk surface of d216-0939 was found to be 6.38x10^(-18) g cm^(-3). The water ice absorption band in the d216-0939 disk is remarkable in that the maximum optical depth of the water ice band is at a longer wavelength than detected before. It indicates that the primary carrier of the feature is purely crystallized water ice at the surface of the d216-0939 disk with characteristic size of ~0.8um, which suggests grain growth. This is the first direct detection of purely crystallized water ice in a silhouette disk.


title: Global Feed-Forward Vibration Isolation in a km scale Interferometer

abstract: Using a network of seismometers and sets of optimal filters, we implemented a feed-forward control technique to minimize the seismic contribution to multiple interferometric degrees of freedom of the LIGO interferometers. The filters are constructed by using the Levinson-Durbin recursion relation to approximate the optimal Wiener filter. By reducing the RMS of the interferometer feedback signals below \sim10 Hz, we have improved the stability and duty cycle of the joint network of gravitational wave detectors. By suppressing the large control forces and mirror motions, we have dramatically reduced the rate of non-Gaussian transients in the gravitational wave signal stream.


title: Establishing homogeneity of the universe in the shadow of dark energy

abstract: Assuming the universe is spatially homogeneous on the largest scales lays the foundation for almost all cosmology. This idea is based on the Copernican principle, that we are not at a particularly special place in the universe. Surprisingly, this philosophical assumption has yet to be rigorously demonstrated independently of the standard paradigm. This issue has been brought to light by cosmological models which can potentially explain apparent acceleration by spatial inhomogeneity rather than dark energy. These models replace the temporal fine tuning associated with Lambda with a spatial fine tuning, and so violate the Copernican assumption. While is seems unlikely that such models can really give a realistic solution to the dark energy problem, they do reveal how poorly constrained radial inhomogeneity actually is. So the bigger issue remains: How do we robustly test the Copernican principle independently of dark energy or theory of gravity?


title: Pure and entangled N=4 linear supermultiplets and their one-dimensional sigma-models

abstract: "Pure" homogeneous linear supermultiplets (minimal and non-minimal) of the N=4-Extended one-dimensional Supersymmetry Algebra are classified. "Pure" means that they admit at least one graphical presentation (the corresponding graph/graphs are known as "Adinkras"). We further prove the existence of "entangled" linear supermultiplets which do not admit a graphical presentation, by constructing an explicit example of an entangled N=4 supermultiplet with field content (3,8,5). It interpolates between two inequivalent pure N=4 supermultiplets with the same field content. The one-dimensional N=4 sigma-model with a three-dimensional target based on the entangled supermultiplet is presented. The distinction between the notion of equivalence for pure supermultiplets and the notion of equivalence for their associated graphs (Adinkras) is discussed. Discrete properties such as chirality and coloring can discriminate different supermultiplets. The tools used in our classification include, among others, the notion of field content, connectivity symbol, commuting group, node choice group and so on.


title: Dynamic Network Delay Cartography

abstract: Path delays in IP networks are important metrics, required by network operators for assessment, planning, and fault diagnosis. Monitoring delays of all source-destination pairs in a large network is however challenging and wasteful of resources. The present paper advocates a spatio-temporal Kalman filtering approach to construct network-wide delay maps using measurements on only a few paths. The proposed network cartography framework allows efficient tracking and prediction of delays by relying on both topological as well as historical data. Optimal paths for delay measurement are selected in an online fashion by leveraging the notion of submodularity. The resulting predictor is optimal in the class of linear predictors, and outperforms competing alternatives on real-world datasets.


title: Relativizing Small Complexity Classes and their Theories

abstract: Existing definitions of the relativizations of \NCOne, \L\ and \NL\ do not preserve the inclusions $\NCOne \subseteq \L$, $\NL\subseteq \ACOne$. We start by giving the first definitions that preserve them. Here for \L\ and \NL\ we define their relativizations using Wilson's stack oracle model, but limit the height of the stack to a constant (instead of $\log(n)$). We show that the collapse of any two classes in $\{\ACZm, \TCZ, \NCOne, \L, \NL\}$ implies the collapse of their relativizations. Next we exhibit an oracle $\alpha$ that makes $\ACk(\alpha)$ a proper hierarchy. This strengthens and clarifies the separations of the relativized theories in [Takeuti, 1995]. The idea is that a circuit whose nested depth of oracle gates is bounded by $k$ cannot compute correctly the $(k+1)$ compositions of every oracle function. Finally we develop theories that characterize the relativizations of subclasses of \Ptime\ by modifying theories previously defined by the second two authors. A function is provably total in a theory iff it is in the corresponding relativized class, and hence the oracle separations imply separations for the relativized theories.


title: Proceedings of the second International PrimeNet Workshop

abstract: These are the proceedings of the second PrimeNet Workshop, held in September 26-28, 2011, at the campus of Forschungszentrum J\"{u}lich, Germany. This workshop is part of the activities in the project "Study of Strongly Interacting Matter" (acronym HadronPhysics2), which is an integrating activity of the Seventh Framework Program of EU. This HP2 project contains several activities, one of them being the network PrimeNet having the focus on Meson Physics in Low-Energy QCD. This network is created to exchange information on experimental and theoretical ongoing activities on mainly eta and eta-prime physics at different European accelerator facilities and institutes.


title: Constructing set-valued fundamental diagrams from jamiton solutions in second order traffic models

abstract: Fundamental diagrams of vehicular traffic flow are generally multi-valued in the congested flow regime. We show that such set-valued fundamental diagrams can be constructed systematically from simple second order macroscopic traffic models, such as the classical Payne-Whitham model or the inhomogeneous Aw-Rascle-Zhang model. These second order models possess nonlinear traveling wave solutions, called jamitons, and the multi-valued parts in the fundamental diagram correspond precisely to jamiton-dominated solutions. This study shows that transitions from function-valued to set-valued parts in a fundamental diagram arise naturally in well-known second order models. As a particular consequence, these models intrinsically reproduce traffic phases.


title: Entanglement and genuine entanglement of three qubit GHZ diagonal states

abstract: We analytically prove the necessary and sufficient criterion for the full separability of three-qubit Greenberger-Horne-Zeilinger (GHZ) diagonal states. The corresponding entanglement is exactly calculable for some GHZ diagonal states and is tractable for the others using the relative entropy of entanglement. We show that the biseparable criterion and the genuine entanglement are determined only by the biggest GHZ diagonal element regardless of all the other smaller diagonal elements. We have completely solved the entanglement problems of three-qubit GHZ diagonal states.


title: Genuine Entanglement of Four Qubit Cluster Diagonal States

abstract: We reduce the necessary and sufficient biseparable conditions of the four qubit cluster diagonal state to concise forms. Only 4 out of the 15 parameters are proved to be relevant in specifying the genuine entanglement of the state. Using the relative entropy of entanglement as the entanglement measure, we analytically find the genuine entanglement of all the four qubit cluster diagonal states. The formulas of the genuine entanglement are of five kinds, for seven different parameter regions of entanglement.


title: The impulse cutoff an entropy functional measure on trajectories of Markov diffusion process integrating in information path functional

abstract: The impulses, cutting entropy functional (EF) measure on trajectories Markov diffusion process, integrate information path functional (IPF) composing discrete information Bits extracted from observing random process. Each cut brings memory of the cutting entropy, which provides both reduction of the process entropy and discrete unit of the cutting entropy a Bit. Consequently, information is memorized entropy cutting in random observations which process interactions. The origin of information associates with anatomy creation of impulse enables both cut entropy and stipulate random process generating information under the cut. Memory of the impulse cutting time interval freezes the observing events dynamics in information processes. Diffusion process additive functional defines EF reducing it to a regular integral functional. Compared to Shannon entropy measure of random state, cutting process on separated states decreases quantity information concealed in the states correlation holding hidden process information. Infinite dimensional process cutoffs integrate finite information in IPF whose information approaches EF restricting process maximal information. Within the impulse reversible microprocess, conjugated entropy increments are entangling up to the cutoff converting entropy in irreversible information. Extracting maximum of minimal impulse information and transferring minimal entropy between impulses implement maxmin-minimax principle of optimal conversion process entropy to information. Macroprocess extremals integrate entropy of microprocess and cutoff information of impulses in the IPF information physical process. IPF measures Feller kernel information. Estimation extracting information confirms nonadditivity of EF measured process increments.


title: Cross-Characteristic Representations of $Sp_6(2^a)$ and Their Restrictions to Maximal Subgroups

abstract: We classify all pairs $(V,H)$, where $H$ is a proper subgroup of $G=Sp_6(q)$, $q$ even, and $V$ is an $\ell$-modular representation of $G$ for $\ell\neq 2$ which is absolutely irreducible as a representation of $H$. This problem is motivated by the Aschbacher-Scott program on classifying maximal subgroups of finite classical groups.


title: A Silicon Optical Transistor

abstract: A fundamental road block for all-optical information processing is the difficulty in realizing a silicon optical transistor with the ability to provide optical gain, input output isolation and buffer action. In this work, we demonstrate an all-optical transistor using optical nonlinearity in microrings. By using weak light to control strong light, we observed an On/Off ratio up to 20 dB. It can compensate losses in other optical devices and provide fan-out capability. The device is ultra compact and is compatible with current complementary metal-oxide-semiconductor (CMOS) processing.


title: Novel symmetry-broken phase in a driven cavity system in the thermodynamic limit

abstract: We study non-equilibrium stationary states of a cavity system consisting of many atoms interacting with a quantized cavity field mode, under a driving field in a dissipative environment. We derive a quantum master equation which is suitable for treating systems with a strong driving field and a strong atom-photon interaction. We do this by making use of the fact that the mean-field dynamics are exact in the thermodynamic limit thanks to a uniform coupling between atoms and photons. We find ordered states with symmetry-broken components of the photon field and atomic excitation driven by the external field. The mechanism by which these ordered states arise is discussed from the viewpoint of the quantum interference effect.


title: Synthetic spatially graded Rac activation drives directed cell polarization and locomotion

abstract: Migrating cells possess intracellular gradients of Rho GTPases, but it is unknown whether these shallow gradients themselves can induce motility. Here we describe a new method to present cells with induced linear gradients of active, endogenous Rac without receptor activation. Gradients as low as 15% were sufficient to not only trigger cell migration up the synthetic gradient, but also to induce both cell polarization and repolarization. Response kinetics were inversely proportional to Rac gradient values, in agreement with a new mathematical model, suggesting a role for natural input gradient amplification upstream of Rac. Increases in Rac levels beyond a well-defined threshold dramatically augmented polarization and decreased sensitivity to the gradient value. The threshold was governed by initial cell polarity and PI3K activity, supporting a role for both in defining responsiveness to natural or synthetic Rac activation. Our methodology suggests a general way to investigate processes regulated by intracellular signaling gradients.


title: A refined invariant subspace method and applications to evolution equations

abstract: The invariant subspace method is refined to present more unity and more diversity of exact solutions to evolution equations. The key idea is to take subspaces of solutions to linear ordinary differential equations as invariant subspaces that evolution equations admit. A two-component nonlinear system of dissipative equations was analyzed to shed light on the resulting theory, and two concrete examples are given to find invariant subspaces associated with 2nd-order and 3rd-order linear ordinary differential equations and their corresponding exact solutions with generalized separated variables.


title: Optimal Mechanisms for Selling Information

abstract: The buying and selling of information is taking place at a scale unprecedented in the history of commerce, thanks to the formation of online marketplaces for user data. Data providing agencies sell user information to advertisers to allow them to match ads to viewers more effectively. In this paper we study the design of optimal mechanisms for a monopolistic data provider to sell information to a buyer, in a model where both parties have (possibly correlated) private signals about a state of the world, and the buyer uses information learned from the seller, along with his own signal, to choose an action (e.g., displaying an ad) whose payoff depends on the state of the world. We provide sufficient conditions under which there is a simple one-round protocol (i.e. a protocol where the buyer and seller each sends a single message, and there is a single money transfer) achieving optimal revenue. In these cases we present a polynomial-time algorithm that computes the optimal mechanism. Intriguingly, we show that multiple rounds of partial information disclosure (interleaved by payment to the seller) are sometimes necessary to achieve optimal revenue if the buyer is allowed to abort his interaction with the seller prematurely. We also prove some negative results about the inability of simple mechanisms for selling information to approximate more complicated ones in the worst case.


title: An Integral Field Study of Abundance Gradients in Nearby LIRGs

abstract: We present for the first time metallicity maps generated using data from the Wide Field Spectrograph (WiFeS) on the ANU 2.3m of 9 Luminous Infrared Galaxies (LIRGs) and discuss the abundance gradients and distribution of metals in these systems. We have carried out optical integral field spectroscopy (IFS) of several several LIRGs in various merger phases to investigate the merger process. In a major merger of two spiral galaxies with preexisting disk abundance gradients, the changing distribution of metals can be used as a tracer of gas flows in the merging system as low metallicity gas is transported from the outskirts of each galaxy to their nuclei. We employ this fact to probe merger properties by using the emission lines in our IFS data to calculate the gas-phase metallicity in each system. We create abundance maps and subsequently derive a metallicity gradient from each map. We compare our measured gradients to merger stage as well as several possible tracers of merger progress and observed nuclear abundances. We discuss our work in the context of previous abundance gradient observations and compare our results to new galaxy merger models which trace metallicity gradient. Our results agree with the observed flattening of metallicity gradients as a merger progresses. We compare our results with new theoretical predictions that include chemical enrichment. Our data show remarkable agreement with these simulations.


title: An integrable multicomponent quad equation and its Lagrangian formulation

abstract: We present a hierarchy of discrete systems whose first members are the lattice modified Korteweg-de Vries equation, and the lattice modified Boussinesq equation. The N-th member in the hierarchy is an N-component system defined on an elementary plaquette in the 2-dimensional lattice. The system is multidimensionally consistent and a Lagrangian which respects this feature, i.e., which has the desirable closure property, is obtained.


title: Multi-physics simulations using a hierarchical interchangeable software interface

abstract: We introduce a general-purpose framework for interconnecting scientific simulation programs using a homogeneous, unified interface. Our framework is intrinsically parallel, and conveniently separates all component numerical modules in memory. This strict separation allows automatic unit conversion, distributed execution of modules on different cores within a cluster or grid, and orderly recovery from errors. The framework can be efficiently implemented and incurs an acceptable overhead. In practice, we measure the time spent in the framework to be less than 1% of the wall-clock time. Due to the unified structure of the interface, incorporating multiple modules addressing the same physics in different ways is relatively straightforward. Different modules may be advanced serially or in parallel. Despite initial concerns, we have encountered relatively few problems with this strict separation between modules, and the results of our simulations are consistent with earlier results using more traditional monolithic approaches. This framework provides a platform to combine existing simulation codes or develop new physical solver codes within a rich "ecosystem" of interchangeable modules.


title: Anomalous Magnetoresistance in Fibonacci Multilayers

abstract: The present paper theoretically investigates magnetoresistance curves in quasiperiodic magnetic multilayers for two different growth directions, namely [110] and [100]. We considered identical ferromagnetic layers separated by non-magnetic layers with two different thicknesses chosen based on the Fibonacci sequence. Using parameters for Fe/Cr multilayers, four terms were included in our description of the magnetic energy: Zeeman, cubic anisotropy, bilinear and biquadratic couplings. The minimum energy was determined by the gradient method and the equilibrium magnetization directions found were used to calculate magnetoresistance curves. By choosing spacers with a thickness such that biquadratic coupling is stronger than bilinear coupling, unusual behaviors for the magnetoresistance were observed: (i) for the [110] case there is a different behavior for structures based on even and odd Fibonacci generations; and more interesting, (ii) for the [100] case we found magnetic field ranges for which the magnetoresistance increases with magnetic field.


title: Time and Space Efficient Lempel-Ziv Factorization based on Run Length Encoding

abstract: We propose a new approach for calculating the Lempel-Ziv factorization of a string, based on run length encoding (RLE). We present a conceptually simple off-line algorithm based on a variant of suffix arrays, as well as an on-line algorithm based on a variant of directed acyclic word graphs (DAWGs). Both algorithms run in $O(N+n\log n)$ time and O(n) extra space, where N is the size of the string, $n\leq N$ is the number of RLE factors. The time dependency on N is only in the conversion of the string to RLE, which can be computed very efficiently in O(N) time and O(1) extra space (excluding the output). When the string is compressible via RLE, i.e., $n = o(N)$, our algorithms are, to the best of our knowledge, the first algorithms which require only o(N) extra space while running in $o(N\log N)$ time.


title: A Cost- Effective Design of Reversible Programmable Logic Array

abstract: In the recent era, Reversible computing is a growing field having applications in nanotechnology, optical information processing, quantum networks etc. In this paper, the authors show the design of a cost effective reversible programmable logic array using VHDL. It is simulated on xilinx ISE 8.2i and results are shown. The proposed reversible Programming logic array called RPLA is designed by MUX gate [10] & Feynman gate for 3- inputs, which is able to perform any reversible 3- input logic function or Boolean function. Furthermore the quantized analysis with camparitive finding is shown for the realized RPLA against the existing one. The result shows improvement in the quantum cost and total logical caculation in proposed RPLA.


title: Towards the Solution of Power Dissipation in Electronics Systems through Thermodynamics

abstract: Power loss in the electronic system is a very crucial limiting factor that can be reduced or minimized with the help of using the reversible logics "a concept came from Thermodynamics". In this paper the authors shows the concept of reversible logics for the Electronics system. The logical and physical designing approach is given in the paper in detail. The contradiction of logical and physical reversibility with the conventional CMOS designing is also shows and the solution of that contradiction is also proposed by the authors using adiabatic logic. This Paper gives a complete and clear idea if the thermodynamical concept for the electronics industries for power reduction.


title: Understanding the different rotational behaviors of $^{252}$No and $^{254}$No

abstract: Total Routhian surface calculations have been performed to investigate rapidly rotating transfermium nuclei, the heaviest nuclei accessible by detailed spectroscopy experiments. The observed fast alignment in $^{252}$No and slow alignment in $^{254}$No are well reproduced by the calculations incorporating high-order deformations. The different rotational behaviors of $^{252}$No and $^{254}$No can be understood for the first time in terms of $\beta_6$ deformation that decreases the energies of the $\nu j_{15/2}$ intruder orbitals below the N=152 gap. Our investigations reveal the importance of high-order deformation in describing not only the multi-quasiparticle states but also the rotational spectra, both providing probes of the single-particle structure concerning the expected doubly-magic superheavy nuclei.


title: Contact structure on mixed links

abstract: A strongly non-degenerate mixed function has a Milnor open book structures on a sufficiently small sphere. We introduce the notion of {\em a holomorphic-like} mixed function and we will show that a link defined by such a mixed function has a canonical contact structure. Then we will show that this contact structure for a certain holomorphic-like mixed function is carried by the Milnor open book.


title: Quantum nanophotonics using hyperbolic metamaterials

abstract: Engineering the optical properties using artificial nanostructured media known as metamaterials has led to breakthrough devices with capabilities from super-resolution imaging to invisibility. In this article, we review metamaterials for quantum nanophotonic applications, a recent development in the field. This seeks to address many challenges in the field of quantum optics using recent advances in nanophotonics and nanofabrication. We focus on the class of nanostructured media with hyperbolic dispersion that have emerged as one of the most promising metamaterials with a multitude of practical applications from subwavelength imaging, nanoscale waveguiding, biosensing to nonlinear switching. We present the various design and characterization principles of hyperbolic metamaterials and explain the most important property of such media: a broadband enhancement in the electromagnetic density of states. We review several recent experiments that have explored this phenomenon using spontaneous emission from dye molecules and quantum dots. We finally point to future applications of hyperbolic metamaterials of using the broadband enhancement in the spontaneous emission to construct single photon sources.


title: Nonlinear PT-symmetric plaquettes

abstract: We introduce four basic two-dimensional (2D) plaquette configurations with onsite cubic nonlinearities, which may be used as building blocks for 2D PT -symmetric lattices. For each configuration, we develop a dynamical model and examine its PT symmetry. The corresponding nonlinear modes are analyzed starting from the Hamiltonian limit, with zero value of the gain-loss coefficient. Once the relevant waveforms have been identified (chiefly, in an analytical form), their stability is examined by means of linearization in the vicinity of stationary points. This reveals diverse and, occasionally, fairly complex bifurcations. The evolution of unstable modes is explored by means of direct simulations. In particular, stable localized modes are found in these systems, although the majority of identified solutions is unstable.


title: Morphisms of Generalized Interval Systems and PR-Groups

abstract: We begin the development of a categorical perspective on the theory of generalized interval systems (GIS's). Morphisms of GIS's allow the analyst to move between multiple interval systems and connect transformational networks. We expand the analytical reach of the Sub Dual Group Theorem of Fiore--Noll (2011) and the generalized contextual group of Fiore--Satyendra (2005) by combining them with a theory of GIS morphisms. Concrete examples include an analysis of Schoenberg, String Quartet in D minor, op. 7, and simply transitive covers of the octatonic set. This work also lays the foundation for a transformational study of Lawvere--Tierney upgrades in the topos of triads of Noll (2005).


title: Structure of dynamical condensation fronts in the interstellar medium

abstract: In this paper, we investigate the structure of condensation fronts from warm diffuse gas to cold neutral medium (CNM) under the plane parallel geometry. The solutions have two parameters, the pressure of the CNM and the mass flux across the transition front, and their ranges are much wider than previously thought. First, we consider the pressure range where the three phases, the CNM, the unstable phase, and the warm neutral medium, can coexist in the pressure equilibrium. In a wide range of the mass flux, we find solutions connecting the CNM and the unstable phase. Moreover, we find solutions in larger pressure range where there is only one thermal equilibrium state or the CNM. These solutions can be realized in shock-compressed regions that are promising sites of molecular cloud formation. We also find remarkable properties in our solutions. Heat conduction becomes less important with increasing mass flux, and the thickness of the transition layer is characterized by the cooling length instead of the Field length.


title: Green-Kubo formulas with symmetrized correlation functions for quantum systems in steady states: the shear viscosity of a fluid in a steady shear flow

abstract: For a quantum system in a steady state with a constant current of heat or particles driven by a temperature or chemical potential difference between two reservoirs attached to the system, the fluctuation theorem for the current was previously shown to lead to the Green-Kubo formula for the linear response coefficient for the current expressed in terms of the symmetrized correlation function of the current density operator. In this article, we show that for a quantum system in a steady state with a constant rate of work done on the system, the fluctuation theorem for a quantity induced in the system also leads to the Green-Kubo formula expressed in terms of the symmetrized correlation function of the induced quantity. As an example, we consider a fluid in a steady shear flow driven by a constant velocity of a solid plate moving above the fluid.

categories: cond-mat.stat-mech cond-mat.mes-hall hep-lat hep-th


title: First eigenvalue/eigenvector in sparse random symmetric matrices: influences of degree fluctuation

abstract: The properties of the first (largest) eigenvalue and its eigenvector (first eigenvector) are investigated for large sparse random symmetric matrices that are characterized by bimodal degree distributions. In principle, one should be able to accurately calculate them by solving a functional equation concerning auxiliary fields which come out in an analysis based on replica/cavity methods. However, the difficulty in analytically solving this equation makes an accurate calculation infeasible in practice. To overcome this problem, we develop approximation schemes on the basis of two exceptionally solvable examples. The schemes are reasonably consistent with numerical experiments when the statistical bias of positive matrix entries is sufficiently large, and they qualitatively explain why considerably large finite size effects of the first eigenvalue can be observed when the bias is relatively small.


title: Statistical Properties of Molecular Clumps in the Galactic Center 50 km s$^{-1}$ Molecular Cloud

abstract: We present the statistical properties of molecular clumps in the Galactic center 50 km s$^{-1}$ molecular cloud (GCM-0.02-0.07) based on observations of the CS $J=1-0$ emission line with the Nobeyama Millimeter Array. In the cloud, 37 molecular clumps with local thermal equilibrium (LTE) masses of $2\times10^2-6\times10^3 M_\odot$ were identified by using the {\it clumpfind} algorithm. The velocity widths of the molecular clumps are about five-fold those of Galactic disk molecular clouds with the same radius. The virial-theorem masses are three-fold the LTE masses. The mass and size spectra can be described by power laws of $dN/dM\propto M^{-2.6\pm0.1}$ ($M\gtrsim 900M_\odot$) and $dN/dR\propto R^{-5.9\pm0.3}$ ($R\gtrsim 0.35$ pc), respectively. The statistical properties of the region interacting with the Sgr A East shell and those of the non-interacting part of the cloud are significantly different. The interaction probably makes the mass function steeper, from $dN/dM\propto M^{-2.0\pm0.1}$ in the non-interacting part to $dN/dM\propto M^{-4.0\pm0.2}$ in the interacting region. On the other hand, the interaction presumably truncates the size spectrum on the larger side of $R\sim 0.4$ pc.


title: Endogeneity in high dimensions

abstract: Most papers on high-dimensional statistics are based on the assumption that none of the regressors are correlated with the regression error, namely, they are exogenous. Yet, endogeneity can arise incidentally from a large pool of regressors in a high-dimensional regression. This causes the inconsistency of the penalized least-squares method and possible false scientific discoveries. A necessary condition for model selection consistency of a general class of penalized regression methods is given, which allows us to prove formally the inconsistency claim. To cope with the incidental endogeneity, we construct a novel penalized focused generalized method of moments (FGMM) criterion function. The FGMM effectively achieves the dimension reduction and applies the instrumental variable methods. We show that it possesses the oracle property even in the presence of endogenous predictors, and that the solution is also near global minimum under the over-identification assumption. Finally, we also show how the semi-parametric efficiency of estimation can be achieved via a two-step approach.


title: Lower Bounds for Bruss' Odds Problem with Multiple Stoppings

abstract: We give asymptotic lower bounds of the value for Bruss' optimal stopping problem with multiple stopping chances. It interestingly consists of the asymptotic threshold values in the optimal multiple stopping strategy. Another interesting implication of the result is that the asymptotic value for each secretary problem with multiple stoppings is in fact a typical lower bound in a much more general class of multiple stopping problems as modifications of odds problem.


title: Numerical Simulations of Optically Thick Accretion onto a Black Hole - I. Spherical Case

abstract: Modeling the radiation generated by accreting matter is an important step towards realistic simulations of black hole accretion disks, especially at high accretion rates. To this end, we have recently added radiation transport to the existing general relativistic magnetohydrodynamic code, Cosmos++. However, before attempting to model radiative accretion disks, we have tested the new code using a series of shock tube and Bondi (spherical inflow) problems. The four radiative shock tube tests, first presented by Farris et al. (2008), have known analytic solutions, allowing us to calculate errors and convergence rates for our code. The Bondi problem only has an analytic solution when radiative processes are ignored, but is pertinent because it is closer to the physics we ultimately want to study. In our simulations, we include Thomson scattering and thermal bremsstrahlung in the opacity, focusing exclusively on the super-Eddington regime. Unlike accretion onto bodies with solid surfaces, super-Eddington accretion onto black holes does not produce super-Eddington luminosity. In our examples, despite accreting at up to 300 times the Eddington rate, our measured luminosity is always several orders of magnitude below Eddington.


title: Experimental realization of single electron tunneling diode based on vertical graphene two-barrier junction

abstract: Usually, graphene is used in its horizontal directions to design novel concept devices. Here, we report a single electron tunneling diode based on quantum tunneling through a vertical graphene two-barrier junction. The junction is formed by positioning a scanning tunnelling microscopy (STM) tip above a graphene nanoribbon that was deposited on a graphite surface. Because of the asymmetry of the two-barrier junction, the electrons can unidirectional transfer from the tip to the graphene nanoribbon but not from the graphene to the tip. This result opens intriguing opportunities for designing new type of graphene transistors in its vertical direction.


title: Learning Loosely Connected Markov Random Fields

abstract: We consider the structure learning problem for graphical models that we call loosely connected Markov random fields, in which the number of short paths between any pair of nodes is small, and present a new conditional independence test based algorithm for learning the underlying graph structure. The novel maximization step in our algorithm ensures that the true edges are detected correctly even when there are short cycles in the graph. The number of samples required by our algorithm is C*log p, where p is the size of the graph and the constant C depends on the parameters of the model. We show that several previously studied models are examples of loosely connected Markov random fields, and our algorithm achieves the same or lower computational complexity than the previously designed algorithms for individual cases. We also get new results for more general graphical models, in particular, our algorithm learns general Ising models on the Erdos-Renyi random graph G(p, c/p) correctly with running time O(np^5).


title: The Design of GP 2

abstract: This papers defines the syntax and semantics of GP 2, a revised version of the graph programming language GP. New concepts are illustrated and explained with example programs. Changes to the first version of GP include an improved type system for labels, a built-in marking mechanism for nodes and edges, a more powerful edge predicate for conditional rule schemata, and functions returning the indegree and outdegree of matched nodes. Moreover, the semantics of the branching and loop statement have been simplified to allow their efficient implementation.


title: Basic completion strategies as another application of the Maude strategy language

abstract: The two levels of data and actions on those data provided by the separation between equations and rules in rewriting logic are completed by a third level of strategies to control the application of those actions. This level is implemented on top of Maude as a strategy language, which has been successfully used in a wide range of applications. First we summarize the Maude strategy language design and review some of its applications; then, we describe a new case study, namely the description of completion procedures as transition rules + control, as proposed by Lescanne.


title: Lazy AC-Pattern Matching for Rewriting

abstract: We define a lazy pattern-matching mechanism modulo associativity and commutativity. The solutions of a pattern-matching problem are stored in a lazy list composed of a first substitution at the head and a non-evaluated object that encodes the remaining computations. We integrate the lazy AC-matching in a strategy language: rewriting rule and strategy application produce a lazy list of terms.


title: Productivity of Non-Orthogonal Term Rewrite Systems

abstract: Productivity is the property that finite prefixes of an infinite constructor term can be computed using a given term rewrite system. Hitherto, productivity has only been considered for orthogonal systems, where non-determinism is not allowed. This paper presents techniques to also prove productivity of non-orthogonal term rewrite systems. For such systems, it is desired that one does not have to guess the reduction steps to perform, instead any outermost-fair reduction should compute an infinite constructor term in the limit. As a main result, it is shown that for possibly non-orthogonal term rewrite systems this kind of productivity can be concluded from context-sensitive termination. This result can be applied to prove stabilization of digital circuits, as will be illustrated by means of an example.


title: Strategy Independent Reduction Lengths in Rewriting and Binary Arithmetic

abstract: In this paper we give a criterion by which one can conclude that every reduction of a basic term to normal form has the same length. As a consequence, the number of steps to reach the normal form is independent of the chosen strategy. In particular this holds for TRSs computing addition and multiplication of natural numbers, both in unary and binary notation.


title: On the conditional distributions and the efficient simulations of exponential integrals of Gaussian random fields

abstract: In this paper, we consider the extreme behavior of a Gaussian random field $f(t)$ living on a compact set $T$. In particular, we are interested in tail events associated with the integral $\int_Te^{f(t)}\,dt$. We construct a (non-Gaussian) random field whose distribution can be explicitly stated. This field approximates the conditional Gaussian random field $f$ (given that $\int_Te^{f(t)}\,dt$ exceeds a large value) in total variation. Based on this approximation, we show that the tail event of $\int_Te^{f(t)}\,dt$ is asymptotically equivalent to the tail event of $\sup_T\gamma(t)$ where $\gamma(t)$ is a Gaussian process and it is an affine function of $f(t)$ and its derivative field. In addition to the asymptotic description of the conditional field, we construct an efficient Monte Carlo estimator that runs in polynomial time of $\log b$ to compute the probability $P(\int_Te^{f(t)}\,dt>b)$ with a prescribed relative accuracy.


title: Automorphism groups of Grassmann codes

abstract: We use a theorem of Chow (1949) on line-preserving bijections of Grassmannians to determine the automorphism group of Grassmann codes. Further, we analyze the automorphisms of the big cell of a Grassmannian and then use it to settle an open question of Beelen et al. (2010) concerning the permutation automorphism groups of affine Grassmann codes. Finally, we prove an analogue of Chow's theorem for the case of Schubert divisors in Grassmannians and then use it to determine the automorphism group of linear codes associated to such Schubert divisors. In the course of this work, we also give an alternative short proof of MacWilliams theorem concerning the equivalence of linear codes and a characterization of maximal linear subspaces of Schubert divisors in Grassmannians.


title: The Essential Norm of Operators on $A^p_\alpha(\mathbb{B}_n)$

abstract: In this paper we characterize the compact operators on $A^p_\alpha(\mathbb{B}_n)$ when $1<p<\infty$ and $\alpha>-1$. The main result shows that an operator on $A^p_\alpha(\mathbb{B}_n)$ is compact if and only if it belongs to the Toeplitz algebra and its Berezin transform vanishes on the boundary of the ball.


title: Solution to the Volterra integral equations of the first kind with piecewise continuous kernels in class of Sobolev-Schwartz distributions

abstract: Sufficient conditions for existence and uniqueness of the solution of the Volterra integral equations of the first kind with piecewise continuous kernels are derived in framework of Sobolev-Schwartz distribution theory. The asymptotic approximation of the parametric family of generalized solutions is constructed. The method for the solution's regular part refinement is proposed using the successive approximations method.


title: Biharmonic hypersurfaces in a conformally flat space

abstract: Biharmonic hypersurfaces in a generic conformally flat space are studied in this paper. The equation of such hypersurfaces is derived and is used to determine the conformally flat metric $f^{-2}\delta_{ij}$ on the Euclidean space $\mathbb{R}^{m+1}$ so that a minimal hypersurface $M^m\longrightarrow (\mathbb{R}^{m+1}, \delta_{ij})$ in a Euclidean space becomes a biharmonic hypersurface $M^m\longrightarrow (\mathbb{R}^{m+1}, f^{-2}\delta_{ij})$ in the conformally flat space. Our examples include all biharmonic hypersurfaces found in [Ou1] and [OT] as special cases.


title: A lower bound on seller revenue in single buyer monopoly auctions

abstract: We consider a monopoly seller who optimally auctions a single object to a single potential buyer, with a known distribution of valuations. We show that a tight lower bound on the seller's expected revenue is $1/e$ times the geometric expectation of the buyer's valuation, and that this bound is uniquely achieved for the equal revenue distribution. We show also that when the valuation's expectation and geometric expectation are close, then the seller's expected revenue is close to the expected valuation.


title: Blazar Anti-Sequence of Spectral Variability for Individual TeV Blazars

abstract: We compile from literature the broadband SEDs of twelve TeV blazars observed simultaneously or quasi-simultaneously with Fermi/LAT and other instruments. Two SEDs are available for each of the objects and the state is identified as a low or high state according to its flux density at GeV/TeV band. The observed SEDs of BL Lac objects (BL Lacs) are fitted well with the synchrotron + synchrotron-self-Compton (syn+SSC) model, whereas the SEDs of the two flat spectrum radio quasars (FSRQs) need to include the contributions of external Compton scattering. In this scenario, it is found that the Doppler factor delta of FSRQs is smaller than that of BL Lacs, but the magnetic field strength B of FSRQs is larger than that of BL Lacs. The increase of the peak frequency of the SEDs is accompanied with the increase of the flux for the individual sources, which seems opposite to the observational phenomena of the blazar sequence. We refer this phenomenon to blazar anti-sequence of spectral variability for individual TeV blazars. However, both the blazar sequence from FSRQs to BL Lacs and blazar anti-sequence of the spectral variability from low state to high state are accompanied by an increase of the break Lorentz factor of the electron's spectrum gamma_b and a decrease of B. We propose a model in which the mass accretion rate is the driving force behind both the blazar sequence for ensembles of blazars and the blazar anti-sequence for individual blazars. Specifically we suggest that the differences in mass accretion rate of different blazars produce the observed blazar sequence, but \Delta M in each blazar results in the observed blazar anti-sequence.


title: Study on $0^+$ states with open charm in unitarized heavy meson chiral approach

abstract: We calculate the scattering amplitudes of Goldstone bosons off the pseudoscalar D-mesons in unitarized heavy meson chiral approach. The low energy constants appearing in $\mathcal{O}(p^2)$ chiral Lagrangian are determined by fitting lattice simulations on $S$-wave scattering lengths. $D_{s0}^{*}(2317)$ is obtained as a bound state in $(S,I)=(1,0)$ $DK$ channel. Possible bound states or resonance states in other channels are investigated as well. The quark mass dependence of the mass and binding energy of $D_{s0}^{*}(2317)$ is also investigated, which indicates predominately $DK$ molecular nature.


title: Matrix identities with forms

abstract: Consider the algebra M(n,F) of n x n matrices over an infinite field F of arbitrary characteristic. An identity for M(n,F) with forms is such a polynomial in n x n generic matrices and in \sigma_k(x), 0<k\leq n, coefficients in the characteristic polynomial of monomials in generic matrices, that is equal to zero matrix. This notion is a characteristic free analogue of identities for M(n,F) with trace. In 1996 Zubkov established an infinite generating set for the T-ideal T(n) of identities for M(n,F) with forms. Namely, for t>n he introduced partial linearizations of \sigma_t and proved that they together with the well-known free relations and the Cayley--Hamilton polynomial generate T(n) as a T-ideal. We show that it is enough to take partial linearizations of \sigma_t for n<t\leq 2n. In particular, the T-ideal T(n) is finitely based. Working over a field of characteristic different from two, we obtain a similar result for the ideal of identities with forms for the F-algebra generated by n x n generic and transpose generic matrices. These results imply that ideals of identities for the algebras of matrix GL(n)- and O(n)-invariants are generated by the well-known free relations together with partial linearizations of \sigma_t for n<t\leq 2n and partial linearizations of \sigma_{t,r} for n<t+2r\leq 2n, respectively.


title: Modulational instability of a recent nonlinear plasmonic metamaterial: Finite-difference-time-domain simulations

abstract: By doing time-domain simulations, we find the proposal for negative-to-positive index switching proposed in [Physical Review Letters, 106 105503 (2012)] may be fragile. The negative opinion on the uniform switching of local optical constants in our recent paper [arXiv:1111.1476v2] based on the circuit model of metamaterials can therefore be verified in this specific and realistic case.


title: Intrinsic Origin of Negative Fixed Charge in Wet Oxidation for Silicon Carbide

abstract: We demonstrate on the basis of first-principles calculations that the formation of carbonate-like moiety in SiO$_2$ could be the intrinsic origin of negative fixed charge in SiC thermal oxidation. We find that two possible origins for the negative fixed charges are O-lone-pair state and a negatively charged CO$_3$ ion in SiO$_2$. Such CO$_3$ ion is able to be formed as a result of the existence of residual C atoms in SiO$_2$, which are expected to be emitted from the interface between SiC and SiO$_2$, and the incorporation of H atoms during wet oxidation.


title: A Computational Investigation of the Catalytic Properties of Graphene Oxide: Exploring Mechanisms Using DFT Methods

abstract: Here we describe a computational study undertaken in an effort to elucidate the reaction mechanisms behind the experimentally observed oxidations and hydrations catalyzed by graphene oxide (GO). Using the oxidation of benzyl alcohol to benzaldehyde as a model reaction, density functional theory (DFT) calculations revealed that this reactivity stemmed from the transfer of hydrogen atoms from the organic molecule to the GO surface. In particular, neighbouring epoxide groups decorating GO's basal plane were ring-opened, resulting in the formation of diols, followed by dehydration. Consistent with the experimentally-observed dependence of this chemistry on molecular oxygen, our calculations revealed that the partially reduced catalyst was able to be recharged by molecular oxygen, allowing for catalyst turnover. Functional group-free carbon materials, such as graphite, were calculated to have substantially higher reaction barriers, indicating that the high chemical potential and rich functionality of GO are necessary for the observed reactivity.


title: Three generations of Higgses and the cyclic groups

abstract: Multi Higgs doublet models are interesting extensions of the Standard Model that can be related to flavor. The reason is that most flavor models usually involve the presence of several additional scalar fields. In this work we present an analysis that shows that for renormalizable flavor models based on the cyclic group of order $N$, if there is one flavored SU(2) double Higgs per generation, the smallest $N$ that can be used to reproduce the Nearest-Neighbor-Interaction texture for the quark mass matrices is N=5. Results for the Higgs spectrum and consistency under $K - \bar{K}$ mixing in a specific model with $Z_5$ are also presented.


title: Using Temporal Entanglement to Perform Thermodynamical Work

abstract: Here we investigate the impact of temporal entanglement on a system's ability to perform thermodynamical work. We show that while the quantum version of the Jarzynski equality remains satisfied even in the presence of temporal entanglement, the individual thermodynamical work moments in the expansion of the free energy are, in fact, sensitive to the genuine quantum correlations. Therefore, while individual moments of the amount of thermodynamical work can be larger (or smaller) quantumly than classically, when they are all combined together into the (exponential of) free energy, the total effect vanishes to leave the Jarzynski equality intact. Whether this is a fortuitous coincidence remains to be seen, but it certainly goes towards explaining why the laws of thermodynamics happen to be so robust as to be independent of the underlying micro-physics. We discuss the relationship between this result and thermodynamical witnesses of spatial entanglement as well as explore the subtle connection with the "quantum arrow of time".


title: Superconducting nanowire single-photon detectors: physics and applications

abstract: Single-photon detectors based on superconducting nanowires (SSPDs or SNSPDs) have rapidly emerged as a highly promising photon-counting technology for infrared wavelengths. These devices offer high efficiency, low dark counts and excellent timing resolution. In this review, we consider the basic SNSPD operating principle and models of device behaviour. We give an overview of the evolution of SNSPD device design and the improvements in performance which have been achieved. We also evaluate device limitations and noise mechanisms. We survey practical refrigeration technologies and optical coupling schemes for SNSPDs. Finally we summarize promising application areas, ranging from quantum cryptography to remote sensing. Our goal is to capture a detailed snapshot of an emerging superconducting detector technology on the threshold of maturity.

categories: quant-ph cond-mat.supr-con physics.ins-det physics.optics


title: Cohen-Macaulay graphs with large girth

abstract: We classify Cohen-Macaulay graphs of girth at least $5$ and planar Gorenstein graphs of girth at least $4$. Moreover, such graphs are also vertex decomposable.


title: Interface Metallic States between a Topological Insulator and a Ferromagnetic Insulator

abstract: We study electronic structures at an interface between a topological insulator and a ferromagnetic insulator by using three-dimensional two-band model. In usual ferromagnetic insulators, the exchange potential is much larger than the bulk gap size in the topological insulators and electronic structures are asymmetric with respect to the fermi level. In such situation, we show that unusual metallic states appear under the magnetic moment pointing the perpendicular direction to the junction plane, which cannot be described by the two-dimensional effective model around the Dirac point. When the magnetic moment is in the parallel direction to the plane, the number of Dirac cones becomes even integers. The conclusions obtained in analytical calculations are confirmed by numerical simulations on tight-binding lattice.


title: Assessing Researcher Interdisciplinarity: A Case Study of the University of Hawaii NASA Astrobiology Institute

abstract: In this study, we combine bibliometric techniques with a machine learning algorithm, the sequential Information Bottleneck, to assess the interdisciplinarity of research produced by the University of Hawaii NASA Astrobiology Institute (UHNAI). In particular, we cluster abstract data to evaluate Thomson Reuters Web of Knowledge subject categories as descriptive labels for astrobiology documents, assess individual researcher interdisciplinarity, and determine where collaboration opportunities might occur. We find that the majority of the UHNAI team is engaged in interdisciplinary research, and suggest that our method could be applied to additional NASA Astrobiology Institute teams in particular, or other interdisciplinary research teams more broadly, to identify and facilitate collaboration opportunities.


title: Segmentor3IsBack: an R package for the fast and exact segmentation of Seq-data

abstract: Genome annotation is an important issue in biology which has long been addressed with gene prediction methods and manual experiments requiring biological expertise. The expanding Next Generation Sequencing technologies and their enhanced precision allow a new approach to the domain: the segmentation of RNA-Seq data to determine gene boundaries. Because of its almost linear complexity, we propose to use the Pruned Dynamic Programming Algorithm, which performances had been acknowledged for CGH arrays, for Seq-experiment outputs. This requires the adaptation of the algorithm to the negative binomial distribution with which we model the data. We show that if the dispersion in the signal is known, the PDP algorithm can be used and we provide an estimator for this dispersion. We then propose to estimate the number of segments, which can be associated to coding or non-coding regions of the genome, using an oracle penalty. We illustrate the results of our approach on a real data-set and show its good performance. Our algorithm is available as an R package on the CRAN repository.


title: Toric rings arising from cyclic polytopes

abstract: In the present paper, we consider the problem when the toric ring arising from an integral cyclic polytope is Cohen-Macaulay by discussing Serre's condition and we give a complete characterization when that is Gorenstein. Moreover, we study the normality of the other semigroup ring arising from an integral cyclic polytope but generated only with its vertices.


title: Deformation Expression for Elements of Algebras (VI) --Vacuum representation of Heisenberg algebra--

abstract: The Weyl algebra (W_{2m}[h]; *) is the algebra generated by u=(u_1,...,u_m,v_1,.....,v_m) over C with the fundamental commutation relation [u_i,v_j]=-ih\delta_{ij}, where h is a positive constant. The Heisenberg algebra (\Cal H_{2m}[nu];*) is the algebra given by regarding the scalar parameter h in the Weyl algebra W_{2m}[h] to be a generator nu which commutes with all others.


title: Non-congruence of liquid-gas phase transition of asymmetric nuclear matter

abstract: We first explore the liquid-gas mixed phase in a bulk calculation, where two phases coexist without the geometrical structures. In the case of symmetric nuclear matter, the system behaves congruently, and the Maxwell construction becomes relevant. For asymmetric nuclear matter, on the other hand, the phase equilibrium is no more attained by the Maxwell construction since the liquid and gas phases are non-congruent; the particle fractions become completely different with each other. One of the origins of such non-congruence is attributed to the large symmetry energy. Subsequently we explore the charge-neutral nuclear matter with electrons by fully applying the Gibbs conditions to figure out the geometrical (pasta) structures in the liquid-gas mixed phase. We emphasize the effects of the surface tension and the Coulomb interaction on the pasta structures. We also discuss the thermal effects on the pasta structures.


title: Quantum Hall Mach-Zehnder interferometer at fractional filling factors

abstract: We use a Mach-Zehnder quantum Hall interferometer of a novel design to investigate the interference effects at fractional filling factors. Our device brings together the advantages of usual Mach-Zehnder and Fabry-Perot quantum Hall interferometers. It realizes the simplest-for-analysis Mach-Zehnder interference scheme, free from Coulomb blockade effects. By contrast to the standard Mach-Zehnder realization, our device does not contain an etched region inside the interference loop. For the first time for Mach-Zehnder interference scheme, the device demonstrates interference oscillations with $\Phi^*=e/e^*\Phi_0=\Phi_0/\nu$ periodicity at fractional filling factor 1/3. This result indicates that we observe clear evidence for fractionally charged quasiparticles from simple Aharonov-Bohm interference.


title: Radio signatures of CME-streamer interaction and source diagnostics of type II radio burst

abstract: It has been suggested that type II radio bursts are due to energetic electrons accelerated at coronal shocks. Radio observations, however, have poor or no spatial resolutions to pinpoint the exact acceleration locations of these electrons. In this paper, we discuss a promising approach to infer the electron acceleration location by combining radio and white light observations. The key assumption is to relate specific morphological features (e.g. spectral bumps) of the dynamic spectra of type II radio bursts, to imaging features (e.g. CME going into a streamer) along the CME (and its driven shock) propagation. In this study, we examine the CME-streamer interaction for the solar eruption dated on 2003 November 1. The presence of spectral bump in the relevant type II radio burst is identified, which is interpreted as a natural result of the shock-radio emitting region entering the dense streamer structure. The study is useful for further determinations of the location of type II radio burst and the associated electron acceleration by CME-driven shock.


title: How long does it take to form a molecular cloud?

abstract: We present the first numerical simulations that self-consistently follow the formation of dense molecular clouds in colliding flows. Our calculations include a time-dependent model for the H2 and CO chemistry that runs alongside a detailed treatment of the dominant heating and cooling processes in the ISM. We adopt initial conditions characteristic of the warm neutral medium and study two different flow velocities - a slow flow with v = 6.8 km/s and a fast flow with v = 13.6 km/s. The clouds formed by the collision of these flows form stars, with star formation beginning after 16 Myr in the case of the slower flow, but after only 4.4 Myr in the case of the faster flow. In both flows, the formation of CO-dominated regions occurs only around 2 Myr before the onset of star formation. Prior to this, the clouds produce very little emission in the J = 1 -> 0 transition line of CO, and would probably not be identified as molecular clouds in observational surveys. In contrast, our models show that H2-dominated regions can form much earlier, with the timing depending on the details of the flow. In the case of the slow flow, small pockets of gas become fully molecular around 10 Myr before star formation begins, while in the fast flow, the first H2-dominated regions occur around 3 Myr before the first prestellar cores form. Our results are consistent with models of molecular cloud formation in which the clouds are dominated by "dark" molecular gas for a considerable proportion of their assembly history.


title: Modified Chaplygin Gas as a Unified Dark Matter and Dark Energy Model and Cosmic Constraints

abstract: A modified Chaplygin gas model (MCG), $\rho_{MCG}/\rho_{MCG0}=[B_{s}+(1-B_{s})a^{-3(1+B)(1+\alpha)}]^{1/(1+\alpha)}$, as a unified dark matter model and dark energy model is constrained by using current available cosmic observational data points which include type Ia supernovae, baryon acoustic oscillation and the seventh year full WMAP data points. As a contrast to the consideration in the literatures, we {\it do not} separate the MCG into two components, i.e. dark mater and dark energy component, but we take it as a whole energy component-a unified dark sector. By using Markov Chain Monte Carlo method, a tight constraint is obtained: $\alpha= 0.000727_{- 0.00140- 0.00234}^{+ 0.00142+ 0.00391}$, $B=0.000777_{- 0.000302- 0.000697}^{+ 0.000201+ 0.000915}$ and $B_s= 0.782_{- 0.0162- 0.0329}^{+ 0.0163+ 0.0307}$ .}


title: Energy dependence of the dijet imbalance in Pb-Pb collisions at 2.76 ATeV

abstract: The appearance of monojets is among the most striking signature of jet quenching in the context of ultrarelativistic heavy-ion collisions at the Large Hadron Collider. Experimentally, the asymmetry of back-to-back jets is quantified in terms of the dijet imbalance distribution by the ATLAS and CMS collaborations. Recently, the CMS collaboration has also studied the trigger jet momentum (P_T) dependence of the imbalance in the range between 120 and 500 GeV which is found to decrease with jet P_T. In this work, results from the in-medium shower code YaJEM are compared with this data set. These results suggest that the main effects observed in the data are the kinematical collimation of jets and the increase in the probability to produce more collimated quark jets with jet P_T, whereas there is no indication for any non-trivial energy dependence of the shower-medium interaction mechanism itself. The data furthermore can rule out models in which the jet shape is collimated due to the medium modification.


title: A Second-order bias model for the Logarithmic Halo Mass Density

abstract: We present an analytic model for the local bias of dark matter halos in a LCDM universe. The model uses the halo mass density instead of the halo number density and is searched for various halo mass cuts, smoothing lengths, and redshift epoches. We find that, when the logarithmic density is used, the second-order polynomial can fit the numerical relation between the halo mass distribution and the underlying matter distribution extremely well. In this model the logarithm of the dark matter density is expanded in terms of log halo mass density to the second order. The model remains excellent for all halo mass cuts (from M_{cut}=3\times10^{11}$ to $3\times10^{12}h^{-1}M_{\odot}$), smoothing scales (from $R=5h^{-1}$Mpc to $50h^{-1}$Mpc), and redshift ranges (from z=0 to 1.0) considered in this study. The stochastic term in the relation is found not entirely random, but a part of the term can be determined by the magnitude of the shear tensor.


title: Sticky steps inhibit step motions near equilibrium

abstract: Using a Monte Carlo method on a lattice model of a vicinal surface with short-range step-step attraction, we show that, at low temperature and near equilibrium, there is an inhibition of the motion of macro-steps. This inhibition leads to a pinning of steps without defects, adsorbates, or impurities (self-pinning of steps). We show that this inhibition of the macro-step motion is caused by faceted steps, which are macro-steps that have a smooth side surface. The faceted steps result from discontinuities in the anisotropic surface tension (the surface free energy per area). The discontinuities are brought into the surface tension by the short-range step-step attraction. The short-range step-step attraction also originates `step-droplets', which are locally merged steps, at higher temperatures. We derive an analytic equation of the surface stiffness tensor for the vicinal surface around the (001) surface. Using the surface stiffness tensor, we show that step-droplets roughen the vicinal surface. Contrary to what we expected, the step-droplets slow down the step velocity due to the diminishment of kinks in the merged steps (smoothing of the merged steps).


title: Long-term Variation of the Corona in Quiet Regions

abstract: Using Hinode EUV Imaging Spectrometer (EIS) spectra recorded daily at Sun center from the end of 2006 to early 2011, we studied the long-term evolution of the quiet corona. The light curves of the higher temperature emission lines exhibit larger variations in sync with the solar activity cycle while the cooler lines show reduced modulation. Our study shows that the high temperature component of the corona changes in quiet regions, even though the coronal electron density remains almost constant there. The results suggest that heat input to the quiet corona varies with the solar activity cycle.


title: Efficient programs of NPC problems should be length upper-bounded, and a thought experiment to search for them by machine enumeration

abstract: This paper proposes a thought experiment to search for efficient bounded algorithms of NPC problems by machine enumeration. The key contributions are: -- On Universal Turing Machines, a program's time complexity should be characterized as: execution time(n) = loading time(n) + running time(n). -- Introduces the concept of bounded algorithms; proposes a comparison based criterion to decide if a bounded algorithm is inefficient; and establishes the length upper bound of efficient bounded programs. -- Introduces the growth rate characteristic function to evaluate program complexity, which is more easily machine checkable based on observations. -- Raises the theoretical question: if there exists any bounded algorithm with polynomial execution time for NPC problems.


title: Automated derivation of the adjoint of high-level transient finite element programs

abstract: In this paper we demonstrate a new technique for deriving discrete adjoint and tangent linear models of finite element models. The technique is significantly more efficient and automatic than standard algorithmic differentiation techniques. The approach relies on a high-level symbolic representation of the forward problem. In contrast to developing a model directly in Fortran or C++, high-level systems allow the developer to express the variational problems to be solved in near-mathematical notation. As such, these systems have a key advantage: since the mathematical structure of the problem is preserved, they are more amenable to automated analysis and manipulation. The framework introduced here is implemented in a freely available software package named dolfin-adjoint, based on the FEniCS Project. Our approach to automated adjoint derivation relies on run-time annotation of the temporal structure of the model, and employs the FEniCS finite element form compiler to automatically generate the low-level code for the derived models. The approach requires only trivial changes to a large class of forward models, including complicated time-dependent nonlinear models. The adjoint model automatically employs optimal checkpointing schemes to mitigate storage requirements for nonlinear models, without any user management or intervention. Furthermore, both the tangent linear and adjoint models naturally work in parallel, without any need to differentiate through calls to MPI or to parse OpenMP directives. The generality, applicability and efficiency of the approach are demonstrated with examples from a wide range of scientific applications.


title: On the apsidal-motion of thirteen eclipsing binaries

abstract: Main aim of this paper is the first light curve and apsidal motion analysis of thirteen eccentric eclipsing binaries and to reveal their basic physical properties. All of the systems were studied by method of period analysis of times of minima and the light curve analysis. Many new times of minima for all of the systems were derived and collected from the data obtained by the automatic, robotic or satellite telescopes. This allow us to study the apsidal motion in these systems in detail for the first time. From the light curve analysis the first rough estimations of the physical properties of these systems were done. The analyzed systems undergo an apsidal motion with the following periods in years: AR CMa (44 +/- 10), OZ Hya (117 +/- 53), V498 Mon (62 +/- 4), V521 Mon (217 +/- 37), V684 Mon (74.5 +/- 20), V730 Mon (39 +/- 12), GV Nor (197 +/- 67), NS Nor (516 +/- 230), TZ Pyx (157 +/- 37), V385 Sco (1926 +/- 980), V629 Sco (56 +/- 17), V881 Sco (131 +/- 48), V1082 Sco (186 +/- 280). Also 190 new minima times were derived and included. The period and light curve analyses were done, however a more detailed spectroscopic analysis is needed to confirm the physical parameters of the components with higher conclusiveness.


title: Laser Control of Dissipative Two-Exciton Dynamics in Molecular Aggregates

abstract: There are two types of two-photon transitions in molecular aggregates, that is, non-local excitations of two monomers and local double excitations to some higher excited intra-monomer electronic state. As a consequence of the inter-monomer Coulomb interaction these different excitation states are coupled to each other. Higher excited intra-monomer states are rather short-lived due to efficient internal conversion of electronic into vibrational energy. Combining both processes leads to the annihilation of an electronic excitation state, which is a major loss channel for establishing high excitation densities in molecular aggregates. Applying theoretical pulse optimization techniques to a Frenkel exciton model it is shown that the dynamics of two-exciton states in linear aggregates (dimer to tetramer) can be influenced by ultrafast shaped laser pulses. In particular, it is studied to what extent the decay of the two-exciton population by inter-band transitions can be transiently suppressed. Intra-band dynamics is described by a dissipative hierarchy equation approach, which takes into account strong exciton-vibrational coupling in the non-Markovian regime.


title: Cusp Points in the Parameter Space of Degenerate 3-RPR Planar Parallel Manipulators

abstract: This paper investigates the conditions in the design parameter space for the existence and distribution of the cusp locus for planar parallel manipulators. Cusp points make possible non-singular assembly-mode changing motion, which increases the maximum singularity-free workspace. An accurate algorithm for the determination is proposed amending some imprecisions done by previous existing algorithms. This is combined with methods of Cylindric Algebraic Decomposition, Gr\"obner bases and Discriminant Varieties in order to partition the parameter space into cells with constant number of cusp points. These algorithms will allow us to classify a family of degenerate 3-RPR manipulators.


title: Statistical inference for max-stable processes in space and time

abstract: Max-stable processes have proved to be useful for the statistical modelling of spatial extremes. Several representations of max-stable random fields have been proposed in the literature. One such representation is based on a limit of normalized and scaled pointwise maxima of stationary Gaussian processes that was first introduced by Kabluchko, Schlather and de Haan (2009). This paper deals with statistical inference for max-stable space-time processes that are defined in an analogous fashion. We describe pairwise likelihood estimation, where the pairwise density of the process is used to estimate the model parameters and prove strong consistency and asymptotic normality of the parameter estimates for an increasing space-time dimension, i.e., as the joint number of spatial locations and time points tends to infinity. A simulation study shows that the proposed method works well for these models.


title: Predicatively computable functions on sets

abstract: Inspired from a joint work by A. Beckmann, S. Buss and S. Friedman, we propose a class of set-theoretic functions, predicatively computable functions. Each function in this class is polynomial time computable when we restrict to finite binary strings.


title: Integrating central extensions of Lie algebras via Lie 2-groups

abstract: The purpose of this paper is to show how central extensions of (possibly infinite-dimensional) Lie algebras integrate to central extensions of \'etale Lie 2-groups. In finite dimensions, central extensions of Lie algebras integrate to central extensions of Lie groups, a fact which is due to the vanishing of \pi_2 for each finite-dimensional Lie group. This fact was used by Cartan (in a slightly other guise) to construct the simply connected Lie group associated to each finite-dimensional Lie algebra. In infinite dimensions, there is an obstruction for a central extension of Lie algebras to integrate to a central extension of Lie groups. This obstruction comes from non-trivial \pi_2 for general Lie groups. We show that this obstruction may be overcome by integrating central extensions of Lie algebras not to Lie groups but to central extensions of \'etale Lie 2-groups. As an application, we obtain a generalization of Lie's Third Theorem to infinite-dimensional Lie algebras.


title: Physics of Large Deviation

abstract: A large deviation function mathematically characterizes the statistical property of atypical events. Recently, in non-equilibrium statistical mechanics, large deviation functions have been used to describe universal laws such as the fluctuation theorem. Despite such significance, large deviation functions have not been easily obtained in laboratory experiments. Thus, in order to understand the physical significance of large deviation functions, it is necessary to consider their experimental measurability in greater detail. This aspect of large deviation is discussed with the presentation of a future problem.


title: The dynamics of the DNA denaturation transition

abstract: The dynamics of the DNA denaturation is studied using the Peyrard-Bishop-Dauxois model. The denaturation rate of double stranded polymers decreases exponentially as function of length below the denaturation temperature. Above Tc, the rate shows a minimum, but then increases as function of length. We also examine the influence of sequence and solvent friction. Molecules having the same number of weak and strong base-pairs can have significantly different opening rates depending on the order of base-pairs.


title: Dual Meissner effect and non-Abelian dual superconductivity in SU(3) Yang-Mills theory

abstract: The dual Meissner effect is the promising mechanism for quark confinement. We have proposed a new formulation of SU(N) Yang-Mills (YM) theory on a lattice, which can extract the dominant mode for quark confinement in the gauge independent manner. In the last lattice conference, we have demonstrated by measuring the string tension from the Wilson loop average in the SU(3) YM theory that the restricted non-Abelian variable and the extracted non-Abelian magnetic monopoles play the dominant role in confinement of fundamental quarks (dominance in the string tension), in marked contrast to the Abelian projection. In this talk, we focus on the dual Meissner effect in SU(3) YM theory, which is examined by measuring the distribution of chromo-electric field strength created by a static quark-antiquark pair. We apply the new lattice formulation, and examine whether or not the non-Abelian dual superconductivity claimed by us is indeed a mechanism of quark confinement. We present a preliminary result of the direct evidence for the non-abelian dual Meissner effect, that is to say, restricted U(2)-field part of the flux tube plays the dominant role in the quark-antiquark potential.


title: The CoRoT B-type binary HD50230: a prototypical hybrid pulsator with g-mode period and p-mode frequency spacings

abstract: B-type stars are promising targets for asteroseismic modelling, since their frequency spectrum is relatively simple. We deduce and summarise observational constraints for the hybrid pulsator, HD50230, earlier reported to have deviations from a uniform period spacing of its gravity modes. The combination of spectra and a high-quality light curve measured by the CoRoT satellite allow a combined approach to fix the position of HD50230 in the HR diagram. To describe the observed pulsations, classical Fourier analysis was combined with short-time Fourier transformations and frequency spacing analysis techniques. Visual spectra were used to constrain the projected rotation rate of the star and the fundamental parameters of the target. In a first approximation, the combined information was used to interpret multiplets and spacings to infer the true surface rotation rate and a rough estimate of the inclination angle. We identify HD50230 as a spectroscopic binary and characterise the two components. We detect the simultaneous presence of high-order g modes and low-order p and g-modes in the CoRoT light curve, but were unable to link them to line profile variations in the spectroscopic time series. We extract the relevant information from the frequency spectrum, which can be used for seismic modelling, and explore possible interpretations of the pressure mode spectrum.