Showing 1–17 of 17 results for author: Garcia, A J

Highly indistinguishable single photons from droplet-etched GaAs quantum dots integrated in single-mode waveguides and beamsplitters

Authors: Florian Hornung, Ulrich Pfister, Stephanie Bauer, Dee Rocking Cyrlyson's, Dongze Wang, Ponraj Vijayan, Ailton J. Garcia Jr, Saimon Filipe Covre da Silva, Michael Jetter, Simone L. Portalupi, Armando Rastelli, Peter Michler

Abstract: The integration of on-demand quantum emitters into photonic integrated circuits (PICs) has drawn much of attention in recent years, as it promises a scalable implementation of quantum information schemes. A central property for several applications is the indistinguishability of the emitted photons. In this regard, GaAs quantum dots (QDs) obtained by droplet etching epitaxy show excellent performa… ▽ More The integration of on-demand quantum emitters into photonic integrated circuits (PICs) has drawn much of attention in recent years, as it promises a scalable implementation of quantum information schemes. A central property for several applications is the indistinguishability of the emitted photons. In this regard, GaAs quantum dots (QDs) obtained by droplet etching epitaxy show excellent performances with visibilities close to one for both individual and remote emitters. Therefore, the realization of these QDs into PICs is highly appealing. Here, we show the first implementation in this direction, realizing the key passive elements needed in PICs, i.e. single-mode waveguides (WGs) with integrated GaAs-QDs, which can be coherently controlled, as well as beamsplitters. We study both the statistical distribution of wavelength, linewidth and decay times of the excitonic line of multiple QDs, as well as the quantum optical properties of individual emitters under resonant excitation. Here, we achieve single-photon purities as high as $1-\text{g}^{(2)}(0)=0.929\pm0.009$ as well as two-photon interference visibilities of up to V$_{\text{TPI}}=0.939\pm0.004$ for two consecutively emitted photons. △ Less

Submitted 18 October, 2023; originally announced October 2023.

Post-fabrication tuning of circular Bragg resonators for enhanced emitter-cavity coupling

Authors: Tobias M. Krieger, Christian Weidinger, Thomas Oberleitner, Gabriel Undeutsch, Michele B. Rota, Naser Tajik, Maximilian Aigner, Quirin Buchinger, Christian Schimpf, Ailton J. Garcia Jr., Saimon F. Covre da Silva, Sven Höfling, Tobias Huber-Loyola, Rinaldo Trotta, Armando Rastelli

Abstract: Solid-state quantum emitters embedded in circular Bragg resonators are attractive due to their ability to emit quantum states of light with high brightness and low multi-photon probability. As for any emitter-microcavity system, fabrication imperfections limit the spatial and spectral overlap of the emitter with the cavity mode, thus limiting their coupling strength. Here, we show that an initial… ▽ More Solid-state quantum emitters embedded in circular Bragg resonators are attractive due to their ability to emit quantum states of light with high brightness and low multi-photon probability. As for any emitter-microcavity system, fabrication imperfections limit the spatial and spectral overlap of the emitter with the cavity mode, thus limiting their coupling strength. Here, we show that an initial spectral mismatch can be corrected after device fabrication by repeated wet chemical etching steps. We demonstrate ~16 nm wavelength tuning for optical modes in AlGaAs resonators on oxide, leading to a 4-fold Purcell enhancement of the emission of single embedded GaAs quantum dots. Numerical calculations reproduce the observations and suggest that the achievable performance of the resonator is only marginally affected in the explored tuning range. We expect the method to be applicable also to circular Bragg resonators based on other material platforms, thus increasing the device yield of cavity-enhanced solid-state quantum emitters. △ Less

Submitted 27 September, 2023; originally announced September 2023.

Wave-function-based emulation for nucleon-nucleon scattering in momentum space

Authors: A. J. Garcia, C. Drischler, R. J. Furnstahl, J. A. Melendez, Xilin Zhang

Abstract: Emulators for low-energy nuclear physics can provide fast & accurate predictions of bound-state and scattering observables for applications that require repeated calculations with different parameters, such as Bayesian uncertainty quantification. In this paper, we extend a scattering emulator based on the Kohn variational principle (KVP) to momentum space (including coupled channels) with arbitrar… ▽ More Emulators for low-energy nuclear physics can provide fast & accurate predictions of bound-state and scattering observables for applications that require repeated calculations with different parameters, such as Bayesian uncertainty quantification. In this paper, we extend a scattering emulator based on the Kohn variational principle (KVP) to momentum space (including coupled channels) with arbitrary boundary conditions, which enable the mitigation of spurious singularities known as Kohn anomalies. We test it on a modern chiral nucleon-nucleon (NN) interaction, including emulation of the coupled channels. We provide comparisons between a Lippmann-Schwinger equation emulator and our KVP momentum-space emulator for a representative set of neutron-proton (np) scattering observables, and also introduce a quasi-spline-based approach for the KVP-based emulator. Our findings show that while there are some trade-offs between accuracy and speed, all three emulators perform well. Self-contained Jupyter notebooks that generate the results and figures in this paper are publicly available. △ Less

Submitted 12 June, 2023; v1 submitted 12 January, 2023; originally announced January 2023.

Comments: 18 pages, 15 figures, matches published version

BUQEYE Guide to Projection-Based Emulators in Nuclear Physics

Authors: C. Drischler, J. A. Melendez, R. J. Furnstahl, A. J. Garcia, Xilin Zhang

Abstract: The BUQEYE collaboration (Bayesian Uncertainty Quantification: Errors in Your EFT) presents a pedagogical introduction to projection-based, reduced-order emulators for applications in low-energy nuclear physics. The term emulator refers here to a fast surrogate model capable of reliably approximating high-fidelity models. As the general tools employed by these emulators are not yet well-known in t… ▽ More The BUQEYE collaboration (Bayesian Uncertainty Quantification: Errors in Your EFT) presents a pedagogical introduction to projection-based, reduced-order emulators for applications in low-energy nuclear physics. The term emulator refers here to a fast surrogate model capable of reliably approximating high-fidelity models. As the general tools employed by these emulators are not yet well-known in the nuclear physics community, we discuss variational and Galerkin projection methods, emphasize the benefits of offline-online decompositions, and explore how these concepts lead to emulators for bound and scattering systems that enable fast & accurate calculations using many different model parameter sets. We also point to future extensions and applications of these emulators for nuclear physics, guided by the mature field of model (order) reduction. All examples discussed here and more are available as interactive, open-source Python code so that practitioners can readily adapt projection-based emulators for their own work. △ Less

Submitted 9 December, 2022; originally announced December 2022.

Comments: 31 pages, 10 figures, 1 table; invited contribution to the Research Topic "Uncertainty Quantification in Nuclear Physics" in Frontiers in Physics

Model reduction methods for nuclear emulators

Authors: J. A. Melendez, C. Drischler, R. J. Furnstahl, A. J. Garcia, Xilin Zhang

Abstract: The field of model order reduction (MOR) is growing in importance due to its ability to extract the key insights from complex simulations while discarding computationally burdensome and superfluous information. We provide an overview of MOR methods for the creation of fast & accurate emulators of memory- and compute-intensive nuclear systems. As an example, we describe how "eigenvector continuatio… ▽ More The field of model order reduction (MOR) is growing in importance due to its ability to extract the key insights from complex simulations while discarding computationally burdensome and superfluous information. We provide an overview of MOR methods for the creation of fast & accurate emulators of memory- and compute-intensive nuclear systems. As an example, we describe how "eigenvector continuation" is a special case of a much more general and well-studied MOR formalism for parameterized systems. We continue with an introduction to the Ritz and Galerkin projection methods that underpin many such emulators, while pointing to the relevant MOR theory and its successful applications along the way. We believe that this will open the door to broader applications in nuclear physics and facilitate communication with practitioners in other fields. △ Less

Submitted 10 May, 2022; v1 submitted 10 March, 2022; originally announced March 2022.

Comments: 13 pages. Added table and minor changes

Fast & accurate emulation of two-body scattering observables without wave functions

Authors: J. A. Melendez, C. Drischler, A. J. Garcia, R. J. Furnstahl, Xilin Zhang

Abstract: We combine Newton's variational method with ideas from eigenvector continuation to construct a fast & accurate emulator for two-body scattering observables. The emulator will facilitate the application of rigorous statistical methods for interactions that depend smoothly on a set of free parameters. Our approach begins with a trial $K$ or $T$ matrix constructed from a small number of exact solutio… ▽ More We combine Newton's variational method with ideas from eigenvector continuation to construct a fast & accurate emulator for two-body scattering observables. The emulator will facilitate the application of rigorous statistical methods for interactions that depend smoothly on a set of free parameters. Our approach begins with a trial $K$ or $T$ matrix constructed from a small number of exact solutions to the Lippmann--Schwinger equation. Subsequent emulation only requires operations on small matrices. We provide several applications to short-range potentials with and without the Coulomb interaction and partial-wave coupling. It is shown that the emulator can accurately extrapolate far from the support of the training data. When used to emulate the neutron-proton cross section with a modern chiral interaction as a function of 26 free parameters, it reproduces the exact calculation with negligible error and provides an over 300x improvement in CPU time. △ Less

Submitted 7 September, 2021; v1 submitted 29 June, 2021; originally announced June 2021.

Comments: 9 pages, 6 figures; minor updates, close to published version

Efficient emulators for scattering using eigenvector continuation

Authors: R. J. Furnstahl, A. J. Garcia, P. J. Millican, Xilin Zhang

Abstract: Eigenvector continuation EC has been shown to accurately and efficiently reproduce ground states for targeted sets of Hamiltonian parameters. It uses as variational basis vectors the corresponding ground-state eigensolutions from selected other sets of parameters. Here we extend the EC approach to scattering using the Kohn variational principle. We first test it using a model for S-wave nucleon-nu… ▽ More Eigenvector continuation EC has been shown to accurately and efficiently reproduce ground states for targeted sets of Hamiltonian parameters. It uses as variational basis vectors the corresponding ground-state eigensolutions from selected other sets of parameters. Here we extend the EC approach to scattering using the Kohn variational principle. We first test it using a model for S-wave nucleon-nucleon scattering and then demonstrate that it also works to give accurate predictions for non-local potentials, charged-particle scattering, complex optical potentials, and higher partial waves. These proofs-of-principle validate EC as an accurate emulator for applying Bayesian inference to parameter estimation constrained by scattering observables. The efficiency of such emulators is because the accuracy is achieved with a small number of variational basis elements and the central computations are just linear algebra calculations in the space spanned by this basis. △ Less

Submitted 26 January, 2021; v1 submitted 7 July, 2020; originally announced July 2020.

Comments: Typos in Eqs~(7) and (8) are corrected. Erratum will be submitted

Journal ref: Phys.Lett.B 809 (2020) 135719

Evolution of porous dust grains in protoplanetary discs -- I. Growing grains

Authors: Anthony J. L. Garcia, Jean-François Gonzalez

Abstract: One of the main problems in planet formation, hampering the growth of small dust to planetesimals, is the so-called radial-drift barrier. Pebbles of cm to dm sizes are thought to drift radially across protoplanetary discs faster than they can grow to larger sizes, and thus to be lost to the star. To overcome this barrier, drift has to be slowed down or stopped, or growth needs to be sped up. In th… ▽ More One of the main problems in planet formation, hampering the growth of small dust to planetesimals, is the so-called radial-drift barrier. Pebbles of cm to dm sizes are thought to drift radially across protoplanetary discs faster than they can grow to larger sizes, and thus to be lost to the star. To overcome this barrier, drift has to be slowed down or stopped, or growth needs to be sped up. In this paper, we investigate the role of porosity on both drift and growth. We have developed a model for porosity evolution during grain growth and applied it to numerical simulations of protoplanetary discs. We find that growth is faster for porous grains, enabling them to transition to the Stokes drag regime, decouple from the gas, and survive the radial-drift barrier. Direct formation of small planetesimals from porous dust is possible over large areas of the disc. △ Less

Submitted 21 March, 2020; v1 submitted 8 February, 2020; originally announced February 2020.

Comments: MNRAS 493, 1788 (2020). 13 pages, 13 figures. Correction of a typo in the algorithm of Appendix A4

A Comparative Study of Some Central Notions of ASPIC+ and DeLP

Authors: Alejandro J. Garcia, Henry Prakken, Guillermo R. Simari

Abstract: This paper formally compares some central notions from two well-known formalisms for rule-based argumentation, DeLP and ASPIC+. The comparisons especially focus on intuitive adequacy and inter-translatability, consistency, and closure properties. As for differences in the definitions of arguments and attack, it turns out that DeLP's definitions are intuitively appealing but that they may not fully… ▽ More This paper formally compares some central notions from two well-known formalisms for rule-based argumentation, DeLP and ASPIC+. The comparisons especially focus on intuitive adequacy and inter-translatability, consistency, and closure properties. As for differences in the definitions of arguments and attack, it turns out that DeLP's definitions are intuitively appealing but that they may not fully comply with Caminada and Amgoud's rationality postulates of strict closure and indirect consistency. For some special cases, the DeLP definitions are shown to fare better than ASPIC+. Next, it is argued that there are reasons to consider a variant of DeLP with grounded semantics, since in some examples its current notion of warrant arguably has counterintuitive consequences and may lead to sets of warranted arguments that are not admissible. Finally, under some minimality and consistency assumptions on ASPIC+ arguments, a one-to-many correspondence between ASPIC+ arguments and DeLP arguments is identified in such a way that if the DeLP warranting procedure is changed to grounded semantics, then DeLP notion of warrant and ASPIC+'s notion of justification are equivalent. This result is proven for three alternative definitions of attack. △ Less

Submitted 11 September, 2019; v1 submitted 6 September, 2019; originally announced September 2019.

Comments: To appear in Theory and Practice of Logic Programming (TPLP). In the second uploaded version a small typo was corrected in Example 8

An approach to Decision Making based on Dynamic Argumentation Systems

Authors: Edgardo Ferretti, Luciano H. Tamargo, Alejandro J. Garcia, Marcelo L. Errecalde, Guillermo R. Simari

Abstract: In this paper, we introduce a formalism for single-agent decision making that is based on Dynamic Argumentation Frameworks. The formalism can be used to justify a choice, which is based on the current situation the agent is involved. Taking advantage of the inference mechanism of the argumentation formalism, it is possible to consider preference relations and conflicts among the available alternat… ▽ More In this paper, we introduce a formalism for single-agent decision making that is based on Dynamic Argumentation Frameworks. The formalism can be used to justify a choice, which is based on the current situation the agent is involved. Taking advantage of the inference mechanism of the argumentation formalism, it is possible to consider preference relations and conflicts among the available alternatives for that reasoning. With this formalization, given a particular set of evidence, the justified conclusions supported by warranted arguments will be used by the agent's decision rules to determine which alternatives will be selected. We also present an algorithm that implements a choice function based on our formalization. Finally, we complete our presentation by introducing formal results that relate the proposed framework with approaches of classical decision theory. △ Less

Submitted 5 March, 2019; originally announced March 2019.

Journal ref: Artif. Intell. 242: 107-131 (2017)

Different roles for inhibition in the rhythm-generating respiratory network

Authors: Kameron Decker Harris, Tatiana Dashevskiy, Joshua Mendoza, Alfredo J. Garcia III, Jan-Marino Ramirez, Eric Shea-Brown

Abstract: Unraveling the interplay of excitation and inhibition within rhythm-generating networks remains a fundamental issue in neuroscience. We use a biophysical model to investigate the different roles of local and long-range inhibition in the respiratory network, a key component of which is the pre-Bötzinger complex inspiratory microcircuit. Increasing inhibition within the microcircuit results in a lim… ▽ More Unraveling the interplay of excitation and inhibition within rhythm-generating networks remains a fundamental issue in neuroscience. We use a biophysical model to investigate the different roles of local and long-range inhibition in the respiratory network, a key component of which is the pre-Bötzinger complex inspiratory microcircuit. Increasing inhibition within the microcircuit results in a limited number of out-of-phase neurons before rhythmicity and synchrony degenerate. Thus, unstructured local inhibition is destabilizing and cannot support the generation of more than one rhythm. A two-phase rhythm requires restructuring the network into two microcircuits coupled by long-range inhibition in the manner of a half-center. In this context, inhibition leads to greater stability of the two out-of-phase rhythms. We support our computational results with in vitro recordings from mouse pre-Bötzinger complex. Partial excitation block leads to increased rhythmic variability, but this recovers following blockade of inhibition. Our results support the idea that local inhibition in the pre-Bötzinger complex is present to allow for descending control of synchrony or robustness to adverse conditions like hypoxia. We conclude that the balance of inhibition and excitation determines the stability of rhythmogenesis, but with opposite roles within and between areas. These different inhibitory roles may apply to a variety of rhythmic behaviors that emerge in widespread pattern generating circuits of the nervous system. △ Less

Submitted 12 June, 2017; v1 submitted 13 October, 2016; originally announced October 2016.

Mathematical and computational modeling for describing the basic behavior of free radicals and antioxidants within epithelial cells

Authors: Alvaro Juan Ojeda Garcia

Abstract: The traditional methods of the biology, based on illustrative descriptions and linear logic explanations, are discussed. This work aims to improve this approach by introducing alternative tools to describe and represent complex biological systems. Two models were developed, one mathematical and another computational, both were made in order to study the biological process between free radicals and… ▽ More The traditional methods of the biology, based on illustrative descriptions and linear logic explanations, are discussed. This work aims to improve this approach by introducing alternative tools to describe and represent complex biological systems. Two models were developed, one mathematical and another computational, both were made in order to study the biological process between free radicals and antioxidants. Each model was used to study the same process but in different scenarios. The mathematical model was used to study the biological process in an epithelial cells culture; this model was validated with the experimental data of Anne Hanneken's research group from the Department of Molecular and Experimental Medicine, published by the journal Investigative Ophthalmology and Visual Science in July 2006. The computational model was used to study the same process in an individual. The model was made using C++ programming language, supported by the network theory of aging. △ Less

Submitted 21 January, 2012; originally announced January 2012.

Comments: 4 pages, 5 figures. Treball de Recerca, gener de 2012

Dynamics of Knowledge in DeLP through Argument Theory Change

Authors: Martín O. Moguillansky, Nicolás D. Rotstein, Marcelo A. Falappa, Alejandro J. García, Guillermo R. Simari

Abstract: This article is devoted to the study of methods to change defeasible logic programs (de.l.p.s) which are the knowledge bases used by the Defeasible Logic Programming (DeLP) interpreter. DeLP is an argumentation formalism that allows to reason over potentially inconsistent de.l.p.s. Argument Theory Change (ATC) studies certain aspects of belief revision in order to make them suitable for abstract a… ▽ More This article is devoted to the study of methods to change defeasible logic programs (de.l.p.s) which are the knowledge bases used by the Defeasible Logic Programming (DeLP) interpreter. DeLP is an argumentation formalism that allows to reason over potentially inconsistent de.l.p.s. Argument Theory Change (ATC) studies certain aspects of belief revision in order to make them suitable for abstract argumentation systems. In this article, abstract arguments are rendered concrete by using the particular rule-based defeasible logic adopted by DeLP. The objective of our proposal is to define prioritized argument revision operators à la ATC for de.l.p.s, in such a way that the newly inserted argument ends up undefeated after the revision, thus warranting its conclusion. In order to ensure this warrant, the de.l.p. has to be changed in concordance with a minimal change principle. To this end, we discuss different minimal change criteria that could be adopted. Finally, an algorithm is presented, implementing the argument revision operations. △ Less

Submitted 29 November, 2011; originally announced November 2011.

Comments: 61 pages To appear in Theory and Practice of Logic Programming (TPLP)

Total electron yields and stop** power of protons colliding with NaCl-type insulator surfaces II

Authors: Andrea J. Garcia, J. E. Miraglia

Abstract: We re-calculate electron yields and stop** power of protons colliding with surfaces of NaCl-type insulators. In this article, the projectile is considered to move taking into account the static and polarization potentials with all the individual ions forming the surface lattice unlike our previous work (Phys. Rev. A 75, 042904 (2007)) where the projectile was considered to move in an homogeneo… ▽ More We re-calculate electron yields and stop** power of protons colliding with surfaces of NaCl-type insulators. In this article, the projectile is considered to move taking into account the static and polarization potentials with all the individual ions forming the surface lattice unlike our previous work (Phys. Rev. A 75, 042904 (2007)) where the projectile was considered to move in an homogeneous planar potential. Substantial differences (up to forty percent of increment) have been found especially when the projectile incident angle approaches the critical one. We compare our prediction for electron yield and stop** power with the available experimental data for LiF, KI and KCl. △ Less

Submitted 10 February, 2009; v1 submitted 23 December, 2008; originally announced December 2008.

Comments: 12 pages including 7 figures

Pruning Search Space in Defeasible Argumentation

Authors: Carlos Iván Chesñevar, Guillermo Ricardo Simari, Alejandro Javier García

Abstract: Defeasible argumentation has experienced a considerable growth in AI in the last decade. Theoretical results have been combined with development of practical applications in AI & Law, Case-Based Reasoning and various knowledge-based systems. However, the dialectical process associated with inference is computationally expensive. This paper focuses on speeding up this inference process by pruning… ▽ More Defeasible argumentation has experienced a considerable growth in AI in the last decade. Theoretical results have been combined with development of practical applications in AI & Law, Case-Based Reasoning and various knowledge-based systems. However, the dialectical process associated with inference is computationally expensive. This paper focuses on speeding up this inference process by pruning the involved search space. Our approach is twofold. On one hand, we identify distinguished literals for computing defeat. On the other hand, we restrict ourselves to a subset of all possible conflicting arguments by introducing dialectical constraints. △ Less

Submitted 27 May, 2004; originally announced May 2004.

Comments: 11 pages

Journal ref: Proc. of the Workshop on Advances and Trends in Search in Artificial Intelligence, pp.40-47. International Conf. of the Chilean Society in Computer Science, Santiago, Chile, 2000

Defeasible Logic Programming: An Argumentative Approach

Authors: Alejandro Javier Garcia, Guillermo Ricardo Simari

Abstract: The work reported here introduces Defeasible Logic Programming (DeLP), a formalism that combines results of Logic Programming and Defeasible Argumentation. DeLP provides the possibility of representing information in the form of weak rules in a declarative manner, and a defeasible argumentation inference mechanism for warranting the entailed conclusions. In DeLP an argumentation formalism will… ▽ More The work reported here introduces Defeasible Logic Programming (DeLP), a formalism that combines results of Logic Programming and Defeasible Argumentation. DeLP provides the possibility of representing information in the form of weak rules in a declarative manner, and a defeasible argumentation inference mechanism for warranting the entailed conclusions. In DeLP an argumentation formalism will be used for deciding between contradictory goals. Queries will be supported by arguments that could be defeated by other arguments. A query q will succeed when there is an argument A for q that is warranted, ie, the argument A that supports q is found undefeated by a warrant procedure that implements a dialectical analysis. The defeasible argumentation basis of DeLP allows to build applications that deal with incomplete and contradictory information in dynamic domains. Thus, the resulting approach is suitable for representing agent's knowledge and for providing an argumentation based reasoning mechanism to agents. △ Less

Submitted 19 February, 2003; originally announced February 2003.

Comments: 43 pages, to appear in the journal "Theory and Practice of Logic Programming"

ACM Class: I.2.3

Non-leptonic hyperon weak decays in the Skyrme model revisited

Authors: D. Gomez Dumm, A. J. Garcia, N. N. Scoccola

Abstract: Non-leptonic hyperon weak decays are investigated in the SU(3) Skyrme model. We use a collective coordinate scheme, following the approach in which the symmetry breaking terms in the strong effective action are diagonalized exactly. To describe the weak interactions we use an octet dominated weak effective lagrangian that leads to a good description of the known 2πand 3πkaon decays. We show that… ▽ More Non-leptonic hyperon weak decays are investigated in the SU(3) Skyrme model. We use a collective coordinate scheme, following the approach in which the symmetry breaking terms in the strong effective action are diagonalized exactly. To describe the weak interactions we use an octet dominated weak effective lagrangian that leads to a good description of the known 2πand 3πkaon decays. We show that the observed S-wave decays are reasonably well reproduced in the model. On the other hand, our calculated P-wave amplitudes do not agree with the empirical ones even though both pole and contact contributions to these amplitudes are properly taken into account. Finally, an estimate of the non-octet contributions to the decay amplitudes is presented. △ Less

Submitted 23 February, 2000; v1 submitted 5 January, 2000; originally announced January 2000.

Comments: 13 pages, 1 figure, appendix and references added. To appear in Phys. Rev. D

Report number: TAN-FNT-00-01

Journal ref: Phys.Rev. D62 (2000) 014001