BZPEERPapers, people, evidence and research paths
Menu

Discover

SearchFind papers, people, topics, institutions and opportunities from one place.GraphSee how papers, authors, topics and evidence connect.

Research tools

HomeContinue from the papers, people and topics that matter now.CollectionsTurn saved papers into reading lists, evidence maps and shareable context.ResearchReconstruct the path that led you from search to paper to question.CollaborationMove from a paper, topic or expert request into a focused thread.PublishCreate full-text research articles with metadata, formulas and versions.

Network

ExpertsFind specialists whose work and reviews explain why they can help.CommunitiesJoin research groups organized around papers, topics and shared evidence.

Opportunities

ListingsBrowse roles, calls and collaborations connected to real research context.

Account

Log inReturn to your saved papers, graph views and active threads.Create accountStart saving papers, building a research trail and joining teams.
Log inCreate account

Source author record

David A. Meyer

David A. Meyer appears in the imported research catalog. Authorship, coauthor and topic links are available while profile ownership is still unclaimed.

ResearcherUnclaimed source record
quant-phmath-phmath.MPSocial and Information NetworksComputational Complexitycond-mat.stat-mechgr-qcnlin.CGApplicationscomp-gascond-mat.othercond-mat.softData Structures and Algorithmshep-thMachine Learningmath.MGmath.PRmath.STphysics.soc-phStatistics Theory

Catalog footprint

What is connected

24works
20topics
4close collaborators

Actions

Connect this record

Log in to claim
Open graphBrowse works

Research graph

See the researcher in context

Open full explorer

Inspect adjacent papers, topics, institutions and collaborators without losing the researcher page.

Building this map preview

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

Published work

24 published item(s)

preprint2026arXiv

Mobility Trajectories from Network-Driven Markov Dynamics

We present a generative model of human mobility in which trajectories arise as realizations of a prescribed, time-dependent Markov dynamics defined on a spatial interaction network. The model constructs a hierarchical routing structure with hubs, corridors, feeder paths, and metro links, and specifies transition matrices using gravity-type distance decay combined with externally imposed temporal schedules and directional biases. Population mass evolves as indistinguishable, memoryless movers performing a single transition per time step. When aggregated, the resulting trajectories reproduce structured origin-destination flows that reflect network geometry, temporal modulation, and connectivity constraints. By applying the Perron-Frobenius theorem to the daily evolution operator, we identify a unique periodic invariant population distribution that serves as a natural non-transient reference state. We verify consistency between trajectory-level realizations and multi-step Markov dynamics, showing that discrepancies are entirely attributable to finite-population sampling. The framework provides a network-centric, privacy-preserving approach to generating mobility trajectories and studying time-elapsed flow structure without invoking individual-level behavioral assumptions.

0 citations0 reviewsNo code linkedOpen access
preprint2025arXiv

Reconstructing Minkowski geometry from causal separations

Aleksandrov, and then Zeeman, showed that the causal relations among the set of points in a Minkowski space of dimension greater than 2 determine the Minkowski space structure of the set up to a global conformal factor. We show that in any dimension the distances between causally related pairs of points determine the distances between spatially related pairs of points, and thus completely determine the Minkowski space structure of the set. This is a step in the direction of proving that causal sets arising from a Poisson process in a Lorentzian manifold determine that manifold up to the degree of approximation inherent in the intensity of the Poisson process -- the Hauptvermutung of causal set theory.

0 citations0 reviewsNo code linkedOpen access
preprint2016arXiv

Irreconcilable Difference Between Quantum Walks and Adiabatic Quantum Computing

Continuous-time quantum walks and adiabatic quantum evolution are two general techniques for quantum computing, both of which are described by Hamiltonians that govern their evolutions by Schrödinger's equation. In the former, the Hamiltonian is fixed, while in the latter, the Hamiltonian varies with time. As a result, their formulations of Grover's algorithm evolve differently through Hilbert space. We show that this difference is fundamental; they cannot be made to evolve along each other's path without introducing structure more powerful than the standard oracle for unstructured search. For an adiabatic quantum evolution to evolve like the quantum walk search algorithm, it must interpolate between three fixed Hamiltonians, one of which is complex and introduces structure that is stronger than the oracle for unstructured search. Conversely, for a quantum walk to evolve along the path of the adiabatic search algorithm, it must be a chiral quantum walk on a weighted, directed star graph with structure that is also stronger than the oracle for unstructured search. Thus the two techniques, although similar in being described by Hamiltonians that govern their evolution, compute by fundamentally irreconcilable means.

0 citations0 reviewsNo code linkedOpen access
preprint2016arXiv

Quantum cellular automata without particles

Quantum cellular automata (QCA) constitute space and time homogeneous discrete models for quantum field theories (QFTs). Although QFTs are defined without reference to particles, computations are done in terms of Feynman diagrams, which are explicitly interpreted in terms of interacting particles. Similarly, the easiest QCA to construct are quantum lattice gas automata (QLGA). A natural question then is, which QCA are not QLGA? Here we construct a non-trivial example of such a QCA; it provides a simple model in $1+1$ dimensions with no particle interpretation at the scale where the QCA dynamics are homogeneous.

0 citations0 reviewsNo code linkedOpen access
preprint2015arXiv

A quantum algorithm for Viterbi decoding of classical convolutional codes

We present a quantum Viterbi algorithm (QVA) with better than classical performance under certain conditions. In this paper the proposed algorithm is applied to decoding classical convolutional codes, for instance; large constraint length $Q$ and short decode frames $N$. Other applications of the classical Viterbi algorithm where $Q$ is large (e.g. speech processing) could experience significant speedup with the QVA. The QVA exploits the fact that the decoding trellis is similar to the butterfly diagram of the fast Fourier transform, with its corresponding fast quantum algorithm. The tensor-product structure of the butterfly diagram corresponds to a quantum superposition that we show can be efficiently prepared. The quantum speedup is possible because the performance of the QVA depends on the fanout (number of possible transitions from any given state in the hidden Markov model) which is in general much less than $Q$. The QVA constructs a superposition of states which correspond to all legal paths through the decoding lattice, with phase a function of the probability of the path being taken given received data. A specialized amplitude amplification procedure is applied one or more times to recover a superposition where the most probable path has a high probability of being measured.

0 citations0 reviewsNo code linkedOpen access
preprint2015arXiv

Completeness is Unnecessary for Fast Nonlinear Quantum Search

Although strongly regular graphs and the hypercube are not complete, they are "sufficiently complete" such that a randomly walking quantum particle asymptotically searches on them in the same $Θ(\sqrt{N})$ time as on the complete graph, the latter of which is precisely Grover's algorithm. We show that physically realistic nonlinearities of the form $f(|ψ|^2)ψ$ can speed up search on sufficiently complete graphs, depending on the nonlinearity and graph. Thus nonlinear (quantum) computation can retain its power even when a degree of noncompleteness is introduced.

0 citations0 reviewsNo code linkedOpen access
preprint2015arXiv

Connectivity is a Poor Indicator of Fast Quantum Search

A randomly walking quantum particle evolving by Schrödinger's equation searches on $d$-dimensional cubic lattices in $O(\sqrt{N})$ time when $d \ge 5$, and with progressively slower runtime as $d$ decreases. This suggests that graph connectivity (including vertex, edge, algebraic, and normalized algebraic connectivities) is an indicator of fast quantum search, a belief supported by fast quantum search on complete graphs, strongly regular graphs, and hypercubes, all of which are highly connected. In this paper, we show this intuition to be false by giving two examples of graphs for which the opposite holds true: one with low connectivity but fast search, and one with high connectivity but slow search. The second example is a novel two-stage quantum walk algorithm in which the walking rate must be adjusted to yield high search probability.

0 citations0 reviewsNo code linkedOpen access
preprint2015arXiv

Distinguishing symmetric quantum oracles and quantum group multiplication

Given a unitary representation of a finite group on a finite-dimensional Hilbert space, we show how to find a state whose translates under the group are distinguishable with the highest probability. We apply this to several quantum oracle problems, including the GROUP MULTIPLICATION problem, in which the product of an ordered $n$-tuple of group elements is to be determined by querying elements of the tuple. For any finite group $G$, we give an algorithm to find the product of two elements of $G$ with a single quantum query with probability $2/|G|$. This generalizes Deutsch's Algorithm from $Z_2$ to an arbitrary finite group. We further prove that this algorithm is optimal. We also introduce the HIDDEN CONJUGATING ELEMENT PROBLEM, in which the oracle acts by conjugating by an unknown element of the group. We show that for many groups, including dihedral and symmetric groups, the unknown element can be determined with probability $1$ using a single quantum query.

0 citations0 reviewsNo code linkedOpen access
preprint2014arXiv

A Model of Consistent Node Types in Signed Directed Social Networks

Signed directed social networks, in which the relationships between users can be either positive (indicating relations such as trust) or negative (indicating relations such as distrust), are increasingly common. Thus the interplay between positive and negative relationships in such networks has become an important research topic. Most recent investigations focus upon edge sign inference using structural balance theory or social status theory. Neither of these two theories, however, can explain an observed edge sign well when the two nodes connected by this edge do not share a common neighbor (e.g., common friend). In this paper we develop a novel approach to handle this situation by applying a new model for node types. Initially, we analyze the local node structure in a fully observed signed directed network, inferring underlying node types. The sign of an edge between two nodes must be consistent with their types; this explains edge signs well even when there are no common neighbors. We show, moreover, that our approach can be extended to incorporate directed triads, when they exist, just as in models based upon structural balance or social status theory. We compute Bayesian node types within empirical studies based upon partially observed Wikipedia, Slashdot, and Epinions networks in which the largest network (Epinions) has 119K nodes and 841K edges. Our approach yields better performance than state-of-the-art approaches for these three signed directed networks.

0 citations0 reviewsNo code linkedOpen access
preprint2014arXiv

Global Symmetry is Unnecessary for Fast Quantum Search

Grover's quantum search algorithm can be formulated as a quantum particle randomly walking on the (highly symmetric) complete graph, with one vertex marked by a nonzero potential. From an initial equal superposition, the state evolves in a two-dimensional subspace. Strongly regular graphs have a local symmetry that ensures that the state evolves in a \emph{three}-dimensional subspace, but most have no \emph{global} symmetry. Using degenerate perturbation theory, we show that quantum random walk search on known families of strongly regular graphs nevertheless achieves the full quantum speedup of $Θ(\sqrt{N})$, disproving the intuition that fast quantum search requires global symmetry.

0 citations0 reviewsNo code linkedOpen access
preprint2014arXiv

History Dependent Quantum Random Walks as Quantum Lattice Gas Automata

Quantum Random Walks (QRW) were first defined as one-particle sectors of Quantum Lattice Gas Automata (QLGA). Recently, they have been generalized to include history dependence, either on previous coin (internal, i.e., spin or velocity) states or on previous position states. These models have the goal of studying the transition to classicality, or more generally, changes in the performance of quantum walks in algorithmic applications. We show that several history dependent QRW can be identified as one-particle sectors of QLGA. This provides a unifying conceptual framework for these models in which the extra degrees of freedom required to store the history information arise naturally as geometrical degrees of freedom on the lattice.

0 citations0 reviewsNo code linkedOpen access
preprint2013arXiv

Nonlinear Quantum Search Using the Gross-Pitaevskii Equation

We solve the unstructured search problem in constant time by computing with a physically motivated nonlinearity of the Gross-Pitaevskii type. This speedup comes, however, at the novel expense of increasing the time-measurement precision. Jointly optimizing these resource requirements results in an overall scaling of $N^{1/4}$. This is a significant, but not unreasonable, improvement over the $N^{1/2}$ scaling of Grover's algorithm. Since the Gross-Pitaevskii equation approximates the multi-particle (linear) Schrödinger equation, for which Grover's algorithm is optimal, our result leads to a quantum information-theoretic lower bound on the number of particles needed for this approximation to hold, asymptotically.

0 citations0 reviewsNo code linkedOpen access
preprint2013arXiv

Quantum Search with General Nonlinearities

Evolution by the Gross-Pitaevskii equation, which describes Bose-Einstein condensates under certain conditions, solves the unstructured search problem more efficiently than does the Schrödinger equation, because it includes a cubic nonlinearity, proportional to $|ψ|^2ψ$. This is not the only nonlinearity of the form $f(|ψ|^2)ψ$ that arises in effective equations for the evolution of real quantum physical systems, however: The cubic-quintic nonlinear Schrödinger equation describes light propagation in nonlinear Kerr media with defocusing corrections, and the logarithmic nonlinear Schrödinger equation describes Bose liquids under certain conditions. Analysis of computation with such systems yields some surprising results; for example, when time-measurement precision is included in the resource accounting, searching a "database" when there is a single correct answer may be easier than searching when there are multiple correct answers. In each of these cases the nonlinear equation is an effective approximation to a multi-particle Schrödinger equation, for search by which Grover's algorithm is optimal. Thus our results lead to quantum information-theoretic bounds on the physical resources required for these effective nonlinear theories to hold, asymptotically.

0 citations0 reviewsNo code linkedOpen access
preprint2012arXiv

Discrete Quantum Control - State Preparation

A discrete-time method for solving problems in optimal quantum control is presented. Controlling the time discretized markovian dynamics of a quantum system can be reduced to a Markov-decision process. We demonstrate this method in this with a class of simple one qubit systems, which are also discretized in space. For the task of state preparation we solve the examples both numerically and analytically with dynamic programming techniques.

0 citations0 reviewsNo code linkedOpen access
preprint2011arXiv

Multi-query quantum sums

PARITY is the problem of determining the parity of a string $f$ of $n$ bits given access to an oracle that responds to a query $x\in\{0,1,...,n-1\}$ with the $x^{\rm th}$ bit of the string, $f(x)$. Classically, $n$ queries are required to succeed with probability greater than 1/2 (assuming equal prior probabilities for all length $n$ bitstrings), but only $\lceil n/2\rceil$ quantum queries suffice to determine the parity with probability 1. We consider a generalization to strings $f$ of $n$ elements of $\Z_k$ and the problem of determining $\sum f(x)$. By constructing an explicit algorithm, we show that $n-r$ ($n\ge r\in\N$) entangled quantum queries suffice to compute the sum correctly with worst case probability $\min\{\lfloor n/r\rfloor/k,1\}$. This quantum algorithm utilizes the $n-r$ queries sequentially and adaptively, like Grover's algorithm, but in a different way that is not amplitude amplification.

0 citations0 reviewsNo code linkedOpen access
preprint2010arXiv

Lattice gas simulations of dynamical geometry in two dimensions

We present a hydrodynamic lattice gas model for two-dimensional flows on curved surfaces with dynamical geometry. This model is an extension to two dimensions of the dynamical geometry lattice gas model previously studied in one-dimension. We expand upon a variation of the two-dimensional flat space FHP model created by Frisch, Hasslacher and Pomeau, and independently by Wolfram, and modified by Boghosian, Love, and Meyer. We define a hydrodynamic lattice gas model on an arbitrary triangulation, whose flat space limit is the FHP model. Rules that change the geometry are constructed using the Pachner moves, which alter the triangulation but not the topology. We present results on the growth of the number of triangles as a function of time. Simulations show that the number of triangles lattice grows with time as the cube root of the number of time steps, in agreement a mean field prediction. We also present preliminary results on the distribution of curvature over a typical triangulation for these simulations.

0 citations0 reviewsNo code linkedOpen access
preprint2010arXiv

On the uselessness of quantum queries

Given a prior probability distribution over a set of possible oracle functions, we define a number of queries to be useless for determining some property of the function if the probability that the function has the property is unchanged after the oracle responds to the queries. A familiar example is the parity of a uniformly random Boolean-valued function over $\{1,2,...,N\}$, for which $N-1$ classical queries are useless. We prove that if $2k$ classical queries are useless for some oracle problem, then $k$ quantum queries are also useless. For such problems, which include classical threshold secret sharing schemes, our result also gives a new way to obtain a lower bound on the quantum query complexity, even in cases where neither the function nor the property to be determined is Boolean.

0 citations0 reviewsNo code linkedOpen access
preprint2006arXiv

Creation of Entanglement and Implementation of Quantum Logic Gate Operations Using a Three-Dimensional Photonic Crystal Single-Mode Cavity

We solve the Jaynes-Cummings Hamiltonian with time-dependent coupling parameters under dipole and rotating-wave approximation for a three-dimensional (3D) photonic crystal (PC) single mode cavity with a sufficiently high quality (Q) factor. We then exploit the results to show how to create a maximally entangled state of two atoms, and how to implement several quantum logic gates: a dual-rail Hadamard gate, a dual-rail NOT gate, and a SWAP gate. The atoms in all of these operations are syncronized, which is not the case in previous studies [1,2] in PCs. Our method has the potential for extension to N-atom entanglement, universal quantum logic operations, and the implementation of other useful, cavity QED based quantum information processing tasks.

0 citations0 reviewsNo code linkedOpen access
preprint2006arXiv

Integrated Conditional Teleportation and Readout Circuit Based on a Photonic Crystal Single Chip

We demonstrate the design of an integrated conditional quantum teleportation circuit and a readout circuit using a two-dimensional photonic crystal single chip. Fabrication and testing of the proposed quantum circuit can be accomplished with current or near future semiconductor process technology and experimental techniques. The readout part of our device, which has potential for independent use as an atomic interferometer, can also be used on its own or integrated with other compatible optical circuits to achieve atomic state detection. Further improvement of the device in terms of compactness and robustness could be achieved by integrating it with sources and detectors in the optical regime.

0 citations0 reviewsNo code linkedOpen access
preprint2005arXiv

Periodicity and Growth in a Lattice Gas with Dynamical Geometry

We study a one-dimensional lattice gas "dynamical geometry model" in which local reversible interactions of counter-rotating groups of particles on a ring can create or destroy lattice sites. We exhibit many periodic orbits and and show that all other solutions have asymptotically growing lattice length in both directions of time. We explain why the length grows as $\sqrt{t}$ in all cases examined. We completely solve the dynamics for small numbers of particles with arbitrary initial conditions.

0 citations0 reviewsNo code linkedOpen access
preprint2001arXiv

Global entanglement in multiparticle systems

We define a polynomial measure of multiparticle entanglement which is scalable, i.e., which applies to any number of spin-1/2 particles. By evaluating it for three particle states, for eigenstates of the one dimensional Heisenberg antiferromagnet and on quantum error correcting code subspaces, we illustrate the extent to which it quantifies global entanglement. We also apply it to track the evolution of entanglement during a quantum computation.

0 citations0 reviewsNo code linkedOpen access
preprint1997arXiv

Quantum lattice gases and their invariants

The one particle sector of the simplest one dimensional quantum lattice gas automaton has been observed to simulate both the (relativistic) Dirac and (nonrelativistic) Schroedinger equations, in different continuum limits. By analyzing the discrete analogues of plane waves in this sector we find conserved quantities corresponding to energy and momentum. We show that the Klein paradox obtains so that in some regimes the model must be considered to be relativistic and the negative energy modes interpreted as positive energy modes of antiparticles. With a formally similar approach--the Bethe ansatz--we find the evolution eigenfunctions in the two particle sector of the quantum lattice gas automaton and conclude by discussing consequences of these calculations and their extension to more particles, additional velocities, and higher dimensions.

0 citations0 reviewsNo code linkedOpen access