Fixed-parameter tractability of multicut parameterized by the size of the cutset

Given an undirected graph $G$, a collection $\{(s_1,t_1),..., (s_k,t_k)\}$ of pairs of vertices, and an integer $p$, the Edge Multicut problem ask if there is a set $S$ of at most $p$ edges such that the removal of $S$ disconnects every $s_i$ from the corresponding $t_i$. Vertex Multicut is the analogous problem where $S$ is a set of at most $p$ vertices. Our main result is that both problems can be solved in time $2^{O(p^3)}... n^{O(1)}$, i.e., fixed-parameter tractable parameterized by the size $p$ of the cutset in the solution. By contrast, it is unlikely that an algorithm with running time of the form $f(p)... n^{O(1)}$ exists for the directed version of the problem, as we show it to be W[1]-hard parameterized by the size of the cutset

Subset feedback vertex set is fixed parameter tractable

The classical Feedback Vertex Set problem asks, for a given undirected graph G and an integer k, to find a set of at most k vertices that hits all the cycles in the graph G. Feedback Vertex Set has attracted a large amount of research in the parameterized setting, and subsequent kernelization and fixed-parameter algorithms have been a rich source of ideas in the field. In this paper we consider a more general and difficult version of the problem, named Subset Feedback Vertex Set (SUBSET-FVS in short) where an instance comes additionally with a set S ? V of vertices, and we ask for a set of at most k vertices that hits all simple cycles passing through S. Because of its applications in circuit testing and genetic linkage analysis SUBSET-FVS was studied from the approximation algorithms perspective by Even et al. [SICOMP'00, SIDMA'00]. The question whether the SUBSET-FVS problem is fixed-parameter tractable was posed independently by Kawarabayashi and Saurabh in 2009. We answer this question affirmatively. We begin by showing that this problem is fixed-parameter tractable when parametrized by |S|. Next we present an algorithm which reduces the given instance to 2^k n^O(1) instances with the size of S bounded by O(k^3), using kernelization techniques such as the 2-Expansion Lemma, Menger's theorem and Gallai's theorem. These two facts allow us to give a 2^O(k log k) n^O(1) time algorithm solving the Subset Feedback Vertex Set problem, proving that it is indeed fixed-parameter tractable.Comment: full version of a paper presented at ICALP'1

Nonlinear optical spectroscopy of single, few, and many molecules; nonequilibrium Green's function QED approach

Nonlinear optical signals from an assembly of N noninteracting particles consist of an incoherent and a coherent component, whose magnitudes scale \sim N and \sim N(N-1), respectively. A unified microscopic description of both types of signals is developed using a quantum electrodynamical (QED) treatment of the optical fields. Closed nonequilibrium Green's function expressions are derived that incorporate both stimulated and spontaneous processes. General (n+1)-wave mixing experiments are discussed as an example of spontaneously generated signals. When performed on a single particle, such signals cannot be expressed in terms of the nth order polarization, as predicted by the semiclassical theory. Stimulated processes are shown to be purely incoherent in nature. Within the QED framework, heterodyne-detected wave mixing signals are simply viewed as incoherent stimulated emission, whereas homodyne signals are generated by coherent spontaneous emission.Comment: article: 33 pages (preprint format!) ''paper.tex'' figures: 17 figures (.eps) in folder ``figures'

Augmenting graphs to minimize the diameter

We study the problem of augmenting a weighted graph by inserting edges of bounded total cost while minimizing the diameter of the augmented graph. Our main result is an FPT 4-approximation algorithm for the problem.Comment: 15 pages, 3 figure

Possible pseudogap behavior of electron doped high-temperature superconductors

We have measured the low-energy quasiparticle excitation spectrum of the electron doped high-temperature superconductors (HTS) Nd(1.85)Ce(0.15)CuO(4-y) and Pr(1.85)Ce(0.15)CuO(4-y) as a function of temperature and applied magnetic field using tunneling spectroscopy. At zero magnetic field, for these optimum doped samples no excitation gap is observed in the tunneling spectra above the transition temperature Tc. In contrast, below Tc for applied magnetic fields well above the resistively determined upper critical field, a clear excitation gap at the Fermi level is found which is comparable to the superconducting energy gap below Tc. Possible interpretations of this observation are the existence of a normal state pseudogap in the electron doped HTS or the existence of a spatially non-uniform superconducting state.Comment: 4 pages, 4 ps-figures included, to be published in Phys. Rev. B, Rapid Com

Scotland, Catalonia and the “right” to self-determination: a comment suggested by Kathryn Crameri’s “Do Catalans Have the Right to Decide?

No abstract available

Diethyl 2-[(4-nitro­phen­yl)(4-phenyl-1,2,3-selenadiazol-5-yl)meth­yl]malonate

In the title compound, C22H21N3O6Se, the heterocyclic ring makes dihedral angles of 50.03 (11) and 67.75 (11)°, respectively, with the benzene and phenyl rings. The terminal C atoms of the ester groups are disordered over two positions: the site occupancies for the C atoms are 0.62 (3)/0.38 (3) and 0.48 (3)/0.52 (3). In the crystal structure, weak intra- and inter­molecular C—H⋯O inter­actions are observed

RDF Querying

Reactive Web systems, Web services, and Web-based publish/ subscribe systems communicate events as XML messages, and in many cases require composite event detection: it is not sufficient to react to single event messages, but events have to be considered in relation to other events that are received over time. Emphasizing language design and formal semantics, we describe the rule-based query language XChangeEQ for detecting composite events. XChangeEQ is designed to completely cover and integrate the four complementary querying dimensions: event data, event composition, temporal relationships, and event accumulation. Semantics are provided as model and fixpoint theories; while this is an established approach for rule languages, it has not been applied for event queries before

Networks of nonlinear superconducting transmission line resonators

We investigate a network of coupled superconducting transmission line resonators, each of them made nonlinear with a capacitively shunted Josephson junction coupling to the odd flux modes of the resonator. The resulting eigenmode spectrum shows anticrossings between the plasma mode of the shunted junction and the odd resonator modes. Notably, we find that the combined device can inherit the complete nonlinearity of the junction, allowing for a description as a harmonic oscillator with a Kerr nonlinearity. Using a dc SQUID instead of a single junction, the nonlinearity can be tuned between 10 kHz and 4 MHz while maintaining resonance frequencies of a few gigahertz for realistic device parameters. An array of such nonlinear resonators can be considered a scalable superconducting quantum simulator for a Bose-Hubbard Hamiltonian. The device would be capable of accessing the strongly correlated regime and be particularly well suited for investigating quantum many-body dynamics of interacting particles under the influence of drive and dissipation.Comment: 18 pages, 3 figure