Showing 1–47 of 47 results for author: Aguirre, N

Close the Gates to an Inhuman Future: How and why we should choose to not develop superhuman general-purpose artificial intelligence

Authors: Anthony Aguirre

Abstract: Recent dramatic advances in artificial intelligence indicate that in the coming years, humanity may irreversibly cross a threshold by creating superhuman general-purpose AI: AI that is better than humans at cognitive tasks in general in the way that AI is currently unbeatable in certain domains. This would upend core aspects of human society, present many unprecedented risks, and is likely to be u… ▽ More Recent dramatic advances in artificial intelligence indicate that in the coming years, humanity may irreversibly cross a threshold by creating superhuman general-purpose AI: AI that is better than humans at cognitive tasks in general in the way that AI is currently unbeatable in certain domains. This would upend core aspects of human society, present many unprecedented risks, and is likely to be uncontrollable in several senses. We can choose to not do so, starting by instituting hard limits - placed at the national and international level, and verified by hardware security measures - on the computation that can be used to train and run neural networks. With these limits in place, AI research and industry can focus on making both narrow and general-purpose AI that humans can understand and control, and from which we can reap enormous benefit. △ Less

Submitted 30 January, 2024; v1 submitted 15 November, 2023; originally announced November 2023.

Comments: 25 pages, revised version including new figure and table

Modeling the Past Hypothesis: A Mechanical Cosmology

Authors: Jordan Scharnhorst, Anthony Aguirre

Abstract: There is a paradox in the standard model of cosmology. How can matter in the early universe have been in thermal equilibrium, indicating maximum entropy, but the initial state also have been low entropy (the "past hypothesis"), so as to underpin the second law of thermodynamics? The problem has been highly contested, with the only consensus being that gravity plays a role in the story, but with th… ▽ More There is a paradox in the standard model of cosmology. How can matter in the early universe have been in thermal equilibrium, indicating maximum entropy, but the initial state also have been low entropy (the "past hypothesis"), so as to underpin the second law of thermodynamics? The problem has been highly contested, with the only consensus being that gravity plays a role in the story, but with the exact mechanism undecided. In this paper, we construct a well-defined mechanical model to study this paradox. We show how it reproduces the salient features of standard big-bang cosmology with surprising success, and we use it to produce novel results on the statistical mechanics of a gas in an expanding universe. We conclude with a discussion of potential uses of the model, including the explicit computation of the time-dependent coarse-grained entropies needed to investigate the past hypothesis. △ Less

Submitted 9 October, 2023; v1 submitted 15 September, 2023; originally announced September 2023.

Comments: 13 pages, 11 figures

ACoRe: Automated Goal-Conflict Resolution

Authors: Luiz Carvalho, Renzo Degiovanni, Matìas Brizzio, Maxime Cordy, Nazareno Aguirre, Yves Le Traon, Mike Papadakis

Abstract: System goals are the statements that, in the context of software requirements specification, capture how the software should behave. Many times, the understanding of stakeholders on what the system should do, as captured in the goals, can lead to different problems, from clearly contradicting goals, to more subtle situations in which the satisfaction of some goals inhibits the satisfaction of othe… ▽ More System goals are the statements that, in the context of software requirements specification, capture how the software should behave. Many times, the understanding of stakeholders on what the system should do, as captured in the goals, can lead to different problems, from clearly contradicting goals, to more subtle situations in which the satisfaction of some goals inhibits the satisfaction of others. These latter issues, called goal divergences, are the subject of goal conflict analysis, which consists of identifying, assessing, and resolving divergences, as part of a more general activity known as goal refinement. While there exist techniques that, when requirements are expressed formally, can automatically identify and assess goal conflicts, there is currently no automated approach to support engineers in resolving identified divergences. In this paper, we present ACoRe, the first approach that automatically proposes potential resolutions to goal conflicts, in requirements specifications formally captured using linear-time temporal logic. ACoRe systematically explores syntactic modifications of the conflicting specifications, aiming at obtaining resolutions that disable previously identified conflicts, while preserving specification consistency. ACoRe integrates modern multi-objective search algorithms (in particular, NSGA-III, WBGA, and AMOSA) to produce resolutions that maintain coherence with the original conflicting specification, by searching for specifications that are either syntactically or semantically similar to the original specification. We assess ACoRe on 25 requirements specifications taken from the literature. We show that ACoRe can successfully produce various conflict resolutions for each of the analyzed case studies, including resolutions that resemble specification repairs manually provided as part of conflict analyses. △ Less

Submitted 9 March, 2023; originally announced March 2023.

Specification Inference for Evolving Systems

Authors: Renzo Degiovanni, Facundo Molina, Agustin Nolasco, Nazareno Aguirre, Mike Papadakis

Abstract: In this paper, we propose an assertion-based approach to capture software evolution, through the notion of commit-relevant specification. A commit-relevant specification summarises the program properties that have changed as a consequence of a commit (understood as a specific software modification), via two sets of assertions, the delta-added assertions, properties that did not hold in the pre-com… ▽ More In this paper, we propose an assertion-based approach to capture software evolution, through the notion of commit-relevant specification. A commit-relevant specification summarises the program properties that have changed as a consequence of a commit (understood as a specific software modification), via two sets of assertions, the delta-added assertions, properties that did not hold in the pre-commit version but hold on the post-commit, and the delta-removed assertions, those that were valid in the pre-commit, but no longer hold after the code change. We also present DeltaSpec, an approach that combines test generation and dynamic specification inference to automatically compute commit-relevant specifications from given commits. We evaluate DeltaSpec on two datasets that include a total of 57 commits (63 classes and 797 methods). We show that commit-relevant assertions can precisely describe the semantic deltas of code changes, providing a useful mechanism for validating the behavioural evolution of software. We also show that DeltaSpec can infer 88% of the manually written commit-relevant assertions expressible in the language supported by the tool. Moreover, our experiments demonstrate that DeltaSpec's inferred assertions are effective to detect regression faults. More precisely, we show that commit-relevant assertions can detect, on average, 78.3% of the artificially seeded faults that interact with the code changes. We also show that assertions in the delta are 58.3% more effective in detecting commit-relevant mutants than assertions outside the delta, and that it takes on average 169% fewer assertions when these are commit-relevant, compared to using general valid assertions, to achieve a same commit-relevant mutation score. △ Less

Submitted 29 January, 2023; originally announced January 2023.

Assertion Inferring Mutants

Authors: Aayush Garg, Renzo Degiovanni, Facundo Molina, Mike Papadakis, Nazareno Aguirre, Maxime Cordy, Yves Le Traon

Abstract: Specification inference techniques aim at (automatically) inferring a set of assertions that capture the exhibited software behaviour by generating and filtering assertions through dynamic test executions and mutation testing. Although powerful, such techniques are computationally expensive due to a large number of assertions, test cases and mutated versions that need to be executed. To overcome t… ▽ More Specification inference techniques aim at (automatically) inferring a set of assertions that capture the exhibited software behaviour by generating and filtering assertions through dynamic test executions and mutation testing. Although powerful, such techniques are computationally expensive due to a large number of assertions, test cases and mutated versions that need to be executed. To overcome this issue, we demonstrate that a small subset, i.e., 12.95% of the mutants used by mutation testing tools is sufficient for assertion inference, this subset is significantly different, i.e., 71.59% different from the subsuming mutant set that is frequently cited by mutation testing literature, and can be statically approximated through a learning based method. In particular, we propose AIMS, an approach that selects Assertion Inferring Mutants, i.e., a set of mutants that are well-suited for assertion inference, with 0.58 MCC, 0.79 Precision, and 0.49 Recall. We evaluate AIMS on 46 programs and demonstrate that it has comparable inference capabilities with full mutation analysis (misses 12.49% of assertions) while significantly limiting execution cost (runs 46.29 times faster). A comparison with randomly selected sets of mutants, shows the superiority of AIMS by inferring 36% more assertions while requiring approximately equal amount of execution time. We also show that AIMS 's inferring capabilities are almost complete as it infers 96.15% of ground truth assertions, (i.e., a complete set of assertions that were manually constructed) while Random Mutant Selection infers 19.23% of them. More importantly, AIMS enables assertion inference techniques to scale on subjects where full mutation testing is prohibitively expensive and Random Mutant Selection does not lead to any assertion. △ Less

Submitted 28 January, 2023; originally announced January 2023.

Fuzzing Class Specifications

Authors: Facundo Molina, Marcelo d'Amorim, Nazareno Aguirre

Abstract: Expressing class specifications via executable constraints is important for various software engineering tasks such as test generation, bug finding and automated debugging, but developers rarely write them. Techniques that infer specifications from code exist to fill this gap, but they are designed to support specific kinds of assertions and are difficult to adapt to support different assertion la… ▽ More Expressing class specifications via executable constraints is important for various software engineering tasks such as test generation, bug finding and automated debugging, but developers rarely write them. Techniques that infer specifications from code exist to fill this gap, but they are designed to support specific kinds of assertions and are difficult to adapt to support different assertion languages, e.g., to add support for quantification, or additional comparison operators, such as membership or containment. To address the above issue, we present SpecFuzzer, a novel technique that combines grammar-based fuzzing, dynamic invariant detection, and mutation analysis, to automatically produce class specifications. SpecFuzzer uses: (i) a fuzzer as a generator of candidate assertions derived from a grammar that is automatically obtained from the class definition; (ii) a dynamic invariant detector -- Daikon -- to filter out assertions invalidated by a test suite; and (iii) a mutation-based mechanism to cluster and rank assertions, so that similar constraints are grouped and then the stronger prioritized. Grammar-based fuzzing enables SpecFuzzer to be straightforwardly adapted to support different specification languages, by manipulating the fuzzing grammar, e.g., to include additional operators. We evaluate our technique on a benchmark of 43 Java methods employed in the evaluation of the state-of-the-art techniques GAssert and EvoSpex. Our results show that SpecFuzzer can easily support a more expressive assertion language, over which is more effective than GAssert and EvoSpex in inferring specifications, according to standard performance metrics. △ Less

Submitted 26 January, 2022; originally announced January 2022.

Automated Repair of Unrealisable LTL Specifications Guided by Model Counting

Authors: Matías Brizzio, Maxime Cordy, Mike Papadakis, César Sánchez, Nazareno Aguirre, Renzo Degiovanni

Abstract: The reactive synthesis problem consists of automatically producing correct-by-construction operational models of systems from high-level formal specifications of their behaviours. However, specifications are often unrealisable, meaning that no system can be synthesised from the specification. To deal with this problem, we present AuRUS, a search-based approach to repair unrealisable Linear-Time Te… ▽ More The reactive synthesis problem consists of automatically producing correct-by-construction operational models of systems from high-level formal specifications of their behaviours. However, specifications are often unrealisable, meaning that no system can be synthesised from the specification. To deal with this problem, we present AuRUS, a search-based approach to repair unrealisable Linear-Time Temporal Logic (LTL) specifications. AuRUS aims at generating solutions that are similar to the original specifications by using the notions of syntactic and semantic similarities. Intuitively, the syntactic similarity measures the text similarity between the specifications, while the semantic similarity measures the number of behaviours preserved/removed by the candidate repair. We propose a new heuristic based on model counting to approximate semantic similarity. We empirically assess AuRUS on many unrealisable specifications taken from different benchmarks and show that it can successfully repair all of them. Also, compared to related techniques, AuRUS can produce many unique solutions while showing more scalability. △ Less

Submitted 14 April, 2023; v1 submitted 26 May, 2021; originally announced May 2021.

Bounded Exhaustive Search of Alloy Specification Repairs

Authors: Simón Gutiérrez Brida, Germán Regis, Guolong Zhengz, Hamid Bagheriz, ThanhVu Nguyenz, Nazareno Aguirre, Marcelo Frias

Abstract: The rising popularity of declarative languages and the hard to debug nature thereof have motivated the need for applicable, automated repair techniques for such languages. However, despite significant advances in the program repair of imperative languages, there is a dearth of repair techniques for declarative languages. This paper presents BeAFix, an automated repair technique for faulty models w… ▽ More The rising popularity of declarative languages and the hard to debug nature thereof have motivated the need for applicable, automated repair techniques for such languages. However, despite significant advances in the program repair of imperative languages, there is a dearth of repair techniques for declarative languages. This paper presents BeAFix, an automated repair technique for faulty models written in Alloy, a declarative language based on first-order relational logic. BeAFix is backed with a novel strategy for bounded exhaustive, yet scalable, exploration of the spaces of fix candidates and a formally rigorous, sound pruning of such spaces. Moreover, different from the state-of-the-art in Alloy automated repair, that relies on the availability of unit tests, BeAFix does not require tests and can work with assertions that are naturally used in formal declarative languages. Our experience with using BeAFix to repair thousands of realworld faulty models, collected by other researchers, corroborates its ability to effectively generate correct repairs and outperform the state-of-the-art. △ Less

Submitted 27 February, 2021; originally announced March 2021.

Comments: 13 pages, ICSE 2021

EvoSpex: An Evolutionary Algorithm for Learning Postconditions

Authors: Facundo Molina, Pablo Ponzio, Nazareno Aguirre, Marcelo Frias

Abstract: Software reliability is a primary concern in the construction of software, and thus a fundamental component in the definition of software quality. Analyzing software reliability requires a specification of the intended behavior of the software under analysis, and at the source code level, such specifications typically take the form of assertions. Unfortunately, software many times lacks such speci… ▽ More Software reliability is a primary concern in the construction of software, and thus a fundamental component in the definition of software quality. Analyzing software reliability requires a specification of the intended behavior of the software under analysis, and at the source code level, such specifications typically take the form of assertions. Unfortunately, software many times lacks such specifications, or only provides them for scenario-specific behaviors, as assertions accompanying tests. This issue seriously diminishes the analyzability of software with respect to its reliability. In this paper, we tackle this problem by proposing a technique that, given a Java method, automatically produces a specification of the method's current behavior, in the form of postcondition assertions. This mechanism is based on generating executions of the method under analysis to obtain valid pre/post state pairs, mutating these pairs to obtain (allegedly) invalid ones, and then using a genetic algorithm to produce an assertion that is satisfied by the valid pre/post pairs, while leaving out the invalid ones. The technique, which targets in particular methods of reference-based class implementations, is assessed on a benchmark of open source Java projects, showing that our genetic algorithm is able to generate post-conditions that are stronger and more accurate, than those generated by related automated approaches, as evaluated by an automated oracle assessment tool. Moreover, our technique is also able to infer an important part of manually written rich postconditions in verified classes, and reproduce contracts for methods whose class implementations were automatically synthesized from specifications. △ Less

Submitted 1 March, 2021; v1 submitted 26 February, 2021; originally announced February 2021.

FLACK: Counterexample-Guided Fault Localization for Alloy Models

Authors: Guolong Zheng, ThanhVu Nguyen, Simón Gutiérrez Brida, Germán Regis, Marcelo F. Frias, Nazareno Aguirre, Hamid Bagheri

Abstract: Fault localization is a practical research topic that helps developers identify code locations that might cause bugs in a program. Most existing fault localization techniques are designed for imperative programs (e.g., C and Java) and rely on analyzing correct and incorrect executions of the program to identify suspicious statements. In this work, we introduce a fault localization approach for mod… ▽ More Fault localization is a practical research topic that helps developers identify code locations that might cause bugs in a program. Most existing fault localization techniques are designed for imperative programs (e.g., C and Java) and rely on analyzing correct and incorrect executions of the program to identify suspicious statements. In this work, we introduce a fault localization approach for models written in a declarative language, where the models are not "executed," but rather converted into a logical formula and solved using backend constraint solvers. We present FLACK, a tool that takes as input an Alloy model consisting of some violated assertion and returns a ranked list of suspicious expressions contributing to the assertion violation. The key idea is to analyze the differences between counterexamples, i.e., instances of the model that do not satisfy the assertion, and instances that do satisfy the assertion to find suspicious expressions in the input model. The experimental results show that FLACK is efficient (can handle complex, real-world Alloy models with thousand lines of code within 5 seconds), accurate (can consistently rank buggy expressions in the top 1.9\% of the suspicious list), and useful (can often narrow down the error to the exact location within the suspicious expressions). △ Less

Submitted 19 February, 2021; originally announced February 2021.

Dissociation dynamics of the diamondoid adamantane upon photoionization by XUV femtosecond pulses

Authors: Sylvain Maclot, Jan Lahl, Jasper Peschel, Hampus Wikmark, Piotr Rudawski, Fabian Brunner, Hélène Coudert-Alteirac, Suvasthika Indrajith, Bernd A. Huber, Sergio Díaz-Tendero, Néstor F. Aguirre, Patrick Rousseau, Per Johnsson

Abstract: This work presents a photodissociation study of the diamondoid adamantane using extreme ultraviolet femtosecond pulses. The fragmentation dynamics of the dication is unraveled by the use of advanced ion and electron spectroscopy giving access to the dissociation channels as well as their energetics. To get insight into the fragmentation dynamics, we use a theoretical approach combining potential e… ▽ More This work presents a photodissociation study of the diamondoid adamantane using extreme ultraviolet femtosecond pulses. The fragmentation dynamics of the dication is unraveled by the use of advanced ion and electron spectroscopy giving access to the dissociation channels as well as their energetics. To get insight into the fragmentation dynamics, we use a theoretical approach combining potential energy surface determination, statistical fragmentation methods and molecular dynamics simulations. We demonstrate that the dissociation dynamics of adamantane dications takes place in a two-step process: barrierless cage opening followed by Coulomb repulsion-driven fragmentation. △ Less

Submitted 10 January, 2020; originally announced January 2020.

Comments: 13 pages, 10 figures, submitted to Scientific Reports

Journal ref: Scientific Report 10 2884 (2020)

Stryker: Scaling Specification-Based Program Repair by Pruning Infeasible Mutants with SAT

Authors: Luciano Zemín, Simón Gutiérrez Brida, Santiago Bermúdez, Santiago Perez De Rosso, Nazareno Aguirre, Ali Mili, Ali Jaoua, Marcelo F. Frias

Abstract: Many techniques for automated program repair involve syntactic program transformations. Applying combinations of such transformations on faulty code yields fix candidates whose correctness must be determined. Exploring these combinations leads to an explosion on the number of generated fix candidates that severely limits the applicability of such fault repair techniques. This explosion is most tim… ▽ More Many techniques for automated program repair involve syntactic program transformations. Applying combinations of such transformations on faulty code yields fix candidates whose correctness must be determined. Exploring these combinations leads to an explosion on the number of generated fix candidates that severely limits the applicability of such fault repair techniques. This explosion is most times tamed by not considering fix candidates exhaustively, and by disabling intra-statement modifications. In this article we present a technique for program repair that considers an ample set of intra-statement syntactic operations, and explores fix candidates exhaustively up to a provided bound. The suitability of the technique, implemented in our tool Stryker, is supported by a novel mechanism to detect and prune infeasible fix candidates. This allows Stryker to repair programs with several bugs, whose fixes require multiple modifications. We evaluate our technique on a benchmark of faulty Java container classes, which Stryker is able to repair, pruning significant parts of the space of generated candidates when more than one bug is present in the code. △ Less

Submitted 30 October, 2019; originally announced October 2019.

MSC Class: 68Q60

$p$-harmonic functions in $\mathbb{R}^N_+$ with nonlinear Neumann boundary conditions and measure data

Authors: Natham Aguirre

Abstract: We propose and study a concept of renormalized solution to the problem $Δ_p u=0$ in $\mathbb{R}^N_+$, $|\nabla u|^{p-2}u_ν + g(u) = μ$ on $\partial\mathbb{R}^N_+$, where $1<p\leq N$, $N\geq 2$, $\mathbb{R}^N_+=\left\lbrace(x',x_N):x'\in\mathbb{R}^{N-1}, x_N>0\right\rbrace $, $u_ν$ is the normal derivative of $u$, $μ$ is a bounded Radon measure, and $g:\mathbb{R}\rightarrow\mathbb{R}$ is a nonlinea… ▽ More We propose and study a concept of renormalized solution to the problem $Δ_p u=0$ in $\mathbb{R}^N_+$, $|\nabla u|^{p-2}u_ν + g(u) = μ$ on $\partial\mathbb{R}^N_+$, where $1<p\leq N$, $N\geq 2$, $\mathbb{R}^N_+=\left\lbrace(x',x_N):x'\in\mathbb{R}^{N-1}, x_N>0\right\rbrace $, $u_ν$ is the normal derivative of $u$, $μ$ is a bounded Radon measure, and $g:\mathbb{R}\rightarrow\mathbb{R}$ is a nonlinear term. We develop stability results and, using the symmetry of the domain, apriori estimates on hyperplanes, and potential methods, we obtain several existence results. In particular, we show existence of solutions for problems with nonlinear terms of the absorption type in both subcritical and supercritical cases. Regarding the problem with source, we study the power nonlinearity $g(u)=-u^q$, showing existence in the supercritical case, and nonexistence in the subcritical one. We also give a characterization of removable sets when $μ\equiv 0$ and $g(u)=-u^q$ in the supercritical case. We remark that this work is motivated by similar results obtained for the problem $-Δ_p u + g(x,u)=μ$ in bounded domains. △ Less

Submitted 3 January, 2019; originally announced January 2019.

Comments: PhD Thesis, 148 pages, 1 figure, main body in English

Quantum coarse-grained entropy and thermodynamics

Authors: Dominik Šafránek, J. M. Deutsch, Anthony Aguirre

Abstract: We extend classical coarse-grained entropy, commonly used in many branches of physics, to the quantum realm. We find two coarse-grainings, one using measurements of local particle numbers and then total energy, and the second using local energy measurements, which lead to an entropy that is defined outside of equilibrium, is in accord with the thermodynamic entropy for equilibrium systems, and rea… ▽ More We extend classical coarse-grained entropy, commonly used in many branches of physics, to the quantum realm. We find two coarse-grainings, one using measurements of local particle numbers and then total energy, and the second using local energy measurements, which lead to an entropy that is defined outside of equilibrium, is in accord with the thermodynamic entropy for equilibrium systems, and reaches the thermodynamic entropy in the long-time limit, even in genuinely isolated quantum systems. This answers the long-standing conceptual problem, as to which entropy is relevant for the formulation of the second thermodynamic law in closed quantum systems. This entropy could be in principle measured, especially now that experiments on such systems are becoming feasible. △ Less

Submitted 15 January, 2019; v1 submitted 31 July, 2017; originally announced July 2017.

Comments: 6 pages, 2 figures, v2: extended motivation, added more detailed interpretation, added more properties, v3: minor changes in references

Journal ref: Phys. Rev. A 99, 010101 (2019)

Tuning High-Harmonic Generation by Controlled Deposition of Ultrathin Ionic Layers on Metal Surfaces

Authors: Néstor F. Aguirre, Fernando Martín

Abstract: High harmonic generation (HHG) from semiconductors and insulators has become a very active area of research due to its great potential for develo** compact HHG devices. Here we show that by growing monolayers (ML) of insulators on single-crystal metal surfaces, one can tune the harmonic spectrum by just varying the thickness of the ultrathin layer, not the laser properties. This is shown from nu… ▽ More High harmonic generation (HHG) from semiconductors and insulators has become a very active area of research due to its great potential for develo** compact HHG devices. Here we show that by growing monolayers (ML) of insulators on single-crystal metal surfaces, one can tune the harmonic spectrum by just varying the thickness of the ultrathin layer, not the laser properties. This is shown from numerical solutions of the time-dependent Schrödinger equation for $n$ML NaCl/Cu(111) systems ($n=1-50$) based on realistic potentials available in the literature. Remarkably, the harmonic cutoff increases linearly with $n$ and as much as an order of magnitude when going from $n$ $=$ 1 to 30, while kee** the laser intensity low and the wavelength in the near-infrared range. Furthermore, the degree of control that can be achieved in this way is much higher than by varying the laser intensity. The origin of this behavior is the reduction of electronic "friction" when moving from the essentially discrete energy spectrum associated with a few-ML system to the continuous energy spectrum (bands) inherent to an extended periodic system. △ Less

Submitted 25 April, 2016; originally announced April 2016.

Comments: 6 pages, 4 figures

Journal ref: Phys. Rev. B 94, 245423 (2016)

Proceedings First Latin American Workshop on Formal Methods

Authors: Nazareno Aguirre, Leila Ribeiro

Abstract: Formal approaches to software development are techniques that aim at develo** quality software by employing notations, analysis processes, etc., based on mathematical grounds. Although traditionally they aim at increasing software correctness, formal techniques have been applied to various other aspects of software quality. Moreover, while originally formal methods employed complex "heavyweight"… ▽ More Formal approaches to software development are techniques that aim at develo** quality software by employing notations, analysis processes, etc., based on mathematical grounds. Although traditionally they aim at increasing software correctness, formal techniques have been applied to various other aspects of software quality. Moreover, while originally formal methods employed complex "heavyweight" mechanisms for analysis (often manual or semi automated), there has been progress towards embracing "lightweight", many times fully automated, analysis techniques, that broaden the adoption of formal methods in various software engineering contexts. The Latin American Workshop on Formal Methods brings together researchers working in formal methods, and related areas such as automated analysis. In particular, the workshop provides a venue for Latin American researchers working in these areas, to promote their interaction and collaboration. The workshop was held in August as a satellite event of CONCUR 2013. It took place in Buenos Aires, Argentina's capital and largest city, and one of the most interesting cultural places in South America. △ Less

Submitted 2 January, 2014; originally announced January 2014.

Journal ref: EPTCS 139, 2014

An agent based multi-optional model for the diffusion of innovations

Authors: Carlos E. Laciana, Nicolas Oteiza Aguirre

Abstract: We propose a model for the diffusion of several products competing in a common market based on the generalization of the Ising model of statiscal mechanics (Potts model). Using an agent based implementation, we analyze two problems: (i) a three options case, i.e. to adopt a product A, a product B, or non-adoption and (ii) a four options case, i.e. the adoption of product A, product B, both, or non… ▽ More We propose a model for the diffusion of several products competing in a common market based on the generalization of the Ising model of statiscal mechanics (Potts model). Using an agent based implementation, we analyze two problems: (i) a three options case, i.e. to adopt a product A, a product B, or non-adoption and (ii) a four options case, i.e. the adoption of product A, product B, both, or none. In the first case we analyze a launching strategy for one of the two products, which delays its launching with the objective of competing with improvements. Market shares reached by each product are then estimated at market saturation. Finally, simulations are carried out with varying degrees of social network topology, uncertainty, and population homogeneity. △ Less

Submitted 27 September, 2013; v1 submitted 5 June, 2013; originally announced June 2013.

Comments: This article was accepted for publication at Physica A. Publication Reference: PHYSA-13-139R1

Cosmology, initial conditions, and the measurement problem

Authors: David Layzer

Abstract: The assumption that a complete description of an early state of the universe does not privilege any position or direction in space leads to a unified account of probability in cosmology, macroscopic physics, and quantum mechanics. Such a description has a statistical character. Deterministic laws link it to statistical descriptions of the cosmic medium at later times, and because these laws do not… ▽ More The assumption that a complete description of an early state of the universe does not privilege any position or direction in space leads to a unified account of probability in cosmology, macroscopic physics, and quantum mechanics. Such a description has a statistical character. Deterministic laws link it to statistical descriptions of the cosmic medium at later times, and because these laws do not privilege any position or direction in space, the same must be true of these descriptions. If the universe is infinite, we can identify the probability that the energy density at a particular instant and a particular point in space (relative to a system of spacetime coordinates in which the postulated spatial symmetries are manifest) lies in a given range with the fractional volume occupied by points where the energy density lies in this range; and similarly with all other probabilities that figure in the statistical description. The probabilities that figure in a complete description of the cosmic medium at any given moment thus have an exact and objective physical interpretation. The statistical entropy and the information associated with each cosmological probability distribution are likewise objective properties of the universe, defined in terms of relative frequencies or spatial averages. △ Less

Submitted 6 August, 2010; originally announced August 2010.

Comments: 42 pages, no figures

Born in an Infinite Universe: a Cosmological Interpretation of Quantum Mechanics

Authors: Anthony Aguirre, Max Tegmark

Abstract: We study the quantum measurement problem in the context of an infinite, statistically uniform space, as could be generated by eternal inflation. It has recently been argued that when identical copies of a quantum measurement system exist, the standard projection operators and Born rule method for calculating probabilities must be supplemented by estimates of relative frequencies of observers. We a… ▽ More We study the quantum measurement problem in the context of an infinite, statistically uniform space, as could be generated by eternal inflation. It has recently been argued that when identical copies of a quantum measurement system exist, the standard projection operators and Born rule method for calculating probabilities must be supplemented by estimates of relative frequencies of observers. We argue that an infinite space actually renders the Born rule redundant, by physically realizing all outcomes of a quantum measurement in different regions, with relative frequencies given by the square of the wave function amplitudes. Our formal argument hinges on properties of what we term the quantum confusion operator, which projects onto the Hilbert subspace where the Born rule fails, and we comment on its relation to the oft-discussed quantum frequency operator. This analysis unifies the classical and quantum levels of parallel universes that have been discussed in the literature, and has implications for several issues in quantum measurement theory. It also shows how, even for a single measurement, probabilities may be interpreted as relative frequencies in unitary (Everettian) quantum mechanics. We also argue that after discarding a zero-norm part of the wavefunction, the remainder consists of a superposition of indistinguishable terms, so that arguably "collapse" of the wavefunction is irrelevant, and the "many worlds" of Everett's interpretation are unified into one. Finally, the analysis suggests a "cosmological interpretation" of quantum theory in which the wave function describes the actual spatial collection of identical quantum systems, and quantum uncertainty is attributable to the observer's inability to self-locate in this collection. △ Less

Submitted 12 June, 2012; v1 submitted 5 August, 2010; originally announced August 2010.

Comments: 17 pages, 2 figures; revised version to match published version, including authorship change. Abstract is abridged

Journal ref: Phys.Rev. D84 (2011) 105002

Runaway dilatonic domain walls

Authors: Anthony Aguirre, Matthew C Johnson, Magdalena Larfors

Abstract: We explore the stability of domain wall and bubble solutions in theories with compact extra dimensions. The energy density stored inside of the wall can destabilize the volume modulus of a compactification, leading to solutions containing either a timelike singularity or a region where space decompactifies, depending on the metric ansatz. We determine the structure of such solutions both analyti… ▽ More We explore the stability of domain wall and bubble solutions in theories with compact extra dimensions. The energy density stored inside of the wall can destabilize the volume modulus of a compactification, leading to solutions containing either a timelike singularity or a region where space decompactifies, depending on the metric ansatz. We determine the structure of such solutions both analytically and using numerical simulations, and analyze how they arise in compactifications of Einstein--Maxwell theory and Type IIB string theory. The existence of instabilities has important implications for the formation of networks of topological defects and the population of vacua during eternal inflation. △ Less

Submitted 17 February, 2010; v1 submitted 23 November, 2009; originally announced November 2009.

Comments: 29 pages with 19 figures. Replaced to match published version

Report number: CALT-68.276, LMU-ASC 54/09

Journal ref: Phys.Rev.D81:043527,2010

A status report on the observability of cosmic bubble collisions

Authors: Anthony Aguirre, Matthew C. Johnson

Abstract: In the picture of eternal inflation as driven by a scalar potential with multiple minima, our observable universe resides inside one of many bubbles formed from transitions out of a false vacuum. These bubbles necessarily collide, upsetting the homogeneity and isotropy of our bubble interior, and possibly leading to detectable signatures in the observable portion of our bubble, potentially in th… ▽ More In the picture of eternal inflation as driven by a scalar potential with multiple minima, our observable universe resides inside one of many bubbles formed from transitions out of a false vacuum. These bubbles necessarily collide, upsetting the homogeneity and isotropy of our bubble interior, and possibly leading to detectable signatures in the observable portion of our bubble, potentially in the Cosmic Microwave Background or other precision cosmological probes. This constitutes a direct experimental test of eternal inflation and the landscape of string theory vacua. Assessing this possibility roughly splits into answering three questions: What happens in a generic bubble collision? What observational effects might be expected? How likely are we to observe a collision? In this review we report the current progress on each of these questions, improve upon a few of the existing results, and attempt to lay out directions for future work. △ Less

Submitted 21 September, 2009; v1 submitted 27 August, 2009; originally announced August 2009.

Comments: Review article; comments very welcome. 24 pages + 4 appendices; 19 color figures. (Revised version adds two figures, minor edits.)

Journal ref: Rept.Prog.Phys.74:074901,2011

Surviving the crash: assessing the aftermath of cosmic bubble collisions

Authors: Anthony Aguirre, Matthew C Johnson, Martin Tysanner

Abstract: This paper is the third in a series investigating the possibility that if we reside in an inflationary "bubble universe", we might observe the effects of collisions with other such bubbles. Here, we study the interior structure of a bubble collision spacetime, focusing on the issue of where observers can reside. Numerical simulations indicate that if the inter-bubble domain wall accelerates away… ▽ More This paper is the third in a series investigating the possibility that if we reside in an inflationary "bubble universe", we might observe the effects of collisions with other such bubbles. Here, we study the interior structure of a bubble collision spacetime, focusing on the issue of where observers can reside. Numerical simulations indicate that if the inter-bubble domain wall accelerates away, infinite spacelike surfaces of homogeneity develop to the future of the collision; this strongly suggests that observers can have collisions to their past, and previous results then imply that this is very likely. However, for observers at nearly all locations, the restoration of homogeneity relegates any observable effects to a vanishingly small region on the sky. We find that bubble collisions may also play an important role in defining measures in inflation: a potentially infinite relative volume factor arises between two bubble types depending on the sign of the acceleration of the domain wall between them; this may in turn correlate with observables such as the scale or type of inflation. △ Less

Submitted 16 December, 2008; v1 submitted 6 November, 2008; originally announced November 2008.

Comments: 19 pages with 13 embedded figures. Improved discussion of the implications for observability and the measure, added references

Report number: CALT-68.2707

Journal ref: Phys.Rev.D79:123514,2009

Towards observable signatures of other bubble universes II: Exact solutions for thin-wall bubble collisions

Authors: Anthony Aguirre, Matthew C Johnson

Abstract: We assess the effects of a collision between two vacuum bubbles in the thin-wall limit. After describing the outcome of a generic collision possessing the expected hyperbolic symmetry, we focus on collisions experienced by a bubble containing positive vacuum energy, which could in principle contain our observable universe. We provide criteria governing whether the post-collision domain wall acce… ▽ More We assess the effects of a collision between two vacuum bubbles in the thin-wall limit. After describing the outcome of a generic collision possessing the expected hyperbolic symmetry, we focus on collisions experienced by a bubble containing positive vacuum energy, which could in principle contain our observable universe. We provide criteria governing whether the post-collision domain wall accelerates towards or away from this "observation" bubble, and discuss the implications for observers located at various positions inside of the bubble. Then, we identify the class of solutions which have minimal impact on the interior of the observation bubble, and derive a simple formula for the energy density of a shell of radiation emitted from such a collision. In the context of a universe undergoing false vacuum eternal inflation, these solutions are perhaps the most promising candidates for collisions that could exist within our past light cone, and therefore in principle be observable. △ Less

Submitted 22 July, 2008; v1 submitted 18 December, 2007; originally announced December 2007.

Comments: 18 PRD-style pages, 12 figures. Added appendix on the expected number of collisions, added references, minor correction to Appendix C, conclusions unchanged. Replaced to match published version

Journal ref: Phys.Rev.D77:123536,2008

Metallicity of the intergalactic medium using pixel statistics: IV. Oxygen

Authors: Anthony Aguirre, Corey Dow-Hygelund, Joop Schaye, Tom Theuns

Abstract: We have studied the abundance of oxygen in the IGM by analyzing OVI, CIV, SiIV, and HI pixel optical depths derived from a set of high-quality VLT and Keck spectra of 17 QSOs at 2.1 < z < 3.6. Comparing OVI and CIV optical depth ratios to those in realistic, synthetic spectra drawn from a hydrodynamical simulation and comparing to existing constraints on [Si/C] places strong constraints on the u… ▽ More We have studied the abundance of oxygen in the IGM by analyzing OVI, CIV, SiIV, and HI pixel optical depths derived from a set of high-quality VLT and Keck spectra of 17 QSOs at 2.1 < z < 3.6. Comparing OVI and CIV optical depth ratios to those in realistic, synthetic spectra drawn from a hydrodynamical simulation and comparing to existing constraints on [Si/C] places strong constraints on the ultraviolet background (UVB) model using weak priors on allowed values of [Si/O]: for example, a quasar-only background yields [Si/O] ~ 1.4, highly inconsistent with the [Si/O] ~ 0 expected from nucleosynthetic yields and with observations of metal-poor stars. Assuming a fiducial quasar+galaxy UVB consistent with these constraints yields a primary result that [O/C] = 0.66 +/- 0.06 +/- 0.2; this result pertains to gas with overdensity >~ 0.2. Consistent results are obtained by similarly comparing OVI to HI or OVI to SiIV optical depth ratios to simulation values, and also by directly ionization-correcting OVI optical depths as function of HI optical depths into [O/H] as a function of density. Subdividing the sample reveals no evidence for evolution, but low- and high-density samples are inconsistent, suggesting either density-dependence of [O/C] or -- more likely -- prevalence of collisionally-ionized gas at high density. △ Less

Submitted 21 July, 2008; v1 submitted 7 December, 2007; originally announced December 2007.

Comments: 13 ApJ-style pages, 11 color figures, minor revisions to match version accepted by ApJ

Eternal Inflation, past and future

Authors: Anthony Aguirre

Abstract: Cosmological inflation, if it occurred, radically alters the picture of the `big bang', which would merely point to reheating at the end of inflation. Moreover, this reheating may be only local, so that inflation continues elsewhere and forever, continually spawning big-bang-like regions. This chapter reviews this idea of `eternal inflation', then focuses on what this may mean for the ultimate b… ▽ More Cosmological inflation, if it occurred, radically alters the picture of the `big bang', which would merely point to reheating at the end of inflation. Moreover, this reheating may be only local, so that inflation continues elsewhere and forever, continually spawning big-bang-like regions. This chapter reviews this idea of `eternal inflation', then focuses on what this may mean for the ultimate beginning of the universe. In particular, I will argue that given eternal inflation, the universe may be free of a cosmological initial singularity, might be eternal (and eternally inflating) to the past, and might obey an interesting sort of cosmological time-symmetry. △ Less

Submitted 4 December, 2007; originally announced December 2007.

Comments: 38 pp., 6 color figures. Contribution to R. Vaas (ed.): Beyond the Big Bang. Springer 2008

Measures on transitions for cosmology from eternal inflation

Authors: Anthony Aguirre, Steven Gratton, Matthew C Johnson

Abstract: We argue that in the context of eternal inflation in the landscape, making predictions for cosmological -- and possibly particle physics -- observables requires a measure on the possible cosmological histories as opposed to one on the vacua themselves. If significant slow-roll inflation occurs, the observables are generally determined by the history after the last transition between metastable v… ▽ More We argue that in the context of eternal inflation in the landscape, making predictions for cosmological -- and possibly particle physics -- observables requires a measure on the possible cosmological histories as opposed to one on the vacua themselves. If significant slow-roll inflation occurs, the observables are generally determined by the history after the last transition between metastable vacua. Hence we start from several existing measures for counting vacua and develop measures for counting the transitions between vacua. △ Less

Submitted 4 May, 2007; v1 submitted 19 December, 2006; originally announced December 2006.

Comments: 4 pages, 1 figures, accepted to PRL; minor changes to match published version

Journal ref: Phys.Rev.Lett.98:131301,2007

How Did the IGM Become Enriched?

Authors: Anthony Aguirre, Joop Schaye

Abstract: The enrichment of the intergalactic medium with heavy elements is a process that lies at the nexus of poorly-understood aspects of physical cosmology. We review current understanding of the processes that may remove metals from galaxies, the basic predictions of these models, the key observational constraints on enrichment, and how intergalactic enrichment may be used to test cosmological simula… ▽ More The enrichment of the intergalactic medium with heavy elements is a process that lies at the nexus of poorly-understood aspects of physical cosmology. We review current understanding of the processes that may remove metals from galaxies, the basic predictions of these models, the key observational constraints on enrichment, and how intergalactic enrichment may be used to test cosmological simulations. △ Less

Submitted 20 November, 2006; originally announced November 2006.

Comments: 12 pages; To appear in the proceedings of the CRAL-Conference Series I "Chemodynamics: from first stars to local galaxies", Lyon 10-14 July 2006, France, Eds. Emsellem, Wozniak, Massacrier, Gonzalez, Devriendt, Champavert, EAS Publications Series

Two Tunnels to Inflation

Authors: Anthony Aguirre, Matthew C. Johnson

Abstract: We investigate the formation via tunneling of inflating (false-vacuum) bubbles in a true-vacuum background, and the reverse process. Using effective potentials from the junction condition formalism, all true- and false-vacuum bubble solutions with positive interior and exterior cosmological constant, and arbitrary mass are catalogued. We find that tunneling through the same effective potential a… ▽ More We investigate the formation via tunneling of inflating (false-vacuum) bubbles in a true-vacuum background, and the reverse process. Using effective potentials from the junction condition formalism, all true- and false-vacuum bubble solutions with positive interior and exterior cosmological constant, and arbitrary mass are catalogued. We find that tunneling through the same effective potential appears to describe two distinct processes: one in which the initial and final states are separated by a wormhole (the Farhi-Guth-Guven mechanism), and one in which they are either in the same hubble volume or separated by a cosmological horizon. In the zero-mass limit, the first process corresponds to the creation of an inhomogenous universe from nothing, while the second mechanism is equivalent to the nucleation of true- or false-vacuum Coleman-De Luccia bubbles. We compute the probabilities of both mechanisms in the WKB approximation using semi-classical Hamiltonian methods, and find that -- assuming both process are allowed -- neither mechanism dominates in all regimes. △ Less

Submitted 15 June, 2006; v1 submitted 5 December, 2005; originally announced December 2005.

Comments: 16 PRD-style pages, 13 figures. PRD, in press. Revised to match published version

Journal ref: Phys.Rev. D73 (2006) 123529

Dynamics and instability of false vacuum bubbles

Authors: Anthony Aguirre, Matthew C. Johnson

Abstract: This paper examines the classical dynamics of false vacuum regions embedded in surrounding regions of true vacuum, in the thin-wall limit. The dynamics of all generally relativistically allowed solutions -- most but not all of which have been previously studied -- are derived, enumerated, and interpreted. We comment on the relation of these solutions to possible mechanisms whereby inflating regi… ▽ More This paper examines the classical dynamics of false vacuum regions embedded in surrounding regions of true vacuum, in the thin-wall limit. The dynamics of all generally relativistically allowed solutions -- most but not all of which have been previously studied -- are derived, enumerated, and interpreted. We comment on the relation of these solutions to possible mechanisms whereby inflating regions may be spawned from non-inflating ones. We then calculate the dynamics of first order deviations from spherical symmetry, finding that many solutions are unstable to such aspherical perturbations. The parameter space in which the perturbations on bound solutions inevitably become nonlinear is mapped. This instability has consequences for the Farhi-Guth-Guven mechanism for baby universe production via quantum tunneling. △ Less

Submitted 22 November, 2005; v1 submitted 22 August, 2005; originally announced August 2005.

Comments: 16 PRD-style pages including 11 embedded figures; accepted by PRD. Revised version includes new solution, discussion of 'thermal activation', added reference, fixed typos

Journal ref: Phys.Rev. D72 (2005) 103525

On making predictions in a multiverse: conundrums, dangers, and coincidences

Authors: Anthony Aguirre

Abstract: The notion that there are many "universes" with different properties is one answer to the question of "why is the universe so hospitable to life?" This notion also naturally follows from current ideas in eternal inflation and string/M theory. But how do we test such a "multiverse" theory: which of the many universes do we compare to ours? This paper enumerates would would seem to be essential in… ▽ More The notion that there are many "universes" with different properties is one answer to the question of "why is the universe so hospitable to life?" This notion also naturally follows from current ideas in eternal inflation and string/M theory. But how do we test such a "multiverse" theory: which of the many universes do we compare to ours? This paper enumerates would would seem to be essential ingredients for making testable predictions, outlines different strategies one might take within this framework, then discusses some of the difficulties and dangers inherent in these approaches. Finally, I address the issue of whether there may be some general, qualitative predictions that multiverse theories might share. △ Less

Submitted 21 June, 2005; originally announced June 2005.

Comments: 17 pages. Invited article for the book ``Universe or Multiverse?'', ed. B. Carr, to be published by Cambridge University Press (2005)

Observational Tests of Intergalactic Enrichment Models

Authors: Anthony Aguirre, Joop Schaye

Abstract: We summarize recent results assessing the carbon and silicon abundances of the intergalactic medium (IGM) using the `pixel optical depth' technique. We briefly discuss the implications of these results for models of intergalactic enrichment, focusing on distinguishing `early' z >> 4 enrichment by the first generations of stars and objects from `late' enrichment by 2 < z < 5 Ly-break galaxies. We… ▽ More We summarize recent results assessing the carbon and silicon abundances of the intergalactic medium (IGM) using the `pixel optical depth' technique. We briefly discuss the implications of these results for models of intergalactic enrichment, focusing on distinguishing `early' z >> 4 enrichment by the first generations of stars and objects from `late' enrichment by 2 < z < 5 Ly-break galaxies. We then discuss the comparison of observed QSO spectra to simulated spectra generated from cosmological simulations that self-consistently include enrichment, and draw qualitative implications for the general picture of intergalactic enrichment at z > 2. △ Less

Submitted 19 April, 2005; originally announced April 2005.

Comments: 6 pages, to appear in proceedings of IAU 199 conference, "Probing Galaxies through Quasar Absorption Lines," eds. Williams, Shu, Menard

Confronting cosmological simulations with observations of intergalactic metals

Authors: Anthony Aguirre, Joop Schaye, Lars Hernquist, Scott Kay, Volker Springel, Tom Theuns

Abstract: Using the statistics of pixel optical depths, we compare HI, CIV and CIII absorption in a set of six high quality z ~ 3-4 quasar absorption spectra to that in spectra drawn from two different state-of-the-art cosmological simulations that include galactic outflows. We find that the simulations predict far too little CIV absorption unless the UVB is extremely soft, and always predict far too smal… ▽ More Using the statistics of pixel optical depths, we compare HI, CIV and CIII absorption in a set of six high quality z ~ 3-4 quasar absorption spectra to that in spectra drawn from two different state-of-the-art cosmological simulations that include galactic outflows. We find that the simulations predict far too little CIV absorption unless the UVB is extremely soft, and always predict far too small CIII/CIV ratios. We note, however, that much of the enriched gas is in a phase (T ~ 10^5-10^7 K, overdensity ~ 0.1-10, Z >~0.1 Z_sol) that should cool by metal line emission -- which was not included in our simulations. When the effect of cooling is modeled, the predicted CIV absorption increases substantially, but the CIII/CIV ratios are still far too small because the density of the enriched gas is too low. Finally, we find that the predicted metal distribution is much too inhomogeneous to reproduce the observed probability distribution of CIV absorption. These findings suggest that strong z <~ 6 winds cannot fully explain the observed enrichment, and that an additional (perhaps higher-z) contribution is required. △ Less

Submitted 4 January, 2005; v1 submitted 2 November, 2004; originally announced November 2004.

Comments: Accepted by Ap J Lett. 4+ ApJL-style pages with 2 color figures. Minor revisions to match accepted version

Journal ref: Astrophys.J. 620 (2005) L13-L18

Multiple universes, cosmic coincidences, and other dark matters

Authors: Anthony Aguirre, Max Tegmark

Abstract: Even when completely and consistently formulated, a fundamental theory of physics and cosmological boundary conditions may not give unambiguous and unique predictions for the universe we observe; indeed inflation, string/M theory, and quantum cosmology all arguably suggest that we can observe only one member of an ensemble with diverse properties. How, then, can such theories be tested? It has b… ▽ More Even when completely and consistently formulated, a fundamental theory of physics and cosmological boundary conditions may not give unambiguous and unique predictions for the universe we observe; indeed inflation, string/M theory, and quantum cosmology all arguably suggest that we can observe only one member of an ensemble with diverse properties. How, then, can such theories be tested? It has been variously asserted that in a future measurement we should observe the a priori most probable set of predicted properties (the ``bottom-up'' approach), or the most probable set compatible with all current observations (the ``top-down'' approach), or the most probable set consistent with the existence of observers (the ``anthropic'' approach). These inhabit a spectrum of levels of conditionalization and can lead to qualitatively different predictions. For example, in a context in which the densities of various species of dark matter vary among members of an ensemble of otherwise similar regions, from the top-down or anthropic viewpoints -- but not the bottom-up -- it would be natural for us to observe multiple types of dark matter with similar contributions to the observed dark matter density. In the anthropic approach it is also possible in principle to strengthen this argument and the limit the number of likely dark matter sub-components. In both cases the argument may be extendible to dark energy or primordial density perturbations. This implies that the anthropic approach to cosmology, introduced in part to explain "coincidences" between unrelated constituents of our universe, predicts that more, as-yet-unobserved coincidences should come to light. △ Less

Submitted 20 December, 2004; v1 submitted 7 September, 2004; originally announced September 2004.

Comments: 18 JCAP-style pages, accepted by JCAP. Revised version adds references and some clarifications

Journal ref: JCAP 0501:003,2005

Metallicity of the intergalactic medium using pixel statistics: III. Silicon

Authors: Anthony Aguirre, Joop Schaye, Tae-Sun Kim, Tom Theuns, Michael Rauch, Wallace L. W. Sargent

Abstract: (Modified) We study the abundance of silicon in the intergalactic medium by analyzing the statistics of SiIV, CIV, and HI pixel optical depths in a sample of 19 high-quality quasar absorption spectra spanning redshifts z ~ 2 - 4, which we compare to realistic spectra drawn from a hydrodynamical simulation. We find that silicon is highly overabundant relative to carbon and that the scatter in Si/… ▽ More (Modified) We study the abundance of silicon in the intergalactic medium by analyzing the statistics of SiIV, CIV, and HI pixel optical depths in a sample of 19 high-quality quasar absorption spectra spanning redshifts z ~ 2 - 4, which we compare to realistic spectra drawn from a hydrodynamical simulation. We find that silicon is highly overabundant relative to carbon and that the scatter in Si/C is much smaller than that in C/H, implying a common origin for Si and C. The inferred [Si/C] depends upon the shape of the UV background (UVB) (harder backgrounds leading to higher [Si/C]), ranging from [Si/C] ~ 1.5 for a quasar-only UVB, to [Si/C] ~ 0.25 for a UVB including both galaxies and an artificial softening. For our fiducial UVB, which includes both quasars and galaxies, we find [Si/C]=0.77 +/- 0.05, with a possible systematic error of ~ 0.1 dex. There is no evidence for evolution in [Si/C] and the data are inconsistent with previous claims of a sharp change in the SiIV/CIV ratio (or the UVB) at z ~ 3. Comparisons with low-metallicity halo stars and nucleosynthetic yields suggest that either our fiducial UVB is too hard or that supermassive Pop III stars might have to be included. The inferred [Si/C] corresponds to a contribution to the cosmic Si abundance of [Si/H] = -2.0, a significant fraction of all Si production expected by z ~ 3. △ Less

Submitted 13 January, 2004; v1 submitted 22 October, 2003; originally announced October 2003.

Comments: 13 pages, 8 figures. Accepted by ApJ. Revised version with minor corrections to match proofed published article

Journal ref: Astrophys.J. 602 (2004) 38-50

Alternatives to Dark Matter (?)

Authors: Anthony Aguirre

Abstract: It has long been known that Newtonian dynamics applied to the visible matter in galaxies and clusters does not correctly describe the dynamics of those systems. While this is generally taken as evidence for dark matter it is in principle possible that instead Newtonian dynamics (and with it General Relativity) breaks down in these systems. Indeed there have been a number of proposals as to how s… ▽ More It has long been known that Newtonian dynamics applied to the visible matter in galaxies and clusters does not correctly describe the dynamics of those systems. While this is generally taken as evidence for dark matter it is in principle possible that instead Newtonian dynamics (and with it General Relativity) breaks down in these systems. Indeed there have been a number of proposals as to how standard gravitational dynamics might be modified so as to correctly explain galactic dynamics without dark matter. I will review this general idea (but focus on ``MOdified Newtonian Dynamics'', or ``MOND''), and discuss a number of ways alternatives to dark matter can be tested and (in many cases) ruled out. △ Less

Submitted 22 October, 2003; v1 submitted 20 October, 2003; originally announced October 2003.

Comments: Revised version corrects several typos, adds comment on MOND+CMB 10 pages, to appear in the proceedings of the IAU Symposium 220 "Dark matter in galaxies", eds. S. Ryder, D.J. Pisano, M. Walker and K. Freeman

Inflation without a beginning: a null boundary proposal

Authors: Anthony Aguirre, Steven Gratton

Abstract: We develop our recent suggestion that inflation may be made past eternal, so that there is no initial cosmological singularity or "beginning of time". Inflation with multiple vacua generically approaches a steady-state statistical distribution of regions at these vacua, and our model follows directly from making this distribution hold at all times. We find that this corresponds (at the semi-clas… ▽ More We develop our recent suggestion that inflation may be made past eternal, so that there is no initial cosmological singularity or "beginning of time". Inflation with multiple vacua generically approaches a steady-state statistical distribution of regions at these vacua, and our model follows directly from making this distribution hold at all times. We find that this corresponds (at the semi-classical level) to particularly simple cosmological boundary conditions on an infinite null surface near which the spacetime looks de Sitter. The model admits an interesting arrow of time that is well-defined and consistent for all physical observers that can communicate, even while the statistical description of the entire universe admits a symmetry that includes time-reversal. Our model suggests, but does not require, the identification of antipodal points on the manifold. The resulting "elliptic" de Sitter spacetime has interesting classical and quantum properties. The proposal may be generalized to other inflationary potentials, or to boundary conditions that give semi-eternal but non-singular cosmologies. △ Less

Submitted 28 March, 2003; v1 submitted 10 January, 2003; originally announced January 2003.

Comments: Minor revisions to match published version; 18 pages, 5 postscript figures

Journal ref: Phys.Rev. D67 (2003) 083515

Metallicity of the Intergalactic Medium Using Pixel Statistics: I. Method

Authors: Anthony Aguirre, Joop Schaye, Tom Theuns

Abstract: Studies of absorption spectra of high-z QSOs have revealed that the intergalactic medium at z ~ 2-3 is enriched to ~ 0.1%-1% solar for gas densities more than a few times the mean cosmic density, but have not yet produced an accurate metallicity estimate, nor constrained variations in the metallicity with density, redshift, or spatial location. This paper discusses the ``pixel optical depth'' (P… ▽ More Studies of absorption spectra of high-z QSOs have revealed that the intergalactic medium at z ~ 2-3 is enriched to ~ 0.1%-1% solar for gas densities more than a few times the mean cosmic density, but have not yet produced an accurate metallicity estimate, nor constrained variations in the metallicity with density, redshift, or spatial location. This paper discusses the ``pixel optical depth'' (POD) method of QSO spectrum analysis, using realistic simulated spectra from cosmological simulations. In this method, absorption in Ly-alpha is compared to corresponding metal absorption on a pixel-by-pixel basis, yielding for each analyzed spectrum a single statistical correlation encoding metal enrichment information. Our simulations allow testing and optimization of each step of the technique's implementation. Tests show that previous studies have probably been limited by C IV self-contamination and O VI contamination by HI lines; we have developed and tested an effective method of correcting for both contaminants. We summarize these and other findings, and provide a useful recipe for the POD technique's application to observed spectra. Our tests reveal that the POD technique applied to spectra of presently available quality is effective in recovering useful metallicity information even in underdense gas. We present an extension of the POD technique to directly recover the intergalactic metallicity as a function of gas density. For a given ionizing background, both the oxygen and carbon abundance can be measured with errors of at most a factor of a few over at least an order of magnitude in density, using a single high-quality spectrum. △ Less

Submitted 4 July, 2002; originally announced July 2002.

Comments: ApJ, in press; 27 pages, 14 postscript figures

Journal ref: Astrophys.J. 576 (2002) 1

Steady-State Eternal Inflation

Authors: Anthony Aguirre, Steven Gratton

Abstract: Since the advent of inflation, several theorems have been proven suggesting that although inflation can (and generically does) continue eternally into the future, it cannot be extended eternally into the past to create a ``steady-state'' model with no initial time. Here we provide a construction that circumvents these theorems and allows a self-consistent, geodesically complete, and physically s… ▽ More Since the advent of inflation, several theorems have been proven suggesting that although inflation can (and generically does) continue eternally into the future, it cannot be extended eternally into the past to create a ``steady-state'' model with no initial time. Here we provide a construction that circumvents these theorems and allows a self-consistent, geodesically complete, and physically sensible steady-state eternally inflating universe, based on the flat slicing of de Sitter space. This construction could be used as the background space-time for creation events that form big-bang-like regions, and hence could form the basis for a cosmology that is compatible with observations and yet which avoids an initial singularity or beginning of time. △ Less

Submitted 22 February, 2002; v1 submitted 9 November, 2001; originally announced November 2001.

Comments: Minor modifications to match version in Phys. Rev. D. 7 pages, 2 color figures

Journal ref: Phys.Rev. D65 (2002) 083507

Enrichment of the High-Redshift IGM by Galactic Winds

Authors: A. Aguirre, J. Schaye, L. Hernquist, D. Weinberg, N. Katz, J. Gardner

Abstract: This paper discusses a semi-numerical method of investigating the enrichment of the intergalactic medium by galactic winds. We find that most galaxies at z >~ 3 should be driving winds, and that (if these winds are similar to those at low-z) these winds should escape to large distances. Our calculations -- which permit exploration of a large region of model parameter space -- indicate that the w… ▽ More This paper discusses a semi-numerical method of investigating the enrichment of the intergalactic medium by galactic winds. We find that most galaxies at z >~ 3 should be driving winds, and that (if these winds are similar to those at low-z) these winds should escape to large distances. Our calculations -- which permit exploration of a large region of model parameter space -- indicate that the wind velocity, the mass of the wind-driving galaxies, the fraction of ambient material entrained, and the available time (between wind launch and the observed redshift) all affect wind propagation significantly; other physical effects can be important but are sub-dominant. We find that under reasonable assumptions, the enrichment by 3 <~ z <~ 6 galaxies could account for the quantity of metals seen in the Ly-alpha forest, though it is presently unclear whether this enrichment is compatible with the intergalactic medium's detailed metal distribution or relative quiescence. △ Less

Submitted 17 September, 2001; originally announced September 2001.

Comments: 7 pages, 4 ps figures; to appear in "Chemical Enrichment of Intracluster and Intergalactic Medium", Vulcano, Italy, 14-18 May 2001, ASP Conference Series

The Cold Big-Bang Cosmology as a Counter-example to Several Anthropic Arguments

Authors: Anthony Aguirre

Abstract: A general Friedmann big-bang cosmology can be specified by fixing a half-dozen cosmological parameters such as the photon-to-baryon ratio Eta, the cosmological constant Lambda, the curvature scale R, and the amplitude Q of (assumed scale-invariant) primordial density fluctuations. There is currently no established theory as to why these parameters take the particular values we deduce from observ… ▽ More A general Friedmann big-bang cosmology can be specified by fixing a half-dozen cosmological parameters such as the photon-to-baryon ratio Eta, the cosmological constant Lambda, the curvature scale R, and the amplitude Q of (assumed scale-invariant) primordial density fluctuations. There is currently no established theory as to why these parameters take the particular values we deduce from observations. This has led to proposed `anthropic' explanations for the observed value of each parameter, as the only value capable of generating a universe that can host intelligent life. In this paper, I explicitly show that the requirement that the universe generates sun-like stars with planets does not fix these parameters, by develo** a class of cosmologies (based on the classical `cold big-bang' model) in which some or all of the cosmological parameters differ by orders of magnitude from the values they assume in the standard hot big-bang cosmology, without precluding in any obvious way the existence of intelligent life. I also give a careful discussion of the structure and context of anthropic arguments in cosmology, and point out some implications of the cold big-bang model's existence for anthropic arguments concerning specific parameters. △ Less

Submitted 12 July, 2001; v1 submitted 7 June, 2001; originally announced June 2001.

Comments: 13 PRD-style pages, 2 postscript figures. Reference 26 corrected. Accepted to Phys. Rev. D

Journal ref: Phys.Rev. D64 (2001) 083508

Problems for MOND in Clusters and the Ly-alpha Forest

Authors: Anthony Aguirre, Joop Schaye, Eliot Quataert

Abstract: The observed dynamics of gas and stars on galactic and larger scales cannot be accounted for by self-gravity, indicating that there are large quantities of unseen matter, or that gravity is non-Newtonian in these regimes. Milgrom's MOdified Newtonian Dynamics (MOND) postulates that Newton's laws are modified at very low acceleration, and can account for the rotation curves of galaxies and some o… ▽ More The observed dynamics of gas and stars on galactic and larger scales cannot be accounted for by self-gravity, indicating that there are large quantities of unseen matter, or that gravity is non-Newtonian in these regimes. Milgrom's MOdified Newtonian Dynamics (MOND) postulates that Newton's laws are modified at very low acceleration, and can account for the rotation curves of galaxies and some other astrophysical observations, without dark matter. Here we apply MOND to two independent physical systems: Ly-alpha absorbers and galaxy clusters. While physically distinct, both are simple hydrodynamical systems with characteristic accelerations in the MOND regime. We find that Ly-alpha absorbers are somewhat smaller than in Newtonian gravity with dark matter, but the result depends crucially on the (unknown) background acceleration field in which they are embedded. In clusters MOND appears to explain the observed (baryonic) mass-temperature relation. However, given observed gas density and enclosed mass profiles and the assumption of hydrostatic equilibrium, MOND predicts radial temperature profiles which disagree badly with observations. We show this explicitly for the Virgo, Abell 2199 and Coma clusters, but the results are general, and seem very difficult to avoid. If this discrepancy is to be resolved by positing additional (presumably baryonic) dark matter, then this dark matter must have ~1-3 times the cluster gas mass within 1 Mpc. This result strongly disfavors MOND as an alternative to dark matter (Abridged). △ Less

Submitted 17 July, 2001; v1 submitted 11 May, 2001; originally announced May 2001.

Comments: Revised version. Important caveat in Ly-alpha calculation discussed; conclusions weakened. Coma cluster and calculation of dark matter mass required by MOND added; cluster conclusions strengthened. 11 EmulateApJ pages with 3 embedded figures. Accepted by ApJ

Journal ref: Astrophys.J. 561 (2001) 550

Metal Enrichment of the Intergalactic Medium in Cosmological Simulations

Authors: Anthony Aguirre, Lars Hernquist, Joop Schaye, Neal Katz, David H. Weinberg, Jeffrey Gardner

Abstract: Observations have established that the diffuse intergalactic medium (IGM) at z ~ 3 is enriched to ~0.1-1% solar metallicity and that the hot gas in large clusters of galaxies (ICM) is enriched to 1/3-1/2 solar metallicity at z=0. Metals in the IGM may have been removed from galaxies (in which they presumably form) during dynamical encounters between galaxies, by ram-pressure strip**, by supern… ▽ More Observations have established that the diffuse intergalactic medium (IGM) at z ~ 3 is enriched to ~0.1-1% solar metallicity and that the hot gas in large clusters of galaxies (ICM) is enriched to 1/3-1/2 solar metallicity at z=0. Metals in the IGM may have been removed from galaxies (in which they presumably form) during dynamical encounters between galaxies, by ram-pressure strip**, by supernova-driven winds, or as radiation-pressure driven dust efflux. This study develops a method of investigating the chemical enrichment of the IGM and of galaxies, using already completed cosmological simulations. To these simulations, we add dust and (gaseous) metals, distributing the dust and metals in the gas according to three simple parameterized prescriptions, one for each enrichment mechanism. These prescriptions are formulated to capture the basic ejection physics, and calibrated when possible with empirical data. Our results indicate that dynamical removal of metals from >~ 3*10^8 solar mass galaxies cannot account for the observed metallicity of low-column density Ly-alpha absorbers, and that dynamical removal from >~ 3*10^10 solar mass galaxies cannot account for the ICM metallicities. Dynamical removal also fails to produce a strong enough mass-metallicity relation in galaxies. In contrast, either wind or radiation-pressure ejection of metals from relatively large galaxies can plausibly account for all three sets of observations (though it is unclear whether metals can be distributed uniformly enough in the low-density regions without overly disturbing the IGM, and whether clusters can be enriched quite as much as observed). We investigate in detail how our results change with variations in our assumed parameters, and how results for the different ejection processes compare. (Abridged) △ Less

Submitted 17 July, 2001; v1 submitted 3 May, 2001; originally announced May 2001.

Comments: Minor revision, 1 figure added addressing diffusion of metals after their ejection. Accepted by ApJ. 31 EmulateApj Pages with 13 embedded postscript figures

Journal ref: Astrophys.J. 561 (2001) 521

Enrichment of the Intergalactic Medium by Radiation Pressure Driven Dust Efflux

Authors: Anthony Aguirre, Lars Hernquist, Neal Katz, Jeffrey Gardner, David Weinberg

Abstract: The presence of metals in hot cluster gas and in Ly-alpha absorbers, as well as the mass-metallicity relation of observed galaxies, suggest that galaxies lose a significant fraction of their metals to the intergalactic medium (IGM). Theoretical studies of this process have concentrated on metal removal by dynamical processes or supernova-driven winds. Here, we investigate the enrichment of the I… ▽ More The presence of metals in hot cluster gas and in Ly-alpha absorbers, as well as the mass-metallicity relation of observed galaxies, suggest that galaxies lose a significant fraction of their metals to the intergalactic medium (IGM). Theoretical studies of this process have concentrated on metal removal by dynamical processes or supernova-driven winds. Here, we investigate the enrichment of the IGM by the expulsion of dust grains from galaxies by radiation pressure. We use already completed cosmological simulations, to which we add dust assuming that most dust can reach the equilibrium point between radiation pressure and gravitational forces. We find that the expulsion of dust and its subsequent (partial) destruction in the IGM can plausibly account for the observed level of C and Si enrichment of the z=3 IGM. At low-z, dust ejection and destruction could explain a substantial fraction of the metals in clusters, but it cannot account for all of the chemical species observed. Dust expelled by radiation pressure could give clusters a visual opacity of up to 0.2-0.5 mag in their central regions even after destruction by the hot intracluster medium; this value is interestingly close to limits and claimed observations of cluster extinction. We also comment on the implications of our results for the opacity of the general IGM. Finally, we suggest a possible `hybrid' scenario in which winds expel gas and dust into galaxy halos but radiation pressure distributes the dust uniformly through the IGM. △ Less

Submitted 8 June, 2001; v1 submitted 24 June, 2000; originally announced June 2000.

Comments: 5 emulateapj pages including 3 figures. Accepted by ApJ Letters

Journal ref: Astrophys.J.556:L11,2001

On the Superradiance of Spin-1 Waves in an Equatorial Wedge around a Kerr Hole

Authors: Anthony N. Aguirre

Abstract: Recently Van Putten has suggested that superradiance of magnetosonic waves in a toroidal magnetosphere around a Kerr black hole may play a role in the central engine of gamma-ray bursts. In this context, he computed (in the WKB approximation) the superradiant amplification of scalar waves confined to a thin equatorial wedge around a Kerr hole and found that the superradiance is higher than for r… ▽ More Recently Van Putten has suggested that superradiance of magnetosonic waves in a toroidal magnetosphere around a Kerr black hole may play a role in the central engine of gamma-ray bursts. In this context, he computed (in the WKB approximation) the superradiant amplification of scalar waves confined to a thin equatorial wedge around a Kerr hole and found that the superradiance is higher than for radiation incident over all angles. This paper presents calculations of both spin-0 (scalar) superradiance (integrating the radial equation rather than using the WKB method) and and spin-1 (electromagnetic/magnetosonic) superradiance, in Van Putten's wedge geometry. In contrast to the scalar case, spin-1 superradiance decreases in the wedge geometry, decreasing the likelihood of its astrophysical importance. △ Less

Submitted 21 October, 1999; originally announced October 1999.

Comments: Submitted to The Astrophysical Journal Letters

Journal ref: Astrophys.J. 529 (2000) L9

Intergalactic Dust and Observations of Type Ia Supernovae

Authors: Anthony N. Aguirre

Abstract: Estimates of the cosmic star formation rate and of cluster metallicities independently imply that at z < 0.5 the gas in the universe has substantial average metallicity: 1/10 < Z/Z_solar < 1/3 for Omega_gas = 0.05. This metal density probably cannot be contained in known solar-metallicity galaxies of density parameter Omega_star ~ 0.004, implying significant enrichment of the intergalactic mediu… ▽ More Estimates of the cosmic star formation rate and of cluster metallicities independently imply that at z < 0.5 the gas in the universe has substantial average metallicity: 1/10 < Z/Z_solar < 1/3 for Omega_gas = 0.05. This metal density probably cannot be contained in known solar-metallicity galaxies of density parameter Omega_star ~ 0.004, implying significant enrichment of the intergalactic medium (IGM) by ejection of metals and dust from galaxies via winds, in mergers or in dust efflux driven by radiation pressure. Galaxies have a dust/metal ratio of ~ 0.5 in their interstellar media, but some fraction (1-f) > 0 of this must be destroyed in the IGM or during the ejection process. Assuming the Draine & Lee dust model and preferential destruction of small grains, I calculate the reddening and extinction of a uniform cosmological dust component in terms of (f) and the minimum grain size a_min. Very small grains provide most of the reddening but less than half of the opacity for optical extinction. For f > 0.3 and a_min > 0.1 microns, the intergalactic dust would be too grey to have been detected by its reddening, yet dense enough to be cosmologically important: it could account for the recently observed type Ia supernova dimming at z ~ 0.5 without cosmic acceleration. The importance of grey intergalactic dust of the described type can be tested by observations of z=0.5 supernovae in (rest) R-band or longer wavelengths and by the fluxes of a large sample of supernovae at z > 1. (Abridged) △ Less

Submitted 24 June, 1999; v1 submitted 22 April, 1999; originally announced April 1999.

Comments: Accepted by the Astrophysical Journal; typo corrected; 15 pages, 5 figures

Journal ref: Astrophys.J. 525 (1999) 583

Dust Versus Cosmic Acceleration

Authors: Anthony N. Aguirre

Abstract: Two groups have recently discovered a statistically significant deviation in the fluxes of high-redshift type Ia supernovae from the predictions of a Friedmann model with zero cosmological constant. In this Letter, I argue that bright, dusty, starburst galaxies would preferentially eject a dust component with a shallower opacity curve (hence less reddening) and a higher opacity/mass than the obs… ▽ More Two groups have recently discovered a statistically significant deviation in the fluxes of high-redshift type Ia supernovae from the predictions of a Friedmann model with zero cosmological constant. In this Letter, I argue that bright, dusty, starburst galaxies would preferentially eject a dust component with a shallower opacity curve (hence less reddening) and a higher opacity/mass than the observed galactic dust which is left behind. Such dust could cause the falloff in flux at high-z without violating constraints on reddening or metallicity. The specific model presented is of needle-like dust, which is expected from the theory of crystal growth and has been detected in samples of interstellar dust. Carbon needles with conservative properties can supply the necessary opacity, and would very likely be ejected from galaxies as required. The model is not subject to the arguments given in the literature against grey dust, but may be constrained by future data from supernova searches done at higher redshift, in clusters, or over a larger frequency range. △ Less

Submitted 17 December, 1998; v1 submitted 19 November, 1998; originally announced November 1998.

Comments: 5 pages, 1 postscript figure, ApJ Letters, accepted. Minor changes plus `note added in proof'

Journal ref: Astrophys.J. 512 (1999) L19

ACCRETION OF HOT DARK MATTER ONTO SLOWLY MOVING COSMIC STRINGS

Authors: Anthony N. Aguirre, Robert H. Brandenberger

Abstract: Cosmic strings with small-scale structure have a coarse-grained mass per unit length $μ$ which is larger than the string tension. This leads to an effective Newtonian gravitational line source and to a characteristic translational velocity which is smaller than for strings without small-scale structure. Here, the accretion of hot dark matter onto such strings is studied by means of the Zel'dovic… ▽ More Cosmic strings with small-scale structure have a coarse-grained mass per unit length $μ$ which is larger than the string tension. This leads to an effective Newtonian gravitational line source and to a characteristic translational velocity which is smaller than for strings without small-scale structure. Here, the accretion of hot dark matter onto such strings is studied by means of the Zel'dovich approximation. We find that clustering is greatly enhanced by the Newtonian line source. In the limit of vanishing translational velocity, the first nonlinear filaments form at a redshift of greater than 100 for standard values of $μ$. △ Less

Submitted 5 May, 1995; originally announced May 1995.

Comments: 17 pages, 2 figures (included), uses phyzzx and epsf macros

Report number: BROWN-HET-995

Journal ref: Int.J.Mod.Phys. D4 (1995) 711-722