Related papers: Alternating Hierarchies for Time-Space Tradeoffs
In this paper, we study the Cauchy problem for the linear plate equation with mass term and its applications to semilinear models. For the linear problem we obtain $L^p-L^q$ estimates for the solutions in the full range $1\leq p\leq q\leq…
Linear Temporal Logic (LTL) is widely used for defining conditions on the execution paths of dynamic systems. In the case of dynamic systems that allow for nondeterministic evolutions, one has to specify, along with an LTL formula f, which…
We investigate the Cauchy problem for the nonlinear Schr\"odinger equation with a time-dependent linear damping term. Under non standard assumptions on the loss dissipation, we prove the blow-up in the inter-critical regime, and the global…
We provide improved space-time tradeoffs for permutation problems over additively idempotent semi-rings. In particular, there is an algorithm for the Traveling Salesperson Problem that solves $N$-vertex instances using space $S$ and time…
A nonlinear generalisation of Schrodinger's equation is obtained using information-theoretic arguments. The nonlinearities are controlled by an intrinsic length scale and involve derivatives to all orders thus making the equation mildly…
The notion of topological entropy can be conceptualized in terms of the number of forward trajectories that are distinguishable at resolution $\varepsilon$ within $T$ time units. It can then be formally defined as a limit of a limit…
The Lorentzian type IIB matrix model is a promising candidate for a non-perturbative formulation of superstring theory. However, it was recently found that a Euclidean space-time appears in the conventional large-$N$ limit. In this work, we…
F. Labourie [arXiv:1212.5015] characterized the Hitchin components for $\operatorname{PSL}(n, \mathbb{R})$ for any $n>1$ by using the swapping algebra, where the swapping algebra should be understood as a ring equipped with a Poisson…
We consider a planar Hamiltonian system of the type $Jz' = \nabla_z H(t,z)$, where $H: \mathbb{R} \times \mathbb{R}^2 \to \mathbb{R}$ is a function periodic in the time variable, such that $\nabla_z H(t,0) \equiv 0$ and $\nabla_z H(t,z)$ is…
We study several classes of non-Hermitian Hamiltonian systems, which can be expressed in terms of bilinear combinations of Euclidean Lie algebraic generators. The classes are distinguished by different versions of antilinear (PT)-symmetries…
Equilibrium statistics of Hamiltonian systems is correctly described by the microcanonical ensemble. Classically this is the manifold of all points in the $N-$body phase space with the given total energy. Due to Boltzmann's principle,…
We apply the Euler tour technique to find subtrees of specified weight as follows. Let $k, g, N_1, N_2 \in \mathbb{N}$ such that $1 \leq k \leq N_2$, $g + h > 2$ and $2k - 4g - h + 3 \leq N_2 \leq 2k + g + h - 2$, where $h := 2N_1 - N_2$.…
Undirected $st$-connectivity is important both for its applications in network problems, and for its theoretical connections with logspace complexity. Classically, a long line of work led to a time-space tradeoff of $T=\tilde{O}(n^2/S)$ for…
String theory is canonically accompanied with a space-time interpretation which determines S-matrix-like observables, and connects to the standard physics at low energies in the guise of local effective field theory. Recently, we have…
We find Lorentzian solutions of spacetime noncommutative gauge theories that are localized exponentially in space and time. Together with time translational invariance of the theories, we argue that perurbative S matrix formulation of such…
This paper considers a class of noncoercive nonlinear elliptic problems with coefficients defined in Marcinkiewicz and Lorentz spaces. We prove the existence of a solution for the corresponding Dirichlet problem and investigate the higher…
Physical systems with symmetry arise abundantly in applications, and are endowed with interesting mathematical structures. The present paper focusses on linear reciprocal and input-output Hamiltonian systems. Their characterization is…
In the nineties Immerman and Medina initiated the search for syn- tactic tools to prove NP-completeness. In their work, amongst several results, they conjecture that the NP-completeness of a problem defined by the conjunction of a sentence…
Equilibrium statistics of Hamiltonian systems is correctly described by the microcanonical ensemble. Classically this is the manifold of all points in the $N-$body phase space with the given total energy. Due to Boltzmann's principle,…
To illustrate the general results of the previous paper, we discuss here a large concrete example of the orbifold-string theories of permutation-type. For each of the many subexamples, we focus on evaluation of the \emph{target space-time…