Understanding Algorithm Performance on an Oversubscribed Scheduling Application

The best performing algorithms for a particular oversubscribed scheduling application, Air Force Satellite Control Network (AFSCN) scheduling, appear to have little in common. Yet, through careful experimentation and modeling of performance in real problem instances, we can relate characteristics of the best algorithms to characteristics of the application. In particular, we find that plateaus dominate the search spaces (thus favoring algorithms that make larger changes to solutions) and that some randomization in exploration is critical to good performance (due to the lack of gradient information on the plateaus). Based on our explanations of algorithm performance, we develop a new algorithm that combines characteristics of the best performers; the new algorithms performance is better than the previous best. We show how hypothesis driven experimentation and search modeling can both explain algorithm performance and motivate the design of a new algorithm

Noncommutative symmetric functions and Laplace operators for classical Lie algebras

New systems of Laplace (Casimir) operators for the orthogonal and symplectic Lie algebras are constructed. The operators are expressed in terms of paths in graphs related to matrices formed by the generators of these Lie algebras with the use of some properties of the noncommutative symmetric functions associated with a matrix. The decomposition of the Sklyanin determinant into a product of quasi-determinants play the main role in the construction. Analogous decomposition for the quantum determinant provides an alternative proof of the known construction for the Lie algebra gl(N).Comment: 25 page

Kappa-symmetry for coincident D-branes

A kappa-symmetric action for coincident D-branes is presented. It is valid in the approximation that the additional fermionic variables, used to incorporate the non-abelian degrees of freedom, are treated classically. The action is written as a Bernstein-Leites integral on the supermanifold obtained from the bosonic worldvolume by adjoining the extra fermions. The integrand is a very simple extension of the usual Green-Schwarz action for a single brane; all symmetries, except for kappa, are manifest, and the proof of kappa-symmetry is very similar to the abelian case.Comment: 18 pages. References adde

Out of Place, Out of Mind: Schema-Driven False Memory Effects for Object-Location Bindings

Events consist of diverse elements, each processed in specialized neocortical networks, with temporal lobe memory systems binding these elements to form coherent event memories. We provide a novel theoretical analysis of an unexplored consequence of the independence of memory systems for elements and their bindings, 1 that raises the paradoxical prediction that schema-driven false memories can act solely on the binding of event elements despite the superior retrieval of individual elements. This is because if 2, or more, schema-relevant elements are bound together in unexpected conjunctions, the unexpected conjunction will increase attention during encoding to both the elements and their bindings, but only the bindings will receive competition with evoked schema-expected bindings. We test our model by examining memory for object-location bindings in recognition (Study 1) and recall (Studies 2 and 3) tasks. After studying schema-relevant objects in unexpected locations (e.g., pan on a stool in a kitchen scene), participants who then viewed these objects in expected locations (e.g., pan on stove) at test were more likely to falsely remember this object-location pairing as correct, compared with participants that viewed a different unexpected object-location pairing (e.g., pan on floor). In recall, participants were more likely to correctly remember individual schema-relevant objects originally viewed in unexpected, as opposed to expected locations, but were then more likely to misplace these items in the original room scene to expected places, relative to control schema-irrelevant objects. Our theoretical analysis and novel paradigm provide a tool for investigating memory distortions acting on binding processes

A pearl on SAT solving in Prolog

A succinct SAT solver is presented that exploits the control provided by delay declarations to implement watched literals and unit propagation. Despite its brevity the solver is surprisingly powerful and its elegant use of Prolog constructs is presented as a programming pearl

On the covariance of the Dirac-Born-Infeld-Myers action

A covariant version of the non-abelian Dirac-Born-Infeld-Myers action is presented. The non-abelian degrees of freedom are incorporated by adjoining to the (bosonic) worldvolume of the brane a number of anticommuting fermionic directions corresponding to boundary fermions in the string picture. The proposed action treats these variables as classical but can be given a matrix interpretation if a suitable quantisation prescription is adopted. After gauge-fixing and quantisation of the fermions, the action is shown to be in agreement with the Myers action derived from T-duality. It is also shown that the requirement of covariance in the above sense leads to a modified WZ term which also agrees with the one proposed by Myers.Comment: 18 pages. Minor alterations to the text; references adde

Radiation reaction and renormalization in classical electrodynamics of point particle in any dimension

The effective equations of motion for a point charged particle taking account of radiation reaction are considered in various space-time dimensions. The divergencies steaming from the pointness of the particle are studied and the effective renormalization procedure is proposed encompassing uniformly the cases of all even dimensions. It is shown that in any dimension the classical electrodynamics is a renormalizable theory if not multiplicatively beyond d=4. For the cases of three and six dimensions the covariant analogs of the Lorentz-Dirac equation are explicitly derived.Comment: minor changes in concluding section, misprints corrected, LaTeX2e, 15 page

On the D = 4, N = 2 Non-Renormalization Theorem

Using the harmonic superspace background field formulation for general D=4, N=2 super Yang-Mills theories, with matter hypermultiplets in arbitrary representations of the gauge group, we present the first rigorous proof of the N=2 non-renormalization theorem; specifically, the absence of ultraviolet divergences beyond the one-loop level. Another simple consequence of the background field formulation is the absence of the leading non-holomorphic correction to the low-energy effective action at two loops.Comment: 16 pages, LATEX, uses FEYMAN macros, minor change

Einstein-Weyl structures and Bianchi metrics

We analyse in a systematic way the (non-)compact four dimensional Einstein-Weyl spaces equipped with a Bianchi metric. We show that Einstein-Weyl structures with a Class A Bianchi metric have a conformal scalar curvature of constant sign on the manifold. Moreover, we prove that most of them are conformally Einstein or conformally K\"ahler ; in the non-exact Einstein-Weyl case with a Bianchi metric of the type $VII_0, VIII$ or $IX$, we show that the distance may be taken in a diagonal form and we obtain its explicit 4-parameters expression. This extends our previous analysis, limited to the diagonal, K\"ahler Bianchi $IX$ case.Comment: Latex file, 12 pages, a minor modification, accepted for publication in Class. Quant. Gra