title: Equations of motion in metric-affine gravity: A covariant unified framework

abstract: We derive the equations of motion of extended deformable bodies in metric-affine gravity. The conservation laws which follow from the invariance of the action under the general coordinate transformations are used as a starting point for the discussion of the dynamics of extended deformable test bodies. By means of a covariant approach, based on Synge's world function, we obtain the master equation of motion for an arbitrary system of coupled conserved currents. This unified framework is then applied to metric-affine gravity. We confirm and extend earlier findings; in particular, we once again demonstrate that it is only possible to detect the post-Riemannian spacetime geometry by ordinary (non-microstructured) test bodies if gravity is nonminimally coupled to matter.


title: Cold nuclear matter effects on the color singlet J/psi production in d-Au collisions at RHIC

abstract: We use a Modified DKLMT model (called M-DKLMT model) to study the cold nuclear matter (CNM) effects on the color singlet J/psi production in dAu collisions at RHIC. The cold nuclear effect of dipole-nucleus interactions has been investigated by introducing a nuclear geometric effect function f({\xi}) to study the nuclear geometry distribution effect in relativistic heavy-ion collisions. The dependencies of nuclear modification factors (RdA) on rapidity and centrality are studied and compared to experimental data. It is found that the M-DKLMT model can well describe the experimental results at both forward- and mid-rapidity regions in dAu collisions at RHIC.


title: Investigation of transient surface electric field induced by femtosecond laser irradiation of aluminum

abstract: Transient surface electric fields induced by femtosecond laser irradiation of an aluminum film were investigated directly by ultrashort electron pulses. At pump intensities of 2.9~7.1 * 10^10 W/cm2, the transient electric fields last at least one nanosecond with a maximum field strength of 3.2~5.3 * 10^4 V/m at 120 micro m above the aluminum surface. The transient electric fields and the associated evolution of photoelectrons were explained by a "three-layer" model. The potential influence of such fields on reflection ultrafast electron diffraction and time-resolved angle-resolved photoemission spectroscopy were evaluated.


title: Markov trace on the algebra of braids and ties

abstract: We prove that the so-called t algebra of braids and ties supports a Markov trace. Further, by using this trace in the Jones' recipe, we define invariant polynomials for classical knots and singular knots. Our invariants have three parameters. The invariant of classical knots is an extension of the Homflypt polynomial and the invariant of singular knots is an extension of an invariant of singular knots previously defined by S. Lambropoulou and the second author.


title: Approximating the zero-coupon bond price in a general one-factor model with constant coefficients

abstract: We consider a general one-factor short rate model, in which the instantaneous interest rate is driven by a univariate diffusion with time independent drift and volatility. We construct recursive formula for the coefficients of the Taylor expansion of the bond price and its logarithm around $\tau=0$, where $\tau$ is time to maturity. We provide numerical examples of convergence of the partial sums of the series and compare them with the known exact values in the case of Cox-Ingersoll-Ross and Dothan model.


title: Performance and analysis of Quadratic Residue Codes of lengths less than 100

abstract: In this paper, the performance of quadratic residue (QR) codes of lengths within 100 is given and analyzed when the hard decoding, soft decoding, and linear programming decoding algorithms are utilized. We develop a simple method to estimate the soft decoding performance, which avoids extensive simulations. Also, a simulation-based algorithm is proposed to obtain the maximum likelihood decoding performance of QR codes of lengths within 100. Moreover, four important theorems are proposed to predict the performance of the hard decoding and the maximum-likelihood decoding in which they can explore some internal properties of QR codes. It is shown that such four theorems can be applied to the QR codes with lengths less than 100 for predicting the decoding performance. In contrast, they can be straightforwardly generalized to longer QR codes. The result is never seen in the literature, to our knowledge. Simulation results show that the estimated hard decoding performance is very accurate in the whole signal-to-noise ratio (SNR) regimes, whereas the derived upper bounds of the maximum likelihood decoding are only tight for moderate to high SNR regions. For each of the considered QR codes, the soft decoding is approximately 1.5 dB better than the hard decoding. By using powerful redundant parity-check cuts, the linear programming-based decoding algorithm, i.e., the ACG-ALP decoding algorithm performs very well for any QR code. Sometimes, it is even superior to the Chase-based soft decoding algorithm significantly, and hence is only a few tenths of dB away from the maximum likelihood decoding.


title: Finite Temperature Effect on Wilson Loop Mechanism

abstract: We evaluate the energy splitting of vacua appearing in the gauge theory in the space $M_4\times S^N/Z_2$ ($N=2,3,4,5,6$ and $7$). One-loop quantum effects which come from scalar and gauge fields are considered. We calculate them at zero temperature as well as in high-temperature limit. We find that in these situations there is no breakdown of the gauge symmetry.


title: Lyapunov exponents of a class of piecewise continuous systems of fractional order

abstract: In this paper, we prove that a class of autonomous piecewise continuous systems of fractional order has well-defined Lyapunov exponents. For this purpose, based on some known results from differential inclusions of integer and fractional order and differential equations with discontinuous right-hand side, the associated discontinuous initial value problem is approximated with a continuous one of fractional order. Then, the Lyapunov exponents are numerically determined using, for example, the known Wolf's algorithm. Three examples of piecewise continuous chaotic systems of fractional order are simulated and analyzed: Sprott's system, Chen's system and Shimizu-Morioka's system.


title: Asymptotic replication with modified volatility under small transaction costs

abstract: Dynamic hedging of an European option under a general local volatility model with small linear transaction costs is studied. A continuous control version of Leland's strategy that asymptotically replicates the payoff is constructed. An associated central limit theorem of hedging error is proved. The asymptotic error variance is minimized by an explicit trading strategy.


title: A second order time discretization of the solution of the non-linear filtering problem

abstract: The solution of the continuous time filtering problem can be represented as a ratio of two expectations of certain functionals of the signal process that are parametrized by the observation path. We introduce a new time discretisation of these functionals corresponding to a chosen partition of the time interval and show that the convergence rate of discretisation is proportional with the square of the mesh of the partition.


title: Superconducting properties in tantalum decorated three-dimensional graphene and carbon structures

abstract: We present here the results on superconducting properties in tantalum thin films (100nm thick) deposited on three-dimensional graphene (3DG) and carbon structures. A superconducting transition is observed in both composite thin films with a superconducting transition temperature of 1.2K and 1.0K, respectively. We have further measured the magnetoresistance at various temperatures and differential resistance dV/dI at different magnetic fields in these two composite thin films. In both samples, a much large critical magnetic field (~ 2 Tesla) is observed and this critical magnetic field shows linear temperature dependence. Finally, an anomalously large cooling effect was observed in the differential resistance measurements in our 3DG-tantalum device when the sample turns superconducting. Our results may have important implications in flexible superconducting electronic device applications.


title: Moyal's Characteristic Function, the Density Matrix and von Neumann's Idempotent

abstract: In the Wigner-Moyal approach to quantum mechanics, we show that Moyal's starting point, the characteristic function $M(\tau,\theta)=\int \psi^{*}(x)e^{i(\tau {\hat p}+\theta{\hat x})}\psi(x)dx$, is essentially the primitive idempotent used by von Neumann in his classic paper "Die Eindeutigkeit der Schr\"odingerschen Operatoren". This paper provides the original proof of the Stone-von Neumann equation. Thus the mathematical structure Moyal develops is simply a re-expression of what is at the heart of quantum mechanics and reproduces exactly the results of the quantum formalism. The "distribution function" $F(X,P,t)$ is simply the quantum mechanical density matrix expressed in an $( X,P)$-representation, where $X$ and $P$ are the mean co-ordinates of a cell structure in phase space. The whole approach therefore clearly has little to do with classical statistical theories but is a consequence of a non-commutative nature of the theory.


title: Weight distribution of cosets of small codes with good dual properties

abstract: The bilateral minimum distance of a binary linear code is the maximum $d$ such that all nonzero codewords have weights between $d$ and $n-d$. Let $Q\subset \{0,1\}^n$ be a binary linear code whose dual has bilateral minimum distance at least $d$, where $d$ is odd. Roughly speaking, we show that the average $L_\infty$-distance -- and consequently the $L_1$-distance -- between the weight distribution of a random cosets of $Q$ and the binomial distribution decays quickly as the bilateral minimum distance $d$ of the dual of $Q$ increases. For $d = \Theta(1)$, it decays like $n^{-\Theta(d)}$. On the other $d=\Theta(n)$ extreme, it decays like and $e^{-\Theta(d)}$. It follows that, almost all cosets of $Q$ have weight distributions very close to the to the binomial distribution. In particular, we establish the following bounds. If the dual of $Q$ has bilateral minimum distance at least $d=2t+1$, where $t\geq 1$ is an integer, then the average $L_\infty$-distance is at most $\min\{\left(e\ln{\frac{n}{2t}}\right)^{t}\left(\frac{2t}{n}\right)^{\frac{t}{2} }, \sqrt{2} e^{-\frac{t}{10}}\}$. For the average $L_1$-distance, we conclude the bound $\min\{(2t+1)\left(e\ln{\frac{n}{2t}}\right)^{t} \left(\frac{2t}{n}\right)^{\frac{t}{2}-1},\sqrt{2}(n+1)e^{-\frac{t}{10}}\}$, which gives nontrivial results for $t\geq 3$. We given applications to the weight distribution of cosets of extended Hadamard codes and extended dual BCH codes. Our argument is based on Fourier analysis, linear programming, and polynomial approximation techniques.


title: Asymptotic spectral distributions of distance $k$-graphs of star product graphs

abstract: Let $G$ be a finite connected graph and let $G^{[\star N,k]}$ be the distance $k$-graph of the $N$-fold star power of $G$. For a fixed $k\geq1$, we show that the large $N$ limit of the spectral distribution of $G^{[\star N,k]}$ converges to a centered Bernoulli distribution, $1/2\delta_{-1}+1/2\delta_1$. The proof is based in a fourth moment lemma for convergence to a centered Bernoulli distribution.


title: Quantum Isometry group of dual of finitely generated discrete groups and quantum groups

abstract: We study quantum isometry groups, denoted by $\mathbb{Q}(\Gamma, S)$, of spectral triples on $C^*_r(\Gamma)$ for a finitely generated discrete group coming from the word-length metric with respect to a symmetric generating set $S$. We first prove a few general results about $\mathbb{Q}(\Gamma, S)$ including : \begin{itemize} \item For a group $\Gamma$ with polynomial growth property, the dual of $\mathbb{Q}(\Gamma, S)$ has polynomial growth property provided the action of $\mathbb{Q}(\Gamma,S)$ on $C^*_r(\Gamma)$ has full spectrum, \item $\mathbb{Q}(\Gamma, S) \cong QISO(\hat{\Gamma}, d)$ for any abelian $\Gamma$, where $d$ is a suitable metric on the dual compact abelian group $\hat{\Gamma}$. \end{itemize} We then carry out explicit computations of $\mathbb{Q}(\Gamma,S)$ for several classes of examples including free and direct product of cyclic groups, Baumslag-Solitar group, Coxeter groups etc. In particular, we have computed quantum isometry groups of all finitely generated abelian groups which do not have factors of the form $\mathbb{Z}_2^k$ or $\mathbb{Z}_4^l$ for some $k,l$ in the direct product decomposition into cyclic subgroups.


title: Efficient winning strategies in random-turn Maker-Breaker games

abstract: We consider random-turn positional games, introduced by Peres, Schramm, Sheffield and Wilson in 2007. A $p$-random-turn positional game is a two-player game, played the same as an ordinary positional game, except that instead of alternating turns, a coin is being tossed before each turn to decide the identity of the next player to move (the probability of Player I to move is $p$). We analyze the random-turn version of several classical Maker-Breaker games such as the game Box (introduced by Chv\'atal and Erd\H os in 1987), the Hamilton cycle game and the $k$-vertex-connectivity game (both played on the edge set of $K_n$). For each of these games we provide each of the players with a (randomized) efficient strategy which typically ensures his win in the asymptotic order of the minimum value of $p$ for which he typically wins the game, assuming optimal strategies of both players.


title: Weak Measurement and its Experimental Realisation

abstract: The relationship between the real part of the weak value of the momentum operator at a post selected position is discussed and the meaning of the experimentally determined stream-lines in the Toronto experiment of Kocsis {\em et al} is re-examined. We argue against interpreting the energy flow lines as photon trajectories. The possibility of performing an analogous experiment using atoms is proposed in order that a direct comparison can be made with the trajectories calculated by Philippidis, Dewdney and Hiley using the Bohm approach.


title: Quantum Stochastic Calculus and Quantum Gaussian Processes

abstract: In this lecture we present a brief outline of boson Fock space stochastic calculus based on the creation, conservation and annihilation operators of free field theory, as given in the 1984 paper of Hudson and Parthasarathy. We show how a part of this architecture yields Gaussian fields stationary under a group action. Then we introduce the notion of semigroups of quasifree completely positive maps on the algebra of all bounded operators in the boson Fock space $\Gamma (\mathbb{C}^n)$ over $\mathbb{C}^n.$ These semigroups are not strongly continuous but their preduals map Gaussian states to Gaussian states. They were first introduced and their generators were shown to be of the Lindblad type by Vanheuverzwijn. They were recently investigated in the context of quantum information theory by Heinosaari, Holevo and Wolf. Here we present the exact noisy Schr\"odinger equation which dilates such a semigroup to a quantum Gaussian Markov process.


title: Atomic delocalisation as a microscopic origin of two-level defects in Josephson junctions

abstract: Identifying the microscopic origins of decoherence sources prevalent in Josephson junction based circuits is central to their use as functional quantum devices. Focussing on so called "strongly coupled" two-level defects, we construct a theoretical model using the atomic position of the oxygen which is spatially delocalised in the oxide forming the Josephson junction barrier. Using this model, we investigate which atomic configurations give rise to two-level behaviour of the type seen in experiments. We compute experimentally observable parameters for phase qubits and examine defect response under the effects of applied electric field and strain.


title: Analysis of $\rho$ condensation in a Nambu-Jona-Lasinio model

abstract: A non-local Nambu-Jona-Lasinio model can be derived from QCD in the low-energy limit. In this way, it is possible to fix all the free parameters of the model with physical ones. We used this approach to derive a local limit to the Nambu-Jona-Lasinio model, with the parameters those obtained from QCD, in order to fix the physical parameters of $\rho$ condensation and obtain the critical magnetic field. $\rho$ condensation is a consequence of the highly non-trivial behavior of the QCD vacuum in presence of a very strong magnetic field giving rising to superconductive behavior in quark matter. We extend previous computations by including finite temperature terms.


title: Composable security proof for continuous-variable quantum key distribution with coherent states

abstract: We give the first composable security proof for continuous-variable quantum key distribution with coherent states against collective attacks. Crucially, in the limit of large blocks the secret key rate converges to the usual value computed from the Holevo bound. Combining our proof with either the de Finetti theorem or the Postselection technique then shows the security of the protocol against general attacks, thereby confirming the long-standing conjecture that Gaussian attacks are optimal asymptotically in the composable security framework. We expect that our parameter estimation procedure, which does not rely on any assumption, will find applications elsewhere, for instance for the reliable quantification of continuous-variable entanglement in finite-size settings.


title: From Software Architecture Structure and Behavior Modeling to Implementations of Cyber-Physical Systems

abstract: Software development for Cyber-Physical Systems (CPS) is a sophisticated activity as these systems are inherently complex. The engineering of CPS requires composition and interaction of diverse distributed software modules. Describing both, a systems architecture and behavior in integrated models, yields many advantages to cope with this complexity: the models are platform independent, can be decomposed to be developed independently by experts of the respective fields, are highly reusable and may be subjected to formal analysis. In this paper, we introduce a code generation framework for the MontiArcAutomaton modeling language. CPS are modeled as Component & Connector architectures with embedded I/O! automata. During development, these models can be analyzed using formal methods, graphically edited, and deployed to various platforms. For this, we present four code generators based on the MontiCore code generation framework, that implement the transformation from MontiArcAutomaton models to Mona (formal analysis), EMF Ecore (graphical editing), and Java and Python (deployment. Based on these prototypes, we discuss their commonalities and differences as well as language and application specific challenges focusing on code generator development.


title: Meta-Metrics for Simulations in Software Engineering on the Example of Integral Safety Systems

abstract: Vehicles passengers and other traffic participants are protected more and more by integral safety systems. They continuously perceive the vehicles environment to prevent dangerous situations by e.g. emergency braking systems. Furthermore, increasingly intelligent vehicle functions are still of major interest in research and development to reduce the risk of accidents. However, the development and testing of these functions should not rely only on validations on proving grounds and on long-term test-runs in real traffic; instead, they should be extended by virtual testing approaches to model potentially dangerous situations or to re-run specific traffic situations easily. This article outlines meta-metrics as one of todays challenges for the software engineering of these cyber-physical systems to provide guidance during the system development: For example, unstable results of simulation test-runs over the vehicle functions revision history are elaborated as an indicating metric where to focus on with real or further virtual test-runs; furthermore, varying acting time points for the same virtual traffic situation are indicating problems with the reliability to interpret the specific situation. In this article, several of such meta-metrics are discussed and assigned both to different phases during the series development and to different levels of detailedness of virtual testing approaches.


title: A Case Study on Model-Based Development of Robotic Systems using MontiArc with Embedded Automata

abstract: Software development for service robotics is inherently complex. Even a single robot requires the composition of several sensors, actuators, and software modules. The systems are usually developed by groups of domain experts, rarely software engineering experts. Thus the resulting software systems are monolithic programs solving a single problem on a single platform. We claim modeling of both structure and behavior of robots in a modular way leads to better reusable software. We report on a study about the modeling of robotics software with the structure and behavior modeling language MontiArcAutomaton. This study assesses the benefits and difficulties of model-based robotics software development using MontiArc-Automaton. Our findings are based on a survey, discussions with the participants, and key figures from their development behavior. We present the project, our study, lessons learned, and future work based on the insights gained


title: Model Matching Challenge: Benchmarks for Ecore and BPMN Diagrams

abstract: In the last couple of years, Model Driven Engineering (MDE) gained a prominent role in the context of software engineering. In the MDE paradigm, models are considered first level artifacts which are iteratively developed by teams of programmers over a period of time. Because of this, dedicated tools for versioning and management of models are needed. A central functionality within this group of tools is model comparison and differencing. In two disjunct research projects, we identified a group of general matching problems where state-of-the-art comparison algorithms delivered low quality results. In this article, we will present five edit operations which are the cause for these low quality results. The reasons why the algorithms fail, as well as possible solutions, are also discussed. These examples can be used as benchmarks by model developers to assess the quality and applicability of a model comparison tool for a given model type.


title: A systematic study of magnetic field in Relativistic Heavy-ion Collisions in the RHIC and LHC energy regions

abstract: The features of magnetic field in relativistic heavy-ion collisions are systematically studied by using a modified magnetic field model in this paper. The features of magnetic field distributions in the central point are studied in the RHIC and LHC energy regions. We also predict the feature of magnetic fields at LHC $\sqrt{s_{NN}}$= 900, 2760 and 7000 GeV based on the detailed study at RHIC $\sqrt{s_{NN}}$ = 62.4, 130 and 200 GeV. The dependencies of the features of magnetic fields on the collision energies, centralities and collision time are systematically investigated, respectively.


title: Using Lightweight Activity Diagrams for Modeling and Generation of Web Information Systems

abstract: The development process of web information systems nowadays improved a lot regarding effectiveness and tool support, but still contains many redundant steps for similar tasks. In order to overcome this, we use a model-driven approach to specify a web information system in an agile way and generate a full- edged and runnable application from a set of models. The covered aspects of the system comprise data structure, page structure including view on data, page- and workflow within the system as well as overall application structure and user rights management. Appropriate tooling allows transforming these models to complete systems and thus gives us opportunity for a lightweight development process based on models. In this paper, we describe how we approach the page- and workflow aspect by using activity diagrams as part of the agile modeling approach MontiWIS. We give an overview of the defined syntax, describe the supported forms of action contents and finally explain how the behavior is realized in the generated application.


title: Synthesis of Component and Connector Models from Crosscutting Structural Views

abstract: We present component and connector (C&C) views, which specify structural properties of component and connector models in an expressive and intuitive way. C&C views provide means to abstract away direct hierarchy, direct connectivity, port names and types, and thus can crosscut the traditional boundaries of the implementation-oriented hierarchical decomposition of systems and sub-systems, and reflect the partial knowledge available to different stakeholders involved in a system's design. As a primary application for C&C views we investigate the synthesis problem: given a C&C views specification, consisting of mandatory, alternative, and negative views, construct a concrete satisfying C&C model, if one exists. We show that the problem is NP-hard and solve it, in a bounded scope, using a reduction to SAT, via Alloy. We further extend the basic problem with support for library components, specification patterns, and architectural styles. The result of synthesis can be used for further exploration, simulation, and refinement of the C&C model or, as the complete, final model itself, for direct code generation. A prototype tool and an evaluation over four example systems with multiple specifications show promising results and suggest interesting future research directions towards a comprehensive development environment for the structure of component and connector designs.


title: Quantum Mechanics: Harbinger of a Non-Commutative Probability Theory?

abstract: In this paper we discuss the relevance of the algebraic approach to quantum phenomena first introduced by von Neumann before he confessed to Birkoff that he no longer believed in Hilbert space. This approach is more general and allows us to see the structure of quantum processes in terms of non-commutative probability theory, a non-Boolean structure of the implicate order which contains Boolean sub-structures which accommodates the explicate classical world. We move away from mechanical `waves' and `particles' and take as basic what Bohm called a {\em structure process}. This enables us to learn new lessons that can have a wider application in the way we think of structures in language and thought itself.


title: Report on the Aachen OCL Meeting

abstract: As a continuation of the OCL workshop during the MODELS 2013 conference in October 2013, a number of OCL experts decided to meet in November 2013 in Aachen for two days to discuss possible short term improvements of OCL for an upcoming OMG meeting and to envision possible future long-term developments of the language. This paper is a sort of \minutes of the meeting" and intended to quickly inform the OCL community about the discussion topics.


title: Proactive Quality Guidance for Model Evolution in Model Libraries

abstract: Model evolution in model libraries differs from general model evolution. It limits the scope to the manageable and allows to develop clear concepts, approaches, solutions, and methodologies. Looking at model quality in evolving model libraries, we focus on quality concerns related to reusability. In this paper, we put forward our proactive quality guidance approach for model evolution in model libraries. It uses an editing-time assessment linked to a lightweight quality model, corresponding metrics, and simplified reviews. All of which help to guide model evolution by means of quality gates fostering model reusability.


title: A review of the characteristics of 108 author-level bibliometric indicators

abstract: An increasing demand for bibliometric assessment of individuals has led to a growth of new bibliometric indicators as well as new variants or combinations of established ones. The aim of this review is to contribute with objective facts about the usefulness of bibliometric indicators of the effects of publication activity at the individual level. This paper reviews 108 indicators that can potentially be used to measure performance on the individual author level, and examines the complexity of their calculations in relation to what they are supposed to reflect and ease of end-user application.


title: Positivity, Betweenness and Strictness of Operator Means

abstract: An operator mean is a binary operation assigned to each pair of positive operators satisfying monotonicity, continuity from above, the transformer inequality and the fixed-point property. It is well known that there are one-to-one correspondences between operator means, operator monotone functions and Borel measures. In this paper, we provide various characterizations for the concepts of positivity, betweenness and strictness of operator means in terms of operator monotone functions, Borel measures and certain operator equations.


title: Cluster spin glass behavior in geometrically frustrated Zn3V3O8

abstract: We report the bulk magnetic properties of a yet unexplored vanadium-based multivalued spinel system, Zn3V3O8. A Curie-Weiss fit of our dc magnetic susceptibility data in the temperature region from 140 to 300 K yields a Curie constant C = 0.75cm3K/mole V, theta CW = -370 K. We have observed a splitting between the zero field cooled ZFC and field cooled FC susceptibility curves below a temperature Tirr of about 6.3 K. The value of the 'frustration parameter' nearly equals to 100 suggests that the system is strongly frustrated. From the ac susceptibility measurements we find a logarithmic variation of freezing temperature (Tf ) with frequency attesting to the formation of a spin glass below Tf . However, the value of the characteristic frequency obtained from the Vogel-Fulcher fit suggests that the ground state is closer to a cluster glass rather than a conventional spin glass. We explored further consequences of the spin glass behavior and observed aging phenomena and memory effect (both in ZFC and FC). We found that a positive temperature cycle erases the memory, as predicted by the hierarchical model. From the heat capacity CP data, a hump-like anomaly was observed in CP /T at about 3.75 K. Below this temperature the magnetic heat capacity shows a nearly linear dependence with T which is consistent with the formation of a spin glass state below Tf in Zn3V3O8.


title: Report on the First Workshop On the Globalization of Modeling Languages

abstract: The first edition of GEMOC workshop was co-located with the MODELS 2013 conference in Miami, FL, USA. The workshop provided an open forum for sharing experiences, problems and solutions related to the challenges of using of multiple modeling languages in the development of complex software based systems. During the workshop, concrete language composition artifacts, approaches, and mechanisms were presented and discussed, ideas and opinions exchanged, and constructive feedback provided to authors of accepted papers. A major objective was to encourage collaborations and to start building a community that focused on providing solutions that support what we refer to as the globalization of domain-specific modeling languages, that is, support coordinated use of multiple languages throughout the development of complex systems. This report summarizes the presentations and discussions that took place in the first GEMOC 2013 workshop.


title: Graphene defect formation by extreme ultraviolet generated photoelectrons

abstract: We have studied the effect of photoelectrons on defect formation in graphene during extreme ultraviolet (EUV) irradiation. Assuming the major role of these low energy electrons, we have mimicked the process by using low energy primary electrons. Graphene is irradiated by an electron beam with energy lower than 80 eV. After e-beam irradiation, it is found that the D peak, I(D), appears in the Raman spectrum, indicating defect formation in graphene. The evolution of I(D)/I(G) follows the amorphization trajectory with increasing irradiation dose, indicating that graphene goes through a transformation from microcrystalline to nanocrystalline and then further to amorphous carbon. Further, irradiation of graphene with increased water partial pressure does not significantly change the Raman spectra, which suggests that, in the extremely low energy range, e-beam induced chemical reactions between residual water and graphene is not the dominant mechanism driving defect formation in graphene. Single layer graphene, partially suspended over holes was irradiated with EUV radiation. By comparing with the Raman results from e-beam irradiation, it is concluded that the photoelectrons, especially those from the valence band, contribute to defect formation in graphene during irradiation.


title: Modeling Cloud Architectures as Interactive Systems

abstract: The development and maintenance of cloud software is complicated by complex but crucial technological requirements that are tightly coupled with each other and with the softwares actual business functionality. Consequently, the complexity of design, implementation, deployment, and maintenance activities increases. We present an architecture description language that raises the level of technological abstraction by modeling cloud software as interactive systems. We show how its models correspond to an architecture style that particularly meets the requirements of cloud-based cyber-physical systems. The result provides a basis for an architecture-driven model-based methodology for engineering cloud software.


title: Anomalous dispersion of Lagrangian particles in local regions of turbulent flows revealed by convex hull analysis

abstract: Local regions of anomalous particle dispersion, and intermittent events that occur in turbulent flows can greatly influence the global statistical description of the flow. These local behaviors can be identified and analyzed by comparing the growth of neighboring convex hulls of Lagrangian tracer particles. Although in our simulations of homogeneous turbulence the convex hulls generally grow in size, after the Lagrangian particles that define the convex hulls begin to disperse, our analysis reveals short periods when the convex hulls of the Lagrangian particles shrink, evidence that particles are not dispersing simply. Shrinkage can be associated with anisotropic flows, since it occurs most frequently in the presence of a mean magnetic field or thermal convection. We compare dispersion between a wide range of statistically homogeneous and stationary turbulent flows ranging from homogeneous isotropic Navier-Stokes turbulence over different configurations of magnetohydrodynamic turbulence and Boussinesq convection.


title: Staged Evolution with Quality Gates for Model Libraries

abstract: Model evolution is widely considered as a subject under research. Despite its role in research, common purpose concepts, approaches, solutions, and methodologies are missing. Limiting the scope to model libraries makes model evolution and related quality concerns manageable, as we show below. In this paper, we put forward our quality staged model evolution theory for model libraries. It is founded on evolution graphs, which offer a structure for model evolution in model libraries through evolution steps. These evolution steps eventually form a sequence, which can be partitioned into stages by quality gates. Each quality gate is defined by a lightweight quality model and respective characteristics fostering reusability.


title: Plethysm and lattice point counting

abstract: We apply lattice point counting methods to compute the multiplicities in the plethysm of $GL(n)$. Our approach gives insight into the asymptotic growth of the plethysm and makes the problem amenable to computer algebra. We prove an old conjecture of Howe on the leading term of plethysm. For any partition $\mu$ of 3,4, or 5 we obtain an explicit formula in $\lambda$ and $k$ for the multiplicity of $S^\lambda$ in $S^\mu(S^k)$.


title: SiPM Operational Experience in Outer HCAL in CMS

abstract: The CMS Outer Hadron Calorimeter (HO) is the first large-scale hadron collider detector to use Silicon Photomultipliers (SiPMs). To build the system we installed and characterized 3000 SiPMs of which 1656 channels of SiPMs with 40MHz readout have currently been installed into CMS. We report on comparisons of in-situ and vendor-supplied measurements. We present results on working point optimization by I-V scanning and temperature vs voltage scanning. We have developed several techniques for determining the breakdown voltage in-situ. We compare the performance of each technique and its success in working point optimization. We present results on gain and breakdown voltage monitoring as well as the overall system stability.


title: Complexity Analysis of Joint Subcarrier and Power Allocation for the Cellular Downlink OFDMA System

abstract: Consider the cellular downlink Orthogonal Frequency Division Multiple Access (OFDMA) system where a single transmitter transmits signals to multiple receivers on multiple discrete subcarriers. To adapt fast channel fluctuations, the transmitter should be able to dynamically allocate subcarrier and power resources. Assuming perfect channel knowledge, we formulate the joint subcarrier and power allocation problem as two optimization problems: the first is the one of minimizing the total transmission power subject to quality of service constraints, and the second is the one of maximizing a system utility function subject to power budget constraints. In this letter, we show that both the aforementioned formulations of the joint subcarrier and power allocation problem are generally NP-hard. We also identify several subclasses of the problem which are polynomial time solvable.


title: History of Catalan numbers

abstract: We give a brief history of Catalan numbers, from their first discovery in the 18th century to modern times. This note will appear as an appendix in Richard Stanley's forthcoming book on Catalan numbers.


title: Tunneling dynamics in multiphoton ionization and attoclock calibration

abstract: The intermediate domain of strong-field ionization between the tunneling and the multiphoton regimes is investigated using the strong field approximation and the imaginary-time method. An intuitive model for the dynamics is developed which describes the ionization process within a nonadiabatic tunneling picture with a coordinate dependent electron energy during the under-the-barrier motion. The nonadiabatic effects in the elliptically polarized laser field induce a transversal momentum shift of the tunneled electron wave packet at the tunnel exit, a delayed appearance in the continuum as well as a shift of the tunneling exit towards the ionic core. The latter significantly modifies the Coulomb focusing during the electron excursion in the laser field after exiting the ionization tunnel. We show that nonadiabatic effects are especially large when the Coulomb field of the ionic core is taken into account during the under-the-barrier motion. The simpleman model modified with these nonadiabatic corrections provides an intuitive background for exact theories and has direct implications for the calibration of the attoclock technique which is used for the measurement of the tunneling delay time.


title: On the strong spherical shock waves in a two-phase gas-particle medium

abstract: In this paper, power series solutions for strong spherical shocks of time dependent variable energy propagating in a two-phase gas-particle medium are presented taking into consideration the power series solution technique (Sakurai in J Phys Soc Jpn 8:662-669,1953; Freeman in J Phys D Appl Phys 2(1):1697-1710,1968). Assuming the medium to be a mixture of a perfect gas and small solid particles, the power series solutions are obtained in terms of M^-2, where M is the upstream Mach number of shock. This investigation presents an overview of the effects due to an increase in (i) the propagation distance from the inner expanding surface and, (ii) the dust loading parameters on flow-field variables such as the velocity of fluid, the pressure, the density, and also on the speed of sound, the adiabatic compressibility of mixture and the change-in-entropy behind the strong spherical shock front.


title: Thermodynamics of the quark-gluon plasma at finite chemical potential: color path integral Monte Carlo results

abstract: Based on the constituent quasiparticle model of the quark-gluon plasma (QGP), color quantum path-integral Monte-Carlo (PIMC) calculations of the thermodynamic properties of the QGP are performed. We extend our previous zero chemical potential simulations to the QGP at finite baryon chemical potential. The results indicate that color PIMC can be applied not only above the QCD critical temperature $T_c$ but also below $T_c$. Besides reproducing the lattice equation of state our approach yields also valuable additional insight into the internal structure of the QGP, via the pair distribution functions of the various quasiparticles. In particular, the pair distribution function of gluons reflects the existence of gluon-gluon bound states at low temperatures and $\mu=175$ MeV, i.e. glueballs, while meson-like bound states are not found.


title: Accelerating unstructured finite volume computations on field-programmable gate arrays

abstract: Accurate simulations of various physical processes on digital computers requires huge computing performance, therefore accelerating these scientific and engineering applications has a great importance. Density of programmable logic devices doubles in every 18 months according to Moore's Law. On the recent devices around one hundred double precision floating-point adders and multipliers can be implemented. In the paper an FPGA based framework is described to efficiently utilize this huge computing power to accelerate simulation of complex physical spatiotemporal phenomena. Simulating complicated geometries requires unstructured spatial discretization which results in irregular memory access patterns severely limiting computing performance. Data locality is improved by mesh node renumbering technique which results in predictable memory access pattern. Additionally storing a small window of node data in the on-chip memory of the FPGA can increase data reuse and decrease memory bandwidth requirements. Generation of the floating-point data path and control structure of the arithmetic unit containing dozens of operators is a very challenging task when the goal is high operating frequency. Long and high fanout control lines and improper placement can severely affect computing performance. In the paper an automatic data path generation and partitioning algorithm is presented to eliminate long delays and aid placement of the circuit. Efficiency and use of the framework is described by a case study solving the Euler equations on an unstructured mesh using finite volume technique. On the currently available largest FPGA the generated architecture contains three processing elements working in parallel providing 90 times speedup compared to a high performance microprocessor core.


title: Removable sets for Orlicz-Sobolev spaces

abstract: We study removable sets for the Orlicz-Sobolev space $W^{1,\Psi},$ for functions of the form $\Psi(t)=t^p\log^{\lambda}(e+t).$ We show that $(p,\lambda)$-porous sets lying in a hyperplane are removable and that this result is essentially sharp.


title: A Cross-Layer Approach for Distributed Energy-Efficient Power Control in Interference Networks

abstract: In contrast with existing works which rely on the same type of energy-efficiency measure to design distributed power control policies, the present work takes into account the presence of a finite packet buffer at the transmitter side and the impact of transport protocols. This approach is relevant when the transmitters have a non-zero energy cost even when the radiated power is zero. A generalized energy-efficiency performance metric integrating these features is constructed under two different scenarios in terms of transport layer protocols characterized by a constant or an adaptive packet arrival rate. The derived performance metric is shown to have several attractive properties in both scenarios, which ensures convergence of the used distributed power control algorithm to a unique point. This point is the Nash equilibrium of a game for which the equilibrium analysis is conducted. Although the equilibrium analysis methodology is not new in itself, conducting it requires several non-trivial proofs, including the proof of quasi-concavity of the payoff functions. A thorough numerical analysis is provided to illustrate the effects of the proposed approach, and provides several valuable insights in terms of designing interference management policies.


title: Lebesgue points via the Poincar\'e inequality

abstract: In this article, we show that in a $Q$-doubling space $(X,d,\mu),$ $Q>1,$ which satisfies a chain condition, if we have a $Q$-Poincar\'e inequality for a pair of functions $(u,g)$ where $g\in L^Q(X),$ then $u$ has Lebesgue points $H^h$-a.e. for $h(t)=\log^{1-Q-\epsilon}(1/t).$ We also discuss how the existence of Lebesgue points follows for $u\in W^{1,Q}(X)$ where $(X,d,\mu)$ is a complete $Q$-doubling space supporting a $Q$-Poincar\'e inequality for $Q>1.$


title: Evidence from stellar rotation of enhanced disc dispersal: (I) The case of the triple visual system BD-21 1074 in the $\beta$ Pictoris association

abstract: The early stage of stellar evolution is characterized by a star-disc locking mechanism. The disc-locking prevents the star to spin its rotation up, and its timescale depends on the disc lifetime. Some mechanisms can significantly shorten this lifetime, allowing a few stars to start spinning up much earlier than other stars. In the present study, we aim to investigate how the properties of the circumstellar environment can shorten the disc lifetime. We have identified a few multiple stellar systems, composed of stars with similar masses, which belong to associations with a known age. Since all parameters that are responsible for the rotational evolution, with the exception of environment properties and initial stellar rotation, are similar for all components, we expect that significant differences among the rotation periods can only arise from differences in the disc lifetimes. A photometric timeseries allowed us to measure the rotation periods of each component, while high-resolution spectra provided us with the fundamental parameters, $v\sin{i}$ and chromospheric line fluxes. The rotation periods of the components differ significantly, and the component B, which has a closer companion C, rotates faster than the more distant and isolated component A. We can ascribe the rotation period difference to either different initial rotation periods or different disc-locking phases arising from the presence of the close companion C. In the specific case of BD$-$21 1074, the second scenario seems to be more favored. In our hypothesis of different disc-locking phase, any planet orbiting this star is likely formed very rapidly owing to a gravitational instability mechanism, rather than core accretion. Only a large difference of initial rotation periods alone could account for the observed period difference, leaving comparable disc lifetimes.


title: Invariant sums of random matrices and the onset of level repulsion

abstract: We compute analytically the joint probability density of eigenvalues and the level spacing statistics for an ensemble of random matrices with interesting features. It is invariant under the standard symmetry groups (orthogonal and unitary) and yet the interaction between eigenvalues is not Vandermondian. The ensemble contains real symmetric or complex hermitian matrices $\mathbf{S}$ of the form $\mathbf{S}=\sum_{i=1}^M \langle \mathbf{O}_i \mathbf{D}_i\mathbf{O}_i^{\mathrm{T}}\rangle$ or $\mathbf{S}=\sum_{i=1}^M \langle \mathbf{U}_i \mathbf{D}_i\mathbf{U}_i^\dagger\rangle$ respectively. The diagonal matrices $\mathbf{D}_i=\mathrm{diag}\{\lambda_1^{(i)},\ldots,\lambda_N^{(i)}\}$ are constructed from real eigenvalues drawn \emph{independently} from distributions $p^{(i)}(x)$, while the matrices $\mathbf{O}_i$ and $\mathbf{U}_i$ are all orthogonal or unitary. The average $\langle\cdot\rangle$ is simultaneously performed over the symmetry group and the joint distribution of $\{\lambda_j^{(i)}\}$. We focus on the limits i.) $N\to\infty$ and ii.) $M\to\infty$, with $N=2$. In the limit i.), the resulting sum $\mathbf{S}$ develops level repulsion even though the original matrices do not feature it, and classical RMT universality is restored asymptotically. In the limit ii.) the spacing distribution attains scaling forms that are computed exactly: for the orthogonal case, we recover the $\beta=1$ Wigner's surmise, while for the unitary case an entirely new universal distribution is obtained. Our results allow to probe analytically the microscopic statistics of the sum of random matrices that become asymptotically free. We also give an interpretation of this model in terms of radial random walks in a matrix space. The analytical results are corroborated by numerical simulations.

categories: cond-mat.stat-mech math-ph math.MP stat.OT


title: Production of two hadrons in semi-inclusive Deep Inelatic Scattering

abstract: We present the general expression, in terms of structure functions, of the cross section for the production of two hadrons in semi-inclusive deep-inelastic scattering. We analyze this process including full transverse-momentum dependence up to subleading twist and check, where possible, the consistency with existing literature.


title: Heterogeneous anomalous diffusion in view of superstatistics

abstract: It is experimentally known that virus exhibits stochastic motion in cytoplasm of a living cell in the free form as well as the form being contained in the endosome and the exponent of anomalous diffusion of the virus fluctuates depending on localized areas of the cytoplasm. Here, a theory is developed for establishing a generalized fractional kinetics for the infection pathway of the virus in the cytoplasm in view of superstatistics, which offers a general framework for describing nonequilibrium complex systems with two largely separated time scales. In the present theory, the existence of a large time-scale separation in the infection pathway is explicitly taken into account. A comment is also made on scaling nature of the motion of the virus that is suggested by the theory.


title: Measurement of hadron composition in charged jets from pp collisions with the ALICE experiment

abstract: We report on the first measurement of the charged hadron composition in charged jets from pp collisions. The ALICE detector at the LHC was used to study charged pion, kaon and (anti-)proton production in jets. The results were extracted from $2 \times 10^8$ minimum bias events at a centre-of-mass energy of $\sqrt{s} = 7$ TeV. We present the transverse momentum ($p_{\mathrm{T}}$) spectra and reduced momentum spectra ($z^{\mathrm{ch}} \equiv p_{\mathrm{T}}^{\mathrm{track}} / p_{\mathrm{T, jet}}^{\mathrm{ch}}$) of $\pi$, K and p in charged jets with $p_{\mathrm{T, jet}}^{\mathrm{ch}}$ between 5 and 20 GeV/$c$. The measurements are compared to Monte Carlo calculations.


title: Almost the Best of Three Worlds: Risk, Consistency and Optional Stopping for the Switch Criterion in Nested Model Selection

abstract: We study the switch distribution, introduced by Van Erven et al. (2012), applied to model selection and subsequent estimation. While switching was known to be strongly consistent, here we show that it achieves minimax optimal parametric risk rates up to a $\log\log n$ factor when comparing two nested exponential families, partially confirming a conjecture by Lauritzen (2012) and Cavanaugh (2012) that switching behaves asymptotically like the Hannan-Quinn criterion. Moreover, like Bayes factor model selection but unlike standard significance testing, when one of the models represents a simple hypothesis, the switch criterion defines a robust null hypothesis test, meaning that its Type-I error probability can be bounded irrespective of the stopping rule. Hence, switching is consistent, insensitive to optional stopping and almost minimax risk optimal, showing that, Yang's (2005) impossibility result notwithstanding, it is possible to `almost' combine the strengths of AIC and Bayes factor model selection.


title: Asymptotic expansion of the multi-orientable random tensor model

abstract: Three-dimensional random tensor models are a natural generalization of the celebrated matrix models. The associated tensor graphs, or 3D maps, can be classified with respect to a particular integer or half-integer, the degree of the respective graph. In this paper we analyze the general term of the asymptotic expansion in N, the size of the tensor, of a particular random tensor model, the multi-orientable tensor model. We perform their enumeration and we establish which are the dominant configurations of a given degree.


title: Integrability test for evolutionary lattice equations of higher order

abstract: A generalized summation by parts algorithm is presented for solving of difference equations of the form $T^m(y)-a[u]y=b[u]$ where $T$ denotes the shift $u_j\to u_{j+1}$. Solvability of such type of equations with respect to coefficients of formal symmetry (or formal recursion operator) provides a convenient integrability test for evolutionary differential-difference equations $u_{,t}=f(u_{-m},\dots,u_m)$. The algorithm is implemented in {\em Mathematica}.


title: The Stanley Depth in the Upper Half of the Koszul Complex

abstract: Let $R = K[X_1, ..., X_n]$ be a polynomial ring over some field $K$. In this paper, we prove that the $k$-th syzygy module of the residue class field $K$ of $R$ has Stanley depth $n-1$ for $\lfloor n/2 \rfloor \leq k < n$, as it had been conjectured by Bruns et. al. in 2010. In particular, this gives the Stanley depth for a whole family of modules whose graded components have dimension greater than $1$. So far, the Stanley depth is known only for a few examples of this type. Our proof consists in a close analysis of a matching in the Boolean algebra.


title: Sinkhorn normal form for unitary matrices

abstract: Sinkhorn proved that every entry-wise positive matrix can be made doubly stochastic by multiplying with two diagonal matrices. In this note we prove a recently conjectured analogue for unitary matrices: every unitary can be decomposed into two diagonal unitaries and one whose row- and column sums are equal to one. The proof is non-constructive and based on a reformulation in terms of symplectic topology. As a corollary, we obtain a decomposition of unitary matrices into an interlaced product of unitary diagonal matrices and discrete Fourier transformations. This provides a new decomposition of linear optics arrays into phase shifters and canonical multiports described by Fourier transformations.


title: Stochastic tunneling and metastable states during the somatic evolution of cancer

abstract: Tumors initiate when a population of proliferating cells accumulates a certain number and type of genetic and/or epigenetic alterations. The population dynamics of such sequential acquisition of (epi)genetic alterations has been the topic of much investigation. The phenomenon of stochastic tunneling, where an intermediate mutant in a sequence does not reach fixation in a population before generating a double mutant, has been studied using a variety of computational and mathematical methods. However, the field still lacks a comprehensive analytical description since theoretical predictions of fixation times are only available for cases in which the second mutant is advantageous. Here, we study stochastic tunneling in a Moran model. Analyzing the deterministic dynamics of large populations we systematically identify the parameter regimes captured by existing approaches. Our analysis also reveals fitness landscapes and mutation rates for which finite populations are found in long-lived metastable states. These are landscapes in which the final mutant is not the most advantageous in the sequence, and resulting metastable states are a consequence of a mutation-selection balance. The escape from these states is driven by intrinsic noise, and their location affects the probability of tunneling. Existing methods no longer apply. In these regimes it is the escape from the metastable states that is the key bottleneck; fixation is no longer limited by the emergence of a successful mutant lineage. We used the so-called Wentzel-Kramers-Brillouin method to compute fixation times in these parameter regimes, successfully validated by stochastic simulations. Our work fills a gap left by previous approaches and provides a more comprehensive description of the acquisition of multiple mutations in populations of somatic cells.


title: Collective modes in a Dirac insulator with short range interactions

abstract: We study a Haldane model with nearest neighbor interactions. We find one-dimensional like collective modes arising due to the interplay of pseudo-spin and valley degrees of freedom. In the large band gap or moderate interaction limit, these excitations are low energy modes lying in the band gap. The dispersion relations are qualitatively different in trivial insulator phase and Chern insulator phase, thus can be used to identify the topology of the Haldane model with the bulk property. We also discuss how to detect these modes in cold atom systems. An abelian gauge theory will emerge when a physical current-current interaction is introduced to the Haldane model or the Kane-Mele model.


title: Effect of small-world topology on wave propagation on networks of excitable elements

abstract: We study excitation waves on a Newman-Watts small-world network model of coupled excitable elements. Depending on the global coupling strength, we find differing resilience to the added long-range links and different mechanisms of propagation failure. For high coupling strengths, we show agreement between the network and a reaction-diffusion model with additional mean-field term. Employing this approximation, we are able to estimate the critical density of long-range links for propagation failure.


title: Conjugacies between P-homeomorphisms with several breaks

abstract: Let $f_{i},i=1,2$ be orientation preserving circle homeomorphisms with a finite number of break points, at which the first derivatives $Df_{i}$ have jumps, and with identical irrational rotation number $\rho=\rho_{f_{1}}=\rho_{f_{2}}.$ The jump ratio of $f_{i}$ at the break point $b$ is denoted by $\sigma_{f_{i}}(b)$, i.e. $\sigma_{f_{i}}(b):=\frac{Df_{i}(b-0)}{Df_{i}(b+0)}$. Denote by $\sigma_{f_{i}}, i=1,2,$ the total jump ratio given by the product over all break points $b$ of the jump ratios $\sigma_{f_{i}}(b)$ of $f_{i}$. We prove, that for circle homeomorphisms $f_{i}, i=1,2$, which are $C^{2+\varepsilon}, \varepsilon>0$, on each interval of continuity of $Df_{i}$ and whose total jump ratios $\sigma_{f_{1}}$ and $\sigma_{f_{2}}$ do not coincide, the congugacy between $f_{1}$ and $f_{2}$ is a singular function.


title: Virtual Observatory Publishing with DaCHS

abstract: The Data Center Helper Suite DaCHS is an integrated publication package for building Virtual Observatory (VO) and Web services, supporting the entire workflow from ingestion to data mapping to service definition. It implements all major data discovery, data access, and registry protocols defined by the VO. DaCHS in this sense works as glue between data produced by the data providers and the standard protocols and formats defined by the VO. This paper discusses central elements of the design of the package and gives two case studies of how VO protocols are implemented using DaCHS' concepts.


title: Electron dynamics in the carbon atom induced by spin-orbit interaction

abstract: We use R-Matrix theory with Time dependence (RMT) to investigate multiphoton ionization of ground-state atomic carbon with initial orbital magnetic quantum number $M_L$=0 and $M_L$=1 at a laser wavelength of 390 nm and peak intensity of 10$^{14}$ W cm$^{-2}$. Significant differences in ionization yield and ejected-electron momentum distribution are observed between the two values for $M_L$. We use our theoretical results to model how the spin-orbit interaction affects electron emission along the laser polarization axis. Under the assumption that an initial C atom is prepared at zero time delay with $M_L=0$, the dynamics with respect to time delay of an ionizing probe pulse modelled using RMT theory is found to be in good agreement with available experimental data.


title: Benford Analysis: A useful paradigm for spectroscopic analysis

abstract: Benford's law is a statistical inference to predict the frequency of significant digits in naturally occurring numerical databases. In such databases this law predicts a higher occurrence of the digit 1 in the most significant place and decreasing occurrences to other larger digits. Although counter-intuitive at first sight, Benford's law has seen applications in a wide variety of fields like physics, earth-science, biology, finance etc. In this work, we have explored the use of Benford's law for various spectroscopic applications. Although, we use NMR signals as our databases, the methods described here may also be extended to other spectroscopic techniques. In particular, with the help of Benford analysis, we demonstrate the detection of weak NMR signals and spectral corrections. We also explore a potential application of Benford analysis in the image-processing of MRI data.


title: Free independence in ultraproduct von Neumann algebras and applications

abstract: The main result of this paper is a generalization of Popa's free independence result for subalgebras of ultraproduct ${\rm II_1}$ factors [Po95] to the framework of ultraproduct von Neumann algebras $(M^\omega, \varphi^\omega)$ where $(M, \varphi)$ is a $\sigma$-finite von Neumann algebra endowed with a faithful normal state satisfying $(M^\varphi)' \cap M = \mathbf{C} 1$. More precisely, we show that whenever $P_1, P_2 \subset M^\omega$ are von Neumann subalgebras with separable predual that are globally invariant under the modular automorphism group $(\sigma_t^{\varphi^\omega})$, there exists a unitary $v \in \mathcal U((M^\omega)^{\varphi^\omega})$ such that $P_1$ and $v P_2 v^*$ are $\ast$-free inside $M^\omega$ with respect to the ultraproduct state $\varphi^\omega$. Combining our main result with the recent work of Ando-Haagerup-Winsl\o w [AHW13], we obtain a new and direct proof, without relying on Connes-Tomita-Takesaki modular theory, that Kirchberg's quotient weak expectation property (QWEP) for von Neumann algebras is stable under free product. Finally, we obtain a new class of inclusions of von Neumann algebras with the relative Dixmier property.


title: Event-triggered control of nonlinear singularly perturbed systems based only on the slow dynamics

abstract: Controllers are often designed based on a reduced or simplified model of the plant dynamics. In this context, we investigate whether it is possible to synthesize a stabilizing event-triggered feedback law for networked control systems (NCS) which have two time-scales, based only on an approximate model of the slow dynamics. We follow an emulation-like approach as we assume that we know how to solve the problem in the absence of sampling and then we study how to design the event-triggering rule under communication constraints. The NCS is modeled as a hybrid singularly perturbed system which exhibits the feature to generate jumps for both the fast variable and the error variable induced by the sampling. The first conclusion is that a triggering law which guarantees the stability and the existence of a uniform minimum amount of time between two transmissions for the slow model may not ensure the existence of such a time for the overall system, which makes the controller not implementable in practice. The objective of this contribution is twofold. We first show that existing event-triggering conditions can be adapted to singularly perturbed systems and semiglobal practical stability can be ensured in this case. Second, we propose another technique that combines event-triggered and time-triggered results in the sense that transmissions are only allowed after a predefined amount of time has elapsed since the last transmission. This technique has the advantage, under an additional assumption, to ensure a global asymptotic stability property and to allow the user to directly tune the minimum inter-transmission interval. We believe that this technique is of its own interest independently of the two-time scale nature of the addressed problem. The results are shown to be applicable to a class of globally Lipschitz systems.


title: Stabilization of nonlinear systems using event-triggered output feedback controllers

abstract: The objective is to design output feedback event-triggered controllers to stabilize a class of nonlinear systems. One of the main difficulties of the problem is to ensure the existence of a minimum amount of time between two consecutive transmissions, which is essential in practice. We solve this issue by combining techniques from event-triggered and time-triggered control. The idea is to turn on the event-triggering mechanism only after a fixed amount of time has elapsed since the last transmission. This time is computed based on results on the stabilization of time-driven sampled-data systems. The overall strategy ensures an asymptotic stability property for the closed-loop system. The results are proved to be applicable to linear time-invariant (LTI) systems as a particular case.


title: Causal band-limitness and predictability criterions for one-sided sequences

abstract: The paper studies frequency characteristics and predictability of real sequences, i.e., discrete time processes in deterministic setting. We consider band-limitness and predictability of one-sided sequences. We establish predictability of some classes of sequences, and we suggest predictors represented by causal convolution sums over past times.


title: Impact of loss on the wave dynamics in photonic waveguide lattices

abstract: We analyze the impact of loss in lattices of coupled optical waveguides and find that in such case, the hopping between adjacent waveguides is necessarily complex. This results not only in a transition of the light spreading from ballistic to diffusive, but also in a new kind of diffraction that is caused by loss dispersion. We prove our theoretical results with experimental observations.


title: Measurements of Electron Cloud Growth and Mitigation in Dipole, Quadrupole, and Wiggler Magnets

abstract: Retarding field analyzers (RFAs), which provide a localized measurement of the electron cloud, have been installed throughout the Cornell Electron Storage Ring (CESR), in different magnetic field environments. This paper describes the RFA designs developed for dipole, quadrupole, and wiggler field regions, and provides an overview of measurements made in each environment. The effectiveness of electron cloud mitigations, including coatings, grooves, and clearing electrodes, are assessed with the RFA measurements.


title: Morita's Duality for Split Reductive Groups

abstract: In this paper, we extend the work in "Morita's Theory for the Symplectic Groups" to split reductive groups. We construct and study the holomorphic discrete series representation and the principal series representation of a split reductive group $\mathrm {G}$ over a $p$-adic field $F$ as well as a duality between certain sub-representations of these two representations.


title: Local average in hyperbolic lattice point counting

abstract: The hyperbolic lattice point problem asks to estimate the size of the orbit $\Gamma z$ inside a hyperbolic disk of radius $\cosh^{-1}(X/2)$ for $\Gamma$ a discrete subgroup of $\hbox{PSL}_2(R)$. Selberg proved the estimate $O(X^{2/3})$ for the error term for cofinite or cocompact groups. This has not been improved for any group and any center. In this paper local averaging over the center is investigated for $\hbox{PSL}_2(Z)$. The result is that the error term can be improved to $O(X^{7/12+\epsilon})$. The proof uses surprisingly strong input e.g. results on the quantum ergodicity of Maa{\ss} cusp forms and estimates on spectral exponential sums. We also prove omega results for this averaging, consistent with the conjectural best error bound $O(X^{1/2+\epsilon})$. In the appendix the relevant exponential sum over the spectral parameters is investigated.


title: ABC Effect and Resonance Structure in the Double-Pionic Fusion to $^3$He

abstract: Exclusive and kinematically complete measurements of the double pionic fusion to $^3$He have been performed in the energy region of the so-called ABC effect, which denotes a pronounced low-mass enhancement in the $\pi\pi$-invariant mass spectrum. The experiments were carried out with the WASA detector setup at COSY. Similar to the observations in the basic $pn \to d \pi^0\pi^0$ reaction and in the $dd \to ^4$He$\pi^0\pi^0$ reaction, the data reveal a correlation between the ABC effect and a resonance-like energy dependence in the total cross section. Differential cross sections are well described by the hypothesis of $d^*$ resonance formation during the reaction process in addition to the conventional $t$-channel $\Delta\Delta$ mechanism. The deduced $d^*$ resonance width can be understood from collision broadening due to Fermi motion of the nucleons in initial and final nuclei.


title: Some Fractional Calculus results associated with the $I$-Function

abstract: The effect of Marichev-Saigo-Maeda (MSM) fractional operators involving third Appell function on the $I$ function is studied. It is shown that the order of the $I$-function increases on application of these operators to the power multiple of the $I$-function. The Caputo-type MSM fractional derivatives are introduced and studied for the $I$-function. As special cases, the corresponding assertions for Saigo and Erd\'elyi-Kober fractional operators are also presented. The results obtained in this paper generalize several known results obtained recently in the literature.


title: A stochastic Gauss-Bonnet-Chern formula

abstract: We prove that a Gaussian ensemble of smooth random sections of a real vector bundle over compact manifold canonically defines a metric on the bundle together with a connection compatible with it. Additionally, we prove a refined Gauss-Bonnet-Chern theorem stating that if the bundle and the manifold are oriented, then the Euler form of the above connection can be identified, as a current, with the expectation of the random current defined by the zero-locus of a random section in the above Gaussian ensemble.


title: Morita's Theory for the Symplectic Groups

abstract: We construct and study the holomorphic discrete series representation and the principal series representation of the symplectic group $\mathrm{Sp}(2n,F)$ over a $p$-adic field $F$ as well as a duality between some sub-representations of these two representations. The constructions of these two representations generalize those defined in Morita and Murase's works. Moreover, Morita built a duality for $\mathrm{SL}(2, F)$ defined by residues. We view the duality we defined as an algebraic interpretation of Morita's duality in some extent and its generalization to the symplectic groups.


title: A Dual Model of Open Source License Growth

abstract: Every open source project needs to decide on an open source license. This decision is of high economic relevance: Just which license is the best one to help the project grow and attract a community? The most common question is: Should the project choose a restrictive (reciprocal) license or a more permissive one? As an important step towards answering this question, this paper analyses actual license choice and correlated project growth from ten years of open source projects. It provides closed analytical models and finds that around 2001 a reversal in license choice occurred from restrictive towards permissive licenses.


title: Quantum spin chains with frustration due to Dzyaloshinskii-Moriya interactions

abstract: The properties of two quantum spin chain materials, K$_2$CuSO$_4$Cl$_2$ and K$_2$CuSO$_4$Br$_2$, are studied by a variety of experimental techniques, including bulk measurements, neutron spectroscopy and ESR. The hierarchy of relevant terms in the magnetic Hamiltonian is established. It is shown that these two compounds feature substantial Dzyaloshinskii-Moriya (DM) interactions that are uniform within each chain, but antiparallel in adjacent chains. The result is a peculiar type of frustration of inter-chain interactions, which leads to an unusual field-temperature phase diagram.


title: Enhancing Sparsity and Resolution via Reweighted Atomic Norm Minimization

abstract: The mathematical theory of super-resolution developed recently by Cand\`{e}s and Fernandes-Granda states that a continuous, sparse frequency spectrum can be recovered with infinite precision via a (convex) atomic norm technique given a set of uniform time-space samples. This theory was then extended to the cases of partial/compressive samples and/or multiple measurement vectors via atomic norm minimization (ANM), known as off-grid/continuous compressed sensing (CCS). However, a major problem of existing atomic norm methods is that the frequencies can be recovered only if they are sufficiently separated, prohibiting commonly known high resolution. In this paper, a novel (nonconvex) sparse metric is proposed that promotes sparsity to a greater extent than the atomic norm. Using this metric an optimization problem is formulated and a locally convergent iterative algorithm is implemented. The algorithm iteratively carries out ANM with a sound reweighting strategy which enhances sparsity and resolution, and is termed as reweighted atomic-norm minimization (RAM). Extensive numerical simulations are carried out to demonstrate the advantageous performance of RAM with application to direction of arrival (DOA) estimation.


title: First-Class Variability Modeling in Matlab/Simulink

abstract: Modern cars exist in an vast number of variants. Thus, variability has to be dealt with in all phases of the development process, in particular during model-based development of software-intensive functionality using Matlab/Simulink. Currently, variability is often encoded within a functional model leading to so called 150%-models which easily become very complex and do not scale for larger product lines. To counter these problems, we propose a modular variability modeling approach for Matlab/Simulink based on the concept of delta modeling [8, 9, 24]. A functional variant is described by a delta encapsulating a set of modifications. A sequence of deltas can be applied to a core product to derive the desired variant. We present a prototypical implementation, which is integrated into Matlab/Simulink and offers graphical editing of delta models.


title: The Complexity of Counting Models of Linear-time Temporal Logic

abstract: We determine the complexity of counting models of bounded size of specifications expressed in Linear-time Temporal Logic. Counting word models is #P-complete, if the bound is given in unary, and as hard as counting accepting runs of nondeterministic polynomial space Turing machines, if the bound is given in binary. Counting tree models is as hard as counting accepting runs of nondeterministic exponential time Turing machines, if the bound is given in unary. For a binary encoding of the bound, the problem is at least as hard as counting accepting runs of nondeterministic exponential space Turing machines. On the other hand, it is not harder than counting accepting runs of nondeterministic doubly-exponential time Turing machines.


title: A bag of tricks: Using proper motions of Galactic stars to identify the Hercules ultra-faint dwarf galaxy members

abstract: Hercules is the prototype of the ultra-faint dwarf (UFD) galaxies. To date, there are still no firm constraints on its total luminosity, due to the difficulty of disentangling Hercules bona-fide stars from the severe Galactic field contamination. In order to better constrain Hercules properties we aim at removing foreground and background contaminants in the galaxy field using the proper motions of the Milky Way stars and the colour-colour diagram. We have obtained images of Hercules in the rSloan, BBessel and Uspec bands with the Large Binocular Telescope (LBT) and LBC-BIN mode capabilities. The rSloan new data-set combined with data from the LBT archive span a time baseline of about 5 yr, allowing us to measure for the first time proper motions of stars in the Hercules direction. The Uspec data along with existing LBT photometry allowed us to use colour-colour diagram to further remove the field contamination. Thanks to a highly-accurate procedure to derive the rSloan-filter geometric distortion solution for the LBC-red, we were able to measure stellar relative proper motions to a precision of better than 5 mas yr^-1 down to rSloan=22 mag and disentangle a significant fraction (\>90\%) of Milky Way contaminants. We ended up with a sample of 528 sources distributed over a large portion of the galaxy body (0.12 deg^2). Of these sources, 171 turned out to be background galaxies and additional foreground stars, from the analysis of the Uspec - BBessel vs. BBessel - rSloan colour-colour diagram. This leaves us with a sample of 357 likely members of the Hercules UFD. We compared the cleaned colour-magnitude diagram (CMD) with evolutionary models and synthetic CMDs, confirming the presence in Hercules of an old population (t=12\pm 2 Gyr), with a wide spread in metallicity (-3.3\<[Fe/H]\<-1.8).


title: On the HI-Hole and AGB Stellar Population of the Sagittarius Dwarf Irregular Galaxy

abstract: Using two HST/ACS data-sets that are separated by ~2 years has allowed us to derive the relative proper-motion for the Sagittarius dwarf irregular (SagDIG) and reduce the heavy foreground Galactic contamination. The proper-motion decontaminated SagDIG catalog provides a much clearer view of the young red-supergiant and intermediate-age asymptotic giant branch populations. We report the identification of 3 Milky Way carbon-rich dwarf stars, probably belonging to the thin disk, and pointing to the high incidence of this class at low Galactic latitudes. A sub-group of 4 oxygen-rich candidate stars depicts a faint, red extension of the well-defined SagDIG carbon-rich sequence. The origin of these oxygen-rich candidate stars remains unclear, reflecting the uncertainty in the ratio of carbon/oxygen rich stars. SagDIG is also a gas-rich galaxy characterized by a single large cavity in the gas disk (HI-hole), which is offset by ~360 pc from the optical centre of the galaxy. We nonetheless investigate the stellar feedback hypothesis by comparing the proper-motion cleaned stellar populations within the HI-hole with appropriately selected comparison regions, having higher HI densities external to the hole. The comparison shows no significant differences. In particular, the centre of the HI-hole (and the comparison regions) lack stellar populations younger than ~400 Myr, which are otherwise abundant in the inner body of the galaxy. We conclude that there is no convincing evidence that the SagDIG HI-hole is the result of stellar feedback, and that gravitational and thermal instabilities in the gas are the most likely mechanism for its formation.


title: Gas-liquid phase equilibrium in ionic fluids: Coulomb versus non-Coulomb interactions

abstract: Using the collective variables theory, we study the effect of competition between Coulomb and dispersion forces on the gas-liquid phase behaviour of a model ionic fluid, i.e. a charge-asymmetric primitive model with additional short-range attractive interactions. Both the critical parameters and the coexistence envelope are calculated in a one-loop approximation as a function of the parameter $\alpha$ measuring the relative strength of the Coulomb to short-range interactions. We found the very narrow region of $\alpha$ bounded from the both sides by tricritical points which separates the models with "nonionic" and "Coulombic" phase behaviour. This is at variance with the result of available computer simulations where no tricritical point is found for the finely-discretized lattice version of the model.


title: Engineering Delta Modeling Languages

abstract: Delta modeling is a modular, yet flexible approach to capture spatial and temporal variability by explicitly representing the differences between system variants or versions. The conceptual idea of delta modeling is language-independent. But, in order to apply delta modeling for a concrete language, so far, a delta language had to be manually developed on top of the base language leading to a large variety of heterogeneous language concepts. In this paper, we present a process that allows deriving a delta language from the grammar of a given base language. Our approach relies on an automatically generated language extension that can be manually adapted to meet domain-specific needs. We illustrate our approach using delta modeling on a textual variant of statecharts.


title: Collisional excitation of singly deuterated ammonia NH$_2$D by H$_2$

abstract: The availability of collisional rate coefficients with H$_2$ is a pre-requisite for interpretation of observations of molecules whose energy levels are populated under non local thermodynamical equilibrium conditions. In the current study, we present collisional rate coefficients for the NH$_2$D / para--H$_2$($J_2 = 0,2$) collisional system, for energy levels up to $J_\tau = 7_7$ ($E_u$$\sim$735 K) and for gas temperatures in the range $T = 5-300$K. The cross sections are obtained using the essentially exact close--coupling (CC) formalism at low energy and at the highest energies, we used the coupled--states (CS) approximation. For the energy levels up to $J_\tau = 4_2$ ($E_u$$\sim$215 K), the cross sections obtained through the CS formalism are scaled according to a few CC reference points. These reference points are subsequently used to estimate the accuracy of the rate coefficients for higher levels, which is mainly limited by the use of the CS formalism. Considering the current potential energy surface, the rate coefficients are thus expected to be accurate to within 5\% for the levels below $J_\tau = 4_2$, while we estimate an accuracy of 30\% for higher levels.


title: Diffraction Radiation of Electron Bunches for One- and Two Slit Systems

abstract: New research in acceleration physics leads to growing up the power of charged particles bunches. Existed methods based on interaction of detection devices with bunches do not satisfy our need, because of the fact that new high intensity bunches can damage this devices. Moreover, these methods do not allow analyzing the bunches in real time. Recently new technique based on ODRI (optical diffraction radiation interference) by a bunch at its propagation through the slit was proposed. In this work the results of theoretical simulations on diffraction radiation, in particular ODRI, by electrons for various slit systems as well as the comparison with the DESY experimental data are presented.


title: Quantum interference in HgTe structures

abstract: We study quantum transport in HgTe/HgCdTe quantum wells under the condition that the chemical potential is located outside of the bandgap. We first analyze symmetry properties of the effective Bernevig-Hughes-Zhang Hamiltonian and the relevant symmetry-breaking perturbations. Based on this analysis, we overview possible patterns of symmetry breaking that govern the quantum interference (weak localization or weak antilocalization) correction to the conductivity in two dimensional HgTe/HgCdTe samples. Further, we perform a microscopic calculation of the quantum correction beyond the diffusion approximation. Finally, the interference correction and the low-field magnetoresistance in a quasi-one-dimensional geometry are analyzed.


title: Parabolic BMO and global integrability of supersolutions to doubly nonlinear parabolic equations

abstract: We prove that local and global parabolic BMO spaces are equal thus extending the classical result of Reimann and Rychener. Moreover, we show that functions in parabolic BMO are exponentially integrable in a general class of space-time cylinders. As a corollary, we establish global integrability for positive supersolutions to a wide class of doubly nonlinear parabolic equations.


title: Nakayama automorphism and applications

abstract: Nakayama automorphism is used to study group actions and Hopf algebra actions on Artin-Schelter regular algebras of global dimension three.


title: Equivalence of ADM Hamiltonian and Effective Field Theory approaches at next-to-next-to-leading order spin1-spin2 coupling of binary inspirals

abstract: The next-to-next-to-leading order spin1-spin2 potential for an inspiralling binary, that is essential for accuracy to fourth post-Newtonian order, if both components in the binary are spinning rapidly, has been recently derived independently via the ADM Hamiltonian and the Effective Field Theory approaches, using different gauges and variables. Here we show the complete physical equivalence of the two results, thereby we first prove the equivalence of the ADM Hamiltonian and the Effective Field Theory approaches at next-to-next-to-leading order with the inclusion of spins. The main difficulty in the spinning sectors, which also prescribes the manner in which the comparison of the two results is tackled here, is the existence of redundant unphysical spin degrees of freedom, associated with the spin gauge choice of a point within the extended spinning object for its representative worldline. After gauge fixing and eliminating the unphysical degrees of freedom of the spin and its conjugate at the level of the action, we arrive at curved spacetime generalizations of the Newton-Wigner variables in closed form, which can also be used to obtain further Hamiltonians, based on an Effective Field Theory formulation and computation. Finally, we make use of our validated result to provide gauge invariant relations among the binding energy, angular momentum, and orbital frequency of an inspiralling binary with generic compact spinning components to fourth post-Newtonian order, including all known sectors up to date.


title: Some stochastic Property of topological action semigroups

abstract: Under suitable conditions, with respect to some property on a random iterated function system(RIFS), it is shown how the system satisfies in this property almost surely.


title: Cohomological finite-generation for finite supergroup schemes

abstract: In this paper we compute extension groups in the category of strict polynomial superfunctors and thereby exhibit certain "universal extension classes" for the general linear supergroup. Some of these classes restrict to the universal extension classes for the general linear group exhibited by Friedlander and Suslin, while others arise from purely super phenomena. We then use these extension classes to show that the cohomology ring of a finite supergroup scheme---equivalently of a finite-dimensional cocommutative Hopf superalgebra---over a field is a finitely-generated algebra. Implications for the rational cohomology of the general linear supergroup are also discussed.


title: Ionized gas kinematics of galaxies in the CALIFA survey I: Velocity fields, kinematic parameters of the dominant component, and presence of kinematically distinct gaseous systems

abstract: This work provides an overall characterization of the kinematic behavior of the ionized gas of the galaxies included in the Calar Alto Legacy Integral field Area (CALIFA), offering kinematic clues to potential users of this survey for including kinematical criteria for specific studies. From the first 200 galaxies observed by CALIFA, we present the 2D kinematic view of the 177 galaxies satisfying a gas detection threshold. After removing the stellar contribution, we used the cross-correlation technique to obtain the radial velocity of the dominant gaseous component. The main kinematic parameters were directly derived from the radial velocities with no assumptions on the internal motions. Evidence of the presence of several gaseous components with different kinematics were detected by using [OIII] profiles. Most objects in the sample show regular velocity fields, although the ionized-gas kinematics are rarely consistent with simple coplanar circular motions. 35% of the objects present evidence of a displacement between the photometric and kinematic centers larger than the original spaxel radii. Only 17% of the objects in the sample exhibit kinematic lopsidedness when comparing receding and approaching sides of the velocity fields, but most of them are interacting galaxies exhibiting nuclear activity. Early-type galaxies in the sample present clear photometric-kinematic misaligments. There is evidence of asymmetries in the emission line profiles suggesting the presence of kinematically distinct gaseous components at different distances from the nucleus. This work constitutes the first determination of the ionized gas kinematics of the galaxies observed in the CALIFA survey. The derived velocity fields, the reported kinematic peculiarities and the identification of the presence of several gaseous components might be used as additional criteria for selecting galaxies for specific studies.


title: W gamma production in hadronic collisions using the POWHEG+MiNLO method

abstract: We detail a calculation of W gamma production in hadronic collision, at Next-to-Leading Order (NLO) QCD interfaced to a shower generator according to the POWHEG prescription supplemented with the MiNLO procedure. The fixed order result is matched to an interleaved QCD+QED parton shower, in such a way that the contribution arising from hadron fragmentation into photons is fully modeled. In general, our calculation illustrates a new approach to the fully exclusive simulation of prompt photon production processes accurate at the NLO level in QCD. We compare our predictions to those of the NLO program MCFM, which treats the fragmentation contribution in terms of photon fragmentation functions. We also perform comparisons to available LHC data at 7 TeV, for which we observe good agreement, and provide phenomenological results for physics studies of the W gamma production process at the Run II of the LHC. The new tool, which includes W leptonic decays and the contribution of anomalous gauge couplings, allows a fully exclusive, hadron-level description of the W gamma process, and is publicly available at the repository of the POWHEG BOX. Our approach can be easily adapted to deal with other relevant isolated photon production processes in hadronic collisions.


title: Thermodynamics and dynamics of the inherent states at the glass transition

abstract: It has been recently shown that one can understand the Prigogine-Defay ratio at the glass transition in terms of freezing into one of the many inherent states of the undercooled liquid. In the present paper, the treatment is extended to the dynamics at the glass transition to show the connection to isomorphism and density scaling. In addition, the energy limits for stable inherent states are discussed.


title: The $\Upsilon$ and $\Upsilon^{\prime}$ Leptonic Widths, $a_{\mu}^b$ and $m_b$ from full lattice QCD

abstract: We determine the decay rate to leptons of the ground-state $\Upsilon$ meson and its first radial excitation in lattice QCD for the first time. We use radiatively-improved NRQCD for the $b$ quarks and include $u$, $d$, $s$ and $c$ quarks in the sea with $u/d$ masses down to their physical values. We find $\Gamma(\Upsilon \rightarrow e^+e^-)$ = 1.19(11) keV and $\Gamma(\Upsilon^{\prime} \rightarrow e^+e^-)$ = 0.69(9) keV, both in good agreement with experiment. The decay constants we obtain are included in a summary plot of meson decay constants from lattice QCD given in the Conclusions. We also test time-moments of the vector current-current correlator against values determined from the $b$ quark contribution to $\sigma(e^+e^- \rightarrow \mathrm{hadrons})$ and calculate the $b$-quark piece of the hadronic vacuum polarisation contribution to the anomalous magnetic moment of the muon, $a_{\mu}^b = 0.271(37) \times 10^{-10}$. Finally we determine the $b$-quark mass, obtaining in the $\overline{MS}$ scheme, $\overline{m}_b(\overline{m}_b, n_f=5)$ = 4.196(23) GeV, the most accurate result from lattice QCD to date.


title: Question of quantum equivalence between Jordan frame and Einstein frame

abstract: In the framework of a general scalar-tensor theory, we investigate the equivalence between two different parametrizations of fields that are commonly used in cosmology - the so-called Jordan frame and Einstein frame. While it is clear that both parametrizations are mathematically equivalent at the level of the classical action, the question about their mathematical equivalence at the quantum level as well as their physical equivalence is still a matter of debate in cosmology. We analyze whether the mathematical equivalence still holds when the first quantum corrections are taken into account. We explicitly calculate the one-loop divergences in both parametrizations by using the generalized Schwinger-DeWitt algorithm and compare both results. We find that the quantum corrections do not coincide off shell and hence induce an off shell dependence on the parametrization. According to the equivalence theorem, the one-loop divergences should however coincide on shell. For a cosmological background, we show explicitly that the on shell equivalence is indeed realized by a nontrivial cancellation.


title: Summation of rational series twisted by strongly B-multiplicative coefficients

abstract: We evaluate in closed form series of the type $\sum u(n) R(n)$, where $(u(n))_n$ is a strongly $B$-multiplicative sequence and $R(n)$ a (well-chosen) rational function. A typical example is: $$ \sum_{n \geq 1} (-1)^{s_2(n)} \frac{4n+1}{2n(2n+1)(2n+2)} = -\frac{1}{4} $$ where $s_2(n)$ is the sum of the binary digits of the integer $n$. Furthermore closed formulas for series involving automatic sequences that are not strongly $B$-multiplicative, such as the regular paperfolding and Golay-Shapiro-Rudin sequences, are obtained; for example, for integer $d \geq 0$: $$ \sum_{n \geq 0} \frac{v(n)}{(n+1)^{2d+1}} = \frac{\pi^{2d+1} |E_{2d}|}{(2^{2d+2}-2)(2d)!} $$ where $(v(n))_n$ is the $\pm 1$ regular paperfolding sequence and $E_{2d}$ is an Euler number.


title: Convexity of length functions and Thurston's shear coordinates

abstract: We show that the length function of a measured geodesic lamination is convex in Thurston's shear coordinates over Teichm\"uller space and strictly convex for generic laminations. We give some consequences of this result in the context of Thurston's asymmetric metric on Teichm\"uller space.


title: Measurements of the exchange stiffness of YIG films by microwave resonance techniques

abstract: Measurements of the exchange stiffness $D$ and the exchange constant $A$ of Yttrium Iron Garnet (YIG) films are presented. The YIG films with thicknesses from 0.9 $\mu$m to 2.6 $\mu$m were investigated with a microwave setup in a wide frequency range from 5 to 40 GHz. The measurements were performed when the external static magnetic field was applied in-plane and out-of-plane. The method of Schreiber and Frait, based on the analysis of the perpendicular standing spin wave (PSSW) mode frequency dependence on the applied out-of-plane magnetic field, was used to obtain the exchange stiffness $D$. This method was modified to avoid the influence of internal magnetic fields during the determination of the exchange stiffness. Furthermore, the method was adapted for in-plane measurements as well. The results obtained using all methods are compared and values of $D$ between $(5.18\pm0.01) \cdot 10^{-17}$T$\cdot$m$^2$ and $(5.34\pm0.02) \cdot 10^{-17}$ T$\cdot$m$^2$ were obtained for different thicknesses. From this the exchange constant was calculated to be $A=(3.65 \pm 0.38)~$pJ/m.


title: Charged Particle and Photon Multiplicity, and Transverse Energy Production in High-Energy Heavy-Ion Collisions

abstract: We review the charged particle and photon multiplicity, and transverse energy production in heavy-ion collisions starting from few GeV to TeV energies. The experimental results of pseudorapidity distribution of charged particles and photons at different collision energies and centralities are discussed. We also discuss the hypothesis of limiting fragmentation and expansion dynamics using the Landau hydrodynamics and the underlying physics. Meanwhile, we present the estimation of initial energy density multiplied with formation time as a function of different collision energies and centralities. In the end, the transverse energy per charged particle in connection with the chemical freeze-out criteria is discussed. We invoke various models and phenomenological arguments to interpret and characterize the fireball created in heavy-ion collisions. This review overall provides a scope to understand the heavy-ion collision data and a possible formation of a deconfined phase of partons via the global observables like charged particles, photons and the transverse energy measurement.


title: Search for the lepton flavor violating decay $Z \rightarrow e \mu$ in pp collisions at $\sqrt{s}$ = 8 TeV with the ATLAS detector

abstract: The ATLAS detector at the Large Hadron Collider is used to search for the lepton flavor violating process $Z \rightarrow e \mu$ in pp collisions using 20.3 $fb^{-1}$ of data collected at $\sqrt{s}$ = 8 TeV. An enhancement in the $e \mu$ invariant mass spectrum is searched for at the Z boson mass. The number of Z bosons produced in the data sample is estimated using events of similar topology, $Z \rightarrow ee$ and $\mu \mu$, significantly reducing the systematic uncertainty in the measurement. There is no evidence of an enhancement at the Z boson mass, resulting in an upper limit on the branching fraction, $B(Z \rightarrow e \mu)$ < 7.5 x 10$^{-7}$ at the 95% confidence level.