title: Combinatorial Games with a Pass: A dynamical systems approach

abstract: By treating combinatorial games as dynamical systems, we are able to address a longstanding open question in combinatorial game theory, namely, how the introduction of a "pass" move into a game affects its behavior. We consider two well known combinatorial games, 3-pile Nim and 3-row Chomp. In the case of Nim, we observe that the introduction of the pass dramatically alters the game's underlying structure, rendering it considerably more complex, while for Chomp, the pass move is found to have relatively minimal impact. We show how these results can be understood by recasting these games as dynamical systems describable by dynamical recursion relations. From these recursion relations we are able to identify underlying structural connections between these "games with passes" and a recently introduced class of "generic (perturbed) games." This connection, together with a (non-rigorous) numerical stability analysis, allows one to understand and predict the effect of a pass on a game.


title: Intelligent Database Flexible Querying System by Approximate Query Processing

abstract: Database flexible querying is an alternative to the classic one for users. The use of Formal Concepts Analysis (FCA) makes it possible to make approximate answers that those turned over by a classic DataBase Management System (DBMS). Some applications do not need exact answers. However, flexible querying can be expensive in response time. This time is more significant when the flexible querying require the calculation of aggregate functions ("Sum", "Avg", "Count", "Var" etc.). In this paper, we propose an approach which tries to solve this problem by using Approximate Query Processing (AQP).


title: Towards Fuzzy-Hard Clustering Mapping Processes

abstract: Although the validation step can appear crucial in the case of clustering adopting fuzzy approaches, the problem of the partition validity obtained by those adopting the hard ones was not tackled. To cure this problem, we propose in this paper fuzzy-hard mapping processes of clustering while benefitting from those adopting the fuzzy case. These mapping processes concern: (1) local and global clustering evaluation measures: the first for the detection of the "worst" clusters to merging or splitting them. The second relates to the evaluation of the obtained partition for each iteration, (2) merging and splitting processes taking into account the proposed measures, and (3) automatic clustering algorithms implementing these new concepts.


title: Asymptotics of spacing distributions 50 years later

abstract: In 1962 Dyson used a physically based, macroscopic argument to deduce the first two terms of the large spacing asymptotic expansion of the gap probability for the bulk state of random matrix ensembles with symmetry parameter \beta. In the ensuing years, the question of asymptotic expansions of spacing distributions in random matrix theory has shown itself to have a rich mathematical content. As well as presenting the main known formulas, we give an account of the mathematical methods used for their proofs, and provide some new formulas. We also provide a high precision numerical computation of one of the spacing probabilities to illustrate the accuracy of the corresponding asymptotics.


title: Decoding Pure Rotational Molecular Spectra for Asymmetric Molecules

abstract: In this paper we demonstrate how asymmetric molecular rotational spectra may be introduced to students both "pictorially" and with simple formulae. It is shown that the interpretation of such spectra relies heavily upon pattern recognition. The presentation of some common spectral patterns in near-prolate asymmetric rotational spectra provides a means by which spectral assignment, and approximate rotational constant determination, may be usefully explored in the physics and chemistry classrooms. To aid in this endeavor we have created a supporting, free, web page and mobile web page.


title: On the homotopy type of A(\Sigma(X))

abstract: We give a correct proof that for all connected spaces X, the functor X |-> A(\Sigma(X)) splits up to homotopy as a product of its Goodwillie derivatives.


title: A New Boundary Scheme for BGK Model

abstract: In this paper, we proposed a new boundary condition scheme for the BGK model which has second order accuracy and can be developed to higher accuracy. Numerical tests show that the numerical solutions of the BGK model applied to the new boundary scheme have great agreement with analytical solutions. It is also found that the numerical accuracy of the present schemes is much better than that of the original extrapolation schemes proposed by Guo et al at small grid.


title: Conditional measurement in noncontextual hidden variables models

abstract: The noncontextual hidden variables models in $d=2$, such as the ones constructed by Bell and by Kochen and Specker, have difficulties in accounting for the conditional measurement of two non-orthogonal projectors. An idea of branching in the hidden variables space, which provides a means to realize the notion of reduction effectively and describe the state preparation, is suggested as a way to resolve the difficulties associated with the conditional measurement.


title: Information, Community, and Action: How Nonprofit Organizations Use Social Media

abstract: The rapid diffusion of "microblogging" services such as Twitter is ushering in a new era of possibilities for organizations to communicate with and engage their core stakeholders and the general public. To enhance understanding of the communicative functions microblogging serves for organizations, this study examines the Twitter utilization practices of the 100 largest nonprofit organizations in the United States. The analysis reveals there are three key functions of microblogging updates-"information," "community," and "action." Though the informational use of microblogging is extensive, nonprofit organizations are better at using Twitter to strategically engage their stakeholders via dialogic and community-building practices than they have been with traditional websites. The adoption of social media appears to have engendered new paradigms of public engagement. Keywords: microblogging; Twitter; social media; stakeholder relations; organizational communication; organization-public relations; nonprofit organizations


title: A Structural Phase Transition in Ca3Co4O9 Associated with Enhanced High Temperature Thermoelectric Properties

abstract: Temperature dependent electrical resistivity, crystal structure and heat capacity measurements reveal a resistivity drop and metal to semiconductor transition corresponding to first order structural phase transition near 400 K in Ca3Co4O9. The lattice parameter c varies smoothly with increasing temperature, while anomalies in the a, b1 and b2 lattice parameters occur at ~ 400 K. Both Ca2CoO3 and CoO2 layers become distorted above ~ 400 K associated with the metal to semiconductor transport behavior change. Resistivity and heat capacity measurements as a function of temperature under magnetic field indicates low spin contribution to this transition. Reduced resistivity associated with this first order phase transition from metallic to semiconducting behavior enhances the thermoelectric properties at high temperatures and points to the metal to semiconductor transition as a mechanism for improved ZT in high temperature thermoelectric oxides.


title: Monotonicity of time-dependent transportation costs and coupling by reflection

abstract: Based on a study of the coupling by reflection of diffusion processes, a new monotonicity in time of a time-dependent transportation cost between heat distribution is shown under Bakry-Emery's curvature-dimension condition on a Riemannian manifold. The cost function comes from the total variation between heat distributions on spaceforms. As a corollary, we obtain a comparison theorem for the total variation between heat distributions. In addition, we show that our monotonicity is stable under the Gromov-Hausdorff convergence of the underlying space under a uniform curvature-dimension and diameter bound.


title: Subaru FOCAS survey of z=7-7.1 Ly{\alpha} emitters: a test for z >~ 7 Ly{\alpha} photometric luminosity functions

abstract: Recent observations of z >~ 7 Ly{\alpha} emitters (LAEs) have derived a variety of Ly{\alpha} luminosity functions (LFs) with contradictory results, evolution or non-evolution from z <~ 6, the epoch after reionization. This could be because most of z >~ 7 LFs comprise photometric candidates and might include some contaminations. We conducted the Subaru Telescope Faint Object Camera And Spectrograph narrowband NB980 ({\lambda}c ~ 9800A, FWHM ~ 100A) imaging and spectroscopy survey of z=7-7.1 LAEs to compare its "contamination-free" result with z >~ 7 photometric Ly{\alpha} LFs previously derived. We imaged the Subaru Deep Field and the sky around a cluster MS 1520.1+3002 and found one LAE candidate, but spectroscopy did not reveal Ly{\alpha} though deep enough to detect it. We calculated the expected number of LAEs in our survey, using five z=7 and three z=7.7 Ly{\alpha} LFs from recent surveys. Seven of them are consistent with null detection (0.1^{+1.8}_{-0.1}-1.1^{+2.2}_{-1.0} LAEs) within errors including Poisson statistics and cosmic variance, but average values (0.7-1.1 LAEs) predicted from one z=7 and two z=7.7 LFs among the seven indicate nearly a single detection. The remaining one z=7 LF predicts 3.0^{+3.2}_{-2.0} LAEs. As to z=7, the discrepancy likely comes from different LAE selection criteria. For z=7.7, there are two possibilities; (1) If z=7.7 LAEs are somehow brighter in Ly{\alpha} luminosity than lower redshift LAEs, z=7.7 LF is observed to be similar to or higher than lower redshift LFs even if attenuated by neutral hydrogen. (2) All/most of the z=7.7 candidates are not LAEs. This supports the decline of LF from z ~ 6 to 7.7 and reionization at z ~ 6-7.7.


title: A Search for z=7.3 Ly{\alpha} Emitters behind Gravitationally Lensing Clusters

abstract: We searched for z=7.3 Lya emitters (LAEs) behind two lensing clusters, Abell 2390 and CL 0024, with the Subaru Telescope Suprime-Cam and a narrowband NB1006 (FWHM ~ 21 nm centered at 1005 nm). We investigated if there exist objects consistent with the color of z=7.3 LAEs behind the clusters but could not detect any LAEs to the unlensed line limit F(Lya) ~ 6.9 x 10^{-18} erg/s/cm^2. Using several z=7 Lya luminosity functions (LFs) from the literature, we estimated and compared the expected detection numbers of z ~ 7 LAEs in lensing and blank field surveys in the case of using an 8m class ground based telescope. Given the steep bright-end slope of the LFs, when the detector field-of view (FOV) is comparable to the angular extent of a massive lensing cluster, imaging cluster(s) is more efficient in detecting z ~ 7 LAEs than imaging a blank field. However, the gain is expected to be modest, a factor of two at most and likely much less depending on the adopted LFs. The main advantage of lensing-cluster survey, therefore, remains to be the gain in depth and not necessarily in detection efficiency. For much larger detectors, the lensing effect becomes negligible and the efficiency of LAE detection is proportional to the instrumental FOV. We also inspected NB1006 images of three z ~ 7 z-dropouts previously detected in Abell 2390 and found that none of them are detected in NB1006. Two of them are consistent with predictions from the previous studies that they would be at lower redshifts. The other one has a photometric redshift of z ~ 7.3, and if it is at z=7.3, its unlensed Lya line flux would be very faint: F(Lya) < 4.4 x 10^{-18} erg/s/cm^2 (1 sigma upper limit) or rest frame equivalent width of W(Lya) < 26A. Its Lya emission might be attenuated by neutral hydrogen, as recent studies show that the fraction of Lyman break galaxies displaying strong Lya emission is lower at z ~ 7 than at z <~ 6.


title: Convergent and Anti-diffusive Properties of Mean-Shift Method

abstract: An analytic framework based on partial differential equations is derived for certain dynamic clustering methods. The proposed mathematical framework is based on the application of the conservation law in physics to characterize successive transformations of the underlying probability density function. It is then applied to analyze the convergence and stability of mean shift type of dynamic clustering algorithms. Theoretical analysis shows that un-supervised mean-shift type of algorithm is intrinsically unstable. It is proved that the only possibility of a correct convergence for unsupervised mean shift type of algorithm is to transform the original probability density into a multivariate normal distribution with no dependence struture. Our analytical results suggest that a more stable and convergent mean shift algorithm might be achieved by adopting a judiciously chosen supervision mechanism.


title: Using Mimicry to Learn about Mental Representations

abstract: Phonology typically describes speech in terms of discrete signs like features. The field of intonational phonology uses discrete accents to describe intonation and prosody. But, are such representations useful? The results of mimicry experiments indicate that discrete signs are not a useful representation of the shape of intonation contours. Human behaviour seems to be better represented by a attractors where memory retains substantial fine detail about an utterance. There is no evidence that discrete abstract representations that might be formed that have an effect on the speech that is subsequently produced. This paper also discusses conditions under which a discrete phonology can arise from an attractor model and why - for intonation - attractors can be inferred without the implying a discrete phonology.


title: Evading the pulsar constraints on the cosmic string tension in supergravity inflation

abstract: The cosmic string is a useful probe of the early Universe and may give us a clue to physics at high energy scales where any artificial particle accelerators cannot reach. Although one of the most promising tools is the cosmic microwave background, the constraint from gravitational waves is becoming so stringent that one may not hope to detect its signatures in the cosmic microwave background. In this paper, we construct a scenario that contains cosmic strings observable in the cosmic microwave background while evading the constraint imposed by the recent pulsar timing data. We argue that cosmic strings with relatively large tension are allowed by delaying the onset of the scaling regime. We also show that this scenario is naturally realized in the context of chaotic inflation in supergravity, where the phase transition is governed by the Hubble induced mass.


title: Reliable communication over non-binary insertion/deletion channels

abstract: We consider the problem of reliable communication over non-binary insertion/deletion channels where symbols are randomly deleted from or inserted in the transmitted sequence and all symbols are corrupted by additive white Gaussian noise. To this end, we utilize the inherent redundancy achievable in non-binary symbol sets by first expanding the symbol set and then allocating part of the bits associated with each symbol to watermark symbols. The watermark sequence, known at the receiver, is then used by a forward-backward algorithm to provide soft information for an outer code which decodes the transmitted sequence. Through numerical results and discussions, we evaluate the performance of the proposed solution and show that it leads to significant system ability to detect and correct insertions/deletions. We also provide estimates of the maximum achievable information rates of the system, compare them with the available bounds, and construct practical codes capable of approaching these limits.


title: Mixing Times of Self-Organizing Lists and Biased Permutations

abstract: Sampling permutations from S_n is a fundamental problem from probability theory. The nearest neighbor transposition chain \cal{M}}_{nn} is known to converge in time \Theta(n^3 \log n) in the uniform case and time \Theta(n^2) in the constant bias case, in which we put adjacent elements in order with probability p \neq 1/2 and out of order with probability 1-p. Here we consider the variable bias case where we put adjacent elements x<y in order with probability p{x,y} and out of order with probability 1-p_{x,y}. The problem of bounding the mixing rate of M_{nn} was posed by Fill and was motivated by the Move-Ahead-One self-organizing list update algorithm. It was conjectured that the chain would always be rapidly mixing if 1/2 \leq p_{x,y} \leq 1 for all x < y, but this was only known in the case of constant bias or when p_{x,y} is equal to 1/2 or 1, a case that corresponds to sampling linear extensions of a partial order. We prove the chain is rapidly mixing for two classes: "Choose Your Weapon," where we are given r_1,..., r_{n-1} with r_i \geq 1/2 and p_{x,y}=r_x for all x<y (so the dominant player chooses the game, thus fixing his or her probability of winning), and "League Hierarchies," where there are two leagues and players from the A-league have a fixed probability of beating players from the B-league, players within each league are similarly divided into sub-leagues with a possibly different fixed probability, and so forth recursively. Both of these classes include permutations with constant bias as a special case. Moreover, we also prove that the most general conjecture is false by constructing a counterexample where 1/2 \leq p_{x,y} \leq 1 for all x< y, but for which the nearest neighbor transposition chain requires exponential time to converge.


title: An Efficient Finite Tree Automata Library

abstract: Numerous computer systems use dynamic control and data structures of unbounded size. These data structures have often the character of trees or they can be encoded as trees with some additional pointers. This is exploited by some currently intensively studied techniques of formal verification that represent an infinite number of states using a finite tree automaton. However, currently there is no tree automata library implementation that would provide an efficient and flexible support for such methods. Thus the aim of this Master's Thesis is to provide such a library. The present paper first describes the theoretical background of finite tree automata and regular tree languages. Then it surveys the current implementations of tree automata libraries and studies various verification techniques, outlining requirements for the library. Representation of a finite tree automaton and algorithms that perform standard language operations on this representation are proposed in the next part, which is followed by description of library implementation. Through a series of experiments it is shown that the library can compete with other available tree automata libraries, in certain areas being even significantly superior to them.


title: Computing without a computer: a new approach for solving nonlinear differential equations

abstract: The well-known Turing machine is an example of a theoretical digital computer, and it was the logical basis of constructing real electronic computers. In the present paper we propose an alternative, namely, by formalising arithmetic operations in the ordinary computing device, we attempt to go to the analytical procedure (for calculations). The method creates possibilities for solving nonlinear differential equations and systems. Our theoretical computer model requires retaining a finite number of terms to represent numbers, and utilizes digit carry procedure. The solution is represented in the form of a segment of a series in the powers of the step size of the independent variable in the finite-difference scheme. The algorithm generates a schematic representation that approximates the convergent finite-difference scheme, which, in turn, approximates the equation under consideration. The use of probabilistic methods allows us to average the recurrent calculations and exclude intermediate levels of computation. All the stages of formalizing operations of the classical computer result in "the method of the computer analogy". The proposed method leads to an explicit analytical representation of the solution. We present the general features of the algorithm which are illustrated by an example of solutions for a system of nonlinear equations.


title: Temporal fluctuations in the bosonic Josephson junction as a probe for phase space tomography

abstract: We study the long time coherence dynamics of a two-mode Bose-Hubbard model in the Josephson interaction regime, as a function of the relative phase and occupation imbalance of an arbitrary coherent preparation. We find that the variance of the long time fluctuations of the one-body coherence can be factorized as a product of the inverse participation number 1/M that depends only on the preparation, and a semi-classical function C(E) that reflects the phase space characteristics of the pertinent observable. Temporal fluctuations can thus be used as a sensitive probe for phase space tomography of quantum many-body states.


title: The density of states in gauge theories

abstract: The density of states is calculated for a SU(2) and a compact U(1) lattice gauge theory using a modified version of the Wang-Landau algorithm. We find that the density of states of the SU(2) gauge theory can be reliably calculated over a range of 120,000 orders of magnitude for lattice sizes as big as 20^4. We demonstrate the potential of the algorithm by reproducing the SU(2) average action, its specific heat and the critical couplings of the weak first order transition in U(1).


title: Gelfand spectra and Wallman compactifications

abstract: We carry out a systematic, topos-theoretically inspired, investigation of Wallman compactifications with a particular emphasis on their relations with Gelfand spectra and Stone-Cech compactifications. In addition to proving several specific results about Wallman bases and maximal spectra of distributive lattices, we establish a general framework for functorializing the representation of a topological space as the maximal spectrum of a Wallman base for it, which allows to generate different dualities between categories of topological spaces and subcategories of the category of distributive lattices; in particular, this leads to a categorical equivalence between the category of commutative C*-algebras and a natural category of distributive lattices. We also establish a general theorem concerning the representation of the Stone-Cech compactification of a locale as a Wallman compactification, which subsumes all the previous results obtained on this problem.


title: Monografia

abstract: Developed structural scheme implementation of an integrated security and formulated principles for the creation and development of an effective system of information security.


title: Periodic integral operators over Cayley-Dickson algebras and spectra

abstract: Periodic integral operators over Cayley-Dickson algebras related with integration of PDE are studied. Their continuity and spectra are investigated.


title: Generalized Compactification in Heterotic String Theory

abstract: In this thesis, we consider heterotic string vacua based on a warped product of a four-dimensional domain wall and a six-dimensional internal manifold preserving only two supercharges. Thus, they correspond to half-BPS states of heterotic supergravity. The constraints on the internal manifolds with SU(3) structure are derived. They are found to be a generalization of half-flat manifolds with a particular pattern of torsion classes and they include half-flat manifolds and Strominger's complex non-Kahler manifolds as special cases. We also verify that heterotic compactifications on half-flat mirror manifolds are based on this class of solutions. Furthermore, within this context, we construct specific examples based on six-dimensional nearly-Kahler homogeneous manifolds and non-trivial vector bundles thereon. Our solutions are based on three specific group coset spaces satisfying the half-flat torsion class conditions. It is shown how to construct line bundles over these manifolds, compute their properties and build up vector bundles consistent with supersymmetry and the heterotic anomaly cancellation. It turns out that the most interesting solutions are obtained from $SU(3)/U(1)^2$. This space supports a large number of vector bundles leading to consistent heterotic vacua with GUT group and, for some of them, with three chiral families.


title: Riemannian Metrics and Harmonic Sections of Spinor Bundles

abstract: We study the clustering of the lowest non negative eigenvalue of the Dirac operator on a general Dirac bundle when the metric structure is varied. In the classical case we show that any closed spin manifold of dimension greater than or equal to four has a Riemannian metric admitting non trivial harmonic spinors.


title: Process algebra with conditionals in the presence of epsilon

abstract: In a previous paper, we presented several extensions of ACP with conditional expressions, including one with a retrospection operator on conditions to allow for looking back on conditions under which preceding actions have been performed. In this paper, we add a constant for a process that is only capable of terminating successfully to those extensions of ACP, which can be very useful in applications. It happens that in all cases the addition of this constant is unproblematic.


title: Effective Diffusions with Intertwined Structures

abstract: Let p:N->M be a surjective map of smooth manifolds. We are concerned with singular perturbation problems associated to a pair of second order positive definite differential operators with no zero order terms, that are intertwined by p. We discuss the associated random perturbations of stochastic differential equations and present a number of examples including perturbation to geodesic flows and construction of a Brownian motion on S^2 through homogenisation of SDE's on the Hopf fibration.


title: Plug-in martingales for testing exchangeability on-line

abstract: A standard assumption in machine learning is the exchangeability of data, which is equivalent to assuming that the examples are generated from the same probability distribution independently. This paper is devoted to testing the assumption of exchangeability on-line: the examples arrive one by one, and after receiving each example we would like to have a valid measure of the degree to which the assumption of exchangeability has been falsified. Such measures are provided by exchangeability martingales. We extend known techniques for constructing exchangeability martingales and show that our new method is competitive with the martingales introduced before. Finally we investigate the performance of our testing method on two benchmark datasets, USPS and Statlog Satellite data; for the former, the known techniques give satisfactory results, but for the latter our new more flexible method becomes necessary.


title: The critical current density in type-II superconducting bulk materials

abstract: The critical current density Jc in type-II conventional and high-Tc superconducting bulk materials is investigated based on the quantum theory for the vortex dynamics. It is shown that for a constant magnetic field, the critical current density Jc decreases weakly with increasing temperature when T<T_dp(depinning temperature); when T_dp< T <T_f (boundary fluctuation temperature,Jc is power-law-decaying,and when T>T_f,Jc decays exponentially; while for a constant temperature, Jc first decreases, then increases after reaching a maximum, and finally decreases again as the magnetic field increases. These results are in agreement with the experiments.


title: A Parametric Study on the Starting Transients of a Vacuum Ejector-Diffuser System

abstract: In this endeavor, the transients persisting in a vacuum ejector system (put reference of my old paper) is studied by numerically simulating the flow field, and experimentally validating the simulated results. An inertial effect was discovered in the study due to which the direction of mass flux changes. As a result of this, the recirculation zone moves forward and backward during the transients and the pressure in the secondary chamber rises and falls. The system behaves as a damped oscillatory flow in which the direction of mass flux keeps on changing and finally settles down to a state where there is no mass flux in either direction. The movement of recirculation zone due to this inertial effect is studied in more detail for various flow and geometric parameters. The results obtained show that the pressure and mass flux through the secondary chamber depend highly on both the thickness of the primary and secondary jet and the chamber volume. The inertial effect reduces with the reduction in thickness of primary and secondary flow. The inertial effect is found to be decreasing with increasing secondary chamber volume. It is also found that, the inertial effect decreases as the primary jet pressure increases, for all other parameters remaining the same. The computationally simulated flow field and the pressure on the secondary chamber are compared with the experimental data and found to be matching fairly well.


title: A quasi-linear gyrokinetic transport model for tokamak plasmas

abstract: The development of a quasi-linear gyrokinetic transport model for tokamak plasmas, ultimately designed to provide physically comprehensive predictions of the time evolution of the thermodynamic relevant quantities, is a task that requires tight links among theoretical, experimental and numerical studies. The framework of the model here proposed, which operates a reduction of complexity on the nonlinear self-organizing plasma dynamics, allows in fact multiple validations of the current understanding of the tokamak micro-turbulence. The main outcomes of this work stem from the fundamental steps involved by the formulation of such a reduced transport model, namely: (1) the verification of the quasi-linear plasma response against the nonlinearly computed solution, (2) the improvement of the turbulent saturation model through an accurate validation of the nonlinear codes against the turbulence measurements, (3) the integration of the quasi-linear model within an integrated transport solver.


title: Lower Complexity Bounds for Lifted Inference

abstract: One of the big challenges in the development of probabilistic relational (or probabilistic logical) modeling and learning frameworks is the design of inference techniques that operate on the level of the abstract model representation language, rather than on the level of ground, propositional instances of the model. Numerous approaches for such "lifted inference" techniques have been proposed. While it has been demonstrated that these techniques will lead to significantly more efficient inference on some specific models, there are only very recent and still quite restricted results that show the feasibility of lifted inference on certain syntactically defined classes of models. Lower complexity bounds that imply some limitations for the feasibility of lifted inference on more expressive model classes were established early on in (Jaeger 2000). However, it is not immediate that these results also apply to the type of modeling languages that currently receive the most attention, i.e., weighted, quantifier-free formulas. In this paper we extend these earlier results, and show that under the assumption that NETIME =/= ETIME, there is no polynomial lifted inference algorithm for knowledge bases of weighted, quantifier- and function-free formulas. Further strengthening earlier results, this is also shown to hold for approximate inference, and for knowledge bases not containing the equality predicate.


title: Optimizing the Medium Access Control in Multi-hop Wireless Networks

abstract: We study the problem of geometric optimization of medium access control in multi-hop wireless network. We discuss the optimal placements of simultaneous transmitters in the network and our general framework allows us to evaluate the performance gains of highly managed medium access control schemes that would be required to implement these placements. In a wireless network consisting of randomly distributed nodes, our performance metrics are the optimum transmission range that achieves the most optimal tradeoff between the progress of packets in desired directions towards their respective destinations and the total number of transmissions required to transport packets to their destinations. We evaluate ALOHA based scheme where simultaneous transmitters are dispatched according to a uniform Poisson distribution and compare it with various grid pattern based schemes where simultaneous transmitters are positioned in specific regular patterns. Our results show that optimizing the medium access control in multi-hop network should take into account the parameters like signal-to-interference ratio threshold and attenuation coefficient. For instance, at typical values of signal-to-interference ratio threshold and attenuation coefficient, the most optimal scheme is based on triangular grid pattern and, under no fading channel model, the most optimal transmission range and network capacity are higher than the optimum transmission range and capacity achievable with ALOHA based scheme by factors of two and three respectively. Later on, we also identify the optimal medium access control schemes when signal-to-interference ratio threshold and attenuation coefficient approach the extreme values and discuss how fading impacts the performance of all schemes we evaluate in this article.


title: Ab initio nonperturbative calculation of physical observables in light-front dynamics. Application to the Yukawa model

abstract: We present a coherent and operational strategy to calculate, in a nonperturbative way, physical observables in light-front dynamics. This strategy is based on the decomposition of the state vector of any compound system in Fock components, and on the covariant formulation of light-front dynamics, together with the so-called Fock sector dependent renormalization scheme. We apply our approach to the calculation of the electromagnetic form factors of a fermion in the Yukawa model, in the nontrivial three-body Fock space truncation, for rather large values of the coupling constant. We find that, once the renormalization conditions are properly taken into account, the form factors do not depend on the regularization scale, when the latter is much larger than the physical masses. We then extend the Fock space by including antifermion degrees of freedom.


title: New Ramsey Classes from Old

abstract: Let C_1 and C_2 be strong amalgamation classes of finite structures, with disjoint finite signatures sigma and tau. Then C_1 wedge C_2 denotes the class of all finite (sigma cup tau)-structures whose sigma-reduct is from C_1 and whose tau-reduct is from C_2. We prove that when C_1 and C_2 are Ramsey, then C_1 wedge C_2 is also Ramsey. We also discuss variations of this statement, and give several examples of new Ramsey classes derived from those general results.


title: Combinatorial Evolution and Forecasting of Communication Protocol ZigBee

abstract: The article addresses combinatorial evolution and forecasting of communication protocol for wireless sensor networks (ZigBee). Morphological tree structure (a version of and-or tree) is used as a hierarchical model for the protocol. Three generations of ZigBee protocol are examined. A set of protocol change operations is generated and described. The change operations are used as items for forecasting based on combinatorial problems (e.g., clustering, knapsack problem, multiple choice knapsack problem). Two kinds of preliminary forecasts for the examined communication protocol are considered: (i) direct expert (expert judgment) based forecast, (ii) computation of the forecast(s) (usage of multicriteria decision making and combinatorial optimization problems). Finally, aggregation of the obtained preliminary forecasts is considered (two aggregation strategies are used).


title: Precise measurements of the W mass at the Tevatron and indirect constraints on the Higgs mass

abstract: I describe the latest D0 and CDF W boson mass measurements. The D0 measurement is performed with $4.3\, fb^{-1}$ of integrated luminosity in the electron decay channel with a data set of $1.68\times 10^{6}$ W candidates. The value of the W boson mass measured by D0 is $M_W = 80.375\pm 0.023\, GeV$ when combined with the previously analyzed $1\, fb^{-1}$ of integrated luminosity. The CDF measurement uses $2.2\, fb^{-1}$ of integrated luminosity in both electron and muon decay channels with a total of $1.1\times 10^{6}$ W candidates. The value of the W boson mass measured by CDF is $M_W = 80.387\pm 0.019\, GeV$. I report the combination of these two measurements with previous Tevatron measurements and with the LEP measurements of the W boson mass. The new world average is $M_W = 80.385\pm 0.015\, GeV$. I discuss the implications of the new measurement to the indirect measurement of the Standard Model Higgs boson mass.


title: Investigating operation of the Internet in orbit: Five years of collaboration around CLEO

abstract: The Cisco router in Low Earth Orbit (CLEO) was launched into space as an experimental secondary payload onboard the UK Disaster Monitoring Constellation (UK-DMC) satellite in September 2003. The UK-DMC satellite is one of an increasing number of DMC satellites in orbit that rely on the Internet Protocol (IP) for command and control and for delivery of data from payloads. The DMC satellites, built by Surrey Satellite Technology Ltd (SSTL), have imaged the effects of Hurricane Katrina, the Indian Ocean Tsunami, and other events for disaster relief under the International Space and Major Disasters Charter. It was possible to integrate the Cisco mobile access router into the UK-DMC satellite as a result of the DMC satellites' adoption of existing commercial networking standards, using IP over Frame Relay over standard High-Level Data Link Control, or HDLC (ISO 13239) on standard serial interfaces. This approach came from work onboard SSTL's earlier UoSAT-12 satellite


title: Zero modes, gauge fixing, monodromies, $\zeta$-functions and all that

abstract: We discuss various issues associated with the calculation of the reduced functional determinant of a special second order differential operator $\boldmath${F}$ =-d^2/d\tau^2+\ddot g/g$, $\ddot g\equiv d^2g/d\tau^2$, with a generic function $g(\tau)$, subject to periodic and Dirichlet boundary conditions. These issues include the gauge-fixed path integral representation of this determinant, the monodromy method of its calculation and the combination of the heat kernel and zeta-function technique for the derivation of its period dependence. Motivations for this particular problem, coming from applications in quantum cosmology, are also briefly discussed. They include the problem of microcanonical initial conditions in cosmology driven by a conformal field theory, cosmological constant and cosmic microwave background problems.


title: Saratoga: scalable, speedy data delivery for sensor networks

abstract: A networking transport protocol, named Saratoga, has been developed at the University of Surrey for efficient delivery of imagery from Internet-Protocol-based remote-sensing satellites. Saratoga is now being implemented and evaluated for use for the high-end data-delivery needs of astronomers using large, advanced, radio telescopes. These telescopes are expected to take advantage of Internet technologies. This brief paper outlines the reasons for the creation and adoption of this protocol, discusses how it differs from and complements other protocols, and summarises the worldwide collaboration that is making this development possible.


title: Assessing and improving an approach to delay-tolerant networking

abstract: Delay-tolerant networking (DTN) is a term invented to describe and encompass all types of long-delay, disconnected, disrupted or intermittently-connected networks, where mobility and outages or scheduled contacts may be experienced. 'DTN' is also used to refer to the Bundle Protocol, which has been proposed as the one unifying solution for disparate DTN networking scenarios, after originally being designed solely for use in deep space for the 'Interplanetary Internet.' We evaluated the Bundle Protocol by testing it in space and on the ground. We have found architectural weaknesses in the Bundle Protocol that may prevent engineering deployment of this protocol in realistic delay-tolerant networking scenarios, and have proposed approaches to address these weaknesses.


title: SaVi: satellite constellation visualization

abstract: SaVi, a program for visualizing satellite orbits, movement, and coverage, is maintained at the University of Surrey. This tool has been used for research in academic papers, and by industry companies designing and intending to deploy satellite constellations. It has also proven useful for demonstrating aspects of satellite constellations and their geometry, coverage and movement for educational and teaching purposes. SaVi is introduced and described briefly here.


title: Pion-Field Theoretical Description of the Delta^{++}(1236)-Resonance without QCD

abstract: Excited states of the nucleon were predicted by Wentzel already in 1940. Wentzel showed that such kind of states can be derived from models of meson field theory if they are treated above a certain coupling strength. In particular for a pseudo-scalar meson field theory such kind of states were derived by Pauli and Dancoff in 1942 with equal amount of spin and isospin. They can be understood as arising from excitation of the pionic cloud of the nucleon by which the main part of nuclear forces also is coming out. The excitation of these states also is the mechanism by which the pion-nucleon resonance scattering is originated which firstly was experimentally discovered by Fermi in 1955. In the following contribution a completion of the method of Wentzel and Pauli & Dancoff is sketched following a work of the author and treating the pion-nucleon resonance scattering. By means of a canonical and nonlinear transformation of variables the original meson field is split into a free meson part and a self field part of the nucleon. The transformation is defined such that the interaction between the compound nucleon system thus arising and the free mesons vanish in the case of infinitely strong coupling. The solution of this field splitting problem is presented and the problem of calculating the pion-nucleon resonance scattering from this strong-coupling theory is treated on this basis. Numerical results obtained from such a calculation are discussed. For the sake of simplicity the symmetric pseudoscalar fixed-and-extended-source meson field theory is used and found that the lowest pion-nucleon resonance scattering is quite well reproduced with essentially the same parameters necessary to reproduce the nucleon-nucleon-potential. The present investigation will serve to guide more extended considerations in this direction.


title: Doubting, Testing, and Confirming Galileo: A translation of Giovanni Battista Riccioli's experiments regarding the motion of a falling body, as reported in his 1651 Almagestum Novum

abstract: The Italian astronomer Giovanni Battista Riccioli is commonly credited with performing the first precise experiments to determine the acceleration of a freely falling body. Riccioli has been discussed by historians of science, sometimes positively but often not, but translations of his work into modern languages are not readily available. Presented here is a translation of his experiments regarding the nature of the motion of a falling body. Riccioli provides a thorough description of his experiments, and his data are quite good. He appears to have a model approach to science: He attacks the question of free fall with the expectation of disproving Galileo's ideas, yet he is convinced by his data that Galileo is indeed correct, and he promptly informs a former prot\'eg\'ee of Galileo's of the results.


title: Performance of a 229 Thorium solid-state nuclear clock

abstract: The 7.8 eV nuclear isomer transition in 229 Thorium has been suggested as an etalon transition in a new type of optical frequency standard. Here we discuss the construction of a "solid-state nuclear clock" from Thorium nuclei implanted into single crystals transparent in the vacuum ultraviolet range. We investigate crystal-induced line shifts and broadening effects for the specific system of Calcium fluoride. At liquid Nitrogen temperatures, the clock performance will be limited by decoherence due to magnetic coupling of the Thorium nucleus to neighboring nuclear moments, ruling out the commonly used Rabi or Ramsey interrogation schemes. We propose a clock stabilization based on counting of flourescence photons and present optimized operation parameters. Taking advantage of the high number of quantum oscillators under continuous interrogation, a fractional instability level of 10^{-19} might be reached within the solid-state approach.


title: Spherical Cyclic Motions in Euclidean Space E3

abstract: By considering a spatial curve in a Euclidean space, we use its components, together with attaining a cyclic matrix, to show that this matrix is homothetic too and is in correspondence with a homothetic motion. Furthermore, if the curve lies on a unit sphere, then the motion is a spherical cyclic motion.


title: Quantifying impacts of short-term plasticity on neuronal information transfer

abstract: Short-term changes in efficacy have been postulated to enhance the ability of synapses to transmit information between neurons, and within neuronal networks. Even at the level of connections between single neurons, direct confirmation of this simple conjecture has proven elusive. By combining paired-cell recordings, realistic synaptic modelling and information theory, we provide evidence that short-term plasticity can not only improve, but also reduce information transfer between neurons. We focus on a concrete example in rat neocortex, but our results may generalise to other systems. When information is contained in the timings of individual spikes, we find that facilitation, depression and recovery affect information transmission in proportion to their impacts upon the probability of neurotransmitter release. When information is instead conveyed by mean spike rate only, the influences of short-term plasticity critically depend on the range of spike frequencies that the target network can distinguish (its effective dynamic range). Our results suggest that to efficiently transmit information, the brain must match synaptic type, coding strategy and network connectivity during development and behaviour.


title: Magnetic states of heterophase particle in the field of mechanical stresses

abstract: In this paper we investigate the dependence of the magnetic states of heterophase particles on mechanical multiaxial stresses. It is shown that for such particles, there are four possible states, and the conditions of stability of these states are determined.


title: Quarkyonic Percolation and deconfinement at finite density and number of colors

abstract: We examine the interplay between the percolation and the deconfinement phase transitions of Yang-Mills matter at finite temperature, quark chemical potential $\mu_Q$ and number of colors $N_c$. We find that, whereas the critical $N_c$ for percolation goes down with density, the critical $N_c$ for confinement generally goes up. Because of this, Yang-Mills matter falls into two qualitatively different regimes: the "low-$N_c$ limit", where percolation does not occur because matter deconfines before it percolates, and the high-$N_c$ limit, where there are three distinct phases characterizing Yang-Mills matter at finite temperature and density: confined, deconfined and confined but percolating matter. The latter can be thought of as the recently conjectured "quarkyonic phase". We attempt to estimate the critical $N_c$, to see if the percolating phase can occur in our world. We find that, while percolation will not occur at normal nuclear density as in the large-$N_c$ limit, a sliver of the phase diagram in $N_c$, energy density and baryonic density where percolation occurs while confinement persists is possible. We conclude by speculating on the phenomenological properties of such percolating "quarkyonic" matter, suggest avenues to study it quantitatively, and look for it in experiment.


title: Self-regulation in Self-Propelled Nematic Fluids

abstract: We consider the hydrodynamic theory of an active fluid of self-propelled particles with nematic aligning interactions. This class of materials has polar symmetry at the microscopic level, but forms macrostates of nematic symmetry. We highlight three key features of the dynamics. First, as in polar active fluids, the control parameter for the order-disorder transition, namely the density, is dynamically convected by active currents, resulting in a generic, model independent dynamical self-regulation that destabilizes the uniform nematic state near the mean-field transition. Secondly, curvature driven currents render the system unstable deep in the nematic state, as found previously. Finally, and unique to self-propelled nematics, nematic order induces local polar order that in turn leads to the growth of density fluctuations. We propose this as a possible mechanism for the smectic order of polar clusters seen in numerical simulations.


title: Enumeration of some particular 2N x 9 N-times persymmetric matrices overt F_2 by rank

abstract: In this paper we count the number of some particular 2n x 9 n-times rank i matrices over F_2.


title: General Pontryagin-Type Stochastic Maximum Principle and Backward Stochastic Evolution Equations in Infinite Dimensions

abstract: The main purpose of this paper is to give a solution to a long-standing unsolved problem in stochastic control theory, i.e., to establish the Pontryagin-type maximum principle for optimal controls of general infinite dimensional nonlinear stochastic evolution equations. Both drift and diffusion terms can contain the control variables, and the control domains are allowed to be nonconvex. The key to reach it is to provide a suitable formulation of operator-valued backward stochastic evolution equations (BSEEs for short), as well as a way to define their solutions. Besides, both vector-valued and operator-valued BSEEs, with solutions in the sense of transposition, are studied. As a crucial preliminary, some weakly sequential Banach-Alaoglu-type theorems are established for uniformly bounded linear operators between Banach spaces.


title: Stabilizing topological phases in graphene via random adsorption

abstract: We study the possibility of realizing topological phases in graphene with randomly distributed adsorbates. When graphene is subjected to periodically distributed adatoms, the enhanced spin-orbit couplings can result in various topological phases. However, at certain adatom coverages, the intervalley scattering renders the system a trivial insulator. By employing a finite-size scaling approach and Landauer-B\"{u}ttiker formula, we show that the randomization of adatom distribution greatly weakens the intervalley scattering, but plays a negligible role in spin-orbit couplings. Consequently, such a randomization turns graphene from a trivial insulator into a topological state.


title: Enhancing Transport Efficiency by Hybrid Routing Strategy

abstract: Traffic is essential for many dynamic processes on real networks, such as internet and urban traffic systems. The transport efficiency of the traffic system can be improved by taking full advantage of the resources in the system. In this paper, we propose a dual-strategy routing model for network traffic system, to realize the plenary utility of the whole network. The packets are delivered according to different "efficient routing strategies" [Yan, et al, Phys. Rev. E 73, 046108 (2006)]. We introduce the accumulate rate of packets, {\eta} to measure the performance of traffic system in the congested phase, and propose the so-called equivalent generation rate of packet to analyze the jamming processes. From analytical and numerical results, we find that, for suitable selection of strategies, the dual- strategy system performs better than the single-strategy system in a broad region of strategy mixing ratio. The analytical solution to the jamming processes is verified by estimating the number of jammed nodes, which coincides well with the result from simulation.


title: Kneadings, Symbolic Dynamics and Painting Lorenz Chaos. A Tutorial

abstract: A new computational technique based on the symbolic description utilizing kneading invariants is proposed and verified for explorations of dynamical and parametric chaos in a few exemplary systems with the Lorenz attractor. The technique allows for uncovering the stunning complexity and universality of bi-parametric structures and detect their organizing centers - codimension-two T-points and separating saddles in the kneading-based scans of the iconic Lorenz equation from hydrodynamics, a normal model from mathematics, and a laser model from nonlinear optics.


title: Antibunching photons in a cavity coupled to an optomechanical system

abstract: We study the photon statistics of a cavity linearly coupled to an optomechanical system via second order correlation functions. Our calculations show that the cavity can exhibit strong photon antibunching even when optomechanical interaction in the optomechanical system is weak. The cooperation between the weak optomechanical interaction and the destructive interference between different paths for two-photon excitation leads to the efficient antibunching effect. Compared with the standard optomechanical system, the coupling between a cavity and an optomechanical system provides a method to relax the constraints to obtain single photon by optomechanical interaction.


title: Cohomological and projective dimensions

abstract: In this paper we give an upper bound, in characteristic 0, for the cohomological dimension of a graded ideal in a polynomial ring such that the quotient has depth at least 3. In positive characteristic the same bound holds true by a well-known theorem of Peskine and Szpiro. As a corollary, we give new examples of prime ideals that are not set-theoretically Cohen-Macaulay.


title: Dynamics determines geometry

abstract: The inverse problem of calculus of variations and $s$-equivalence are re-examined by using results obtained from non-commutative geometry ideas. The role played by the structure of the modified Poisson brackets is discussed in a general context and it is argued that classical $s$-equivalent systems may be non-equivalent at the quantum mechanical level. This last fact is explicitly discussed comparing different approaches to deal with the Nair-Polychronakos oscillator.


title: Classical Aspects of Higher Spin Topologically Massive Gravity

abstract: We study the classical solutions of three dimensional topologically massive gravity (TMG) and its higher spin generalization, in the first order formulation. The action of higher spin TMG has been proposed in arXiv:1110.5113 to be of a Chern-Simons-like form. The equations of motion are more complicated than the ones in pure higher spin AdS$_3$ gravity, but are still tractable. As all the solutions in higher spin gravity are automatically the solutions of higher spin TMG, we focus on other solutions. We manage to find the AdS pp-wave solutions with higher spin hair, and find that the nonvanishing higher spin fields may or may not modify the pp-wave geometry. In order to discuss the warped spacetime, we introduce the notion of special Killing vector, which is defined to be the symmetry on the frame-like fields. We reproduce various warped spacetimes of TMG in our framework, with the help of special Killing vectors.


title: Automated synthesis of reliable and efficient systems through game theory: a case study

abstract: Reactive computer systems bear inherent complexity due to continuous interactions with their environment. While this environment often proves to be uncontrollable, we still want to ensure that critical computer systems will not fail, no matter what they face. Examples are legion: railway traffic, power plants, plane navigation systems, etc. Formal verification of a system may ensure that it satisfies a given specification, but only applies to an already existing model of a system. In this work, we address the problem of synthesis: starting from a specification of the desired behavior, we show how to build a suitable system controller that will enforce this specification. In particular, we discuss recent developments of that approach for systems that must ensure Boolean behaviors (e.g., reachability, liveness) along with quantitative requirements over their execution (e.g., never drop out of fuel, ensure a suitable mean response time). We notably illustrate a powerful, practically useable algorithm for the automated synthesis of provably safe reactive systems.


title: Observer design for nonlinear triangular systems with unobservable linearization

abstract: The paper deals with the observer design problem for a wide class of triangular time-varying nonlinear systems, with unobservable linearization. Sufficient conditions are derived for the existence of a Luenberger-type observer, when it is a priori known that the initial state of the system belongs to a given nonempty bounded subset of the state space. For the general case, the state estimation is exhibited by means of a switching sequence of time-varying dynamics


title: Evolution of Non-Equilibrium Profile in Adsorbate Layer under Compressive Strain

abstract: We investigate the time evolution of an initial step profile separating a bare substrate region from the rest of the compressively strained adsorbate layer near a commensurate to incommensurate transition. The rate of profile evolution as a function of the mismatch, coverage and the strength of the substrate potential are determined by Brownian molecular dynamics simulations. We find that the results are qualitatively similar to those observed for the Pb/Si(111) system. The anomalously fast time evolution and sharpness of the non-equilibrium profile can be understood through the domain wall creation at the boundary and its subsequent diffusion into the interior of the adsorbate layer.


title: Integral equation for electrostatic waves radiated by a point source in a spatially homogeneous magnetized plasma

abstract: Solutions of the linearized Vlasov-Poisson equations for the electric field radiated by a time varying point charge in a three-dimensional, unbounded, spatially homogeneous plasma with a uniform background magnetic field and a uniform (static) flow velocity are expressed in terms of an equivalent integral equation in the time domain. For plasmas characterized by Maxwell distribution functions with isotropic temperatures, the kernel has a relatively simple mathematical form consisting only of elementary functions, exponential and trigonometric functions (sines and cosines), and no infinite sums of Bessel functions. Consequently, the integral equation is amenable to numerical solutions and may be useful for the study of the impulse response of magnetized plasmas and, more generally, the response to arbitrary waveforms.


title: Reply to Comment on 'Material evidence of a 38 MeV boson'

abstract: We reply to a very recent Comment arxiv:1204.2349 by Bernhard, Friedrich, Schlueter, and Schoenning for the COMPASS Collaboration, in which it is stated that Monte-Carlo simulations of COMPASS data do not support any interpretation of a peaked structure in diphoton invariant-mass distributions below the neutral pion mass in terms of a new resonance. Here we show, by directly comparing the simulations to the COMPASS data themselves, that the authors' claim is not substantiated by the Monte-Carlo results presented in the Comment.


title: The flat limit of three dimensional asymptotically anti-de Sitter spacetimes

abstract: In order to get a better understanding of holographic properties of gravitational theories with a vanishing cosmological constant, we analyze in detail the relation between asymptotically anti-de Sitter and asymptotically flat spacetimes in three dimensions. This relation is somewhat subtle because the limit of vanishing cosmological constant cannot be naively taken in standard Fefferman-Graham coordinates. After reformulating the standard anti-de Sitter results in Robinson-Trautman coordinates, a suitably modified Penrose limit is shown to connect both asymptotic regimes.


title: A Disc-Corona Model for a Rotating Black Hole

abstract: We propose a disc-corona model in which a geometrically thin, optically thick disc surrounds a Kerr black hole, and magnetic fields exert a time-steady torque on the inner edge of the accretion disc. The analytical expression of the total gravitational power is derived from the thin-disc dynamics equations by using this new boundary condition. It is shown that the magnetic torque can considerably enhance the amount of energy released in the disc-corona system. Furthermore, the global solutions of this disc-corona system are obtained numerically. We find that the fraction of the power dissipated into the corona in the total for such disc-corona system increases with the increasing dimensionless black hole spin parameter $a_\ast $, but is insensitive on the $\Delta \varepsilon $ which is the additional radiative efficiency parameter relevant to magnetic torque, for $\Delta\varepsilon > 1$. In addition, the emerged spectra from this disc-corona system are simulated by using Monte-Carlo method, and the effect of the different parameters on the output spectra is discussed.


title: An Existence Result for the Mean Field Equation on Compact Surfaces in a Doubly Supercritical Regime

abstract: We consider a class of variational equations with exponential nonlinearities on a compact Riemannian surface, describing the mean field equation of the equilibrium turbulance with arbitrarily signed vortices. For the first time, we consider the problem with both supercritical parameters and we give an existence result by using variational methods. In doing this, we present a new Moser-Trudinger type inequality under suitable conditions on the center of mass and the scale of concentration of both e^u and e^{-u}, where u is the unknown function in the equation.


title: Zero-temperature transition and correlation-length exponent of the frustrated XY model on a honeycomb lattice

abstract: Phase coherence and vortex order in the fully frustrated XY model on a two-dimensional honeycomb lattice are studied by extensive Monte Carlo simulations using the parallel tempering method and finite-size scaling. No evidence is found for an equilibrium order-disorder or a spin/vortex-glass transition, suggested in previous simulation works. Instead, the scaling analysis of correlations of phase and vortex variables in the full equilibrated system is consistent with a phase transition where the critical temperature vanishes and the correlation lengths diverge as a power-law with decreasing temperatures and corresponding critical exponents $\nu_{ph}$ and $\nu_{v}$. This behavior and the near agreement of the critical exponents suggest a zero-temperature transition scenario where phase and vortex variables remain coupled on large length scales.


title: Jet magnetically accelerated from disk-corona around a rotating black hole

abstract: A jet acceleration model for extracting energy from disk-corona surrounding a rotating black hole is proposed. In the disk-corona scenario, we obtain the ratio of the power dissipated in the corona to the total for such disk-corona system by solving the disk dynamics equations. The analytical expression of the jet power is derived based on the electronic circuit theory of the magnetosphere. It is shown that jet power increases with the increasing black hole (BH) spin, and concentrates in the inner region of the disk-corona. In addition, we use a sample consisting of 37 radio loud quasars to explore their jet production mechanism, and show that our jet formation mechanism can simulate almost all sources with high power jet, that fail to be explained by the Blandford-Znajek (BZ) process.


title: Efficiently decoding strings from their shingles

abstract: Determining whether an unordered collection of overlapping substrings (called shingles) can be uniquely decoded into a consistent string is a problem that lies within the foundation of a broad assortment of disciplines ranging from networking and information theory through cryptography and even genetic engineering and linguistics. We present three perspectives on this problem: a graph theoretic framework due to Pevzner, an automata theoretic approach from our previous work, and a new insight that yields a time-optimal streaming algorithm for determining whether a string of $n$ characters over the alphabet $\Sigma$ can be uniquely decoded from its two-character shingles. Our algorithm achieves an overall time complexity $\Theta(n)$ and space complexity $O(|\Sigma|)$. As an application, we demonstrate how this algorithm can be extended to larger shingles for efficient string reconciliation.


title: Some ball quotients with a Calabi--Yau model

abstract: The aim of this note is to treat one distinguished example of a Calabi--Yau variety that appears as a small resolution of a Picard modular variety


title: Coupling of Josephson Currents in Quantum Hall Bilayers

abstract: We study ring shaped (Corbino) devices made of bilayer two-dimensional electron gases in the total filling factor one quantized Hall phase which is considered to be a coherent BCS-like state of interlayer excitons. Identical Josephson currents are observed at the two edges while only a negligible conductance between them is found. The maximum Josephson current observed at either edge can be controlled by passing a second interlayer Josephson current at the other edge. Due to the large electric resistance between the two edges, the interaction between them can only be mediated by the neutral interlayer excitonic groundstate.


title: Weak Measurements in Non-Hermitian Systems

abstract: "Weak measurements" -- involving a weak unitary interaction between a quantum system and a meter followed by a projective measurement -- are investigated when the system has a non-Hermitian Hamiltonian. We show in particular how the standard definition of the "weak value" of an observable must be modified. These studies are undertaken in the context of bound state scattering theory, a non-Hermitian formalism for which the Hilbert spaces involved are unambiguously defined and the metric operators can be explicitly computed. Numerical examples are given for a model system.


title: An upscattering spectral formation model for the prompt emission of Gamma-Ray Bursts

abstract: We propose a model for the spectral formation of Gamma Ray Burst (GRB) prompt emission, where the phenomenological Band's function is usually applied to describe the GRB prompt emission. We suggest that the GRB prompt emission is mainly a result of two upscattering processes. The first process is the Comptonization of relatively cold soft photons of the star off electrons of a hot shell of plasma of temperature T_e of the order of 10^{9} K (or kT_e~100 keV) that moves sub-relativistically with the bulk velocity V_b substantially less than the speed of light c. In this phase, the Comptonization parameter Y is high and the interaction between a blackbody-like soft seed photon population and hot electrons leads to formation of a saturated Comptonization spectrum modified by the sub-relativistic bulk outflow. The second process is an upscattering of the previously Comptonized spectrum by the plasma outflow once it becomes relativistic. This process gives rise to the high-energy power-law component above the peak in the EF(E)-diagram where F(E) is the energy flux. The latter process can be described by a convolution of the Comptonized spectrum with a broken-power-law Green function. Possible physical scenarios for this second upscattering process are discussed. In the framework of our model, we give an interpretation of the Amati relation between the intrinsic spectral peak photon energy and radiated energy or luminosity, and we propose a possible explanation of the GRB temporal variability.


title: On the growth of Betti numbers in $p$-adic analytic towers

abstract: We study the asymptotic growth of Betti numbers in tower of finite covers and provide simple proofs of approximation results, which were previously obtained by Calegari-Emerton, in the generality of arbitrary p-adic analytic towers of covers. Further, we also obtain partial results about arbitrary pro-$p$ towers.


title: Self-compensation in highly n-type InN

abstract: Acceptor-type defects in highly n-type InN are probed using positron annihilation spectroscopy. Results are compared to Hall effect measurements and calculated electron mobilities. Based on this, self-compensation in n-type InN is studied and the microscopic origin of compensating and scattering centers in irradiated and Si-doped InN is discussed. We find significant compensation through negatively charged indium vacancy complexes as well as additional acceptor-type defects with no or small effective open volume, which act as scattering centers in highly n-type InN samples.


title: Common Envelope Evolution Leading to Supernovae with Dense Interaction

abstract: A variety of supernova events, including Type IIn supernovae and ultraluminous supernovae, appear to have lost up to solar masses of their envelopes in 10's to 100's of years leading up to the explosion. In order to explain the close timing of the mass loss and supernova events, we explore the possibility that the mass loss is driven by common envelope evolution of a compact object (neutron star or black hole) in the envelope of a massive star and the supernova is triggered by the inspiral of the compact object to the central core of the companion star. The expected rate of such events is smaller than the observed rate of Type IIn supernovae but the rates may agree within the uncertainties. The mass loss velocity is related to the escape velocity from the common envelope system and is comparable to the observed velocity of 100's of km s$^{-1}$ in Type IIn events. The mass loss is expected to be denser near the equatorial plane of the binary system and there is good evidence that the circumstellar media in Type IIn supernovae are asymmetric. Some of these supernova types show evidence for energies in excess of the canonical $10^{51}$ ergs, which might be the result of explosions from rapid accretion onto a compact object through a disk.


title: Blow up on a curve for a nonlinear Schr\"odinger equation on Riemannian surfaces

abstract: We consider the focusing quintic nonlinear Schr\"odinger equation posed on a rotationally symmetric surface, typically the sphere $S^2$ or the two dimensional hyperbolic space $H^2$. We prove the existence and the stability of solutions blowing up on a suitable curve with the log log speed. The Euclidean case is handled in Rapha\"el (2006) and our result shows that the log log rate persists in other geometries with the assumption of a radial symmetry of the manifold.


title: Generalized cusp in AdS_4 x CP^3 and more one-loop results from semiclassical strings

abstract: We evaluate the exact one-loop partition function for fundamental strings whose world-surface ends on a cusp at the boundary of AdS_4 and has a "jump" in CP^3. This allows us to extract the stringy prediction for the ABJM generalized cusp anomalous dimension Gamma_{cusp}^{ABJM} (phi,theta) up to NLO in sigma-model perturbation theory. With a similar analysis, we present the exact partition functions for folded closed string solutions moving in the AdS_3 parts of AdS_4 x CP^3 and AdS_3 x S^3 x S^3 x S^1 backgrounds. Results are obtained applying to the string solutions relevant for the AdS_4/CFT_3 and AdS_3/CFT_2 correspondence the tools previously developed for their AdS_5 x S^5 counterparts.


title: Deformation of diagrams

abstract: In this this paper we introduce entanglement among the points in a non-commutative scheme, in addition to the tangent directions. A diagram of $A$-modules is a pair $\uc=(|\uc|,\Gamma)$ where $|\uc|={V_1,...,V_r}$ is a set of $A$-modules, and $\Gamma=\{\gamma_{ij}(l)\}$ is a set of $A$-module homomorphisms $\gamma_{ij}(l):V_i\rightarrow V_j$, seen as the 0'th order tangent directions. This concludes the discussion on non-commutative schemes by defining the deformation theory for diagrams, making these the fundamental points of the non-commutative algebraic geometry, which means that the construction of non-commutative schemes is a closure operation. Two simple examples of the theory are given: The space of a line and a point, which is a non-commutative but untangled example, and the space of a line and a point on the line, in which the condition of the point on the line gives an entanglement between the point and the line.


title: Density functional theory study of phase IV of solid hydrogen

abstract: We have studied solid hydrogen up to pressures of 300 GPa and temperatures of 350 K using density functional theory methods and have found "mixed structures" that are more stable than those predicted earlier. Mixed structures consist of alternate layers of strongly bonded molecules and weakly bonded graphene-like sheets. Quasi-harmonic vibrational calculations show that mixed structures are the most stable at room temperature over the pressure range 250-295 GPa. These structures are stabilized with respect to strongly-bonded molecular phases at room temperature by the presence of lower-frequency vibrational modes arising from the graphene-like sheets. Our results for the mixed structures are consistent with the experimental Raman data [M. I. Eremets and I. A. Troyan, Nature Mater. 10 927 (2011) and R. T. Howie et al. Phys. Rev. Lett. 108 125501 (2012)]. We find that mixed phases are reasonable structural models for phase IV of hydrogen.


title: The radio - far infrared correlation in the faintest star forming dwarf galaxies

abstract: We study the radio - far-infrared (FIR) correlation in a sample of faint dwarf irregular galaxies using NVSS data for 1.4 GHz radio flux, Spitzer MIPS 70 um data for FIR flux, and GALEX FUV data to estimate the star formation rates (SFR). Since our target galaxies are extremely faint, we stack images of many galaxies together to estimate the average radio and FIR fluxes. We find that for a given SFR both 70 um and 1.4 GHz fluxes are low compared to the calibration for large spirals. Nonetheless, the ratio of 70 um to 1.4 GHz flux agrees within errorbars with that seen for large galaxies. The radio-FIR correlation thus appears to be the result of a 'conspiracy'. We use the SFR to estimate the non-thermal fraction of the 1.4 GHz radio emission and find it to be around 50%, much smaller than the 90% typical for spirals. We also estimate the equipartition magnetic field and find it to be ~ 2 microgauss, about five times smaller than that typical for spirals.


title: Necessary and sufficient conditions to perform Spectral Tetris

abstract: Spectral Tetris has proved to be a powerful tool for constructing sparse equal norm Hilbert space frames. We introduce a new form of Spectral Tetris which works for non-equal norm frames. It is known that this method cannot construct all frames --- even in the new case introduced here. Until now, it has been a mystery as to why Spectral Tetris sometimes works and sometimes fails. We will give a complete answer to this mystery by giving necessary and sufficient conditions for Spectral Tetris to construct frames in all cases including equal norm frames, prescribed norm frames, frames with constant spectrum of the frame operator, and frames with prescribed spectrum for the frame operator. We present a variety of examples as well as special cases where Spectral Tetris always works.


title: Multipartite maximally entangled states in symmetric scenarios

abstract: We consider the class of (N+1)-partite states suitable for protocols where there is a powerful party, the authority, and the other N parties play the same role, namely the state of their system live in the symmetric Hilbert space. We show that, within this scenario, there is a "maximally entangled state" that can be transform by a LOCC protocol into any other state. In addition, we show how to make the protocol efficiently including the construction of the state and discuss security issues for possible applications to cryptographic protocols. As an immediate consequence we recover a sequential protocol that implements the one to N symmetric cloning.


title: Moderate Deviations for Mean Field Particle Models

abstract: This article is concerned with moderate deviation principles of a general class of mean eld type interacting particle models. We discuss functional moderate deviations of the occupation measures for both the strong -topology on the space of fi nite and bounded measures as well as for the corresponding stochastic processes on some class of functions equipped with the uniform topology. Our approach is based on an original semigroup analysis combined with stochastic perturbation techniques and projective limit large deviation methods.


title: On the conformal gauge of a compact metric space

abstract: In this article we study the Ahlfors regular conformal gauge of a compact metric space $(X,d)$, and its conformal dimension $\mathrm{dim}_{AR}(X,d)$. Using a sequence of finite coverings of $(X,d)$, we construct distances in its Ahlfors regular conformal gauge of controlled Hausdorff dimension. We obtain in this way a combinatorial description, up to bi-Lipschitz homeomorphisms, of all the metrics in the gauge. We show how to compute $\mathrm{dim}_{AR}(X,d)$ using the critical exponent $Q_N$ associated to the combinatorial modulus.


title: Stochastic oscillations induced by intrinsic fluctuations in a self-repressing gene: a deterministic approach

abstract: Biochemical reaction networks are subjected to large fluctuations attributable to small molecule numbers, yet underlie reliable biological functions. Most theoretical approaches describe them as purely deterministic or stochastic dynamical systems, depending on which point of view is favored. Here, we investigate the dynamics of a self-repressing gene using an intermediate approach based on a moment closure approximation of the master equation, which allows us to take into account the binary character of gene activity. We thereby obtain deterministic equations that describe how nonlinearity feeds back fluctuations into the mean-field equations, providing insight into the interplay of determinism and stochasticity. This allows us to identify regions of parameter space where fluctuations induce relatively regular oscillations.


title: Constraining dark energy

abstract: In this paper we propose a mechanism that protects theories violating a holographic bound suggested in arXiv:1203.5476 from developing accelerated expansion. The mechanism builts on work on transplanckian physics, and a non-trivial choice of vacuum states. If correct, it lends further support for detectable signatures in the CMBR signalling new physics.


title: Homologies of Algebraic Structures via Braidings and Quantum Shuffles

abstract: In this paper we construct "structural" pre-braidings characterizing different algebraic structures: a rack, an associative algebra, a Leibniz algebra and their representations. Some of these pre-braidings seem original. On the other hand, we propose a general homology theory for pre-braided vector spaces and braided modules, based on the quantum co-shuffle comultiplication. Applied to the structural pre-braidings above, it gives a generalization and a unification of many known homology theories. All the constructions are categorified, resulting in particular in their super- and co-versions. Loday's hyper-boundaries, as well as certain homology operations are efficiently treated using the "shuffle" tools.


title: Note on the harmonic index of a graph

abstract: The harmonic index of a graph $G$ is defined as the sum of weights $\frac{2}{deg(v) + deg(u)}$ of all edges $uv$ of $E (G)$, where $deg (v)$ denotes the degree of a vertex $v$ in $V (G)$. In this note we generalize results of [L. Zhong, The harmonic index on graphs, Appl. Math. Lett. 25 (2012), 561--566] and establish some upper and lower bounds on the harmonic index of $G$.


title: Boundary Data Maps and Krein's Resolvent Formula for Sturm-Liouville Operators on a Finite Interval

abstract: We continue the study of boundary data maps, that is, generalizations of spectral parameter dependent Dirichlet-to-Neumann maps for (three-coefficient) Sturm-Liouville operators on the finite interval $(a,b)$, to more general boundary conditions. While earlier studies of boundary data maps focused on the case of general separated boundary conditions at $a$ and $b$, the present work develops a unified treatment for all possible self-adjoint boundary conditions (i.e., separated as well as non-separated ones). In the course of this paper we describe the connections with Krein's resolvent formula for self-adjoint extensions of the underlying minimal Sturm-Liouville operator (parametrized in terms of boundary conditions), with some emphasis on the Krein extension, develop the basic trace formulas for resolvent differences of self-adjoint extensions, especially, in terms of the associated spectral shift functions, and describe the connections between various parametrizations of all self-adjoint extensions, including the precise relation to von Neumann's basic parametrization in terms of unitary maps between deficiency subspaces.


title: Asymptotic Growth of Associated Primes of Certain Graph Ideals

abstract: We specify a class of graphs, $H_t$, and characterize the irreducible decomposition of all powers of the cover ideals. This gives insight into the structure and stabilization of the corresponding associated primes; specifically, providing an answer to the question "For each integer $t\geq 0$, does there exist a (hyper) graph $H_t$ such that stabilization of associated primes occurs at $s\geq (\chi(H_t)-1)+t$?" asked by Francisco, H\`a, and Van Tuyl. For each $t$, $H_t$ has chromatic number 3 and associated primes that stabilize at $s=2+t$.


title: On random coefficient INAR(1) processes

abstract: The random coefficient integer-valued autoregressive process was introduced by Zheng, Basawa, and Datta. In this paper we study the asymptotic behavior of this model (in particular, weak limits of extreme values and the growth rate of partial sums) in the case where the additive term in the underlying random linear recursion belongs to the domain of attraction of a stable law.


title: Optimum Drift Velocity for Single Molecule Fluorescence Bursts in Micro/Nano-Fluidic Channels

abstract: Photonic burst histograms can be used to identify single protein molecules in micro/nano-fluidic channels provided the width of the histogram is narrow. Photonic shot noise and residence time fluctuations, caused by longitudinal diffusion, are the major sources of the histogram width. This Communication is a sequel to an earlier Letter of ours [L. L. Kish et al., Appl. Phys. Lett. 99, 143121 (2011)] and demonstrates that, for a given diffusion coefficient, an increase of the drift velocity enhances the relative shot noise and decreases the relative residence time fluctuations. This leads to an optimum drift velocity which minimizes the histogram width and maximizes the ability to identify single molecules, which is an important result for applications.


title: High-dimensional noise-based logical controller

abstract: We introduce a scheme for controlling physical and other quantities; utilizing noise-based logic for control-and-optimization with high dimensionality, similarly how the Hilbert space of quantum informatics can be utilized for such purpose. As a concrete realization of the noise-based control scheme, we introduce "Dictatorial control" where noise-based logic results in an exponential speedup of operation.


title: Stochastic processes in light-assisted nanoparticle formation

abstract: Recently, light-assisted nanofabrication have been introduced, such as the synthesis of quantum dots using photo-induced desorption that yields reduced size fluctuations, or metal sputtering under light illumination resulting in self-organized, nanoparticle chains. The physical mechanisms have originally been attributed to material desorption or plasmon resonance effects. However, significant stochastic phenomena are also present that have not been explained yet. We introduce stochastic models taking account of the light-assisted processes that reproduce phenomenological characteristics consistent with the experimental observations.


title: Bell's correlation for continuous local hidden causality is ambiguous

abstract: In this letter it is demonstrated that Bell's correlation can be ambiguous for continuously distributed local hidden variables.


title: The R{\o}mer Delay and Mass Ratio of the sdB+dM Binary 2M 1938+4603 from Kepler Eclipse Timings

abstract: The eclipsing binary system 2M 1938+4603 consists of a pulsating hot subdwarf B star and a cool M dwarf companion in an effectively circular three-hour orbit. The light curve shows both primary and secondary eclipses, along with a strong reflection effect from the cool companion. Here we present constraints on the component masses and eccentricity derived from the R{\o}mer delay of the secondary eclipse. Using six months of publicly-available Kepler photometry obtained in Short Cadence mode, we fit model profiles to the primary and secondary eclipses to measure their centroid values. We find that the secondary eclipse arrives on average 2.06 +/- 0.12 s after the midpoint between primary eclipses. Under the assumption of a circular orbit, we calculate from this time delay a mass ratio of q = 0.2691 +/- 0.0018 and individual masses of M_sd = 0.372 +/- 0.024 Msun and M_c = 0.1002 +/- 0.0065 Msun for the sdB and M dwarf, respectively. These results differ slightly from those of a previously-published light curve modeling solution; this difference, however, may be reconciled with a very small eccentricity, e cos \omega\ ~ 0.00004. We also report an orbital period decrease of P-dot = (-1.23 +/- 0.07) x 10^-10.


title: Spectral Analysis of a Class of Self-Adjoint Difference Equations

abstract: In this paper, we consider self-adjoint difference equations of the form -\Delta(a_{n-1}\Delta y_{n-1})+b_{n}y_{n}=\lambda y_{n},n=0,1,...\label{eq:abstract} where $a_{n-1}>0$ for all $n\ge0$ and $b_{n}$ are real and $\lambda$ is complex. Under the assumption that $a_{n-1}$ satisfies certain growth conditions and is limit point (that is, the associated Hamburger moment problem is determined), we prove that the existence of an exponentially bounded solution of \eqref{eq:abstract} implies a bound on the distance from $\lambda$ to the spectrum of the associated self-adjoint operator, and that if a solution of \eqref{eq:abstract} is bounded by a power of n for n sufficiently large, then $\lambda\in\sigma(B)$. Here, $B$ is a certain self-adjoint operator generated by \eqref{eq:abstract}. These results are the difference equation version of differential operator results of Shnol'. We use this to then prove that the spectrum of the associated orthogonal polynomials contains the closure of the set of $\lambda$ for which we can find a polynomially bounded solution. We further conjecture that under the hypotheses in the paper, the spectrum is precisely the closure of this set of $\lambda$ for which there is a polynomially bounded solution. We also present a result concerning the invariance of the essential spectrum under weak perturbation of the coefficients.


title: Water desorption and re-adsorption on epitaxial graphene studied by SPM

abstract: We demonstrate the temperature-mediated and completely reversible process of desorption-readsorption of water on a few layers of epitaxial graphene on a 4H-SiC(0001) substrate. We show that under ambient conditions water forms solid structures on top of the second and third layers of graphene. In the case of strained or highly defective graphene domains, these features produce strongly correlated and reproducible patterns, implying importance of the underlying defects for the initial stages of water adsorption. Hydrophobicity increases with number of graphene layers. Evolution of the water layer as a function of temperature is accompanied by a significant (two-fold) change of the absolute surface potential difference between one and two layers of graphene. In situ observation of water evolution during heating also potentially provides a direct method for measurement of the heat adsorption on the nanoscale.


title: Pair Superfluid and Supersolid of Correlated Hard-Core Bosons on a Triangular Lattice

abstract: We have systematically studied the hard-core Bose-Hubbard model with correlated hopping on a triangular lattice using density-matrix renormalization group method. A rich ground state phase diagram is determined. In this phase diagram there is a supersolid phase and a pair superfluid phase due to the interplay between the ordinary frustrated boson hopping and an unusual correlated hopping. In particular, we find that the quantum phase transition between the supersolid phase and the pair superfluid phase is continuous.


title: Interplay of superradiance and disorder in the Anderson Model

abstract: Using a non-Hermitian Hamiltonian approach to open systems, we study the interplay of disorder and superradiance in a one-dimensional Anderson model. Analyzing the complex eigenvalues of the non-Hermitian Hamiltonian, a transition to a superradiant regime is shown to occur. As an effect of openness the structure of eigenstates undergoes a strong change in the superradiant regime: we show that the sensitivity to disorder of the superradiant and the subradiant subspaces is very different; superradiant states remain delocalized as disorder increases, while subradiant states are sensitive to the degree of disorder.


title: Majorana qubit decoherence by quasiparticle poisoning

abstract: We consider the problem of quasiparticle poisoning in a nanowire-based realization of a Majorana qubit, where a spin-orbit-coupled semiconducting wire is placed on top of a (bulk) superconductor. By making use of recent experimental data exhibiting evidence of a low-temperature residual non-equilibrium quasiparticle population in superconductors, we show by means of analytical and numerical calculations that the dephasing time due to the tunneling of quasiparticles into the nanowire may be problematically short to allow for qubit manipulation.


title: Satellite Survival in Highly Resolved Milky Way Class Halos

abstract: Surprisingly little is known about the origin and evolution of the Milky Way's satellite galaxy companions. UV photoionisation, supernova feedback and interactions with the larger host halo are all thought to play a role in shaping the population of satellites that we observe today, but there is still no consensus as to which of these effects, if any, dominates. In this paper, we revisit the issue by re-simulating a Milky Way class dark matter (DM) halo with unprecedented resolution. Our set of cosmological hydrodynamic Adaptive Mesh Refinement (AMR) simulations, called the Nut suite, allows us to investigate the effect of supernova feedback and UV photoionisation at high redshift with sub-parsec resolution. We subsequently follow the effect of interactions with the Milky Way-like halo using a lower spatial resolution (50pc) version of the simulation down to z=0. This latter produces a population of simulated satellites that we compare to the observed satellites of the Milky Way and M31. We find that supernova feedback reduces star formation in the least massive satellites but enhances it in the more massive ones. Photoionisation appears to play a very minor role in suppressing star and galaxy formation in all progenitors of satellite halos. By far the largest effect on the satellite population is found to be the mass of the host and whether gas cooling is included in the simulation or not. Indeed, inclusion of gas cooling dramatically reduces the number of satellites captured at high redshift which survive down to z=0.


title: Ubiquitous Indoor Localization and Worldwide Automatic Construction of Floor Plans

abstract: Although GPS has been considered a ubiquitous outdoor localization technology, we are still far from a similar technology for indoor environments. While a number of technologies have been proposed for indoor localization, they are isolated efforts that are way from a true ubiquitous localization system. A ubiquitous indoor positioning system is envisioned to be deployed on a large scale worldwide, with minimum overhead, to work with heterogeneous devices, and to allow users to roam seamlessly from indoor to outdoor environments. Such a system will enable a wide set of applications including worldwide seamless direction finding between indoor locations, enhancing first responders' safety by providing anywhere localization and floor plans, and providing a richer environment for location-aware social networking applications. We describe an architecture for the ubiquitous indoor positioning system (IPS) and the challenges that have to be addressed to materialize it. We then focus on the feasibility of automating the construction of a worldwide indoor floor plan and fingerprint database which, as we believe, is one of the main challenges that limit the existence of a ubiquitous IPS system. Our proof of concept uses a crowd-sourcing approach that leverages the embedded sensors in today's cell phones as a worldwide distributed floor plan generation tool. This includes constructing the floor plans and determining the areas of interest (corridors, offices, meeting rooms, elevators, etc). The cloud computing concepts are also adopted for the processing and storage of the huge amount of data generated and requested by the system's users. Our results show the ability of the system to construct an accurate floor plan and identify the areas of interest with more than 90% accuracy. We also identify different research directions for addressing the challenges of realizing a true ubiquitous IPS system.


title: Necessary Optimality Conditions for Higher-Order Infinite Horizon Variational Problems on Time Scales

abstract: We obtain Euler-Lagrange and transversality optimality conditions for higher-order infinite horizon variational problems on a time scale. The new necessary optimality conditions improve the classical results both in the continuous and discrete settings: our results seem new and interesting even in the particular cases when the time scale is the set of real numbers or the set of integers.


title: Two-Layer Quantum Key Distribution

abstract: Recently a new quantum key distribution protocol using coherent and thermal states was proposed. In this work this kind of two-layer QKD protocol is formalized and its security against the most common attacks, including external control and Trojan horse attacks, is discussed.


title: Regularized Matrix Regression

abstract: Modern technologies are producing a wealth of data with complex structures. For instance, in two-dimensional digital imaging, flow cytometry, and electroencephalography, matrix type covariates frequently arise when measurements are obtained for each combination of two underlying variables. To address scientific questions arising from those data, new regression methods that take matrices as covariates are needed, and sparsity or other forms of regularization are crucial due to the ultrahigh dimensionality and complex structure of the matrix data. The popular lasso and related regularization methods hinge upon the sparsity of the true signal in terms of the number of its nonzero coefficients. However, for the matrix data, the true signal is often of, or can be well approximated by, a low rank structure. As such, the sparsity is frequently in the form of low rank of the matrix parameters, which may seriously violate the assumption of the classical lasso. In this article, we propose a class of regularized matrix regression methods based on spectral regularization. Highly efficient and scalable estimation algorithm is developed, and a degrees of freedom formula is derived to facilitate model selection along the regularization path. Superior performance of the proposed method is demonstrated on both synthetic and real examples.


title: Astrometric confirmation of young low-mass binaries and multiple systems in the Chamaeleon star-forming regions

abstract: The star-forming regions in Chamaeleon are one of the nearest (distance ~165 pc) and youngest (age ~2 Myrs) conglomerates of recently formed stars and the ideal target for population studies of star formation. We investigate a total of 16 Cha targets, which have been suggested, but not confirmed as binaries or multiple systems in previous literature. We used the adaptive optics instrument Naos-Conica (NACO) at the Very Large Telescope Unit Telescope 4 of the Paranal Observatory, at 2-5 different epochs, in order to obtain relative and absolute astrometric measurements, as well as differential photometry in the J, H, and K band. On the basis of known proper motions and these observations, we analyse the astrometric results in our "Proper Motion Diagram" (PMD: angular separation / position angle versus time), to eliminate possible (non-moving) background stars, establish co-moving binaries and multiples, and search for curvature as indications for orbital motion. All previously suggested close components are co-moving and no background stars are found. The angular separations range between 0.07 and 9 arcseconds, corresponding to projected distances between the components of 6-845 AU. Thirteen stars are at least binaries and the remaining three (RX J0919.4-7738, RX J0952.7-7933, VW Cha) are confirmed high-order multiple systems with up to four components. In 13 cases, we found significant slopes in the PMDs, which are compatible with orbital motion whose periods range from 60 to 550 years. However, in only four cases there are indications of a curved orbit, the ultimate proof of a gravitational bond. Massive primary components appear to avoid the simultaneous formation of equal-mass secondary components. (abridged)