Showing 1–21 of 21 results for author: Tate, R

Guarantees on Warm-Started QAOA: Single-Round Approximation Ratios for 3-Regular MAXCUT and Higher-Round Scaling Limits

Authors: Reuben Tate, Stephan Eidenbenz

Abstract: We generalize Farhi et al.'s 0.6924-approximation result technique of the Max-Cut Quantum Approximate Optimization Algorithm (QAOA) on 3-regular graphs to obtain provable lower bounds on the approximation ratio for warm-started QAOA. Given an initialization angle $θ$, we consider warm-starts where the initial state is a product state where each qubit position is angle $θ$ away from either the nort… ▽ More We generalize Farhi et al.'s 0.6924-approximation result technique of the Max-Cut Quantum Approximate Optimization Algorithm (QAOA) on 3-regular graphs to obtain provable lower bounds on the approximation ratio for warm-started QAOA. Given an initialization angle $θ$, we consider warm-starts where the initial state is a product state where each qubit position is angle $θ$ away from either the north or south pole of the Bloch sphere; of the two possible qubit positions the position of each qubit is decided by some classically obtained cut encoded as a bitstring $b$. We illustrate through plots how the properties of $b$ and the initialization angle $θ$ influence the bound on the approximation ratios of warm-started QAOA. We consider various classical algorithms (and the cuts they produce which we use to generate the warm-start). Our results strongly suggest that there does not exist any choice of initialization angle that yields a (worst-case) approximation ratio that simultaneously beats standard QAOA and the classical algorithm used to create the warm-start. Additionally, we show that at $θ=60^\circ$, warm-started QAOA is able to (effectively) recover the cut used to generate the warm-start, thus suggesting that in practice, this value could be a promising starting angle to explore alternate solutions in a heuristic fashion. Finally, for any combinatorial optimization problem with integer-valued objective values, we provide bounds on the required circuit depth needed for warm-started QAOA to achieve some change in approximation ratio; more specifically, we show that for small $θ$, the bound is roughly proportional to $1/θ$. △ Less

Submitted 19 February, 2024; originally announced February 2024.

Report number: LA-UR-24-21477

Warm-Started QAOA with Custom Mixers Provably Converges and Computationally Beats Goemans-Williamson's Max-Cut at Low Circuit Depths

Authors: Reuben Tate, Jai Moondra, Bryan Gard, Greg Mohler, Swati Gupta

Abstract: We generalize the Quantum Approximate Optimization Algorithm (QAOA) of Farhi et al. (2014) to allow for arbitrary separable initial states with corresponding mixers such that the starting state is the most excited state of the mixing Hamiltonian. We demonstrate this version of QAOA, which we call QAOA-warmest, by simulating Max-Cut on weighted graphs. We initialize the starting state as a warm-sta… ▽ More We generalize the Quantum Approximate Optimization Algorithm (QAOA) of Farhi et al. (2014) to allow for arbitrary separable initial states with corresponding mixers such that the starting state is the most excited state of the mixing Hamiltonian. We demonstrate this version of QAOA, which we call QAOA-warmest, by simulating Max-Cut on weighted graphs. We initialize the starting state as a warm-start using $2$ and $3$-dimensional approximations obtained using randomized projections of solutions to Max-Cut's semi-definite program, and define a warm-start dependent custom mixer. We show that these warm-starts initialize the QAOA circuit with constant-factor approximations of $0.658$ for $2$-dimensional and $0.585$ for $3$-dimensional warm-starts for graphs with non-negative edge weights, improving upon previously known trivial (i.e., $0.5$ for standard initialization) worst-case bounds at $p=0$. These factors in fact lower bound the approximation achieved for Max-Cut at higher circuit depths, since we also show that QAOA-warmest with any separable initial state converges to Max-Cut under the adiabatic limit as $p\rightarrow \infty$. However, the choice of warm-starts significantly impacts the rate of convergence to Max-Cut, and we show empirically that our warm-starts achieve a faster convergence compared to existing approaches. Additionally, our numerical simulations show higher quality cuts compared to standard QAOA, the classical Goemans-Williamson algorithm, and a warm-started QAOA without custom mixers for an instance library of $1148$ graphs (upto $11$ nodes) and depth $p=8$. We further show that QAOA-warmest outperforms the standard QAOA of Farhi et al. in experiments on current IBM-Q and Quantinuum hardware. △ Less

Submitted 19 September, 2023; v1 submitted 21 December, 2021; originally announced December 2021.

Journal ref: Quantum 7, 1121 (2023)

Type Stability in Julia: Avoiding Performance Pathologies in JIT Compilation (Extended Version)

Authors: Artem Pelenitsyn, Julia Belyakova, Benjamin Chung, Ross Tate, Jan Vitek

Abstract: As a scientific programming language, Julia strives for performance but also provides high-level productivity features. To avoid performance pathologies, Julia users are expected to adhere to a coding discipline that enables so-called type stability. Informally, a function is type stable if the type of the output depends only on the types of the inputs, not their values. This paper provides a form… ▽ More As a scientific programming language, Julia strives for performance but also provides high-level productivity features. To avoid performance pathologies, Julia users are expected to adhere to a coding discipline that enables so-called type stability. Informally, a function is type stable if the type of the output depends only on the types of the inputs, not their values. This paper provides a formal definition of type stability as well as a stronger property of type groundedness, shows that groundedness enables compiler optimizations, and proves the compiler correct. We also perform a corpus analysis to uncover how these type-related properties manifest in practice. △ Less

Submitted 17 November, 2021; v1 submitted 4 September, 2021; originally announced September 2021.

Comments: OOPSLA '21, extended version

Bridging Classical and Quantum with SDP initialized warm-starts for QAOA

Authors: Reuben Tate, Majid Farhadi, Creston Herold, Greg Mohler, Swati Gupta

Abstract: We study the Quantum Approximate Optimization Algorithm (QAOA) in the context of the Max-Cut problem. Near-term (noisy) quantum devices are only able to (accurately) execute QAOA at low circuit depths while QAOA requires a relatively high circuit-depth in order to "see" the whole graph. We introduce a classical pre-processing step that initializes QAOA with a biased superposition of all possible c… ▽ More We study the Quantum Approximate Optimization Algorithm (QAOA) in the context of the Max-Cut problem. Near-term (noisy) quantum devices are only able to (accurately) execute QAOA at low circuit depths while QAOA requires a relatively high circuit-depth in order to "see" the whole graph. We introduce a classical pre-processing step that initializes QAOA with a biased superposition of all possible cuts in the graph, referred to as a warm-start. In particular, our initialization informs QAOA by a solution to a low-rank semidefinite programming relaxation of the Max-Cut problem. Our experimental results show that this variant of QAOA, called QAOA-Warm, is able to outperform standard QAOA on lower circuit depths with less training time (in the optimization stage for QAOA's variational parameters). We provide experimental evidence as well as theoretical intuition on performance of the proposed framework. △ Less

Submitted 6 June, 2022; v1 submitted 26 October, 2020; originally announced October 2020.

Journal ref: ACM Transactions on Quantum Computing 4, 2, Article 9 (June 2023)

World Age in Julia: Optimizing Method Dispatch in the Presence of Eval (Extended Version)

Authors: Julia Belyakova, Benjamin Chung, Jack Gelinas, Jameson Nash, Ross Tate, Jan Vitek

Abstract: Dynamic programming languages face semantic and performance challenges in the presence of features, such as eval, that can inject new code into a running program. The Julia programming language introduces the novel concept of world age to insulate optimized code from one of the most disruptive side-effects of eval: changes to the definition of an existing function. This paper provides the first fo… ▽ More Dynamic programming languages face semantic and performance challenges in the presence of features, such as eval, that can inject new code into a running program. The Julia programming language introduces the novel concept of world age to insulate optimized code from one of the most disruptive side-effects of eval: changes to the definition of an existing function. This paper provides the first formal semantics of world age in a core calculus named Juliette, and shows how world age enables compiler optimizations, such as inlining, in the presence of eval. While Julia also provides programmers with the means to bypass world age, we found that this mechanism is not used extensively: a static analysis of over 4,000 registered Julia packages shows that only 4-9% of packages bypass world age. This suggests that Julia's semantics aligns with programmer expectations. △ Less

Submitted 15 October, 2020; v1 submitted 15 October, 2020; originally announced October 2020.

Comments: OOPSLA 2020 (Extended version with proofs)

Towards an Integrated Platform for Big Data Analysis

Authors: Mahdi Bohlouli, Frank Schulz, Lefteris Angelis, David Pahor, Ivona Brandic, David Atlan, Rosemary Tate

Abstract: The amount of data in the world is expanding rapidly. Every day, huge amounts of data are created by scientific experiments, companies, and end users' activities. These large data sets have been labeled as "Big Data", and their storage, processing and analysis presents a plethora of new challenges to computer science researchers and IT professionals. In addition to efficient data management, addit… ▽ More The amount of data in the world is expanding rapidly. Every day, huge amounts of data are created by scientific experiments, companies, and end users' activities. These large data sets have been labeled as "Big Data", and their storage, processing and analysis presents a plethora of new challenges to computer science researchers and IT professionals. In addition to efficient data management, additional complexity arises from dealing with semi-structured or unstructured data, and from time critical processing requirements. In order to understand these massive amounts of data, advanced visualization and data exploration techniques are required. Innovative approaches to these challenges have been developed during recent years, and continue to be a hot topic for re-search and industry in the future. An investigation of current approaches reveals that usually only one or two aspects are ad-dressed, either in the data management, processing, analysis or visualization. This paper presents the vision of an integrated plat-form for big data analysis that combines all these aspects. Main benefits of this approach are an enhanced scalability of the whole platform, a better parameterization of algorithms, a more efficient usage of system resources, and an improved usability during the end-to-end data analysis process. △ Less

Submitted 26 April, 2020; originally announced April 2020.

A Global Fireball Observatory

Authors: H. A. R. Devillepoix, M. Cupák, P. A. Bland, E. K. Sansom, M. C. Towner, R. M. Howie, B. A. D. Hartig, T. Jansen-Sturgeon, P. M. Shober, S. L. Anderson, G. K. Benedix, D. Busan, R. Sayers, P. Jenniskens, J. Albers, C. D. K. Herd, P. J. A. Hill, P. G. Brown, Z. Krzeminski, G. R. Osinski, H. Chennaoui Aoudjehane, Z. Benkhaldoun, A. Jabiri, M. Guennoun, A. Barka , et al. (24 additional authors not shown)

Abstract: The world's meteorite collections contain a very rich picture of what the early Solar System would have been made of, however the lack of spatial context with respect to their parent population for these samples is an issue. The asteroid population is equally as rich in surface mineralogies, and map** these two populations (meteorites and asteroids) together is a major challenge for planetary sc… ▽ More The world's meteorite collections contain a very rich picture of what the early Solar System would have been made of, however the lack of spatial context with respect to their parent population for these samples is an issue. The asteroid population is equally as rich in surface mineralogies, and map** these two populations (meteorites and asteroids) together is a major challenge for planetary science. Directly probing asteroids achieves this at a high cost. Observing meteorite falls and calculating their pre-atmospheric orbit on the other hand, is a cheaper way to approach the problem. The Global Fireball Observatory (GFO) collaboration was established in 2017 and brings together multiple institutions (from Australia, USA, Canada, Morocco, Saudi Arabia, the UK, and Argentina) to maximise the area for fireball observation time and therefore meteorite recoveries. The members have a choice to operate independently, but they can also choose to work in a fully collaborative manner with other GFO partners. This efficient approach leverages the experience gained from the Desert Fireball Network (DFN) pathfinder project in Australia. The state-of-the art technology (DFN camera systems and data reduction) and experience of the support teams is shared between all partners, freeing up time for science investigations and meteorite searching. With all networks combined together, the GFO collaboration already covers 0.6% of the Earth's surface for meteorite recovery as of mid-2019, and aims to reach 2% in the early 2020s. We estimate that after 5 years of operation, the GFO will have observed a fireball from virtually every meteorite type. This combined effort will bring new, fresh, extra-terrestrial material to the labs, yielding new insights about the formation of the Solar System. △ Less

Submitted 12 June, 2020; v1 submitted 2 April, 2020; originally announced April 2020.

Comments: Accepted in PSS. 19 pages, 9 figures

First-Order Logic for Flow-Limited Authorization

Authors: Andrew K. Hirsch, Pedro H. Azevedo de Amorim, Ethan Cecchetti, Ross Tate, Owen Arden

Abstract: We present the Flow-Limited Authorization First-Order Logic (FLAFOL), a logic for reasoning about authorization decisions in the presence of information-flow policies. We formalize the FLAFOL proof system, characterize its proof-theoretic properties, and develop its security guarantees. In particular, FLAFOL is the first logic to provide a non-interference guarantee while supporting all connective… ▽ More We present the Flow-Limited Authorization First-Order Logic (FLAFOL), a logic for reasoning about authorization decisions in the presence of information-flow policies. We formalize the FLAFOL proof system, characterize its proof-theoretic properties, and develop its security guarantees. In particular, FLAFOL is the first logic to provide a non-interference guarantee while supporting all connectives of first-order logic. Furthermore, this guarantee is the first to combine the notions of non-interference from both authorization logic and information-flow systems. All theorems in this paper are proven in Coq. △ Less

Submitted 28 January, 2020; originally announced January 2020.

Comments: Coq code can be found at https://github.com/FLAFOL/flafol-coq

On the set of catenary degrees of finitely generated cancellative commutative monoids

Authors: Christopher O'Neill, Vadim Ponomarenko, Reuben Tate, Gautam Webb

Abstract: The catenary degree of an element $n$ of a cancellative commutative monoid $S$ is a nonnegative integer measuring the distance between the irreducible factorizations of $n$. The catenary degree of the monoid $S$, defined as the supremum over all catenary degrees occurring in $S$, has been heavily studied as an invariant of nonunique factorization. In this paper, we investigate the set… ▽ More The catenary degree of an element $n$ of a cancellative commutative monoid $S$ is a nonnegative integer measuring the distance between the irreducible factorizations of $n$. The catenary degree of the monoid $S$, defined as the supremum over all catenary degrees occurring in $S$, has been heavily studied as an invariant of nonunique factorization. In this paper, we investigate the set $\mathsf C(S)$ of catenary degrees achieved by elements of $S$ as a factorization invariant, focusing on the case where $S$ in finitely generated (where $\mathsf C(S)$ is known to be finite). Answering an open question posed by García-Sánchez, we provide a method to compute the smallest nonzero element of $\mathsf C(S)$ that parallels a well-known method of computing the maximum value. We also give several examples demonstrating certain extremal behavior for $\mathsf C(S)$, and present some open questions for further study. △ Less

Submitted 19 January, 2016; v1 submitted 24 June, 2015; originally announced June 2015.

Journal ref: International Journal of Algebra and Computation 26 (2016), no. 3, 565-576

Equality Saturation: A New Approach to Optimization

Authors: Ross Tate, Michael Stepp, Zachary Tatlock, Sorin Lerner

Abstract: Optimizations in a traditional compiler are applied sequentially, with each optimization destructively modifying the program to produce a transformed program that is then passed to the next optimization. We present a new approach for structuring the optimization phase of a compiler. In our approach, optimizations take the form of equality analyses that add equality information to a common interme… ▽ More Optimizations in a traditional compiler are applied sequentially, with each optimization destructively modifying the program to produce a transformed program that is then passed to the next optimization. We present a new approach for structuring the optimization phase of a compiler. In our approach, optimizations take the form of equality analyses that add equality information to a common intermediate representation. The optimizer works by repeatedly applying these analyses to infer equivalences between program fragments, thus saturating the intermediate representation with equalities. Once saturated, the intermediate representation encodes multiple optimized versions of the input program. At this point, a profitability heuristic picks the final optimized program from the various programs represented in the saturated representation. Our proposed way of structuring optimizers has a variety of benefits over previous approaches: our approach obviates the need to worry about optimization ordering, enables the use of a global optimization heuristic that selects among fully optimized programs, and can be used to perform translation validation, even on compilers other than our own. We present our approach, formalize it, and describe our choice of intermediate representation. We also present experimental results showing that our approach is practical in terms of time and space overhead, is effective at discovering intricate optimization opportunities, and is effective at performing translation validation for a realistic optimizer. △ Less

Submitted 25 March, 2011; v1 submitted 2 December, 2010; originally announced December 2010.

Comments: 80 pages, 39 figures

ACM Class: D.3.4

Journal ref: Logical Methods in Computer Science, Volume 7, Issue 1 (March 28, 2011) lmcs:1016

The Risk Profile Problem for Stock Portfolio Optimization

Authors: Ming-Yang Kao, Andreas Nolte, Stephen R. Tate

Abstract: This work initiates research into the problem of determining an optimal investment strategy for investors with different attitudes towards the trade-offs of risk and profit. The probability distribution of the return values of the stocks that are considered by the investor are assumed to be known, while the joint distribution is unknown. The problem is to find the best investment strategy in ord… ▽ More This work initiates research into the problem of determining an optimal investment strategy for investors with different attitudes towards the trade-offs of risk and profit. The probability distribution of the return values of the stocks that are considered by the investor are assumed to be known, while the joint distribution is unknown. The problem is to find the best investment strategy in order to minimize the probability of losing a certain percentage of the invested capital based on different attitudes of the investors towards future outcomes of the stock market. For portfolios made up of two stocks, this work shows how to exactly and quickly solve the problem of finding an optimal portfolio for aggressive or risk-averse investors, using an algorithm based on a fast greedy solution to a maximum flow problem. However, an investor looking for an average-case guarantee (so is neither aggressive or risk-averse) must deal with a more difficult problem. In particular, it is #P-complete to compute the distribution function associated with the average-case bound. On the positive side, approximate answers can be computed by using random sampling techniques similar to those for high-dimensional volume estimation. When k>2 stocks are considered, it is proved that a simple solution based on the same flow concepts as the 2-stock algorithm would imply that P = NP, so is highly unlikely. This work gives approximation algorithms for this case as well as exact algorithms for some important special cases. △ Less

Submitted 3 July, 2001; originally announced July 2001.

Comments: A preliminary version of this work appeared in Proceedings of the 32nd Annual ACM Symposium on Theory of Computing, pages 228--234, 2000. The final version will appear in E. J. Kontoghiorghes, B. Rustem, and S. Siokos, editors, Applied Optimization: Computational Methods in Decision-Making, Economics and Finance. Kluwer Academic Publishers, Dordrecht, 2002

ACM Class: E1; F2; G.1.6; G.1.10; G.2; G.3; J.4

On-Line Difference Maximization

Authors: Ming-Yang Kao, Stephen R. Tate

Abstract: In this paper we examine problems motivated by on-line financial problems and stochastic games. In particular, we consider a sequence of entirely arbitrary distinct values arriving in random order, and must devise strategies for selecting low values followed by high values in such a way as to maximize the expected gain in rank from low values to high values. First, we consider a scenario in wh… ▽ More In this paper we examine problems motivated by on-line financial problems and stochastic games. In particular, we consider a sequence of entirely arbitrary distinct values arriving in random order, and must devise strategies for selecting low values followed by high values in such a way as to maximize the expected gain in rank from low values to high values. First, we consider a scenario in which only one low value and one high value may be selected. We give an optimal on-line algorithm for this scenario, and analyze it to show that, surprisingly, the expected gain is n-O(1), and so differs from the best possible off-line gain by only a constant additive term (which is, in fact, fairly small -- at most 15). In a second scenario, we allow multiple nonoverlap** low/high selections, where the total gain for our algorithm is the sum of the individual pair gains. We also give an optimal on-line algorithm for this problem, where the expected gain is n^2/8-Θ(n\log n). An analysis shows that the optimal expected off-line gain is n^2/6+Θ(1), so the performance of our on-line algorithm is within a factor of 3/4 of the best off-line strategy. △ Less

Submitted 24 January, 2001; v1 submitted 23 January, 2001; originally announced January 2001.

ACM Class: F.2.2; G.1.6; G.2.1; G.2.3; G.3

Journal ref: SIAM Journal on Discrete Mathematics, 12(1):78-90, 1999

Designing Proxies for Stock Market Indices is Computationally Hard

Authors: Ming-Yang Kao, Stephen R. Tate

Abstract: In this paper, we study the problem of designing proxies (or portfolios) for various stock market indices based on historical data. We use four different methods for computing market indices, all of which are formulas used in actual stock market analysis. For each index, we consider three criteria for designing the proxy: the proxy must either track the market index, outperform the market index,… ▽ More In this paper, we study the problem of designing proxies (or portfolios) for various stock market indices based on historical data. We use four different methods for computing market indices, all of which are formulas used in actual stock market analysis. For each index, we consider three criteria for designing the proxy: the proxy must either track the market index, outperform the market index, or perform within a margin of error of the index while maintaining a low volatility. In eleven of the twelve cases (all combinations of four indices with three criteria except the problem of sacrificing return for less volatility using the price-relative index) we show that the problem is NP-hard, and hence most likely intractable. △ Less

Submitted 12 November, 2000; originally announced November 2000.

Comments: An abstract appeared in the Proceedings of the 10th Annual ACM-SIAM Symposium on Discrete Algorithms, 1999

ACM Class: F.2.2; G.2.3; J.4

On the quantization of the Null-Surface formulation of GR

Authors: Simonetta Frittelli, Carlos N. Kozameh, Ezra T. Newman, Carlo Rovelli, Ranjeet S. Tate

Abstract: We define and discuss various quantum operators that describe the geometry of spacetime in quantum general relativity. These are obtained by combining the Null-Surface Formulation of general relativity, recently developed, with asymptotic quantization. One of the operators defined describes a ``fuzzy'' quantum light cone structure. Others, denoted ``spacetime-point operators'', characterize geom… ▽ More We define and discuss various quantum operators that describe the geometry of spacetime in quantum general relativity. These are obtained by combining the Null-Surface Formulation of general relativity, recently developed, with asymptotic quantization. One of the operators defined describes a ``fuzzy'' quantum light cone structure. Others, denoted ``spacetime-point operators'', characterize geometrically-defined physical points. We discuss the interpretation of these operators. This seems to suggest a picture of quantum spacetime as made of ``fuzzy'' physical points. We derive the commutation algebra of the quantum spacetime point operators in the linearization around flat space. △ Less

Submitted 3 December, 1996; originally announced December 1996.

Comments: 24 pages, Revtex

Journal ref: Phys.Rev. D56 (1997) 889-907

Time-of-arrival in quantum mechanics

Authors: Norbert Grot, Carlo Rovelli, Ranjeet S. Tate

Abstract: We study the problem of computing the probability for the time-of-arrival of a quantum particle at a given spatial position. We consider a solution to this problem based on the spectral decomposition of the particle's (Heisenberg) state into the eigenstates of a suitable operator, which we denote as the ``time-of-arrival'' operator. We discuss the general properties of this operator. We construc… ▽ More We study the problem of computing the probability for the time-of-arrival of a quantum particle at a given spatial position. We consider a solution to this problem based on the spectral decomposition of the particle's (Heisenberg) state into the eigenstates of a suitable operator, which we denote as the ``time-of-arrival'' operator. We discuss the general properties of this operator. We construct the operator explicitly in the simple case of a free nonrelativistic particle, and compare the probabilities it yields with the ones estimated indirectly in terms of the flux of the Schrödinger current. We derive a well defined uncertainty relation between time-of-arrival and energy; this result shows that the well known arguments against the existence of such a relation can be circumvented. Finally, we define a ``time-representation'' of the quantum mechanics of a free particle, in which the time-of-arrival is diagonal. Our results suggest that, contrary to what is commonly assumed, quantum mechanics exhibits a hidden equivalence between independent (time) and dependent (position) variables, analogous to the one revealed by the parametrized formalism in classical mechanics. △ Less

Submitted 14 March, 1996; originally announced March 1996.

Comments: Latex/Revtex, 20 pages. 2 figs included using epsf. Submitted to Phys. Rev. A

Journal ref: Phys.Rev. A54 (1996) 4679

Fuzzy spacetime from a null-surface version of GR

Authors: S. Frittelli, C. N. Kozameh, E. T. Newman, C. Rovelli, R. S. Tate

Abstract: The null-surface formulation of general relativity -- recently introduced -- provides novel tools for describing the gravitational field, as well as a fresh physical way of viewing it. The new formulation provides ``local'' observables corresponding to the coordinates of points --- which constitute the spacetime manifold --- in a {\em geometrically defined chart\/}, as well as non-local observab… ▽ More The null-surface formulation of general relativity -- recently introduced -- provides novel tools for describing the gravitational field, as well as a fresh physical way of viewing it. The new formulation provides ``local'' observables corresponding to the coordinates of points --- which constitute the spacetime manifold --- in a {\em geometrically defined chart\/}, as well as non-local observables corresponding to lightcone cuts and lightcones. In the quantum theory, the spacetime point observables become operators and the spacetime manifold itself becomes ``quantized'', or ``fuzzy''. This novel view may shed light on some of the interpretational problems of a quantum theory of gravity. Indeed, as we discuss briefly, the null-surface formulation of general relativity provides (local) geometrical quantities --- the spacetime point observables --- which are candidates for the long-sought physical operators of the quantum theory. △ Less

Submitted 29 March, 1996; originally announced March 1996.

Comments: 17 pages, LateX, iopl styles (ioplppt.sty, iopl12.sty), amssym.def, amssym.tex. Invited contribution to the Class. Quantum Grav. special issue dedicated to Andrzej Trautman

Journal ref: Class.Quant.Grav.14:A143-A154,1997

Classical analysis of Bianchi types I and II in Ashtekar variables

Authors: Gabriela Gonzalez, Ranjeet S Tate

Abstract: We solve the complex Einstein equations for Bianchi I and II models formulated in the Ashtekar variables. We then solve the reality conditions to obtain a parametrization of the space of Lorentzian solutions in terms of real canonically conjugate variables. In the Ashtekar variables, the dynamics of the universe point particle is governed by only a curved supermetric -- there is no potential ter… ▽ More We solve the complex Einstein equations for Bianchi I and II models formulated in the Ashtekar variables. We then solve the reality conditions to obtain a parametrization of the space of Lorentzian solutions in terms of real canonically conjugate variables. In the Ashtekar variables, the dynamics of the universe point particle is governed by only a curved supermetric -- there is no potential term. In the usual metric formulation the particle bounces off a potential wall in flat superspace. We consider possible characterizations of this ``bounce'' in the potential-free Ashtekar variables. △ Less

Submitted 5 December, 1994; originally announced December 1994.

Comments: Latex, uses revtex, 13 pages in 10pt

Report number: UCSBTH-94-44

Journal ref: Class.Quant.Grav.12:1287-1304,1995

An algebraic extension of Dirac quantization: Examples

Authors: A. Ashtekar, Ranjeet S. Tate

Abstract: An extension of the Dirac procedure for the quantization of constrained systems is necessary to address certain issues that are left open in Dirac's original proposal. These issues play an important role especially in the context of non-linear, diffeomorphism invariant theories such as general relativity. Recently, an extension of the required type was proposed by one of us using algebraic quant… ▽ More An extension of the Dirac procedure for the quantization of constrained systems is necessary to address certain issues that are left open in Dirac's original proposal. These issues play an important role especially in the context of non-linear, diffeomorphism invariant theories such as general relativity. Recently, an extension of the required type was proposed by one of us using algebraic quantization methods. In this paper, the key conceptual and technical aspects of the algebraic program are illustrated through a number of finite dimensional examples. The choice of examples and some of the analysis is motivated by certain peculiar problems endemic to quantum gravity. However, prior knowledge of general relativity is not assumed in the main discussion. Indeed, the methods introduced and conclusions arrived at are applicable to any system with first class constraints. In particular, they resolve certain technical issues which are present also in the reduced phase space approach to quantization of these systems. △ Less

Submitted 7 June, 1994; v1 submitted 30 May, 1994; originally announced May 1994.

Comments: 43 pages, Latex, CGPG-94/6-1. (References added; particularly to earlier work by C.J.Isham using group theoretic ideas, in the introduction.)

Journal ref: J.Math.Phys. 35 (1994) 6434-6470

An algebraic approach to the quantization of cosntrained systems: finite dimensional examples

Authors: Ranjeet S. Tate

Abstract: From the point of view of canonical quantum gravity, it has become imperative to find a framework for quantization which provides a {\em general} prescription to find the physical inner product, and is flexible enough to accommodate non-canonical variables. In this dissertation I consider an algebraic formulation of the Dirac approach to the quantization of constrained systems, due to A. Ashteka… ▽ More From the point of view of canonical quantum gravity, it has become imperative to find a framework for quantization which provides a {\em general} prescription to find the physical inner product, and is flexible enough to accommodate non-canonical variables. In this dissertation I consider an algebraic formulation of the Dirac approach to the quantization of constrained systems, due to A. Ashtekar. The Dirac quantization program is augmented by a general principle to find the inner product on physical states. Essentially, the Hermiticity conditions on physical operators determine this inner product. I also clarify the role in quantum theory of possible algebraic identities between the elementary variables. I use this approach to quantize various finite dimensional systems. Some of these models test the new aspects of the algebraic framework. Others bear qualitative similarities to \gr, and may give some insight into the pitfalls lurking in \qg. In (spatially compact) general relativity, the Hamiltonian is constrained to vanish. I present various approaches one can take to obtain an interpretation of the quantum theory of such ``dynamically constrained'' systems. I apply some of these ideas to the Bianchi I cosmology, and analyze the issue of the initial singularity in quantum theory. △ Less

Submitted 30 April, 1993; v1 submitted 29 April, 1993; originally announced April 1993.

Comments: 124 pages, LaTeX (run twice before printing), SU-GP-92/8-1. (Minor corruption (extra blank line at line 2994) hopefully fixed.)

Minisuperspaces: Observables and Quantization

Authors: Abhay Ashtekar, Ranjeet S. Tate, Claes Uggla

Abstract: A canonical transformation is performed on the phase space of a number of homogeneous cosmologies to simplify the form of the scalar (or, Hamiltonian) constraint. Using the new canonical coordinates, it is then easy to obtain explicit expressions of Dirac observables, i.e.\ phase space functions which commute weakly with the constraint. This, in turn, enables us to carry out a general quantizati… ▽ More A canonical transformation is performed on the phase space of a number of homogeneous cosmologies to simplify the form of the scalar (or, Hamiltonian) constraint. Using the new canonical coordinates, it is then easy to obtain explicit expressions of Dirac observables, i.e.\ phase space functions which commute weakly with the constraint. This, in turn, enables us to carry out a general quantization program to completion. We are also able to address the issue of time through ``deparametrization'' and discuss physical questions such as the fate of initial singularities in the quantum theory. We find that they persist in the quantum theory {\it inspite of the fact that the evolution is implemented by a 1-parameter family of unitary transformations}. Finally, certain of these models admit conditional symmetries which are explicit already prior to the canonical transformation. These can be used to pass to quantum theory following an independent avenue. The two quantum theories --based, respectively, on Dirac observables in the new canonical variables and conditional symmetries in the original ADM variables-- are compared and shown to be equivalent. △ Less

Submitted 21 February, 1993; originally announced February 1993.

Comments: 34 pages

Report number: Syracuse University preprint SU-GP-92/2-6

Journal ref: Int.J.Mod.Phys.D2:15-50,1993

Minisuperspaces: Symmetries and Quantization

Authors: Abhay Ashtekar, Ranjeet S. Tate, Claes Uggla

Abstract: In several of the class A Bianchi models, minisuperspaces admit symmetries. It is pointed out that they can be used effectively to complete the Dirac quantization program. The resulting quantum theory provides a useful platform to investigate a number of conceptual and technical problems of quantum gravity. In several of the class A Bianchi models, minisuperspaces admit symmetries. It is pointed out that they can be used effectively to complete the Dirac quantization program. The resulting quantum theory provides a useful platform to investigate a number of conceptual and technical problems of quantum gravity. △ Less

Submitted 21 February, 1993; originally announced February 1993.

Comments: 14 pages

Report number: Syracuse University preprint SU-GP-92/2-5