-
Quantum Rainbow Codes
Authors:
Thomas R. Scruby,
Arthur Pesah,
Mark Webster
Abstract:
We introduce rainbow codes, a novel class of quantum error correcting codes generalising colour codes and pin codes. Rainbow codes can be defined on any $D$-dimensional simplicial complex that admits a valid $(D+1)$-colouring of its $0$-simplices. We study in detail the case where these simplicial complexes are derived from chain complexes obtained via the hypergraph product and, by reinterpreting…
▽ More
We introduce rainbow codes, a novel class of quantum error correcting codes generalising colour codes and pin codes. Rainbow codes can be defined on any $D$-dimensional simplicial complex that admits a valid $(D+1)$-colouring of its $0$-simplices. We study in detail the case where these simplicial complexes are derived from chain complexes obtained via the hypergraph product and, by reinterpreting these codes as collections of colour codes joined at domain walls, show that we can obtain code families with growing distance and number of encoded qubits as well as logical non-Clifford gates implemented by transversal application of $T$ and $T^†$. By combining these techniques with the quasi-hyperbolic colour codes of Zhu et al. (arXiv:2310.16982) we obtain families of codes with transversal non-Clifford gates and parameters $[\![n,O(n),O(log(n))]\!]$ which allow the magic-state yield parameter $γ= \log_d(n/k)$ to be made arbitrarily small. In contrast to other recent constructions that achieve $γ\rightarrow 0$ our codes are natively defined on qubits, are LDPC, and have logical non-Clifford gates implementable by single-qubit (rather than entangling) physical operations, but are not asymptotically good.
△ Less
Submitted 17 October, 2024; v1 submitted 23 August, 2024;
originally announced August 2024.
-
Importance Sampling based Exploration in Q Learning
Authors:
Vijay Kumar,
Mort Webster
Abstract:
Approximate Dynamic Programming (ADP) is a methodology to solve multi-stage stochastic optimization problems in multi-dimensional discrete or continuous spaces. ADP approximates the optimal value function by adaptively sampling both action and state space. It provides a tractable approach to very large problems, but can suffer from the exploration-exploitation dilemma. We propose a novel approach…
▽ More
Approximate Dynamic Programming (ADP) is a methodology to solve multi-stage stochastic optimization problems in multi-dimensional discrete or continuous spaces. ADP approximates the optimal value function by adaptively sampling both action and state space. It provides a tractable approach to very large problems, but can suffer from the exploration-exploitation dilemma. We propose a novel approach for selecting actions using importance sampling weighted by the value function approximation in continuous decision spaces to address this dilemma. An advantage of this approach is it balances exploration and exploitation without any tuning parameters when sampling actions compared to other exploration approaches such as Epsilon Greedy, instead relying only on the approximate value function. We compare the proposed algorithm with other exploration strategies in continuous action space in the context of a multi-stage generation expansion planning problem under uncertainty.
△ Less
Submitted 1 July, 2021;
originally announced July 2021.
-
The Rate of Convergence for Approximate Bayesian Computation
Authors:
Stuart Barber,
Jochen Voss,
Mark Webster
Abstract:
Approximate Bayesian Computation (ABC) is a popular computational method for likelihood-free Bayesian inference. The term "likelihood-free" refers to problems where the likelihood is intractable to compute or estimate directly, but where it is possible to generate simulated data $X$ relatively easily given a candidate set of parameters $θ$ simulated from a prior distribution. Parameters which gene…
▽ More
Approximate Bayesian Computation (ABC) is a popular computational method for likelihood-free Bayesian inference. The term "likelihood-free" refers to problems where the likelihood is intractable to compute or estimate directly, but where it is possible to generate simulated data $X$ relatively easily given a candidate set of parameters $θ$ simulated from a prior distribution. Parameters which generate simulated data within some tolerance $δ$ of the observed data $x^*$ are regarded as plausible, and a collection of such $θ$ is used to estimate the posterior distribution $θ\,|\,X\!=\!x^*$. Suitable choice of $δ$ is vital for ABC methods to return good approximations to $θ$ in reasonable computational time.
While ABC methods are widely used in practice, particularly in population genetics, study of the mathematical properties of ABC estimators is still in its infancy. We prove that ABC estimates converge to the exact solution under very weak assumptions and, under slightly stronger assumptions, quantify the rate of this convergence. Our results can be used to guide the choice of the tolerance parameter $δ$.
△ Less
Submitted 18 July, 2014; v1 submitted 8 November, 2013;
originally announced November 2013.
-
Regularity in the local CR embedding problem
Authors:
Xianghong Gong,
S. M. Webster
Abstract:
We consider a formally integrable, strictly pseudoconvex CR manifold $M$ of hypersurface type, of dimension $2n-1\geq7$. Local CR, i.e. holomorphic, embeddings of $M$ are known to exist from the works of Kuranishi and Akahori. We address the problem of regularity of the embedding in standard Hölder spaces $C^{a}(M)$, $a\in\mathbf{R}$. If the structure of $M$ is of class $C^{m}$,…
▽ More
We consider a formally integrable, strictly pseudoconvex CR manifold $M$ of hypersurface type, of dimension $2n-1\geq7$. Local CR, i.e. holomorphic, embeddings of $M$ are known to exist from the works of Kuranishi and Akahori. We address the problem of regularity of the embedding in standard Hölder spaces $C^{a}(M)$, $a\in\mathbf{R}$. If the structure of $M$ is of class $C^{m}$, $m\in\mathbf{Z}$, $4\leq m\leq\infty$, we construct a local CR embedding near each point of $M$. This embedding is of class $C^{a}$, for every $a$, $0\leq a < m+(1/2)$. Our method is based on Henkin's local homotopy formula for the embedded case, some very precise estimates for the solution operators in it, and a substantial modification of a previous Nash-Moser argument due to the second author.
△ Less
Submitted 24 November, 2009;
originally announced November 2009.
-
Regularity for the CR vector bundle problem II
Authors:
Xianghong Gong,
S. M. Webster
Abstract:
We derive a $\mathcal C^{k+\yt}$ Hölder estimate for
$Pφ$, where $P$ is either of the two solution operators in Henkin's local homotopy formula for $\bar\partial_b$ on a strongly pseudoconvex real hypersurface $M$ in $\mathbf C^{n}$, $φ$ is a $(0,q)$-form of class $\mathcal C^{k}$ on $M$, and $k\geq0$ is an integer. We also derive a $\mathcal C^{a}$ estimate for $Pφ$, when $φ$ is of class…
▽ More
We derive a $\mathcal C^{k+\yt}$ Hölder estimate for
$Pφ$, where $P$ is either of the two solution operators in Henkin's local homotopy formula for $\bar\partial_b$ on a strongly pseudoconvex real hypersurface $M$ in $\mathbf C^{n}$, $φ$ is a $(0,q)$-form of class $\mathcal C^{k}$ on $M$, and $k\geq0$ is an integer. We also derive a $\mathcal C^{a}$ estimate for $Pφ$, when $φ$ is of class $\mathcal C^{a}$ and $a\geq0$ is a real number. These estimates require that $M$ be of class $\mathcal C^{k+{5/2}}$, or $\mathcal C^{a+2}$, respectively. The explicit bounds for the constants occurring in these estimates also considerably improve previously known such results. These estimates are then applied to the integrability problem for CR vector bundles to gain improved regularity. They also constitute a major ingredient in a forthcoming work of the authors on the local CR embedding problem.
△ Less
Submitted 24 November, 2009;
originally announced November 2009.
-
Regularity for The CR Vector Bundle Problem I
Authors:
Xianghong Gong,
S. M. Webster
Abstract:
We give a new solution to the local integrability problem for CR vector bundles over strictly pseudoconvex real hypersurfaces of dimension seven or greater. It is based on a KAM rapid convergence argument and avoids the previous more difficult Nash-Moser methods. The solution is sharp as to Hölder continuity.
We give a new solution to the local integrability problem for CR vector bundles over strictly pseudoconvex real hypersurfaces of dimension seven or greater. It is based on a KAM rapid convergence argument and avoids the previous more difficult Nash-Moser methods. The solution is sharp as to Hölder continuity.
△ Less
Submitted 24 November, 2009;
originally announced November 2009.
