Researcher profile

Matthew Moore

Matthew Moore contributes to research discovery and scholarly infrastructure.

ResearcherAffiliation not importedOpen to collaborate

quant-ph cond-mat.mtrl-sci cond-mat.soft Data Structures and Algorithms Logic in Computer Science math.CO math.RA

Trust snapshot

Quick read

Trust 17 - Baseline

4works

0followers

7topics

4close collaborators

Actions

Decide how to stay connected

Follow researcher0

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.

preprint2022arXiv

A Quantum Polynomial-Time Solution to The Dihedral Hidden Subgroup Problem

We present a polynomial-time quantum algorithm for the Hidden Subgroup Problem over $\mathbb{D}_{2^n}$. The usual approach to the Hidden Subgroup Problem relies on harmonic analysis in the domain of the problem, and the best known algorithm using this approach has time complexity in $2^{\mathcal{O}(\sqrt{n})}$. By focusing on structure encoded in the codomain of the problem, we develop a polynomial-time algorithm which uses this structure to direct a "walk" down the subgroup lattice of $\mathbb{D}_{2^n}$ terminating at the hidden subgroup.

preprint2020arXiv

The Hidden Subgroup Problem for Universal Algebras

The Hidden Subgroup Problem (HSP) is a computational problem which includes as special cases integer factorization, the discrete logarithm problem, graph isomorphism, and the shortest vector problem. The celebrated polynomial-time quantum algorithms for factorization and the discrete logarithm are restricted versions of a generic polynomial-time quantum solution to the HSP for abelian groups, but despite focused research no full solution has yet been found. We propose a generalization of the HSP to include arbitrary algebraic structures and analyze this new problem on powers of 2-element algebras. We prove a complete classification of every such power as quantum tractable (i.e. polynomial-time), classically tractable, quantum intractable, and classically intractable. In particular, we identify a class of algebras for which the generalized HSP exhibits super-polynomial speedup on a quantum computer compared to a classical one.

preprint2019arXiv

The steady state partial slip problem for half plane contacts subject to a constant normal load using glide dislocations

A new solution for general half-plane contact problems subject to a constant normal load together with alternating shear loads and tension in the steady state is presented. The method uses a formulation where a displacement correction is made to the fully stuck contact solution. There will be two outer regions of slip and a central permanent stick zone, which is explicitly established. Thereby, the maximum extent of the slip zones is effectively specified. Cases of small and large tension are studied, that is when the direction of slip is the same or opposing at the ends of the contact, respectively.

preprint2015arXiv

Absorption and directed Jónsson terms

We prove that every congruence distributive variety has directed Jónsson terms, and every congruence modular variety has directed Gumm terms. The directed terms we construct witness every case of absorption witnessed by the original Jónsson or Gumm terms. This result is equivalent to a pair of claims about absorption for admissible preorders in CD and CM varieties, respectively. For finite algebras, these absorption theorems have already seen significant applications, but until now, it was not clear if the theorems hold for general algebras as well. Our method also yields a novel proof of a result by P. Lipparini about the existence a chain of terms (which we call Pixley terms) in varieties that are at the same time congruence distributive and $k$-permutable for some $k$.