title: Accurate Localization in Dense Urban Area Using Google Street View Image

abstract: Accurate information about the location and orientation of a camera in mobile devices is central to the utilization of location-based services (LBS). Most of such mobile devices rely on GPS data but this data is subject to inaccuracy due to imperfections in the quality of the signal provided by satellites. This shortcoming has spurred the research into improving the accuracy of localization. Since mobile devices have camera, a major thrust of this research has been seeks to acquire the local scene and apply image retrieval techniques by querying a GPS-tagged image database to find the best match for the acquired scene.. The techniques are however computationally demanding and unsuitable for real-time applications such as assistive technology for navigation by the blind and visually impaired which motivated out work. To overcome the high complexity of those techniques, we investigated the use of inertial sensors as an aid in image-retrieval-based approach. Armed with information of media other than images, such as data from the GPS module along with orientation sensors such as accelerometer and gyro, we sought to limit the size of the image set to c search for the best match. Specifically, data from the orientation sensors along with Dilution of precision (DOP) from GPS are used to find the angle of view and estimation of position. We present analysis of the reduction in the image set size for the search as well as simulations to demonstrate the effectiveness in a fast implementation with 98% Estimated Position Error.


title: Synchronization of Networked Jahn-Teller Systems in Circuit QED

abstract: We consider the nonlinear effects in Jahn-Teller system of two coupled resonators interacting simultaneously with flux qubit using Circuit QED. Two frequency description of Jahn Teller system that inherits the networked structure of both nonlinear Josephson Junctions and harmonic oscillators is employed to describe the synchronous structures in multifrequency scheme. Emergence of dominating mode is investigated to analyze frequency locking by eigenvalue spectrum. Rabi Supersplitting is tuned for coupled and uncoupled synchronous configurations in terms of frequency entrainment switched by coupling strength between resonators. Second order coherence functions are employed to investigate self-sustained oscillations in resonator mode and qubit dephasing. Snychronous structure between correlations of priviledged mode and qubit is obtained in localization-delocalization and photon blockade regime controlled by the population imbalance.


title: A Proof of the Conjecture by Carpentier-De Sole-Kac

abstract: We prove the following conjecture by S. Carpentier, A. De Sole, and V. G. Kac: Let K be a differential field and R be a differential subring of K. Let M be a matrix whose elements are differential operators with coefficents in R. Then, if M has degeneracy degree 1, the Dieudonne' determinant of M lies in R.


title: An Introduction to Hodge Structures

abstract: We begin by introducing the concept of a Hodge structure and give some of its basic properties, including the Hodge and Lefschetz decompositions. We then define the period map, which relates families of Kahler manifolds to the families of Hodge structures defined on their cohomology, and discuss its properties. This will lead us to the more general definition of a variation of Hodge structure and the Gauss-Manin connection. We then review the basics about mixed Hodge structures with a view towards degenerations of Hodge structures; including the canonical extension of a vector bundle with connection, Schmid's limiting mixed Hodge structure and Steenbrink's work in the geometric setting. Finally, we give an outlook about Hodge theory in the Gross-Siebert program.


title: Implementation of a Hierarchical fuzzy controller for a biped robot

abstract: In this paper the design of a control system for a biped robot is described. Control is specified for a walk cycle of the robot. The implementation of the control system was done on Matlab Simulink. In this paper a hierarchical fuzzy logic controller (HFLC) is proposed to control a planar biped walk. The HFLC design is bio-inspired from human locomotion system. The proposed method is applied to control five links planar biped into free area and without obstacles.


title: Formation Games of Reliable Networks

abstract: We establish a network formation game for the Internet's Autonomous System (AS) interconnection topology. The game includes different types of players, accounting for the heterogeneity of ASs in the Internet. We incorporate reliability considerations in the player's utility function, and analyze static properties of the game as well as its dynamic evolution. We provide dynamic analysis of its topological quantities, and explain the prevalence of some "network motifs" in the Internet graph. We assess our predictions with real-world data.


title: Pasta Nucleosynthesis: Molecular dynamics simulations of nuclear statistical equilibrium

abstract: Background: Exotic non-spherical nuclear pasta shapes are expected in nuclear matter at just below saturation density because of competition between short range nuclear attraction and long range Coulomb repulsion. Purpose: We explore the impact of nuclear pasta on nucleosynthesis, during neutron star mergers, as cold dense nuclear matter is ejected and decompressed. Methods: We perform classical molecular dynamics simulations with 51200 and 409600 nucleons, that are run on GPUs. We expand our simulation region to decompress systems from an initial density of 0.080 fm^{-3} down to 0.00125 fm^{-3}. We study proton fractions of Y_P=0.05, 0.10, 0.20, 0.30, and 0.40 at T =0.5, 0.75, and 1.0 MeV. We calculate the composition of the resulting systems using a cluster algorithm. Results: We find final compositions that are in good agreement with nuclear statistical equilibrium models for temperatures of 0.75 and 1 MeV. However, for proton fractions greater than Y_P=0.2 at a temperature of T = 0.5 MeV, the MD simulations produce non-equilibrium results with large rod-like nuclei. Conclusions: Our MD model is valid at higher densities than simple nuclear statistical equilibrium models and may help determine the initial temperatures and proton fractions of matter ejected in mergers.


title: Prospects of New Physics searches using High Lumi - LHC

abstract: After the observation of a Higgs boson near 125 GeV, the high energy physics community is investigating possible next steps for entering into a new era in particle physics. It is planned that the Large Hadron Collider will deliver an integrated luminosity of up to 3000/fb for the CMS and ATLAS experiments, requiring several upgrades for all detectors. The reach of various representative searches for supersymmetry and exotica physics with the upgraded detectors are discussed in this context, where a very high instantaneous luminosity will lead to a large number of pileup events in each bunch crossing. This note presents example benchmark studies for new physics prospects with the upgraded ATLAS and CMS detectors at a centre-of-mass energy of 14 TeV. Results are shown for an integrated luminosity of 300/fb and 3000/fb.


title: Probing the topological properties of complex networks modeling short written texts

abstract: In recent years, graph theory has been widely employed to probe several language properties. More specifically, the so-called word adjacency model has been proven useful for tackling several practical problems, especially those relying on textual stylistic analysis. The most common approach to treat texts as networks has simply considered either large pieces of texts or entire books. This approach has certainly worked well -- many informative discoveries have been made this way -- but it raises an uncomfortable question: could there be important topological patterns in small pieces of texts? To address this problem, the topological properties of subtexts sampled from entire books was probed. Statistical analyzes performed on a dataset comprising 50 novels revealed that most of the traditional topological measurements are stable for short subtexts. When the performance of the authorship recognition task was analyzed, it was found that a proper sampling yields a discriminability similar to the one found with full texts. Surprisingly, the support vector machine classification based on the characterization of short texts outperformed the one performed with entire books. These findings suggest that a local topological analysis of large documents might improve its global characterization. Most importantly, it was verified, as a proof of principle, that short texts can be analyzed with the methods and concepts of complex networks. As a consequence, the techniques described here can be extended in a straightforward fashion to analyze texts as time-varying complex networks.


title: Unphysical diagonal modular invariants

abstract: A modular invariant for a chiral conformal field theory is physical if there is a full conformal field theory with the given chiral halves realising the modular invariant. The easiest modular invariants are the charge conjugation and the diagonal modular invariants. While the charge conjugation modular invariant is always physical there are examples of chiral CFTs for which the diagonal modular invariant is not physical. Here we give (in group theoretical terms) a necessary and sufficient condition for diagonal modular invariants of $G$-orbifolds of holomorphic conformal field theories to be physical. Mathematically a physical modular invariant is an invariant of a Lagrangian algebra in the product of (chiral) modular categories. The chiral modular category of a $G$-orbifold of a holomorphic conformal field theory is the so-called (twisted) Drinfeld centre ${\cal Z}(G,\alpha)$ of the finite group $G$. We show that the diagonal modular invariant for ${\cal Z}(G)$ is physical if and only if the group $G$ has a {\em double class inverting} automorphism, that is an automorphism $\phi:G\to G$ with the property that for any commuting $x,y\in G$ there is $g\in G$ such that $\phi(x) = gx^{-1}g^{-1},\ \phi(y) = gy^{-1}g^{-1}.$ Groups without double class inverting automorphisms are abundant and provide examples of chiral conformal field theories for which the diagonal modular invariant is unphysical.


title: Statistical properties of states in QED with unstable vacuum

abstract: We study statistical properties of states of massive quantized charged Dirac and Klein-Gordon fields interacting with a background that violates the vacuum stability, first in general terms and then for a special electromagnetic background. As a starting point, we use a nonperturbative expression for the density operators of such fields derived by Gavrilov et al [S.P. Gavrilov, D.M. Gitman, and J.L. Tomazelli, Nucl. Phys. B 795, 645 (2008)]. We construct the reduced density operators for electron and positron subsystems and discuss a decoherence that may occur in the course of the evolution due to an intermediate measurement. By calculating the entropy we study the loss of the information in QED states due to partial reductions and a possible decoherence. Next, we consider the so-called T-constant external electric field as an external background. This exactly solvable example allows us to calculate explicitly all statistical properties of various quantum states of the massive charged fields under consideration.


title: OPE convergence in non-relativistic conformal field theories

abstract: Motivated by applications to the study of ultracold atomic gases near the unitarity limit, we investigate the structure of the operator product expansion (OPE) in non-relativistic conformal field theories (NRCFTs). The main tool used in our analysis is the representation theory of charged (i.e. non-zero particle number) operators in the NRCFT, in particular the mapping between operators and states in a non-relativistic "radial quantization" Hilbert space. Our results include: a determination of the OPE coefficients of descendant operators in terms of those of the underlying primary state, a demonstration of convergence of the (imaginary time) OPE in certain kinematic limits, and an estimate of the decay rate of the OPE tail inside matrix elements which, as in relativistic CFTs, depends exponentially on operator dimensions. To illustrate our results we consider several examples, including a strongly interacting field theory of bosons tuned to the unitarity limit, as well as a class of holographic models. Given the similarity with known statements about the OPE in SO(2,d) invariant field theories, our results suggest the existence of a bootstrap approach to constraining NRCFTs, with applications to bound state spectra and interactions. We briefly comment on a possible implementation of this non-relativistic conformal bootstrap program.


title: $1/k$-homogeneous long solenoids

abstract: We study nonmetric analogues of Vietoris solenoids. Let $\Lambda$ be an ordered continuum, and let $\vec{p}=\langle p_1,p_2,\dots\rangle$ be a sequence of positive integers. We define a natural inverse limit space $S(\Lambda,\vec{p})$, where the first factor space is the nonmetric "circle" obtained by identifying the endpoints of $\Lambda$, and the $n$th factor space, $n>1$, consists of $p_1p_2\cdot\dots \cdot p_{n-1}$ copies of $\Lambda$ laid end to end in a circle. We prove that for every cardinal $\kappa\geq 1$, there is an ordered continuum $\Lambda$ such that $S(\Lambda,\vec{p})$ is $\frac{1}{\kappa}$-homogeneous; for $\kappa>1$, $\Lambda$ is built from copies of the long line. Our example with $\kappa=2$ provides a nonmetric answer to a question of Neumann-Lara, Pellicer-Covarrubias and Puga-Espinosa from 2005, and with $\kappa=1$ provides an example of a nonmetric homogeneous circle-like indecomposable continuum. Finally, we employ a cohomology argument to prove that for each ordered continuum $\Lambda$, as $\vec{p}$ varies there are $2^\omega$-many nonhomeomorphic spaces $S(\Lambda,\vec{p})$.


title: Intrinsic surface dipole in topological insulators

abstract: We calculate the local density of states of two prototypical topological insulators (Bi$_2$Se$_3$ and Bi$_2$Te$_2$Se) as a function of distance from the surface within density functional theory. We find that, in the absence of disorder or doping, there is a 2 nm thick surface dipole the origin of which is the occupation of the topological surface states above the Dirac point. As a consequence, the bottom of the conduction band is bent upward by about 75 meV near the surface, and there is a hump-like feature associated with the top of the valence band. We expect that band bending will occur in all pristine topological insulators as long as the Fermi level does not cross the Dirac point. Our results show that topological insulators are intrinsic Schottky barrier solar cells.


title: Recurrent Novae in M31

abstract: The reported positions of 964 suspected nova eruptions in M31 recorded through the end of calendar year 2013 have been compared in order to identify recurrent nova candidates. To pass the initial screen and qualify as a recurrent nova candidate two or more eruptions were required to be coincident within 0.1', although this criterion was relaxed to 0.15' for novae discovered on early photographic patrols. A total of 118 eruptions from 51 potential recurrent nova systems satisfied the screening criterion. To determine what fraction of these novae are indeed recurrent the original plates and published images of the relevant eruptions have been carefully compared. This procedure has resulted in the elimination of 27 of the 51 progenitor candidates (61 eruptions) from further consideration as recurrent novae, with another 8 systems (17 eruptions) deemed unlikely to be recurrent. Of the remaining 16 systems, 12 candidates (32 eruptions) were judged to be recurrent novae, with an additional 4 systems (8 eruptions) being possibly recurrent. It is estimated that ~4% of the nova eruptions seen in M31 over the past century are associated with recurrent novae. A Monte Carlo analysis shows that the discovery efficiency for recurrent novae may be as low as 10% that for novae in general, suggesting that as many as one in three nova eruptions observed in M31 arise from progenitor systems having recurrence times <~100 yr. For plausible system parameters, it appears unlikely that recurrent novae can provide a significant channel for the production of Type Ia supernovae.


title: Pulsational Mass Ejection in Be Star Disks

abstract: This work explores a Pulsationally Driven Orbital Mass Ejection (PDOME) model for the launching of Classical Be star disks. Under this model, a combination of rapid rotation and non-radial pulsation modes contribute to placing material into the circumstellar environment. Several varieties of non-radial pulsation modes, characterized by their propagation direction and the relative phase of their velocity and density perturbations, are considered. As well, the orbital stability of material launched by such a mechanism is investigated.


title: Probing barrier transmission in ballistic graphene

abstract: We derive the local density of states from itinerant and boundary states around transport barriers and edges in graphene and show that the itinerant states lead to mesoscale undulations that could be used to probe their scattering properties in equilibrium without the need for lateral transport measurements. This finding will facilitate vetting of extended structural defects such as grain boundaries or line defects as transport barriers for switchable graphene resonant tunneling transistors. We also show that barriers could exhibit double minima and that the charge density away from highly reflective barriers and edges scales as $x^{-2}$.


title: Pump-Controlled Modal Interactions in Microdisk Lasers

abstract: We demonstrate an effective control of nonlinear interactions of lasing modes in a semiconductor microdisk cavity by shaping the pump profile. A target mode is selected at the expense of its competing modes either by increasing their lasing thresholds or suppressing their power slopes above the lasing threshold. Despite of strong spatial overlap of the lasing modes at the disk boundary, adaptive pumping enables an efficient selection of any lasing mode to be the dominant one, leading to a switch of lasing frequency. The theoretical analysis illustrates both linear and nonlinear effects of selective pumping, and quantify their contributions to lasing mode selection. This work shows that adaptive pumping not only provides a powerful tool of controlling the nonlinear process in multimode lasers, but also enables the tuning of lasing characteristic after the lasers have been fabricated.


title: General Properties on Applying the Principle of Minimum Sensitivity to High-order Perturbative QCD Predictions

abstract: As one of the key components of perturbative QCD theory, it is helpful to find a systematic and reliable way to set the renormalization scale for a high-energy process. The conventional treatment is to take a typical momentum as the renormalization scale, which assigns an arbitrary range and an arbitrary systematic error to pQCD predictions, leading to the well-known renormalization scheme and scale ambiguities. As a practical solution for such scale setting problem, the "Principle of Minimum Sensitivity" (PMS), has been proposed in the literature. The PMS suggests to determine an optimal scale for the pQCD approximant of an observable by requiring its slope over the scheme and scale changes to vanish. In the paper, we present a detailed discussion on general properties of PMS by utilizing three quantities $R_{e^+e^-}$, $R_\tau$ and $\Gamma(H\rightarrow b\bar{b})$ up to four-loop QCD corrections. After applying the PMS, the accuracy of pQCD prediction, the pQCD convergence, the pQCD predictive power and etc., have been discussed. Furthermore, we compare PMS with another fundamental scale setting approach, i.e. the Principle of Maximum Conformality (PMC)... Our results show that PMS does provide a practical way to set the effective scale for high-energy process, and the PMS prediction agrees with the PMC one by including enough high-order QCD corrections, both of which shall be more accurate than the prediction under the conventional scale setting. However, the PMS pQCD convergence is an accidental, which usually fails to achieve a correct prediction of unknown high-order contributions with next-to-leading order QCD correction only, i.e. it is always far from the "true" values predicted by including more high-order contributions.


title: The Old, Super-Metal-Rich Open Cluster, NGC 6791 - Elemental Abundances in Turn-off Stars from Keck/HIRES Spectra

abstract: The study of star clusters has advanced our understanding of stellar evolution, Galactic chemical evolution and nucleosynthesis. Here we investigate the composition of turn-off stars in the intriguing open cluster, NGC 6791, which is old, but super-metal-rich with high-resolution (46,000) Keck/HIRES spectra. We find [Fe/H] = +0.30 +/-0.02 from measurements of some 40 unblended, unsaturated lines of both Fe I and Fe II in eight turn-off stars. Our O abundances come from the O I triplet near 7774 A and we do a differential analysis relative to the Sun from our Lunar spectrum also obtained with Keck/HIRES. The O results are corrected for small nLTE effects. We find consistent ratios of [O/Fe]n with a mean of $-$0.06 +/-0.02. This continues the trend of decreasing [O/Fe] with increasing [Fe/H] found in field stars that are also both old and metal-rich. The small range in our oxygen abundances is consistent with a single population of stars. Our results for the alpha elements [Mg/Fe], [Si/Fe], [Ca/Fe], and [Ti/Fe] are near solar and compare well with those of the old, metal-rich field stars. The two Fe-peak elements, Cr and Ni, are consistent with Fe. These turn-off-star abundances provide benchmark abundances to investigate changes in the giants that might arise from nuclear-burning and dredge-up processes. Determinations of upper limits were found for Li by spectrum synthesis and these results support the prediction from standard theory that higher-metallicity stars deplete more Li. Probably no stars in NGC 6791 have retained their initial Li.


title: Existence and stability of global large strong solutions for the Hall-MHD system

abstract: We consider the 3D incompressible Hall-MHD system and prove a stability theorem for global large solutions under a suitable integrable hypothesis in which one of the parcels is linked to the Hall term. As a byproduct, a class of global strong solutions is obtained with large velocities and small initial magnetic fields. Moreover, we prove the local-in-time well-posedness of $H^{2}$-strong solutions which improves previous regularity conditions on initial data.


title: Spatiotemporal flux memory in nondiffusive transport

abstract: Anomalous diffusion constitutes a relation between tracer flux and tracer density gradient that is inherently nonlocal in space and/or time. Previous studies emphasize the non-Gaussian character of the tracer distribution that arises from adjusted constitutive relations but did not investigate the flux-gradient memory itself. Here, we present a universal analytic framework that enables systematic characterisation of nonlocality in a wide variety of transport regimes. A generalised diffusivity kernel $D^{\ast}$ fully embodies the spatiotemporal flux memory with respect to the gradient. An extension of the flux-gradient relation for subdiffusive transport is also proposed. Several conservation and invariance properties can be deduced, including that Poissonian flight processes have no flux memory in time while fractional time diffusion has no flux memory in space. We derive analytical expressions for $D^{\ast}(x,t)$ in several types of anomalous transport dynamics that are commonly encountered in practice, being fractional diffusion equations, tempered L\'evy superdiffusion, and tempered fractional time diffusion. This detailed knowledge of the shape and nature of the flux memory, and the corresponding length and time scales over which nonlocal effects are physically important, remain completely hidden in conventional analyses based on tracer distributions or flux-gradient diagrams. Practical capabilities include the interpretation of microscale heat superdiffusion experiments. Overall, the theory can serve as a valuable framework for anomalous transport dynamics across multiple disciplines.


title: Optimal Platform Design

abstract: An auction house cannot generally provide the optimal auction technology to every client. Instead it provides one or several auction technologies, and clients select the most appropriate one. For example, eBay provides ascending auctions and "buy-it-now" pricing. For each client the offered technology may not be optimal, but it would be too costly for clients to create their own. We call these mechanisms, which emphasize generality rather than optimality, platform mechanisms. A platform mechanism will be adopted by a client if its performance exceeds that of the client's outside option, e.g., hiring (at a cost) a consultant to design the optimal mechanism. We ask two related questions. First, for what costs of the outside option will the platform be universally adopted? Second, what is the structure of good platform mechanisms? We answer these questions using a novel prior-free analysis framework in which we seek mechanisms that are approximately optimal for every prior.


title: The Tunable Hybrid Surface Phonon and Plasmon Polariton Modes in Boron Nitride Nanotube and Graphene Monolayer Heterostructures

abstract: The hybrid modes incorporating surface phonon polariton (SPhP) modes in boron nitride nanotubes (BNNTs) and surface plasmon polariton (SPP) modes in graphene monolayers are theoretically studied. The combination of the 1D BNNTs and 2D graphene monolayer further improves the modal characteristics with electrical tunability. Superior to the graphene monolayers, the proposed heterostructures supports single mode transmission with lateral optical confinement. The modal characteristics can be shifted from SPP-like toward SPhP-like. Both the figure of merit and field enhancement of hybrid modes are improved over 3 times than those of BNNT SPhP modes, which may further enable sub-wavelength mid-infrared applications.


title: Understanding and Designing Complex Systems: Response to "A framework for optimal high-level descriptions in science and engineering---preliminary report"

abstract: We recount recent history behind building compact models of nonlinear, complex processes and identifying their relevant macroscopic patterns or "macrostates". We give a synopsis of computational mechanics, predictive rate-distortion theory, and the role of information measures in monitoring model complexity and predictive performance. Computational mechanics provides a method to extract the optimal minimal predictive model for a given process. Rate-distortion theory provides methods for systematically approximating such models. We end by commenting on future prospects for developing a general framework that automatically discovers optimal compact models. As a response to the manuscript cited in the title above, this brief commentary corrects potentially misleading claims about its state space compression method and places it in a broader historical setting.

categories: cond-mat.stat-mech cs.AI cs.CE cs.IT math.IT nlin.CD


title: A closed form to the general solution of linear difference equations with variable coefficients

abstract: The determinant of a lower Hessenberg matrix (Hessenbergian) is expressed as a sum of signed elementary products indexed by initial segments of nonnegative integers. A closed form alternative to the recurrence expression of Hessenbergians is thus obtained. This result further leads to a closed form of the general solution for regular order linear difference equations with variable coefficients, including equations of N-order and equations of ascending order.


title: Deriving super-horizon curvature perturbations from the dynamics of preheating

abstract: We present a framework for calculating super-horizon curvature perturbation from the dynamics of preheating, which gives a reasonable match to the lattice results. Hubble patches with different initial background field values evolve differently. From the bifurcation of their evolution trajectories we find curvature perturbation using Lyapunov theorem and $\delta N$ formulation. In this way we have established a connection between the finer dynamics of preheating and the curvature perturbation produced in this era. From the calculated analytical form of the curvature perturbation we have derived the effective super-horizon curvature perturbation smoothed out on large scales of CMB. The order of the amount of local form non-gaussianity generated in this process has been calculated and problems regarding the precise determination of it have been pointed out.


title: No-Signalling Is Equivalent To Free Choice of Measurements

abstract: No-Signalling is a fundamental constraint on the probabilistic predictions made by physical theories. It is usually justified in terms of the constraints imposed by special relativity. However, this justification is not as clear-cut as is usually supposed. We shall give a different perspective on this condition by showing an equivalence between No-Signalling and Lambda Independence, or "free choice of measurements", a condition on hidden-variable theories which is needed to make no-go theorems such as Bell's theorem non-trivial. More precisely, we shall show that a probability table describing measurement outcomes is No-Signalling if and only if it can be realized by a Lambda-Independent hidden-variable theory of a particular canonical form, in which the hidden variables correspond to non-contextual deterministic predictions of measurement outcomes. The key proviso which avoids contradiction with Bell's theorem is that we consider hidden-variable theories with signed probability measures over the hidden variables - i.e. negative probabilities. Negative probabilities have often been discussed in the literature on quantum mechanics. We use a result proved previously in "The Sheaf-theoretic Structure of Locality and Contextuality" by Abramsky and Brandenburger, which shows that they give rise to, and indeed characterize, the entire class of No-Signalling behaviours. In the present paper, we put this result in a broader context, which reveals the surprising consequence that the No-Signalling condition is equivalent to the apparently completely different notion of free choice of measurements.


title: Non-locality in theories without the no-restriction hypothesis

abstract: The framework of generalized probabilistic theories (GPT) is a widely-used approach for studying the physical foundations of quantum theory. The standard GPT framework assumes the no-restriction hypothesis, in which the state space of a physical theory determines the set of measurements. However, this assumption is not physically motivated. In Janotta and Lal [Phys. Rev. A 87, 052131 (2013)], it was shown how this assumption can be relaxed, and how such an approach can be used to describe new classes of probabilistic theories. This involves introducing a new, more general, definition of maximal joint state spaces, which we call the generalised maximal tensor product. Here we show that the generalised maximal tensor product recovers the standard maximal tensor product when at least one of the systems in a bipartite scenario obeys the no-restriction hypothesis. We also show that, under certain conditions, relaxing the no-restriction hypothesis for a given state space does not allow for stronger non-locality, although the generalized maximal tensor product may allow new joint states.


title: Fibred Coalgebraic Logic and Quantum Protocols

abstract: Motivated by applications in modelling quantum systems using coalgebraic techniques, we introduce a fibred coalgebraic logic. Our approach extends the conventional predicate lifting semantics with additional modalities relating conditions on different fibres. As this fibred setting will typically involve multiple signature functors, the logic incorporates a calculus of modalities enabling the construction of new modalities using various composition operations. We extend the semantics of coalgebraic logic to this setting, and prove that this extension respects behavioural equivalence. We show how properties of the semantics of modalities are preserved under composition operations, and then apply the calculational aspect of our logic to produce an expressive set of modalities for reasoning about quantum systems, building these modalities up from simpler components. We then demonstrate how these modalities can describe some standard quantum protocols. The novel features of our logic are shown to allow for a uniform description of unitary evolution, and support local reasoning such as "Alice's qubit satisfies condition" as is common when discussing quantum protocols.


title: Duality Theory and Categorical Universal Logic: With Emphasis on Quantum Structures

abstract: Categorical Universal Logic is a theory of monad-relativised hyperdoctrines (or fibred universal algebras), which in particular encompasses categorical forms of both first-order and higher-order quantum logics as well as classical, intuitionistic, and diverse substructural logics. Here we show there are those dual adjunctions that have inherent hyperdoctrine structures in their predicate functor parts. We systematically investigate into the categorical logics of dual adjunctions by utilising Johnstone-Dimov-Tholen's duality-theoretic framework. Our set-theoretical duality-based hyperdoctrines for quantum logic have both universal and existential quantifiers (and higher-order structures), giving rise to a universe of Takeuti-Ozawa's quantum sets via the tripos-to-topos construction by Hyland-Johnstone-Pitts. The set-theoretical hyperdoctrinal models of quantum logic, as well as all quantum hyperdoctrines with cartesian base categories, turn out to give sound and complete semantics for Faggian-Sambin's first-order quantum sequent calculus over cartesian type theory; in addition, quantum hyperdoctrines with monoidal base categories are sound and complete for the calculus over linear type theory. We finally consider how to reconcile Birkhoff-von Neumann's quantum logic and Abramsky-Coecke's categorical quantum mechanics (which is modernised quantum logic as an antithesis to the traditional one) via categorical universal logic.


title: From Logical to Distributional Models

abstract: The paper relates two variants of semantic models for natural language, logical functional models and compositional distributional vector space models, by transferring the logic and reasoning from the logical to the distributional models. The geometrical operations of quantum logic are reformulated as algebraic operations on vectors. A map from functional models to vector space models makes it possible to compare the meaning of sentences word by word.


title: Categorical characterizations of operator-valued measures

abstract: The most general type of measurement in quantum physics is modeled by a positive operator-valued measure (POVM). Mathematically, a POVM is a generalization of a measure, whose values are not real numbers, but positive operators on a Hilbert space. POVMs can equivalently be viewed as maps between effect algebras or as maps between algebras for the Giry monad. We will show that this equivalence is an instance of a duality between two categories. In the special case of continuous POVMs, we obtain two equivalent representations in terms of morphisms between von Neumann algebras.


title: A note about the generalisation of the C-tests

abstract: In this exploratory note we ask the question of what a measure of performance for all tasks is like if we use a weighting of tasks based on a difficulty function. This difficulty function depends on the complexity of the (acceptable) solution for the task (instead of a universal distribution over tasks or an adaptive test). The resulting aggregations and decompositions are (now retrospectively) seen as the natural (and trivial) interactive generalisation of the C-tests.


title: New Open Problems Related to Old Conjectures by Helleseth

abstract: Recently, very interesting results have been obtained concerning the Fourier spectra of power permutations over a finite field. In this note we survey the recent ideas of Aubry, Feng, Katz, and Langevin, and we pose new open problems related to old conjectures proposed by Helleseth in the middle of the seventies.


title: Workshop Notes of the 6th International Workshop on Acquisition, Representation and Reasoning about Context with Logic (ARCOE-Logic 2014)

abstract: ARCOE-Logic 2014, the 6th International Workshop on Acquisition, Representation and Reasoning about Context with Logic, was held in co-location with the 19th International Conference on Knowledge Engineering and Knowledge Management (EKAW 2014) on November 25, 2014 in Link\"oping, Sweden. These notes contain the five papers which were accepted and presented at the workshop.


title: Crash-Tolerant Consensus in Directed Graphs

abstract: This work considers a point-to-point network of n nodes connected by directed links, and proves tight necessary and sufficient conditions on the underlying communication graphs for achieving consensus among these nodes under crash faults. We identify the conditions in both synchronous and asynchronous systems


title: The mathematics of the flip and horseshoe shuffles

abstract: We consider new types of perfect shuffles wherein a deck is split in half, one half of the deck is "reversed", and then the cards are interlaced. Flip shuffles are when the reversal comes from flipping the half over so that we also need to account for face-up/face-down configurations while horseshoe shuffles are when the order of the cards are reversed but all cards still face the same direction. We show that these shuffles are closely related to faro shuffling and determine the order of the associated shuffling groups.


title: Disjunctive Normal Networks

abstract: Artificial neural networks are powerful pattern classifiers; however, they have been surpassed in accuracy by methods such as support vector machines and random forests that are also easier to use and faster to train. Backpropagation, which is used to train artificial neural networks, suffers from the herd effect problem which leads to long training times and limit classification accuracy. We use the disjunctive normal form and approximate the boolean conjunction operations with products to construct a novel network architecture. The proposed model can be trained by minimizing an error function and it allows an effective and intuitive initialization which solves the herd-effect problem associated with backpropagation. This leads to state-of-the art classification accuracy and fast training times. In addition, our model can be jointly optimized with convolutional features in an unified structure leading to state-of-the-art results on computer vision problems with fast convergence rates. A GPU implementation of LDNN with optional convolutional features is also available


title: Numerical studies of an eccentric tube-in-tube helically coiled heat exchanger for IHEP-ADS helium purification system

abstract: The tube-in-tube helically coiled (TTHC) heat exchanger is preferred in the purifier of IHEP-ADS helium purification system. The position of an internal tube is usually eccentric in a TTHC heat exchanger in practice, while most TTHC heat exchangers in the literature studied are concentric. In this paper, TTHC heat exchangers with different eccentricity ratios are numerically studied for turbulent flow and heat transfer characteristics under different flow rates. The fluid considered is helium at the pressure of 20Mpa, with temperature dependent thermo-physical properties for the inner tube and the annulus. The inner Nusselt number between the concentric and eccentric TTHC heat exchangers are compared, so is the annulus Nusselt number. The results show that with the eccentricity increasing, the annulus Nusselt number increases substantially. According to the numerical data, new empirical correlations of Nusselt number as a function of Reynolds number and eccentricity for the inner tube and the annulus are presented in this paper. The TTHC heat exchanger of the purifier is designed under the given conditions.


title: Multimode phononic correlations in a nondegenerate parametric amplifier

abstract: We describe the realization of multimode phononic correlations that arise from nonlinear interactions in a mechanical nondegenerate parametric amplifier. The nature of these correlations differs qualitatively depending on the strength of the driving field in relation to the threshold for parametric instability. Below this threshold, the correlations are manifest in a combined quadrature of the coupled mechanical modes. In this regime, the system is amenable to back-action evading measurement schemes for the detection of weak forces. Above threshold, the correlations are manifest in the amplitude difference between the two mechanical modes, akin to intensity difference squeezing observed in optical parametric oscillators. We discuss the crossover of correlations between these two regimes and applications of this quantum-compatible mechanical system to nonlinear metrology and out-of-equilibrium dynamics.


title: Automorphic inflation

abstract: A framework of inflation is formulated based on symmetry groups and their associated automorphic functions. In this setting the inflaton multiplet takes values in a curved target space constructed from a continuous group $G$ and a discrete subgroup $\Gamma$. The dynamics of inflationary models is essentially determined by the choice of the pair $(G,\Gamma)$ and a function $\Phi$ on the group $G$ relative to $\Gamma$. Automorphic inflation provides a natural structure in which the shift symmetry of large field inflation arises as one of generators of $\Gamma$. The model of $j-$inflation is discussed as an example of modular inflation associated to the special linear group.


title: {\pi}-Plasmon Dispersion in Free-Standing Graphene by Momentum-Resolved Electron Energy-Loss Spectroscopy

abstract: The {\pi}-plasmon dispersion in graphene was scrutinized by momentum(q)-resolved electron energy-loss spectroscopy with an improved q resolution and found to display the square root of q dispersion characteristic of the collective excitation of two-dimensional electron systems, in contrast with previous experimental and theoretical studies which reported a linear q dispersion. Our theoretical elaborations on the q-dependent spectra affirm this square root of q relation and further unveil an in-plane electronic anisotropy. The physical property of the {\pi} plasmon is thoroughly compared to that of the two-dimensional plasmon due to carriers of the Dirac fermions. A clear distinction between the {\pi} plasmon and the two-dimensional Dirac plasmon was demonstrated, clarifying the common notion on correlating the linearly-dispersed Dirac cones to the linear dispersion of the {\pi} plasmon previously reported.


title: Dilation of states and processes in operational-probabilistic theories

abstract: This paper provides a concise summary of the framework of operational-probabilistic theories, aimed at emphasizing the interaction between category-theoretic and probabilistic structures. Within this framework, we review an operational version of the GNS construction, expressed by the so-called purification principle, which under mild hypotheses leads to an operational version of Stinespring's theorem.


title: Quantum Set Theory Extending the Standard Probabilistic Interpretation of Quantum Theory (Extended Abstract)

abstract: The notion of equality between two observables will play many important roles in foundations of quantum theory. However, the standard probabilistic interpretation based on the conventional Born formula does not give the probability of equality relation for a pair of arbitrary observables, since the Born formula gives the probability distribution only for a commuting family of observables. In this paper, quantum set theory developed by Takeuti and the present author is used to systematically extend the probabilistic interpretation of quantum theory to define the probability of equality relation for a pair of arbitrary observables. Applications of this new interpretation to measurement theory are discussed briefly.


title: On monogamy of non-locality and macroscopic averages: examples and preliminary results

abstract: We explore a connection between monogamy of non-locality and a weak macroscopic locality condition: the locality of the average behaviour. These are revealed by our analysis as being two sides of the same coin. Moreover, we exhibit a structural reason for both in the case of Bell-type multipartite scenarios, shedding light on but also generalising the results in the literature [Ramanathan et al., Phys. Rev. Lett. 107, 060405 (2001); Pawlowski & Brukner, Phys. Rev. Lett. 102, 030403 (2009)]. More specifically, we show that, provided the number of particles in each site is large enough compared to the number of allowed measurement settings, and whatever the microscopic state of the system, the macroscopic average behaviour is local realistic, or equivalently, general multipartite monogamy relations hold. This result relies on a classical mathematical theorem by Vorob'ev [Theory Probab. Appl. 7(2), 147-163 (1962)] about extending compatible families of probability distributions defined on the faces of a simplicial complex -- in the language of the sheaf-theoretic framework of Abramsky & Brandenburger [New J. Phys. 13, 113036 (2011)], such families correspond to no-signalling empirical models, and the existence of an extension corresponds to locality or non-contextuality. Since Vorob'ev's theorem depends solely on the structure of the simplicial complex, which encodes the compatibility of the measurements, and not on the specific probability distributions (i.e. the empirical models), our result about monogamy relations and locality of macroscopic averages holds not just for quantum theory, but for any empirical model satisfying the no-signalling condition. In this extended abstract, we illustrate our approach by working out a couple of examples, which convey the intuition behind our analysis while keeping the discussion at an elementary level.


title: Stochastic Relational Presheaves and Dynamic Logic for Contextuality

abstract: Presheaf models provide a formulation of labelled transition systems that is useful for, among other things, modelling concurrent computation. This paper aims to extend such models further to represent stochastic dynamics such as shown in quantum systems. After reviewing what presheaf models represent and what certain operations on them mean in terms of notions such as internal and external choices, composition of systems, and so on, I will show how to extend those models and ideas by combining them with ideas from other category-theoretic approaches to relational models and to stochastic processes. It turns out that my extension yields a transitional formulation of sheaf-theoretic structures that Abramsky and Brandenburger proposed to characterize non-locality and contextuality. An alternative characterization of contextuality will then be given in terms of a dynamic modal logic of the models I put forward.


title: QPEL: Quantum Program and Effect Language

abstract: We present the syntax and rules of deduction of QPEL (Quantum Program and Effect Language), a language for describing both quantum programs, and properties of quantum programs - effects on the appropriate Hilbert space. We show how semantics may be given in terms of state-and-effect triangles, a categorical setting that allows semantics in terms of Hilbert spaces, C*-algebras, and other categories. We prove soundness and completeness results that show the derivable judgements are exactly those provable in all state-and-effect triangles.


title: A Kochen-Specker system has at least 22 vectors (extended abstract)

abstract: At the heart of the Conway-Kochen Free Will theorem and Kochen and Specker's argument against non-contextual hidden variable theories is the existence of a Kochen-Specker (KS) system: a set of points on the sphere that has no 0,1-coloring such that at most one of two orthogonal points are colored 1 and of three pairwise orthogonal points exactly one is colored 1. In public lectures, Conway encouraged the search for small KS systems. At the time of writing, the smallest known KS system has 31 vectors. Arends, Ouaknine and Wampler have shown that a KS system has at least 18 vectors, by reducing the problem to the existence of graphs with a topological embeddability and non-colorability property. The bottleneck in their search proved to be the sheer number of graphs on more than 17 vertices and deciding embeddability. Continuing their effort, we prove a restriction on the class of graphs we need to consider and develop a more practical decision procedure for embeddability to improve the lower bound to 22.


title: Semantics for a Quantum Programming Language by Operator Algebras

abstract: This paper presents a novel semantics for a quantum programming language by operator algebras, which are known to give a formulation for quantum theory that is alternative to the one by Hilbert spaces. We show that the opposite category of the category of W*-algebras and normal completely positive subunital maps is an elementary quantum flow chart category in the sense of Selinger. As a consequence, it gives a denotational semantics for Selinger's first-order functional quantum programming language QPL. The use of operator algebras allows us to accommodate infinite structures and to handle classical and quantum computations in a unified way.


title: Observational Equivalence Using Schedulers for Quantum Processes

abstract: In the study of quantum process algebras, researchers have introduced different notions of equivalence between quantum processes like bisimulation or barbed congruence. However, there are intuitively equivalent quantum processes that these notions do not regard as equivalent. In this paper, we introduce a notion of equivalence named observational equivalence into qCCS. Since quantum processes have both probabilistic and nondeterministic transitions, we introduce schedulers that solve nondeterministic choices and obtain probability distribution of quantum processes. By definition, the restrictions of schedulers change observational equivalence. We propose some definitions of schedulers, and investigate the relation between the restrictions of schedulers and observational equivalence.


title: On G\'acs' quantum algorithmic entropy

abstract: We define an infinite dimensional modification of lower-semicomputability of density operators by G\'acs with an attempt to fix some problem in the paper. Our attempt is partly achieved by showing the existence of universal operator under some additional assumption. It is left as a future task to eliminate this assumption. We also see some properties and examples which stimulate further research. In particular, we show that universal operator has certain nontrivial form if it exists.


title: A 2-Categorical Analysis of Complementary Families, Quantum Key Distribution and the Mean King Problem

abstract: This paper explores the use of 2-categorical technology for describing and reasoning about complex quantum procedures. We give syntactic definitions of a family of complementary measurements, and of quantum key distribution, and show that they are equivalent. We then show abstractly that either structure gives a solution to the Mean King problem, which we also formulate 2-categorically.


title: Reflections on the PBR Theorem: Reality Criteria & Preparation Independence

abstract: This paper contains initial work on attempting to bring recent developments in the foundations of quantum mechanics concerning the nature of the wavefunction within the scope of more logical and structural methods. A first step involves dualising a criterion for the reality of the wavefunction proposed by Harrigan & Spekkens, which was central to the Pusey-Barrett-Rudolph theorem. The resulting criterion has several advantages, including the avoidance of certain technical difficulties relating to sets of measure zero. By considering the 'reality' not of the wavefunction but of the observable properties of any ontological physical theory a new characterisation of non-locality and contextuality is found. Secondly, a careful analysis of preparation independence, one of the key assumptions of the PBR theorem, leads to a precise analogy with the kind of locality prohibited by Bell's theorem. Motivated by this, we propose a weakening of the assumption to something analogous to no-signalling. This amounts to allowing global or non-local correlations in the joint ontic state, which nevertheless do not allow for superluminal signalling. This is, at least, consistent with the Bell and Kochen-Specker theorems. We find a counter-example to the PBR argument, which violates preparation independence, but does satisfy this physically motivated assumption. The question of whether the PBR result can be strengthened to hold under the relaxed assumption is therefore posed.


title: Slicing inequalities for measures of convex bodies

abstract: We consider a generalization of the hyperplane problem to arbitrary measures in place of volume and to sections of lower dimensions. We prove this generalization for unconditional convex bodies and for duals of bodies with bounded volume ratio. We also prove it for arbitrary symmetric convex bodies under the condition that the dimension of sections is less than $\lambda n$ for some $\lambda\in (0,1).$ The constant depends only on $\lambda.$ Finally, we show that the behavior of the minimal sections for some measures may be different from the case of volume.


title: Molecular beam epitaxy growth and scanning tunneling microscopy study of TiSe$_2$ ultrathin films

abstract: Molecular beam epitaxy is used to grow TiSe2 ultrathin films on graphitized SiC(0001) substrate. TiSe2films proceed via a nearly layer-by-layer growth mode and exhibit two dominant types of defects, identified as Se vacancy and interstitial, respectively. By means of scanning tunneling microscopy, we demonstrate that the well-established charge density waves can survive in single unit-cell (one triple layer) regime, and find a gradual reduction in their correlation length as the density of surface defects in TiSe2 ultrathin films increases. Our findings offer important insights into the nature of charge density wave in TiSe2, and also pave a material foundation for potential applications based on the collective electronic states.


title: Tensors, !-graphs, and non-commutative quantum structures

abstract: Categorical quantum mechanics (CQM) and the theory of quantum groups rely heavily on the use of structures that have both an algebraic and co-algebraic component, making them well-suited for manipulation using diagrammatic techniques. Diagrams allow us to easily form complex compositions of (co)algebraic structures, and prove their equality via graph rewriting. One of the biggest challenges in going beyond simple rewriting-based proofs is designing a graphical language that is expressive enough to prove interesting properties (e.g. normal form results) about not just single diagrams, but entire families of diagrams. One candidate is the language of !-graphs, which consist of graphs with certain subgraphs marked with boxes (called !-boxes) that can be repeated any number of times. New !-graph equations can then be proved using a powerful technique called !-box induction. However, previously this technique only applied to commutative (or cocommutative) algebraic structures, severely limiting its applications in some parts of CQM and (especially) quantum groups. In this paper, we fix this shortcoming by offering a new semantics for non-commutative !-graphs using an enriched version of Penrose's abstract tensor notation.


title: The ZX-calculus is complete for the single-qubit Clifford+T group

abstract: The ZX-calculus is a graphical calculus for reasoning about pure state qubit quantum mechanics. It is complete for pure qubit stabilizer quantum mechanics, meaning any equality involving only stabilizer operations that can be derived using matrices can also be derived pictorially. Stabilizer operations include the unitary Clifford group, as well as preparation of qubits in the state |0>, and measurements in the computational basis. For general pure state qubit quantum mechanics, the ZX-calculus is incomplete: there exist equalities involving non-stabilizer unitary operations on single qubits which cannot be derived from the current rule set for the ZX-calculus. Here, we show that the ZX-calculus for single qubits remains complete upon adding the operator T to the single-qubit stabilizer operations. This is particularly interesting as the resulting single-qubit Clifford+T group is approximately universal, i.e. any unitary single-qubit operator can be approximated to arbitrary accuracy using only Clifford operators and T.


title: Gorenstein homological dimensions of modules over triangular matrix rings

abstract: Let $A$ and $B$ be rings, $U$ a $(B, A)$-bimodule and $T=\left(\begin{smallmatrix} A & 0 \\ U & B \\\end{smallmatrix}\right)$ be the triangular matrix ring. In this paper, we characterize the Gorenstein homological dimensions of modules over $T$, and discuss when a left $T$-module is strongly Gorenstein projective or strongly Gorenstein injective module.


title: Multi-packet Hybrid ARQ: Closing gap to the ergodic capacity

abstract: In this work we consider incremental redundancy (IR) hybrid automatic repeat request (HARQ), where transmission rounds are carried out over independent block-fading channels. We propose the so-called multi-packet HARQ where the transmitter allows different packets to share the same channel block. In this way the resources (block) are optimally assigned throughout the transmission rounds. This stands in contrast with the conventional HARQ, where each transmission round occupies the entire block. We analyze superposition coding and time-sharing transmission strategies and we optimize the parameters to maximize the throughput. Besides the conventional one-bit feedback (ACK/NACK) we also consider the rich, multi-bit feedback. To solve the optimization problem we formulate it as a Markov decision process (MDP) problem where the decisions are taken using accumulated mutual information (AMI) obtained from the receiver via delayed feedback. When only one-bit feedback is used to inform the transmitter about the decoding success/failure (ACK/NACK), the Partial State Information Markov Decision Process (PSI-MDP) framework is used to obtain the optimal policies. Numerical examples obtained in a Rayleigh-fading channel indicate that, the proposed multi-packet HARQ outperforms the conventional one, by more than 5 dB for high spectral efficiencies.


title: Domain-Size Pooling in Local Descriptors: DSP-SIFT

abstract: We introduce a simple modification of local image descriptors, such as SIFT, based on pooling gradient orientations across different domain sizes, in addition to spatial locations. The resulting descriptor, which we call DSP-SIFT, outperforms other methods in wide-baseline matching benchmarks, including those based on convolutional neural networks, despite having the same dimension of SIFT and requiring no training.


title: The emergent dynamical symmetry at the triple point of nuclear deformations

abstract: Based on the boson realization of the Euclidean algebras, it is shown that the five-dimensional Euclidean dynamical symmetry may emerge at the triple point of the shape phase diagram of the interacting boson model, which thus offers a symmetry-based understanding of this isolated point. It is further shown that the low-lying dynamics in $^{108}$Pd, $^{134}$Ba, $^{64}$Zn, and $^{114}$Cd may be dominated by the Euclidean dynamical symmetry.


title: Congruences in slim, planar, semimodular lattices: The Swing Lemma

abstract: In an earlier paper, to describe how a congruence spreads from a prime interval to another in a finite lattice, I introduced the concept of prime-perspectivity and its transitive extension, prime-projectivity and proved the Prime-projectivity Lemma. In this paper, I specialize the Prime-projectivity Lemma to slim, planar, semimodular lattices to obtain the Swing Lemma, a very powerful description of the congruence generated by a prime interval in this special class of lattices.


title: Elliptic actions on Teichmuller space

abstract: Let $S$ be an oriented surface of finite type, $\mathcal{MCG}(S)$ its mapping class group, and $\mathcal{T}(S)$ its Teichm\"uller space with the Teichm\"uller metric. Let $H \leq \mathcal{MCG}(S)$ be a finite subgroup and consider the subset of $\mathcal{T}(S)$ fixed by $H$, $\mathrm{Fix}(H) \subset \mathcal{T}(S)$. For any $R>0$, we prove that the set of points whose $H$-orbits have diameter bounded by $R$, $\mathrm{Fix}_R^T(H)$, lives in a bounded neighborhood of $\mathrm{Fix}(H)$. As an application, we show that the orbit of any point $X \in \mathcal{T}(S)$ under the action of a finite order mapping class has a fixed coarse barycenter. By contrast, we show that $\mathrm{Fix}^T_R(H)$ need not be quasiconvex with an explicit family of examples.


title: Solution of the two-mode quantum Rabi model using extended squeezed states

abstract: The two-mode quantum Rabi model with bilinear coupling is studied using extended squeezed states. We derive $G$-functions for each Bargmann index $q$% . They share a common structure with the $G$-function of the one-photon and two-photon quantum Rabi models. The regular spectrum is given by zeros of the $G$-function while the conditions for the presence of doubly degenerate (exceptional) eigenvalues are obtained in closed form through the lifting property. The simple singularity structure of the $G$-function allows to draw conclusions about the distribution of eigenvalues along the real axis and to understand the spectral collapse phenomenon when the coupling reaches a critical value.


title: Modified Design of Microstrip Patch Antenna for WiMAX Communication System

abstract: In this paper, a new design for U-shaped microstrip patch antenna is proposed, which can be used in WiMAX communication systems. The aim of this paper is to optimize the performance of microstrip patch antenna. Nowadays, WiMAX communication applications are widely using U-shaped microstrip patch antenna and it has become very popular. Our proposed antenna design uses 4-4.5 GHZ frequency band and it is working at narrowband within this band. RT/DUROID 5880 material is used for creating the substrate of the microstrip antenna. This modified design of the microstrip patch antenna gives high performance in terms of gain and return loss.


title: Tunable narrow band source via the strong coupling between optical emitter and nanowire surface plasmons

abstract: The spectrum width can be narrowed to a certain degree by decreasing the coupling strength for the two-level emitter coupled to the propagating surface plasmon. But the width can not be narrowed any further because of the loss of the photon out of system by spontaneous emission from the emitter. Here we propose a new scheme to construct a narrow-band source via a one-dimensional waveguide coupling with a three-level emitter. It is shown that the reflective spectrum width can be narrowed avoiding the impact of the loss. This approach opens up the possibility of plasmonic ultranarrow single-photon source.


title: A nonparametric Bayesian analysis of heterogeneous treatment effects in digital experimentation

abstract: Randomized controlled trials play an important role in how Internet companies predict the impact of policy decisions and product changes. In these `digital experiments', different units (people, devices, products) respond differently to the treatment. This article presents a fast and scalable Bayesian nonparametric analysis of such heterogeneous treatment effects and their measurement in relation to observable covariates. New results and algorithms are provided for quantifying the uncertainty associated with treatment effect measurement via both linear projections and nonlinear regression trees (CART and Random Forests). For linear projections, our inference strategy leads to results that are mostly in agreement with those from the frequentist literature. We find that linear regression adjustment of treatment effect averages (i.e., post-stratification) can provide some variance reduction, but that this reduction will be vanishingly small in the low-signal and large-sample setting of digital experiments. For regression trees, we provide uncertainty quantification for the machine learning algorithms that are commonly applied in tree-fitting. We argue that practitioners should look to ensembles of trees (forests) rather than individual trees in their analysis. The ideas are applied on and illustrated through an example experiment involving 21 million unique users of EBay.com.


title: Dependent coordinates in the Lagrange-Poincar\'e equations for mechanical systems with symmetry

abstract: The Lagrange--Poincar\'e equations for the mechanical system describing the motion of a scalar particle on a Riemannian manifold with a given free and isometric action of a compact Lie group is obtained. In an arising principle fibre bundle, the total space of which serves as a configuration space of the considered mechanical system, the local description of the reduced motion is done in terms of dependent coordinates. In obtaining of the equations we use the variational principle developed by Poincar\'e for the mechanical systems with a symmetry.


title: Pneumatically actuated and kinematically positioned optical mounts compatible with laser-cooling experiments

abstract: We present two complementary designs of pneumatically actuated and kinematically positioned optics mounts: one designed for vertical mounting and translation, the other designed for horizontal mounting and translation. The design and measured stability make these mounts well-suited to experiments with laser-cooled atoms.


title: Accurate and Conservative Estimates of MRF Log-likelihood using Reverse Annealing

abstract: Markov random fields (MRFs) are difficult to evaluate as generative models because computing the test log-probabilities requires the intractable partition function. Annealed importance sampling (AIS) is widely used to estimate MRF partition functions, and often yields quite accurate results. However, AIS is prone to overestimate the log-likelihood with little indication that anything is wrong. We present the Reverse AIS Estimator (RAISE), a stochastic lower bound on the log-likelihood of an approximation to the original MRF model. RAISE requires only the same MCMC transition operators as standard AIS. Experimental results indicate that RAISE agrees closely with AIS log-probability estimates for RBMs, DBMs, and DBNs, but typically errs on the side of underestimating, rather than overestimating, the log-likelihood.


title: Oscillations of coefficients of Dirichlet series attached to automorphic forms

abstract: For $m\ge 2$, let $\pi$ be an irreducible cuspidal automorphic representation of $GL_m(\mathbb{A}_{\mathbb{Q}})$ with unitary central character. Let $a_\pi(n)$ be the $n^{th}$ coefficient of the $L$-function attached to $\pi$. Goldfeld and Sengupta have recently obtained a bound for $\sum_{n\le x} a_\pi(n)$ as $x \rightarrow \infty$. For $m\ge 3$ and $\pi$ not a symmetric power of a $GL_2(\mathbb{A}_{\mathbb{Q}})$-cuspidal automorphic representation with not all finite primes unramified for $\pi$, their bound is better than all previous bounds. In this paper, we further improve the bound of Golfeld and Sengupta. We also prove a quantitative result for the number of sign changes of the coefficients of certain automorphic $L$-functions, provided the coefficients are real numbers.


title: Lower bounds of eigenvalues of the biharmonic operators by the rectangular Morley element methods

abstract: In this paper, we analyze the lower bound property of the discrete eigenvalues by the rectangular Morley elements of the biharmonic operators in both two and three dimensions. The analysis relies on an identity for the errors of eigenvalues. We explore a refined property of the canonical interpolation operators and use it to analyze the key term in this identity. In particular, we show that such a term is of higher order for two dimensions, and is negative and of second order for three dimensions, which causes a main difficulty. To overcome it, we propose a novel decomposition of the first term in the aforementioned identity. Finally, we establish a saturation condition to show that the discrete eigenvalues are smaller than the exact ones. We present some numerical results to demonstrate the theoretical results.


title: New constraints on cosmic polarization rotation from the ACTPol cosmic microwave background B-Mode polarization observation and the BICEP2 constraint update

abstract: Recently ACTPol has measured the cosmic microwave background (CMB) B-mode and E-mode polarizations and obtained TE, EE, BB, TB and EB power spectra in the multipole range 225-8725. In our previous paper (Ap. J. 792 (2014) 35 [Paper I]), we have analyzed jointly the results of three experiments on the CMB B-mode polarization -- SPTpol, POLARBEAR and BICEP2 to include in the model, in addition to the gravitational lensing and the inflationary gravitational waves components, also the fluctuation effects induced by the cosmic polarization rotation (CPR), if it exists within the upper limits at the time. In this paper, we fit both the mean CPR angle <{\alpha}> and its fluctuation <{\delta}{\alpha}2> from the new ACTPol data, and update our fitting of CPR fluctuations using BICEP2 data taking the new Planck dust measurement results into consideration. We follow the method of Paper I. The mean CPR angle is constrained from the EB correlation power spectra to |<{\alpha}>| < 14 mrad (0.8{\deg}) and the fluctuation (rms) is constrained from the BB correlation power spectra to <{\delta}{\alpha}2>1/2 < 29.3 mrad (1.68{\deg}). Assuming that the polarization angle of Tau A does not change from 89.2 to 146 GHz, the ACTPol data give <{\alpha}> = 1.0 {\pm} 0.63{\deg}. These results suggest that the inclusion of the present ACTPol data is consistent with no CPR detection. With the new Planck dust measurement, we update our fits of the BICEP2 CPR fluctuation constraint to be 32.8 mrad (1.88{\deg}). The joint ACTpol-BICEP2-POLARBEAR CPR fluctuation constraint is 23.7 mrad (1.36{\deg}).


title: Stochastic Shortest Path Games and Q-Learning

abstract: We consider a class of two-player zero-sum stochastic games with finite state and compact control spaces, which we call stochastic shortest path (SSP) games. They are undiscounted total cost stochastic dynamic games that have a cost-free termination state. Exploiting the close connection of these games to single-player SSP problems, we introduce novel model conditions under which we show that the SSP games have strong optimality properties, including the existence of a unique solution to the dynamic programming equation, the existence of optimal stationary policies, and the convergence of value and policy iteration. We then focus on finite state and control SSP games and the classical Q-learning algorithm for computing the value function. Q-learning is a model-free, asynchronous stochastic iterative algorithm. By the theory of stochastic approximation involving monotone nonexpansive mappings, it is known to converge when its associated dynamic programming equation has a unique solution and its iterates are bounded with probability one. For the SSP case, as the main result of this paper, we prove the boundedness of the Q-learning iterates under our proposed model conditions, thereby establishing completely the convergence of Q-learning for a broad class of total cost finite-space stochastic games.


title: A matrix equation $X^n = aI$

abstract: In this paper, we study a matrix equation $X^n = aI$. We factorize $X^n - aI$ based upon the factorization of $x^n - a$ and then give a necessary and sufficient condition for one of the factors to be the zero matrix.


title: Probing the Top Quark Flavour-Changing Neutral Current at a Future Electron-Positron Collider

abstract: We present a study to examine the sensitivity of a future $e^{-} e^{+}$ collider to the anomalous top flavour-changing neutral current (FCNC) to the gluon. To separate signal from background a multivariate analysis is performed on top-quark pair and background events, where one top quark is considered to follow the dominant Standard Model (SM) decay, $t \rightarrow Wb$, and the other top decays through FCNC, $t\rightarrow qg$, where $q$ is a $u-$ or a $c-$quark. The analysis of fully-hadronic FCNC decay of the $t \bar{t}$ pair is also presented. The $95\%$ confidence level limits on the top-quark anomalous couplings are obtained for different values of the center-of-mass energies and integrated luminosities.


title: Granular superconductivity below 5~K in SPI-II pyrolytic graphite

abstract: We have studied the transport properties of transmission electron microscope (TEM) lamellae obtained from a pyrolytic graphite sample of grade B (SPI-II) with electrical contacts at the edges of the graphene layers. The temperature, magnetic field, input current dependence of the resistance as well as the current-voltage characteristic curves are compatible with the existence of granular superconductivity below 5~K. TEM pictures of the studied lamellae reveal clear differences of the embedded interfaces to those existing in more ordered pyrolytic samples, which appear to be the origin for the relatively lower temperatures at which the granular superconductivity is observed.


title: Fast and Scalable Inference of Multi-Sample Cancer Lineages

abstract: Somatic variants can be used as lineage markers for the phylogenetic reconstruction of cancer evolution. Since somatic phylogenetics is complicated by sample heterogeneity, novel specialized tree-building methods are required for cancer phylogeny reconstruction. We present LICHeE (Lineage Inference for Cancer Heterogeneity and Evolution), a novel method that automates the phylogenetic inference of cancer progression from multiple somatic samples. LICHeE uses variant allele frequencies of SSNVs obtained by deep sequencing to reconstruct multi-sample cell lineage trees and infer the subclonal composition of the samples. LICHeE is open-sourced and available at http://viq854.github.io/lichee.


title: Zeta function for perturbed surfaces of revolution

abstract: In this paper we explore the Zeta function arising from a small perturbation on a surface of revolution and the effect of this on the functional determinant and in the change of the Casimir energy associated with this configuration.


title: Active Community Detection in Massive Graphs

abstract: A canonical problem in graph mining is the detection of dense communities. This problem is exacerbated for a graph with a large order and size -- the number of vertices and edges -- as many community detection algorithms scale poorly. In this work we propose a novel framework for detecting active communities that consist of the most active vertices in massive graphs. The framework is applicable to graphs having billions of vertices and hundreds of billions of edges. Our framework utilizes a parallelizable trimming algorithm based on a locality statistic to filter out inactive vertices, and then clusters the remaining active vertices via spectral decomposition on their similarity matrix. We demonstrate the validity of our method with synthetic Stochastic Block Model graphs, using Adjusted Rand Index as the performance metric. We further demonstrate its practicality and efficiency on a most recent real-world Hyperlink Web graph consisting of over 3.5 billion vertices and 128 billion edges.


title: Experimental study to explore the $\rm ^8Be$ induced nuclear reaction via the Trojan Horse Method

abstract: To explore a possible indirect method for $\rm ^8Be$ induced astrophysical reactions, the $\rm ^9Be=({}^8Be+\it n)$ cluster structure was studied via the Trojan Horse Method. It is the first time to study a super short life nucleus $\rm ^8Be$ via the Trojan Horse Method, and it is the first time to make a valid test for $l=1$ Trojan-horse nucleus. The $\rm ^9Be$ nucleus is assumed to have a ($\rm {}^8Be+\it n$) cluster structure and used as the Trojan-horse nucleus. The $\rm ^8Be$ nucleus acts as a participant, while the neutron is a spectator to the virtual $\rm ^8Be +{\it d}\rightarrow \alpha + {}^6Li$ reaction via a suitable 3-body reaction $\rm ^9Be +{\it d}\rightarrow \alpha + {}^6Li +\it n$. The experimental neutron momentum distribution inside $\rm ^9Be$ was reconstructed. The agreement between experimental and theoretical momentum distribution indicates that there should be a ($\rm {}^8Be+\it n$) cluster structure inside $\rm ^9Be$. Therefor the experimental study of $\rm ^8Be$ induced reactions, for example the experimental measurement of the $\rm ^8Be +\alpha \rightarrow {}^{12}C$ reaction proceeding through the Hoyle state, is possible.


title: Applications of nonlocal constants of motion in Lagrangian Dynamics

abstract: We give a recipe to generate "nonlocal" constants of motion for ODE Lagrangian systems and we apply the method to find useful constants of motion for dissipative system, for the Lane-Emden equation, and for the Maxwell-Bloch system with RWA.


title: Bose-Einstein condensation of photons in the matter-dominated universe

abstract: In 1914, Planck introduced the concept of a white body. In nature, no true white bodies are known. We assume that the universe after last-scattering is an ideal white body that contains a tremendously large number of thermal photons and is at an extremely high temperature. Bose-Einstein condensation of photons in an ideal white body is investigated within the framework of quantum statistical mechanism. The computation shows that the transition temperature $T_c$ is a monotonically increasing function of the number density $n$ of photons. At finite temperature, we find that the condensate fraction $N_0(T)/N$ decreases continuously from unity to zero as the temperature increases from zero to the transition temperature $T_c$. Further, we study the radiation properties of an ideal white body. It is found that in the condensation region of $T<T_c$, the spectral intensity $I(\omega,T)$ of white body radiation is identical with Planck's law for blackbody radiation.


title: Weights with both absolutely continuous and discrete components: Asymptotics via the Riemann-Hilbert approach

abstract: We study the uniform asymptotics for the orthogonal polynomials with respect to weights composed of both absolutely continuous measure and discrete measure, by taking a special class of the sieved Pollazek Polynomials as an example. The Plancherel-Rotach type asymptotics of the sieved Pollazek Polynomials are obtained in the whole complex plane. The Riemann-Hilbert method is applied to derive the results. A main feature of the treatment is the appearance of a new band consisting of two adjacent intervals, one of which is a portion of the support of the absolutely continuous measure, the other is the discrete band.


title: Sweeping by a tame process

abstract: We show that any semi-algebraic sweeping process admits piecewise absolutely continuous solutions, and any such bounded trajectory must have finite length. Analogous results hold more generally for sweeping processes definable in o-minimal structures. This extends previous work on (sub)gradient dynamical systems beyond monotone sweeping sets.


title: Mapping tori of free group automorphisms, and the Bieri-Neumann-Strebel invariant of graphs of groups

abstract: Let $G$ be the mapping torus of a polynomially growing automorphism of a finitely generated free group. We determine which epimorphisms from $G$ to $\mathbb{Z}$ have finitely generated kernel, and we compute the rank of the kernel. We thus describe all possible ways of expressing $G$ as the mapping torus of a free group automorphism. This is similar to the case for 3--manifold groups, and different from the case of mapping tori of exponentially growing free group automorphisms. The proof uses a hierarchical decomposition of $G$ and requires determining the Bieri-Neumann-Strebel invariant of the fundamental group of certain graphs of groups.


title: Relativity of arithmetic as a fundamental symmetry of physics

abstract: Arithmetic operations can be defined in various ways, even if one assumes commutativity and associativity of addition and multiplication, and distributivity of multiplication with respect to addition. In consequence, whenever one encounters `plus' or `times' one has certain freedom of interpreting this operation. This leads to some freedom in definitions of derivatives, integrals and, thus, practically all equations occurring in natural sciences. A change of realization of arithmetic, without altering the remaining structures of a given equation, plays the same role as a symmetry transformation. An appropriate construction of arithmetic turns out to be particularly important for dynamical systems in fractal space-times. Simple examples from classical and quantum, relativistic and nonrelativistic physics are discussed, including the eigenvalue problem for a quantum harmonic oscillator. It is explained why the change of arithmetic is not equivalent to the usual change of variables, and why it may have implications for the Bell theorem.


title: Logarithmic Singularities and Maximally Supersymmetric Amplitudes

abstract: The dual formulation of planar N = 4 super-Yang-Mills scattering amplitudes makes manifest that the integrand has only logarithmic singularities and no poles at infinity. Recently, Arkani-Hamed, Bourjaily, Cachazo and Trnka conjectured the same singularity properties hold to all loop orders in the nonplanar sector as well. Here we conjecture that to all loop orders these constraints give us the key analytic information contained in dual conformal symmetry. We also conjecture that to all loop orders, while N = 8 supergravity has poles at infinity, at least at four points it has only logarithmic singularities at finite locations. We provide nontrivial evidence for these conjectures. For the three-loop four-point N = 4 super-Yang-Mills amplitude, we explicitly construct a complete basis of diagram integrands that has only logarithmic singularities and no poles at infinity. We then express the complete amplitude in terms of the basis diagrams, with the coefficients determined by unitarity. We also give examples at three loops showing how to make the logarithmic singularity properties manifest via dlog forms. We give additional evidence at four and five loops supporting the nonplanar logarithmic singularity conjecture. Furthermore, we present a variety of examples illustrating that these constraints are more restrictive than dual conformal symmetry. Our investigations show that the singularity structures of planar and nonplanar amplitudes in N = 4 super-Yang-Mills are strikingly similar. While it is not clear how to extend either dual conformal symmetry or a dual formulation to the nonplanar sector, these results suggest that related concepts might exist and await discovery. Finally, we describe the singularity structure of N = 8 supergravity at three loops and beyond.


title: Solution of the Kramers' problem about isothermal sliding of moderately dense gas with accomodation boundary conditions

abstract: Half-space boundary Kramers' problem about isothermal sliding of moderate dense gas with accomodation boundary conditions along a flat firm surface is solving. The new method of the solution of boundary problems of the kinetic theory is applied (see JVMMF, 2012, 52:3, 539-552). The method allows to receive the solution with arbitrary degree of accuracy. The idea of representation of boundary condition on distribution function in the form of source in the kinetic equation serves as the basis for the method mentioned above. By means of Fourier integrals the kinetic equation with a source comes to the Fredholm integral equation of the second kind. The solution has been received in the form of Neumann's number.


title: Painlev\'e III asymptotics of Hankel determinants for a perturbed Jacobi weight

abstract: We study the Hankel determinants associated with the weight $$w(x;t)=(1-x^2)^{\beta}(t^2-x^2)^\alpha h(x),~x\in(-1,1),$$ where $\beta>-1$, $\alpha+\beta>-1$, $t>1$, $h(x)$ is analytic in a domain containing $[-1,1]$ and $h(x)>0$ for $x\in[-1,1]$. In this paper, based on the Deift-Zhou nonlinear steepest descent analysis, we study the double scaling limit of the Hankel determinants as $n\to \infty$ and $t\to 1$. We obtain the asymptotic approximations of the Hankel determinants, evaluated in terms of the Jimbo-Miwa-Okamoto $\sigma$-function for the Painlev\'{e} III equation. The asymptotics of the leading coefficients and the recurrence coefficients for the perturbed Jacobi polynomials are also obtained.


title: Effects of neutrino oscillations on nucleosynthesis and neutrino signals for an 18 M supernova model

abstract: In this paper, we explore the effects of neutrino flavor oscillations on supernova nucleosynthesis and on the neutrino signals. Our study is based on detailed information about the neutrino spectra and their time evolution from a spherically-symmetric supernova model for an 18 M progenitor. We find that collective neutrino oscillations are not only sensitive to the detailed neutrino energy and angular distributions at emission, but also to the time evolution of both the neutrino spectra and the electron density profile. We apply the results of neutrino oscillations to study the impact on supernova nucleosynthesis and on the neutrino signals from a Galactic supernova. We show that in our supernova model, collective neutrino oscillations enhance the production of rare isotopes 138La and 180Ta but have little impact on the nu p-process nucleosynthesis. In addition, the adiabatic MSW flavor transformation, which occurs in the C/O and He shells of the supernova, may affect the production of light nuclei such as 7Li and 11B. For the neutrino signals, we calculate the rate of neutrino events in the Super-Kamiokande detector and in a hypothetical liquid argon detector. Our results suggest the possibility of using the time profiles of the events in both detectors, along with the spectral information of the detected neutrinos, to infer the neutrino mass hierarchy.


title: Intertwiners of $U'_q\bigl(\widehat{sl}(2)\bigr)$-representations and the vector-valued big $q$-Jacobi transform

abstract: Linear operators $R$ are introduced on tensor products of evaluation modules of $U'_q\bigl(\widehat{sl}(2)\bigr)$ obtained from the complementary and strange series representations. The operators $R$ satisfy the intertwining condition on finite linear combinations of the canonical basis elements of the tensor products. Infinite sums associated with the action of $R$ on six pairs of tensor products are evaluated. For two pairs, the sums are related to the vector-valued big $q$-Jacobi transform of the matrix elements defining the operator $R$. In one case, the sums specify the action of $R$ on the irreducible representations present in the decomposition of the underlying indivisible sum of $U_q\bigl(sl(2)\bigr)$-tensor products. In both cases, bilinear summation formulae for the matrix elements of $R$ provide a generalization of the unitarity property.


title: Magnetic correlation effects by the topological zero mode in a hydrogenated graphene vacancy $V_{111}$

abstract: Electron correlation effects caused by the topological zero mode of a hydrogenated graphene vacancy, $V_{111}$, with three adsorbed hydrogen atoms is discussed theoretically. A Kondo model is derived from the multi-reference representation of the density functional theory, where exchange scattering processes between the zero mode and low-energy modes in the Dirac cones are estimated. Even when the Dirac cone is slightly off from the charge neutral point, a finite on-site correlation energy, $U_0$, for the zero mode of an isolated $V_{111}$ allows the half-filling of the localized level giving a spin $s=1/2$. The anti-ferromagnetic Kondo screening mediated by higher order scattering processes becomes dominant in the dilute limit of the vacancies. Our estimation of relevant two body interactions certifies appearance of the Kondo effect at low temperatures.


title: On the Contribution of "Fresh" Cosmic Rays to the Excesses of Secondary Particles

abstract: The standard model of cosmic ray propagation has been very successful in explaining all kinds of the Galactic cosmic ray spectra. However, high precision measurement recently revealed the appreciable discrepancy between data and model expectation, from spectrum observations of $\gamma$-rays, $e^+/e^-$ and probably the $B/C$ ratio starting from $\sim$10 GeV energy. In this work, we propose that the fresh cosmic rays, which are supplied by the young accelerators and detained by local magnetic field, can contribute additional secondary particles interacting with local materials. As this early cosmic ray has a hard spectrum, the model calculation results in a two-component $\gamma$-ray spectrum, which agree very well with the observation. Simultaneously, the expected neutrino number from the galactic plane could contribute $\sim60\%$ of IceCube observation neutrino number below a few hundreds of TeV. The same pp-collision process can account for a significant amount of the positron excesses. Under this model, it is expected that the excesses in $\overline p/p$ and $B/C$ ratio will show up when energy is above $\sim$10 GeV. We look forward that the model will be tested in the near future by new observations from AMS02, IceCube, AS$\gamma$, HAWC and future experiments such as LHASSO, HiSCORE and CTA.


title: Maze Solving Automatons for Self-Healing of Open Interconnects: Modular Add-on for Circuit Boards

abstract: We present the circuit board integration of a self-healing mechanism to repair open faults. The electric field driven mechanism physically restores fractured interconnects in electronic circuits and has the ability to solve mazes. The repair is performed by conductive particles dispersed in an insulating fluid. We demonstrate the integration of the healing module onto printed circuit boards and the ability of maze solving. We model and perform experiments on the influence of the geometry of the conductive particles as well as the terminal impedances of the route on the healing efficiency. The typical heal rate is 10 $\mu$m/s with healed route having resistance of 100 $\Omega$ to 20 k$\Omega$ depending on the materials and concentrations used.


title: Generalized Macdonald polynomials, spectral duality for conformal blocks and AGT correspondence in five dimensions

abstract: We study five dimensional AGT correspondence by means of the q-deformed beta-ensemble technique. We provide a special basis of states in the q-deformed CFT Hilbert space consisting of generalized Macdonald polynomials, derive the loop equations for the beta-ensemble and obtain the factorization formulas for the corresponding matrix elements. We prove the spectral duality for Nekrasov functions and discuss its meaning for conformal blocks. We also clarify the relation between topological strings and q-Liouville vertex operators.


title: Local-solution approach to quasistatic rate-independent mixed-mode delamination

abstract: The quasistatic rate-independent evolution of a delamination at small strains in the so-called mixed mode, i.e.~distinguishing opening (Mode I) from shearing (Mode II) is rigorously analyzed in the context of a concept of stress-driven local solutions. The model has separately convex stored energy and is associative, namely the 1-homogeneous potential of dissipative force driving the delamination depends only on rates of internal parameters. An efficient fractional-step-type semi-implicit discretisation in time is shown to converge to specific, stress-driven like) local solutions that may approximately obey the maximum-dissipation principle. Making still a spatial discretisation, this convergence as well as relevancy of such solution concept are demonstrated on a nontrivial 2-dimensional example.


title: A New Extended Mixture Model of Residual Lifetime Distributions

abstract: In this paper, we first propose a new extended mixture model of residual lifetime distributions. We show that this model is suitable in modeling residual lifetime in some practical situations. Several closure properties of some well-known dependence concepts, stochastic orders and aging notions under the formation of this model, are obtained. Finally, preservation properties of some stochastic orders under the formation of the model are discussed and some examples of interest are presented.


title: On functions with a unique identification minor

abstract: We shed some new light to the problem of characterizing those functions of several arguments that have a unique identification minor. The 2-set-transitive functions are known to have this property. We describe another class of functions that have a unique identification minor, namely functions determined by the order of first occurrence. We also present some examples of other kinds of functions with a unique identification minor. These examples have a relatively small arity.


title: Using the morphology and magnetic fields of tailed radio galaxies as environmental probes

abstract: Bent-tailed (BT) radio sources have long been known to trace over densities in the Universe up to z ~ 1 and there is increasing evidence this association persists out to redshifts of 2. The morphology of the jets in BT galaxies is primarily a function of the environment that they have resided in and so BTs provide invaluable clues as to their local conditions. Thus, not only can samples of BT galaxies be used as signposts of large-scale structure, but are also valuable for obtaining a statistical measurement of properties of the intra-cluster medium including the presence of cluster accretion shocks & winds, and as historical anemometers, preserving the dynamical history of their surroundings in their jets. We discuss the use of BTs to unveil large-scale structure and provide an example in which a BT was used to unlock the dynamical history of its host cluster. In addition to their use as density and dynamical indicators, BTs are useful probes of the magnetic field on their environment on scales which are inaccessible to other methods. Here we discuss a novel way in which a particular sub-class of BTs, the so-called `corkscrew' galaxies might further elucidate the coherence lengths of the magnetic fields in their vicinity. Given that BTs are estimated to make up a large population in next generation surveys we posit that the use of jets in this way could provide a unique source of environmental information for clusters and groups up to z = 2.


title: Cabling in the Skyrme-Faddeev model

abstract: The Skyrme-Faddeev model is a three-dimensional non-linear field theory that has topological soliton solutions, called hopfions, which are novel string-like solutions taking the form of knots and links. Solutions found thus far take the form of torus knots and links of these, however torus knots form only a small family of known knots. It is an open question whether any non-torus knot hopfions exist. In this paper we present a construction of knotted fields with the form of cable knots to which an energy minimisation scheme can be applied. We find the first known hopfions which do not have the form of torus knots, but instead take the form of cable and hyperbolic knots.


title: The analogue of Choi matrices for a class of linear maps on Von Neumann algebras

abstract: The definition of Choi matrices for linear maps on the n x n matrices is extended to factors, and the basic theorems for Choi matrices are proved in this general context.


title: Geometrical parameters dependence towards ultra-flat dispersion square-lattice PCF with selective liquid infiltration

abstract: We have performed a numerical analysis of the structural dependence of the PCF parameters towards ultra-flat dispersion in the C-band of communication wavelength. The technique is based on regular square-lattice PCF with all the air-hole of same uniform diameter and the effective size of the air-holes are modified with a selective infiltration of the air-holes with liquids. The dependence of the PCF structural parameters namely air-hole diameter and hole-to-hole distance along with the infiltrating liquid has been investigated in details. It is shown that the infiltrating liquid has critical influence on both the slope and value of dispersion, while pitch only changes the dispersion value whereas air-hole diameter modifies the slope of the dispersion. Our numerical investigation establishes dispersion values as small as 0+-0.58ps/(nm-km) over a bandwidth of 622nm in the communication wavelength band (C-band). The proposed design study will be very helpful in high power applications like broadband smooth supercontinuum generation, ASE suppressed amplification etc.


title: Holographic Entanglement and Causal Shadow in Time-Dependent Janus Black Hole

abstract: We holographically compute an inter-boundary entanglement entropy in a time-dependent two-sided black hole which was constructed in hep-th/0701108 by applying time-dependent Janus deformation to BTZ black hole. The black hole contains "causal shadow region" which is causally disconnected from both the conformal boundaries. We find that the Janus deformation results in an earlier phase transition between the extremal surfaces and that the phase transition disappears when the causal shadow is sufficiently large.


title: A remark on Golod--Shafarevich algebras

abstract: We show that a direct limit of surjections of (weak) Golod--Shafarevich algebras is a weak Golod--Shafarevich algebra as well. This holds both for graded and for filtered algebras provided that the filtrations are induced by the filtration of the first entry of the sequence. It follows that the limit is an algebra of exponential growth. An example shows that the assumptions of this theorem cannot be directly weakened.