BZPEERReading, trust and collaboration for research
Menu

Discover

GraphFollow connections around a paper, topic or saved view.

Workspaces

HomePick up where your research flow left off.InboxHandle requests, replies and notifications from one place.CollectionsCurate reading lists, evidence sets and shareable dossiers.ResearchSee your private provenance graph, trail and imports.CollaborationMove from discovery into focused discussion rooms.PublishDraft, preview and publish full-text research articles.

Network

ExpertsFind specialists worth following or asking for help.CommunitiesJoin research circles organized around shared work.PartnersSee external organizations active around the same topics.

Opportunities

ListingsBrowse roles, calls and collaborations with clearer fit signals.

Account

Log inReturn to your reading and collaboration workspace.Create accountStart saving work, following people and joining teams.
Log inCreate account

Researcher profile

Michael H. Freedman

Michael H. Freedman contributes to research discovery and scholarly infrastructure.

ResearcherAffiliation not importedOpen to collaborate
math.GTquant-phmath-phmath.MPcond-mat.mes-hallcond-mat.str-elhep-thArtificial IntelligenceComputational Complexitycond-mat.stat-mechcond-mat.supr-conecon.THgr-qcInformation TheoryMachine Learningmath.COmath.DGmath.FAmath.ITmath.QA

Trust snapshot

Quick read

Trust 21 - Emerging
16works
0followers
20topics
4close collaborators

Actions

Decide how to stay connected

Follow researcher0

Research graph

See the researcher in context

Open full explorer

Inspect adjacent work, topics, institutions and collaborators without jumping out to a separate graph page.

Building this graph slice

BZPEER is loading the nearby papers, people, topics and institutions for this page.

Published work

16 published item(s)

preprint2026arXiv

Kolmogorov--Arnold stability

Regarding the representation theorem of Kolmogorov and Arnold (KA) as an algorithm for representing or <<expressing>> functions, we test its robustness by analyzing its stability to withstand re-parameterizations of the hidden space. One may think of such re-parameterizations as the work of an adversary attempting to foil the construction of the KA outer function. We find KA to be stable under countable collections of continuous re-parameterizations, but unearth a question about the equi-continuity of the outer functions that, so far, obstructs taking limits and defeating continuous groups of re-parameterizations. This question on the regularity of the outer functions is relevant to the debate over the applicability of KA to the general theory of NNs.

0 citations0 reviewsNo code linkedOpen access
preprint2023arXiv

An Improved Long-Time Bishop-Gromov Theorem Using Shear

The Bishop-Gromov theorem is a comparison theorem of differential geometry that upperbounds the growth of volume of a geodesic ball in a curved space. For many spaces, this bound is far from tight. We identify a major reason the bound fails to be tight: it neglects the effect of shear. By using higher curvature invariants to lowerbound the average shear, we are able to place tighter-than-Bishop-Gromov upperbounds on the late-time growth rates of geodesic balls in homogeneous spaces with non-positive sectional curvature. We also provide concrete guidance on how our theorem can be generalized to inhomogeneous spaces, to spaces with positive sectional curvatures, and to intermediate and short times. In arXiv:2209.09288 we discovered an enhancement to the BG theorem that was strongest at early times, and that relied upon additive properties of families of Jacobi equations; in this paper we find a different enhancement at late times that connects to multiplicative properties of families of Jacobi equations. A novel feature shared by both papers is the consideration of families of equations that are not coupled but whose coefficients are correlated.

0 citations0 reviewsNo code linkedOpen access
preprint2016arXiv

A geometric protocol for a robust Majorana magic gate

A universal quantum computer requires a full set of basic quantum gates. With Majorana bound states one can form all necessary quantum gates in a topologically protected way, bar one. In this manuscript we present a protocol that achieves the missing, so called, $π/8$ &#39;magic&#39; phase gate. The protocol is based on the manipulation of geometric phases in a universal manner, and does not require fine tuning for distinct physical realizations. The protocol converges exponentially with the number of steps in the geometric path. Furthermore, the magic gate protocol relies on the most basic hardware previously suggested for topologically protected gates, and can be extended to any-phase-gate, where $π/8$ is substituted by any $α$.

0 citations0 reviewsNo code linkedOpen access
preprint2016arXiv

Double semions in arbitrary dimension

We present a generalization of the double semion topological quantum field theory to higher dimensions, as a theory of $d-1$ dimensional surfaces in a $d$ dimensional ambient space. We construct a local Hamiltonian which is a sum of commuting projectors and analyze the excitations and the ground state degeneracy. Defining a consistent set of local rules requires the sign structure of the ground state wavefunction to depend not just on the number of disconnected surfaces, but also upon their higher Betti numbers through the semicharacteristic. For odd $d$ the theory is related to the toric code by a local unitary transformation, but for even $d$ the dimension of the space of zero energy ground states is in general different from the toric code and for even $d>2$ it is also in general different from that of the twisted $Z_2$ Dijkgraaf-Witten model.

0 citations0 reviewsNo code linkedOpen access
preprint2016arXiv

Quantum Max-flow/Min-cut

The classical max-flow min-cut theorem describes transport through certain idealized classical networks. We consider the quantum analog for tensor networks. By associating an integral capacity to each edge and a tensor to each vertex in a flow network, we can also interpret it as a tensor network, and more specifically, as a linear map from the input space to the output space. The quantum max flow is defined to be the maximal rank of this linear map over all choices of tensors. The quantum min cut is defined to be the minimum product of the capacities of edges over all cuts of the tensor network. We show that unlike the classical case, the quantum max-flow=min-cut conjecture is not true in general. Under certain conditions, e.g., when the capacity on each edge is some power of a fixed integer, the quantum max-flow is proved to equal the quantum min-cut. However, concrete examples are also provided where the equality does not hold. We also found connections of quantum max-flow/min-cut with entropy of entanglement and the quantum satisfiability problem. We speculate that the phenomena revealed may be of interest both in spin systems in condensed matter and in quantum gravity.

0 citations0 reviewsNo code linkedOpen access
preprint2015arXiv

Interferometry versus projective measurement of anyons

The distinct methods for measuring topological charge in a non-abelian anyonic system have been discussed in the literature: projective measurement of a single point-like quasiparticle and interferometric measurement of the total topological charge of a group of quasiparticles. Projective measurement by definition is only applied near a point and will project to a topological charge sector near that point. Thus, if it is to be applied to a \emph{group} of anyons to project to a \emph{total} charge, then the anyons must first be fused one by one to obtain a single anyon carrying the collective charge. We show that interferometric measurement is strictly stronger: Any protocol involving projective measurement can be simulated at low overhead by another protocol involving only interferometric measurement.

0 citations0 reviewsNo code linkedOpen access
preprint2014arXiv

Complexity Classes as Mathematical Axioms II

The second author previously discussed how classical complexity separation conjectures, we call them &#34;axioms&#34;, have implications in three manifold topology: polynomial length stings of operations which preserve certain Jones polynomial evaluations cannot produce exponential simplifications of link diagrams. In this paper, we continue this theme, exploring now more subtle separation axioms for quantum complexity classes. Surprisingly, we now find that similar strings are unable to effect even linear simplifications of the diagrams.

0 citations0 reviewsNo code linkedOpen access
preprint2014arXiv

Simplifying 3-manifolds in R^4

We show that a smooth embedding of a closed 3-manifold in S^3 x R can be isotoped so that every generic level divides S^3 x t into two handlebodies (i.e., is Heegaard) provided the original embedding has a unique local maximum with respect to the R coordinate. This allows uniqueness of embeddings to be studied via the mapping class group of surfaces and the Schoenflies conjecture is considered in this light. We also give a necessary and sufficient condition that a 3-manifold connected summed with arbitrarily many copies of S^1 x S^2 embeds in R^4.

0 citations0 reviewsNo code linkedOpen access
preprint2011arXiv

Galois Conjugates of Topological Phases

Galois conjugation relates unitary conformal field theories (CFTs) and topological quantum field theories (TQFTs) to their non-unitary counterparts. Here we investigate Galois conjugates of quantum double models, such as the Levin-Wen model. While these Galois conjugated Hamiltonians are typically non-Hermitian, we find that their ground state wave functions still obey a generalized version of the usual code property (local operators do not act on the ground state manifold) and hence enjoy a generalized topological protection. The key question addressed in this paper is whether such non-unitary topological phases can also appear as the ground states of Hermitian Hamiltonians. Specific attempts at constructing Hermitian Hamiltonians with these ground states lead to a loss of the code property and topological protection of the degenerate ground states. Beyond this we rigorously prove that no local change of basis can transform the ground states of the Galois conjugated doubled Fibonacci theory into the ground states of a topological model whose Hermitian Hamiltonian satisfies Lieb-Robinson bounds. These include all gapped local or quasi-local Hamiltonians. A similar statement holds for many other non-unitary TQFTs. One consequence is that the &#34;Gaffnian&#34; wave function cannot be the ground state of a gapped fractional quantum Hall state.

0 citations0 reviewsNo code linkedOpen access
preprint2011arXiv

Kernel(J) warns of false vacua

J.H.C. Whitehead defined a map $J_r:π_r(SO)\rightarrow π_r^s$ from the homotopy of the special orthogonal group to the stable homotopy of spheres. Within a toy model we show how the known computation for kernel$(J)$ leads to nonlinear $σ$-models with spherical source (space) and spherical target which admit false vacua separated from the true vacuum by an energy barrier. In this construction, the dimension of space must be at least 8 and the dimension of the $σ$-model target at least 5.

0 citations0 reviewsNo code linkedOpen access
preprint2011arXiv

Topological Phases: An Expedition off Lattice

Motivated by the goal to give the simplest possible microscopic foundation for a broad class of topological phases, we study quantum mechanical lattice models where the topology of the lattice is one of the dynamical variables. However, a fluctuating geometry can remove the separation between the system size and the range of local interactions, which is important for topological protection and ultimately the stability of a topological phase. In particular, it can open the door to a pathology, which has been studied in the context of quantum gravity and goes by the name of `baby universe&#39;, Here we discuss three distinct approaches to suppressing these pathological fluctuations. We complement this discussion by applying Cheeger&#39;s theory relating the geometry of manifolds to their vibrational modes to study the spectra of Hamiltonians. In particular, we present a detailed study of the statistical properties of loop gas and string net models on fluctuating lattices, both analytically and numerically.

0 citations0 reviewsNo code linkedOpen access
preprint2006arXiv

Large Fourier transforms never exactly realized by braiding conformal blocks

Fourier transform is an essential ingredient in Shor&#39;s factoring algorithm. In the standard quantum circuit model with the gate set $\{\U(2), \textrm{CNOT}\}$, the discrete Fourier transforms $F_N=(ω^{ij})_{N\times N},i,j=0,1,..., N-1, ω=e^{\frac{2πi}{N}}$, can be realized exactly by quantum circuits of size $O(n^2), n=\textrm{log}N$, and so can the discrete sine/cosine transforms. In topological quantum computing, the simplest universal topological quantum computer is based on the Fibonacci (2+1)-topological quantum field theory (TQFT), where the standard quantum circuits are replaced by unitary transformations realized by braiding conformal blocks. We report here that the large Fourier transforms $F_N$ and the discrete sine/cosine transforms can never be realized exactly by braiding conformal blocks for a fixed TQFT. It follows that approximation is unavoidable to implement the Fourier transforms by braiding conformal blocks.

0 citations0 reviewsNo code linkedOpen access
preprint2003arXiv

Quantum SU(2) faithfully detects mapping class groups modulo center

The Jones-Witten theory gives rise to representations of the (extended) mapping class group of any closed surface Y indexed by a semi-simple Lie group G and a level k. In the case G=SU(2) these representations (denoted V_A(Y)) have a particularly simple description in terms of the Kauffman skein modules with parameter A a primitive 4r-th root of unity (r=k+2). In each of these representations (as well as the general G case), Dehn twists act as transformations of finite order, so none represents the mapping class group M(Y) faithfully. However, taken together, the quantum SU(2) representations are faithful on non-central elements of M(Y). (Note that M(Y) has non-trivial center only if Y is a sphere with 0, 1, or 2 punctures, a torus with 0, 1, or 2 punctures, or the closed surface of genus = 2.) Specifically, for a non-central h in M(Y) there is an r_0(h) such that if r>= r_0(h) and A is a primitive 4r-th root of unity then h acts projectively nontrivially on V_A(Y). Jones&#39; [J] original representation rho_n of the braid groups B_n, sometimes called the generic q-analog-SU(2)-representation, is not known to be faithful. However, we show that any braid h not= id in B_n admits a cabling c = c_1,...,c_n so that rho_N (c(h)) not= id, N=c_1 + ... + c_n.

0 citations0 reviewsNo code linkedOpen access
preprint1993arXiv

Möbius invariance of knot energy

A physically natural potential energy for simple closed curves in $\bold R^3$ is shown to be invariant under Möbius transformations. This leads to the rapid resolution of several open problems: round circles are precisely the absolute minima for energy; there is a minimum energy threshold below which knotting cannot occur; minimizers within prime knot types exist and are regular. Finally, the number of knot types with energy less than any constant $M$ is estimated.

0 citations0 reviewsNo code linkedOpen access