title: Orchestration of Global Software Engineering Projects

abstract: Global software engineering has become a fact in many companies due to real necessity in practice. In contrast to co-located projects global projects face a number of additional software engineering challenges. Among them quality management has become much more difficult and schedule and budget overruns can be observed more often. Compared to co-located projects global software engineering is even more challenging due to the need for integration of different cultures, different languages, and different time zones - across companies, and across countries. The diversity of development locations on several levels seriously endangers an effective and goal-oriented progress of projects. In this position paper we discuss reasons for global development, sketch settings for distribution and views of orchestration of dislocated companies in a global project that can be seen as a "virtual project environment". We also present a collection of questions, which we consider relevant for global software engineering. The questions motivate further discussion to derive a research agenda in global software engineering.


title: Assessing usability of model driven development in industrial projects

abstract: An integral use of the model driven development paradigm influences and changes an organization's software development division rather heavily. Such a paradigm reduces some tasks in complexity and costs, but also introduces new tasks and, if introduced seriously, has severe affects on activities and roles in the software development process. As the model becomes the most important development artifact, there are new challenges to the development team, e. g. assessing the model's quality, model partitioning and configuration management for distributed teams, setup of build management, tool chaining and tracing of information through the various artifacts. Organizations coping with model driven development need to successfully introduce new tools and new ways of thinking, they are challenged in adopting their processes and training their staff. This paper presents an ongoing research project on the assessment of the usability of modeling and model driven development at a global industrial organization with its headquarters in Germany. The matter of interest is the analysis of the usability of modeling (especially with the UML) and model driven development by accomplishing an empirical, quantitative survey.


title: System Model-Based Definition of Modeling Language Semantics

abstract: In this paper, we present an approach to define the semantics for object-oriented modeling languages. One important property of this semantics is to support underspecified and incomplete models. To this end, semantics is given as predicates over elements of the semantic domain. This domain is called the system model which is a general declarative characterization of object systems. The system model is very detailed since it captures various relevant structural, behavioral, and interaction aspects. This allows us to re-use the system model as a domain for various kinds of object-oriented modeling languages. As a major consequence the integration of language semantics is straight-forward. The whole approach is supported by tools that do not constrain the semantics definition's expressiveness and flexibility while making it machinecheckable.


title: Automated Testing of Graphical Models in Heterogeneous Test Environments

abstract: Automated and therefore repeatable tests are important in product lines to ensure and maintain quality of software functions as well as efficiency of the developers. This article shows methods for fully automated testing of SIMULINK models with the slUnit framework and techniques for the integration of slUnit tests in a general test framework to allow integrated and automated test reports.


title: Manifesto - Model Engineering for Complex Systems

abstract: Complex systems are hard to define. Nevertheless they are more and more frequently encountered. Examples include a worldwide airline traffic management system, a global telecommunication or energy infrastructure or even the whole legacy portfolio accumulated for more than thirty years in a large insurance company. There are currently few engineering methods and tools to deal with them in practice. The purpose of this Dagstuhl Perspectives Workshop on Model Engineering for Complex Systems was to study the applicability of Model Driven Engineering (MDE) to the development and management of complex systems. MDE is a software engineering field based on few simple and sound principles. Its power stems from the assumption of considering everything - engineering artefacts, manipulations of artefacts, etc - as a model. Our intuition was that MDE may provide the right level of abstraction to move the study of complex systems from an informal goal to more concrete grounds. In order to provide first evidence in support of this intuition, the workshop studied different visions and different approaches to the development and management of different kinds of complex systems. This note presents the summary of the discussions.


title: A Framework for Realtime Online Auctions

abstract: Among the existing E-Commerce applications, online auctions are the most influential ones. Their impact on trading in the B2B (business to business) as well as in the B2C (business to consumer) and C2C (consumer to consumer) areas will be inevitable. This article describes the architecture of a web-based realtime online auction system, together with the functional and technical requirements that evolved during the development process and heavily influenced the architecture. From the point of view of this real world case study, ways to minimize the development time and yet ensure a robust and flexible system are explained: combining standard software and self- developed components, reusing code wherever possible, and employing the eXtreme Programming approach and its test concepts.


title: On the minimal number of singular fibers with non-compact Jacobians for families of curves over $\mathbb P^1$

abstract: Let $f:X \to \mathbb{P}^1$ be a non-isotrivial family of semi-stable curves of genus $g\geq 1$ defined over an algebraically closed field $k$ with $s_{nc}$ singular fibers whose Jacobians are non-compact. We prove that $s_{nc}\geq 5$ if $k=\mathbb C$ and $g\geq 5$; we also prove that $s_{nc}\geq 4$ if ${\rm char}~k>0$ and the relative Jacobian of $f$ is non-smooth.


title: The plane stress state of residually stressed bodies: a stress function approach

abstract: The stressed state of flattened thin elastic sheet, as well as that of translationally symmetric 3D solids, are effectively 2D problems. This paper study equilibrium state-of-stress in metrically-incompatible 2D elastic materials. The solution is represented by a scalar stress function, generalizing the Airy stress function, which is determined by geometric compatibility conditions. We develop a perturbative approximation method for solving this stress function, valid for any constitutive relation. We apply the method for the case of a Hookean solid to solve prototypical examples in which the classical Airy approach is either inaccurate or inapplicable. Results are shown to agree well with numerical results obtained in previous works.


title: Robust interface between flying and topological qubits

abstract: Hybrid architectures, consisting of conventional and topological qubits, have recently attracted much attention due to their capability in consolidating the robustness of topological qubits and the universality of conventional qubits. However, these two kinds of qubits are normally constructed in significantly different energy scales, and thus this energy mismatch is a major obstacle for their coupling that supports the exchange of quantum information between them. Here, we propose a microwave photonic quantum bus for a direct strong coupling between the topological and conventional qubits, in which the energy mismatch is compensated by the external driving field via the fractional ac Josephson effect. In the framework of tight-binding simulation and perturbation theory, we show that the energy splitting of the topological qubits in a finite length nanowire is still robust against local perturbations, which is ensured not only by topology, but also by the particle-hole symmetry. Therefore, the present scheme realizes a robust interface between the flying and topological qubits. Finally, we demonstrate that this quantum bus can also be used to generate multipartitie entangled states with the topological qubits.


title: The WebShop E-Commerce Framework

abstract: This paper presents an e-commerce framework called WebShop, which was developed by the authors for the purpose of demonstrating the use of UML and the UML-F in the domain of Web applications. Thus, the WebShop is not regarded as a full-fledged system out of which real Web stores can be derived. For example, the framework in the presented version does not encounter security features. However, it presents the most important variation points related to online catalogs. The UML-F Web site http://www.UML-F.net provides the Java source files and some sample adaptations of WebShop.


title: Executable Modeling with UML. A Vision or a Nightmare?

abstract: Extreme Programming is the most prominent new, light-weight (or agile) methods, defined to contrast the current heavy-weight and partially overloaded object-oriented methods. It focuses on the core issues of software technology. One of its principles is not to rely on diagrams to document a system. In this paper, we examine what properties a modeling language like UML must have in order to support the Extreme Programming approach effectively. In particular, we discuss how such a diagrammatic programming language must look like to replace a textual programming language and what benefits and problems such an approach may bring.


title: The Amsterdam Manifesto on OCL

abstract: In November 1998 the authors participated in a two-day workshop on the Object Constraint Language (OCL) in Amsterdam. The focus was to clarify issues about the semantics and the use of OCL, and to discuss useful and necessary extensions of OCL. Various topics have been raised and clarified. This manifesto contains the results of that workshop and the following work on these topics. Overview of OCL.


title: Quantitative Survey on Extreme Programming Projects

abstract: In recent years the Extreme Programming (XP) community has grown substantially. Many XP projects have started and a substantial amount are already finished. As the interest in the XP approach is constantly increasing worldwide throughout all software intensive application domains, it was time to start a first survey on XP. This paper presents the results of 45 evaluated questionnaires that have been received during the Summer 2001 survey.


title: Limitations of Agile Software Processes

abstract: Software developers and project managers are struggling to assess the appropriateness of agile processes to their development environments. This paper identifies limitations that apply to many of the published agile processes in terms of the types of projects in which their application may be problematic.


title: A New Skill Based Robot Programming Language Using UML/P Statecharts

abstract: This paper introduces the new robot programming language LightRocks (Light Weight Robot Coding for Skills), a domain specific language (DSL) for robot programming. The language offers three different level of abstraction for robot programming. On lowest level skills are coded by domain experts. On a more abstract level these skills are supposed to be combined by shop floor workers or technicians to define tasks. The language is designed to allow as much flexibility as necessary on the lowest level of abstraction and is kept as simple as possible with the more abstract layers. A Statechart like model is used to describe the different levels of detail. For this we apply the UML/P and the language workbench MontiCore. To this end we are able to generate code while hiding controller specific implementation details. In addition the development in LightRocks is supported by a generic graphical editor implemented as an Eclipse plugin.


title: Retrofitting Security into a Web-Based Information System

abstract: This paper reports on an incremental method that allows adding security mechanisms to an existing, but insecure system, such as a prototype or a legacy system. The incremental method is presented and as a showcase its application is demonstrated at the example of a Web-based information system.


title: Model-Based Testing of Object-Oriented Systems

abstract: This paper discusses a model-based approach to testing as a vital part of software development. It argues that an approach using models as central development artifact needs to be added to the portfolio of software engineering techniques, to further increase efficiency and flexibility of the development as well as quality and reusability of results. Then test case modeling is examined in depth and related to an evolutionary approach to model transformation. A number of test patterns is proposed that have proven helpful to the design of testable object-oriented systems. In contrast to other approaches, this approach uses explicit models for test cases instead of trying to derive (many) test cases from a single model.


title: Scaling the Management of Extreme Programming Projects

abstract: XP is a code-oriented, light-weight software engineering methodology, suited merely for small-sized teams who develop software that relies on vague or rapidly changing requirements. Being very code-oriented, the discipline of systems engineering knows it as approach of incremental system change. In this contribution, we discuss the enhanced version of a concept on how to extend XP on large scale projects with hundreds of software engineers and programmers, respectively. Previous versions were already presented in [1] and [12]. The basic idea is to apply the "hierarchical approach", a management principle of reorganizing companies, as well as well-known moderation principles to XP project organization. We show similarities between software engineering methods and company reorganization processes and discuss how the elements of the hierarchical approach can improve XP. We provide guidelines on how to scale up XP to very large projects e.g. those common in telecommunication industry and IT technology consultancy firms by using moderation techniques.


title: Testing Agile Requirements Models

abstract: This paper discusses a model-based approach to validate software requirements in agile development processes by simulation and in particular automated testing. The use of models as central development artifact needs to be added to the portfolio of software engineering techniques, to further increase efficiency and flexibility of the development beginning already early in the requirements definition phase. Testing requirements are some of the most important techniques to give feedback and to increase the quality of the result. Therefore testing of artifacts should be introduced as early as possible, even in the requirements definition phase.


title: A Security Architecture for Mobile Wireless Sensor Networks

abstract: Wireless sensor networks increasingly become viable solutions to many challenging problems and will successively be deployed in many areas in the future. However, deploying new technology without security in mind has often proved to be unreasonably dangerous. We propose a security architecture for self-organizing mobile wireless sensor networks that prevents many attacks these networks are exposed to. Furthermore, it limits the security impact of some attacks that cannot be prevented. We analyse our security architecure and show that it provides the desired security aspects while still being a lightweight solution and thus being applicable for self-organizing mobile wireless sensor networks.


title: Dihadron Fragmentation Functions and Transversity

abstract: We present preliminary results for an updated extraction of the transversity parton distribution based on the analysis of pion-pair production in deep-inelastic scattering off transversely polarized targets in collinear factorization. Data for proton and deuteron targets by HERMES and COMPASS allow for a flavor separation of the valence components of transversity, while di-hadron fragmentation functions are taken from the semi-inclusive production of two pion pairs in back-to-back jets in $e^+ e^-$ annihilation. The latter data from Belle have been reanalyzed using the replica method and a more realistic estimate of the uncertainties on the chiral-odd interference fragmentation function has been obtained. After encoding this piece of information into the deep-inelastic scattering cross section, the transversity has been re-extracted by using the most recent and more precise COMPASS data for proton target. This picture represents the current most realistic estimate of the uncertainties on our knowledge of transversity. The preliminary results indicate that the valence up component seems smaller and with a narrower error band than in previous extraction.


title: Critical Systems Development Using Modeling Languages. (CSDUML-04): Current Developments and Future Challenges (Report on the Third International Workshop)

abstract: We give a short report on the contributions to and some discussions made and conclusions drawn at the Third International Workshop on Critical Systems Development Using Modeling Languages (CSDUML'04).


title: Techniques Enabling Generator Refactoring

abstract: This paper presents our approach to use refactoring techniques together with code generation. Refactoring is particularly useful if not only the generated classes but also the generator itself can be adapted in an automatic fashion. We have developed a simple demonstration prototype to illustrate this. The demonstration is based on a special technique where the template for the code generation is defined as compilable source code. The directives to ll out this template prototype to the actual classes are embedded in the source as comments.


title: Assumptions Underlying Agile Software Development Processes

abstract: Agile processes focus on facilitating early and fast production of working code, and are based on software development process models that support iterative, incremental development of software. Although agile methods have existed for a number of years now, answers to questions concerning the suitability of agile processes to particular software development environments are still often based on anecdotal accounts of experiences. An appreciation of the (often unstated) assumptions underlying agile processes can lead to a better understanding of the applicability of agile processes to particular situations. Agile processes are less likely to be applicable in situations in which core assumptions do not hold. This paper examines the principles and advocated practices of agile processes to identify underlying assumptions. The paper also identifies limitations that may arise from these assumptions and outlines how the limitations can be addresses by incorporating other software development techniques and practices into agile development environments.


title: Model Transformations in Practice Workshop (MTiP)

abstract: Model Transformations in Practice (MTiP) 2005 was a workshop which provided a forum for the model transformation community to discuss practical model transformation issues. Although many different model transformation approaches have been proposed and explored in recent years, there has been little work on comparing and contrasting various approaches. Without such comparisons, it is hard to assess new model transformation approaches such as the upcoming OMG MOF/QVT recommendation, or to discern sensible future paths for the area. Our aims with the workshop were to create a forum that would help lead to an increased understanding of the relative merits of different model transformation techniques and approaches. A more advanced understanding of such merits is of considerable benefit to both the model transformation and wider modelling communities.


title: Towards Enabling Architectural Refactorings through Source Code Annotations

abstract: It is well known that software needs to change to meet new requirements. The synchronization of software architecture models and implementation is of high importance to keep the architecture documents useful and the software evolution process manageable. In this paper we achieve this synchronization by a two-step process. First, we augment the source code with architectural information. Second, this "lightweight architectural model" can be checked more easily against the full architectural description. Based on this approach refactorings on either side (code or architecture) are detected automatically and conformance checks become possible.


title: Towards a System Model for UML. The Structural Data Model

abstract: In this document we introduce a system model as the basis for a semantic model for UML 2.0. The system model is supposed to form the core and foundation of the UML semantics definition. For that purpose the basic system is targeted towards UML. This document is structured as follows: In the rest of Section 1 we will discuss the general approach and highlight the main decisions. This section is important to understand the rest of this document. Section 2 contains the actual definition of the structural part of the system model. It is built in layers as described in Section 1. For brevity of the approach, we defer deeper discussions into the Appendix in Section 4. This document is part of a project on the formalization of the UML 2.0 in cooperation between the Queens University Kingston and the Technische Universit\"aten Braunschweig and M\"unchen. This version 1.0 is the result of a longer effort to define the structure, behavior and interaction of object-oriented, possibly distributed systems abstract enough to be of general value, but also in sufficient detail for a semantic foundation of the UML. We also wish to thank external reviewers, and especially Gregor von Bochmann, Gregor Engels and S\'ebastien G\'erard for their help.


title: The Jones polynomials of 3-bridge knots via Chebyshev knots and billiard table diagrams

abstract: This work presents formulas for the Kauffman bracket and Jones polynomials of 3-bridge knots using the structure of Chebyshev knots and their billiard table diagrams. In particular, these give far fewer terms than in the Skein relation expansion. The subject is introduced by considering the easier case of 2-bridge knots, where some geometric interpretation is provided, as well, via combinatorial tiling problems.


title: Structural and Magnetic Phase Diagram of CrAs and its Relationship with Pressure-induced Superconductivity

abstract: Most unconventional superconductors, including cuprates and iron-based superconductors, are derived from chemical doping or application of pressure on their collinearly magnetic-ordered parent compounds[1-5]. The recently discovered pressure-induced superconductor CrAs, as a rare example of a non-collinear helimagnetic superconductor, has therefore generated great interest in understanding microscopic magnetic properties and their interplay with superconductivity [6-8]. Unlike cuprates and iron based superconductors where the magnetic moment direction barely changes upon doping, here we show that CrAs exhibits a spin reorientation from the ab plane to the ac plane, along with an abrupt drop of the magnetic propagation vector at a critical pressure (Pc~0.6 GPa). This magnetic phase transition coincides with the emergence of bulk superconductivity, indicating a direct connection between magnetism and superconductivity. With further increasing pressure, the magnetic order completely disappears near the optimal Tc regime (P~0.94 GPa). Moreover, the Cr magnetic moments between nearest neighbors tend to be aligned antiparallel with increasing pressure toward the optimal superconductivity regime. Our findings suggest that the non-collinear helimagnetic order is strongly coupled to structural and electronic degrees of freedom, and that antiferromagnetic correlations associated with the low magnetic vector phase are crucial for superconductivity.


title: Agile Test-based Modeling

abstract: Model driven architecture (MDA) concentrates on the use of models during software development. An approach using models as the central development artifact is more abstract, more compact and thus more effective and probably also less error prone. Although the ideas of MDA exist already for years, there is still much to improve in the development process as well as the underlying techniques and tools. Therefore, this paper is a follow up on, reexamining und updating the statements made there. Here two major and strongly related techniques are identified and discussed: Test case modeling and an evolutionary approach to model transformation.


title: Model Driven Testing of Time Sensitive Distributed Systems

abstract: In this paper we demonstrate an approach to model structure and behavior of distributed systems, to map those models to a lightweight execution engine by using a functional programming language and to systematically define and execute tests for these models within the same technology. This is a prerequisite for a smooth integration of model based development into an agile method. The novelty of this paper is the demonstration, how composition and state machine models for distributed asynchronously communicating systems can easily be mapped to a lazy functional language and then using standard testing techniques to define test on those programs. In particular distributed timing aspects and underspecification can be treated accordingly within a functional language, using a certain style of functions.


title: Roles in Software Development using Domain Specific Modeling Languages

abstract: Domain-specific modelling languages (DSMLs) successfully separate the conceptual and technical design of a software system by modelling requirements in the DSML and adding technical elements by appropriate generator technology. In this paper we describe the roles within an agile development process that allows us to implement a software system by using a combination of domain specific models and source code. We describe the setup of such a process using the MontiCore framework and demonstrate the advantages by describing how a group of developers with diverse individual skills can develop automotive HMI software.


title: UML 2 Semantics Symposium: Formal Semantics for UML

abstract: The purpose of this symposium, held in conjunction with MoDELS 2006, was to present the current state of research of the UML 2 Semantics Project. Equally important to receiving feedback from an audience of experts was the opportunity to invite researchers in the field to discuss their own work related to a formal semantics for the Unified Modeling Language. This symposium is a follow-on to our first workshop, held in conjunction with ECMDA 2005.


title: Model-Driven Development of Complex Software: A Research Roadmap

abstract: The term Model-Driven Engineering (MDE) is typically used to describe software development approaches in which abstract models of software systems are created and systematically transformed to concrete implementations. In this paper we give an overview of current research in MDE and discuss some of the major challenges that must be tackled in order to realize the MDE vision of software development. We argue that full realizations of the MDE vision may not be possible in the near to medium-term primarily because of the wicked problems involved. On the other hand, attempting to realize the vision will provide insights that can be used to significantly reduce the gap between evolving software complexity and the technologies used to manage complexity.


title: An Algebraic View on the Semantics of model Composition

abstract: Due to the increased complexity of software development projects more and more systems are described by models. The sheer size makes it impractical to describe these systems by a single model. Instead many models are developed that provide several complementary views on the system to be developed. This however leads to a need for compositional models. This paper describes a foundational theory of model composition in form of an algebra to explicitly clarify different variants and uses of composition, their interplay with the semantics of the involved models and their composition operators.


title: System-Model-Based Simulation of UML Models

abstract: Previous work has presented our ongoing e orts to define a "reference semantics" for the UML, that is, a mathematically defined system model that is envisaged to cover all of the UML eventually, and that also carefully avoids the introduction of any unwarranted restrictions or biases. Due to the use of underspecification, the system model is not executable. This paper shows how the system model can serve as the basis for a highly customizable execution and simulation environment for the UML. The design and implementation of a prototype of such an environment is described and its use for the experimentation with different semantic variation points is illustrated.


title: Textbased Modeling

abstract: As modeling becomes a crucial activity in software development the question may be asked whether currently used graphical representations are the best option to model systems efficiently. This position paper discusses the advantages of text-based modeling over commonly used graphical representations. It is inspired through the advent of new extensible development tools like Eclipse. The discussion is illustrated by showing a textual version of UML state machines as Eclipse plugins.


title: Integrated Definition of Abstract and Concrete Syntax for Textual Languages

abstract: An understandable concrete syntax and a comprehensible abstract syntax are two central aspects of defining a modeling language. Both representations of a language significantly overlap in their structure and also information, but may also differ in parts of the information. To avoid discrepancies and problems while handling the language, concrete and abstract syntax need to be consistently defined. This will become an even bigger problem, when domain specific languages will become used to a larger extent. In this paper we present an extended grammar format that avoids redundancy between concrete and abstract syntax by allowing an integrated definition of both for textual modeling languages. For an amendment of the usability of the abstract syntax it furthermore integrates meta-modeling concepts like associations and inheritance into a well-understood grammar-based approach. This forms a sound foundation for an extensible grammar and therefore language definition.


title: Efficient Editor Generation for Compositional DSLs in Eclipse

abstract: When a domain specific language (DSL) shall be commonly used, it is important for the development team to have a comfortable editor well integrated in the project's development environment. As DSL are rather often subject to changes, efficient development and evolvement of a comfortable editor is an important success criterion for the acceptance of domain specific languages. In this paper we demonstrate how this issue is addressed in the MontiCore DSL development framework. Basically an extension of the MontiCore DSL definition language can be used to efficiently generate DSL editors for Eclipse. The generation tool also supports the compositional language definition features of MontiCore and allows therefore the reuse of existing language and editor definitions.


title: View-Based Modeling of Function Nets

abstract: This paper presents an approach to model features and function nets of automotive systems comprehensively. In order to bridge the gap between feature requirements and function nets, we describe an approach to describe both using a SysML-based notation. If requirements on the automotive system are changed by several developers responsible for different features, it is important for developers to have a good overview and understanding of the functions affected. We show that this can be comprehensively modeled using so called "feature views". In order to validate these views against the complete function nets, consistency checks are provided.


title: Infinite trees of matroids

abstract: We generalise the construction of infinite matroids from trees of matroids to allow the matroids at the nodes, as well as the field over which they are represented, to be infinite.


title: Modelling Automotive Function Nets with Views for Features, Variants, and Modes

abstract: Modelling the logical architecture of an automotive system as one central step in the development process leads to an early understanding of the fundamental functional properties of the system under design. This supports developers in making design decisions. However, due to the large size and complexity of the system and hence the logical architecture, a good notation, method and tooling is necessary. In this paper, we show how logical architectures can be modelled succinctly as function nets using a SysML-based notation. The usefulness for developers is increased by comprehensible views on the complete model that describe automotive features, variants, and modes.


title: Modeling Variants of Automotive Systems using Views

abstract: This paper presents an approach of modeling variability of automotive system architectures using function nets, views and feature diagrams. A function net models an architecture hierarchically and views are used to omit parts of such a model to focus on certain functionalities. In combination with feature diagrams that describe valid variants, the concepts of feature and variant views are introduced to model architectural variants. The relationship between views, variants and the underlying complete architectural model is discussed. Methodological aspects that come along with this approach are considered.


title: View-Centric Modeling of Automotive Logical Architectures

abstract: Modeling the logical architecture is an often underestimated development step to gain an early insight into the fundamental functional properties of an automotive system. An architectural description supports developers in making design decisions for further development steps like the refinement towards a software architecture or the partition of logical functions on ECUs and buses. However, due to the large size and complexity of the system and hence the logical architecture, a good notation, method, and tooling is necessary. In this paper, we show how the logical architectures can be modeled succinctly as function nets using a SysML-based notation. The usefulness for developers is increased by comprehensible views on the complete model to describe automotive features in a self contained way including their variants, modes, and related scenarios.


title: MontiCore: A Framework for the Development of Textual Domain Specific Languages

abstract: In this paper we demonstrate a framework for efficient development of textual domain specific languages and supporting tools. We use a redundance-free and compact definition of a readable concrete syntax and a comprehensible abstract syntax as both representations significantly overlap in their structure. To further improve the usability of the abstract syntax this definition format integrates additional concepts like associations and inheritance into the well-understood grammar-based approach. Modularity concepts like language inheritance and embedding are used to simplify the development of languages based on already existing ones. In addition, the generation of editors and a template approach for code generation is explained.


title: The isomorphism problem for semigroup C*-algebras of right-angled Artin monoids

abstract: Semigroup C*-algebras for right-angled Artin monoids were introduced and studied by Crisp and Laca. In the paper at hand, we are able to present the complete answer to their question of when such C*-algebras are isomorphic. The answer to this question is presented both in terms of properties of the graph defining the Artin monoids as well as in terms of classification by K-theory, and is obtained using recent results from classification of non-simple C*-algebras. Moreover, we are able to answer another natural question: Which of these semigroup C*-algebras for right-angled Artin monoids are isomorphic to graph algebras? We give a complete answer, and note the consequence that many of the C*-algebras under study are semiprojective.


title: MontiCore: Modular Development of Textual Domain Specific Languages

abstract: Reuse is a key technique for a more efficient development and ensures the quality of the results. In object technology explicit encapsulation, interfaces, and inheritance are well known principles for independent development that enable combination and reuse of developed artifacts. In this paper we apply modularity concepts for domain specific languages (DSLs) and discuss how they help to design new languages by extending existing ones and composing fragments to new DSLs. We use an extended grammar format with appropriate tool support that avoids redefinition of existing functionalities by introducing language inheritance and embedding as first class artifacts in a DSL definition. Language embedding and inheritance is not only assisted by the parser, but also by the editor, and algorithms based on tree traversal like context checkers, pretty printers, and code generators. We demonstrate that compositional engineering of new languages becomes a useful concept when starting to define project-individual DSLs using appropriate tool support.


title: Evolving and Implanting Web-based E-Government Systems in Universities

abstract: The Bologna Process has triggered a major restructuring of the current university diploma into a bachelor/master system. As one effect, the administration effort for the new system has increased dramatically. As a second effect, students need and demand a much better information policy, given the new possibilities of the internet. Both to increase efficiency of the university's administration and to provide students as well as lecturers with modern e government services, it is inevitable to evolve the current IT-infrastructure of a university into a modern web-based landscape of systems that support business processes on campus. In this paper, we describe the approach taken at the Braunschweig University of Technology to evolve the existing landscape of legacy systems by adding bridges between previously unrelated parts, adding and customizing unused modules of existing software to bring information and services online and to develop new software, where old modules could not serve the necessary purposes. Most of all, both implementation of the results in university's business processes and the resulting quick feedback and wishes for feature enhancement are seen as part of the software development processes and discussed in this paper.


title: System Model Semantics of Class Diagrams

abstract: Defining semantics for UML is a difficult task. Disagreements in the meaning of UML constructs as well as the size of UML are major obstacles. In this report, we describe our approach to define the semantics for UML. Semantics is defined denotationally as a mapping into our semantics domain called the system model [4, 5, 6]. We demonstrate our approach by defining the semantics for a comprehensive version of class diagrams. The semantics definition is detailed for UML/P class diagrams, a variant of class diagrams which restricts the use of a few methodologically and semantically involved concepts. Class diagrams are well-known and rather easy to understand and thus perfect to examine the usability of the system model for precise semantic mappings.


title: System Model Semantics of Statecharts

abstract: In this report, semantics for Statecharts is defined based on a mathematical model of object systems called "system model". The semantics definition is detailed for UML/P Statecharts, a variant of Statecharts which restricts the use of a few methodologically and semantically difficult concepts. After transforming full UML/P Statecharts to simplified but semantically equivalent Statecharts, the semantics is defined denotationally as a mapping into the system model. It is also sketched how already existing Statechart semantics can be mapped into the system model. This report follows, in which we introduced our approach in detail and defined semantics for UML class diagrams.


title: Modular Description of a Comprehensive Semantics Model for the UML (Version 2.0)

abstract: In this document, we introduce a system model as a semantic domain for the Unified Modeling Language (UML) [OMG07a, OMG07b]. The system model is supposed to form a possible core and foundation of the UML semantics definition. For that purpose, the definitions in this document are targeted towards UML which means that central concepts of UML have been formalized as theories of the system model. This document is structured as follows: In the rest of Chapter 1, we discuss the general approach and highlight the main decisions. This chapter is important to understand the rest of this document. Chapter 2 contains the definition of the structural part of the system model. Chapters 3 and 4 contain the control and communication related definition definitions which form the basis to describe the state of a system in Chapter 5. Two variants of state transitions systems are introduced to define object behavior in Chapters 6 (event-based) and 7 (timed). Chapter 8 concludes the document. This document is the second version of the system model which is the result of a major effort to define the structure, behavior and interaction of object oriented, possibly distributed systems abstract enough to be of general value, but also in sufficient detail for a semantic foundation of the UML. The first version of the system model can be found in [BCR06, BCR07a, BCR07b].


title: Experimental demonstration of a two-band superconducting state for lead using scanning tunneling spectroscopy

abstract: The type I superconductor lead (Pb) has been theoretically predicted to be a two-band superconductor. We use scanning tunneling spectroscopy (STS) to resolve two superconducting gaps with an energy difference of 150$\,\mu$eV. Tunneling into Pb(111), Pb(110) and Pb(100) crystals reveals a strong dependence of the two coherence peak intensities on the crystal orientation. We show that this is the result of a selective tunneling into the two bands at the energy of the two coherence peaks. This is further sustained by the observation of signatures of the Fermi sheets in differential conductance maps around subsurface defects. A modification of the density of states of the two bands by adatoms on the surface confirms the different orbital character of each to the two sub-bands.


title: Hearts of t-structures which are Grothendieck or module categories

abstract: This thesis deals with the general problem of determining when the heart $\mathcal{H}$ of a t-structure in a triangulated category $\mathcal{D}$ is a Grothendieck or a module category. As preliminaries, we study Grothendieck conditions AB3-AB5 for $\mathcal{H}$ in a very general setting. We then concentrate on two familiar examples of smashing t-structures. First, we consider that $\mathcal{D}=\mathcal{D}(\mathcal{G})$ is the (unbounded) derived category of a Grothendieck category $\mathcal{G}$ and that the t-structure is the one associated to a torsion pair $\mathbf{t}=(\mathcal{T},\mathcal{F})$ in $\mathcal{G}$, usually known as Happel-Reiten-Smal$\emptyset$ t-structure. In the second example studied, we assume that $\mathcal{D}=\mathcal{D}(R)$ is the derived category of a commutative Noetherian ring $R$ and that the t-structure is compactly generated. On what concern the Happel-Reiten-Smal$\emptyset$ example, we show that if $\mathcal{H}=\mathcal{H}_\mathbf{t}$ is AB5, then $\mathcal{F}$ is closed under taking direct limits in $\mathcal{G}$. Moreover, the converse is true, even implying that $\mathcal{H}_\mathbf{t}$ is a Grothendieck category, for a wide class of torsion pairs in $\mathcal{G}$ which includes the hereditary, tilting and cotilting ones. When $\mathcal{G}=R-\text{Mod}$ is a module category, we are able to identify the hereditary torsion pairs $\mathbf{t}$ in $R-\text{Mod}$ for which $\mathcal{H}_\mathbf{t}$ is a module category. When $R$ is a commutative noetherian ring, we show that all compactly generated t-structures in $\mathcal{D}(R)$ whose associated filtration by supports is left bounded have a heart $\mathcal{H}$ which is a Grothendieck category. This is used to identify all compactly generated t-structures in $\mathcal{D}(R)$ whose heart is a module category.


title: All graphs have tree-decompositions displaying their topological ends

abstract: We show that every connected graph has a spanning tree that displays all its topological ends. This proves a 1964 conjecture of Halin in corrected form, and settles a problem of Diestel from 1992.


title: Combining ferromagnetic resonator and digital image correlation to study the strain induced resonance tunability in magnetoelectric heterostructures

abstract: This paper reports the development of a methodology combining microstrip ferromagnetic resonance (MS-FMR) and digital image correlation (DIC) in order to silmuteanously measure the voltage-induced strains and the magnetic resonance in artificial magnetoelectric heterostructures (magnetic films/piezoelectric substrate? or magnetic films/flexible substrate/piezoelectric actuator ?). The overall principle of the technique and the related analytical modelling are described. It is powerful to estimate the magnetostriction coefficient of ferromagnetic thin films and can be used to determine the effective magnetoelectric coefficient of the whole heterostructures in addition to the piezoelectric coefficient related to the in-plane voltage-induced strains. This methodology can be applied to system for which the strains are well transmitted at the different interfaces.


title: Tunable sub-20 fs pulses from a 500 kHz OPCPA with 15 W average power based on an all-ytterbium laser

abstract: An optical parametric chirped pulse amplifier fully based on Yb lasers at 500 kHz is described. Passive optical-synchronization is achieved between a fiber laser-pumped white-light and a 515 nm pump produced with a 200 W picosecond Yb:YAG InnoSlab amplifier. An output power up to 19.7 W with long-term stability of 0.3% is demonstrated for wavelength tunable pulses between 680 nm and 900 nm and spectral stability of 0.2%; 16.5 W can be achieved with a bandwidth supporting 5.4 fs pulses. We demonstrate compression of 30 microjoule pulses to sub-20 fs duration with a prism compressor, suitable for high harmonic generation.


title: An order-theoretic quantification of contextuality

abstract: In this essay, I develop order-theoretic notions of determinism and contextuality on domains and topoi. In the process, I develop a method for quantifying contextuality and show that the order-theoretic sense of contextuality is analogous to the sense embodied in the topos-theoretic statement of the Kochen-Specker theorem. Additionally, I argue that this leads to a relation between the entropy associated with measurements on quantum systems and the second law of thermodynamics. The idea that the second law has its origin in the ordering of quantum states and processes dates to at least 1958 and possibly earlier. The suggestion that the mechanism behind this relation is contextuality, is made here for the first time.


title: FLiER: Practical Topology Update Detection Using Sparse PMUs

abstract: In this paper, we present a Fingerprint Linear Estimation Routine (FLiER) to identify topology changes in power networks using readings from sparsely-deployed phasor measurement units (PMUs). When a power line, load, or generator trips in a network, or when a substation is reconfigured, the event leaves a unique "voltage fingerprint" of bus voltage changes that we can identify using only the portion of the network directly observed by the PMUs. The naive brute-force approach to identify a failed line from such voltage fingerprints, though simple and accurate, is slow. We derive an approximate algorithm based on a local linearization and a novel filtering approach that is faster and only slightly less accurate. We present experimental results using the IEEE 57-bus, IEEE 118-bus, and Polish 1999-2000 winter peak networks.


title: Calculation of a power price equilibrium

abstract: In this paper we propose a tractable quadratic programming formulation for calculating the equilibrium term structure of electricity prices. We rely on a theoretical model described in [21], but extend it so that it reflects actually traded electricity contracts, transaction costs and liquidity considerations. Our numerical simulations examine the properties of the term structure and its dependence on various parameters of the model. The proposed quadratic programming formulation is applied to calculate the equilibrium term structure of electricity prices in the UK power grid consisting of a few hundred power plants. The impact of ramp up and ramp down constraints are also studied.


title: The Immediate Exchange model: an analytical investigation

abstract: We study the Immediate Exchange model, recently introduced by Heinsalu and Patriarca [Eur. Phys. J. B 87: 170 (2014)], who showed by simulations that the wealth distribution in this model converges to a Gamma distribution with shape parameter $2$. Here we justify this conclusion analytically, in the infinite-population limit. An infinite-population version of the model is derived, describing the evolution of the wealth distribution in terms of iterations of a nonlinear operator on the space of probability densities. It is proved that the Gamma distributions with shape parameter $2$ are fixed points of this operator, and that, starting with an arbitrary wealth distribution, the process converges to one of these fixed points. We also discuss the mixed model introduced in the same paper, in which exchanges are either bidirectional or unidirectional with fixed probability. We prove that, although, as found by Heinsalu and Patriarca, the equilibrium distribution can be closely fit by Gamma distributions, the equilibrium distribution for this model is {\it{not}} a Gamma distribution.


title: Use of two-body correlated basis functions with van der Waals interaction to study the shape-independent approximation for a large number of trapped interacting bosons

abstract: We study the ground state and the low-lying excitations of a trapped Bose gas in an isotropic harmonic potential for very small ($\sim 3$) to very large ($\sim 10^7$) particle numbers. We use the correlated two-body basis functions and the shape-dependent van der Waals interaction in our many-body calculations. We present an exhaustive study of the effect of inter-atomic correlations and the accuracy of the mean-field equations considering a wide range of particle numbers. We calculate the ground state energy and the one-body density for different values of the van der Waals parameter $C_{6}$. We compare our results with those of the modified Gross-Pitaevskii results, the correlated Hartree hypernetted-chain equations (which also utilize the two-body correlated basis functions), as well as of the Diffusion Monte Carlo for hard sphere interactions. We observe the effect of the attractive tail of the van der Waals potential in the calculations of the one-body density over the truly repulsive zero-range potential as used in the Gross-Pitaevskii equation and discuss the finite-size effects. We also present the low-lying collective excitations which are well described by a hydrodynamic model in the large particle limit.


title: Orbits and emission spectra from the 2014 Camelopardalids

abstract: We have analyzed the meteor activity associated with meteoroids of fresh dust trails of Comet 209P/LINEAR, which produced an outburst of the Camelopardalid meteor shower (IAU code #451, CAM) in May 2014. With this aim, we have employed an array of high-sensitivity CCD video devices and spectrographs deployed at 10 meteor observing stations in Spain in the framework of the Spanish Meteor Network (SPMN). Additional meteoroid flux data were obtained by means of two forward-scatter radio systems. The observed peak zenithal hourly rate (ZHR) was much lower than expected, of around 20 meteors h-1. Despite of the small meteor flux in the optical range, we have obtained precise atmospheric trajectory, radiant and orbital information for 11 meteor and fireball events associated with this stream. The ablation behaviour and low tensile strength calculated for these particles reveal that Camelopardalid meteoroids are very fragile, mostly pristine aggregates with strength similar to that of the Orionids and the Leonids. The mineral grains seem to be glued together by a volatile phase. We also present and discuss two unique emission spectra produced by two Camelopardalid bright meteors. These suggest a non-chondritic nature for these particles, which exhibit Fe depletion in their composition.


title: A GDP-driven model for the binary and weighted structure of the International Trade Network

abstract: Recent events such as the global financial crisis have renewed the interest in the topic of economic networks. One of the main channels of shock propagation among countries is the International Trade Network (ITN). Two important models for the ITN structure, the classical gravity model of trade (more popular among economists) and the fitness model (more popular among networks scientists), are both limited to the characterization of only one representation of the ITN. The gravity model satisfactorily predicts the volume of trade between connected countries, but cannot reproduce the observed missing links (i.e. the topology). On the other hand, the fitness model can successfully replicate the topology of the ITN, but cannot predict the volumes. This paper tries to make an important step forward in the unification of those two frameworks, by proposing a new GDP-driven model which can simultaneously reproduce the binary and the weighted properties of the ITN. Specifically, we adopt a maximum-entropy approach where both the degree and the strength of each node is preserved. We then identify strong nonlinear relationships between the GDP and the parameters of the model. This ultimately results in a weighted generalization of the fitness model of trade, where the GDP plays the role of a `macroeconomic fitness' shaping the binary and the weighted structure of the ITN simultaneously. Our model mathematically highlights an important asymmetry in the role of binary and weighted network properties, namely the fact that binary properties can be inferred without the knowledge of weighted ones, while the opposite is not true.


title: Numerical Simulations of Collisional Disruption of Rotating Gravitational Aggregates: Dependence on Material Properties

abstract: Our knowledge of the strengths of small bodies in the Solar System is limited by our poor understanding of their internal structures, and this, in turn, clouds our understanding of the formation and evolution of these bodies. Observations of the rotational states of asteroids whose diameters are larger than a few hundreds of meters have revealed that they are dominated by gravity and that most are unlikely to be monoliths; however, there is a wide range of plausible internal structures. Numerical and analytical studies of shape and spin limits of gravitational aggregates and their collisional evolution show a strong dependence on shear strength. In order to study this effect, we carry out a systematic exploration of the dependence of collision outcomes on dissipation and friction parameters of the material components making up the bodies. We simulate the catastrophic disruption (leading to the largest remnant retaining 50% of the original mass) of km-size asteroids modeled as gravitational aggregates using pkdgrav, a cosmology N-body code adapted to collisional problems and recently enhanced with a new soft-sphere collision algorithm that includes more realistic contact forces. We find that for a range of three different materials, higher friction and dissipation values increase the catastrophic disruption threshold by about half a magnitude. Furthermore, we find that pre-impact rotation systematically increases mass loss on average, regardless of the target's internal configuration. Our results have important implications for the efficiency of planet formation via planetesimal growth, and also more generally to estimate the impact energy threshold for catastrophic disruption, as this generally has only been evaluated for non-spinning bodies without detailed consideration of material properties.


title: Molecular Interpretation of the Supercharmonium State Z(4475)

abstract: Charm meson molecule (c\bar n)(n\bar c) assignments for the supercharmonium state Z(4475) are considered, both on general grounds and in the context of specific pion exchange models. Two possible charm molecule assignments for the JP = 1+, Z(4475) are considered here, involving respectively a radially and an orbitally excited charm meson. In each assignment, a lower-mass isosinglet charm molecule state is predicted. For both the Z(4475) and the Y(4260), measurement of the ratios of the branching fractions to D \bar D plus n pions is recommended as a test of the nature of these states.


title: Improved convergence theorems for bubble clusters. I. The planar case

abstract: We describe a quantitative construction of almost-normal diffeomorphisms between embedded orientable manifolds with boundary to be used in the study of geometric variational problems with stratified singular sets. We then apply this construction to isoperimetric problems for planar bubble clusters. In this setting we develop an improved convergence theorem, showing that a sequence of almost-minimizing planar clusters converging in $L^1$ to a limit cluster has actually to converge in a strong $C^{1,\alpha}$-sense. Applications of this improved convergence result to the classification of isoperimetric clusters and the qualitative description of perturbed isoperimetric clusters are also discussed. Analogous results for three-dimensional clusters are presented in part two, while further applications are discussed in some companion papers.


title: The IACOB project: II. On the scatter of O-dwarf spectral type -- effective temperature calibrations

abstract: We are now in an era of large spectroscopic surveys of OB-type stars. Quantitative spectroscopic analysis of these modern datasets is enabling us to review the physical properties of blue massive stars with robust samples, not only revisiting mean properties and general trends, but also incorporating information about the effects of second-order parameters. We investigate the spectral type -- effective temperature (SpT - Teff) calibration for O-type dwarfs, and its claimed dependence on metallicity, using statistically-meaningful samples of stars extracted from the IACOB and VFTS surveys. We perform a homogeneous differential spectroscopic analysis of 33 Galactic and 53 LMC O~dwarfs (spanning spectral types of O4 -- O9.7) using the IACOB-GBAT package, a $\chi^2$-fitting algorithm based on a large pre-computed grid of FASTWIND models, and standard techniques for the hydrogen/helium analysis of O-type stars. We compare the estimated effective temperatures and gravities as a function of (internally consistent) spectral classifications. While the general trend is that the temperature of a star increases with earlier spectral types and decreasing metallicity, we show that the large range of gravities found for O-type dwarfs -- spaning up to 0.45-0.50 dex in some spectral bins -- plays a critical role on the dependence of the effective temperature calibrations as a function of spectral type and metallicity. This result warns us about the use of SpT - Teff calibrations for O-dwarfs which ignore the effects of gravity, and highlights the risks of employing calibrations based on small samples. The effects of this scatter in gravities (evolutionary status) for O-type dwarfs should be included in future recipes which employ SpT - Teff calibrations.


title: Bayesian Error Based Sequences of Mutual Information Bounds

abstract: The inverse relation between mutual information (MI) and Bayesian error is sharpened by deriving finite sequences of upper and lower bounds on MI in terms of the minimum probability of error (MPE) and related Bayesian quantities. The well known Fano upper bound and Feder-Merhav lower bound on equivocation are tightened by including a succession of posterior probabilities starting at the largest, which directly controls the MPE, and proceeding to successively lower ones. A number of other interesting results are also derived, including a sequence of upper bounds on the MPE in terms of a previously introduced sequence of generalized posterior distributions. The tightness of the various bounds is illustrated for a simple application of joint spatial localization and spectral typing of a point source.


title: On brane symmetries

abstract: The geometric approach to branes is reformulated in terms of gauge vector fields interacting with massless tensor multiplets in gravitational backgrounds


title: Local Well-posedness of Lovelock gravity

abstract: It has long been known that Lovelock gravity, being of Cauchy-Kowalevskaya type, admits a well defined initial value problem for analytic data. However, this does not address the physically important issues of continuous dependence of the solution on the data and the domain of dependence property. In this note we fill this gap in our understanding of the (local) dynamics of the theory. We show that, by a known mathematical trick, the fully nonlinear harmonic-gauge-reduced Lovelock field equations can be made equivalent to a quasilinear PDE system. Due to this equivalence, an analysis of the principal symbol, as has appeared in recent works by other authors, is sufficient to decide the issue of local well-posedness of perturbations about a given background.


title: Connectivity of pseudomanifold graphs from an algebraic point of view

abstract: The connectivity of graphs of simplicial and polytopal complexes is a classical subject going back at least to Steinitz, and the topic has since been studied by many authors, including Balinski, Barnette, Athanasiadis and Bjorner. In this note, we provide a unifying approach which allows us to obtain more general results. Moreover, we provide a relation to commutative algebra by relating connectivity problems to graded Betti numbers of the associated Stanley--Reisner rings.


title: Quantum correlation evolution of GHZ and W states under noisy channels using ameliorated measurement-induced disturbance

abstract: We study quantum correlation of Greenberger-Horne-Zeilinger (GHZ) and W states under various noisy channels using measurement-induced disturbance approach and its optimized version. Although these inequivalent maximal entangled states represent the same quantum correlation in the absence of noise, it is shown that the W state is more robust than the GHZ state through most noisy channels. Also, using measurement-induced disturbance measure, we obtain the analytical relations for the time evolution of quantum correlations in terms of the noisy parameter $\kappa$ and remove its overestimating quantum correlations upon implementing the ameliorated measurement-induced disturbance.


title: K-Knuth Equivalence for Increasing Tableaux

abstract: A K-theoretic analogue of RSK insertion and Knuth equivalence relations was first introduced in 2006 by Buch, Kresch, Shimozono, Tamvakis, and Yong. The resulting K-Knuth equivalence relations on words and increasing tableaux on [n] has prompted investigation into the equivalence classes of tableaux arising from these relations. Of particular interest are the tableaux that are unique in their class, which we refer to as unique rectification targets (URTs). In this paper we give several new families of URTs and a bound on the length of intermediate words connecting two K-Knuth equivalent words. In addition, we describe an algorithm to determine if two words are K-Knuth equivalent and to compute all K-Knuth equivalence classes of tableaux on [n].


title: Non-equilibrium steady states in the Klein-Gordon theory

abstract: We construct non-equilibrium steady states in the Klein-Gordon theory in arbitrary space dimension $d$ following a local quench. We consider the approach where two independently thermalized semi-infinite systems, with temperatures $T_{\rm L}$ and $T_{\rm R}$, are connected along a $d-1$-dimensional hypersurface. A current-carrying steady state, described by thermally distributed modes with temperatures $T_{\rm L}$ and $T_{\rm R}$ for left and right-moving modes, respectively, emerges at late times. The non-equilibrium density matrix is the exponential of a non-local conserved charge. We obtain exact results for the average energy current and the complete distribution of energy current fluctuations. The latter shows that the long-time energy transfer can be described by a continuum of independent Poisson processes, for which we provide the exact weights. We further describe the full time evolution of local observables following the quench. Averages of generic local observables, including the stress-energy tensor, approach the steady state with a power-law in time, where the exponent depends on the initial conditions at the connection hypersurface. We describe boundary conditions and special operators for which the steady state is reached instantaneously on the connection hypersurface. A semiclassical analysis of freely propagating modes yields the average energy current at large distances and late times. We conclude by comparing and contrasting our findings with results for interacting theories and provide an estimate for the timescale governing the crossover to hydrodynamics. As a modification of our Klein-Gordon analysis we also include exact results for free Dirac fermions.

categories: cond-mat.stat-mech hep-th math-ph math.MP


title: Deciphering regulation in eukaryotic cell: from sequence to function

abstract: A transversal topic of my research has been the development and application of computational methods for DNA sequence analysis. The methods I have been developing aim at improving our understanding of the regulation processes happening in normal and cancer cells. This topic connects together the projects presented in this thesis. Two chapters of the thesis represent major areas of my research interests: (1) methods for deciphering transcriptional regulation and their application to answer specific biological questions, and (2) methods to study the genome structure and their application in cancer studies. The first chapter predominantly focuses on transcriptional regulation. Here I describe my contribution to the development of methodology for the discovery of transcription factor binding sites and the positioning of histone proteins. I also explain how sequence analysis, in combination with gene expression data, can allow the identification of direct target genes of a transcription factor under study, as well as the physical mechanisms of its action. As two examples, I provide the results of my study of transcriptional regulation by (i) oncogenic protein EWS-FLI1 in Ewing sarcoma and (ii) oncogenic transcription factor Spi-1/PU.1 in erythroleukemia. In the second chapter, I describe the sequence analysis methods aimed at the identification of the genomic rearrangements in species with existing reference genome. I explain how the developed methodology can be applied to detect the structure of cancer genomes. I provide an example of how such an analysis of tumor genomes can result in a discovery of a new phenomenon: chromothripsis, when hundreds of rearrangements occur in a single cellular catastrophe. The thesis is concluded by listing the major challenges in high-throughput sequencing analysis. I also discuss the current top questions demanding the integration of sequencing data.


title: Characterization of invariant patterns in a slowly rotated granular tumbler

abstract: We report experimental results of the pattern developed by a mixture of two types of grains in a triangular rotating tumbler operating in the avalanche regime. At the centroid of the triangular tumbler an invariant zone appears where the grains do not move relative to the tumbler. We characterize this invariant zone by its normalized area, $A_i$, and its circularity index as a function of the normalized filling area $A$. We find a critical filling area so that only for $A>A_c$ invariant zones are obtained. These zones scale as $A_i\sim (A-A_c)^2$ near $A_c$. We have obtained a maximum in the circularity index for $A\approx 0.8$, for which the shape of the invariant zone is closer to a circular one. The experimental results are reproduced by a simple model which, based on the surface position, accounts for all the possible straight lines within the triangle that satisfy the condition of constant $A$. We have obtained an analytic expression for the contour of the invariant zone.


title: Signatures of representations of Hecke algebras and rational Cherednik algebras

abstract: Determining whether an irreducible representation of a group (or $*$-algebra) admits a non-degenerate invariant, positive-definite Hermitian form is an important problem in representation theory. In this paper, we study a related notion: that of signatures. We study representations $S^{\lambda}(q)$ of $\mathcal{H}_{n}(q)$, the Hecke algebra of type $A$ ($|q| = 1$), and representations $M_{c}(\lambda)$ of $\mathbb{H}_{c}$, the rational Cherednik algebra of type $A$ ($c \in \mathbb{R}$), which have unique (up to scaling) invariant Hermitian forms (here $\lambda$ is a partition of $n$). The signature is the number of elements with positive norm minus the number of elements with negative norm, and we analogously define the signature character in the case that there is a natural grading on the module. We provide formulas for (1) signatures of modules over $\mathcal{H}_{n}(q)$ and (2) signature characters of modules over $\mathbb{H}_{c}$. We study the limit $c \rightarrow -\infty$, in which case the signature character has a simpler form in terms of inversions and descents of permutations in $S(n)$. We provide examples corresponding to some special shapes, and small values of $n$. Finally, when $q = e^{2 \pi i c}$, we show that the asymptotic signature character of the $\mathbb{H}_{c}$-module $M_{c}(\tau)$ is the signature of the $\mathcal{H}_{n}(q)$-module $S^{\tau}(q)$.


title: A $\sim$100 mHz QPO in the X-ray emission from IGR J17361-4441

abstract: IGR J17361-4441 was discovered by INTEGRAL undergoing its first detectable X-ray outburst in 2011 and initially classified as an accreting X-ray binary in the globular cluster NGC 6388. A reanalysis of the outburst data collected with INTEGRAL and Swift suggested that the enhanced X-ray emission from IGR J17361-4441 could have been due to a rare tidal disruption event of a terrestrial- icy planet by a white dwarf. In this letter we report on the analysis of XMM-Newton data collected in 2011 during the outburst from IGR J17361-4441. Our analysis revealed the presence of a $\sim$100 mHz quasi-periodic oscillation in the X-ray emission from the source and confirmed the presence of a soft thermal component (kT$\sim$0.08 keV) in its spectrum. We discuss these findings in the context of the different possibilities proposed to explain the nature of IGR J17361-4441.


title: There is no analogue to Jarn\'ik's relation for twisted Diophantine approximmation

abstract: Jarn\'ik's relation is in dimension $2$ the formula $\hat{\lambda} + \frac{1}{\hat{\omega}} = 1$ linking both uniform exponents. It is an open question to generalize this equation to higher dimension, or to the multiplicative case. In this paper we consider a twisted case, between the classical and the multiplicative one, and we show that no analogue to Jarn\'ik's relation holds.


title: Strain-induced modifications of transport in gated graphene nanoribbons

abstract: We investigate the effects of homogeneous and inhomogeneous deformations and edge disorder on the conductance of gated graphene nanoribbons. Under increasing homogeneous strain the conductance of such devices initially decreases before it acquires a resonance structure, and finally becomes completely suppressed at larger strain. Edge disorder induces mode mixing in the contact regions, which can restore the conductance to its ballistic value. The valley-antisymmetric pseudo-magnetic field induced by inhomogeneous deformations leads to the formation of additional resonance states, which either originate from the coupling into Fabry-Perot states that extend through the system, or from the formation of states that are localized near the contacts, where the pseudo-magnetic field is largest. In particular, the n=0 pseudo-Landau level manifests itself via two groups of conductance resonances close to the charge neutrality point.


title: Constraining dark matter halo profiles and galaxy formation models using spiral arm morphology. II. Dark and stellar mass concentrations for 13 nearby face-on galaxies

abstract: We investigate the use of spiral arm pitch angles as a probe of disk galaxy mass profiles. We confirm our previous result that spiral arm pitch angles (P) are well correlated with the rate of shear (S) in disk galaxy rotation curves. We use this correlation to argue that imaging data alone can provide a powerful probe of galactic mass distributions out to large look-back times. We then use a sample of 13 galaxies, with Spitzer 3.6-$\mu$m imaging data and observed H$\alpha$ rotation curves, to demonstrate how an inferred shear rate coupled with a bulge-disk decomposition model and a Tully-Fisher-derived velocity normalization can be used to place constraints on a galaxy's baryon fraction and dark matter halo profile. Finally we show that there appears to be a trend (albeit a weak correlation) between spiral arm pitch angle and halo concentration. We discuss implications for the suggested link between supermassive black hole (SMBH) mass and dark halo concentration, using pitch angle as a proxy for SMBH mass.


title: On the Validity of the EFT for Dark Matter Searches at the LHC

abstract: We review the limitations to the use of the effective field theory approach to study dark matter at the LHC. Due to the high energy reach, the low energy description breaks down, and may lead to incorrect results. The use of simplified models is suggested.


title: Elementary solution to the time-independent quantum navigation problem

abstract: A quantum navigation problem concerns the identification of a time-optimal Hamiltonian that realises a required quantum process or task, under the influence of a prevailing `background' Hamiltonian that cannot be manipulated. When the task is to transform one quantum state into another, finding the solution in closed form to the problem is nontrivial even in the case of time-independent Hamiltonians. An elementary solution, based on trigonometric analysis, is found here when the Hilbert space dimension is two. Difficulties arising from generalisations to higher-dimensional systems are discussed.


title: Steering, Splitting and Cloning of Optical Beam in a Coherently Driven Raman Gain System

abstract: We propose an all-optical anti-waveguide mechanism for steering, splitting, and cloning of an optical beam beyond the diffraction-limit. We use a spatially inhomogeneous pump beam to create an anti-waveguide structure in a Doppler broadened N -type four-level Raman gain medium for a co-propagating weak probe beam. We show that a transverse modulated index of refraction and gain due to the spatially dependent pump beam hold the keys to steering, splitting and cloning of an optical beam. We have also shown that an additional control field permits the propagation of an optical beam through an otherwise gain medium without diffraction and instability. We further discuss how finesse of the cloned images can be increased by changing the detuning and intensity of the control field.


title: And there was light

abstract: I discuss the use of light as a collection of real and virtual photons to study lingering questions in particle and nuclear physics.


title: Steepest Entropy Ascent Model for Far-Non-Equilibrium Thermodynamics. Unified Implementation of the Maximum Entropy Production Principle

abstract: By suitable reformulations, we cast the mathematical frameworks of several well-known different approaches to the description of non-equilibrium dynamics into a unified formulation, which extends to such frameworks the concept of Steepest Entropy Ascent (SEA) dynamics introduced by the present author in previous works on quantum thermodynamics. The present formulation constitutes a generalization also for the quantum thermodynamics framework. In the SEA modeling principle a key role is played by the geometrical metric with respect to which to measure the length of a trajectory in state space. In the near equilibrium limit, the metric tensor is related to the Onsager's generalized resistivity tensor. Therefore, through the identification of a suitable metric field which generalizes the Onsager generalized resistance to the arbitrarily far non-equilibrium domain, most of the existing theories of non-equilibrium thermodynamics can be cast in such a way that the state exhibits a spontaneous tendency to evolve in state space along the path of SEA compatible with the conservation constraints and the boundary conditions. The resulting unified family of SEA dynamical models is intrinsically and strongly consistent with the second law of thermodynamics. Non-negativity of the entropy production is a readily proved general feature of SEA dynamics. In several of the different approaches to non-equilibrium description we consider here, the SEA concept has not been investigated before. We believe it defines the precise meaning and the domain of general validity of the so-called Maximum Entropy Production Principle. It is hoped that the present unifying approach may prove useful in providing a fresh basis for effective, thermodynamically consistent, numerical models and theoretical treatments of irreversible conservative relaxation towards equilibrium from far non-equilibrium states.


title: Unsplittable Load Balancing in a Network of Charging Stations Under QoS Guarantees

abstract: The operation of the power grid is becoming more stressed, due to the addition of new large loads represented by Electric Vehicles (EVs) and a more intermittent supply due to the incorporation of renewable sources. As a consequence, the coordination and control of projected EV demand in a network of fast charging stations becomes a critical and challenging problem. In this paper, we introduce a game theoretic based decentralized control mechanism to alleviate negative impacts from the EV demand. The proposed mechanism takes into consideration the non-uniform spatial distribution of EVs that induces uneven power demand at each charging facility, and aims to: (i) avoid straining grid resources by offering price incentives so that customers accept being routed to less busy stations, (ii) maximize total revenue by serving more customers with the same amount of grid resources, and (iii) provide charging service to customers with a certain level of Quality-of-Service (QoS), the latter defined as the long term customer blocking probability. We examine three scenarios of increased complexity that gradually approximate real world settings. The obtained results show that the proposed framework leads to substantial performance improvements in terms of the aforementioned goals, when compared to current state of affairs.


title: Continued Fractions and Linear Fractional Transformations

abstract: Rational approximations to a square root $\sqrt{k}$ can be produced by iterating the transformation $f(x) = (dx+k)/(x+d)$ starting from $\infty$ for any positive integer $d$. We show that these approximations coincide infinitely often with continued fraction convergents if and only if $4d^2/(k-d^2)$ is an integer, in which case the continued fraction has a rich structure. It consists of the concatenation of the continued fractions of certain explicitly definable rational numbers, and it belongs to one of infinitely many families of continued fractions whose terms vary linearly in two parameters. We also give conditions under which the orbit $\{f^n(\infty)\}$ consists exclusively of convergents or semiconvergents and prove that with few exceptions it includes all solutions $p/q$ to the Pell equation $p^2 - k q^2 = \pm 1$.


title: On the classification and modular extendability of E$_0$-semigroups on factors

abstract: In this paper we study modular extendability and equimodularity of endomorphisms and E$_0$-semigroups on factors with respect to f.n.s. weights. We show that modular extendability is a property that does not depend on the choice of weights, it is a cocycle conjugacy invariant and it is preserved under tensoring. We say that a modularly extendable E$_0$-semigroup is of type EI, EII or EIII if its modular extension is of type I, II or III, respectively. We prove that all types exist on properly infinite factors. We also compute the coupling index and the relative commutant index for the CAR flows and $q$-CCR flows. As an application, by considering repeated tensors of the CAR flows we show that there are infinitely many non cocycle conjugate non-extendable $E_0$-semigroups on the hyperfinite factors of types II$_1$, II$_{\infty}$ and III$_\lambda$, for $\lambda \in (0,1)$.


title: A pressure correction scheme for generalized form of energy-stable open boundary conditions for incompressible flows

abstract: We present a generalized form of open boundary conditions, and an associated numerical algorithm, for simulating incompressible flows involving open or outflow boundaries. The generalized form represents a family of open boundary conditions, which all ensure the energy stability of the system, even in situations where strong vortices or backflows occur at the open/outflow boundaries. Our numerical algorithm for treating these open boundary conditions is based on a rotational pressure correction-type strategy, with a formulation suitable for $C^0$ spectral-element spatial discretizations. We have introduced a discrete equation and associated boundary conditions for an auxiliary variable. The algorithm contains constructions that prevent a numerical locking at the open/outflow boundary. In addition, we have also developed a scheme with a provable unconditional stability for a sub-class of the open boundary conditions. Extensive numerical experiments have been presented to demonstrate the performance of our method for several flow problems involving open/outflow boundaries. We compare simulation results with the experimental data to demonstrate the accuracy of our algorithm. Long-time simulations have been performed for a range of Reynolds numbers at which strong vortices or backflows occur at the open/outflow boundaries. We show that the open boundary conditions and the numerical algorithm developed herein produce stable simulations in such situations.


title: Pointwise Convergence of Fourier-type Series with Exponential Weights

abstract: Let $\mathbb{R}=(-\infty,\infty)$, and let $Q\in C^1(\mathbb{R}): \mathbb{R}\rightarrow[0,\infty)$ be an even function. We consider the exponential weights $w(x)=e^{-Q(x)}$, $x\in \mathbb{R}$. In this paper we obtain a pointwise convergence theorem for the Fourier-type series with respect to the orthonormal polynomials $\left\{p_n(w^2;x)\right\}$.


title: Redprint: Integrating API specific "instant example" and "instant documentation" display interface in IDEs

abstract: Software libraries for most of the modern programming languages are numerous, large and complex. Remembering the syntax and usage of APIs is a difficult task for not just novices but also expert programmers. IDEs (Integrated Development Environment) provide capabilities like autocomplete and intellisense to assist programmers; however, programmers still need to visit search engines like Google to find API (Application Program Interface) documentation and samples. This paper evaluates Redprint - a browser based development environment for PHP that integrates API specific "Instant Example" and "Instant Documentation" display interfaces. A comparative laboratory study shows that integrating API specific "Instant Example" and "Instant Documentation" display interfaces into a development environment significantly reduces the cost of searching and thus significantly reduces the time to develop software.


title: Heterogeneous Multi core processors for improving the efficiency of Market basket analysis algorithm in data mining

abstract: Heterogeneous multi core processors can offer diverse computing capabilities. The efficiency of Market Basket Analysis Algorithm can be improved with heterogeneous multi core processors. Market basket analysis algorithm utilises apriori algorithm and is one of the popular data mining algorithms which can utilise Map/Reduce framework to perform analysis. The algorithm generates association rules based on transactional data and Map/Reduce motivates to redesign and convert the existing sequential algorithms for efficiency. Hadoop is the parallel programming platform built on Hadoop Distributed File Systems(HDFS) for Map/Reduce computation that process data as (key, value) pairs. In Hadoop map/reduce, the sequential jobs are parallelised and the Job Tracker assigns parallel tasks to the Task Tracker. Based on single threaded or multithreaded parallel tasks in the task tracker, execution is carried out in the appropriate cores. For this, a new scheduler called MB Scheduler can be developed. Switching between the cores can be made static or dynamic. The use of heterogeneous multi core processors optimizes processing capabilities and power requirements for a processor and improves the performance of the system.


title: Attendee-Sourcing: Exploring The Design Space of Community-Informed Conference Scheduling

abstract: Constructing a good conference schedule for a large multi-track conference needs to take into account the preferences and constraints of organizers, authors, and attendees. Creating a schedule which has fewer conflicts for authors and attendees, and thematically coherent sessions is a challenging task. Cobi introduced an alternative approach to conference scheduling by engaging the community to play an active role in the planning process. The current Cobi pipeline consists of committee-sourcing and author-sourcing to plan a conference schedule. We further explore the design space of community-sourcing by introducing attendee-sourcing -- a process that collects input from conference attendees and encodes them as preferences and constraints for creating sessions and schedule. For CHI 2014, a large multi-track conference in human-computer interaction with more than 3,000 attendees and 1,000 authors, we collected attendees' preferences by making available all the accepted papers at the conference on a paper recommendation tool we built called Confer, for a period of 45 days before announcing the conference program (sessions and schedule). We compare the preferences marked on Confer with the preferences collected from Cobi's author-sourcing approach. We show that attendee-sourcing can provide insights beyond what can be discovered by author-sourcing. For CHI 2014, the results show value in the method and attendees' participation. It produces data that provides more alternatives in scheduling and complements data collected from other methods for creating coherent sessions and reducing conflicts.


title: Normal modes, and acoustic properties, of an elastic solid with line defects

abstract: The normal modes of a continuum solid endowed with a random distribution of line defects that behave like elastic strings are described. These strings interact with elastic waves in the bulk, generating wave dispersion and attenuation. As in amorphous materials, the attenuation as a function of frequency $\omega$ behaves as $\omega^4$ for low frequencies, and, as frequency increases, crosses over to $\omega^2$ and then to linear in $\omega$. Dispersion is negative in the frequency range where attenuation is quartic and quadratic in frequency. Explicit formulae are provided that relate these properties to the density of string states. { Continuum mechanics can thus be applied both to crystalline materials and their amorphous counterparts at similar length scales.} The possibility of linking this model with the microstructure of amorphous materials is discussed.


title: Graded Index Microstructured Polymer Optical Fibers for Terahertz Applications

abstract: Graded index microstructured polymer optical fiber incorporating a specially designed air-hole array featuring variable air-hole diameters and inter-hole separation is proposed, fabricated and characterized in view of the fiber potential applications in low-loss, low-dispersion terahertz guidance. The proposed fiber features simultaneously low chromatic and intermodal dispersions, as well as low loss in the terahertz spectral range. We then experimentally demonstrate that proposed fibers exhibit smaller pulse distortion, larger bandwidth and more reliable excitation when compared to the porous fibers of comparable geometry.


title: Early-type galaxies at intermediate redshift observed with HST WFC3: perspectives on recent star-formation

abstract: We present an analysis of the stellar populations of 102 visually-selected early-type galaxies (ETGs) with spectroscopic redshifts (0.3<z<1.5) from observations in the Early Release Science program with the Wide Field Camera 3 (WFC3) on {\it Hubble Space Telescope} (HST). We fit one- and two-component synthetic stellar models to the ETGs UV-optical-near-IR spectral energy distributions and find a large fraction (~40%) are likely to have experienced a minor (f$\lesssim$10% of stellar mass) burst of recent (t$\lesssim$1 Gyr) star-formation. The measured ages and mass fraction of the young stellar populations do not strongly trend with measurements of galaxy morphology. We note that massive (log(M[$M_{\odot}$])>10.5) recently star-forming ETGs appear to have larger sizes. Furthermore, high-mass, quiescent ETGs identified with likely companions populate a distinct region in the size-mass parameter space, in comparison with the distribution of massive ETGs with evidence of RSF. We conclude that both mechanisms of the quenching of star-formation in disk-like ETGs and (gas-rich, minor) merger activity contribute to the formation of young stars and the size-mass evolution of intermediate redshift ETGs. The number of ETGs for which we have both HST WFC3 panchromatic (especially UV) imaging and spectroscopically-confirmed redshifts is relatively small, therefore a conclusion on the relative roles of both of these mechanisms remains an open question.


title: Conjugacy and Iteration of Standard Interval Rank in Finite Ordered Sets

abstract: In order theory, a rank function measures the vertical "level" of a poset element. It is an integer-valued function on a poset which increments with the covering relation, and is only available on a graded poset. Defining a vertical measure to an arbitrary finite poset can be accomplished by extending a rank function to be interval-valued. This establishes an order homomorphism from a base poset to a poset over real intervals, and a standard (canonical) specific interval rank function is available as an extreme case. Various ordering relations are available over intervals, and we begin in this paper by considering conjugate orders which "partition" the space of pairwise comparisons of order elements. For us, these elements are real intervals, and we consider the weak and subset interval orders as (near) conjugates. It is also natural to ask about interval rank functions applied reflexively on whatever poset of intervals we have chosen, and thereby a general iterative strategy for interval ranks. We explore the convergence properties of standard and conjugate interval ranks, and conclude with a discussion of the experimental mathematics needed to support this work.


title: Orthogonal Decomposition of Symmetric Tensors

abstract: A real symmetric tensor is orthogonally decomposable (or odeco) if it can be written as a linear combination of symmetric powers of $n$ vectors which form an orthonormal basis of $\mathbb R^n$. Motivated by the spectral theorem for real symmetric matrices, we study the properties of odeco tensors. We give a formula for all of the eigenvectors of an odeco tensor. Moreover, we formulate a set of polynomial equations that vanish on the odeco variety and we conjecture that these polynomials generate its prime ideal. We prove this conjecture in some cases and give strong evidence for its overall correctness.


title: Rotational and Self-similar Solutions for the Compressible Euler Equations in R^3

abstract: In this paper, we present rotational and self-similar solutions for the compressible Euler equations in R^3 using the separation method. These solutions partly complement Yuen's irrotational and elliptic solutions in R^3 [Commun. Nonlinear Sci. Numer. Simul. 17 (2012), 4524-4528] as well as rotational and radial solutions in R^2 [Commun. Nonlinear Sci. Numer. Simul. 19 (2014), 2172-2180]. A newly deduced Emden dynamical system is obtained. Some blowup phenomena and global existences of the responding solutions can be determined. The 3D rotational solutions provide concrete reference examples for vortices in computational fluid dynamics.


title: Minimal Resolutions of Dominant and Semidominant Ideals

abstract: We construct the minimal resolutions of three classes of monomial ideals: dominant, 1-semidominant, and 2-semidominant ideals. The families of dominant and 1-semidominant ideals extend those of complete and almost complete intersections. We show that dominant ideals give a precise characterization of when the Taylor resolution is minimal, 1-semidominant ideals are Scarf, and the minimal resolutions of 2-semidominant ideals can be obtained from their Taylor resolutions by eliminating faces and facets of equal multidegree, in arbitrary order. We study the combinatorial properties of these classes of ideals and explain how they relate to generic ideals.


title: Gardner's deformation of the Krasil'shchik-Kersten system

abstract: The classical problem of construction of Gardner's deformations for infinite-dimensional completely integrable systems of evolutionary partial differential equations (PDE) amounts essentially to finding the recurrence relations between the integrals of motion. Using the correspondence between the zero-curvature representations and Gardner deformations for PDE, we construct a Gardner's deformation for the Krasil'shchik-Kersten system. For this, we introduce the new nonlocal variables in such a way that the rules to differentiate them are consistent by virtue of the equations at hand and second, the full system of Krasil'shchik-Kersten's equations and the new rules contains the Korteweg-de Vries equation and classical Gardner's deformation for it. PACS: 02.30.Ik, 02.30,Jr, 02.40.-k, 11.30.-j


title: Visual Words for Automatic Lip-Reading

abstract: Lip reading is used to understand or interpret speech without hearing it, a technique especially mastered by people with hearing difficulties. The ability to lip read enables a person with a hearing impairment to communicate with others and to engage in social activities, which otherwise would be difficult. Recent advances in the fields of computer vision, pattern recognition, and signal processing has led to a growing interest in automating this challenging task of lip reading. Indeed, automating the human ability to lip read, a process referred to as visual speech recognition, could open the door for other novel applications. This thesis investigates various issues faced by an automated lip-reading system and proposes a novel "visual words" based approach to automatic lip reading. The proposed approach includes a novel automatic face localisation scheme and a lip localisation method.


title: The Value 1 Problem Under Finite-memory Strategies for Concurrent Mean-payoff Games

abstract: We consider concurrent mean-payoff games, a very well-studied class of two-player (player 1 vs player 2) zero-sum games on finite-state graphs where every transition is assigned a reward between 0 and 1, and the payoff function is the long-run average of the rewards. The value is the maximal expected payoff that player 1 can guarantee against all strategies of player 2. We consider the computation of the set of states with value 1 under finite-memory strategies for player 1, and our main results for the problem are as follows: (1) we present a polynomial-time algorithm; (2) we show that whenever there is a finite-memory strategy, there is a stationary strategy that does not need memory at all; and (3) we present an optimal bound (which is double exponential) on the patience of stationary strategies (where patience of a distribution is the inverse of the smallest positive probability and represents a complexity measure of a stationary strategy).


title: Construction of Hadamard states by characteristic Cauchy problem

abstract: We construct Hadamard states for Klein-Gordon fields in a spacetime $M_{0}$ equal to the interior of the future lightcone $C$ from a base point $p$ in a globally hyperbolic spacetime $(M, g)$. Under some regularity conditions at future infinity of $C$, we identify a boundary symplectic space of functions on $C$, which allows to construct states for Klein-Gordon quantum fields in $M_{0}$ from states on the CCR algebra associated to the boundary symplectic space. We formulate the natural microlocal condition on the boundary state on $C$ ensuring that the bulk state it induces in $M_{0}$ satisfies the Hadamard condition. Using pseudodifferential calculus on the cone $C$ we construct a large class of Hadamard boundary states on the boundary with pseudodifferential covariances, and characterize the pure states among them. We then show that these pure boundary states induce pure Hadamard states in $M_{0}$.