Related papers: Characterizing the intersection of QMA and coQMA
This article supplements recent work of the authors. (1) A criterion for failure of covariant finiteness of a full subcategory of $\Lambda\text{-mod}$ is given, where $\Lambda$ is a finite dimensional algebra. The criterion is applied to…
Let $f(q)$ denote Ramanujan's mock theta function \[f(q) = \sum_{n=0}^{\infty} a(n) q^{n} := 1+\sum_{n=1}^{\infty} \frac{q^{n^{2}}}{(1+q)^{2}(1+q^{2})^{2}\cdots(1+q^{n})^{2}}.\] It is known that there are many linear congruences for the…
It is worth noticing that a fuzzy conjunction and its corresponding fuzzy implication can form a residual pair if and only if it is left-continuous. In order to get a more general result related on residual implications that induced by…
We discuss $q$-analogues of the classical congruence $\binom{ap}{bp}\equiv\binom{a}{b}\pmod{p^3}$, valid for primes $p>3$, as well as its generalisations. In particular, we prove related congruences for ($q$-analogues of) integral factorial…
In this paper the notion of quantum finite one-counter automata (QF1CA) is introduced. Introduction of the notion is similar to that of the 2-way quantum finite state automata by A.Kondacs and J.Watrous. The well-formedness conditions for…
The widely held belief that BQP strictly contains BPP raises fundamental questions: if we cannot efficiently compute predictions for the behavior of quantum systems, how can we test their behavior? In other words, is quantum mechanics…
Relations and isomorphisms between quantum field theories in operator and functional integral formalisms are analyzed from the viewpoint of inequivalent representations of commutator or anticommutator rings of field operators. A functional…
The role of the Equivalence Principle (EP) in classical and quantum mechanics is reviewed. It is shown that the weak EP has a counterpart in quantum theory, a Quantum Equivalence Principle (QEP). This implies that also in the quantum domain…
QMA (Quantum Merlin Arthur) is the class of problems which, though potentially hard to solve, have a quantum solution which can be verified efficiently using a quantum computer. It thus forms a natural quantum version of the classical…
Query complexity measures the amount of information an algorithm needs about a problem to compute a solution. On a quantum computer there are different realizations of a query and we will show that these are not always equivalent. Our…
The Functional Machine Calculus (FMC, Heijltjes 2022) extends the lambda-calculus with the computational effects of global mutable store, input/output, and probabilistic choice while maintaining confluent reduction and simply-typed strong…
Let F be a finite extension of Q_p. We show that every Schwartz function on F, with values in an algebraic closure of Q_p, is the uniform limit of a sequence of Schwartz functions, whose Fourier transforms tend uniformly to 0. The proof…
In this paper, we present a much simpler, direct and elegant approach to the equivalence problem of {\it measure many one-way quantum finite automata} (MM-1QFAs). The approach is essentially generalized from the work of Carlyle [J. Math.…
A definition of quasi-flat left module is proposed and it is shown that any left module which is either quasi-projective or flat is quasi-flat. A characterization of local commutative rings for which each ideal is quasi-flat (resp.…
In this article the integration of the $\alpha$-fractal interpolation function $f^{\alpha}$ corresponding to any continuous function $f$ on a compact interval $I$ of $\mathbb{R}$ is estimated although there is no explicit form of…
We define a class of non-compact Fano toric manifolds, called admissible toric manifolds, for which Floer theory and quantum cohomology are defined. The class includes Fano toric negative line bundles, and it allows blow-ups along fixed…
As an analogy of fully entangled fraction in the framework of entanglement theory, we have introduced the notion of quantum coherence fraction $C_{\mathcal{F}}$, which quantifies the closeness between a given state and the set of maximally…
We study self-similar measures in $\mathbb{R}$ satisfying the weak separation condition along with weak technical assumptions which are satisfied in all known examples. For such a measure $\mu$, we show that there is a finite set of concave…
The Quantum Satisfiability problem (QSAT) is the generalization of the canonical NP-complete problem - Boolean Satisfiability. (k,s)-QSAT is the following variant of the problem: given a set of projectors of rank 1, acting non-trivially on…
One-way functions are a very important notion in the field of classical cryptography. Most examples of such functions, including factoring, discrete log or the RSA function, can be, however, inverted with the help of a quantum computer. In…