Constraint Satisfaction with Counting Quantifiers

We initiate the study of constraint satisfaction problems (CSPs) in the presence of counting quantifiers, which may be seen as variants of CSPs in the mould of quantified CSPs (QCSPs). We show that a single counting quantifier strictly between exists^1:=exists and exists^n:=forall (the domain being of size n) already affords the maximal possible complexity of QCSPs (which have both exists and forall), being Pspace-complete for a suitably chosen template. Next, we focus on the complexity of subsets of counting quantifiers on clique and cycle templates. For cycles we give a full trichotomy -- all such problems are in L, NP-complete or Pspace-complete. For cliques we come close to a similar trichotomy, but one case remains outstanding. Afterwards, we consider the generalisation of CSPs in which we augment the extant quantifier exists^1:=exists with the quantifier exists^j (j not 1). Such a CSP is already NP-hard on non-bipartite graph templates. We explore the situation of this generalised CSP on bipartite templates, giving various conditions for both tractability and hardness -- culminating in a classification theorem for general graphs. Finally, we use counting quantifiers to solve the complexity of a concrete QCSP whose complexity was previously open

Optical guiding in meter-scale plasma waveguides

We demonstrate a new highly tunable technique for generating meter-scale low density plasma waveguides. Such guides can enable electron acceleration to tens of GeV in a single stage. Plasma waveguides are imprinted in hydrogen gas by optical field ionization induced by two time-separated Bessel beam pulses: The first pulse, a J_0 beam, generates the core of the waveguide, while the delayed second pulse, here a J_8 or J_16 beam, generates the waveguide cladding. We demonstrate guiding of intense laser pulses over hundreds of Rayleigh lengths with on axis plasma densities as low as N_e0=5x10^16 cm^-3

Self-consistent fragmented excited states of trapped condensates

Self-consistent excited states of condensates are solutions of the Gross-Pitaevskii (GP) equation and have been amply discussed in the literature and related to experiments. By introducing a more general mean-field which includes the GP one as a special case, we find a new class of self-consistent excited states. In these states macroscopic numbers of bosons reside in different one-particle functions, i.e., the states are fragmented. Still, a single chemical potential is associated with the condensate. A numerical example is presented, illustrating that the energies of the new, fragmented, states are much lower than those of the GP excited states, and that they are stable to variations of the particle number and shape of the trap potential.Comment: (11 pages 2 figures, submitted to PRL

Universal quantum computation by discontinuous quantum walk

Quantum walks are the quantum-mechanical analog of random walks, in which a quantum `walker' evolves between initial and final states by traversing the edges of a graph, either in discrete steps from node to node or via continuous evolution under the Hamiltonian furnished by the adjacency matrix of the graph. We present a hybrid scheme for universal quantum computation in which a quantum walker takes discrete steps of continuous evolution. This `discontinuous' quantum walk employs perfect quantum state transfer between two nodes of specific subgraphs chosen to implement a universal gate set, thereby ensuring unitary evolution without requiring the introduction of an ancillary coin space. The run time is linear in the number of simulated qubits and gates. The scheme allows multiple runs of the algorithm to be executed almost simultaneously by starting walkers one timestep apart.Comment: 7 pages, revte

Multiple Invaded Consolidating Materials

We study a multiple invasion model to simulate corrosion or intrusion processes. Estimated values for the fractal dimension of the invaded region reveal that the critical exponents vary as function of the generation number $G$, i.e., with the number of times the invasion process takes place. The averaged mass $M$ of the invaded region decreases with a power-law as a function of $G$, $M\sim G^{\beta}$, where the exponent $\beta\approx 0.6$. We also find that the fractal dimension of the invaded cluster changes from $d_{1}=1.887\pm0.002$ to $d_{s}=1.217\pm0.005$. This result confirms that the multiple invasion process follows a continuous transition from one universality class (NTIP) to another (optimal path). In addition, we report extensive numerical simulations that indicate that the mass distribution of avalanches $P(S,L)$ has a power-law behavior and we find that the exponent $\tau$ governing the power-law $P(S,L)\sim S^{-\tau}$ changes continuously as a function of the parameter $G$. We propose a scaling law for the mass distribution of avalanches for different number of generations $G$.Comment: 8 pages and 16 figure

Fracture Surfaces as Multiscaling Graphs

Fracture paths in quasi-two-dimenisonal (2D) media (e.g thin layers of materials, paper) are analyzed as self-affine graphs $h(x)$ of height $h$ as a function of length $x$. We show that these are multiscaling, in the sense that $n^{th}$ order moments of the height fluctuations across any distance $\ell$ scale with a characteristic exponent that depends nonlinearly on the order of the moment. Having demonstrated this, one rules out a widely held conjecture that fracture in 2D belongs to the universality class of directed polymers in random media. In fact, 2D fracture does not belong to any of the known kinetic roughening models. The presence of multiscaling offers a stringent test for any theoretical model; we show that a recently introduced model of quasi-static fracture passes this test.Comment: 4 pages, 5 figure

Rotation of an atomic Bose-Einstein condensate with and without a quantized vortex

We theoretically examine the rotation of an atomic Bose-Einstein condensate in an elliptical trap, both in the absence and presence of a quantized vortex. Two methods of introducing the rotating potential are considered - adiabatically increasing the rotation frequency at fixed ellipticity, and adiabatically increasing the trap ellipticity at fixed rotation frequency. Extensive simulations of the Gross-Pitaevskii equation are employed to map out the points where the condensate becomes unstable and ultimately forms a vortex lattice. We highlight the key features of having a quantized vortex in the initial condensate. In particular, we find that the presence of the vortex causes the instabilities to shift to lower or higher rotation frequencies, depending on the direction of the vortex relative to the trap rotation.Comment: 15 pages, 8 figure

Stretched exponentials and power laws in granular avalanching

We introduce a model for granular avalanching which exhibits both stretched exponential and power law avalanching over its parameter range. Two modes of transport are incorporated, a rolling layer consisting of individual particles and the overdamped, sliding motion of particle clusters. The crossover in behaviour observed in experiments on piles of rice is attributed to a change in the dominant mode of transport. We predict that power law avalanching will be observed whenever surface flow is dominated by clustered motion. Comment: 8 pages, more concise and some points clarified

Analytical results for a trapped, weakly-interacting Bose-Einstein condensate under rotation

We examine the problem of a repulsive, weakly-interacting and harmonically trapped Bose-Einstein condensate under rotation. We derive a simple analytic expression for the energy incorporating the interactions when the angular momentum per particle is between zero and one and find that the interaction energy decreases linearly as a function of the angular momentum in agreement with previous numerical and limiting analytical studies.Comment: 3 pages, RevTe