Source author record

R. Crowston

Explore this author’s publications, collaborators and research topics. This catalog record has not been claimed by its author.

ResearcherUnclaimed source record

Data Structures and Algorithms Computational Complexity Discrete Mathematics physics.plasm-ph Cryptography and Security

Catalog footprint

Research overview

10works

5topics

4close collaborators

Actions

Is this your work?

Open graph Browse papers

preprint2016arXiv

Guiding of relativistic electron beams in dense matter by longitudinally imposed strong magnetic fields

High-energy-density flows through dense matter are needed for effective progress in the production of laser-driven intense sources of energetic particles and radiation, in driving matter to extreme temperatures creating state regimes relevant for planetary or stellar science as yet inaccessible at the laboratory scale, or in achieving high-gain laser-driven thermonuclear fusion. When interacting at the surface of dense (opaque) targets, intense lasers accelerate relativistic electron beams which transport a significant fraction of the laser energy into the target depth. However, the overall laser-to-target coupling efficiency is impaired by the large divergence of the electron beam, intrinsic to the laser-plasma interaction. By imposing a longitudinal 600T laser-driven magnetic-field, our experimental results show guided >10MA-current of MeV-electrons in solid matter. Due to the applied magnetic field, the transported energy-density and the peak background electron temperature at the 60micron-thick targets rear surface rise by factors 5, resulting from unprecedentedly efficient guiding of relativistic electron currents.

preprint2015arXiv

Laser-driven platform for generation and characterization of strong quasi-static magnetic fields

Quasi-static magnetic-fields up to $800\,$ T are generated in the interaction of intense laser pulses ( $500\,$ J, $1\,$ ns, $10^{17}\,$ W/cm $^2$ ) with capacitor-coil targets of different materials. The reproducible magnetic-field peak and rise-time, consistent with the laser pulse duration, were accurately inferred from measurements with GHz-bandwidth inductor pickup coils (B-dot probes). Results from Faraday rotation of polarized optical laser light and deflectometry of energetic proton beams are consistent with the B-dot probe measurements at the early stages of the target charging, up to $t\approx 0.35\,$ ns, and then are disturbed by radiation and plasma effects. The field has a dipole-like distribution over a characteristic volume of $1\,$ mm $^3$ , which is coherent with theoretical expectations. These results demonstrate a very efficient conversion of the laser energy into magnetic fields, thus establishing a robust laser-driven platform for reproducible, well characterized, generation of quasi-static magnetic fields at the kT-level, as well as for magnetization and accurate probing of high-energy-density samples driven by secondary powerful laser or particle beams.

preprint2013arXiv

Maximum Balanced Subgraph Problem Parameterized Above Lower Bound

We consider graphs without loops or parallel edges in which every edge is assigned + or -. Such a signed graph is balanced if its vertex set can be partitioned into parts $V_1$ and $V_2$ such that all edges between vertices in the same part have sign + and all edges between vertices of different parts have sign $-$ (one of the parts may be empty). It is well-known that every connected signed graph with $n$ vertices and $m$ edges has a balanced subgraph with at least $\frac{m}{2} + \frac{n-1}{4}$ edges and this bound is tight. We consider the following parameterized problem: given a connected signed graph $G$ with $n$ vertices and $m$ edges, decide whether $G$ has a balanced subgraph with at least $\frac{m}{2} + \frac{n-1}{4}+\frac{k}{4}$ edges, where $k$ is the parameter. We obtain an algorithm for the problem of runtime $8^k(kn)^{O(1)}$ . We also prove that for each instance $(G,k)$ of the problem, in polynomial time, we can either solve $(G,k)$ or produce an equivalent instance $(G',k')$ such that $k'\le k$ and $|V(G')|=O(k^3)$ . Our first result generalizes a result of Crowston, Jones and Mnich (ICALP 2012) on the corresponding parameterization of Max Cut (when every edge of $G$ has sign $-$ ). Our second result generalizes and significantly improves the corresponding result of Crowston, Jones and Mnich: they showed that $|V(G')|=O(k^5)$ .

preprint2012arXiv

Fixed-parameter tractability of satisfying beyond the number of variables

We consider a CNF formula $F$ as a multiset of clauses: $F=\{c_1,..., c_m\}$ . The set of variables of $F$ will be denoted by $V(F)$ . Let $B_F$ denote the bipartite graph with partite sets $V(F)$ and $F$ and with an edge between $v \in V(F)$ and $c \in F$ if $v \in c$ or $\bar{v} \in c$ . The matching number $ν(F)$ of $F$ is the size of a maximum matching in $B_F$ . In our main result, we prove that the following parameterization of {\sc MaxSat} (denoted by $(ν(F)+k)$ -\textsc{SAT}) is fixed-parameter tractable: Given a formula $F$ , decide whether we can satisfy at least $ν(F)+k$ clauses in $F$ , where $k$ is the parameter. A formula $F$ is called variable-matched if $ν(F)=|V(F)|.$ Let $δ(F)=|F|-|V(F)|$ and $δ^*(F)=\max_{F'\subseteq F} δ(F').$ Our main result implies fixed-parameter tractability of {\sc MaxSat} parameterized by $δ(F)$ for variable-matched formulas $F$ ; this complements related results of Kullmann (2000) and Szeider (2004) for {\sc MaxSat} parameterized by $δ^*(F)$ . To obtain our main result, we reduce $(ν(F)+k)$ -\textsc{SAT} into the following parameterization of the {\sc Hitting Set} problem (denoted by $(m-k)$ -{\sc Hitting Set}): given a collection $\cal C$ of $m$ subsets of a ground set $U$ of $n$ elements, decide whether there is $X\subseteq U$ such that $C\cap X\neq \emptyset$ for each $C\in \cal C$ and $|X|\le m-k,$ where $k$ is the parameter. Gutin, Jones and Yeo (2011) proved that $(m-k)$ -{\sc Hitting Set} is fixed-parameter tractable by obtaining an exponential kernel for the problem. We obtain two algorithms for $(m-k)$ -{\sc Hitting Set}: a deterministic algorithm of runtime $O((2e)^{2k+O(\log^2 k)} (m+n)^{O(1)})$ and a randomized algorithm of expected runtime $O(8^{k+O(\sqrt{k})} (m+n)^{O(1)})$ . Our deterministic algorithm improves an algorithm that follows from the kernelization result of Gutin, Jones and Yeo (2011).

preprint2012arXiv

Fixed-Parameter Tractability of Workflow Satisfiability in the Presence of Seniority Constraints

The workflow satisfiability problem is concerned with determining whether it is possible to find an allocation of authorized users to the steps in a workflow in such a way that all constraints are satisfied. The problem is NP-hard in general, but is known to be fixed-parameter tractable for certain classes of constraints. The known results on fixed-parameter tractability rely on the symmetry (in some sense) of the constraints. In this paper, we provide the first results that establish fixed-parameter tractability of the satisfiability problem when the constraints are asymmetric. In particular, we introduce the notion of seniority constraints, in which the execution of steps is determined, in part, by the relative seniority of the users that perform them. Our results require new techniques, which make use of tree decompositions of the graph of the binary relation defining the constraint. Finally, we establish a lower bound for the hardness of the workflow satisfiability problem.

preprint2012arXiv

Parameterized Complexity of Satisfying Almost All Linear Equations over $\mathbb{F}_2$

The problem MaxLin2 can be stated as follows. We are given a system $S$ of $m$ equations in variables $x_1,...,x_n$ , where each equation is $\sum_{i \in I_j}x_i = b_j$ is assigned a positive integral weight $w_j$ and $x_i,b_j \in \mathbb{F}_2$ , $I_j \subseteq \{1,2,...,n\}$ for $j=1,...,m$ . We are required to find an assignment of values to the variables in order to maximize the total weight of the satisfied equations. Let $W$ be the total weight of all equations in $S$ . We consider the following parameterized version of MaxLin2: decide whether there is an assignment satisfying equations of total weight at least $W-k$ , where $k$ is a nonnegative parameter. We prove that this parameterized problem is W[1]-hard even if each equation of $S$ has exactly three variables and every variable appears in exactly three equations and, moreover, each weight $w_j$ equals 1 and no two equations have the same left-hand side. We show the tightness of this result by proving that if each equation has at most two variables then the parameterized problem is fixed-parameter tractable. We also prove that if no variable appears in more than two equations then we can maximize the total weight of satisfied equations in polynomial time.

preprint2012arXiv

Parameterized Study of the Test Cover Problem

We carry out a systematic study of a natural covering problem, used for identification across several areas, in the realm of parameterized complexity. In the {\sc Test Cover} problem we are given a set $[n]=\{1,...,n\}$ of items together with a collection, $\cal T$ , of distinct subsets of these items called tests. We assume that $\cal T$ is a test cover, i.e., for each pair of items there is a test in $\cal T$ containing exactly one of these items. The objective is to find a minimum size subcollection of $\cal T$ , which is still a test cover. The generic parameterized version of {\sc Test Cover} is denoted by $p(k,n,|{\cal T}|)$ -{\sc Test Cover}. Here, we are given $([n],\cal{T})$ and a positive integer parameter $k$ as input and the objective is to decide whether there is a test cover of size at most $p(k,n,|{\cal T}|)$ . We study four parameterizations for {\sc Test Cover} and obtain the following: (a) $k$ -{\sc Test Cover}, and $(n-k)$ -{\sc Test Cover} are fixed-parameter tractable (FPT). (b) $(|{\cal T}|-k)$ -{\sc Test Cover} and $(\log n+k)$ -{\sc Test Cover} are W[1]-hard. Thus, it is unlikely that these problems are FPT.

preprint2011arXiv

A New Lower Bound on the Maximum Number of Satisfied Clauses in Max-SAT and its Algorithmic Applications

A pair of unit clauses is called conflicting if it is of the form $(x)$ , $(\bar{x})$ . A CNF formula is unit-conflict free (UCF) if it contains no pair of conflicting unit clauses. Lieberherr and Specker (J. ACM 28, 1981) showed that for each UCF CNF formula with $m$ clauses we can simultaneously satisfy at least $\pp m$ clauses, where $\pp =(\sqrt{5}-1)/2$. We improve the Lieberherr-Specker bound by showing that for each UCF CNF formula $F$ with $m$ clauses we can find, in polynomial time, a subformula $F'$ with $m'$ clauses such that we can simultaneously satisfy at least $\pp m+(1-\pp)m'+(2-3\pp)n"/2$ clauses (in $F$ ), where $n"$ is the number of variables in $F$ which are not in $F'$ . We consider two parameterized versions of MAX-SAT, where the parameter is the number of satisfied clauses above the bounds $m/2$ and $m(\sqrt{5}-1)/2$ . The former bound is tight for general formulas, and the later is tight for UCF formulas. Mahajan and Raman (J. Algorithms 31, 1999) showed that every instance of the first parameterized problem can be transformed, in polynomial time, into an equivalent one with at most $6k+3$ variables and $10k$ clauses. We improve this to $4k$ variables and $(2\sqrt{5}+4)k$ clauses. Mahajan and Raman conjectured that the second parameterized problem is fixed-parameter tractable (FPT). We show that the problem is indeed FPT by describing a polynomial-time algorithm that transforms any problem instance into an equivalent one with at most $(7+3\sqrt{5})k$ variables. Our results are obtained using our improvement of the Lieberherr-Specker bound above.

preprint2011arXiv

Simultaneously Satisfying Linear Equations Over $\mathbb{F}_2$ : MaxLin2 and Max- $r$ -Lin2 Parameterized Above Average

In the parameterized problem \textsc{MaxLin2-AA}[ $k$ ], we are given a system with variables $x_1,...,x_n$ consisting of equations of the form $\prod_{i \in I}x_i = b$ , where $x_i,b \in \{-1, 1\}$ and $I\subseteq [n],$ each equation has a positive integral weight, and we are to decide whether it is possible to simultaneously satisfy equations of total weight at least $W/2+k$ , where $W$ is the total weight of all equations and $k$ is the parameter (if $k=0$ , the possibility is assured). We show that \textsc{MaxLin2-AA}[ $k$ ] has a kernel with at most $O(k^2\log k)$ variables and can be solved in time $2^{O(k\log k)}(nm)^{O(1)}$ . This solves an open problem of Mahajan et al. (2006). The problem \textsc{Max- $r$ -Lin2-AA}[ $k,r$ ] is the same as \textsc{MaxLin2-AA}[ $k$ ] with two differences: each equation has at most $r$ variables and $r$ is the second parameter. We prove a theorem on \textsc{Max- $r$ -Lin2-AA}[ $k,r$ ] which implies that \textsc{Max- $r$ -Lin2-AA}[ $k,r$ ] has a kernel with at most $(2k-1)r$ variables improving a number of results including one by Kim and Williams (2010). The theorem also implies a lower bound on the maximum of a function $f:\ \{-1,1\}^n \rightarrow \mathbb{R}$ of degree $r$ . We show applicability of the lower bound by giving a new proof of the Edwards-Erd{\H o}s bound (each connected graph on $n$ vertices and $m$ edges has a bipartite subgraph with at least $m/2 + (n-1)/4$ edges) and obtaining a generalization.

preprint2010arXiv

Systems of Linear Equations over $\mathbb{F}_2$ and Problems Parameterized Above Average

In the problem Max Lin, we are given a system $Az=b$ of $m$ linear equations with $n$ variables over $\mathbb{F}_2$ in which each equation is assigned a positive weight and we wish to find an assignment of values to the variables that maximizes the excess, which is the total weight of satisfied equations minus the total weight of falsified equations. Using an algebraic approach, we obtain a lower bound for the maximum excess. Max Lin Above Average (Max Lin AA) is a parameterized version of Max Lin introduced by Mahajan et al. (Proc. IWPEC'06 and J. Comput. Syst. Sci. 75, 2009). In Max Lin AA all weights are integral and we are to decide whether the maximum excess is at least $k$ , where $k$ is the parameter. It is not hard to see that we may assume that no two equations in $Az=b$ have the same left-hand side and $n={\rm rank A}$ . Using our maximum excess results, we prove that, under these assumptions, Max Lin AA is fixed-parameter tractable for a wide special case: $m\le 2^{p(n)}$ for an arbitrary fixed function $p(n)=o(n)$ . Max $r$ -Lin AA is a special case of Max Lin AA, where each equation has at most $r$ variables. In Max Exact $r$ -SAT AA we are given a multiset of $m$ clauses on $n$ variables such that each clause has $r$ variables and asked whether there is a truth assignment to the $n$ variables that satisfies at least $(1-2^{-r})m + k2^{-r}$ clauses. Using our maximum excess results, we prove that for each fixed $r\ge 2$ , Max $r$ -Lin AA and Max Exact $r$ -SAT AA can be solved in time $2^{O(k \log k)}+m^{O(1)}.$ This improves $2^{O(k^2)}+m^{O(1)}$ -time algorithms for the two problems obtained by Gutin et al. (IWPEC 2009) and Alon et al. (SODA 2010), respectively.

Inspect adjacent papers, topics, institutions and collaborators without losing the researcher page.

Building this map preview

BZPEER is loading the nearby papers, people, topics and institutions for this page.

R. Crowston

Research overview

Is this your work?

10 publications

Guiding of relativistic electron beams in dense matter by longitudinally imposed strong magnetic fields

Laser-driven platform for generation and characterization of strong quasi-static magnetic fields

Maximum Balanced Subgraph Problem Parameterized Above Lower Bound

Fixed-parameter tractability of satisfying beyond the number of variables

Fixed-Parameter Tractability of Workflow Satisfiability in the Presence of Seniority Constraints

Parameterized Complexity of Satisfying Almost All Linear Equations over $\mathbb{F}_2$

Parameterized Study of the Test Cover Problem

A New Lower Bound on the Maximum Number of Satisfied Clauses in Max-SAT and its Algorithmic Applications

Simultaneously Satisfying Linear Equations Over $\mathbb{F}_2$ : MaxLin2 and Max- $r$ -Lin2 Parameterized Above Average

Systems of Linear Equations over $\mathbb{F}_2$ and Problems Parameterized Above Average

See the researcher in context

Building this map preview

R. Crowston

Research overview

Is this your work?

10 publications

Guiding of relativistic electron beams in dense matter by longitudinally imposed strong magnetic fields

Laser-driven platform for generation and characterization of strong quasi-static magnetic fields

Maximum Balanced Subgraph Problem Parameterized Above Lower Bound

Fixed-parameter tractability of satisfying beyond the number of variables

Fixed-Parameter Tractability of Workflow Satisfiability in the Presence of Seniority Constraints

Parameterized Complexity of Satisfying Almost All Linear Equations over F2\mathbb{F}_2F2​

Parameterized Study of the Test Cover Problem

A New Lower Bound on the Maximum Number of Satisfied Clauses in Max-SAT and its Algorithmic Applications

Simultaneously Satisfying Linear Equations Over F2\mathbb{F}_2F2​: MaxLin2 and Max-rrr-Lin2 Parameterized Above Average

Systems of Linear Equations over F2\mathbb{F}_2F2​ and Problems Parameterized Above Average

See the researcher in context

Building this map preview

Parameterized Complexity of Satisfying Almost All Linear Equations over $\mathbb{F}_2$

Simultaneously Satisfying Linear Equations Over $\mathbb{F}_2$ : MaxLin2 and Max- $r$ -Lin2 Parameterized Above Average

Systems of Linear Equations over $\mathbb{F}_2$ and Problems Parameterized Above Average