Related papers: No Efficient Disjunction or Conjunction of Switch-…
The blow-up for semilinear wave equations with the scale invariant damping has been well-studied for sub-Fujita exponent. However, for super-Fujita exponent, there is only one blow-up result which is obtained in 2014 by Wakasugi in the case…
Subexponential logic is a variant of linear logic with a family of exponential connectives--called subexponentials--that are indexed and arranged in a pre-order. Each subexponential has or lacks associated structural properties of weakening…
Disconnectivity graphs are used to characterize the potential energy surfaces of Lennard-Jones clusters containing 13, 19, 31, 38, 55 and 75 atoms. This set includes members which exhibit either one or two `funnels' whose low-energy regions…
Linear extended top-down tree transducers (or synchronous tree-substitution grammars) are popular formal models of tree transformations. The expressive power of compositions of such transducers with and without regular look-ahead is…
We show that the capacity of a class of plane condensers is comparable to the capacity of corresponding "dyadic condensers". As an application, we show that for plane condensers in that class the capacity blows up as the distance between…
The significant heavy threshold effect is found in the supersymmetric SU(5) model with two adjoint scalars, one of which is interpreted as a massive string mode decoupled from the lower-energy particle spectra. This threshold related with…
We identify string corrections to the EM memory effect. Though largely negligible in the low-energy limit, the effect become relevant in high-energy collisions and in extreme events. We illustrate our findings in a simple unoriented bosonic…
We establish connections between the size of circuits and formulas computing monotone Boolean functions and the size of first-order and nonrecursive Datalog rewritings for conjunctive queries over OWL 2 QL ontologies. We use known lower…
Mechanical-controllable break junctions of the heavy-fermion superconductors can show Josephson-like superconducting anomalies. But a systematic study on the contact size demonstrates that these anomalies are mainly due to Maxwell's…
When high energy strings scatter at fixed angle, their amplitudes characteristically fall off exponentially with energy, ${\cal A} \sim \exp(-s \times const.)$. We show that in a compact space this suppression disappears for certain…
Using the correspondence between gauge theories and string theory in curved backgrounds, we investigate aspects of the large $N$ limit of non-commutative gauge theories by considering gravity solutions with $B$ fields. We argue that the…
For flows the rank is an invariant by linear change of time. But what we can say about isomorphisms? It seems that in case of mixing flows this problem is the most difficult. However the known technique of joinings provides non-isomorphism…
A wide range of stochastic processes that model the growth and decline of populations exhibit a curious dichotomy: with certainty either the population goes extinct or its size tends to infinity. There is a elegant and classical theorem…
At densities higher than the jamming transition for athermal, frictionless repulsive spheres we find two distinct length scales, both of which diverge as a power law as the transition is approached. The first, $\xi_{Z}$, is associated with…
We consider the scenario where all the couplings in the theory are strong at the cut-off scale, in the context of higher dimensional grand unified field theories where the unified gauge symmetry is broken by an orbifold compactification. In…
The problem of bounding the size of a set system under various intersection restrictions has a central place in extremal combinatorics. We investigate the maximum number of disjoint pairs a set system can have in this setting. In…
There are several advantages of introducing adjoint superfields at intermediate energies around $M=10^{13}$ GeV. Such as (i) gauge couplings still unify (ii) neutrino masses and mixings are produced (iii) primordial lepton asymmetry can be…
In statistical physics any given system can be either at an equilibrium or away from it. Networks are not an exception. Most network models can be classified as either equilibrium or growing. Here we show that under certain conditions there…
Like termination, confluence is a central property of rewrite systems. Unlike for termination, however, there exists no known complexity hierarchy for confluence. In this paper we investigate whether the decreasing diagrams technique can be…
We study the succinctness of the complement and intersection of regular expressions. In particular, we show that when constructing a regular expression defining the complement of a given regular expression, a double exponential size…