Related papers: An Example of a Right Loop Admitting Only Discrete…
We reveal a natural algebraic problem whose complexity appears to interpolate between the well-known complexity classes BQP and NP: (*) Decide whether a univariate polynomial with exactly m monomial terms has a p-adic rational root. In…
We consider a random walk on the discrete cylinder $({\mathbb{Z}}/N{\mathbb{Z}})^d\times{\mathbb{Z}}$, $d\geq3$ with drift $N^{-d\alpha}$ in the $\mathbb{Z}$-direction and investigate the large $N$-behavior of the disconnection time…
A survey of real differential geometry and loop theory is given in order to introduce the construction of an analytic loop associated to p-adic differential manifold.
By using a selective filtration argument, we prove that the satisfiability problem of the unimodal logic of density is in $EXPTIME$. By using a tableau-like approach, we prove that the satisfiability problem of the bimodal logic of weak…
We present a generic tree-interpolation algorithm in the SMT context with quantifiers. The algorithm takes a proof of unsatisfiability using resolution and quantifier instantiation and computes interpolants (which may contain quantifiers).…
We present a generalization of the coupled dipole method to the scattering of light by arbitrary periodic structures. This new formulation of the coupled dipole method relies on the same direct-space discretization scheme that is widely…
Scholars frequently employ relatedness measures to estimate the similarity between two different items (e.g., documents, authors, and institutes). Such relatedness measures are commonly based on overlapping references ($\textit{i.e.}$,…
The polarization dynamics of electrons including multiple nonlinear Compton scattering during the interaction of a circularly-polarized ultraintense laser pulse with a counterpropagating ultrarelativistic electron beam is investigated.…
We prove new cases of the Hilbert-Smith conjecture for actions by natural homeomorphisms in symplectic topology. Specifically, we prove that the group of $p$-adic integers $\mathbb Z_p$ does not admit non-trivial continuous actions by…
We investigate how the sentence choice semantics (SCS) for propositional superposition logic (PLS) developed in \cite{Tz17} could be extended so as to successfully apply to first-order superposition logic(FOLS). There are two options for…
Dynamical PDEs that have a spatial divergence form possess conservation laws that involve an arbitrary function of time. In one spatial dimension, such conservation laws are shown to describe the presence of an $x$-independent source/sink;…
In this article, we present a novel approach to reconstruct the topology of networked linear dynamical systems with latent nodes. The network is allowed to have directed loops and bi-directed edges. The main approach relies on the unique…
We study the quantum corrections to the polarizability of isolated metallic mesoscopic systems using the loop-expansion in diffusive propagators. We show that the difference between connected (grand-canonical ensemble) and isolated…
In [11] we showed that a loop in a simply connected compact Lie group $\dot{U}$ has a unique Birkhoff (or triangular) factorization if and only if the loop has a unique root subgroup factorization (relative to a choice of a reduced sequence…
In this paper we present simple example of propositional logic which has one modal operator and is based on intuitionistic core. This system is very weak in modal sense - e.g. rules of regularity or monotonicity do not hold. It has complete…
We clarify the asymptotic of the limsup of the size of the neighborhood of concentration of Sinai's walk improving the result in \cite{Pierre3}. Also we get the almost sure limit of the number of points visited more than a small but fixed…
We present sufficient conditions, in terms of the jumping kernels, for two large classes of conservative Markov processes of pure-jump type to be purely discontinuous martingales with finite second moment. As an application, we establish…
We present an experimental study of the dynamics underlying the buildup and decay of dynamical nuclear spin polarization in a single semiconductor quantum dot. Our experiment shows that the nuclei can be polarized on a time scale of a few…
A knot in $S^3$ is topologically slice if it bounds a locally flat disk in $B^4$. A knot in $S^3$ is rationally slice if it bounds a smooth disk in a rational homology ball. We prove that the smooth concordance group of topologically and…
A possibility to perform single-electron computing without dissipation in the array of tunnel-coupled quantum dots is studied theoretically, taking the spin gate NOT (inverter) as an example. It is shown that the logical operation can be…