BZPEERReading, trust and collaboration for researchDiscover
Workspaces
Network
Opportunities
Account
Researcher profile
Howard A. Blair contributes to research discovery and scholarly infrastructure.
Trust snapshot
Actions
Identity and collaboration
Claiming links this public author record to a researcher profile and unlocks direct collaboration workflows.
Log in to claimDirect collaboration
Claim this author entity first to unlock direct invitations.
Research graph
Inspect adjacent work, topics, institutions and collaborators without jumping out to a separate graph page.
BZPEER is loading the nearby papers, people, topics and institutions for this page.
Published work
We conservatively extend classical elementary differential calculus to the Cartesian closed category of convergence spaces. By specializing results about the convergence space representation of directed graphs, we use Cayley graphs to obtain a differential calculus on groups, from which we then extract a Boolean differential calculus, in which both linearity and the product rule, also called the Leibniz identity, are satisfied.
Nielsen, et al. [1, 2] proposed a view of quantum computation where determining optimal algorithms is equivalent to extremizing a geodesic length or cost functional. This view of optimization is highly suggestive of an action principle of the space of N-qubits interacting via local operations. The cost or action functional is given by the cost of evolution operators on local qubit operations leading to causal dynamics, as in Blute et. al. [3] Here we propose a view of information geometry for quantum algorithms where the inherent causal structure determines topology and information distances [4, 5] set the local geometry. This naturally leads to geometric characterization of hypersurfaces in a quantum cellular automaton. While in standard quantum circuit representations the connections between individual qubits, i.e. the topology, for hypersurfaces will be dynamic, quantum cellular automata have readily identifiable static hypersurface topologies determined via the quantum update rules. We demonstrate construction of quantum cellular automata geometry and discuss the utility of this approach for tracking entanglement and algorithm optimization.