Showing 1–50 of 51 results for author: Salamon, A

Linearly Multiplexed Photon Number Resolving Single-photon Detectors Array

Authors: Leonardo Limongi, Francesco Martini, Thu Ha Dao, Alessandro Gaggero, Hamza Hasnaoui, Igor Lopez-Gonzalez, Fabio Chiarello, Fabio de Matteis, Alberto Quaranta, Andrea Salamon, Francesco Mattioli, Martino Bernard, Mirko Lobino

Abstract: Photon Number Resolving Detectors (PNRDs) are devices capable of measuring the number of photons present in an incident optical beam, enabling light sources to be measured and characterized at the quantum level. In this paper, we explore the performance and design considerations of a linearly multiplexed photon number-resolving single-photon detector array, integrated on a single mode waveguide. O… ▽ More Photon Number Resolving Detectors (PNRDs) are devices capable of measuring the number of photons present in an incident optical beam, enabling light sources to be measured and characterized at the quantum level. In this paper, we explore the performance and design considerations of a linearly multiplexed photon number-resolving single-photon detector array, integrated on a single mode waveguide. Our investigation focus on defining and analyzing the fidelity of such an array under various conditions and proposing practical designs for its implementation. Through theoretical analysis and numerical simulations, we show how propagation losses and dark counts may have a strong impact on the performance of the system and highlight the importance of mitigating these effects in practical implementations. △ Less

Submitted 22 August, 2024; originally announced August 2024.

Towards Exploratory Reformulation of Constraint Models

Authors: Ian Miguel, András Z. Salamon, Christopher Stone

Abstract: It is well established that formulating an effective constraint model of a problem of interest is crucial to the efficiency with which it can subsequently be solved. Following from the observation that it is difficult, if not impossible, to know a priori which of a set of candidate models will perform best in practice, we envisage a system that explores the space of models through a process of ref… ▽ More It is well established that formulating an effective constraint model of a problem of interest is crucial to the efficiency with which it can subsequently be solved. Following from the observation that it is difficult, if not impossible, to know a priori which of a set of candidate models will perform best in practice, we envisage a system that explores the space of models through a process of reformulation from an initial model, guided by performance on a set of training instances from the problem class under consideration. We plan to situate this system in a refinement-based approach, where a user writes a constraint specification describing a problem above the level of abstraction at which many modelling decisions are made. In this position paper we set out our plan for an exploratory reformulation system, and discuss progress made so far. △ Less

Submitted 20 November, 2023; originally announced November 2023.

Comments: 13 pages, 6 figures

ACM Class: F.4.2

Towards a Model of Puzznic

Authors: Joan Espasa, Ian P. Gent, Ian Miguel, Peter Nightingale, András Z. Salamon, Mateu Villaret

Abstract: We report on progress in modelling and solving Puzznic, a video game requiring the player to plan sequences of moves to clear a grid by matching blocks. We focus here on levels with no moving blocks. We compare a planning approach and three constraint programming approaches on a small set of benchmark instances. The planning approach is at present superior to the constraint programming approaches,… ▽ More We report on progress in modelling and solving Puzznic, a video game requiring the player to plan sequences of moves to clear a grid by matching blocks. We focus here on levels with no moving blocks. We compare a planning approach and three constraint programming approaches on a small set of benchmark instances. The planning approach is at present superior to the constraint programming approaches, but we outline proposals for improving the constraint models. △ Less

Submitted 2 October, 2023; originally announced October 2023.

Challenges in Modelling and Solving Plotting with PDDL

Authors: Joan Espasa, Ian Miguel, Peter Nightingale, András Z. Salamon, Mateu Villaret

Abstract: We study a planning problem based on Plotting, a tile-matching puzzle video game published by Taito in 1989. The objective of this game is to remove a target number of coloured blocks from a grid by sequentially shooting blocks into the grid. Plotting features complex transitions after every shot: various blocks are affected directly, while others can be indirectly affected by gravity. We highligh… ▽ More We study a planning problem based on Plotting, a tile-matching puzzle video game published by Taito in 1989. The objective of this game is to remove a target number of coloured blocks from a grid by sequentially shooting blocks into the grid. Plotting features complex transitions after every shot: various blocks are affected directly, while others can be indirectly affected by gravity. We highlight the challenges of modelling Plotting with PDDL and of solving it with a grounding-based state-of-the-art planner. △ Less

Submitted 2 October, 2023; originally announced October 2023.

Comments: arXiv admin note: text overlap with arXiv:2110.14397

HIKE, High Intensity Kaon Experiments at the CERN SPS

Authors: E. Cortina Gil, J. Jerhot, N. Lurkin, T. Numao, B. Velghe, V. W. S. Wong, D. Bryman, L. Bician, Z. Hives, T. Husek, K. Kampf, M. Koval, A. T. Akmete, R. Aliberti, V. Büscher, L. Di Lella, N. Doble, L. Peruzzo, M. Schott, H. Wahl, R. Wanke, B. Döbrich, L. Montalto, D. Rinaldi, F. Dettori , et al. (154 additional authors not shown)

Abstract: A timely and long-term programme of kaon decay measurements at a new level of precision is presented, leveraging the capabilities of the CERN Super Proton Synchrotron (SPS). The proposed programme is firmly anchored on the experience built up studying kaon decays at the SPS over the past four decades, and includes rare processes, CP violation, dark sectors, symmetry tests and other tests of the St… ▽ More A timely and long-term programme of kaon decay measurements at a new level of precision is presented, leveraging the capabilities of the CERN Super Proton Synchrotron (SPS). The proposed programme is firmly anchored on the experience built up studying kaon decays at the SPS over the past four decades, and includes rare processes, CP violation, dark sectors, symmetry tests and other tests of the Standard Model. The experimental programme is based on a staged approach involving experiments with charged and neutral kaon beams, as well as operation in beam-dump mode. The various phases will rely on a common infrastructure and set of detectors. △ Less

Submitted 29 November, 2022; originally announced November 2022.

Comments: Letter of Intent submitted to CERN SPSC. Address all correspondence to [email protected]

Report number: CERN-SPSC-2022-031/SPSC-I-257

Automatic Tabulation in Constraint Models

Authors: Özgür Akgün, Ian P. Gent, Christopher Jefferson, Zeynep Kiziltan, Ian Miguel, Peter Nightingale, András Z. Salamon, Felix Ulrich-Oltean

Abstract: The performance of a constraint model can often be improved by converting a subproblem into a single table constraint. In this paper we study heuristics for identifying promising candidate subproblems, where converting the candidate into a table constraint is likely to improve solver performance. We propose a small set of heuristics to identify common cases, such as expressions that will propagate… ▽ More The performance of a constraint model can often be improved by converting a subproblem into a single table constraint. In this paper we study heuristics for identifying promising candidate subproblems, where converting the candidate into a table constraint is likely to improve solver performance. We propose a small set of heuristics to identify common cases, such as expressions that will propagate weakly. The process of discovering promising subproblems and tabulating them is entirely automated in the constraint modelling tool Savile Row. Caches are implemented to avoid tabulating equivalent subproblems many times. We give a simple algorithm to generate table constraints directly from a constraint expression in \savilerow. We demonstrate good performance on the benchmark problems used in earlier work on tabulation, and also for several new problem classes. In some cases, the entirely automated process leads to orders of magnitude improvements in solver performance. △ Less

Submitted 26 February, 2022; originally announced February 2022.

MSC Class: 68T27 ACM Class: I.2.3

Effective Guessing Has Unlikely Consequences

Authors: András Z. Salamon, Michael Wehar

Abstract: A classic result of Paul, Pippenger, Szemerédi and Trotter states that DTIME(n) is strictly contained in NTIME(n). The natural question then arises: could DTIME(t(n)) be contained in NTIME(n) for some superlinear time-constructible function t(n)? If such a function t(n) does exist, then there also exist effective nondeterministic guessing strategies to speed up deterministic computations. In this… ▽ More A classic result of Paul, Pippenger, Szemerédi and Trotter states that DTIME(n) is strictly contained in NTIME(n). The natural question then arises: could DTIME(t(n)) be contained in NTIME(n) for some superlinear time-constructible function t(n)? If such a function t(n) does exist, then there also exist effective nondeterministic guessing strategies to speed up deterministic computations. In this work, we prove limitations on the effectiveness of nondeterministic guessing to speed up deterministic computations by showing that the existence of effective nondeterministic guessing strategies would have unlikely consequences. In particular, we show that if a subpolynomial amount of nondeterministic guessing could be used to speed up deterministic computation by a polynomial factor, then P is strictly contained in NTIME(n). Furthermore, even achieving a logarithmic speedup at the cost of making every step nondeterministic would show that SAT is in NTIME(n) under appropriate encodings. Of possibly independent interest, under such encodings we also show that SAT can be decided in O(n lg n) steps on a nondeterministic multitape Turing machine, improving on the well-known O(n(lg n)^c) bound for some constant but undetermined exponent c which is at least 1. △ Less

Submitted 21 December, 2022; v1 submitted 3 November, 2021; originally announced November 2021.

Comments: 22 pages, amended pre-production version submitted to journal

Towards Reformulating Essence Specifications for Robustness

Authors: Özgür Akgün, Alan M. Frisch, Ian P. Gent, Christopher Jefferson, Ian Miguel, Peter Nightingale, András Z. Salamon

Abstract: The Essence language allows a user to specify a constraint problem at a level of abstraction above that at which constraint modelling decisions are made. Essence specifications are refined into constraint models using the Conjure automated modelling tool, which employs a suite of refinement rules. However, Essence is a rich language in which there are many equivalent ways to specify a given proble… ▽ More The Essence language allows a user to specify a constraint problem at a level of abstraction above that at which constraint modelling decisions are made. Essence specifications are refined into constraint models using the Conjure automated modelling tool, which employs a suite of refinement rules. However, Essence is a rich language in which there are many equivalent ways to specify a given problem. A user may therefore omit the use of domain attributes or abstract types, resulting in fewer refinement rules being applicable and therefore a reduced set of output models from which to select. This paper addresses the problem of recovering this information automatically to increase the robustness of the quality of the output constraint models in the face of variation in the input Essence specification. We present reformulation rules that can change the type of a decision variable or add attributes that shrink its domain. We demonstrate the efficacy of this approach in terms of the quantity and quality of models Conjure can produce from the transformed specification compared with the original. △ Less

Submitted 1 November, 2021; originally announced November 2021.

Comments: 12 pages, 6 figures, presented at ModRef 2021

Using Small MUSes to Explain How to Solve Pen and Paper Puzzles

Authors: Joan Espasa, Ian P. Gent, Ruth Hoffmann, Christopher Jefferson, Alice M. Lynch, András Salamon, Matthew J. McIlree

Abstract: In this paper, we present Demystify, a general tool for creating human-interpretable step-by-step explanations of how to solve a wide range of pen and paper puzzles from a high-level logical description. Demystify is based on Minimal Unsatisfiable Subsets (MUSes), which allow Demystify to solve puzzles as a series of logical deductions by identifying which parts of the puzzle are required to progr… ▽ More In this paper, we present Demystify, a general tool for creating human-interpretable step-by-step explanations of how to solve a wide range of pen and paper puzzles from a high-level logical description. Demystify is based on Minimal Unsatisfiable Subsets (MUSes), which allow Demystify to solve puzzles as a series of logical deductions by identifying which parts of the puzzle are required to progress. This paper makes three contributions over previous work. First, we provide a generic input language, based on the Essence constraint language, which allows us to easily use MUSes to solve a much wider range of pen and paper puzzles. Second, we demonstrate that the explanations that Demystify produces match those provided by humans by comparing our results with those provided independently by puzzle experts on a range of puzzles. We compare Demystify to published guides for solving a range of different pen and paper puzzles and show that by using MUSes, Demystify produces solving strategies which closely match human-produced guides to solving those same puzzles (on average 89% of the time). Finally, we introduce a new randomised algorithm to find MUSes for more difficult puzzles. This algorithm is focused on optimised search for individual small MUSes. △ Less

Submitted 26 January, 2023; v1 submitted 30 April, 2021; originally announced April 2021.

Exploring Instance Generation for Automated Planning

Authors: Özgür Akgün, Nguyen Dang, Joan Espasa, Ian Miguel, András Z. Salamon, Christopher Stone

Abstract: Many of the core disciplines of artificial intelligence have sets of standard benchmark problems well known and widely used by the community when developing new algorithms. Constraint programming and automated planning are examples of these areas, where the behaviour of a new algorithm is measured by how it performs on these instances. Typically the efficiency of each solving method varies not onl… ▽ More Many of the core disciplines of artificial intelligence have sets of standard benchmark problems well known and widely used by the community when developing new algorithms. Constraint programming and automated planning are examples of these areas, where the behaviour of a new algorithm is measured by how it performs on these instances. Typically the efficiency of each solving method varies not only between problems, but also between instances of the same problem. Therefore, having a diverse set of instances is crucial to be able to effectively evaluate a new solving method. Current methods for automatic generation of instances for Constraint Programming problems start with a declarative model and search for instances with some desired attributes, such as hardness or size. We first explore the difficulties of adapting this approach to generate instances starting from problem specifications written in PDDL, the de-facto standard language of the automated planning community. We then propose a new approach where the whole planning problem description is modelled using Essence, an abstract modelling language that allows expressing high-level structures without committing to a particular low level representation in PDDL. △ Less

Submitted 21 September, 2020; originally announced September 2020.

Journal ref: ModRef 2020 - The 19th workshop on Constraint Modelling and Reformulation

Superlinear Lower Bounds Based on ETH

Authors: András Z. Salamon, Michael Wehar

Abstract: We introduce techniques for proving superlinear conditional lower bounds for polynomial time problems. In particular, we show that CircuitSAT for circuits with m gates and log(m) inputs (denoted by log-CircuitSAT) is not decidable in essentially-linear time unless the exponential time hypothesis (ETH) is false and k-Clique is decidable in essentially-linear time in terms of the graph's size for al… ▽ More We introduce techniques for proving superlinear conditional lower bounds for polynomial time problems. In particular, we show that CircuitSAT for circuits with m gates and log(m) inputs (denoted by log-CircuitSAT) is not decidable in essentially-linear time unless the exponential time hypothesis (ETH) is false and k-Clique is decidable in essentially-linear time in terms of the graph's size for all fixed k. Such conditional lower bounds have previously only been demonstrated relative to the strong exponential time hypothesis (SETH). Our results therefore offer significant progress towards proving unconditional superlinear time complexity lower bounds for natural problems in polynomial time. △ Less

Submitted 22 January, 2022; v1 submitted 15 August, 2020; originally announced August 2020.

Comments: Accepted at STACS 2022

A moment map interpretation of the Ricci form, Kähler--Einstein structures, and Teichmüller spaces

Authors: Oscar Garcia-Prada, Dietmar Salamon

Abstract: This paper surveys the role of moment maps in Kähler geometry. The first section discusses the Ricci form as a moment map and then moves on to moment map interpretations of the Kähler--Einstein condition and the scalar curvature (Quillen--Fujiki--Donaldson). The second section examines the ramifications of these results for various Teichmüller spaces and their Weil--Petersson symplectic forms and… ▽ More This paper surveys the role of moment maps in Kähler geometry. The first section discusses the Ricci form as a moment map and then moves on to moment map interpretations of the Kähler--Einstein condition and the scalar curvature (Quillen--Fujiki--Donaldson). The second section examines the ramifications of these results for various Teichmüller spaces and their Weil--Petersson symplectic forms and explains how these arise naturally from the construction of symplectic quotients. The third section discusses a symplectic form introduced by Donaldson on the space of Fano complex structures. △ Less

Submitted 18 April, 2020; originally announced April 2020.

Conjure Documentation, Release 2.3.0

Authors: Özgür Akgün, András Salamon

Abstract: Conjure is an automated modelling tool for Constraint Programming. In this documentation, you will find the following: A brief introduction to Conjure, installation instructions, a description of how to use Conjure through its command line user interface, a list of Conjure's features, a description of Conjure's input language Essence, and a collection of simple demonstrations of Conjure's use. Conjure is an automated modelling tool for Constraint Programming. In this documentation, you will find the following: A brief introduction to Conjure, installation instructions, a description of how to use Conjure through its command line user interface, a list of Conjure's features, a description of Conjure's input language Essence, and a collection of simple demonstrations of Conjure's use. △ Less

Submitted 8 October, 2019; v1 submitted 1 October, 2019; originally announced October 2019.

KLEVER: An experiment to measure BR($K_L\toπ^0ν\barν$) at the CERN SPS

Authors: F. Ambrosino, R. Ammendola, A. Antonelli, K. Ayers, D. Badoni, G. Ballerini, L. Bandiera, J. Bernhard, C. Biino, L. Bomben, V. Bonaiuto, A. Bradley, M. B. Brunetti, F. Bucci, A. Cassese, R. Camattari, M. Corvino, D. De Salvador, D. Di Filippo, M. van Dijk, N. Doble, R. Fantechi, S. Fedotov, A. Filippi, F. Fontana , et al. (53 additional authors not shown)

Abstract: Precise measurements of the branching ratios for the flavor-changing neutral current decays $K\toπν\barν$ can provide unique constraints on CKM unitarity and, potentially, evidence for new physics. It is important to measure both decay modes, $K^+\toπ^+ν\barν$ and $K_L\toπ^0ν\barν$, since different new physics models affect the rates for each channel differently. The goal of the NA62 experiment at… ▽ More Precise measurements of the branching ratios for the flavor-changing neutral current decays $K\toπν\barν$ can provide unique constraints on CKM unitarity and, potentially, evidence for new physics. It is important to measure both decay modes, $K^+\toπ^+ν\barν$ and $K_L\toπ^0ν\barν$, since different new physics models affect the rates for each channel differently. The goal of the NA62 experiment at the CERN SPS is to measure the BR for the charged channel to within 10%. For the neutral channel, the BR has never been measured. We are designing the KLEVER experiment to measure BR($K_L\toπ^0ν\barν$) to $\sim$20% using a high-energy neutral beam at the CERN SPS starting in LHC Run 4. The boost from the high-energy beam facilitates the rejection of background channels such as $K_L\toπ^0π^0$ by detection of the additional photons in the final state. On the other hand, the layout poses particular challenges for the design of the small-angle vetoes, which must reject photons from $K_L$ decays escaping through the beam exit amidst an intense background from soft photons and neutrons in the beam. Background from $Λ\to nπ^0$ decays in the beam must also be kept under control. We present findings from our design studies for the beamline and experiment, with an emphasis on the challenges faced and the potential sensitivity for the measurement of BR($K_L\toπ^0ν\barν$). △ Less

Submitted 22 May, 2019; v1 submitted 10 January, 2019; originally announced January 2019.

Comments: 13 pages, 4 figures. Submitted as input to the 2020 update of the European Strategy for Particle Physics. v2: Included authors unintentionally omitted in v1

Report number: KLEVER-PUB-18-02

Search for $K^{+}\rightarrowπ^{+}ν\overlineν$ at NA62

Authors: NA62 Collaboration, G. Aglieri Rinella, R. Aliberti, F. Ambrosino, R. Ammendola, B. Angelucci, A. Antonelli, G. Anzivino, R. Arcidiacono, I. Azhinenko, S. Balev, M. Barbanera, J. Bendotti, A. Biagioni, L. Bician, C. Biino, A. Bizzeti, T. Blazek, A. Blik, B. Bloch-Devaux, V. Bolotov, V. Bonaiuto, M. Boretto, M. Bragadireanu, D. Britton , et al. (227 additional authors not shown)

Abstract: $K^{+}\rightarrowπ^{+}ν\overlineν$ is one of the theoretically cleanest meson decay where to look for indirect effects of new physics complementary to LHC searches. The NA62 experiment at CERN SPS is designed to measure the branching ratio of this decay with 10\% precision. NA62 took data in pilot runs in 2014 and 2015 reaching the final designed beam intensity. The quality of 2015 data acquired,… ▽ More $K^{+}\rightarrowπ^{+}ν\overlineν$ is one of the theoretically cleanest meson decay where to look for indirect effects of new physics complementary to LHC searches. The NA62 experiment at CERN SPS is designed to measure the branching ratio of this decay with 10\% precision. NA62 took data in pilot runs in 2014 and 2015 reaching the final designed beam intensity. The quality of 2015 data acquired, in view of the final measurement, will be presented. △ Less

Submitted 24 July, 2018; originally announced July 2018.

Comments: proceeding of the conference New Trends in High-Energy Physics 2016

Complex structures, moment maps, and the Ricci form (Extended Version)

Authors: Oscar Garcia-Prada, Dietmar Salamon, Samuel Trautwein

Abstract: The Ricci form is a moment map for the action of the group of exact volume preserving diffeomorphisms on the space of almost complex structures. This observation yields a new approach to the Weil-Petersson symplectic form on the Teichmuller space of isotopy classes of complex structures with real first Chern class zero and nonempty Kahler cone. The Ricci form is a moment map for the action of the group of exact volume preserving diffeomorphisms on the space of almost complex structures. This observation yields a new approach to the Weil-Petersson symplectic form on the Teichmuller space of isotopy classes of complex structures with real first Chern class zero and nonempty Kahler cone. △ Less

Submitted 11 March, 2021; v1 submitted 1 May, 2018; originally announced May 2018.

Contributions of the Cherenkov Telescope Array (CTA) to the 6th International Symposium on High-Energy Gamma-Ray Astronomy (Gamma 2016)

Authors: The CTA Consortium, :, A. Abchiche, U. Abeysekara, Ó. Abril, F. Acero, B. S. Acharya, C. Adams, G. Agnetta, F. Aharonian, A. Akhperjanian, A. Albert, M. Alcubierre, J. Alfaro, R. Alfaro, A. J. Allafort, R. Aloisio, J. -P. Amans, E. Amato, L. Ambrogi, G. Ambrosi, M. Ambrosio, J. Anderson, M. Anduze, E. O. Angüner , et al. (1387 additional authors not shown)

Abstract: List of contributions from the Cherenkov Telescope Array (CTA) Consortium presented at the 6th International Symposium on High-Energy Gamma-Ray Astronomy (Gamma 2016), July 11-15, 2016, in Heidelberg, Germany. List of contributions from the Cherenkov Telescope Array (CTA) Consortium presented at the 6th International Symposium on High-Energy Gamma-Ray Astronomy (Gamma 2016), July 11-15, 2016, in Heidelberg, Germany. △ Less

Submitted 17 October, 2016; originally announced October 2016.

Comments: Index of CTA conference proceedings for the Gamma 2016, Heidelberg, Germany

ChPT tests at the NA48 and NA62 experiments at CERN

Authors: NA48/2, NA62 Collaborations, :, F. Ambrosino, A. Antonelli, G. Anzivino, R. Arcidiacono, W. Baldini, S. Balev, J. R. Batley, M. Behler, S. Bifani, C. Biino, A. Bizzeti, B. Bloch-Devaux, G. Bocquet, V. Bolotov, F. Bucci, N. Cabibbo, M. Calvetti, N. Cartiglia, A. Ceccucci, P. Cenci, C. Cerri, C. Cheshkov , et al. (137 additional authors not shown)

Abstract: The NA48/2 Collaboration at CERN has accumulated unprecedented statistics of rare kaon decays in the Ke4 modes: Ke4(+-) ($K^\pm \to π^+ π^- e^\pm ν$) and Ke4(00) ($K^\pm \to π^0 π^0 e^\pm ν$) with nearly one percent background contamination. The detailed study of form factors and branching rates, based on these data, has been completed recently. The results brings new inputs to low energy strong i… ▽ More The NA48/2 Collaboration at CERN has accumulated unprecedented statistics of rare kaon decays in the Ke4 modes: Ke4(+-) ($K^\pm \to π^+ π^- e^\pm ν$) and Ke4(00) ($K^\pm \to π^0 π^0 e^\pm ν$) with nearly one percent background contamination. The detailed study of form factors and branching rates, based on these data, has been completed recently. The results brings new inputs to low energy strong interactions description and tests of Chiral Perturbation Theory (ChPT) and lattice QCD calculations. In particular, new data support the ChPT prediction for a cusp in the $π^0π^0$ invariant mass spectrum at the two charged pions threshold for Ke4(00) decay. New final results from an analysis of about 400 $K^\pm \to π^\pm γγ$ rare decay candidates collected by the NA48/2 and NA62 experiments at CERN during low intensity runs with minimum bias trigger configurations are presented. The results include a model-independent decay rate measurement and fits to ChPT description. △ Less

Submitted 29 January, 2016; originally announced January 2016.

Comments: XIIth International Conference on Heavy Quarks and Leptons 2014, Mainz, Germany

Journal ref: PoS HQL2014 (2014) 022

The Donaldson geometric flow for symplectic four-manifolds

Authors: Robin S. Krom, Dietmar A. Salamon

Abstract: This is an exposition of the Donaldson geometric flow on the space of symplectic forms on a closed smooth four-manifold, representing a fixed cohomology class. The original work appeared in [1]. This is an exposition of the Donaldson geometric flow on the space of symplectic forms on a closed smooth four-manifold, representing a fixed cohomology class. The original work appeared in [1]. △ Less

Submitted 19 July, 2019; v1 submitted 30 December, 2015; originally announced December 2015.

Prospects for $K^+ \to π^+ ν\bar{ ν}$ at CERN in NA62

Authors: G. Aglieri Rinella, R. Aliberti, F. Ambrosino, B. Angelucci, A. Antonelli, G. Anzivino, R. Arcidiacono, I. Azhinenko, S. Balev, J. Bendotti, A. Biagioni, C. Biino, A. Bizzeti, T. Blazek, A. Blik, B. Bloch-Devaux, V. Bolotov, V. Bonaiuto, M. Bragadireanu, D. Britton, G. Britvich, N. Brook, F. Bucci, V. Buescher, F. Butin , et al. (179 additional authors not shown)

Abstract: The NA62 experiment will begin taking data in 2015. Its primary purpose is a 10% measurement of the branching ratio of the ultrarare kaon decay $K^+ \to π^+ ν\bar{ ν}$, using the decay in flight of kaons in an unseparated beam with momentum 75 GeV/c.The detector and analysis technique are described here. The NA62 experiment will begin taking data in 2015. Its primary purpose is a 10% measurement of the branching ratio of the ultrarare kaon decay $K^+ \to π^+ ν\bar{ ν}$, using the decay in flight of kaons in an unseparated beam with momentum 75 GeV/c.The detector and analysis technique are described here. △ Less

Submitted 1 November, 2014; originally announced November 2014.

Comments: 8 pages for proceedings of 50 Years of CPV

Recent NA48/2 and NA62 results

Authors: F. Ambrosino, A. Antonelli, G. Anzivino, R. Arcidiacono, W. Baldini, S. Balev, J. R. Batley, M. Behler, S. Bifani, C. Biino, A. Bizzeti, B. Bloch-Devaux, G. Bocquet, V. Bolotov, F. Bucci, N. Cabibbo, M. Calvetti, N. Cartiglia, A. Ceccucci, P. Cenci, C. Cerri, C. Cheshkov, J. B. Cheze, M. Clemencic, G. Collazuol , et al. (134 additional authors not shown)

Abstract: The NA48/2 Collaboration at CERN has accumulated and analysed unprecedented statistics of rare kaon decays in the $K_{e4}$ modes: $K_{e4}(+-)$ ($K^\pm \to π^+ π^- e^\pm ν$) and $K_{e4}(00)$ ($K^\pm \to π^0 π^0 e^\pm ν$) with nearly one percent background contamination. It leads to the improved measurement of branching fractions and detailed form factor studies. New final results from the analysis… ▽ More The NA48/2 Collaboration at CERN has accumulated and analysed unprecedented statistics of rare kaon decays in the $K_{e4}$ modes: $K_{e4}(+-)$ ($K^\pm \to π^+ π^- e^\pm ν$) and $K_{e4}(00)$ ($K^\pm \to π^0 π^0 e^\pm ν$) with nearly one percent background contamination. It leads to the improved measurement of branching fractions and detailed form factor studies. New final results from the analysis of 381 $K^\pm \to π^\pm γγ$ rare decay candidates collected by the NA48/2 and NA62 experiments at CERN are presented. The results include a decay rate measurement and fits to Chiral Perturbation Theory (ChPT) description. △ Less

Submitted 4 August, 2014; originally announced August 2014.

Comments: Prepared for the Proceedings of "Moriond QCD and High Energy Interactions. March 22-29 2014." conference

The moment-weight inequality and the Hilbert-Mumford criterion

Authors: Valentina Georgoulas, Joel W. Robbin, Dietmar A. Salamon

Abstract: This paper gives an essentially self-contained exposition (except for an appeal to the Lojasiewicz gradient inequality) of geometric invariant theory from a differential geometric viewpoint. Central ingredients are the moment-weight inequality (relating the Mumford numerical invariants to the norm of the moment map), the negative gradient flow of the moment map squared, and the Kempf-Ness function… ▽ More This paper gives an essentially self-contained exposition (except for an appeal to the Lojasiewicz gradient inequality) of geometric invariant theory from a differential geometric viewpoint. Central ingredients are the moment-weight inequality (relating the Mumford numerical invariants to the norm of the moment map), the negative gradient flow of the moment map squared, and the Kempf-Ness function. △ Less

Submitted 30 May, 2021; v1 submitted 2 November, 2013; originally announced November 2013.

Comments: 178 pages, 3 figurew

MSC Class: 53D20

Uniqueness of Symplectic Structures

Authors: Dietmar Salamon

Abstract: This survey paper addresses uniqueness questions for symplectic forms on closed manifolds, explains what is known in several examples, and reviews some open problems. This survey paper addresses uniqueness questions for symplectic forms on closed manifolds, explains what is known in several examples, and reviews some open problems. △ Less

Submitted 12 December, 2012; v1 submitted 13 November, 2012; originally announced November 2012.

Comments: 27 pages, 1 figure. Pages 6 and 7 added (20 November 2012). Expanded the discussion of blowups of the projective plane (25 November 2012). Corrected Example 3.1 (29 November 2012). References added (12 December 2012)

MSC Class: 53D35

Performance of the LHCb muon system

Authors: A. A. Alves Jr, L. Anderlini, M. Anelli, R. Antunes Nobrega, G. Auriemma, W. Baldini, G. Bencivenni, R. Berutti, A. Bizzeti, V. Bocci, N. Bondar, W. Bonivento, B. Botchin, S. Cadeddu, P. Campana, G. Carboni, A. Cardini, M. Carletti, P. Ciambrone, E. Dané S. De Capua, V. De Leo, C. Deplano, P. De Simone, F. Dettori, A. Falabella , et al. (48 additional authors not shown)

Abstract: The performance of the LHCb Muon system and its stability across the full 2010 data taking with LHC running at ps = 7 TeV energy is studied. The optimization of the detector setting and the time calibration performed with the first collisions delivered by LHC is described. Particle rates, measured for the wide range of luminosities and beam operation conditions experienced during the run, are comp… ▽ More The performance of the LHCb Muon system and its stability across the full 2010 data taking with LHC running at ps = 7 TeV energy is studied. The optimization of the detector setting and the time calibration performed with the first collisions delivered by LHC is described. Particle rates, measured for the wide range of luminosities and beam operation conditions experienced during the run, are compared with the values expected from simulation. The space and time alignment of the detectors, chamber efficiency, time resolution and cluster size are evaluated. The detector performance is found to be as expected from specifications or better. Notably the overall efficiency is well above the design requirements △ Less

Submitted 15 February, 2013; v1 submitted 6 November, 2012; originally announced November 2012.

Comments: JINST_015P_1112 2013

Report number: LHCb-DP-2012-002

The moduli space of regular stable maps

Authors: Joel Robbin, Yongbin Ruan, Dietmar Salamon

Abstract: The moduli space of regular stable maps with values in a complex manifold admits naturally the structure of a complex orbifold. Our proof uses the methods of differential geometry rather than algebraic geometry. It is based on Hardy decompositions and Fredholm intersection theory in the loop space of the target manifold. The moduli space of regular stable maps with values in a complex manifold admits naturally the structure of a complex orbifold. Our proof uses the methods of differential geometry rather than algebraic geometry. It is based on Hardy decompositions and Fredholm intersection theory in the loop space of the target manifold. △ Less

Submitted 8 May, 2012; originally announced May 2012.

Comments: 59 pages, 2 figures

MSC Class: 53D45

Journal ref: Mathematische Zeitschrift, Volume 259 (2008), pages 525-574

The Viterbo-Maslov Index in Dimension Two

Authors: Joel Robbin, Dietmar Salamon

Abstract: We prove a formula that expresses the Viterbo-Maslov index of a smooth strip in an oriented 2-manifold with boundary curves contained in 1-dimensional submanifolds in terms the degree function on the complement of the union of the two submanifolds. We prove a formula that expresses the Viterbo-Maslov index of a smooth strip in an oriented 2-manifold with boundary curves contained in 1-dimensional submanifolds in terms the degree function on the complement of the union of the two submanifolds. △ Less

Submitted 2 May, 2012; originally announced May 2012.

Comments: 35 pages, 8 figures

MSC Class: 53D40

Combinatorial Floer Homology

Authors: Vin de Silva, Joel Robbin, Dietmar Salamon

Abstract: We define combinatorial Floer homology of a transverse pair of noncontractibe nonisotopic embedded loops in an oriented 2-manifold without boundary, prove that it is invariant under isotopy, and prove that it is isomorphic to the original Lagrangian Floer homology. We define combinatorial Floer homology of a transverse pair of noncontractibe nonisotopic embedded loops in an oriented 2-manifold without boundary, prove that it is invariant under isotopy, and prove that it is isomorphic to the original Lagrangian Floer homology. △ Less

Submitted 7 February, 2013; v1 submitted 2 May, 2012; originally announced May 2012.

Comments: Final version. 125 pages, 29 figures. Memoirs of the AMS

MSC Class: 53D40

Macroscopes: models for collective decision making

Authors: Subramanian Ramamoorthy, András Z. Salamon, Rahul Santhanam

Abstract: We introduce a new model of collective decision making, when a global decision needs to be made but the parties only possess partial information, and are unwilling (or unable) to first create a globalcomposite of their local views. Our macroscope model captures two key features of many real-world problems: allotment structure (how access to local information is apportioned between parties, includi… ▽ More We introduce a new model of collective decision making, when a global decision needs to be made but the parties only possess partial information, and are unwilling (or unable) to first create a globalcomposite of their local views. Our macroscope model captures two key features of many real-world problems: allotment structure (how access to local information is apportioned between parties, including overlaps between the parties) and the possible presence of meta-information (what each party knows about the allotment structure of the overall problem). Using the framework of communication complexity, we formalize the efficient solution of a macroscope. We present general results about the macroscope model, and also results that abstract the essential computational operations underpinning practical applications, including in financial markets and decentralized sensor networks. We illustrate the computational problem inherent in real-world collective decision making processes using results for specific functions, involving detecting a change in state (constant and step functions), and computing statistical properties (the mean). △ Less

Submitted 17 April, 2012; originally announced April 2012.

Comments: Presented at Collective Intelligence conference, 2012 (arXiv:1204.2991), 8 pages

Report number: CollectiveIntelligence/2012/44

The three dimensional Fueter equation and divergence free frames

Authors: Dietmar A. Salamon

Abstract: A divergence free frame on a closed three manifold is called regular if every solution of the linear Fueter equation is constant and is called singular otherwise. The set of singular divergence free frames is an analogue of the Maslov cycle. Regular divergence free frames satisfy an analogue of the Arnold conjecture for flat hyperkaehler target manifolds. The Seiberg-Witten equations can be viewed… ▽ More A divergence free frame on a closed three manifold is called regular if every solution of the linear Fueter equation is constant and is called singular otherwise. The set of singular divergence free frames is an analogue of the Maslov cycle. Regular divergence free frames satisfy an analogue of the Arnold conjecture for flat hyperkaehler target manifolds. The Seiberg-Witten equations can be viewed as gauged versions of the Fueter equation, and so can the Donaldson-Thomas equations on certain seven dimensional product manifolds. △ Less

Submitted 25 February, 2013; v1 submitted 19 February, 2012; originally announced February 2012.

Comments: Final version, 34 pages. Abhandlungen aus dem Mathematischen Seminar der Universitaet Hamburg

MSC Class: 53D40

The NA62 Liquid Krypton Electromagnetic Calorimeter Level 0 Trigger

Authors: Vincenzo Bonaiuto, Adolfo Fucci, Giovanni Paoluzzi, Andrea Salamon, Gaetano Salina, Emanuele Santovetti, Fausto Sargeni, Francesco M. Scarfi'

Abstract: The NA62 experiment at CERN SPS aims to measure the Branching Ratio of the very rare kaon decay K+ -> pi+ nu nubar collecting O(100) events with a 10% background to make a stringent test of the Standard Model. One of the main backgrounds to the proposed measurement is represented by the K+ -> pi+ pi0 decay. To suppress this background an efficient photo veto system is foreseen. In the 1-10 mrad an… ▽ More The NA62 experiment at CERN SPS aims to measure the Branching Ratio of the very rare kaon decay K+ -> pi+ nu nubar collecting O(100) events with a 10% background to make a stringent test of the Standard Model. One of the main backgrounds to the proposed measurement is represented by the K+ -> pi+ pi0 decay. To suppress this background an efficient photo veto system is foreseen. In the 1-10 mrad angular region the NA48 high performance liquid krypton electromagnetic calorimeter is used. The design, implementation and current status of the Liquid Krypton Electromagnetic Calorimeter Level 0 Trigger are presented. △ Less

Submitted 18 January, 2012; originally announced January 2012.

Comments: Conference Record of 2011 IEEE Nuclear Science Symposium, 23-29 October 2011, Valencia, Spain

Report number: poster NP2.S-161

The NA62 Liquid Krypton Electromagnetic Calorimeter Level 0 Trigger

Authors: V. Bonaiuto, A. Fucci, G. Paoluzzi, A. Salamon, G. Salina, E. Santovetti, F. Sargeni, F. M. Scarfi'

Abstract: The NA62 experiment at CERN SPS aims to measure the Branching Ratio of the very rare kaon decay K+ -> pi+ nu nubar collecting O(100) events with a 10% background to make a stringent test of the Standard Model. One of the main backgrounds to the proposed measurement is represented by the K+ -> pi+ pi0 decay. To suppress this background an efficient photo veto system is foreseen. In the 1-10 mrad an… ▽ More The NA62 experiment at CERN SPS aims to measure the Branching Ratio of the very rare kaon decay K+ -> pi+ nu nubar collecting O(100) events with a 10% background to make a stringent test of the Standard Model. One of the main backgrounds to the proposed measurement is represented by the K+ -> pi+ pi0 decay. To suppress this background an efficient photo veto system is foreseen. In the 1-10 mrad angular region the NA48 high performance liquid krypton electromagnetic calorimeter is used. The design, implementation and current status of the Liquid Krypton Electromagnetic Calorimeter Level 0 Trigger are presented. △ Less

Submitted 15 January, 2012; originally announced January 2012.

Comments: Proceeedings of 13th ICATPP Conference on Astroparticle, Particle, Space Physics and Detectors for Physics Applications, Villa Olmo, Como 3-7 October 2011

The tractability of CSP classes defined by forbidden patterns

Authors: David A. Cohen, Martin C. Cooper, Páidí Creed, András Z. Salamon

Abstract: The constraint satisfaction problem (CSP) is a general problem central to computer science and artificial intelligence. Although the CSP is NP-hard in general, considerable effort has been spent on identifying tractable subclasses. The main two approaches consider structural properties (restrictions on the hypergraph of constraint scopes) and relational properties (restrictions on the language of… ▽ More The constraint satisfaction problem (CSP) is a general problem central to computer science and artificial intelligence. Although the CSP is NP-hard in general, considerable effort has been spent on identifying tractable subclasses. The main two approaches consider structural properties (restrictions on the hypergraph of constraint scopes) and relational properties (restrictions on the language of constraint relations). Recently, some authors have considered hybrid properties that restrict the constraint hypergraph and the relations simultaneously. Our key contribution is the novel concept of a CSP pattern and classes of problems defined by forbidden patterns (which can be viewed as forbidding generic subproblems). We describe the theoretical framework which can be used to reason about classes of problems defined by forbidden patterns. We show that this framework generalises relational properties and allows us to capture known hybrid tractable classes. Although we are not close to obtaining a dichotomy concerning the tractability of general forbidden patterns, we are able to make some progress in a special case: classes of problems that arise when we can only forbid binary negative patterns (generic subproblems in which only inconsistent tuples are specified). In this case we are able to characterise very large classes of tractable and NP-hard forbidden patterns. This leaves the complexity of just one case unresolved and we conjecture that this last case is tractable. △ Less

Submitted 8 July, 2014; v1 submitted 8 March, 2011; originally announced March 2011.

Journal ref: Journal Of Artificial Intelligence Research, Volume 45, pages 47-78, 2012

High-speed data transfer with FPGAs and QSFP+ modules

Authors: R. Ammendola, A. Biagioni, G. Chiodi, O. Frezza, F. Lo Cicero, A. Lonardo, R. Lunadei, P. S. Paolucci, D. Rossetti, A. Salamon, G. Salina, F. Simula, L. Tosoratto, P. Vicini

Abstract: We present test results and characterization of a data transmission system based on a last generation FPGA and a commercial QSFP+ (Quad Small Form Pluggable +) module. QSFP+ standard defines a hot-pluggable transceiver available in copper or optical cable assemblies for an aggregated bandwidth of up to 40 Gbps. We implemented a complete testbench based on a commercial development card mounting an… ▽ More We present test results and characterization of a data transmission system based on a last generation FPGA and a commercial QSFP+ (Quad Small Form Pluggable +) module. QSFP+ standard defines a hot-pluggable transceiver available in copper or optical cable assemblies for an aggregated bandwidth of up to 40 Gbps. We implemented a complete testbench based on a commercial development card mounting an Altera Stratix IV FPGA with 24 serial transceivers at 8.5 Gbps, together with a custom mezzanine hosting three QSFP+ modules. We present test results and signal integrity measurements up to an aggregated bandwidth of 12 Gbps. △ Less

Submitted 1 March, 2011; originally announced March 2011.

Comments: 5 pages, 3 figures, Published on JINST Journal of Instrumentation proceedings of Topical Workshop on Electronics for Particle Physics 2010, 20-24 September 2010, Aachen, Germany(R Ammendola et al 2010 JINST 5 C12019)

Journal ref: JINST 5:C12019,2010

APEnet+: high bandwidth 3D torus direct network for petaflops scale commodity clusters

Authors: Roberto Ammendola, Andrea Biagioni, Ottorino Frezza, Francesca Lo Cicero, Alessandro Lonardo, Pier Stanislao Paolucci, Davide Rossetti, Andrea Salamon, Gaetano Salina, Francesco Simula, Laura Tosoratto, Piero Vicini

Abstract: We describe herein the APElink+ board, a PCIe interconnect adapter featuring the latest advances in wire speed and interface technology plus hardware support for a RDMA programming model and experimental acceleration of GPU networking; this design allows us to build a low latency, high bandwidth PC cluster, the APEnet+ network, the new generation of our cost-effective, tens-of-thousands-scalable c… ▽ More We describe herein the APElink+ board, a PCIe interconnect adapter featuring the latest advances in wire speed and interface technology plus hardware support for a RDMA programming model and experimental acceleration of GPU networking; this design allows us to build a low latency, high bandwidth PC cluster, the APEnet+ network, the new generation of our cost-effective, tens-of-thousands-scalable cluster network architecture. Some test results and characterization of data transmission of a complete testbench, based on a commercial development card mounting an Altera FPGA, are provided. △ Less

Submitted 18 February, 2011; originally announced February 2011.

Comments: 6 pages, 7 figures, proceeding of CHEP 2010, Taiwan, October 18-22

APEnet+: a 3D toroidal network enabling Petaflops scale Lattice QCD simulations on commodity clusters

Authors: Roberto Ammendola, Andrea Biagioni, Ottorino Frezza, Francesca Lo Cicero, Alessandro Lonardo, Pier Paolucci, Roberto Petronzio, Davide Rossetti, Andrea Salamon, Gaetano Salina, Francesco Simula, Nazario Tantalo, Laura Tosoratto, Piero Vicini

Abstract: Many scientific computations need multi-node parallelism for matching up both space (memory) and time (speed) ever-increasing requirements. The use of GPUs as accelerators introduces yet another level of complexity for the programmer and may potentially result in large overheads due to the complex memory hierarchy. Additionally, top-notch problems may easily employ more than a Petaflops of sustain… ▽ More Many scientific computations need multi-node parallelism for matching up both space (memory) and time (speed) ever-increasing requirements. The use of GPUs as accelerators introduces yet another level of complexity for the programmer and may potentially result in large overheads due to the complex memory hierarchy. Additionally, top-notch problems may easily employ more than a Petaflops of sustained computing power, requiring thousands of GPUs orchestrated with some parallel programming model. Here we describe APEnet+, the new generation of our interconnect, which scales up to tens of thousands of nodes with linear cost, thus improving the price/performance ratio on large clusters. The project target is the development of the Apelink+ host adapter featuring a low latency, high bandwidth direct network, state-of-the-art wire speeds on the links and a PCIe X8 gen2 host interface. It features hardware support for the RDMA programming model and experimental acceleration of GPU networking. A Linux kernel driver, a set of low-level RDMA APIs and an OpenMPI library driver are available, allowing for painless porting of standard applications. Finally, we give an insight of future work and intended developments. △ Less

Submitted 1 December, 2010; originally announced December 2010.

Notes on the octonions

Authors: Dietmar A. Salamon, Thomas Walpuski

Abstract: This is an expository paper. Its purpose is to explain the linear algebra that underlies Donaldson-Thomas theory and the geometry of Riemannian manifolds with holonomy in $G_2$ and ${\rm Spin}(7)$. This is an expository paper. Its purpose is to explain the linear algebra that underlies Donaldson-Thomas theory and the geometry of Riemannian manifolds with holonomy in $G_2$ and ${\rm Spin}(7)$. △ Less

Submitted 6 April, 2017; v1 submitted 17 May, 2010; originally announced May 2010.

Comments: 95 pages

Journal ref: Proceedings of the 23rd Gokova Geometry-Topology Conference, pp. 1-85 (2017)

Bounds on series-parallel slowdown

Authors: András Z. Salamon, Vashti Galpin

Abstract: We use activity networks (task graphs) to model parallel programs and consider series-parallel extensions of these networks. Our motivation is two-fold: the benefits of series-parallel activity networks and the modelling of programming constructs, such as those imposed by current parallel computing environments. Series-parallelisation adds precedence constraints to an activity network, usually i… ▽ More We use activity networks (task graphs) to model parallel programs and consider series-parallel extensions of these networks. Our motivation is two-fold: the benefits of series-parallel activity networks and the modelling of programming constructs, such as those imposed by current parallel computing environments. Series-parallelisation adds precedence constraints to an activity network, usually increasing its makespan (execution time). The slowdown ratio describes how additional constraints affect the makespan. We disprove an existing conjecture positing a bound of two on the slowdown when workload is not considered. Where workload is known, we conjecture that 4/3 slowdown is always achievable, and prove our conjecture for small networks using max-plus algebra. We analyse a polynomial-time algorithm showing that achieving 4/3 slowdown is in exp-APX. Finally, we discuss the implications of our results. △ Less

Submitted 28 April, 2009; originally announced April 2009.

Comments: 12 pages, 4 figures

ACM Class: D.1.3; D.3.3; D.4.8; F.2.2; G.2.2

Expected Performance of the ATLAS Experiment - Detector, Trigger and Physics

Authors: The ATLAS Collaboration, G. Aad, E. Abat, B. Abbott, J. Abdallah, A. A. Abdelalim, A. Abdesselam, O. Abdinov, B. Abi, M. Abolins, H. Abramowicz, B. S. Acharya, D. L. Adams, T. N. Addy, C. Adorisio, P. Adragna, T. Adye, J. A. Aguilar-Saavedra, M. Aharrouche, S. P. Ahlen, F. Ahles, A. Ahmad, H. Ahmed, G. Aielli, T. Akdogan , et al. (2587 additional authors not shown)

Abstract: A detailed study is presented of the expected performance of the ATLAS detector. The reconstruction of tracks, leptons, photons, missing energy and jets is investigated, together with the performance of b-tagging and the trigger. The physics potential for a variety of interesting physics processes, within the Standard Model and beyond, is examined. The study comprises a series of notes based on… ▽ More A detailed study is presented of the expected performance of the ATLAS detector. The reconstruction of tracks, leptons, photons, missing energy and jets is investigated, together with the performance of b-tagging and the trigger. The physics potential for a variety of interesting physics processes, within the Standard Model and beyond, is examined. The study comprises a series of notes based on simulations of the detector and physics processes, with particular emphasis given to the data expected from the first years of operation of the LHC at CERN. △ Less

Submitted 14 August, 2009; v1 submitted 28 December, 2008; originally announced January 2009.

Hypercontact structures and Floer homology

Authors: Sonja Hohloch, Gregor Noetzel, Dietmar Salamon

Abstract: We introduce a new Floer theory associated to a pair consisting of a Cartan hypercontact 3-manifold M and a hyperkaehler manifold X. We introduce a new Floer theory associated to a pair consisting of a Cartan hypercontact 3-manifold M and a hyperkaehler manifold X. △ Less

Submitted 7 August, 2008; v1 submitted 2 July, 2008; originally announced July 2008.

Comments: 74 pages

MSC Class: 53D40

Homogeneous quasimorphisms on the symplectic linear group

Authors: Gabi Ben Simon, Dietmar A. Salamon

Abstract: In this note, we show a uniqueness result of homogeneous quasimorphisms defined on the universal cover of the symplectic linear group. In this note, we show a uniqueness result of homogeneous quasimorphisms defined on the universal cover of the symplectic linear group. △ Less

Submitted 11 December, 2007; v1 submitted 7 December, 2007; originally announced December 2007.

MSC Class: 20H99; 53D12

Lefschetz fibrations, intersection numbers, and representations of the framed braid group

Authors: Gwenael Massuyeau, Alexandru Oancea, Dietmar A. Salamon

Abstract: We examine the action of the fundamental group $Γ$ of a Riemann surface with $m$ punctures on the middle dimensional homology of a regular fiber in a Lefschetz fibration, and describe to what extent this action can be recovered from the intersection numbers of vanishing cycles. Basis changes for the vanishing cycles result in a nonlinear action of the framed braid group $\widetilde{\mathcal B}$ on… ▽ More We examine the action of the fundamental group $Γ$ of a Riemann surface with $m$ punctures on the middle dimensional homology of a regular fiber in a Lefschetz fibration, and describe to what extent this action can be recovered from the intersection numbers of vanishing cycles. Basis changes for the vanishing cycles result in a nonlinear action of the framed braid group $\widetilde{\mathcal B}$ on $m$ strings on a suitable space of $m\times m$ matrices. This action is determined by a family of cohomologous 1-cocycles ${\mathcal S}_c:\widetilde{\mathcal B}\to GL_m({\mathbb{Z}}[Γ])$ parametrized by distinguished configurations $c$ of embedded paths from the regular value to the critical values. In the case of the disc, we compare this family of cocycles with the Magnus cocycles given by Fox calculus and consider some abelian reductions giving rise to linear representations of braid groups. We also prove that, still in the case of the disc, the intersection numbers along straight lines, which conjecturally make sense in infinite dimensional situations, carry all the relevant information. △ Less

Submitted 5 September, 2013; v1 submitted 15 August, 2007; originally announced August 2007.

Comments: 62 pages, 7 figures; v5: minor modifications with respect to v4

MSC Class: 14D05; 20F36

Journal ref: Bull. Math. Soc. Sci. Math. Roumanie 56(104):4 (2013) 435-486

Instanton Floer homology with Lagrangian boundary conditions

Authors: Dietmar A. Salamon, Katrin Wehrheim

Abstract: In this paper we define instanton Floer homology groups for a pair consisting of a compact oriented 3-manifold with boundary and a Lagrangian submanifold of the moduli space of flat SU(2)-connections over the boundary. We carry out the construction for a general class of irreducible, monotone boundary conditions. The main examples of such Lagrangian submanifolds are induced from a disjoint union… ▽ More In this paper we define instanton Floer homology groups for a pair consisting of a compact oriented 3-manifold with boundary and a Lagrangian submanifold of the moduli space of flat SU(2)-connections over the boundary. We carry out the construction for a general class of irreducible, monotone boundary conditions. The main examples of such Lagrangian submanifolds are induced from a disjoint union of handle bodies such that the union of the 3-manifold and the handle bodies is an integral homology 3-sphere. The motivation for introducing these invariants arises from our program for a proof of the Atiyah-Floer conjecture for Heegaard splittings. We expect that our Floer homology groups are isomorphic to the usual Floer homology groups of the closed 3-manifold in our main example and thus can be used as a starting point for an adiabatic limit argument. △ Less

Submitted 23 August, 2007; v1 submitted 13 July, 2006; originally announced July 2006.

Comments: 154 pages, various small corrections and new description of dual domain of div-grad-curl operator on manifold with boundary

Status of the APENet project

Authors: R. Ammendola, R. Petronzio, D. Rossetti, A. Salamon, N. Tantalo, P. Vicini

Abstract: We present the current status of APENet, our custom 3-dimensional interconnect architecture for PC clusters environment. We report some micro-benchmarks on our recent large installation as well as new developments on the software and hardware side. The low level device driver has been reworked by following a custom hardware RDMA architecture, and MPICH-VMI, an implementation of the MPI library,… ▽ More We present the current status of APENet, our custom 3-dimensional interconnect architecture for PC clusters environment. We report some micro-benchmarks on our recent large installation as well as new developments on the software and hardware side. The low level device driver has been reworked by following a custom hardware RDMA architecture, and MPICH-VMI, an implementation of the MPI library, has been ported to APENet. △ Less

Submitted 26 September, 2005; originally announced September 2005.

Comments: 6 pages, 5 figures, poster presented at Lattice 2005 (Algorithms and Machines), Dublin, July 25-30

Journal ref: PoS LAT2005 (2005) 100

APENet: LQCD clusters a la APE

Authors: R. Ammendola, M. Guagnelli, G. Mazza, F. Palombi, R. Petronzio, D. Rossetti, A. Salamon, P. Vicini

Abstract: Developed by the APE group, APENet is a new high speed, low latency, 3-dimensional interconnect architecture optimized for PC clusters running LQCD-like numerical applications. The hardware implementation is based on a single PCI-X 133MHz network interface card hosting six indipendent bi-directional channels with a peak bandwidth of 676 MB/s each direction. We discuss preliminary benchmark resul… ▽ More Developed by the APE group, APENet is a new high speed, low latency, 3-dimensional interconnect architecture optimized for PC clusters running LQCD-like numerical applications. The hardware implementation is based on a single PCI-X 133MHz network interface card hosting six indipendent bi-directional channels with a peak bandwidth of 676 MB/s each direction. We discuss preliminary benchmark results showing exciting performances similar or better than those found in high-end commercial network systems. △ Less

Submitted 14 September, 2004; originally announced September 2004.

Comments: Lattice2004(machines), 3 pages, 4 figures

A construction of the Deligne--Mumford orbifold

Authors: Joel W. Robbin, Dietmar A. Salamon

Abstract: We define the Deligne Mumford orbifold axiomatically by a universal mapping property, show that this universal mapping property is equivalent to an infinitessimal universal mapping property, and use the latter to give an existence proof. We define the Deligne Mumford orbifold axiomatically by a universal mapping property, show that this universal mapping property is equivalent to an infinitessimal universal mapping property, and use the latter to give an existence proof. △ Less

Submitted 12 October, 2005; v1 submitted 6 July, 2004; originally announced July 2004.

Comments: 78 pages. See also http://www.math.ethz.ch/~salamon/ and http://www.math.wisc.edu/~robbin. Submitted to JEMS. Revised October 2005

MSC Class: 32G15

Floer homology and the heat flow

Authors: Dietmar A. Salamon, Joa Weber

Abstract: We study the heat flow in the loop space of a closed Riemannian manifold $M$ as an adiabatic limit of the Floer equations in the cotangent bundle. Our main application is a proof that the Floer homology of the cotangent bundle, for the Hamiltonian function kinetic plus potential energy, is naturally isomorphic to the homology of the loop space. We study the heat flow in the loop space of a closed Riemannian manifold $M$ as an adiabatic limit of the Floer equations in the cotangent bundle. Our main application is a proof that the Floer homology of the cotangent bundle, for the Hamiltonian function kinetic plus potential energy, is naturally isomorphic to the homology of the loop space. △ Less

Submitted 29 September, 2004; v1 submitted 24 April, 2003; originally announced April 2003.

Comments: 83 pages, 1 figure. We introduce a class of abstract perturbations in order to achieve transversality. The argument carries over to this class

MSC Class: 53D40 (Primary) 57R58 58B05 35K55 35J60 (Secondary)

Journal ref: GAFA 16 no.5 (2006), 1050--1138

Status of the apeNEXT project

Authors: R. Ammendola, F. Bodin, Ph. Boucaud, N. Cabibbo, F. Di Carlo, R. De Pietri, F. Di Renzo, W. Errico, A. Fucci, M. Guagnelli, H. Kaldass, A. Lonardo, S. de Luca, J. Micheli, V. Morenas, O. Pene, R. Petronzio, F. Palombi, D. Pleiter, N. Paschedag, F. Rapuano, P. De Riso, D. Rossetti, A. Salamon, G. Salina , et al. (5 additional authors not shown)

Abstract: We present the current status of the apeNEXT project. Aim of this project is the development of the next generation of APE machines which will provide multi-teraflop computing power. Like previous machines, apeNEXT is based on a custom designed processor, which is specifically optimized for simulating QCD. We discuss the machine design, report on benchmarks, and give an overview on the status of… ▽ More We present the current status of the apeNEXT project. Aim of this project is the development of the next generation of APE machines which will provide multi-teraflop computing power. Like previous machines, apeNEXT is based on a custom designed processor, which is specifically optimized for simulating QCD. We discuss the machine design, report on benchmarks, and give an overview on the status of the software development. △ Less

Submitted 8 October, 2003; v1 submitted 15 November, 2002; originally announced November 2002.

Comments: 3 pages, Lattice2002(machines). Replaced for adding forgotten author

Journal ref: Nucl.Phys.Proc.Suppl.119:1038-1040,2003

Wall crossing for symplectic vortices and quantum cohomology

Authors: Kai Cieliebak, Dietmar A. Salamon

Abstract: We derive a wall crossing formula for the symplectic vortex invariants of toric manifolds. As an application, we give a proof of Batyrev's formula for the quantum cohomology of a monotone toric manifold with minimal Chern number at least two. We derive a wall crossing formula for the symplectic vortex invariants of toric manifolds. As an application, we give a proof of Batyrev's formula for the quantum cohomology of a monotone toric manifold with minimal Chern number at least two. △ Less

Submitted 18 September, 2002; v1 submitted 13 September, 2002; originally announced September 2002.

Comments: 45 pages, no figures, some typos removed

MSC Class: 53D45

Propagation in Hamiltonian dynamics and relative symplectic homology

Authors: Paul Biran, Leonid Polterovich, Dietmar Salamon

Abstract: The main result asserts the existence of noncontractible periodic orbits for compactly supported time dependent Hamiltonian systems on the unit cotangent bundle of the torus or of a negatively curved manifold whenever the generating Hamiltonian is sufficiently large over the zero section. The proof is based on Floer homology and on the notion of a relative symplectic capacity. Applications inclu… ▽ More The main result asserts the existence of noncontractible periodic orbits for compactly supported time dependent Hamiltonian systems on the unit cotangent bundle of the torus or of a negatively curved manifold whenever the generating Hamiltonian is sufficiently large over the zero section. The proof is based on Floer homology and on the notion of a relative symplectic capacity. Applications include results about propagation properties of sequential Hamiltonian systems, periodic orbits on hypersurfaces, Hamiltonian circle actions, and smooth Lagrangian skeletons in Stein manifolds. △ Less

Submitted 20 August, 2001; originally announced August 2001.

Comments: 58 pages, 2 figures

MSC Class: 37J45; 53D40

Gromov-Witten invariants of symplectic quotients and adiabatic limits

Authors: A. Rita Gaio, Dietmar A. Salamon

Abstract: We study pseudoholomorphic curves in symplectic quotients as adiabatic limits of solutions of a system of nonlinear first order elliptic partial differential equations in the ambient symplectic manifold. The symplectic manifold carries a Hamiltonian group action. The equations involve the Cauchy-Riemann operator over a Riemann surface, twisted by a connection, and couple the curvature of the con… ▽ More We study pseudoholomorphic curves in symplectic quotients as adiabatic limits of solutions of a system of nonlinear first order elliptic partial differential equations in the ambient symplectic manifold. The symplectic manifold carries a Hamiltonian group action. The equations involve the Cauchy-Riemann operator over a Riemann surface, twisted by a connection, and couple the curvature of the connection with the moment map. Our main theorem asserts that the genus zero invariants of Hamiltonian group actions defined by these equations are related to the genus zero Gromov--Witten invariants of the symplectic quotient (in the monotone case) via a natural ring homomorphism from the equivariant cohomology of the ambient space to the quantum cohomology of the quotient. △ Less

Submitted 19 June, 2001; originally announced June 2001.

Comments: 122 pages,1 figure

MSC Class: 37Jxx;53Dxx