-
ABCTracker: an easy-to-use, cloud-based application for tracking multiple objects
Authors:
Lance Rice,
Samual Tate,
David Farynyk,
Joshua Sun,
Greg Chism,
Daniel Charbonneau,
Thomas Fasciano,
Anna Dornhaus,
Min C. Shin
Abstract:
Visual multi-object tracking has the potential to accelerate many forms of quantitative analyses, especially in research communities investigating the motion, behavior, or social interactions within groups of animals. Despite its potential for increasing analysis throughput, complications related to accessibility, adaptability, accuracy, or scalable application arise with existing tracking systems…
▽ More
Visual multi-object tracking has the potential to accelerate many forms of quantitative analyses, especially in research communities investigating the motion, behavior, or social interactions within groups of animals. Despite its potential for increasing analysis throughput, complications related to accessibility, adaptability, accuracy, or scalable application arise with existing tracking systems. Several iterations of prototy** and testing have led us to a multi-object tracking system -- ABCTracker -- that is: accessible in both system as well as technical knowledge requirements, easily adaptable to new videos, and capable of producing accurate tracking data through a mixture of automatic and semi-automatic tracking features.
△ Less
Submitted 29 January, 2020; v1 submitted 27 January, 2020;
originally announced January 2020.
-
Entropy of Tournament Digraphs
Authors:
David E. Brown,
Eric Culver,
Bryce Frederickson,
Sidney Tate,
Brent J. Thomas
Abstract:
The Rényi $α$-entropy $H_α$ of complete antisymmetric directed graphs (i.e., tournaments) is explored. We optimize $H_α$ when $α= 2$ and $3$, and find that as $α$ increases $H_α$'s sensitivity to what we refer to as `regularity' increases as well. A regular tournament on $n$ vertices is one with each vertex having out-degree $\frac{n-1}{2}$, but there is a lot of diversity in terms of structure am…
▽ More
The Rényi $α$-entropy $H_α$ of complete antisymmetric directed graphs (i.e., tournaments) is explored. We optimize $H_α$ when $α= 2$ and $3$, and find that as $α$ increases $H_α$'s sensitivity to what we refer to as `regularity' increases as well. A regular tournament on $n$ vertices is one with each vertex having out-degree $\frac{n-1}{2}$, but there is a lot of diversity in terms of structure among the regular tournaments; for example, a regular tournament may be such that each vertex's out-set induces a regular tournament (a doubly-regular tournament) or a transitive tournament (a rotational tournament). As $α$ increases, on the set of regular tournaments, $H_α$ has maximum value on doubly regular tournaments and minimum value on rotational tournaments. The more `regular', the higher the entropy. We show, however, that $H_2$ and $H_3$ are maximized, among all tournaments on any number of vertices by any regular tournament. We also provide a calculation that is equivalent to the von Neumann entropy, but may be applied to any directed or undirected graph and shows that the von Neumann entropy is a measure of how quickly a random walk on the graph or directed graph settles.
△ Less
Submitted 2 January, 2019; v1 submitted 22 December, 2018;
originally announced December 2018.
-
Virial Expansion Bounds Through Tree Partition Schemes
Authors:
Sanjay Ramawadh,
Stephen James Tate
Abstract:
In this paper, we use tree partition schemes and an algebraic expression for the virial coefficients in terms of the cluster coefficients in order to derve upper bounds on the virial coefficients and consequently lower bounds on the radius of convergence of the virial expansion $\mathcal{R}_{\textrm{Vir}}$. The bound on the radius of convergence in the case of the Penrose partition scheme is the s…
▽ More
In this paper, we use tree partition schemes and an algebraic expression for the virial coefficients in terms of the cluster coefficients in order to derve upper bounds on the virial coefficients and consequently lower bounds on the radius of convergence of the virial expansion $\mathcal{R}_{\textrm{Vir}}$. The bound on the radius of convergence in the case of the Penrose partition scheme is the same as that proposed by Groeneveld and improves the bound achieved by Lebowitz and Penrose.
△ Less
Submitted 9 April, 2015; v1 submitted 2 January, 2015;
originally announced January 2015.
-
A Solution to the Combinatorial Puzzle of Mayer's Virial Expansion
Authors:
Stephen James Tate
Abstract:
Mayer's second theorem in the context of a classical gas model allows us to write the coefficients of the virial expansion of pressure in terms of weighted two-connected graphs. Labelle, Leroux and Ducharme studied the graph weights arising from the one-dimensional hardcore gas model and noticed that the sum of these weights over all two-connected graphs with $n$ vertices is $-n(n-2)!$. This paper…
▽ More
Mayer's second theorem in the context of a classical gas model allows us to write the coefficients of the virial expansion of pressure in terms of weighted two-connected graphs. Labelle, Leroux and Ducharme studied the graph weights arising from the one-dimensional hardcore gas model and noticed that the sum of these weights over all two-connected graphs with $n$ vertices is $-n(n-2)!$. This paper addresses the question of achieving a purely combinatorial proof of this observation.
△ Less
Submitted 26 August, 2014; v1 submitted 10 February, 2014;
originally announced February 2014.
-
Multispecies Virial Expansions
Authors:
Sabine Jansen,
Stephen J. Tate,
Dimitrios Tsagkarogiannis,
Daniel Ueltschi
Abstract:
We study the virial expansion of mixtures of countably many different types of particles. The main tool is the Lagrange-Good inversion formula, which has other applications such as counting coloured trees or studying probability generating functions in multi-type branching processes. We prove that the virial expansion converges absolutely in a domain of small densities. In addition, we establish t…
▽ More
We study the virial expansion of mixtures of countably many different types of particles. The main tool is the Lagrange-Good inversion formula, which has other applications such as counting coloured trees or studying probability generating functions in multi-type branching processes. We prove that the virial expansion converges absolutely in a domain of small densities. In addition, we establish that the virial coefficients can be expressed in terms of two-connected graphs.
△ Less
Submitted 11 June, 2013; v1 submitted 8 April, 2013;
originally announced April 2013.
-
Virial Expansion Bounds
Authors:
Stephen James Tate
Abstract:
In the 1960s, the technique of using cluster expansion bounds in order to achieve bounds on the virial expansion was developed by Lebowitz and Penrose (1964) and Ruelle (1969). This technique is generalised to more recent cluster expansion bounds by Poghosyan and Ueltschi (2009), which are related to the work of Procacci (2007) and the tree-graph identity, detailed by Brydges (1986). The bounds ac…
▽ More
In the 1960s, the technique of using cluster expansion bounds in order to achieve bounds on the virial expansion was developed by Lebowitz and Penrose (1964) and Ruelle (1969). This technique is generalised to more recent cluster expansion bounds by Poghosyan and Ueltschi (2009), which are related to the work of Procacci (2007) and the tree-graph identity, detailed by Brydges (1986). The bounds achieved by Lebowitz and Penrose can also be sharpened by doing the actual optimisation and achieving expressions in terms of the Lambert W-function. The different bound from the cluster expansion shows some improvements for bounds on the convergence of the virial expansion in the case of positive potentials, which are allowed to have a hard core.
△ Less
Submitted 24 July, 2013; v1 submitted 26 March, 2013;
originally announced March 2013.
-
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.
-
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.
-
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.
-
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.
-
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.
-
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.
-
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.
-
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.
-
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.
-
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.
-
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.