Showing 1–17 of 17 results for author: Parkes, J

Resection cavity auto-contouring for patients with pediatric medulloblastoma using only CT information

Authors: Soleil Hernandez, Callistus Nguyen, Skylar Gay, Jack Duryea, Rebecca Howell, David Fuentes, Jeannette Parkes, Hester Burger, Carlos Cardenas, Arnold C. Paulino, Julianne Pollard-Larkin, Laurence Court

Abstract: Purpose: Target delineation for radiation therapy is a time-consuming and complex task. Autocontouring gross tumor volumes (GTVs) has been shown to increase efficiency. However, there is limited literature on post-operative target delineation, particularly for CT-based studies. To this end, we trained a CT-based autocontouring model to contour the post-operative GTV of pediatric patients with medu… ▽ More Purpose: Target delineation for radiation therapy is a time-consuming and complex task. Autocontouring gross tumor volumes (GTVs) has been shown to increase efficiency. However, there is limited literature on post-operative target delineation, particularly for CT-based studies. To this end, we trained a CT-based autocontouring model to contour the post-operative GTV of pediatric patients with medulloblastoma. Methods: 104 retrospective pediatric CT scans were used to train a GTV auto-contouring model. 80 patients were then preselected for contour visibility, continuity, and location to train an additional model. Each GTV was manually annotated with a visibility score based on the number of slices with a visible GTV (1 = <25%, 2 = 25%-50%, 3 = >50%-75%, and 4 = >75%-100%). Contrast and the contrast-to-noise ratio (CNR) were calculated for the GTV contour with respect to a cropped background image. Both models were tested on the original and pre-selected testing sets. The resulting surface and overlap metrics were calculated comparing the clinical and autocontoured GTVs and the corresponding clinical target volumes (CTVs). Results: 80 patients were pre-selected to have a continuous GTV within the posterior fossa. Of these, 7, 41, 21, and 11 were visibly scored as 4, 3, 2, and 1, respectively. The contrast and CNR removed an additional 11 and 20 patients from the dataset, respectively. The Dice similarity coefficients (DSC) were 0.61 +/- 0.29 and 0.67 +/- 0.22 on the models without pre-selected training data and 0.55 +/- 13.01 and 0.83 +/- 0.17 on the models with pre-selected data, respectively. The DSC on the CTV expansions were 0.90 +/- 0.13. Conclusion: We automatically contoured continuous GTVs within the posterior fossa on scans that had contrast >=10 HU. CT-Based auto-contouring algorithms have potential to positively impact centers with limited MRI access. △ Less

Submitted 19 December, 2022; originally announced December 2022.

Comments: 14 pages, 6 figures

Journal ref: Journal of Applied Clinical Medical Physics 2022

Enhancing Security via Deliberate Unpredictability of Solutions in Optimisation

Authors: Daniel Karapetyan, Andrew J. Parkes

Abstract: The main aim of decision support systems is to find solutions that satisfy user requirements. Often, this leads to predictability of those solutions, in the sense that having the input data and the model, an adversary or enemy can predict to a great extent the solution produced by your decision support system. Such predictability can be undesirable, for example, in military or security timetabling… ▽ More The main aim of decision support systems is to find solutions that satisfy user requirements. Often, this leads to predictability of those solutions, in the sense that having the input data and the model, an adversary or enemy can predict to a great extent the solution produced by your decision support system. Such predictability can be undesirable, for example, in military or security timetabling, or applications that require anonymity. In this paper, we discuss the notion of solution predictability and introduce potential mechanisms to intentionally avoid it. △ Less

Submitted 15 January, 2021; originally announced January 2021.

Comments: Accepted for publication in PATAT 2020

Semidefinite Programming in Timetabling and Mutual-Exclusion Scheduling

Authors: Jakub Marecek, Andrew J. Parkes

Abstract: In scheduling and timetabling applications, the mutual-exclusion constraint stipulates that certain pairs of tasks that cannot be executed at the same time. This corresponds to the vertex colouring problem in graph theory, for which there are well-known semidefinite programming (SDP) relaxations. In practice, however, the mutual-exclusion constraint is typically combined with many other constraint… ▽ More In scheduling and timetabling applications, the mutual-exclusion constraint stipulates that certain pairs of tasks that cannot be executed at the same time. This corresponds to the vertex colouring problem in graph theory, for which there are well-known semidefinite programming (SDP) relaxations. In practice, however, the mutual-exclusion constraint is typically combined with many other constraints, whose SDP representability has not been studied. We present SDP relaxations for a variety of mutual-exclusion scheduling and timetabling problems, starting from a bound on the number of tasks executed within each period, which corresponds to graph colouring bounded in the number of uses of each colour. In theory, this provides the strongest known bounds for these problems that are computable to any precision in time polynomial in the dimensions. In practice, we report encouraging computational results on random graphs, Knesser graphs, ``forbidden intersection'' graphs, the Toronto benchmark, and the International Timetabling Competition. △ Less

Submitted 6 April, 2019; originally announced April 2019.

Algorithm Configuration: Learning policies for the quick termination of poor performers

Authors: Daniel Karapetyan, Andrew J. Parkes, Thomas Stützle

Abstract: One way to speed up the algorithm configuration task is to use short runs instead of long runs as much as possible, but without discarding the configurations that eventually do well on the long runs. We consider the problem of selecting the top performing configurations of the Conditional Markov Chain Search (CMCS), a general algorithm schema that includes, for examples, VNS. We investigate how th… ▽ More One way to speed up the algorithm configuration task is to use short runs instead of long runs as much as possible, but without discarding the configurations that eventually do well on the long runs. We consider the problem of selecting the top performing configurations of the Conditional Markov Chain Search (CMCS), a general algorithm schema that includes, for examples, VNS. We investigate how the structure of performance on short tests links with those on long tests, showing that significant differences arise between test domains. We propose a "performance envelope" method to exploit the links; that learns when runs should be terminated, but that automatically adapts to the domain. △ Less

Submitted 26 March, 2018; originally announced March 2018.

Two-Stage Stochastic International Portfolio Optimisation under Regular-Vine-Copula-Based Scenarios

Authors: Nonthachote Chatsanga, Andrew J. Parkes

Abstract: In this paper, we present a two-stage stochastic international portfolio optimisation model to find an optimal allocation for the combination of both assets and currency hedging positions. Our optimisation model allows a "currency overlay", or a deviation of currency exposure from asset exposure, to provide flexibility in hedging against, or in speculation using, currency exposure. The transaction… ▽ More In this paper, we present a two-stage stochastic international portfolio optimisation model to find an optimal allocation for the combination of both assets and currency hedging positions. Our optimisation model allows a "currency overlay", or a deviation of currency exposure from asset exposure, to provide flexibility in hedging against, or in speculation using, currency exposure. The transaction costs associated with both trading and hedging are also included. To model the realistic dependence structure of the multivariate return distributions, a new scenario generation method, employing a regular-vine copula is developed. The use of vine copulas allows a better representation of the characteristics of returns, specifically, their non-normality and asymmetric dependencies. It hence improves the representation of the uncertainty underlying decisions needed for international portfolio optimisation problems. Efficient portfolios optimised with scenarios generated from the new vine-copula method are compared with the portfolios from a standard scenario generation method. Experimental results show that the proposed method, using realistic non-normal uncertainty, produces portfolios that give better risk-return reward than those from a standard scenario generation approach, using normal distributions. The difference in risk-return compensation is largest when the portfolios are constrained to require higher returns. The paper shows that it can be important to model the non-normality in uncertainty, and not just assume normal distributions. △ Less

Submitted 4 April, 2017; originally announced April 2017.

International Portfolio Optimisation with Integrated Currency Overlay Costs and Constraints

Authors: Nonthachote Chatsanga, Andrew J. Parkes

Abstract: Portfolio optimisation typically aims to provide an optimal allocation that minimises risk, at a given return target, by diversifying over different investments. However, the potential scope of such risk diversification can be limited if investments are concentrated in only one country, or more specifically one currency. Multi-currency portfolio is an alternative to achieve higher returns and more… ▽ More Portfolio optimisation typically aims to provide an optimal allocation that minimises risk, at a given return target, by diversifying over different investments. However, the potential scope of such risk diversification can be limited if investments are concentrated in only one country, or more specifically one currency. Multi-currency portfolio is an alternative to achieve higher returns and more diversified portfolios but it requires a careful management of the entailed risks from changes in exchange rates. The deviation between asset and currency exposures in a portfolio is defined as the "currency overlay". This paper addresses risk mitigation by allowing currency overlay and asset allocation be optimised together. We propose a model of the international portfolio optimisation problem in which the currency overlay is constructed by holding foreign exchange rate forward contracts. Crucially, the cost of carry, transaction costs, and margin requirement of forward contracts are also taken into account in portfolio return calculation. This novel extension of previous overlay models improves the accuracy of risk and return calculation of portfolios; furthermore, our experimental results show that inclusion of such costs significantly changes the optimal decisions. Effects of constraints imposed to reduce transaction costs associated are examined and the empirical results show that risk-return compensation of portfolios varies significantly with different return targets. △ Less

Submitted 4 November, 2016; originally announced November 2016.

Markov Chain methods for the bipartite Boolean quadratic programming problem

Authors: Daniel Karapetyan, Abraham P. Punnen, Andrew J. Parkes

Abstract: We study the Bipartite Boolean Quadratic Programming Problem (BBQP) which is an extension of the well known Boolean Quadratic Programming Problem (BQP). Applications of the BBQP include mining discrete patterns from binary data, approximating matrices by rank-one binary matrices, computing the cut-norm of a matrix, and solving optimisation problems such as maximum weight biclique, bipartite maximu… ▽ More We study the Bipartite Boolean Quadratic Programming Problem (BBQP) which is an extension of the well known Boolean Quadratic Programming Problem (BQP). Applications of the BBQP include mining discrete patterns from binary data, approximating matrices by rank-one binary matrices, computing the cut-norm of a matrix, and solving optimisation problems such as maximum weight biclique, bipartite maximum weight cut, maximum weight induced sub-graph of a bipartite graph, etc. For the BBQP, we first present several algorithmic components, specifically, hill climbers and mutations, and then show how to combine them in a high-performance metaheuristic. Instead of hand-tuning a standard metaheuristic to test the efficiency of the hybrid of the components, we chose to use an automated generation of a multi-component metaheuristic to save human time, and also improve objectivity in the analysis and comparisons of components. For this we designed a new metaheuristic schema which we call Conditional Markov Chain Search (CMCS). We show that CMCS is flexible enough to model several standard metaheuristics; this flexibility is controlled by multiple numeric parameters, and so is convenient for automated generation. We study the configurations revealed by our approach and show that the best of them outperforms the previous state-of-the-art BBQP algorithm by several orders of magnitude. In our experiments we use benchmark instances introduced in the preliminary version of this paper and described here, which have already become the de facto standard in the BBQP literature. △ Less

Submitted 24 October, 2016; v1 submitted 6 May, 2016; originally announced May 2016.

Pattern-Based Approach to the Workflow Satisfiability Problem with User-Independent Constraints

Authors: Daniel Karapetyan, Andrew J. Parkes, Gregory Gutin, Andrei Gagarin

Abstract: The fixed parameter tractable (FPT) approach is a powerful tool in tackling computationally hard problems. In this paper, we link FPT results to classic artificial intelligence (AI) techniques to show how they complement each other. Specifically, we consider the workflow satisfiability problem (WSP) which asks whether there exists an assignment of authorised users to the steps in a workflow specif… ▽ More The fixed parameter tractable (FPT) approach is a powerful tool in tackling computationally hard problems. In this paper, we link FPT results to classic artificial intelligence (AI) techniques to show how they complement each other. Specifically, we consider the workflow satisfiability problem (WSP) which asks whether there exists an assignment of authorised users to the steps in a workflow specification, subject to certain constraints on the assignment. It was shown by Cohen et al. (JAIR 2014) that WSP restricted to the class of user-independent constraints (UI), covering many practical cases, admits FPT algorithms, i.e. can be solved in time exponential only in the number of steps $k$ and polynomial in the number of users $n$. Since usually $k << n$ in WSP, such FPT algorithms are of great practical interest. We present a new interpretation of the FPT nature of the WSP with UI constraints giving a decomposition of the problem into two levels. Exploiting this two-level split, we develop a new FPT algorithm that is by many orders of magnitude faster than the previous state-of-the-art WSP algorithm and also has only polynomial-space complexity. We also introduce new pseudo-Boolean (PB) and Constraint Satisfaction (CSP) formulations of the WSP with UI constraints which efficiently exploit this new decomposition of the problem and raise the novel issue of how to use general-purpose solvers to tackle FPT problems in a fashion that meets FPT efficiency expectations. In our computational study, we investigate, for the first time, the phase transition (PT) properties of the WSP, under a model for generation of random instances. We show how PT studies can be extended, in a novel fashion, to support empirical evaluation of scaling of FPT algorithms. △ Less

Submitted 23 July, 2019; v1 submitted 19 April, 2016; originally announced April 2016.

Combining Monte-Carlo and Hyper-heuristic methods for the Multi-mode Resource-constrained Multi-project Scheduling Problem

Authors: Shahriar Asta, Daniel Karapetyan, Ahmed Kheiri, Ender Özcan, Andrew J. Parkes

Abstract: Multi-mode resource and precedence-constrained project scheduling is a well-known challenging real-world optimisation problem. An important variant of the problem requires scheduling of activities for multiple projects considering availability of local and global resources while respecting a range of constraints. A critical aspect of the benchmarks addressed in this paper is that the primary objec… ▽ More Multi-mode resource and precedence-constrained project scheduling is a well-known challenging real-world optimisation problem. An important variant of the problem requires scheduling of activities for multiple projects considering availability of local and global resources while respecting a range of constraints. A critical aspect of the benchmarks addressed in this paper is that the primary objective is to minimise the sum of the project completion times, with the usual makespan minimisation as a secondary objective. We observe that this leads to an expected different overall structure of good solutions and discuss the effects this has on the algorithm design. This paper presents a carefully designed hybrid of Monte-Carlo tree search, novel neighbourhood moves, memetic algorithms, and hyper-heuristic methods. The implementation is also engineered to increase the speed with which iterations are performed, and to exploit the computing power of multicore machines. Empirical evaluation shows that the resulting information-sharing multi-component algorithm significantly outperforms other solvers on a set of "hidden" instances, i.e. instances not available at the algorithm design phase. △ Less

Submitted 8 September, 2016; v1 submitted 13 November, 2015; originally announced November 2015.

Generalizing Boolean Satisfiability III: Implementation

Authors: H. E. Dixon, M. L. Ginsberg, D. Hofer, E. M. Luks, A. J. Parkes

Abstract: This is the third of three papers describing ZAP, a satisfiability engine that substantially generalizes existing tools while retaining the performance characteristics of modern high-performance solvers. The fundamental idea underlying ZAP is that many problems passed to such engines contain rich internal structure that is obscured by the Boolean representation used; our goal has been to define a… ▽ More This is the third of three papers describing ZAP, a satisfiability engine that substantially generalizes existing tools while retaining the performance characteristics of modern high-performance solvers. The fundamental idea underlying ZAP is that many problems passed to such engines contain rich internal structure that is obscured by the Boolean representation used; our goal has been to define a representation in which this structure is apparent and can be exploited to improve computational performance. The first paper surveyed existing work that (knowingly or not) exploited problem structure to improve the performance of satisfiability engines, and the second paper showed that this structure could be understood in terms of groups of permutations acting on individual clauses in any particular Boolean theory. We conclude the series by discussing the techniques needed to implement our ideas, and by reporting on their performance on a variety of problem instances. △ Less

Submitted 9 September, 2011; originally announced September 2011.

Journal ref: Journal Of Artificial Intelligence Research, Volume 23, pages 441-531, 2005

Generalizing Boolean Satisfiability II: Theory

Authors: H. E. Dixon, M. L. Ginsberg, E. M. Luks, A. J. Parkes

Abstract: This is the second of three planned papers describing ZAP, a satisfiability engine that substantially generalizes existing tools while retaining the performance characteristics of modern high performance solvers. The fundamental idea underlying ZAP is that many problems passed to such engines contain rich internal structure that is obscured by the Boolean representation used; our goal is to defin… ▽ More This is the second of three planned papers describing ZAP, a satisfiability engine that substantially generalizes existing tools while retaining the performance characteristics of modern high performance solvers. The fundamental idea underlying ZAP is that many problems passed to such engines contain rich internal structure that is obscured by the Boolean representation used; our goal is to define a representation in which this structure is apparent and can easily be exploited to improve computational performance. This paper presents the theoretical basis for the ideas underlying ZAP, arguing that existing ideas in this area exploit a single, recurring structure in that multiple database axioms can be obtained by operating on a single axiom using a subgroup of the group of permutations on the literals in the problem. We argue that the group structure precisely captures the general structure at which earlier approaches hinted, and give numerous examples of its use. We go on to extend the Davis-Putnam-Logemann-Loveland inference procedure to this broader setting, and show that earlier computational improvements are either subsumed or left intact by the new method. The third paper in this series discusses ZAPs implementation and presents experimental performance results. △ Less

Submitted 9 September, 2011; originally announced September 2011.

Journal ref: Journal Of Artificial Intelligence Research, Volume 22, pages 481-534, 2004

Generalizing Boolean Satisfiability I: Background and Survey of Existing Work

Authors: H. E. Dixon, M. L. Ginsberg, A. J. Parkes

Abstract: This is the first of three planned papers describing ZAP, a satisfiability engine that substantially generalizes existing tools while retaining the performance characteristics of modern high-performance solvers. The fundamental idea underlying ZAP is that many problems passed to such engines contain rich internal structure that is obscured by the Boolean representation used; our goal is to define… ▽ More This is the first of three planned papers describing ZAP, a satisfiability engine that substantially generalizes existing tools while retaining the performance characteristics of modern high-performance solvers. The fundamental idea underlying ZAP is that many problems passed to such engines contain rich internal structure that is obscured by the Boolean representation used; our goal is to define a representation in which this structure is apparent and can easily be exploited to improve computational performance. This paper is a survey of the work underlying ZAP, and discusses previous attempts to improve the performance of the Davis-Putnam-Logemann-Loveland algorithm by exploiting the structure of the problem being solved. We examine existing ideas including extensions of the Boolean language to allow cardinality constraints, pseudo-Boolean representations, symmetry, and a limited form of quantification. While this paper is intended as a survey, our research results are contained in the two subsequent articles, with the theoretical structure of ZAP described in the second paper in this series, and ZAP's implementation described in the third. △ Less

Submitted 30 June, 2011; originally announced July 2011.

Journal ref: Journal Of Artificial Intelligence Research, Volume 21, pages 193-243, 2004

Decomposition, Reformulation, and Diving in University Course Timetabling

Authors: Edmund K. Burke, Jakub Marecek, Andrew J. Parkes, Hana Rudova

Abstract: In many real-life optimisation problems, there are multiple interacting components in a solution. For example, different components might specify assignments to different kinds of resource. Often, each component is associated with different sets of soft constraints, and so with different measures of soft constraint violation. The goal is then to minimise a linear combination of such measures. Th… ▽ More In many real-life optimisation problems, there are multiple interacting components in a solution. For example, different components might specify assignments to different kinds of resource. Often, each component is associated with different sets of soft constraints, and so with different measures of soft constraint violation. The goal is then to minimise a linear combination of such measures. This paper studies an approach to such problems, which can be thought of as multiphase exploitation of multiple objective-/value-restricted submodels. In this approach, only one computationally difficult component of a problem and the associated subset of objectives is considered at first. This produces partial solutions, which define interesting neighbourhoods in the search space of the complete problem. Often, it is possible to pick the initial component so that variable aggregation can be performed at the first stage, and the neighbourhoods to be explored next are guaranteed to contain feasible solutions. Using integer programming, it is then easy to implement heuristics producing solutions with bounds on their quality. Our study is performed on a university course timetabling problem used in the 2007 International Timetabling Competition, also known as the Udine Course Timetabling Problem. In the proposed heuristic, an objective-restricted neighbourhood generator produces assignments of periods to events, with decreasing numbers of violations of two period-related soft constraints. Those are relaxed into assignments of events to days, which define neighbourhoods that are easier to search with respect to all four soft constraints. Integer programming formulations for all subproblems are given and evaluated using ILOG CPLEX 11. The wider applicability of this approach is analysed and discussed. △ Less

Submitted 20 March, 2009; v1 submitted 5 March, 2009; originally announced March 2009.

Comments: 45 pages, 7 figures. Improved typesetting of figures and tables

Report number: NOTTCS-TR-2008-02 ACM Class: G.2.3; I.2.8; F.2.2

Journal ref: Computers and Operations Research (2010) 37(3), 582-597

Periodic and Solitary Travelling-Wave Solutions of an Extended Reduced Ostrovsky Equation

Authors: E. John Parkes

Abstract: Periodic and solitary travelling-wave solutions of an extended reduced Ostrovsky equation are investigated. Attention is restricted to solutions that, for the appropriate choice of certain constant parameters, reduce to solutions of the reduced Ostrovsky equation. It is shown how the nature of the waves may be categorized in a simple way by considering the value of a certain single combination o… ▽ More Periodic and solitary travelling-wave solutions of an extended reduced Ostrovsky equation are investigated. Attention is restricted to solutions that, for the appropriate choice of certain constant parameters, reduce to solutions of the reduced Ostrovsky equation. It is shown how the nature of the waves may be categorized in a simple way by considering the value of a certain single combination of constant parameters. The periodic waves may be smooth humps, cuspons, loops or parabolic corner waves. The latter are shown to be the maximum-amplitude limit of a one-parameter family of periodic smooth-hump waves. The solitary waves may be a smooth hump, a cuspon, a loop or a parabolic wave with compact support. All the solutions are expressed in parametric form. Only in one circumstance can the variable parameter be eliminated to give a solution in explicit form. In this case the resulting waves are either a solitary parabolic wave with compact support or the corresponding periodic corner waves. △ Less

Submitted 19 June, 2008; originally announced June 2008.

Comments: This is a contribution to the Proc. of the Seventh International Conference ''Symmetry in Nonlinear Mathematical Physics'' (June 24-30, 2007, Kyiv, Ukraine), published in SIGMA (Symmetry, Integrability and Geometry: Methods and Applications) at http://www.emis.de/journals/SIGMA/

Journal ref: SIGMA 4 (2008), 053, 17 pages

On a Clique-Based Integer Programming Formulation of Vertex Colouring with Applications in Course Timetabling

Authors: Edmund K. Burke, Jakub Marecek, Andrew J. Parkes, Hana Rudova

Abstract: Vertex colouring is a well-known problem in combinatorial optimisation, whose alternative integer programming formulations have recently attracted considerable attention. This paper briefly surveys seven known formulations of vertex colouring and introduces a formulation of vertex colouring using a suitable clique partition of the graph. This formulation is applicable in timetabling applications… ▽ More Vertex colouring is a well-known problem in combinatorial optimisation, whose alternative integer programming formulations have recently attracted considerable attention. This paper briefly surveys seven known formulations of vertex colouring and introduces a formulation of vertex colouring using a suitable clique partition of the graph. This formulation is applicable in timetabling applications, where such a clique partition of the conflict graph is given implicitly. In contrast with some alternatives, the presented formulation can also be easily extended to accommodate complex performance indicators (``soft constraints'') imposed in a number of real-life course timetabling applications. Its performance depends on the quality of the clique partition, but encouraging empirical results for the Udine Course Timetabling problem are reported. △ Less

Submitted 7 July, 2009; v1 submitted 18 October, 2007; originally announced October 2007.

Report number: NOTTCS-TR-2007-10 ACM Class: G.1.6; G.2.2; G.2.3

Journal ref: Annals of Operations Research (2010) 179(1), 105-130

Measurement of the W Mass at LEP2

Authors: C. J. Parkes

Abstract: The mass of the W boson has been measured by the LEP collaborations from the data recorded during the LEP2 programme at e+ e- centre of mass energies from 161 to 209 GeV, giving the result : mw = 80.450 +/- 0.039 GeV/c^2. This paper discusses the measurements of the W Mass from direct reconstruction of the invariant mass of the WW decay products, particular emphasis is placed on the evaluation o… ▽ More The mass of the W boson has been measured by the LEP collaborations from the data recorded during the LEP2 programme at e+ e- centre of mass energies from 161 to 209 GeV, giving the result : mw = 80.450 +/- 0.039 GeV/c^2. This paper discusses the measurements of the W Mass from direct reconstruction of the invariant mass of the WW decay products, particular emphasis is placed on the evaluation of systematic errors. Results on the direct measurement of the W width are also presented. △ Less

Submitted 19 June, 2002; v1 submitted 27 May, 2002; originally announced May 2002.

Comments: Contribution to XXXVIIth Moriond Electroweak Conference, March 2002. 6 pages, 3 figures This version with typos corrected

Twisting the N=2 String

Authors: S. V. Ketov, O. Lechtenfeld, A. J. Parkes

Abstract: The most general homogeneous monodromy conditions in $N{=}2$ string theory are classified in terms of the conjugacy classes of the global symmetry group $U(1,1)\otimes{\bf Z}_2$. For classes which generate a discrete subgroup $\G$, the corresponding target space backgrounds ${\bf C}^{1,1}/\G$ include half spaces, complex orbifolds and tori. We propose a generalization of the intercept formula to… ▽ More The most general homogeneous monodromy conditions in $N{=}2$ string theory are classified in terms of the conjugacy classes of the global symmetry group $U(1,1)\otimes{\bf Z}_2$. For classes which generate a discrete subgroup $\G$, the corresponding target space backgrounds ${\bf C}^{1,1}/\G$ include half spaces, complex orbifolds and tori. We propose a generalization of the intercept formula to matrix-valued twists, but find massless physical states only for $Γ{=}{\bf 1}$ (untwisted) and $Γ{=}{\bf Z}_2$ (à la Mathur and Mukhi), as well as for $Γ$ being a parabolic element of $U(1,1)$. In particular, the sixteen ${\bf Z}_2$-twisted sectors of the $N{=}2$ string are investigated, and the corresponding ground states are identified via bosonization and BRST cohomology. We find enough room for an extended multiplet of `spacetime' supersymmetry, with the number of supersymmetries being dependent on global `spacetime' topology. However, world-sheet locality for the chiral vertex operators does not permit interactions among all massless `spacetime' fermions. △ Less

Submitted 4 October, 1994; v1 submitted 16 December, 1993; originally announced December 1993.

Comments: 42 pages, LaTeX, no figures, 120 kb, ITP-UH-24/93, DESY 93-191 (abstract and introduction clarified, minor corrections added)

Journal ref: Phys. Rev. D 51, 2872 (1995)