-
Composing Complex and Hybrid AI Solutions
Authors:
Peter Schüller,
João Paolo Costeira,
James Crowley,
Jasmin Grosinger,
Félix Ingrand,
Uwe Köckemann,
Alessandro Saffiotti,
Martin Welss
Abstract:
Progress in several areas of computer science has been enabled by comfortable and efficient means of experimentation, clear interfaces, and interchangable components, for example using OpenCV for computer vision or ROS for robotics. We describe an extension of the Acumos system towards enabling the above features for general AI applications. Originally, Acumos was created for telecommunication pur…
▽ More
Progress in several areas of computer science has been enabled by comfortable and efficient means of experimentation, clear interfaces, and interchangable components, for example using OpenCV for computer vision or ROS for robotics. We describe an extension of the Acumos system towards enabling the above features for general AI applications. Originally, Acumos was created for telecommunication purposes, mainly for creating linear pipelines of machine learning components. Our extensions include support for more generic components with gRPC/Protobuf interfaces, automatic orchestration of graphically assembled solutions including control loops, sub-component topologies, and event-based communication,and provisions for assembling solutions which contain user interfaces and shared storage areas. We provide examples of deployable solutions and their interfaces. The framework is deployed at http://aiexp.ai4europe.eu/ and its source code is managed as an open source Eclipse project.
△ Less
Submitted 25 February, 2022;
originally announced February 2022.
-
On some Foundational Aspects of Human-Centered Artificial Intelligence
Authors:
Luciano Serafini,
Raul Barbosa,
Jasmin Grosinger,
Luca Iocchi,
Christian Napoli,
Salvatore Rinzivillo,
Jacques Robin,
Alessandro Saffiotti,
Teresa Scantamburlo,
Peter Schueller,
Paolo Traverso,
Javier Vazquez-Salceda
Abstract:
The burgeoning of AI has prompted recommendations that AI techniques should be "human-centered". However, there is no clear definition of what is meant by Human Centered Artificial Intelligence, or for short, HCAI. This paper aims to improve this situation by addressing some foundational aspects of HCAI. To do so, we introduce the term HCAI agent to refer to any physical or software computational…
▽ More
The burgeoning of AI has prompted recommendations that AI techniques should be "human-centered". However, there is no clear definition of what is meant by Human Centered Artificial Intelligence, or for short, HCAI. This paper aims to improve this situation by addressing some foundational aspects of HCAI. To do so, we introduce the term HCAI agent to refer to any physical or software computational agent equipped with AI components and that interacts and/or collaborates with humans. This article identifies five main conceptual components that participate in an HCAI agent: Observations, Requirements, Actions, Explanations and Models. We see the notion of HCAI agent, together with its components and functions, as a way to bridge the technical and non-technical discussions on human-centered AI. In this paper, we focus our analysis on scenarios consisting of a single agent operating in dynamic environments in presence of humans.
△ Less
Submitted 29 December, 2021;
originally announced December 2021.
-
Energetic decomposition of Distributed Systems with Moving Material Domains: the port-Hamiltonian model of Fluid-Structure Interaction
Authors:
Federico Califano,
Ramy Rashad,
Frederic P. Schuller,
Stefano Stramigioli
Abstract:
We introduce the geometric structure underlying the port-Hamiltonian models for distributed parameter systems exhibiting moving material domains.
We introduce the geometric structure underlying the port-Hamiltonian models for distributed parameter systems exhibiting moving material domains.
△ Less
Submitted 26 October, 2021;
originally announced November 2021.
-
Geometric and energy-aware decomposition of the Navier-Stokes equations: A port-Hamiltonian approach
Authors:
Federico Califano,
Ramy Rashad,
Frederic P. Schuller,
Stefano Stramigioli
Abstract:
A port-Hamiltonian model for compressible Newtonian fluid dynamics is presented in entirely coordinate-independent geometric fashion. This is achieved by use of tensor-valued differential forms that allow to describe describe the interconnection of the power preserving structure which underlies the motion of perfect fluids to a dissipative port which encodes Newtonian constitutive relations of she…
▽ More
A port-Hamiltonian model for compressible Newtonian fluid dynamics is presented in entirely coordinate-independent geometric fashion. This is achieved by use of tensor-valued differential forms that allow to describe describe the interconnection of the power preserving structure which underlies the motion of perfect fluids to a dissipative port which encodes Newtonian constitutive relations of shear and bulk stresses. The relevant diffusion and the boundary terms characterizing the Navier-Stokes equations on a general Riemannian manifold arise naturally from the proposed construction.
△ Less
Submitted 3 March, 2021;
originally announced March 2021.
-
Port-Hamiltonian Modeling of Ideal Fluid Flow: Part II. Compressible and Incompressible Flow
Authors:
Ramy Rashad,
Federico Califano,
Frederic P. Schuller,
Stefano Stramigioli
Abstract:
Part I of this paper presented a systematic derivation of the Stokes Dirac structure underlying the port-Hamiltonian model of ideal fluid flow on Riemannian manifolds. Starting from the group of diffeomorphisms as a configuration space for the fluid, the Stokes Dirac structure is derived by Poisson reduction and then augmented by boundary ports and distributed ports. The additional boundary ports…
▽ More
Part I of this paper presented a systematic derivation of the Stokes Dirac structure underlying the port-Hamiltonian model of ideal fluid flow on Riemannian manifolds. Starting from the group of diffeomorphisms as a configuration space for the fluid, the Stokes Dirac structure is derived by Poisson reduction and then augmented by boundary ports and distributed ports. The additional boundary ports have been shown to appear naturally as surface terms in the pairings of dual maps, always neglected in standard Hamiltonian theory. The port-Hamiltonian model presented in Part I corresponded only to the kinetic energy of the fluid and how its energy variables evolve such that the energy is conserved.
In Part II, we utilize the distributed port of the kinetic energy port-Hamiltonian system for representing a number of fluid-dynamical systems. By adding internal energy we model compressible flow, both adiabatic and isentropic, and by adding constraint forces we model incompressible flow. The key tools used are the interconnection maps relating the dynamics of fluid motion to the dynamics of advected quantities.
△ Less
Submitted 3 December, 2020;
originally announced December 2020.
-
Port-Hamiltonian Modeling of Ideal Fluid Flow: Part I. Foundations and Kinetic Energy
Authors:
Ramy Rashad,
Federico Califano,
Frederic P. Schuller,
Stefano Stramigioli
Abstract:
In this two-parts paper, we present a systematic procedure to extend the known Hamiltonian model of ideal inviscid fluid flow on Riemannian manifolds in terms of Lie-Poisson structures to a port-Hamiltonian model in terms of Stokes-Dirac structures. The first novelty of the presented model is the inclusion of non-zero energy exchange through, and within, the spatial boundaries of the domain contai…
▽ More
In this two-parts paper, we present a systematic procedure to extend the known Hamiltonian model of ideal inviscid fluid flow on Riemannian manifolds in terms of Lie-Poisson structures to a port-Hamiltonian model in terms of Stokes-Dirac structures. The first novelty of the presented model is the inclusion of non-zero energy exchange through, and within, the spatial boundaries of the domain containing the fluid. The second novelty is that the port-Hamiltonian model is constructed as the interconnection of a small set of building blocks of open energetic subsystems. Depending only on the choice of subsystems one composes and their energy-aware interconnection, the geometric description of a wide range of fluid dynamical systems can be achieved. The constructed port-Hamiltonian models include a number of inviscid fluid dynamical systems with variable boundary conditions. Namely, compressible isentropic flow, compressible adiabatic flow, and incompressible flow. Furthermore, all the derived fluid flow models are valid covariantly and globally on n-dimensional Riemannian manifolds using differential geometric tools of exterior calculus.
△ Less
Submitted 3 December, 2020;
originally announced December 2020.
-
Constructive Gravity: Foundations and Applications
Authors:
Frederic P. Schuller
Abstract:
Constructive gravity allows to calculate the Lagrangian for gravity, provided one previously prescribes the Lagrangian for all matter fields on a spacetime geometry of choice. We explain the physical and mathematical foundation of this result and point out how to answer questions about gravity that could not be meaningfully asked previously.
Constructive gravity allows to calculate the Lagrangian for gravity, provided one previously prescribes the Lagrangian for all matter fields on a spacetime geometry of choice. We explain the physical and mathematical foundation of this result and point out how to answer questions about gravity that could not be meaningfully asked previously.
△ Less
Submitted 21 March, 2020;
originally announced March 2020.
-
Symmetric gravitational closure
Authors:
Maximilian Düll,
Nils L. Fischer,
Bjoern Malte Schaefer,
Frederic P. Schuller
Abstract:
We show how to exploit symmetry assumptions to determine the dynamical equations for the particular geometry that underpins given matter field equations. The procedure builds on the gravitational closure equations for matter models without any a priori assumption of symmetry. It suffices to illustrate the symmetrization procedure for a Klein-Gordon field equation on a Lorentzian background, for wh…
▽ More
We show how to exploit symmetry assumptions to determine the dynamical equations for the particular geometry that underpins given matter field equations. The procedure builds on the gravitational closure equations for matter models without any a priori assumption of symmetry. It suffices to illustrate the symmetrization procedure for a Klein-Gordon field equation on a Lorentzian background, for which one obtains the Friedmann equations, without ever having known Einstein's equations, by careful imposition of maximal cosmological symmetry directly on the pertinent gravitational closure equations. This method of finding the family of symmetry-reduced gravitational field equations that are compatible with given matter dynamics directly generalizes to any Killing symmetry algebra, matter models beyond the standard model and indeed tensorial spacetime geometries beyond Lorentzian metrics.
△ Less
Submitted 16 March, 2020;
originally announced March 2020.
-
Exploiting Partial Knowledge in Declarative Domain-Specific Heuristics for ASP
Authors:
Richard Taupe,
Konstantin Schekotihin,
Peter Schüller,
Antonius Weinzierl,
Gerhard Friedrich
Abstract:
Domain-specific heuristics are an important technique for solving combinatorial problems efficiently. We propose a novel semantics for declarative specifications of domain-specific heuristics in Answer Set Programming (ASP). Decision procedures that are based on a partial solution are a frequent ingredient of existing domain-specific heuristics, e.g., for placing an item that has not been placed y…
▽ More
Domain-specific heuristics are an important technique for solving combinatorial problems efficiently. We propose a novel semantics for declarative specifications of domain-specific heuristics in Answer Set Programming (ASP). Decision procedures that are based on a partial solution are a frequent ingredient of existing domain-specific heuristics, e.g., for placing an item that has not been placed yet in bin packing. Therefore, in our novel semantics negation as failure and aggregates in heuristic conditions are evaluated on a partial solver state. State-of-the-art solvers do not allow such a declarative specification. Our implementation in the lazy-grounding ASP system Alpha supports heuristic directives under this semantics. By that, we also provide the first implementation for incorporating declaratively specified domain-specific heuristics in a lazy-grounding setting. Experiments confirm that the combination of ASP solving with lazy grounding and our novel heuristics can be a vital ingredient for solving industrial-size problems.
△ Less
Submitted 18 September, 2019;
originally announced September 2019.
-
Abstraction for Zooming-In to Unsolvability Reasons of Grid-Cell Problems
Authors:
Thomas Eiter,
Zeynep G. Saribatur,
Peter Schüller
Abstract:
Humans are capable of abstracting away irrelevant details when studying problems. This is especially noticeable for problems over grid-cells, as humans are able to disregard certain parts of the grid and focus on the key elements important for the problem. Recently, the notion of abstraction has been introduced for Answer Set Programming (ASP), a knowledge representation and reasoning paradigm wid…
▽ More
Humans are capable of abstracting away irrelevant details when studying problems. This is especially noticeable for problems over grid-cells, as humans are able to disregard certain parts of the grid and focus on the key elements important for the problem. Recently, the notion of abstraction has been introduced for Answer Set Programming (ASP), a knowledge representation and reasoning paradigm widely used in problem solving, with the potential to understand the key elements of a program that play a role in finding a solution. The present paper takes this further and empowers abstraction to deal with structural aspects, and in particular with hierarchical abstraction over the domain. We focus on obtaining the reasons for unsolvability of problems on grids, and show the possibility to automatically achieve human-like abstractions that distinguish only the relevant part of the grid. A user study on abstract explanations confirms the similarity of the focus points in machine vs. human explanations and reaffirms the challenge of employing abstraction to obtain machine explanations.
△ Less
Submitted 11 September, 2019;
originally announced September 2019.
-
Partial Compilation of ASP Programs
Authors:
Bernardo Cuteri,
Carmine Dodaro,
Francesco Ricca,
Peter Schüller
Abstract:
Answer Set Programming (ASP) is a well-known declarative formalism in logic programming. Efficient implementations made it possible to apply ASP in many scenarios, ranging from deductive databases applications to the solution of hard combinatorial problems. State-of-the-art ASP systems are based on the traditional ground\&solve approach and are general-purpose implementations, i.e., they are essen…
▽ More
Answer Set Programming (ASP) is a well-known declarative formalism in logic programming. Efficient implementations made it possible to apply ASP in many scenarios, ranging from deductive databases applications to the solution of hard combinatorial problems. State-of-the-art ASP systems are based on the traditional ground\&solve approach and are general-purpose implementations, i.e., they are essentially built once for any kind of input program. In this paper, we propose an extended architecture for ASP systems, in which parts of the input program are compiled into an ad-hoc evaluation algorithm (i.e., we obtain a specific binary for a given program), and might not be subject to the grounding step. To this end, we identify a condition that allows the compilation of a sub-program, and present the related partial compilation technique. Importantly, we have implemented the new approach on top of a well-known ASP solver and conducted an experimental analysis on publicly-available benchmarks. Results show that our compilation-based approach improves on the state of the art in various scenarios, including cases in which the input program is stratified or the grounding blow-up makes the evaluation unpractical with traditional ASP systems.
△ Less
Submitted 24 July, 2019;
originally announced July 2019.
-
Technical Report: Adjudication of Coreference Annotations via Answer Set Optimization
Authors:
Peter Schüller
Abstract:
We describe the first automatic approach for merging coreference annotations obtained from multiple annotators into a single gold standard. This merging is subject to certain linguistic hard constraints and optimization criteria that prefer solutions with minimal divergence from annotators. The representation involves an equivalence relation over a large number of elements. We use Answer Set Progr…
▽ More
We describe the first automatic approach for merging coreference annotations obtained from multiple annotators into a single gold standard. This merging is subject to certain linguistic hard constraints and optimization criteria that prefer solutions with minimal divergence from annotators. The representation involves an equivalence relation over a large number of elements. We use Answer Set Programming to describe two representations of the problem and four objective functions suitable for different datasets. We provide two structurally different real-world benchmark datasets based on the METU-Sabanci Turkish Treebank and we report our experiences in using the Gringo, Clasp, and Wasp tools for computing optimal adjudication results on these datasets.
△ Less
Submitted 31 January, 2018;
originally announced February 2018.
-
Gravitational closure of weakly birefringent electrodynamics
Authors:
Jonas Schneider,
Frederic P. Schuller,
Nadine Stritzelberger,
Florian Wolz
Abstract:
We derive the gravitational dynamics of the tensorial geometry which underlies the most general linear theory of electrodynamics that features weak birefringence in vacuo. This derivation is performed by way of gravitational closure, which is a mechanism that employs the causal structure of any canonically quantizable matter dynamics on some tensorial spacetime geometry in order to derive canonica…
▽ More
We derive the gravitational dynamics of the tensorial geometry which underlies the most general linear theory of electrodynamics that features weak birefringence in vacuo. This derivation is performed by way of gravitational closure, which is a mechanism that employs the causal structure of any canonically quantizable matter dynamics on some tensorial spacetime geometry in order to derive canonical dynamics for the latter. The resulting eleven-parameter family of weak gravitational field equations allows to predict where vacuum birefringence will occur, if there is any.
△ Less
Submitted 13 August, 2017;
originally announced August 2017.
-
Constraints, Lazy Constraints, or Propagators in ASP Solving: An Empirical Analysis
Authors:
Bernardo Cuteri,
Carmine Dodaro,
Francesco Ricca,
Peter Schüller
Abstract:
Answer Set Programming (ASP) is a well-established declarative paradigm. One of the successes of ASP is the availability of efficient systems. State-of-the-art systems are based on the ground+solve approach. In some applications this approach is infeasible because the grounding of one or few constraints is expensive. In this paper, we systematically compare alternative strategies to avoid the inst…
▽ More
Answer Set Programming (ASP) is a well-established declarative paradigm. One of the successes of ASP is the availability of efficient systems. State-of-the-art systems are based on the ground+solve approach. In some applications this approach is infeasible because the grounding of one or few constraints is expensive. In this paper, we systematically compare alternative strategies to avoid the instantiation of problematic constraints, that are based on custom extensions of the solver. Results on real and synthetic benchmarks highlight some strengths and weaknesses of the different strategies. (Under consideration for acceptance in TPLP, ICLP 2017 Special Issue.)
△ Less
Submitted 13 July, 2017;
originally announced July 2017.
-
Best-Effort Inductive Logic Programming via Fine-grained Cost-based Hypothesis Generation
Authors:
Peter Schüller,
Mishal Benz
Abstract:
We describe the Inspire system which participated in the first competition on Inductive Logic Programming (ILP). Inspire is based on Answer Set Programming (ASP). The distinguishing feature of Inspire is an ASP encoding for hypothesis space generation: given a set of facts representing the mode bias, and a set of cost configuration parameters, each answer set of this encoding represents a single r…
▽ More
We describe the Inspire system which participated in the first competition on Inductive Logic Programming (ILP). Inspire is based on Answer Set Programming (ASP). The distinguishing feature of Inspire is an ASP encoding for hypothesis space generation: given a set of facts representing the mode bias, and a set of cost configuration parameters, each answer set of this encoding represents a single rule that is considered for finding a hypothesis that entails the given examples. Compared with state-of-the-art methods that use the length of the rule body as a metric for rule complexity, our approach permits a much more fine-grained specification of the shape of hypothesis candidate rules. The Inspire system iteratively increases the rule cost limit and thereby increases the search space until it finds a suitable hypothesis. The system searches for a hypothesis that entails a single example at a time, utilizing an ASP encoding derived from the encoding used in XHAIL. We perform experiments with the development and test set of the ILP competition. For comparison we also adapted the ILASP system to process competition instances. Experimental results show that the cost parameters for the hypothesis search space are an important factor for finding hypotheses to competition instances within tight resource bounds.
△ Less
Submitted 23 February, 2018; v1 submitted 10 July, 2017;
originally announced July 2017.
-
Etherington's Distance Duality with Birefringence
Authors:
Frederic P. Schuller,
Marcus C. Werner
Abstract:
We consider light propagation in a spacetime whose kinematics allow weak birefringence, and whose dynamics have recently been derived by gravitational closure. Revisiting the definitions of luminosity and angular diameter distances in this setting, we present a modification of the Etherington distance duality relation in a weak gravitational field around a point mass. This provides the first concr…
▽ More
We consider light propagation in a spacetime whose kinematics allow weak birefringence, and whose dynamics have recently been derived by gravitational closure. Revisiting the definitions of luminosity and angular diameter distances in this setting, we present a modification of the Etherington distance duality relation in a weak gravitational field around a point mass. This provides the first concrete example of how the non-metricities implied by gravitational closure of birefringent electrodynamics affect observationally testable relations.
△ Less
Submitted 5 July, 2017;
originally announced July 2017.
-
Improving Scalability of Inductive Logic Programming via Pruning and Best-Effort Optimisation
Authors:
Mishal Kazmi,
Peter Schüller,
Yücel Saygın
Abstract:
Inductive Logic Programming (ILP) combines rule-based and statistical artificial intelligence methods, by learning a hypothesis comprising a set of rules given background knowledge and constraints for the search space. We focus on extending the XHAIL algorithm for ILP which is based on Answer Set Programming and we evaluate our extensions using the Natural Language Processing application of senten…
▽ More
Inductive Logic Programming (ILP) combines rule-based and statistical artificial intelligence methods, by learning a hypothesis comprising a set of rules given background knowledge and constraints for the search space. We focus on extending the XHAIL algorithm for ILP which is based on Answer Set Programming and we evaluate our extensions using the Natural Language Processing application of sentence chunking. With respect to processing natural language, ILP can cater for the constant change in how we use language on a daily basis. At the same time, ILP does not require huge amounts of training examples such as other statistical methods and produces interpretable results, that means a set of rules, which can be analysed and tweaked if necessary. As contributions we extend XHAIL with (i) a pruning mechanism within the hypothesis generalisation algorithm which enables learning from larger datasets, (ii) a better usage of modern solver technology using recently developed optimisation methods, and (iii) a time budget that permits the usage of suboptimal results. We evaluate these improvements on the task of sentence chunking using three datasets from a recent SemEval competition. Results show that our improvements allow for learning on bigger datasets with results that are of similar quality to state-of-the-art systems on the same task. Moreover, we compare the hypotheses obtained on datasets to gain insights on the structure of each dataset.
△ Less
Submitted 16 June, 2017;
originally announced June 2017.
-
Marmara Turkish Coreference Corpus and Coreference Resolution Baseline
Authors:
Peter Schüller,
Kübra Cıngıllı,
Ferit Tunçer,
Barış Gün Sürmeli,
Ayşegül Pekel,
Ayşe Hande Karatay,
Hacer Ezgi Karakaş
Abstract:
We describe the Marmara Turkish Coreference Corpus, which is an annotation of the whole METU-Sabanci Turkish Treebank with mentions and coreference chains. Collecting eight or more independent annotations for each document allowed for fully automatic adjudication. We provide a baseline system for Turkish mention detection and coreference resolution and evaluate it on the corpus.
We describe the Marmara Turkish Coreference Corpus, which is an annotation of the whole METU-Sabanci Turkish Treebank with mentions and coreference chains. Collecting eight or more independent annotations for each document allowed for fully automatic adjudication. We provide a baseline system for Turkish mention detection and coreference resolution and evaluate it on the corpus.
△ Less
Submitted 31 July, 2018; v1 submitted 6 June, 2017;
originally announced June 2017.
-
Gravitational effects in birefringent quantum electrodynamics
Authors:
Simon Grosse-Holz,
Frederic P. Schuller,
Roberto Tanzi
Abstract:
The most general classical electrodynamics which still respect the linear superposition principle but allow for otherwise arbitrary birefringence require, and imply, a refined spacetime geometry described by a fourth-rank tensor field. Canonical gravitational dynamics for this geometry, if required to co-evolve in causally consistent fashion with the electromagnetic field, were shown to be constru…
▽ More
The most general classical electrodynamics which still respect the linear superposition principle but allow for otherwise arbitrary birefringence require, and imply, a refined spacetime geometry described by a fourth-rank tensor field. Canonical gravitational dynamics for this geometry, if required to co-evolve in causally consistent fashion with the electromagnetic field, were shown to be constructively determined by gravitational closure of the birefringent electromagnetic field equations. For weak gravitational fields of the resulting birefringent refinement of classical Einstein-Maxwell theory, we show in this article that the corresponding quantum electrodynamics is locally renormalizable at every loop order in gauge-invariant fashion and then employ this result to compute various fundamental processes. Combining quantum field theoretic results in locally essentially flat regions with the global spacetime structure predicted by the refined gravitational dynamics, we find that the anomalous magnetic moment of the electron, the cross sections of Bhabha scattering, and the hyperfine splitting of the hydrogen all pick up a dependence on position in the gravitational field. Particularly the measurement of the hyperfine line of hydrogen, but quite generally the measurement of any local quantum electrodynamical process, is thus able to inform the search for vacuum birefringence and its effects in a new way, since the gravitational theory allows to predict where the effects will be most pronounced.
△ Less
Submitted 16 March, 2020; v1 submitted 21 March, 2017;
originally announced March 2017.
-
Modifications to the Etherington Distance Duality Relation and Observational Limits
Authors:
Surhud More,
Hiroko Niikura,
Jonas Schneider,
Frederic P. Schuller,
Marcus C. Werner
Abstract:
The Etherington distance duality relation, which relates the luminosity distance, the angular diameter distance and the redshift of objects, depends only upon a conservation law for light that traces back directly to the Lorentzian spacetime geometry. We show that this duality relation indeed survives transition to the most general linear electrodynamics without birefringence, which rests on a spa…
▽ More
The Etherington distance duality relation, which relates the luminosity distance, the angular diameter distance and the redshift of objects, depends only upon a conservation law for light that traces back directly to the Lorentzian spacetime geometry. We show that this duality relation indeed survives transition to the most general linear electrodynamics without birefringence, which rests on a spacetime geometry constituted by a Lorentzian metric and two scalar fields, a dilaton and an axion. By computing the Poynting vector and optical scalar transport in the geometrical optics limit of this framework, we derive the modification of the light flux in the presence of a dilaton field and present improved constraints on the gradient of the dilaton field from observations of the Cosmic Microwave Background spectrum. Although this flux modification may seem applicable also to fundamental modifications of the Etherington relation, we show that the distance duality relation still holds true. Thus any deviations within this classical theory would imply non-metricities, once astrophysical sources for attenuation, such as dust, are accounted for. Moreover, using the most up-to-date measurements of the luminosity distances to Supernovae of Type Ia, and the inferred angular diameter distances from the baryon acoustic feature measurements, we perform a scale-free and nearly model-independent test of the Etherington distance duality relation between redshifts of $0.38$ and $0.61$. We find consistency with the standard distance duality relation and constrain the optical depth of light between these two redshifts to $Δτ=-0.006\pm0.046$.
△ Less
Submitted 27 December, 2016;
originally announced December 2016.
-
Gravitational closure of matter field equations
Authors:
Maximilian Düll,
Frederic P. Schuller,
Nadine Stritzelberger,
Florian Wolz
Abstract:
The requirement that both the matter and the geometry of a spacetime canonically evolve together, starting and ending on shared Cauchy surfaces and independently of the intermediate foliation, leaves one with little choice for diffeomorphism-invariant gravitational dynamics that can provide consistent evolution equations to the coefficients of a given system of matter field equations. Concretely,…
▽ More
The requirement that both the matter and the geometry of a spacetime canonically evolve together, starting and ending on shared Cauchy surfaces and independently of the intermediate foliation, leaves one with little choice for diffeomorphism-invariant gravitational dynamics that can provide consistent evolution equations to the coefficients of a given system of matter field equations. Concretely, we show how starting from any linear local matter field equations whose principal polynomial satisfies three physicality conditions, one may calculate coefficient functions which then enter an otherwise immutable set of countably many linear homogeneous partial differential equations. Any solution of these so-called gravitational closure equations then provides a Lagrangian density for any type of tensorial geometry that features ultralocally in the initially specified matter Lagrangian density. Thus the given system of matter field equations is indeed closed by the so obtained gravitational equations. In contrast to previous work, we build the theory on a suitable associated bundle encoding the canonical configuration degrees of freedom, which allows to include necessary constraints on the geometry in practically tractable fashion. By virtue of the presented mechanism, one thus can practically calculate, rather than having to postulate, the gravitational theory that is required by specific matter field dynamics. For the special case of standard model matter one obtains general relativity.
△ Less
Submitted 26 February, 2018; v1 submitted 27 November, 2016;
originally announced November 2016.
-
Technical Report: Giving Hints for Logic Programming Examples without Revealing Solutions
Authors:
Gokhan Avci,
Mustafa Mehuljic,
Peter Schüller
Abstract:
We introduce a framework for supporting learning to program in the paradigm of Answer Set Programming (ASP), which is a declarative logic programming formalism. Based on the idea of teaching by asking the student to complete small example ASP programs, we introduce a three-stage method for giving hints to the student without revealing the correct solution of an example. We categorize mistakes into…
▽ More
We introduce a framework for supporting learning to program in the paradigm of Answer Set Programming (ASP), which is a declarative logic programming formalism. Based on the idea of teaching by asking the student to complete small example ASP programs, we introduce a three-stage method for giving hints to the student without revealing the correct solution of an example. We categorize mistakes into (i) syntactic mistakes, (ii) unexpected but syntactically correct input, and (iii) semantic mistakes, describe mathematical definitions of these mistakes, and show how to compute hints from these definitions.
△ Less
Submitted 26 July, 2016;
originally announced July 2016.
-
Modeling Variations of First-Order Horn Abduction in Answer Set Programming
Authors:
Peter Schüller
Abstract:
We study abduction in First Order Horn logic theories where all atoms can be abduced and we are looking for preferred solutions with respect to three objective functions: cardinality minimality, coherence, and weighted abduction. We represent this reasoning problem in Answer Set Programming (ASP), in order to obtain a flexible framework for experimenting with global constraints and objective funct…
▽ More
We study abduction in First Order Horn logic theories where all atoms can be abduced and we are looking for preferred solutions with respect to three objective functions: cardinality minimality, coherence, and weighted abduction. We represent this reasoning problem in Answer Set Programming (ASP), in order to obtain a flexible framework for experimenting with global constraints and objective functions, and to test the boundaries of what is possible with ASP. Realizing this problem in ASP is challenging as it requires value invention and equivalence between certain constants, because the Unique Names Assumption does not hold in general. To permit reasoning in cyclic theories, we formally describe fine-grained variations of limiting Skolemization. We identify term equivalence as a main instantiation bottleneck, and improve the efficiency of our approach with on-demand constraints that were used to eliminate the same bottleneck in state-of-the-art solvers. We evaluate our approach experimentally on the ACCEL benchmark for plan recognition in Natural Language Understanding. Our encodings are publicly available, modular, and our approach is more efficient than state-of-the-art solvers on the ACCEL benchmark.
△ Less
Submitted 31 January, 2018; v1 submitted 30 December, 2015;
originally announced December 2015.
-
A model building framework for Answer Set Programming with external computations
Authors:
Thomas Eiter,
Michael Fink,
Giovambattista Ianni,
Thomas Krennwallner,
Christoph Redl,
Peter Schüller
Abstract:
As software systems are getting increasingly connected, there is a need for equip** nonmonotonic logic programs with access to external sources that are possibly remote and may contain information in heterogeneous formats. To cater for this need, HEX programs were designed as a generalization of answer set programs with an API style interface that allows to access arbitrary external sources, pro…
▽ More
As software systems are getting increasingly connected, there is a need for equip** nonmonotonic logic programs with access to external sources that are possibly remote and may contain information in heterogeneous formats. To cater for this need, HEX programs were designed as a generalization of answer set programs with an API style interface that allows to access arbitrary external sources, providing great flexibility. Efficient evaluation of such programs however is challenging, and it requires to interleave external computation and model building; to decide when to switch between these tasks is difficult, and existing approaches have limited scalability in many real-world application scenarios. We present a new approach for the evaluation of logic programs with external source access, which is based on a configurable framework for dividing the non-ground program into possibly overlap** smaller parts called evaluation units. The latter will be processed by interleaving external evaluation and model building using an evaluation graph and a model graph, respectively, and by combining intermediate results. Experiments with our prototype implementation show a significant improvement compared to previous approaches. While designed for HEX-programs, the new evaluation approach may be deployed to related rule-based formalisms as well.
△ Less
Submitted 11 July, 2015; v1 submitted 6 July, 2015;
originally announced July 2015.
-
How quantizable matter gravitates: a practitioner's guide
Authors:
Frederic P. Schuller,
Christof Witte
Abstract:
We present the practical step-by-step procedure for constructing canonical gravitational dynamics and kinematics directly from any previously specified quantizable classical matter dynamics, and then illustrate the application of this recipe by way of two completely worked case studies. Following the same procedure, any phenomenological proposal for fundamental matter dynamics must be supplemented…
▽ More
We present the practical step-by-step procedure for constructing canonical gravitational dynamics and kinematics directly from any previously specified quantizable classical matter dynamics, and then illustrate the application of this recipe by way of two completely worked case studies. Following the same procedure, any phenomenological proposal for fundamental matter dynamics must be supplemented with a suitable gravity theory providing the coefficients and kinematical interpretation of the matter equations, before any of the two theories can be meaningfully compared to experimental data.
△ Less
Submitted 26 February, 2014;
originally announced February 2014.
-
US and European Technology Roadmap for a Mid-infrared Space Interferometer
Authors:
Peter A. Schuller,
Peter R. Lawson,
Olivier P. Lay,
Alain Léger,
Stefan R. Martin
Abstract:
Studies of mid-infrared space interferometer concepts in the USA and in Europe have converged on a single architecture. We address the question of how the US and European communities could collaborate to advance technology efforts leading to a future space mission. We present the current state of the art in nulling interferometry, as demonstrated at ambient temperature and pressure in the lab, and…
▽ More
Studies of mid-infrared space interferometer concepts in the USA and in Europe have converged on a single architecture. We address the question of how the US and European communities could collaborate to advance technology efforts leading to a future space mission. We present the current state of the art in nulling interferometry, as demonstrated at ambient temperature and pressure in the lab, and outline required steps to demonstrate its performance under space conditions. Design studies of a cryogenic optical test bench under vacuum have already been carried out. We highlight pre-conditions and constraints of a collaborative effort, foreseeable practical and administrative challenges, and possible strategies to meet those challenges.
△ Less
Submitted 5 December, 2013;
originally announced December 2013.
-
Levels of Integration between Low-Level Reasoning and Task Planning
Authors:
Esra Erdem,
Volkan Patoglu,
Peter Schüller
Abstract:
We provide a systematic analysis of levels of integration between discrete high-level reasoning and continuous low-level reasoning to address hybrid planning problems in robotics. We identify four distinct strategies for such an integration: (i) low-level checks are done for all possible cases in advance and then this information is used during plan generation, (ii) low-level checks are done exact…
▽ More
We provide a systematic analysis of levels of integration between discrete high-level reasoning and continuous low-level reasoning to address hybrid planning problems in robotics. We identify four distinct strategies for such an integration: (i) low-level checks are done for all possible cases in advance and then this information is used during plan generation, (ii) low-level checks are done exactly when they are needed during the search for a plan, (iii) first all plans are computed and then infeasible ones are filtered, and (iv) by means of replanning, after finding a plan, low-level checks identify whether it is infeasible or not; if it is infeasible, a new plan is computed considering the results of previous low- level checks. We perform experiments on hybrid planning problems in robotic manipulation and legged locomotion domains considering these four methods of integration, as well as some of their combinations. We analyze the usefulness of levels of integration in these domains, both from the point of view of computational efficiency (in time and space) and from the point of view of plan quality relative to its feasibility. We discuss advantages and disadvantages of each strategy in the light of experimental results and provide some guidelines on choosing proper strategies for a given domain.
△ Less
Submitted 29 July, 2013;
originally announced July 2013.
-
Multiwavelength interferometric observations and modeling of circumstellar disks
Authors:
A. A. Schegerer,
T. Ratzka,
P. A. Schuller,
S. Wolf,
L. Mosoni,
Ch. Leinert
Abstract:
We investigate the structure of the innermost region of three circumstellar disks around pre-main sequence stars HD 142666, AS 205 N, and AS 205 S. We determine the inner radii of the dust disks and, in particular, search for transition objects where dust has been depleted and inner disk gaps have formed at radii of a few tenths of AU up to several AU. We performed interferometric observations wit…
▽ More
We investigate the structure of the innermost region of three circumstellar disks around pre-main sequence stars HD 142666, AS 205 N, and AS 205 S. We determine the inner radii of the dust disks and, in particular, search for transition objects where dust has been depleted and inner disk gaps have formed at radii of a few tenths of AU up to several AU. We performed interferometric observations with IOTA, AMBER, and MIDI in the infrared wavelength ranges 1.6-2.5um and 8-13um with projected baseline lengths between 25m and 102m. The data analysis was based on radiative transfer simulations in 3D models of young stellar objects (YSOs) to reproduce the spectral energy distribution and the interferometric visibilities simultaneously. Accretion effects and disk gaps could be considered in the modeling approach. Results from previous studies restricted the parameter space. The objects of this study were spatially resolved in the infrared wavelength range using the interferometers. Based on these observations, a disk gap could be found for the source HD 142666 that classifies it as transition object. There is a disk hole up to a radius of R_in=0.30AU and a (dust-free) ring between 0.35AU and 0.80AU in the disk of HD 142666. The classification of AS 205 as a system of classical T Tauri stars could be confirmed using the canonical model approach, i. e., there are no hints of disk gaps in our observations.
△ Less
Submitted 13 May, 2013;
originally announced May 2013.
-
Eliminating Unfounded Set Checking for HEX-Programs
Authors:
Thomas Eiter,
Michael Fink,
Thomas Krennwallner,
Christoph Redl,
Peter Schüller
Abstract:
HEX-programs are an extension of the Answer Set Programming (ASP) paradigm incorporating external means of computation into the declarative programming language through so-called external atoms. Their semantics is defined in terms of minimal models of the Faber-Leone-Pfeifer (FLP) reduct. Develo** native solvers for HEX-programs based on an appropriate notion of unfounded sets has been subject t…
▽ More
HEX-programs are an extension of the Answer Set Programming (ASP) paradigm incorporating external means of computation into the declarative programming language through so-called external atoms. Their semantics is defined in terms of minimal models of the Faber-Leone-Pfeifer (FLP) reduct. Develo** native solvers for HEX-programs based on an appropriate notion of unfounded sets has been subject to recent research for reasons of efficiency. Although this has lead to an improvement over naive minimality checking using the FLP reduct, testing for foundedness remains a computationally expensive task. In this work we improve on HEX-program evaluation in this respect by identifying a syntactic class of programs, that can be efficiently recognized and allows to entirely skip the foundedness check. Moreover, we develop criteria for decomposing a program into components, such that the search for unfounded sets can be restricted. Observing that our results apply to many HEX-program applications provides analytic evidence for the significance and effectiveness of our approach, which is complemented by a brief discussion of preliminary experimental validation.
△ Less
Submitted 7 January, 2013;
originally announced January 2013.
-
Gravitational dynamics for all tensorial spacetimes carrying predictive, interpretable and quantizable matter
Authors:
Kristina Giesel,
Frederic P. Schuller,
Christof Witte,
Mattias N. R. Wohlfarth
Abstract:
Only a severely restricted class of tensor fields can provide classical spacetime geometries, namely those that can carry matter field equations that are predictive, interpretable and quantizable. These three conditions on matter translate into three corresponding algebraic conditions on the underlying tensorial geometry, namely to be hyperbolic, time-orientable and energy-distinguishing. Lorentzi…
▽ More
Only a severely restricted class of tensor fields can provide classical spacetime geometries, namely those that can carry matter field equations that are predictive, interpretable and quantizable. These three conditions on matter translate into three corresponding algebraic conditions on the underlying tensorial geometry, namely to be hyperbolic, time-orientable and energy-distinguishing. Lorentzian metrics, on which general relativity and the standard model of particle physics are built, present just the simplest tensorial spacetime geometry satisfying these conditions. The problem of finding gravitational dynamics---for the general tensorial spacetime geometries satisfying the above minimum requirements---is reformulated in this paper as a system of linear partial differential equations, in the sense that their solutions yield the actions governing the corresponding spacetime geometry. Thus the search for modified gravitational dynamics is reduced to a clear mathematical task.
△ Less
Submitted 14 March, 2012; v1 submitted 14 February, 2012;
originally announced February 2012.
-
All spacetimes beyond Einstein (Obergurgl Lectures)
Authors:
Frederic P. Schuller
Abstract:
Which geometries on a smooth manifold (apart from Lorentzian metrics) can serve as a spacetime structure? This question is comprehensively addressed from first principles in eight lectures, exploring the kinematics and gravitational dynamics of all tensorial geometries on a smooth manifold that can carry predictive matter equations, are time-orientable, and allow to distinguish positive from negat…
▽ More
Which geometries on a smooth manifold (apart from Lorentzian metrics) can serve as a spacetime structure? This question is comprehensively addressed from first principles in eight lectures, exploring the kinematics and gravitational dynamics of all tensorial geometries on a smooth manifold that can carry predictive matter equations, are time-orientable, and allow to distinguish positive from negative particle energies.
△ Less
Submitted 21 November, 2011;
originally announced November 2011.
-
Parsing Combinatory Categorial Grammar with Answer Set Programming: Preliminary Report
Authors:
Yuliya Lierler,
Peter Schüller
Abstract:
Combinatory categorial grammar (CCG) is a grammar formalism used for natural language parsing. CCG assigns structured lexical categories to words and uses a small set of combinatory rules to combine these categories to parse a sentence. In this work we propose and implement a new approach to CCG parsing that relies on a prominent knowledge representation formalism, answer set programming (ASP) - a…
▽ More
Combinatory categorial grammar (CCG) is a grammar formalism used for natural language parsing. CCG assigns structured lexical categories to words and uses a small set of combinatory rules to combine these categories to parse a sentence. In this work we propose and implement a new approach to CCG parsing that relies on a prominent knowledge representation formalism, answer set programming (ASP) - a declarative programming paradigm. We formulate the task of CCG parsing as a planning problem and use an ASP computational tool to compute solutions that correspond to valid parses. Compared to other approaches, there is no need to implement a specific parsing algorithm using such a declarative method. Our approach aims at producing all semantically distinct parse trees for a given sentence. From this goal, normalization and efficiency issues arise, and we deal with them by combining and extending existing strategies. We have implemented a CCG parsing tool kit - AspCcgTk - that uses ASP as its main computational means. The C&C supertagger can be used as a preprocessor within AspCcgTk, which allows us to achieve wide-coverage natural language parsing.
△ Less
Submitted 29 August, 2011;
originally announced August 2011.
-
High precision astrometry mission for the detection and characterization of nearby habitable planetary systems with the Nearby Earth Astrometric Telescope (NEAT)
Authors:
Fabien Malbet,
Alain Léger,
Michael Shao,
Renaud Goullioud,
Pierre-Olivier Lagage,
Anthony G. A. Brown,
Christophe Cara,
Gilles Durand,
Carlos Eiroa,
Philippe Feautrier,
Björn Jakobsson,
Emmanuel Hinglais,
Lisa Kaltenegger,
Lucas Labadie,
Anne-Marie Lagrange,
Jacques Laskar,
René Liseau,
Jonathan Lunine,
Jesús Maldonado,
Manuel Mercier,
Christoph Mordasini,
Didier Queloz,
Andreas Quirrenbach,
Alessandro Sozzetti,
Wesley Traub
, et al. (27 additional authors not shown)
Abstract:
(abridged) A complete census of planetary systems around a volume-limited sample of solar-type stars (FGK dwarfs) in the Solar neighborhood with uniform sensitivity down to Earth-mass planets within their Habitable Zones out to several AUs would be a major milestone in extrasolar planets astrophysics. This fundamental goal can be achieved with a mission concept such as NEAT - the Nearby Earth Astr…
▽ More
(abridged) A complete census of planetary systems around a volume-limited sample of solar-type stars (FGK dwarfs) in the Solar neighborhood with uniform sensitivity down to Earth-mass planets within their Habitable Zones out to several AUs would be a major milestone in extrasolar planets astrophysics. This fundamental goal can be achieved with a mission concept such as NEAT - the Nearby Earth Astrometric Telescope. NEAT is designed to carry out space-borne extremely-high-precision astrometric measurements sufficient to detect dynamical effects due to orbiting planets of mass even lower than Earth's around the nearest stars. Such a survey mission would provide the actual planetary masses and the full orbital geometry for all the components of the detected planetary systems down to the Earth-mass limit. The NEAT performance limits can be achieved by carrying out differential astrometry between the targets and a set of suitable reference stars in the field. The NEAT instrument design consists of an off-axis parabola single-mirror telescope, a detector with a large field of view made of small movable CCDs located around a fixed central CCD, and an interferometric calibration system originating from metrology fibers located at the primary mirror. The proposed mission architecture relies on the use of two satellites operating at L2 for 5 years, flying in formation and offering a capability of more than 20,000 reconfigurations (alternative option uses deployable boom). The NEAT primary science program will encompass an astrometric survey of our 200 closest F-, G- and K-type stellar neighbors, with an average of 50 visits. The remaining time might be allocated to improve the characterization of the architecture of selected planetary systems around nearby targets of specific interest (low-mass stars, young stars, etc.) discovered by Gaia, ground-based high-precision radial-velocity surveys.
△ Less
Submitted 16 August, 2011; v1 submitted 19 July, 2011;
originally announced July 2011.
-
A method for detection of muon induced electromagnetic showers with the ANTARES detector
Authors:
J. A. Aguilar,
I. Al. Samarai,
A. Albert,
M. André,
M. Anghinolfi,
G. Anton,
S. Anvar,
M. Ardid,
A. C. Assis Jesus,
T. Astraatmadja,
J. J. Aubert,
B. Baret,
S. Basa,
V. Bertin,
S. Biagi,
A. Bigi,
C. Bigongiari,
C. Bogazzi,
M. Bou-Cabo,
B. Bouhou,
M. C. Bouwhuis,
J. Brunner,
J. Busto,
F. Camarena,
A. Capone
, et al. (126 additional authors not shown)
Abstract:
The primary aim of ANTARES is neutrino astronomy with upward going muons created in charged current muon neutrino interactions in the detector and its surroundings. Downward going muons are background for neutrino searches. These muons are the decay products of cosmic-ray collisions in the Earth's atmosphere far above the detector. This paper presents a method to identify and count electromagnetic…
▽ More
The primary aim of ANTARES is neutrino astronomy with upward going muons created in charged current muon neutrino interactions in the detector and its surroundings. Downward going muons are background for neutrino searches. These muons are the decay products of cosmic-ray collisions in the Earth's atmosphere far above the detector. This paper presents a method to identify and count electromagnetic showers induced along atmospheric muon tracks with the ANTARES detector. The method is applied to both cosmic muon data and simulations and its applicability to the reconstruction of muon event energies is demonstrated.
△ Less
Submitted 29 February, 2012; v1 submitted 2 June, 2011;
originally announced June 2011.
-
First astronomical unit scale image of the GW Ori triple. Direct detection of a new stellar companion
Authors:
J. -P. Berger,
J. D. Monnier,
R. Millan-Gabet,
S. Renard,
E. Pedretti,
W. Traub,
C. Bechet,
M. Benisty,
N. Carleton,
P. Haguenauer,
P. Kern,
P. Labeye,
F. Longa,
M. Lacasse,
F. Malbet,
K. Perraut,
S. Ragland,
P. Schloerb,
P. A. Schuller,
E. Thiébaut
Abstract:
Young and close multiple systems are unique laboratories to probe the initial dynamical interactions between forming stellar systems and their dust and gas environment. Their study is a key building block to understanding the high frequency of main-sequence multiple systems. However, the number of detected spectroscopic young multiple systems that allow dynamical studies is limited. GW Orionis is…
▽ More
Young and close multiple systems are unique laboratories to probe the initial dynamical interactions between forming stellar systems and their dust and gas environment. Their study is a key building block to understanding the high frequency of main-sequence multiple systems. However, the number of detected spectroscopic young multiple systems that allow dynamical studies is limited. GW Orionis is one such system. It is one of the brightest young T Tauri stars and is surrounded by a massive disk. Our goal is to probe the GW Orionis multiplicity at angular scales at which we can spatially resolve the orbit. We used the IOTA/IONIC3 interferometer to probe the environment of GW Orionis with an astronomical unit resolution in 2003, 2004, and 2005. By measuring squared visibilities and closure phases with a good UV coverage we carry out the first image reconstruction of GW Ori from infrared long-baseline interferometry. We obtain the first infrared image of a T Tauri multiple system with astronomical unit resolution. We show that GW Orionis is a triple system, resolve for the first time the previously known inner pair (separation $ρ\sim$1.4 AU) and reveal a new more distant component (GW Ori C) with a projected separation of $\sim$8 AU with direct evidence of motion. Furthermore, the nearly equal (2:1) H-band flux ratio of the inner components suggests that either GW Ori B is undergoing a preferential accretion event that increases its disk luminosity or that the estimate of the masses has to be revisited in favour of a more equal mass-ratio system that is seen at lower inclination. Accretion disk models of GW Ori will need to be completely reconsidered because of this outer companion C and the unexpected brightness of companion B.
△ Less
Submitted 20 March, 2011;
originally announced March 2011.
-
The extreme physical properties of the CoRoT-7b super-Earth
Authors:
A. Léger,
O. Grasset,
B. Fegley,
F. Codron,
A. F. Albarede,
P. Barge,
R. Barnes,
P. Cance,
S. Carpy,
F. Catalano,
C. Cavarroc,
O. Demangeon,
S. Ferraz-Mello,
P. Gabor,
J. -M. Griessmeier,
J. Leibacher,
G. Libourel,
A-S. Maurin,
S. N. Raymond,
D. Rouan,
B. Samuel,
L. Schaefer,
J. Schneider,
P. A. Schuller,
F. Selsis
, et al. (1 additional authors not shown)
Abstract:
The search for rocky exoplanets plays an important role in our quest for extra-terrestrial life. Here, we discuss the extreme physical properties possible for the first characterized rocky super-Earth, CoRoT-7b (R_pl = 1.58 \pm 0.10 R_Earth, Mpl = 6.9 \pm 1.2 M_Earth). It is extremely close to its star (a = 0.0171 AU = 4.48 R_st), with its spin and orbital rotation likely synchronized. The compari…
▽ More
The search for rocky exoplanets plays an important role in our quest for extra-terrestrial life. Here, we discuss the extreme physical properties possible for the first characterized rocky super-Earth, CoRoT-7b (R_pl = 1.58 \pm 0.10 R_Earth, Mpl = 6.9 \pm 1.2 M_Earth). It is extremely close to its star (a = 0.0171 AU = 4.48 R_st), with its spin and orbital rotation likely synchronized. The comparison of its location in the (Mpl, Rpl) plane with the predictions of planetary models for different compositions points to an Earth-like composition, even if the error bars of the measured quantities and the partial degeneracy of the models prevent a definitive conclusion. The proximity to its star provides an additional constraint on the model. It implies a high extreme-UV flux and particle wind, and the corresponding efficient erosion of the planetary atmosphere especially for volatile species including water. Consequently, we make the working hypothesis that the planet is rocky with no volatiles in its atmosphere, and derive the physical properties that result. As a consequence, the atmosphere is made of rocky vapours with a very low pressure (P \leq 1.5 Pa), no cloud can be sustained, and no thermalisation of the planetary is expected. The dayside is very hot (2474 \leq 71 K at the sub-stellar point) while the nightside is very cold (50 to 75 K). The sub-stellar point is as hot as the tungsten filament of an incandescent bulb, resulting in the melting and distillation of silicate rocks and the formation of a lava ocean. These possible features of CoRoT-7b could be common to many small and hot planets, including the recently discovered Kepler-10b. They define a new class of objects that we propose to name "Lava-ocean planets".
△ Less
Submitted 8 February, 2011;
originally announced February 2011.
-
Quantization of general linear electrodynamics
Authors:
Sergio Rivera,
Frederic P. Schuller
Abstract:
General linear electrodynamics allow for an arbitrary linear constitutive relation between the field strength two-form and induction two-form density if crucial hyperbolicity and energy conditions are satisfied, which render the theory predictive and physically interpretable. Taking into account the higher-order polynomial dispersion relation and associated causal structure of general linear elect…
▽ More
General linear electrodynamics allow for an arbitrary linear constitutive relation between the field strength two-form and induction two-form density if crucial hyperbolicity and energy conditions are satisfied, which render the theory predictive and physically interpretable. Taking into account the higher-order polynomial dispersion relation and associated causal structure of general linear electrodynamics, we carefully develop its Hamiltonian formulation from first principles. Canonical quantization of the resulting constrained system then results in a quantum vacuum which is sensitive to the constitutive tensor of the classical theory. As an application we calculate the Casimir effect in a bi-refringent linear optical medium.
△ Less
Submitted 3 January, 2011;
originally announced January 2011.
-
Time Calibration of the ANTARES Neutrino Telescope
Authors:
The ANTARES Collaboration,
J. A. Aguilar,
I. Al Samarai,
A. Albert,
M. André,
M. Anghinolfi,
G. Anton,
S. Anvar,
M. Ardid,
A. C. Assis Jesus,
T. Astraatmadja,
J. J. Aubert,
R. Auer,
B. Baret,
S. Basa,
M. Bazzotti,
V. Bertin,
S. Biagi,
C. Bigongiari,
M. Bou-Cabo,
M. C. Bouwhuis,
A. M. Brown,
J. Brunner,
J. Busto,
F. Camarena
, et al. (113 additional authors not shown)
Abstract:
The ANTARES deep-sea neutrino telescope comprises a three-dimensional array of photomultipliers to detect the Cherenkov light induced by upgoing relativistic charged particles originating from neutrino interactions in the vicinity of the detector. The large scattering length of light in the deep sea facilitates an angular resolution of a few tenths of a degree for neutrino energies exceeding 10 Te…
▽ More
The ANTARES deep-sea neutrino telescope comprises a three-dimensional array of photomultipliers to detect the Cherenkov light induced by upgoing relativistic charged particles originating from neutrino interactions in the vicinity of the detector. The large scattering length of light in the deep sea facilitates an angular resolution of a few tenths of a degree for neutrino energies exceeding 10 TeV. In order to achieve this optimal performance, the time calibration procedures should ensure a relative time calibration between the photomultipliers at the level of about 1ns. The methods developed to attain this level of precision are described.
△ Less
Submitted 10 December, 2010;
originally announced December 2010.
-
Geometry of physical dispersion relations
Authors:
Dennis Raetzel,
Sergio Rivera,
Frederic P. Schuller
Abstract:
To serve as a dispersion relation, a cotangent bundle function must satisfy three simple algebraic properties. These conditions are derived from the inescapable physical requirements to have predictive matter field dynamics and an observer-independent notion of positive energy. Possible modifications of the standard relativistic dispersion relation are thereby severely restricted. For instance, th…
▽ More
To serve as a dispersion relation, a cotangent bundle function must satisfy three simple algebraic properties. These conditions are derived from the inescapable physical requirements to have predictive matter field dynamics and an observer-independent notion of positive energy. Possible modifications of the standard relativistic dispersion relation are thereby severely restricted. For instance, the dispersion relations associated with popular deformations of Maxwell theory by Gambini-Pullin or Myers-Pospelov are not admissible.
△ Less
Submitted 5 January, 2011; v1 submitted 7 October, 2010;
originally announced October 2010.
-
The Pulsation of Chi Cygni Imaged by Optical Interferometry; a Novel Technique to Derive Distance and Mass of Mira Stars
Authors:
S. Lacour,
E. Thiébaut,
G. Perrin,
S. Meimon,
X. Haubois,
E. Pedretti,
S. Ridgway,
J. D. Monnier,
J. P. Berger,
P. A. Schuller,
H. Woodruff,
A. Poncelet,
H. Le Coroller,
R. Millan-Gabet,
M. Lacasse,
W. Traub
Abstract:
We present infrared interferometric imaging of the S-type Mira star Chi Cygni. The object was observed at four different epochs in 2005-2006 with the IOTA optical interferometer (H band). Images show up to 40% variation in the stellar diameter, as well as significant changes in the limb darkening and stellar inhomogeneities. Model fitting gave precise time-dependent values of the stellar diamete…
▽ More
We present infrared interferometric imaging of the S-type Mira star Chi Cygni. The object was observed at four different epochs in 2005-2006 with the IOTA optical interferometer (H band). Images show up to 40% variation in the stellar diameter, as well as significant changes in the limb darkening and stellar inhomogeneities. Model fitting gave precise time-dependent values of the stellar diameter, and reveals presence and displacement of a warm molecular layer. The star radius, corrected for limb darkening, has a mean value of 12.1 mas and shows a 5.1mas amplitude pulsation. Minimum diameter was observed at phase 0.94+/-0.01. Maximum temperature was observed several days later at phase 1.02+/-0.02. We also show that combining the angular acceleration of the molecular layer with CO (Delta v = 3) radial velocity measurements yields a 5.9+/-1.5 mas parallax. The constant acceleration of the CO molecules -- during 80% of the pulsation cycle -- lead us to argument for a free-falling layer. The acceleration is compatible with a gravitational field produced by a 2.1(+1.5/-0.7) solar mass star. This last value is in agreement with fundamental mode pulsator models. We foresee increased development of techniques consisting in combining radial velocity with interferometric angular measurements, ultimately allowing total map** of the speed, density, and position of the diverse species in pulsation driven atmospheres.
△ Less
Submitted 20 October, 2009;
originally announced October 2009.
-
Causal structure and algebraic classification of area metric spacetimes in four dimensions
Authors:
Frederic P. Schuller,
Christof Witte,
Mattias N. R. Wohlfarth
Abstract:
Area metric manifolds emerge as a refinement of symplectic and metric geometry in four dimensions, where in numerous situations of physical interest they feature as effective matter backgrounds. In this article, this prompts us to identify those area metric manifolds that qualify as viable spacetime backgrounds in the first place, in so far as they support causally propagating matter. This inclu…
▽ More
Area metric manifolds emerge as a refinement of symplectic and metric geometry in four dimensions, where in numerous situations of physical interest they feature as effective matter backgrounds. In this article, this prompts us to identify those area metric manifolds that qualify as viable spacetime backgrounds in the first place, in so far as they support causally propagating matter. This includes an identification of the timelike future cones and their duals associated to an area metric geometry, and thus paves the ground for a discussion of the related local and global causal structure in standard fashion. In order to provide simple algebraic criteria for an area metric manifold to present a consistent spacetime structure, we develop a complete algebraic classification of area metric tensors up to general transformations of frame. Remarkably, a suitable coarsening of this classification allows to prove a theorem excluding the majority of algebraic classes of area metrics as viable spacetimes.
△ Less
Submitted 7 August, 2009;
originally announced August 2009.
-
Detection of non-radial pulsation and faint companion in the symbiotic star CH Cyg
Authors:
E. Pedretti,
J. D. Monnier,
S. Lacour,
W. A. Traub,
W. C. Danchi,
P. G. Tuthill,
N. D. Thureau,
R. Millan-Gabet,
J-P. Berger,
M. G. Lacasse,
P. A. Schuller,
F. P. Schloerb,
N. P. Carleton
Abstract:
We have detected asymmetry in the symbiotic star CH Cyg through the measurement of precision closure-phase with the IONIC beam combiner, at the IOTA interferometer. The position of the asymmetry changes with time and is correlated with the phase of the 2.1-yr period found in the radial velocity measurements for this star. We can model the time-dependent asymmetry either as the orbit of a low-mas…
▽ More
We have detected asymmetry in the symbiotic star CH Cyg through the measurement of precision closure-phase with the IONIC beam combiner, at the IOTA interferometer. The position of the asymmetry changes with time and is correlated with the phase of the 2.1-yr period found in the radial velocity measurements for this star. We can model the time-dependent asymmetry either as the orbit of a low-mass companion around the M giant or as an asymmetric, 20% change in brightness across the M giant. We do not detect a change in the size of the star during a 3 year monitoring period neither with respect to time nor with respect to wavelength. We find a spherical dust-shell with an emission size of 2.2+/-0.1 D* FWHM around the M giant star. The star to dust flux ratio is estimated to be 11.63+/-0.3. While the most likely explanation for the 20% change in brightness is non-radial pulsation we argue that a low-mass companion in close orbit could be the physical cause of the pulsation. The combined effect of pulsation and low-mass companion could explain the behaviour revealed by the radial-velocity curves and the time-dependent asymmetry detected in the closure-phase data. If CH Cyg is a typical long secondary period variable then these variations could be explained by the effect of an orbiting low-mass companion on the primary star.
△ Less
Submitted 1 May, 2009; v1 submitted 1 May, 2009;
originally announced May 2009.
-
Light clocks in strong gravitational fields
Authors:
Raffaele Punzi,
Frederic P. Schuller,
Mattias N. R. Wohlfarth
Abstract:
We argue that the time measured by a light clock operating with photons rather than classical light requires a refinement of the standard clock postulate in general relativity. In the presence of a gravitational field, already the one-loop quantum corrections to classical Maxwell theory affect light propagation and the construction of observers' frames of reference. Carefully taking into account…
▽ More
We argue that the time measured by a light clock operating with photons rather than classical light requires a refinement of the standard clock postulate in general relativity. In the presence of a gravitational field, already the one-loop quantum corrections to classical Maxwell theory affect light propagation and the construction of observers' frames of reference. Carefully taking into account these kinematic effects, a concise geometric expression for the time shown by a light clock is obtained. This result has far-reaching implications for physics in strong gravitational fields.
△ Less
Submitted 11 February, 2009;
originally announced February 2009.
-
Massive motion in Brans-Dicke geometry and beyond
Authors:
Raffaele Punzi,
Frederic P. Schuller,
Mattias N. R. Wohlfarth
Abstract:
Gravity theories that can be viewed as dynamics for area metric manifolds, for which Brans-Dicke theory presents a recently studied example, require for their physical interpretation the identification of the distinguished curves that serve as the trajectories of light and massive matter. Complementing previous results on the propagation of light, we study effective massive point particle motion…
▽ More
Gravity theories that can be viewed as dynamics for area metric manifolds, for which Brans-Dicke theory presents a recently studied example, require for their physical interpretation the identification of the distinguished curves that serve as the trajectories of light and massive matter. Complementing previous results on the propagation of light, we study effective massive point particle motion. We show that the relevant geometrical structure is a special Finsler norm determined by the area metric, and that massive point particles follow Finsler geodesics.
△ Less
Submitted 21 January, 2009;
originally announced January 2009.
-
Tests of achromatic phase shifters performed on the SYNAPSE test bench: a progress report
Authors:
Pavel Gabor,
Peter A. Schuller,
Bruno Chazelas,
Michel Decaudin,
Alain Labèque,
Philippe Duret,
Yves Rabbia,
Ralf Launhardt,
Jean Gay,
Zoran Sodnik,
Marc Barillot,
Frank Brachet,
Thomas Laurent,
Sophie Jacquinod,
Denis Vandormael,
Jérôme Loicq,
Dimitri Mawet,
Marc Ollivier,
Alain Léger
Abstract:
The achromatic phase shifter (APS) is a component of the Bracewell nulling interferometer studied in preparation for future space missions (viz. Darwin/TPF-I) focusing on spectroscopic study of Earth-like exo-planets. Several possible designs of such an optical subsystem exist. Four approaches were selected for further study. Thales Alenia Space developed a dielectric prism APS. A focus crossing…
▽ More
The achromatic phase shifter (APS) is a component of the Bracewell nulling interferometer studied in preparation for future space missions (viz. Darwin/TPF-I) focusing on spectroscopic study of Earth-like exo-planets. Several possible designs of such an optical subsystem exist. Four approaches were selected for further study. Thales Alenia Space developed a dielectric prism APS. A focus crossing APS prototype was developed by the OCA, Nice, France. A field reversal APS prototype was prepared by the MPIA in Heidelberg, Germany. Centre Spatial de Liège develops a concept based on Fresnel's rhombs. This paper presents a progress report on the current work aiming at evaluating these prototypes on the SYNAPSE test bench at the Institut d'Astrophysique Spatiale in Orsay, France.
△ Less
Submitted 10 December, 2008;
originally announced December 2008.
-
Brans-Dicke geometry
Authors:
Raffaele Punzi,
Frederic P. Schuller,
Mattias N. R. Wohlfarth
Abstract:
We reveal the non-metric geometry underlying omega-->0 Brans-Dicke theory by unifying the metric and scalar field into a single geometric structure. Taking this structure seriously as the geometry to which matter universally couples, we show that the theory is fully consistent with solar system tests. This is in striking constrast with the standard metric coupling, which grossly violates post-Ne…
▽ More
We reveal the non-metric geometry underlying omega-->0 Brans-Dicke theory by unifying the metric and scalar field into a single geometric structure. Taking this structure seriously as the geometry to which matter universally couples, we show that the theory is fully consistent with solar system tests. This is in striking constrast with the standard metric coupling, which grossly violates post-Newtonian experimental constraints.
△ Less
Submitted 9 May, 2008; v1 submitted 25 April, 2008;
originally announced April 2008.
-
The limb-darkened Arcturus; Imaging with the IOTA/IONIC interferometer
Authors:
S. Lacour,
S. Meimon,
E. Thiebaut,
G. Perrin,
T. Verhoelst,
E. Pedretti,
P. A. Schuller,
L. Mugnier,
J. Monnier,
J. P. Berger,
X. Haubois,
A. Poncelet,
G. Le Besnerais,
K. Eriksson,
R. Millan-Gabet,
M. Lacasse,
W. Traub
Abstract:
This paper is an H band interferometric examination of Arcturus, a star frequently used as a spatial and spectral calibrator. Using the IOTA 3 telescope interferometer, we performed spectro-interferometric observation (R~35) of Arcturus. Atmospheric models and prescriptions were fitted to the data to derive the brightness distribution of the photosphere. Image reconstruction was also obtained us…
▽ More
This paper is an H band interferometric examination of Arcturus, a star frequently used as a spatial and spectral calibrator. Using the IOTA 3 telescope interferometer, we performed spectro-interferometric observation (R~35) of Arcturus. Atmospheric models and prescriptions were fitted to the data to derive the brightness distribution of the photosphere. Image reconstruction was also obtained using two software algorithms: Wisard and Mira. An achromatic power law proved to be a good model of the brightness distribution, with a limb darkening compatible with the one derived from atmospheric model simulations using our Marcs model. A Rosseland diameter of 21.05+/-0.21 was derived, corresponding to an effective temperature of T_eff=4295+/-26 K. No companion was detected from the closure phases, with an upper limit on the brightness ratio of 8e-4 at 1AU. Dynamic range at such distance from the photosphere was established at 1.5e-4 (1sigma rms). An upper limit of 1.7e-3 was also derived for the level of brightness asymmetries present on the photosphere.
△ Less
Submitted 1 April, 2008;
originally announced April 2008.
-
Propagation of light in area metric backgrounds
Authors:
Raffaele Punzi,
Frederic P. Schuller,
Mattias N. R. Wohlfarth
Abstract:
The propagation of light in area metric spacetimes, which naturally emerge as refined backgrounds in quantum electrodynamics and quantum gravity, is studied from first principles. In the geometric-optical limit, light rays are found to follow geodesics in a Finslerian geometry, with the Finsler norm being determined by the area metric tensor. Based on this result, and an understanding of the non…
▽ More
The propagation of light in area metric spacetimes, which naturally emerge as refined backgrounds in quantum electrodynamics and quantum gravity, is studied from first principles. In the geometric-optical limit, light rays are found to follow geodesics in a Finslerian geometry, with the Finsler norm being determined by the area metric tensor. Based on this result, and an understanding of the non-linear relation between ray vectors and wave covectors in such refined backgrounds, we study light deflection in spherically symmetric situations, and obtain experimental bounds on the non-metricity of spacetime in the solar system.
△ Less
Submitted 20 January, 2009; v1 submitted 23 November, 2007;
originally announced November 2007.
-
Radiation-dominated area metric cosmology
Authors:
Frederic P. Schuller,
Mattias N. R. Wohlfarth
Abstract:
We provide further crucial support for a refined, area metric structure of spacetime. Based on the solution of conceptual issues, such as the consistent coupling of fermions and the covariant identification of radiation fields on area metric backgrounds, we show that the radiation-dominated epoch of area metric cosmology is equivalent to that epoch in standard Einstein cosmology. This ensures, i…
▽ More
We provide further crucial support for a refined, area metric structure of spacetime. Based on the solution of conceptual issues, such as the consistent coupling of fermions and the covariant identification of radiation fields on area metric backgrounds, we show that the radiation-dominated epoch of area metric cosmology is equivalent to that epoch in standard Einstein cosmology. This ensures, in particular, successful nucleosynthesis. This surprising result complements the previously derived prediction of a small late-time acceleration of an area metric universe.
△ Less
Submitted 12 June, 2007; v1 submitted 31 May, 2007;
originally announced May 2007.
-
Area metric gravity and accelerating cosmology
Authors:
Raffaele Punzi,
Frederic P. Schuller,
Mattias N. R. Wohlfarth
Abstract:
Area metric manifolds emerge as effective classical backgrounds in quantum string theory and quantum gauge theory, and present a true generalization of metric geometry. Here, we consider area metric manifolds in their own right, and develop in detail the foundations of area metric differential geometry. Based on the construction of an area metric curvature scalar, which reduces in the metric-ind…
▽ More
Area metric manifolds emerge as effective classical backgrounds in quantum string theory and quantum gauge theory, and present a true generalization of metric geometry. Here, we consider area metric manifolds in their own right, and develop in detail the foundations of area metric differential geometry. Based on the construction of an area metric curvature scalar, which reduces in the metric-induced case to the Ricci scalar, we re-interpret the Einstein-Hilbert action as dynamics for an area metric spacetime. In contrast to modifications of general relativity based on metric geometry, no continuous deformation scale needs to be introduced; the extension to area geometry is purely structural and thus rigid. We present an intriguing prediction of area metric gravity: without dark energy or fine-tuning, the late universe exhibits a small acceleration.
△ Less
Submitted 14 December, 2006;
originally announced December 2006.