-
MoodCapture: Depression Detection Using In-the-Wild Smartphone Images
Authors:
Subigya Nepal,
Arvind Pillai,
Weichen Wang,
Tess Griffin,
Amanda C. Collins,
Michael Heinz,
Damien Lekkas,
Shayan Mirjafari,
Matthew Nemesure,
George Price,
Nicholas C. Jacobson,
Andrew T. Campbell
Abstract:
MoodCapture presents a novel approach that assesses depression based on images automatically captured from the front-facing camera of smartphones as people go about their daily lives. We collect over 125,000 photos in the wild from N=177 participants diagnosed with major depressive disorder for 90 days. Images are captured naturalistically while participants respond to the PHQ-8 depression survey…
▽ More
MoodCapture presents a novel approach that assesses depression based on images automatically captured from the front-facing camera of smartphones as people go about their daily lives. We collect over 125,000 photos in the wild from N=177 participants diagnosed with major depressive disorder for 90 days. Images are captured naturalistically while participants respond to the PHQ-8 depression survey question: \textit{``I have felt down, depressed, or hopeless''}. Our analysis explores important image attributes, such as angle, dominant colors, location, objects, and lighting. We show that a random forest trained with face landmarks can classify samples as depressed or non-depressed and predict raw PHQ-8 scores effectively. Our post-hoc analysis provides several insights through an ablation study, feature importance analysis, and bias assessment. Importantly, we evaluate user concerns about using MoodCapture to detect depression based on sharing photos, providing critical insights into privacy concerns that inform the future design of in-the-wild image-based mental health assessment tools.
△ Less
Submitted 25 February, 2024;
originally announced February 2024.
-
A modified chemostat exhibiting competitive exclusion "reversal"
Authors:
Thomas Griffin,
James Lathrop,
Rana Parshad
Abstract:
The classical chemostat is an intensely investigated model in ecology and bio/chemical engineering, where n-species, say $x_{1}, x_{2}...x_{n}$ compete for a single growth limiting nutrient. Classical theory predicts that depending on model parameters, one species competitively excludes all others. Furthermore, this ''order'' of strongest to weakest is preserved, $x_{1} >> x_{2} >> ...x_{n}$, for…
▽ More
The classical chemostat is an intensely investigated model in ecology and bio/chemical engineering, where n-species, say $x_{1}, x_{2}...x_{n}$ compete for a single growth limiting nutrient. Classical theory predicts that depending on model parameters, one species competitively excludes all others. Furthermore, this ''order'' of strongest to weakest is preserved, $x_{1} >> x_{2} >> ...x_{n}$, for say $D_{1} < D_{2} <...D_{n}$, where $D_{i}$ is the net removal of species $x_{i}$. Meaning $x_{1}$ is the strongest or most dominant species and $x_{n}$ is the weakest or least dominant. We propose a modified version of the classical chemostat, exhibiting certain counterintuitive dynamics. Herein we show that if only a certain proportion of the weakest species $x_{n}$'s population is removed at a ''very'' fast density dependent rate, it will in fact be able to competitively exclude all other species, for certain initial conditions. Numerical simulations are carried out to visualize these dynamics in the three species case.
△ Less
Submitted 20 June, 2024; v1 submitted 6 December, 2023;
originally announced December 2023.
-
Cutoff in the Bernoulli-Laplace Model With Unequal Colors and Urn Sizes
Authors:
Thomas Griffin,
Bailey Hall,
Jackson Hebner,
David Herzog,
Denis Selyuzhitsky,
Kevin Wong,
John Wright
Abstract:
We consider a generalization of the Bernoulli-Laplace model in which there are two urns and $n$ total balls, of which $r$ are red and $n - r$ white, and where the left urn holds $m$ balls. At each time increment, $k$ balls are chosen uniformly at random from each urn and then swapped. This system can be used to model phenomena such as gas particle interchange between containers or card shuffling.…
▽ More
We consider a generalization of the Bernoulli-Laplace model in which there are two urns and $n$ total balls, of which $r$ are red and $n - r$ white, and where the left urn holds $m$ balls. At each time increment, $k$ balls are chosen uniformly at random from each urn and then swapped. This system can be used to model phenomena such as gas particle interchange between containers or card shuffling. Under a reasonable set of assumptions, we bound the mixing time of the resulting Markov chain asymptotically in $n$ with cutoff at $\log{n}$ and constant window. Among other techniques, we employ the spectral analysis of arXiv:0906.4242 on the Markov transition kernel and the chain coupling tools of arXiv:2203.08647 and arXiv:1606.01437.
△ Less
Submitted 16 August, 2023;
originally announced August 2023.
-
Cocharge and skewing formulas for $Δ$-Springer modules and the Delta Conjecture
Authors:
Maria Gillespie,
Sean T. Griffin
Abstract:
We prove that $ωΔ'_{e_{k}}e_n|_{t=0}$, the symmetric function in the Delta Conjecture at $t=0$, is a skewing operator applied to a Hall-Littlewood polynomial, and generalize this formula to the Frobenius series of all $Δ$-Springer modules. We use this to give an explicit Schur expansion in terms of the Lascoux-Schützenberger cocharge statistic on a new combinatorial object that we call a \textit{b…
▽ More
We prove that $ωΔ'_{e_{k}}e_n|_{t=0}$, the symmetric function in the Delta Conjecture at $t=0$, is a skewing operator applied to a Hall-Littlewood polynomial, and generalize this formula to the Frobenius series of all $Δ$-Springer modules. We use this to give an explicit Schur expansion in terms of the Lascoux-Schützenberger cocharge statistic on a new combinatorial object that we call a \textit{battery-powered tableau}. Our proof is geometric, and shows that the $Δ$-Springer varieties of Levinson, Woo, and the second author are generalized Springer fibers coming from the partial resolutions of the nilpotent cone due to Borho and MacPherson.
We also give alternative combinatorial proofs of our Schur expansion for several special cases, and give conjectural skewing formulas for the $t$ and $t^2$ coefficients of $ωΔ'_{e_{k}}e_n$.
△ Less
Submitted 27 July, 2023; v1 submitted 5 July, 2023;
originally announced July 2023.
-
Tuning metal/superconductor to insulator/superconductor coupling via control of proximity enhancement between NbSe$_2$ monolayers
Authors:
Olivio Chiatti,
Klara Mihov,
Theodor U. Griffin,
Corinna Grosse,
Matti B. Alemayehu,
Kyle Hite,
Danielle Hamann,
Anna Mogilatenko,
David C. Johnson,
Saskia F. Fischer
Abstract:
The interplay between charge transfer and electronic disorder in transition-metal dichalcogenide multilayers gives rise to superconductive coupling driven by proximity enhancement, tunneling and superconducting fluctuations, of a yet unwieldy variety. Artificial spacer layers introduced with atomic precision change the density of states by charge transfer. Here, we tune the superconductive couplin…
▽ More
The interplay between charge transfer and electronic disorder in transition-metal dichalcogenide multilayers gives rise to superconductive coupling driven by proximity enhancement, tunneling and superconducting fluctuations, of a yet unwieldy variety. Artificial spacer layers introduced with atomic precision change the density of states by charge transfer. Here, we tune the superconductive coupling between NbSe$_2$ monolayers from proximity-enhanced to tunneling-dominated. We correlate normal and superconducting properties in [(SnSe)$_{1+δ}$]$_m$[NbSe$_2$]$_1$ tailored multilayers with varying SnSe layer thickness. From high-field magnetotransport the critical fields yield Ginzburg-Landau coherence lengths with an increase of 140 % cross-plane , trending towards two-dimensional superconductivity for m > 9. We show cross-over between three regimes: metallic with proximity-enhanced coupling, disordered-metallic with intermediate coupling and insulating with Josephson tunneling. Our results demonstrate that stacking metal mono- and dichalcogenides allows to convert a metal/superconductor into an insulator/superconductor system, prospecting the control of two-dimensional superconductivity in embedded layers.
△ Less
Submitted 2 December, 2022;
originally announced December 2022.
-
A proof of a conjecture by Monin and Rana on equations defining $\bar{M}_{0,n}$
Authors:
Maria Gillespie,
Sean T. Griffin,
Jake Levinson
Abstract:
Monin and Rana conjectured a set of equations defining the image of the moduli space $\bar{M}_{0,n}$ under an embedding into $\mathbb{P}^1\times \cdots\times \mathbb{P}^{n-3}$ due to Keel and Tevelev and verified the conjecture for $n\leq 8$ using Macaulay2. We prove this conjecture for all $n$.
Monin and Rana conjectured a set of equations defining the image of the moduli space $\bar{M}_{0,n}$ under an embedding into $\mathbb{P}^1\times \cdots\times \mathbb{P}^{n-3}$ due to Keel and Tevelev and verified the conjecture for $n\leq 8$ using Macaulay2. We prove this conjecture for all $n$.
△ Less
Submitted 14 September, 2022;
originally announced September 2022.
-
$Δ$-Springer varieties and Hall-Littlewood polynomials
Authors:
Sean T. Griffin
Abstract:
The $Δ$-Springer varieties are a generalization of Springer fibers introduced by Levinson, Woo, and the author that have connections to the Delta Conjecture from algebraic combinatorics. We prove a positive Hall-Littlewood expansion formula for the graded Frobenius characteristic of the cohomology ring of a $Δ$-Springer variety. We do this by interpreting the Frobenius characteristic in terms of c…
▽ More
The $Δ$-Springer varieties are a generalization of Springer fibers introduced by Levinson, Woo, and the author that have connections to the Delta Conjecture from algebraic combinatorics. We prove a positive Hall-Littlewood expansion formula for the graded Frobenius characteristic of the cohomology ring of a $Δ$-Springer variety. We do this by interpreting the Frobenius characteristic in terms of counting points over a finite field $\mathbb{F}_q$ and partitioning the $Δ$-Springer variety into copies of Springer fibers crossed with affine spaces. As a special case, our proof method gives a geometric meaning to a formula of Haglund, Rhoades, and Shimozono for the Hall-Littlewood expansion of the symmetric function in the Delta Conjecture at $t=0$.
△ Less
Submitted 7 September, 2022;
originally announced September 2022.
-
Orbit harmonics for the union of two orbits
Authors:
Sean T. Griffin
Abstract:
Garsia and Procesi, in their study of Springer's representation, proved that the cohomology ring of a Springer fiber is isomorphic to the associated graded ring of the coordinate ring of the $S_n$ orbit of a single point in $\mathbb{C}^n$. This construction was an essential tool in their analysis of the Springer representation, and variations of it have reappeared recently in several other combina…
▽ More
Garsia and Procesi, in their study of Springer's representation, proved that the cohomology ring of a Springer fiber is isomorphic to the associated graded ring of the coordinate ring of the $S_n$ orbit of a single point in $\mathbb{C}^n$. This construction was an essential tool in their analysis of the Springer representation, and variations of it have reappeared recently in several other combinatorial and geometric contexts under the name orbit harmonics. In this article, we analyze the orbit harmonics of a union of two $S_n$ orbits. We prove that when the coordinate sums of the two orbits are different, the corresponding graded $S_n$ representation is a direct sum of two Springer representations, one of which is shifted in degree by 1.
△ Less
Submitted 9 April, 2022;
originally announced April 2022.
-
Degenerations and multiplicity-free formulas for products of $ψ$ and $ω$ classes on $\overline{M}_{0,n}$
Authors:
Maria Gillespie,
Sean T. Griffin,
Jake Levinson
Abstract:
We consider products of $ψ$ classes and products of $ω$ classes on $\overline{M}_{0,n+3}$. For each product, we construct a flat family of subschemes of $\overline{M}_{0,n+3}$ whose general fiber is a complete intersection representing the product, and whose special fiber is a generically reduced union of boundary strata. Our construction is built up inductively as a sequence of one-parameter dege…
▽ More
We consider products of $ψ$ classes and products of $ω$ classes on $\overline{M}_{0,n+3}$. For each product, we construct a flat family of subschemes of $\overline{M}_{0,n+3}$ whose general fiber is a complete intersection representing the product, and whose special fiber is a generically reduced union of boundary strata. Our construction is built up inductively as a sequence of one-parameter degenerations, using an explicit parametrized collection of hyperplane sections. Combinatorially, our construction expresses each product as a positive, multiplicity-free sum of classes of boundary strata. These are given by a combinatorial algorithm on trees we call 'slide labeling'. As a corollary, we obtain a combinatorial formula for the $κ$ classes in terms of boundary strata.
For degree-$n$ products of $ω$ classes, the special fiber is a finite reduced union of (boundary) points, and its cardinality is one of the multidegrees of the corresponding embedding $Ω_n: \overline{M}_{0,n+3}\to \mathbb{P}^1\times \cdots \times \mathbb{P}^n$. In the case of the product $ω_1\cdots ω_n$, these points exhibit a connection to permutation pattern avoidance. Finally, we show that in certain cases, a prior interpretation of the multidegrees via tournaments can also be obtained by degenerations.
△ Less
Submitted 18 January, 2022;
originally announced January 2022.
-
Springer fibers and the Delta Conjecture at $t=0$
Authors:
Sean T. Griffin,
Jake Levinson,
Alexander Woo
Abstract:
We introduce a family of varieties $Y_{n,λ,s}$, which we call the \emph{$Δ$-Springer varieties}, that generalize the type A Springer fibers. We give an explicit presentation of the cohomology ring $H^*(Y_{n,λ,s})$ and show that there is a symmetric group action on this ring generalizing the Springer action on the cohomology of a Springer fiber. In particular, the top cohomology groups are inductio…
▽ More
We introduce a family of varieties $Y_{n,λ,s}$, which we call the \emph{$Δ$-Springer varieties}, that generalize the type A Springer fibers. We give an explicit presentation of the cohomology ring $H^*(Y_{n,λ,s})$ and show that there is a symmetric group action on this ring generalizing the Springer action on the cohomology of a Springer fiber. In particular, the top cohomology groups are induction products of Specht modules with trivial modules. The $λ=(1^k)$ case of this construction gives a compact geometric realization for the expression in the Delta Conjecture at $t=0$. Finally, we generalize results of De Concini and Procesi on the scheme of diagonal nilpotent matrices by constructing an ind-variety $Y_{n,λ}$ whose cohomology ring is isomorphic to the coordinate ring of the scheme-theoretic intersection of an Eisenbud--Saltman rank variety and diagonal matrices.
△ Less
Submitted 26 August, 2023; v1 submitted 1 September, 2021;
originally announced September 2021.
-
Lazy tournaments and multidegrees of a projective embedding of $\overline{M}_{0,n}$
Authors:
Maria Gillespie,
Sean T. Griffin,
Jake Levinson
Abstract:
We provide a new geometric interpretation of the multidegrees of the (iterated) Kapranov embedding $Φ_n:\overline{M}_{0,n+3}\hookrightarrow \mathbb{P}^1\times \mathbb{P}^2\times \cdots \times \mathbb{P}^n$, where $\overline{M}_{0,n+3}$ is the moduli space of stable genus $0$ curves with $n+3$ marked points. We enumerate the multidegrees by disjoint sets of boundary points of…
▽ More
We provide a new geometric interpretation of the multidegrees of the (iterated) Kapranov embedding $Φ_n:\overline{M}_{0,n+3}\hookrightarrow \mathbb{P}^1\times \mathbb{P}^2\times \cdots \times \mathbb{P}^n$, where $\overline{M}_{0,n+3}$ is the moduli space of stable genus $0$ curves with $n+3$ marked points. We enumerate the multidegrees by disjoint sets of boundary points of $\overline{M}_{0,n+3}$ via a combinatorial algorithm on trivalent trees that we call a lazy tournament. These sets are compatible with the forgetting maps used to derive the recursion for the multidegrees proven in 2020 by Gillespie, Cavalieri, and Monin.
The lazy tournament points are easily seen to total $(2n-1)!!=(2n-1)\cdot (2n-3) \cdots 5 \cdot 3 \cdot 1$, giving a natural proof of the fact that the total degree of $Φ_n$ is the odd double factorial. This fact was first proven using an insertion algorithm on certain parking functions, and we additionally give a bijection to those parking functions.
△ Less
Submitted 30 July, 2021;
originally announced August 2021.
-
Formally Verified Convergence of Policy-Rich DBF Routing Protocols
Authors:
Matthew L. Daggitt,
Timothy G. Griffin
Abstract:
In this paper we present new general convergence results about the behaviour of the Distributed Bellman-Ford (DBF) family of routing protocols, which includes distance-vector protocols (e.g. RIP) and path-vector protocols (e.g. BGP). Our results apply to ``policy-rich" protocols, by which we mean protocols that can have complex policies (e.g. conditional route transformations) that violate traditi…
▽ More
In this paper we present new general convergence results about the behaviour of the Distributed Bellman-Ford (DBF) family of routing protocols, which includes distance-vector protocols (e.g. RIP) and path-vector protocols (e.g. BGP). Our results apply to ``policy-rich" protocols, by which we mean protocols that can have complex policies (e.g. conditional route transformations) that violate traditional assumptions made in the standard presentation of Bellman-Ford protocols.
First, we propose a new algebraic model for abstract routing problems which has fewer primitives than previous models and can represent more expressive policy languages. The new model is also the first to allow concurrent reasoning about distance-vector and path-vector protocols.
Second, we demonstrate how DBF routing protocols are instances of a larger class of asynchronous iterative algorithms, for which there already exist powerful results about convergence. These results allow us to build upon conditions previously shown by Sobrinho to be sufficient and necessary for the convergence of path-vector protocols and strengthen them: we show that, with a minor modification, they also apply to distance-vector protocols; we prove they guarantee that the final routing solution reached is unique, thereby eliminating the possibility of anomalies such as BGP wedgies; we relax the model of asynchronous communication, showing that the results still hold if routing messages can be lost, reordered, and duplicated.
Thirdly, our model and our accompanying theoretical results have been fully formalised in the Agda theorem prover. The resulting library is a powerful tool for quickly prototyping and formally verifying new policy languages. As an example, we formally verify the correctness of a policy language with many of the features of BGP including communities, conditional policy, path-inflation and route filtering.
△ Less
Submitted 9 January, 2023; v1 submitted 2 June, 2021;
originally announced June 2021.
-
Dynamic Asynchronous Iterations
Authors:
Matthew L. Daggitt,
Timothy G. Griffin
Abstract:
Many problems can be solved by iteration by multiple participants (processors, servers, routers etc.). Previous mathematical models for such asynchronous iterations assume a single function being iterated by a fixed set of participants. We will call such iterations static since the system's configuration does not change. However in several real-world examples, such as inter-domain routing, both th…
▽ More
Many problems can be solved by iteration by multiple participants (processors, servers, routers etc.). Previous mathematical models for such asynchronous iterations assume a single function being iterated by a fixed set of participants. We will call such iterations static since the system's configuration does not change. However in several real-world examples, such as inter-domain routing, both the function being iterated and the set of participants change frequently while the system continues to function. In this paper we extend Uresin & Dubois's work on static iterations to develop a model for this class of "dynamic" or "always on" asynchronous iterations. We explore what it means for such an iteration to be implemented correctly, and then prove two different conditions on the set of iterated functions that guarantee the full asynchronous iteration satisfies this new definition of correctness. These results have been formalised in Agda and the resulting library is publicly available.
△ Less
Submitted 19 July, 2021; v1 submitted 2 December, 2020;
originally announced December 2020.
-
Enhanced Algal Photosynthetic Photon Efficiency by Pulsed Light
Authors:
Yair Zarmi,
Jeffrey M. Gordon,
Amit Mahulkar,
Avinash R. Khopkar,
Smita D. Patil,
Arun Banerjee,
Badari Gade Reddy,
Thomas P. Griffin,
Ajit Sapre
Abstract:
We present experimental results demonstrating that, relative to continuous illumination, an increase of a factor of 3-10 in the photon efficiency of algal photo-synthesis is attainable via the judicious application of pulsed light for light intensities of practical interest (e.g., average-to-peak solar photon flux). We also propose a simple model that can account for all the measurements. The mode…
▽ More
We present experimental results demonstrating that, relative to continuous illumination, an increase of a factor of 3-10 in the photon efficiency of algal photo-synthesis is attainable via the judicious application of pulsed light for light intensities of practical interest (e.g., average-to-peak solar photon flux). We also propose a simple model that can account for all the measurements. The model (1) reflects the essential rate-limiting elements in bio-productivity, (2) incorporates the impact of photon arrival-time statistics and (3) accounts for how the enhancement in photon efficiency depends on the timescales of light pulsing and photon flux density. The key is avoiding clogging of the photosynthetic pathway by properly timing the light-dark cycles experienced by algal cells. We show how this can be realized with pulsed light sources, or by producing pulsed-light effects from continuous illumination via turbulent mixing in dense algal cultures in thin photo-bioreactors.
△ Less
Submitted 11 September, 2020;
originally announced September 2020.
-
Ordered set partitions, Garsia-Procesi modules, and rank varieties
Authors:
Sean T. Griffin
Abstract:
We introduce a family of ideals $I_{n,λ,s}$ in $\mathbb{Q}[x_1,\dots,x_n]$ for $λ$ a partition of $k\leq n$ and an integer $s \geq \ell(λ)$. This family contains both the Tanisaki ideals $I_λ$ and the ideals $I_{n,k}$ of Haglund-Rhoades-Shimozono as special cases. We study the corresponding quotient rings $R_{n,λ,s}$ as symmetric group modules. When $n=k$ and $s$ is arbitrary, we recover the Garsi…
▽ More
We introduce a family of ideals $I_{n,λ,s}$ in $\mathbb{Q}[x_1,\dots,x_n]$ for $λ$ a partition of $k\leq n$ and an integer $s \geq \ell(λ)$. This family contains both the Tanisaki ideals $I_λ$ and the ideals $I_{n,k}$ of Haglund-Rhoades-Shimozono as special cases. We study the corresponding quotient rings $R_{n,λ,s}$ as symmetric group modules. When $n=k$ and $s$ is arbitrary, we recover the Garsia-Procesi modules, and when $λ=(1^k)$ and $s=k$, we recover the generalized coinvariant algebras of Haglund-Rhoades-Shimozono. We give a monomial basis for $R_{n,λ,s}$, unifying the monomial bases studied by Garsia-Procesi and Haglund-Rhoades-Shimozono, and realize the $S_n$-module structure of $R_{n,λ,s}$ in terms of an action on $(n,λ,s)$-ordered set partitions. We also prove formulas for the Hilbert series and graded Frobenius characteristic of $R_{n,λ,s}$. We then connect our work with Eisenbud-Saltman rank varieties using results of Weyman. As an application of our work, we give a monomial basis, Hilbert series formula, and graded Frobenius characteristic formula for the coordinate ring of the scheme-theoretic intersection of a rank variety with diagonal matrices.
△ Less
Submitted 23 July, 2021; v1 submitted 1 April, 2020;
originally announced April 2020.
-
Collaborative Learning of Semi-Supervised Clustering and Classification for Labeling Uncurated Data
Authors:
Sara Mousavi,
Dylan Lee,
Tatianna Griffin,
Dawnie Steadman,
Audris Mockus
Abstract:
Domain-specific image collections present potential value in various areas of science and business but are often not curated nor have any way to readily extract relevant content. To employ contemporary supervised image analysis methods on such image data, they must first be cleaned and organized, and then manually labeled for the nomenclature employed in the specific domain, which is a time consum…
▽ More
Domain-specific image collections present potential value in various areas of science and business but are often not curated nor have any way to readily extract relevant content. To employ contemporary supervised image analysis methods on such image data, they must first be cleaned and organized, and then manually labeled for the nomenclature employed in the specific domain, which is a time consuming and expensive endeavor. To address this issue, we designed and implemented the Plud system. Plud provides an iterative semi-supervised workflow to minimize the effort spent by an expert and handles realistic large collections of images. We believe it can support labeling datasets regardless of their size and type. Plud is an iterative sequence of unsupervised clustering, human assistance, and supervised classification. With each iteration 1) the labeled dataset grows, 2) the generality of the classification method and its accuracy increases, and 3) manual effort is reduced. We evaluated the effectiveness of our system, by applying it on over a million images documenting human decomposition. In our experiment comparing manual labeling with labeling conducted with the support of Plud, we found that it reduces the time needed to label data and produces highly accurate models for this new domain.
△ Less
Submitted 9 March, 2020;
originally announced March 2020.
-
An Analytical Workflow for Clustering Forensic Images
Authors:
Sara Mousavi,
Dylan Lee,
Tatianna Griffin,
Dawnie Steadman,
Audris Mockus
Abstract:
Large collections of images, if curated, drastically contribute to the quality of research in many domains. Unsupervised clustering is an intuitive, yet effective step towards curating such datasets. In this work, we present a workflow for unsupervisedly clustering a large collection of forensic images. The workflow utilizes classic clustering on deep feature representation of the images in additi…
▽ More
Large collections of images, if curated, drastically contribute to the quality of research in many domains. Unsupervised clustering is an intuitive, yet effective step towards curating such datasets. In this work, we present a workflow for unsupervisedly clustering a large collection of forensic images. The workflow utilizes classic clustering on deep feature representation of the images in addition to domain-related data to group them together. Our manual evaluation shows a purity of 89\% for the resulted clusters.
△ Less
Submitted 29 December, 2019;
originally announced January 2020.
-
Probabilistic Fitting of Topological Structure to Data
Authors:
James T. Griffin
Abstract:
We define a class of probability distributions that we call simplicial mixture models, inspired by simplicial complexes from algebraic topology. The parameters of these distributions represent their topology and we show that it is possible and feasible to fit topological structure to data using a maximum-likelihood approach. We prove under reasonable assumptions that with a fixed number of vertice…
▽ More
We define a class of probability distributions that we call simplicial mixture models, inspired by simplicial complexes from algebraic topology. The parameters of these distributions represent their topology and we show that it is possible and feasible to fit topological structure to data using a maximum-likelihood approach. We prove under reasonable assumptions that with a fixed number of vertices a distribution can be approximated arbitrarily closely by a simplicial mixture model when using enough simplices. Even if the topology is not of primary interest, when using a model that takes the topology of the data into account the vertex positions are good candidates for archetype/endmember vectors in unmixing problems.
△ Less
Submitted 22 September, 2019;
originally announced September 2019.
-
Existence and hardness of conveyor belts
Authors:
Molly Baird,
Sara C. Billey,
Erik D. Demaine,
Martin L. Demaine,
David Eppstein,
Sándor Fekete,
Graham Gordon,
Sean Griffin,
Joseph S. B. Mitchell,
Joshua P. Swanson
Abstract:
An open problem of Manuel Abellanas asks whether every set of disjoint closed unit disks in the plane can be connected by a conveyor belt, which means a tight simple closed curve that touches the boundary of each disk, possibly multiple times. We prove three main results. First, for unit disks whose centers are both $x$-monotone and $y$-monotone, or whose centers have $x$-coordinates that differ b…
▽ More
An open problem of Manuel Abellanas asks whether every set of disjoint closed unit disks in the plane can be connected by a conveyor belt, which means a tight simple closed curve that touches the boundary of each disk, possibly multiple times. We prove three main results. First, for unit disks whose centers are both $x$-monotone and $y$-monotone, or whose centers have $x$-coordinates that differ by at least two units, a conveyor belt always exists and can be found efficiently. Second, it is NP-complete to determine whether disks of varying radii have a conveyor belt, and it remains NP-complete when we constrain the belt to touch disks exactly once. Third, any disjoint set of $n$ disks of arbitrary radii can be augmented by $O(n)$ "guide" disks so that the augmented system has a conveyor belt touching each disk exactly once, answering a conjecture of Demaine, Demaine, and Palop.
△ Less
Submitted 20 August, 2019;
originally announced August 2019.
-
Large and Small Data Blow-Up Solutions in the Trojan Y Chromosome Model
Authors:
Rana D. Parshad,
Matthew A. Beauregard,
Eric M. Takyi,
Thomas Griffin,
Landrey Bobo
Abstract:
The Trojan Y Chromosome Strategy (TYC) is an extremely well investigated biological control method for controlling invasive populations with an XX-XY sex determinism. In \cite{GP12, WP14} various dynamical properties of the system are analyzed, including well posedness, boundedness of solutions, and conditions for extinction or recovery. These results are derived under the assumption of positive s…
▽ More
The Trojan Y Chromosome Strategy (TYC) is an extremely well investigated biological control method for controlling invasive populations with an XX-XY sex determinism. In \cite{GP12, WP14} various dynamical properties of the system are analyzed, including well posedness, boundedness of solutions, and conditions for extinction or recovery. These results are derived under the assumption of positive solutions. In the current manuscript, we show that if the introduction rate of trojan fish is zero, under certain large data assumptions, negative solutions are possible for the male population, which in turn can lead to finite time blow-up in the female and male populations. A comparable result is established for \emph{any} positive initial condition if the introduction rate of trojan fish is large enough. Similar finite time blow-up results are obtained in a spatial temporal TYC model that includes diffusion. Lastly, we investigate improvements to the TYC modeling construct that may dampen the mechanisms to the blow-up phenomenon or remove the negativity of solutions. The results draw into suspect the reliability of current TYC models under certain situations.
△ Less
Submitted 13 July, 2019;
originally announced July 2019.
-
Optimal Control and Analysis of a Modified Trojan Y-Chromosome Strategy
Authors:
Matthew A. Beauregard,
Rana D. Parshad,
Sarah Boon,
Harley Conaway,
Thomas Griffin,
Jingjing Lyu
Abstract:
The Trojan Y Chromosome (TYC) Strategy is a promising eradication method that attempts to manipulate the female to male ratio to promote the reduction of the population of an invasive species. The manipulation stems from an introduction of sex-reversed males, called supermales, into an ecosystem. The offspring of the supermales is guaranteed to be male. Mathematical models have shown that the popu…
▽ More
The Trojan Y Chromosome (TYC) Strategy is a promising eradication method that attempts to manipulate the female to male ratio to promote the reduction of the population of an invasive species. The manipulation stems from an introduction of sex-reversed males, called supermales, into an ecosystem. The offspring of the supermales is guaranteed to be male. Mathematical models have shown that the population can be driven to extinction with a continuous supply of supermales. In this paper, a new model of the TYC strategy is introduced and analyzed that includes two important modeling characteristics, that are neglected in all previous models. First, the new model includes intraspecies competition for mates. Second, a strong Allee effect is included. Several conclusions about the strategy via optimal control are established. These results have large scale implications for the biological control of invasive species.
△ Less
Submitted 8 July, 2019;
originally announced July 2019.
-
Data Infrastructure and Approaches for Ontology-Based Drug Repurposing
Authors:
Stephen Boyer,
Thomas Griffin,
Sarath Swaminathan,
Kenneth L. Clarkson,
Dmitry Zubarev
Abstract:
We report development of a data infrastructure for drug repurposing that takes advantage of two currently available chemical ontologies. The data infrastructure includes a database of compound- target associations augmented with molecular ontological labels. It also contains two computational tools for prediction of new associations. We describe two drug-repurposing systems: one, Nascent Ontologic…
▽ More
We report development of a data infrastructure for drug repurposing that takes advantage of two currently available chemical ontologies. The data infrastructure includes a database of compound- target associations augmented with molecular ontological labels. It also contains two computational tools for prediction of new associations. We describe two drug-repurposing systems: one, Nascent Ontological Information Retrieval for Drug Repurposing (NOIR-DR), based on an information retrieval strategy, and another, based on non-negative matrix factorization together with compound similarity, that was inspired by recommender systems. We report the performance of both tools on a drug-repurposing task.
△ Less
Submitted 12 July, 2018;
originally announced July 2018.
-
Conformational dynamics of charged polymers interacting with charged nanoparticles
Authors:
Yuanzheng Zhu,
Zixiang Liu,
Michael T. Griffin,
David N. Ku,
Cyrus K. Aidun
Abstract:
The transition from globular to elongated states of biopolymers in shear flow occurs at a distinct critical shear rate, $\dot{γ}^{*}$. The magnitude of $\dot{γ}^{*}$ depends on the internal potential and the polymer length. For example, the critical shear is much larger for von Willebrand Factor (vWF) compared to DNA. Furthermore, it is shown through computational analysis of vWF (model-vWF) that…
▽ More
The transition from globular to elongated states of biopolymers in shear flow occurs at a distinct critical shear rate, $\dot{γ}^{*}$. The magnitude of $\dot{γ}^{*}$ depends on the internal potential and the polymer length. For example, the critical shear is much larger for von Willebrand Factor (vWF) compared to DNA. Furthermore, it is shown through computational analysis of vWF (model-vWF) that $\dot{γ}^{*}\sim N^{1/3}$, where N is the number of dimeric units in the vWF. In this study, we show that in the presence of charged nanoparticles (CNP) and polymer, the critical shear rate scales differently depending on the polymer length and the charge-strength of the CNP. It is shown that CNP alter the conformational dynamics of polymers under shear flow when the polymer beads have an opposite charge. The introduction of CNP shifts the critical shear rate and alters the scaling. Furthermore, it is shown that the critical zeta potential of CNP, $ζ^{*}$, scales linearly with shear rate, and scales cubically with ratio $β$ between final CNP-polymer composite size and original polymer size, that is $ζ^{*}\sim \dot{γ}β^{-3}$.
△ Less
Submitted 17 June, 2018;
originally announced June 2018.
-
Incoherent transport for phases that spontaneously break translations
Authors:
Aristomenis Donos,
Jerome P. Gauntlett,
Tom Griffin,
Vaios Ziogas
Abstract:
We consider phases of matter at finite charge density which spontaneously break spatial translations. Without taking a hydrodynamic limit we identify a boost invariant incoherent current operator. We also derive expressions for the small frequency behaviour of the thermoelectric conductivities generalising those that have been derived in a translationally invariant context. Within holographic cons…
▽ More
We consider phases of matter at finite charge density which spontaneously break spatial translations. Without taking a hydrodynamic limit we identify a boost invariant incoherent current operator. We also derive expressions for the small frequency behaviour of the thermoelectric conductivities generalising those that have been derived in a translationally invariant context. Within holographic constructions we show that the DC conductivity for the incoherent current can be obtained from a solution to a Stokes flow for an auxiliary fluid on the black hole horizon combined with specific thermodynamic quantities associated with the equilibrium black hole solutions.
△ Less
Submitted 10 April, 2018; v1 submitted 27 January, 2018;
originally announced January 2018.
-
Labeled binary trees, subarrangements of the Catalan arrangements, and Schur positivity
Authors:
Ira M. Gessel,
Sean T. Griffin,
Vasu Tewari
Abstract:
In 1995, the first author introduced a multivariate generating function {$G$} that tracks the distribution of ascents and descents in labeled binary trees. In addition to proving that $G$ is symmetric, he conjectured that $G$ is Schur positive. We prove this conjecture by expanding $G$ positively in terms of ribbon Schur functions. We obtain this expansion using a weight-preserving bijection whose…
▽ More
In 1995, the first author introduced a multivariate generating function {$G$} that tracks the distribution of ascents and descents in labeled binary trees. In addition to proving that $G$ is symmetric, he conjectured that $G$ is Schur positive. We prove this conjecture by expanding $G$ positively in terms of ribbon Schur functions. We obtain this expansion using a weight-preserving bijection whose inverse is inspired by the Push-Glide algorithm of Préville-Ratelle and Viennot. In fact, this weight-preserving bijection allows us to establish a stronger version of the first author's conjecture showing that the generating function restricted to labeled binary trees with a fixed canopy is still Schur positive.
We also discuss applications in the setting of hyperplane arrangements. We show that a certain specialization of $G$ equals the Frobenius characteristic of the natural $\mathfrak{S}_n$-action on regions of the semiorder arrangement, which we then expand in terms of {the Frobenius characteristics} of Foulkes characters. We also construct an $\mathfrak{S}_n$-action on regions of the Linial arrangement using a set of trees studied by Bernardi, and subsequently compute the character of this action by employing Lagrange inversion. The resulting expression generalizes Postnikov's formula for the number of regions in the Linial arrangement. As a final application, we prove $γ$-nonnegativity for the distribution of the number of right edges over local binary search trees.
△ Less
Submitted 27 September, 2019; v1 submitted 9 June, 2017;
originally announced June 2017.
-
Holographic DC conductivity and Onsager relations
Authors:
Aristomenis Donos,
Jerome P. Gauntlett,
Tom Griffin,
Nakarin Lohitsiri,
Luis Melgar
Abstract:
Within holography the DC conductivity can be obtained by solving a system of Stokes equations for an auxiliary fluid living on the black hole horizon. We show that these equations can be derived from a novel variational principle involving a functional that depends on the fluid variables of interest as well as the time reversed quantities. This leads to simple derivation of the Onsager relations f…
▽ More
Within holography the DC conductivity can be obtained by solving a system of Stokes equations for an auxiliary fluid living on the black hole horizon. We show that these equations can be derived from a novel variational principle involving a functional that depends on the fluid variables of interest as well as the time reversed quantities. This leads to simple derivation of the Onsager relations for the conductivity. We also obtain the relevant Stokes equations for bulk theories of gravity in four dimensions including a $\vartheta F\wedge F$ term in the Lagrangian, where $\vartheta$ is a function of dynamical scalar fields. We discuss various realisations of the anomalous Hall conductivity that this term induces and also solve the Stokes equations for holographic lattices which break translations in one spatial dimension.
△ Less
Submitted 27 June, 2017; v1 submitted 17 April, 2017;
originally announced April 2017.
-
Quantization of Horava Gravity in 2+1 Dimensions
Authors:
Tom Griffin,
Kevin T. Grosvenor,
Charles M. Melby-Thompson,
Ziqi Yan
Abstract:
We study quantum corrections to projectable Horava gravity with $z = 2$ scaling in 2+1 dimensions. Using the background field method, we utilize a non-singular gauge to compute the anomalous dimension of the cosmological constant at one loop, in a normalization adapted to the spatial curvature term.
We study quantum corrections to projectable Horava gravity with $z = 2$ scaling in 2+1 dimensions. Using the background field method, we utilize a non-singular gauge to compute the anomalous dimension of the cosmological constant at one loop, in a normalization adapted to the spatial curvature term.
△ Less
Submitted 12 June, 2017; v1 submitted 27 January, 2017;
originally announced January 2017.
-
DC Conductivity and Higher Derivative Gravity
Authors:
Aristomenis Donos,
Jerome P. Gauntlett,
Tom Griffin,
Luis Melgar
Abstract:
For Gauss-Bonnet gravity and in the context of holography we show how the thermal DC conductivity can be obtained by solving a generalised system of Stokes equations for an auxiliary fluid on a curved black hole horizon. For more general higher derivative theories of gravity coupled to gauge-fields, we also analyse the linearised thermal and electric currents that are produced by DC thermal and el…
▽ More
For Gauss-Bonnet gravity and in the context of holography we show how the thermal DC conductivity can be obtained by solving a generalised system of Stokes equations for an auxiliary fluid on a curved black hole horizon. For more general higher derivative theories of gravity coupled to gauge-fields, we also analyse the linearised thermal and electric currents that are produced by DC thermal and electric sources. We show how suitably defined DC transport current fluxes of the dual field theory are given by current fluxes defined at the black horizon.
△ Less
Submitted 31 May, 2017; v1 submitted 5 January, 2017;
originally announced January 2017.
-
Design and Construction of the MicroBooNE Detector
Authors:
MicroBooNE Collaboration,
R. Acciarri,
C. Adams,
R. An,
A. Aparicio,
S. Aponte,
J. Asaadi,
M. Auger,
N. Ayoub,
L. Bagby,
B. Baller,
R. Barger,
G. Barr,
M. Bass,
F. Bay,
K. Biery,
M. Bishai,
A. Blake,
V. Bocean,
D. Boehnlein,
V. D. Bogert,
T. Bolton,
L. Bugel,
C. Callahan,
L. Camilleri
, et al. (215 additional authors not shown)
Abstract:
This paper describes the design and construction of the MicroBooNE liquid argon time projection chamber and associated systems. MicroBooNE is the first phase of the Short Baseline Neutrino program, located at Fermilab, and will utilize the capabilities of liquid argon detectors to examine a rich assortment of physics topics. In this document details of design specifications, assembly procedures, a…
▽ More
This paper describes the design and construction of the MicroBooNE liquid argon time projection chamber and associated systems. MicroBooNE is the first phase of the Short Baseline Neutrino program, located at Fermilab, and will utilize the capabilities of liquid argon detectors to examine a rich assortment of physics topics. In this document details of design specifications, assembly procedures, and acceptance tests are reported.
△ Less
Submitted 17 January, 2017; v1 submitted 17 December, 2016;
originally announced December 2016.
-
Thermal backflow in CFTs
Authors:
Elliot Banks,
Aristomenis Donos,
Jerome P. Gauntlett,
Tom Griffin,
Luis Melgar
Abstract:
We study the thermal transport properties of general conformal field theories (CFTs) on curved spacetimes in the leading order viscous hydrodynamic limit. At the level of linear response, we show that the thermal transport is governed by a system of forced linearised Navier-Stokes equations on a curved space. Our setup includes CFTs in flat spacetime that have been deformed by spatially dependent…
▽ More
We study the thermal transport properties of general conformal field theories (CFTs) on curved spacetimes in the leading order viscous hydrodynamic limit. At the level of linear response, we show that the thermal transport is governed by a system of forced linearised Navier-Stokes equations on a curved space. Our setup includes CFTs in flat spacetime that have been deformed by spatially dependent and periodic local temperature variations or strains that have been applied to the CFT, and hence is relevant to CFTs arising in condensed matter systems at zero charge density. We provide specific examples of deformations which lead to thermal backflow driven by a DC source: that is, the thermal currents locally flow in the opposite direction to the applied DC thermal source. We also consider thermal transport for relativistic quantum field theories that are not conformally invariant.
△ Less
Submitted 10 January, 2017; v1 submitted 2 October, 2016;
originally announced October 2016.
-
Holographic thermal DC response in the hydrodynamic limit
Authors:
Elliot Banks,
Aristomenis Donos,
Jerome P. Gauntlett,
Tom Griffin,
Luis Melgar
Abstract:
We consider black hole solutions of Einstein gravity that describe deformations of CFTs at finite temperature in which spatial translations have been broken explicitly. We focus on deformations that are periodic in the non-compact spatial directions, which effectively corresponds to considering the CFT on a spatial torus with a non-trivial metric. We apply a DC thermal gradient and show that in a…
▽ More
We consider black hole solutions of Einstein gravity that describe deformations of CFTs at finite temperature in which spatial translations have been broken explicitly. We focus on deformations that are periodic in the non-compact spatial directions, which effectively corresponds to considering the CFT on a spatial torus with a non-trivial metric. We apply a DC thermal gradient and show that in a hydrodynamic limit the linearised, local thermal currents can be determined by solving linearised, forced Navier-Stokes equations for an incompressible fluid on the torus. We also show how sub-leading corrections to the thermal current can be calculated as well as showing how the full stress tensor response that is generated by the DC source can be obtained. We also compare our results with the fluid-gravity approach.
△ Less
Submitted 10 January, 2017; v1 submitted 28 September, 2016;
originally announced September 2016.
-
DC Conductivity of Magnetised Holographic Matter
Authors:
Aristomenis Donos,
Jerome P. Gauntlett,
Tom Griffin,
Luis Melgar
Abstract:
We consider general black hole solutions of Einstein-Maxwell-scalar theory that are holographically dual to conformal field theories at finite charge density with non-vanishing magnetic fields and local magnetisation currents, which generically break translation invariance explicitly. We show that the thermoelectric DC conductivity of the field theory can be obtained by solving a system of general…
▽ More
We consider general black hole solutions of Einstein-Maxwell-scalar theory that are holographically dual to conformal field theories at finite charge density with non-vanishing magnetic fields and local magnetisation currents, which generically break translation invariance explicitly. We show that the thermoelectric DC conductivity of the field theory can be obtained by solving a system of generalised Stokes equations on the black hole horizon. For various examples, including Q-lattices and one-dimensional lattices, we solve the Stokes equations explicitly and obtain expressions for the DC conductivity in terms of the solution at the black hole horizon.
△ Less
Submitted 16 January, 2016; v1 submitted 2 November, 2015;
originally announced November 2015.
-
Cascading Multicriticality in Nonrelativistic Spontaneous Symmetry Breaking
Authors:
Tom Griffin,
Kevin T. Grosvenor,
Petr Horava,
Ziqi Yan
Abstract:
Without Lorentz invariance, spontaneous global symmetry breaking can lead to multicritical Nambu-Goldstone modes with a higher-order low-energy dispersion $ω\sim k^n$ ($n=2,3,\ldots$), whose naturalness is protected by polynomial shift symmetries. Here we investigate the role of infrared divergences and the nonrelativistic generalization of the Coleman-Hohenberg-Mermin-Wagner (CHMW) theorem. We fi…
▽ More
Without Lorentz invariance, spontaneous global symmetry breaking can lead to multicritical Nambu-Goldstone modes with a higher-order low-energy dispersion $ω\sim k^n$ ($n=2,3,\ldots$), whose naturalness is protected by polynomial shift symmetries. Here we investigate the role of infrared divergences and the nonrelativistic generalization of the Coleman-Hohenberg-Mermin-Wagner (CHMW) theorem. We find novel cascading phenomena with large hierarchies between the scales at which the value of $n$ changes, leading to an evasion of the "no-go" consequences of the relativistic CHMW theorem.
△ Less
Submitted 24 July, 2015;
originally announced July 2015.
-
Scalar Field Theories with Polynomial Shift Symmetries
Authors:
Tom Griffin,
Kevin T. Grosvenor,
Petr Horava,
Ziqi Yan
Abstract:
We continue our study of naturalness in nonrelativistic QFTs of the Lifshitz type, focusing on scalar fields that can play the role of Nambu-Goldstone (NG) modes associated with spontaneous symmetry breaking. Such systems allow for an extension of the constant shift symmetry to a shift by a polynomial of degree $P$ in spatial coordinates. These "polynomial shift symmetries" in turn protect the tec…
▽ More
We continue our study of naturalness in nonrelativistic QFTs of the Lifshitz type, focusing on scalar fields that can play the role of Nambu-Goldstone (NG) modes associated with spontaneous symmetry breaking. Such systems allow for an extension of the constant shift symmetry to a shift by a polynomial of degree $P$ in spatial coordinates. These "polynomial shift symmetries" in turn protect the technical naturalness of modes with a higher-order dispersion relation, and lead to a refinement of the proposed classification of infrared Gaussian fixed points available to describe NG modes in nonrelativistic theories. Generic interactions in such theories break the polynomial shift symmetry explicitly to the constant shift. It is thus natural to ask: Given a Gaussian fixed point with polynomial shift symmetry of degree $P$, what are the lowest-dimension operators that preserve this symmetry, and deform the theory into a self-interacting scalar field theory with the shift symmetry of degree $P$? To answer this (essentially cohomological) question, we develop a new graph-theoretical technique, and use it to prove several classification theorems. First, in the special case of $P=1$ (essentially equivalent to Galileons), we reproduce the known Galileon $N$-point invariants, and find their novel interpretation in terms of graph theory, as an equal-weight sum over all labeled trees with $N$ vertices. Then we extend the classification to $P>1$ and find a whole host of new invariants, including those that represent the most relevant (or least irrelevant) deformations of the corresponding Gaussian fixed points, and we study their uniqueness.
△ Less
Submitted 3 August, 2015; v1 submitted 2 December, 2014;
originally announced December 2014.
-
Minimal Pancyclicity
Authors:
Sean Griffin
Abstract:
A pancyclic graph is a simple graph containing a cycle of length $k$ for all $3\leq k\leq n$. Let $m(n)$ be the minimum number of edges of all pancyclic graphs on $n$ vertices. Exact values are given for $m(n)$ for $n\leq 37$, combining calculations from an exhaustive search on graphs with up to 29 vertices with a construction that works for up to 37 vertices. The behavior of $m(n)$ in general is…
▽ More
A pancyclic graph is a simple graph containing a cycle of length $k$ for all $3\leq k\leq n$. Let $m(n)$ be the minimum number of edges of all pancyclic graphs on $n$ vertices. Exact values are given for $m(n)$ for $n\leq 37$, combining calculations from an exhaustive search on graphs with up to 29 vertices with a construction that works for up to 37 vertices. The behavior of $m(n)$ in general is also explored, including a proof of the conjecture that $m(n+1)>m(n)$ for all $n$ in some special cases.
△ Less
Submitted 1 December, 2013;
originally announced December 2013.
-
Multicritical Symmetry Breaking and Naturalness of Slow Nambu-Goldstone Bosons
Authors:
Tom Griffin,
Kevin T. Grosvenor,
Petr Horava,
Ziqi Yan
Abstract:
We investigate spontaneous global symmetry breaking in the absence of Lorentz invariance, and study technical Naturalness of Nambu-Goldstone (NG) modes whose dispersion relation exhibits a hierarchy of multicritical phenomena with Lifshitz scaling and dynamical exponents $z>1$. For example, we find NG modes with a technically natural quadratic dispersion relation which do not break time reversal s…
▽ More
We investigate spontaneous global symmetry breaking in the absence of Lorentz invariance, and study technical Naturalness of Nambu-Goldstone (NG) modes whose dispersion relation exhibits a hierarchy of multicritical phenomena with Lifshitz scaling and dynamical exponents $z>1$. For example, we find NG modes with a technically natural quadratic dispersion relation which do not break time reversal symmetry and are associated with a single broken symmetry generator, not a pair. The mechanism is protected by an enhanced `polynomial shift' symmetry in the free-field limit.
△ Less
Submitted 2 September, 2013; v1 submitted 27 August, 2013;
originally announced August 2013.
-
Lifshitz Gravity for Lifshitz Holography
Authors:
Tom Griffin,
Petr Horava,
Charles M. Melby-Thompson
Abstract:
We argue that Horava-Lifshitz (HL) gravity provides the minimal holographic dual for Lifshitz-type field theories with anisotropic scaling and dynamical exponent z. First we show that Lifshitz spacetimes are vacuum solutions of HL gravity, without need for additional matter. Then we perform holographic renormalization of HL gravity, and show how it reproduces the full structure of the z=2 anisotro…
▽ More
We argue that Horava-Lifshitz (HL) gravity provides the minimal holographic dual for Lifshitz-type field theories with anisotropic scaling and dynamical exponent z. First we show that Lifshitz spacetimes are vacuum solutions of HL gravity, without need for additional matter. Then we perform holographic renormalization of HL gravity, and show how it reproduces the full structure of the z=2 anisotropic Weyl anomaly in dual field theories in 2+1 dimensions, while its minimal relativistic gravity counterpart yields only one of two independent central charges in the anomaly.
△ Less
Submitted 20 November, 2012;
originally announced November 2012.
-
Demonstration of Communication using Neutrinos
Authors:
D. D. Stancil,
P. Adamson,
M. Alania,
L. Aliaga,
M. Andrews,
C. Araujo Del Castillo,
L. Bagby,
J. L. Bazo Alba,
A. Bodek,
D. Boehnlein,
R. Bradford,
W. K. Brooks,
H. Budd,
A. Butkevich,
D. A. M. Caicedo,
D. P. Capista,
C. M. Castromonte,
A. Chamorro,
E. Charlton,
M. E. Christy,
J. Chvojka,
P. D. Conrow,
I. Danko,
M. Day,
J. Devan
, et al. (87 additional authors not shown)
Abstract:
Beams of neutrinos have been proposed as a vehicle for communications under unusual circumstances, such as direct point-to-point global communication, communication with submarines, secure communications and interstellar communication. We report on the performance of a low-rate communications link established using the NuMI beam line and the MINERvA detector at Fermilab. The link achieved a decode…
▽ More
Beams of neutrinos have been proposed as a vehicle for communications under unusual circumstances, such as direct point-to-point global communication, communication with submarines, secure communications and interstellar communication. We report on the performance of a low-rate communications link established using the NuMI beam line and the MINERvA detector at Fermilab. The link achieved a decoded data rate of 0.1 bits/sec with a bit error rate of 1% over a distance of 1.035 km, including 240 m of earth.
△ Less
Submitted 9 April, 2012; v1 submitted 13 March, 2012;
originally announced March 2012.
-
Conformal Lifshitz Gravity from Holography
Authors:
Tom Griffin,
Petr Horava,
Charles M. Melby-Thompson
Abstract:
We show that holographic renormalization of relativistic gravity in asymptotically Lifshitz spacetimes naturally reproduces the structure of gravity with anisotropic scaling: The holographic counterterms induced near anisotropic infinity take the form of the action for gravity at a Lifshitz point, with the appropriate value of the dynamical critical exponent $z$. In the particular case of 3+1 bulk…
▽ More
We show that holographic renormalization of relativistic gravity in asymptotically Lifshitz spacetimes naturally reproduces the structure of gravity with anisotropic scaling: The holographic counterterms induced near anisotropic infinity take the form of the action for gravity at a Lifshitz point, with the appropriate value of the dynamical critical exponent $z$. In the particular case of 3+1 bulk dimensions and $z=2$ asymptotic scaling near infinity, we find a logarithmic counterterm, related to anisotropic Weyl anomaly of the dual CFT, and show that this counterterm reproduces precisely the action of conformal gravity at a $z=2$ Lifshitz point in 2+1 dimensions, which enjoys anisotropic local Weyl invariance and satisfies the detailed balance condition. We explain how the detailed balance is a consequence of relations among holographic counterterms, and point out that a similar relation holds in the relativistic case of holography in $AdS_5$. Upon analytic continuation, analogous to the relativistic case studied recently by Maldacena, the action of conformal gravity at the $z=2$ Lifshitz point features in the ground-state wavefunction of a gravitational system with an interesting type of spatial anisotropy.
△ Less
Submitted 3 April, 2012; v1 submitted 23 December, 2011;
originally announced December 2011.
-
Spin lattices with two-body Hamiltonians for which the ground state encodes a cluster state
Authors:
Tom Griffin,
Stephen D. Bartlett
Abstract:
We present a general procedure for constructing lattices of qubits with a Hamiltonian composed of nearest-neighbour two-body interactions such that the ground state encodes a cluster state. We give specific details for lattices in one-, two-, and three-dimensions, investigating both periodic and fixed boundary conditions, as well as present a proof for the applicability of this procedure to any…
▽ More
We present a general procedure for constructing lattices of qubits with a Hamiltonian composed of nearest-neighbour two-body interactions such that the ground state encodes a cluster state. We give specific details for lattices in one-, two-, and three-dimensions, investigating both periodic and fixed boundary conditions, as well as present a proof for the applicability of this procedure to any graph. We determine the energy gap of these systems, which is shown to be independent of the size of the lattice but dependent on the type of lattice (in particular, the coordination number), and investigate the scaling of this gap in terms of the coupling constants of the Hamiltonian. We provide a comparative analysis of the different lattice types with respect to their usefulness for measurement-based quantum computation.
△ Less
Submitted 5 January, 2009; v1 submitted 19 May, 2008;
originally announced May 2008.