'=11

'@=12

plus 1000pt minus 1000pt

=cmss10 scaled =cmss8 scaled =cmss8 = = =

plus 1pt = 1.5ex

restonecolfalse@twocolumnrestonecoltrue @̧page@

IMAFF-FM-06-23
NIKHEF/2006-006
hep-th/0612305

**Remarks on Global Anomalies in DHS Orientifolds**

**Beatriz Gato-Rivera**[^1]

*Instituto de Matemáticas y Fı́sica Fundamental, CSIC,
Serrano 123, Madrid 28006, Spain*
*NIKHEF Theory Group, Kruislaan 409,
1098 SJ Amsterdam, The Netherlands*

**ABSTRACT**

> I review the main features of the Dijkstra–Huiszoon–Schellekens (DHS) orientifolds and report on the search for global anomalies that Schellekens and the author have performed for these models.

December 2006

Invited talk given at the 'Strings 2006 Workshop', Shanghai (China), June 2006.

@restonecol

pt

# Introduction

to

In this talk I will present some work done in collaboration with Bert Schellekens, published in ref. . In the first part of the talk I will introduce the Dijkstra–Huiszoon–Schellekens (DHS) open strings. I will explain what are they, how were they constructed, and their main features. In the second part I will report on the search for global anomalies that we have performed for these models. I will review briefly the subject of global (gauge) anomalies, then I will introduce the probe brane method to look for global anomalies in string/brane configurations and finally I will present the results obtained for the DHS open strings.

# Dijkstra–Huiszoon–Schellekens Open Strings

to

The DHS open strings are a large number of supersymmetric open strings with a chiral spectrum that exactly matches the supersymmetric Standard Model spectrum. They were constructed algebraically by the dutch group T. Dijkstra, L. Huiszoon and A.N. Schellekens , using the technology of Rational Conformal Field Theory (RCFT) on surfaces with boundaries and crosscaps. To be precise, the DHS open strings were obtained building orientifolds based on tensor products of superconformal N=2 minimal models (Gepner models).

Let us say a few more words about these important subjects: RCFT on surfaces with boundaries and crosscaps, orientifold constructions and Gepner models.

## Some features

CFT on surfaces with boundaries and crosscaps is the CFT description of the perturbative expansion of open string theories, the crosscaps being only necessary when the theory involves unoriented strings. The main ingredients in these theories are the one-loop worldsheets, which are the 2-dimensional surfaces swept out by the strings when moving in space-time. One finds four different types of topologically inequivalent one-loop worldsheets: torus, Klein bottle, annulus, and Möbius strip. Depending on the string theory at hand some of these surfaces may or may not appear, but for open unoriented strings the four types appear. These surfaces, called 'direct channel' surfaces contain the information about the complete spectrum of the CFT defined on them; that is, the amplitudes of these surfaces represent the partition functions of the theory that give the number of states level by level. But one can also look at these surfaces from the 'transverse channel' point of view, that is exchanging the space and time coordinates of the worldsheet. The torus does not change, but the annulus, the Möbius strip and the Klein bottle look quite different. The annulus is converted into a cylinder between two boundaries, that shows the propagation of closed strings between the two boundaries, the Möbius strip is converted into a cylinder between a boundary and a crosscap (the Möbius strip has only one boundary), and the Klein bottle turns into a cylinder between two crosscaps (a crosscap is a boundary with the opposite sides identified). The boundary states and the crosscap states are linear combinations of the so-called Ishibashi states $$|{B_a}\rangle = \sum_i B_{ai} |{i}\rangle_B\, , \qquad
|{C}\rangle = \sum_i \Gamma_{i} |{i}\rangle_C$$ where $B_{ai}$ and $\Gamma_i$ are called boundary and crosscap coefficients, respectively. The label $a$ indicates that a CFT can have different sets of boundaries, whereas it can have only one type of crosscap.

The boundary and crosscap coefficients are very important quantities since they contain information about the spectrum of the string states as well as information about the D-branes and orientifold planes. These coefficients are constrained by integrality and positivity conditions in order that the state multiplicities of the spectra make sense. They are also subject to sewing constraints, world-sheet conditions needed to guarantee the correct factorization of all amplitudes, which are rather difficult to solve.

When the basic CFT building blocks are rational, implying a finite number of primary fields, rational conformal anomaly, and rational conformal weights, one uses the term RCFT to denotes these theories. The boundary and crosscap coefficients used in the DHS construction are based on generic simple current[^2] modifications of the Cardy boundary coefficients and the Rome group crosscap coefficients : $$B_{ai} = {S_{ai} \over \sqrt{S_{0i}}}\,,
 \qquad \Gamma_{i} = {P_{0i} \over \sqrt{S_{0i}}}\,.$$ where $S$ is the modular matrix, $S: \tau \rightarrow -1/{\tau}$ and P is defined as $P = \sqrt{T} S T^2 S \sqrt{T}$, $T$ being the modular matrix, $T: \tau \rightarrow \tau + 1$.

A crucial consistency condition in CFT with boundaries and crosscaps is tadpole cancellation, a space-time constraint necessary to avoid infrared divergences in the one-loop amplitudes. This is very easy to see in the transverse channel where, by factorization, the 'cylinder' decomposes as the product of the propagator times the tadpoles located at the extremes (boundary tadpoles and/or crosscap tadpoles). If the tadpoles are left uncancelled and correspond to physical states in the projected closed string spectrum, then the system is unstable. If they do not correspond to physical states, however, their presence implies a fundamental inconsistency in the theory which translates into chiral anomalies in local gauge or gravitational symmetries. Therefore the tadpoles must be cancelled, what implies that the Chan-Paton factors of the boundary states must be adjusted to some specific values. But the Chan-Paton factors reflect the gauge group of the theory and therefore the tadpole cancellation fixes the possible allowed gauge groups.

An orientifold theory is obtained from a closed string theory by performing a projection that inverts the orientation of the world-sheet. This often leads to the apparition of open unoriented strings, what is most convenient because in order to cancel the tadpoles one usually must add open strings to the original closed string theory. For the orientifold construction leading to open unoriented strings (also called 'open descendant' construction) one starts with a closed string theory with the corresponding torus partition function – a modular invariant partition function to be precise – then one computes boundary and crosscaps coefficients and next one builds the annulus, Klein bottle and Möbius partition functions (see the details in ref. ).

As is well known, RCFT can be applied to obtain 4-dimensional superstrings compactified on Calabi-Yau spaces. For this purpose one needs superconformal N=2 symmetry for the fields living on the worldsheets. The simplest building blocks are superconformal N=2 minimal models and one can construct conformal tensors of them , where the resulting conformal anomaly $c_T$ is the sum of the conformal anomalies of each component. The value of $c_T$ must be 9 so that the conformal anomaly of the corresponding string theory vanishes. As a result, taking into account that for N=2 minimal models $c=3k/(k+2)$ with $k=1,2,3,....$, one finds a total of 168 solutions of possible tensor products satisfying the requirement $c_T = 9$.

## First results

The orientifold construction used by DHS leads to 270.058 models compatible with the supersymmetric Standard Model, at first sight. In particular, the chiral spectrum of these models exactly matches the supersymmetric Standard Model spectrum, as was mentioned before. The gauge groups of these models usually, but not always, have hidden sectors in addition to the Standard Model gauge group $SU(3)$ x $SU(2)$ x $U(1)$. As a consequence, some of these models differ only in hidden sector details.

# Search for Global Anomalies

to

## Global anomalies

In certain cases global anomalies can occur even though all tadpole cancellation conditions are satisfied. These are anomalies in the global definition of the field theory path integral (gauge global anomalies to be precise), discovered by Witten in 1982 . Global anomalies are present when there is an odd number of massless fermions in the vector representation of a symplectic factor of the gauge group (the best known case are doublets of $SU(2)$, which is isomorphic to $Sp(2)$). In general, odd-rank tensors of $Sp(2n)$ are problematic but in brane models only vectors occur.

The problem can be traced back to uncancelled K-theory charges of D-branes. The reason is that tadpole cancellation only guarantees the cancellation of the cohomology charges of the D-branes, characterized by long range RR fields coupling to these charges, but D-branes may carry additional $Z_2$-charges without a corresponding long range field. If these $Z_2$-charges remain uncancelled, this manifests itself in the form of global anomalies. Unfortunately, a complete description of global anomalies in theories of unoriented open strings is not available at present. The best we can do is to examine if the symptoms of the problem are present.

## The probe brane method

In any given model, the presence or absence of global anomalies can be determined by simply counting the number of massless fermions in simplectic vector representations, at the field theory level. However, there can be additional K-theory constraints rendering the theory globally inconsistent at the string level. To get a handle on these extra-constraints Uranga proposed a more general method . The basic idea is the following: *If to any model a symplectic brane-antibrane pair is added, the massless spectrum resulting from the intersections with the initial branes must be free from any additional global anomalies*. The probe brane method also applies to local anomalies but gives nothing new if the tadpoles cancellation is satisfied.

## Results

We examined the 270.058 DHS spectra compatible with the Standard Model. The total number of symplectic factors was found to be 845.513. Without using probe branes we found that only 1.015 spectra and 2.075 symplectic factors had global anomalies. Using probe branes we had to redo the computations. We simply searched the corresponding MIPFs (modular invariant partition functions) again with the probe brane condition imposed as an additional constraint. For the vast majority of MIPFs we did not encounter any global probe brane anomalies for any solutions, even though the number of potential anomalies was very large. From the 333 MIPFs with tadpole cancellation solutions found by DHS, we encountered global anomalies in only 25, and only for very few solutions in each case.

As an example, let us consider the tensor product of the N=2 minimal models given by $(k_1, k_2, k_3, k_4) = (1, 6, 46, 46)$. Now let us take the MIPF number 10 (in our conventions) with 19.644 solutions. One finds that the total number of new (independent) mod 2 conditions that must be satisfied for global anomaly cancellation is 147. Therefore there is a potential reduction of valid models of $2^{-147}$. In reality, however, from the original 19.644 solutions for this MIPF we found that only 59 had to be removed due to global probe brane anomalies.

# Conclusions and Final Remarks

We have seen that global anomalies, although very important in theory, are almost irrelevant in practice for the DHS models. They only occur in 25 out of the 333 MIPFs with solutions, and for very few of these solutions. We must point out that the precise relation of these anomalies with K-theory charges remains to be understood. Finally, it is an open question if the probe brane method is sufficient to trace all the global anomalies or whether there may be some that cannot be detected using this method.

**Acknowledgements**

I thank the organizers of the Strings 2006 Shanghai Workshop for the invitation to present some of my work. I also thank Bert Schellekens for many illuminating discussions about the subject of this talk. The work presented has been partially supported by funding of the spanish Ministerio de Educación y Ciencia, Research Project FPA2005-05046.

[^1]: Also known as B. Gato

[^2]: A pedagogical introduction to the subject of simple currents in CFT can be found in ref.


abstract: Astrophysical observations strongly suggest that non-luminous, nonbaryonic components, so called "Dark Matter", may constitute most of the matter in the Universe. The Cryogenic Dark Matter Search (CDMS) experiment is designed to detect Dark Matter interaction events through nuclear recoils from elastic scattering. The detector is capable of reading out both phonon and ionization energy of an interaction in Ge or Si crystals. We present results from the CDMS five-tower detector arrays. The data were collected in the period between October 2006 and July 2007 (with an effective exposure of 121.3 kg-days). No WIMP signal was observed. The results, when combined with previous CDMS Soudan data, set a 90% confidence level upper bound on the WIMP-nucleon cross section of $4.6\times 10^{-44}$ cm$^2$ at 60 Gev/c$^2$ WIMP mass.
author: Jonghee Yoo (for the CDMS collaboration)
title: Results from the CDMS 5-Tower Operation

# INTRODUCTION

There is increasing evidence that a non-luminous, nonbaryonic component, "Dark Matter", constitutes most of the matter in the Universe . All this evidence, however, is indirect, meaning the hypothesis of unseen Dark Matter can explain anomalies in astrophysical observations. There is no evidence that Dark Matter couples to normal matter other than by gravitational interaction. Its particle characteristics such as composition, spin, mass are all unknown. Any kind of hypothetical neutral and stable non-Standard Model particle can thus be a Dark Matter candidate. Hence, direct observation of Dark Matter will not only answer fundamental questions from astrophysics, but it would also open up a new era of beyond the Standard Model in particle physics. This is one of the most urgent problem that needs to be addressed in the next decades.

There is no lack of Dark Matter candidates in a theoretical point of view. Among the candidate, the Weakly Interacting Massive Particle (WIMP) is the most interesting Cold Dark Matter candidate for two reasons . First, WIMPs naturally appear in many beyond-the-Standard Model scenarios, such as the Lightest Super-Symmetric Particle (LSP) and the Lightest Kaluza-Klein Particle (LKP) . Second, the expected range of interaction cross sections with normal matter and WIMP masses are experimentally accessible with existing technology. Therefore, the majority of the direct detection experiments aim to observe WIMPs.

# CDMS EXPERIMENT

The Cryogenic Dark Matter Search (CDMS) experiment is designed to detect WIMP signals through nuclear recoil in the target material by elastic scattering. The CDMS Z(depth)-sensitive Ionization and Phonon detectors measure both the ionization and the phonon signal from the crystal . The detector is an ultra-pure Ge (250 g) or Si (100 g) crystal in a cylindrical shape of 1 cm thick and 7.6 cm diameter. A tower consists of vertically stacked six ZIP detector-array. Five towers of detector-arrays, a totaling 30 detectors (19 Ge and 11 Si) have been operating since October 2006. The detectors are cooled down to 50 mK. An electron-hole pair-inducing interaction in the crystal gives the ionization signal. The electron and hole pairs are separated by an electric field through the crystal (3 V/cm in Ge and 4 V/cm in Si). The ionization signals are read out by inner and outer electrodes. The phonon signals are read out by Quasi-particle-assisted Electrothermal-feedback Transition-edge sensors (QETs) on each detector. The Transition-Edge-Sensors (TESs) are voltage biased and a SQUID array reads the current through them. The phonon signals are read out by electro-thermal-feed-back in the TESs. In order to reduce muon-induced neutron backgrounds, the CDMS detectors are installed at the Soudan Underground Laboratory, 780 m underground, Minnesota, USA. Lead blocks and polyethylene panels are used for passive shielding of background photons and neutrons. Scintillation panels entirely cover the outer detector area for active muon veto. The detector performance is monitored on a real-time basis.

# DATA ANALYSIS AND RESULTS

This report is based on data collected in the period between October 2006 and July 2007. The two consecutive cryogenic runs during this period are named r123 and r124. In this analysis we consider the 15 good Ge detectors (for WIMP search) for r123 and 7 good Ge detectors for r124. Gamma ($^{133}$Ba) and neutron ($^{252}$Cf) sources were used for energy calibrations and WIMP search efficiency studies. Quality cuts were carefully defined to identify data sets with significant deviations from normal condition. Energy and position dependence of the timing of the phonon signals were corrected using a look-up table based on the electron recoil calibrations.

In order to be a Dark Matter candidate event, the deposited energy should be 4$\sigma$ above mean noise level. As the WIMPs will not interact more than once in our detector, we require only single scatter events and no significant activity in the surrounding scintillator veto shield. The events should belong to the 2$\sigma$ region of the nuclear recoil band in ionization yield. The phonon rise time and pulse delay from the ionization signal is used to discriminate surface electron induced events. The left plot in Figure  shows an example of the distribution of the ionization yield versus timing parameter in the calibration data. Photons can be clearly discriminated from nuclear recoil events by comparing its ionization yield distribution. However, some electrons drop down to the nuclear recoil area (black dots in the figure). The fast timing characteristics of those electron events can be used to make a pure neutron signal area, hence a nuclear recoil events signal area (black box region in the figure).

A blind analysis was carried out. The events in the WIMP signal region were masked before defining the final cuts. The WIMP selection criteria and background estimation in the signal region were finalized before looking at the WIMP search region. The expected background due to surface electron interactions is estimated to be $0.6\pm0.5$ events. Neutrons induced by cosmic ray muons or radioactive processes were estimated using Monte Carlo simulations. Less than 0.1 cosmogenic neutron background is expected in the signal region. Neutron background induced by nuclear decay, such as from U and Th chain is estimated to be less than 0.1  event.

Most of the quality cuts have little affect on the WIMP detection efficiencies. The ionization-based fiducial volume ($\sim$`<!-- -->`{=html}30% cut out) and phonon-timing cuts ($\sim$`<!-- -->`{=html}30% cut out) are the dominant factor of the WIMP detection efficiencies. The effective exposure before the cuts is 397.8 kg-days, and the net exposure after applying all the cuts is 121.3 kg-days (averaged over recoil energies 10–100 keV, weighted for a WIMP mass of 60 GeV/c$^2$).

On February 4, 2008, the WIMP search signal region was unmasked. No events were observed in the WIMP search signal region while the total expected background in the signal region was less than 0.6 event. Therefore, the results are consistent with null observation of WIMPs, or none of the non-Standard Model particles were observed within the detector sensitivity. The right-side plots in Figure  shows the low-yield events observed in all detectors used in this analysis. The upper panel shows the ionization yield distribution versus energy for single-scatter events passing all selection cuts except the timing cut. The four events passing the timing cut shown in the lower panel are outside the 2$\sigma$ nuclear recoil region.

This null observation result sets an upper bound on the WIMP-nucleon cross section and mass of the WIMPs parameter space. Combining all Soudan data, the upper limit is $4.6 \times 10^{-44}$ cm$^2$ at 90% C.L. for a 60 GeV/c$^2$ WIMP. Figure  shows the upper bound from CDMS (red solid curve) and XENON-10 (blue solid curve) . Since the expected WIMP parameter space from Super-Symmetric Dark Matter candidates (mostly neutralinos) has been shown many times in our previous publications , here we show the Kaluza-Klein Dark Matter (KKDM) parameter space for minimal UED models . In this minimal model there are only two free parameters, the mass coupling between Lightest Kaluza-Klein Particles (LKP) and KK-quarks ($\Delta$m, here 0.01 $\le \Delta$m $\le$ 0.5) and the mass of Higgs (m$_H$, here m$_H$=120 GeV). The dotted curves indicate projected detector sensitivities of CDMS-II Soudan goal, SuperCDMS 15 kg at Soudan and SuperCDMS 100 kg at SNOLAB. The SuperCDMS project will start to probe a substential part of the Kaluza-Klein Dark Matter parameter space.

# SUMMARY

We presented results from the CDMS five-tower detector arrays with a net exposure of 121.3 kg-days after cuts. No WIMP signal was observed. The result set an upper bound for WIMP-nucleon cross section at 4.6$\times10^{-44}$ cm$^2$ when combined with previous CDMS Soudan data in 90%C.L. for a WIMP of mass 60 GeV/c$^2$. This is the best WIMP search sensitivity above a WIMP mass of 42 GeV. CDMS is the only experiment that has achieved zero background in the WIMP signal region, which means CDMS has demonstrated the highest power of Dark Matter discovery potential. Continuous running of the current detector (CDMS-II at Soudan) and future Super detectors (SuperCDMS at Soudan and SNOLAB) will provide substantial improvement to the WIMP search sensitivity.


abstract: We present Quip, a lossless compression algorithm for next-generation sequencing data in the FASTQ and SAM/BAM formats. In addition to implementing reference-based compression, we have developed, to our knowledge, the first assembly-based compressor, using a novel de novo assembly algorithm. A probabilistic data structure is used to dramatically reduce the memory required by traditional de Bruijn graph assemblers, allowing millions of reads to be assembled very efficiently. Read sequences are then stored as positions within the assembled contigs. This is combined with statistical compression of read identifiers, quality scores, alignment information, and sequences, effectively collapsing very large datasets to less than 15% of their original size with no loss of information.
  .
  Availability: Quip is freely available under the BSD license from <http://cs.washington.edu/homes/dcjones/quip>.
author: Daniel C. Jones[^1]; Walter L. Ruzzo[^2]; Xinxia Peng[^3]; Michael G. Katze[^4]
bibliography: quip.bib
title: Compression of next-generation sequencing reads aided by highly efficient de novo assembly

# Introduction

With the development of next-generation sequencing (NGS) technology researchers have had to adapt quickly to cope with the vast increase in raw data. Experiments that would previously have been conducted with microarrays and resulted in several megabytes of data, are now performed by sequencing, producing many gigabytes, and demanding a significant investment in computational infrastructure. While the cost of disk storage has also steadily decreased over time, it has not matched the dramatic change in the cost and volume of sequencing. A transformative breakthrough in storage technology may occur in the coming years, but the era of the \$1000 genome is certain to arrive before that of the \$100 petabyte hard disk.

As cloud computing and software as a service become increasingly relevant to molecular biology research, hours spent transferring NGS datasets to and from off-site servers for analysis will delay meaningful results. More often researchers will be forced to maximize bandwidth by physically transporting storage media (via the "sneakernet"), an expensive and logistically complicated option. These difficulties will only be amplified as exponentially more sequencing data is generated, implying that even moderate gains in domain-specific compression methods will translate into a significant reduction in the cost of managing these massive datasets over time.

Storage and analysis of NGS data centers primarily around two formats that have arisen recently as de facto standards: FASTQ and SAM. FASTQ stores, in addition to nucleotide sequences, a unique identifier for each read and quality scores, which encode estimates of the probability that each base is correctly called. For its simplicity, FASTQ is a surprisingly ill-defined format. The closest thing to an accepted specification is the description by , but the format arose ad hoc from multiple sources (primarily Sanger and Solexa/Illumina), so a number of variations exist, particularly in how quality scores are encoded. The SAM format is far more complex but also more tightly defined, and comes with a reference implementation in the form of SAMtools . It is able to store alignment information in addition to read identifiers, sequences, and quality scores. SAM files, which are stored in plain text, can also be converted to the BAM format, a compressed binary version of SAM, which is far more compact and allows for relatively efficient random access.

Compression of nucleotide sequences has been the target of some interest, but compressing NGS data, made up of millions of short fragments of a greater whole, combined with metadata in the form of read identifiers and quality scores, presents a very different problem and demands new techniques. Splitting the data into separate contexts for read identifiers, sequences, and quality scores and compressing them with the Lempel-Zip algorithm and Huffman coding has been explored explored by and , who demonstrate the promise of domain-specific compression with significant gains over general-purpose programs like gzip and bzip2.

and proposed reference-based compression methods, exploiting the redundant nature of the data by aligning reads to a known reference genome sequence and storing genomic positions in place of nucleotide sequences. Decompression is then performed by copying the read sequences from the genome. Though any differences from the reference sequence must also be stored, referenced-based approaches can achieve much higher compression and they grow increasing efficient with longer read lengths, since storing a genomic position requires the same amount of space, regardless of the length of the read.

This idea is explored also in the Goby format (<http://campagnelab.org/software/goby/>), which has been proposed an alternative to SAM/BAM, the primary functional difference being that sequences of aligned reads are not stored but looked up in a reference genome when needed (frequently they are not). For some applications, reference-based compression can be taken much further by storing only SNP information, summarizing a sequencing experiment in several megabytes . However, even when SNP calls are all that is needed, discarding the raw reads would prevent any reanalysis of the data.

While a reference-based approach typically results in superior compression it has a number of disadvantages. Most evidently, an appropriate reference sequence database is not always available, particularly in the case of metagenomic sequencing. One could be contrived by compiling a set of genomes from species expected to be represented in the sample. However, a high degree of expertise is required to curate and manage such a project-dependent database. Secondly, there is the practical concern that files compressed with a reference-based approach are not self-contained. Decompression requires precisely the same reference database used for compression, and if it is lost or forgotten the compressed data becomes inaccessible.

Another recurring theme in the the growing literature on short read compression is lossy encoding of sequence quality scores. This follows naturally from the realization that quality scores are particularly difficult to compress. Unlike read identifiers, which are highly redundant, or nucleotide sequences, which contain some structure, quality scores are inconsistently encoded between protocols and computational pipelines and are often simply high-entropy. It is dissatisfying that metadata (quality scores) should consume more space than primary data (nucleotide sequences). Yet, also dissatisfying to many researchers is the thought of discarding information without a very good understanding of its effect on downstream analysis.

A number of lossy compression algorithms for quality scores have been proposed, including various binning schemes implemented in QScores-Archiver and SCALCE (<http://scalce.sourceforge.net>), scaling to a reduced alphabet with randomized rounding in SlimGene , and discarding quality scores for bases which match a reference sequence in Cramtools . In SCALCE, SlimGene, and Cramtools, quality scores may also be losslessly compressed. analyzed of the effects of their algorithm on downstream analysis. Their results suggest that while some SNP calls are affected, they are primarily marginal, low-confidence calls between hetero- and homozygosity.

Decreasing the entropy of quality scores while retaining accuracy is an important goal, but successful lossy compression demands an understanding of what is lost. For example, lossy audio compression (e.g. MP3) is grounded in psychoacoustic principles, preferentially discarding the least perceptible sound. Conjuring a similarly principled method for NGS quality scores is difficult given that both the algorithms that generate them and the algorithms that are informed by them are moving targets. In the analysis by , the authors are appropriately cautious in interpreting their results, pointing out that "there are dozens of downstream applications and much work needs to be done to ensure that coarsely quantized quality values will be acceptable for users."

In the following sections we describe and evaluate Quip, a new lossless compression algorithm which leverages a variety of techniques to achieve very high compression over sequencing data of many types, yet remains efficient and practical. We have implement this approach in a open-source tool that is capable of compressing both BAM/SAM and FASTQ files, retaining all information from the original file.

# Materials & Methods

## Statistical Compression

The basis of our approach is founded on statistical compression using arithmetic coding, a form of entropy coding which approaches optimality, but requires some care to implement efficiently (see for an excellent review). Arithmetic coding can be thought of as a refinement of Huffman coding, the major advantage being that it is able to assign codes of a non-integral number of bits. If a symbol appears with probability 0.1, it can be encoded near to its optimal code length of $-\log_2(0.1) \approx 3.3$ bits. Despite its power, it has historically seen much less use than Huffman coding, due in large part to fear of infringing on a number of patents that have now expired.

Arithmetic coding is a particularly elegant means of compression in that it allows a complete separation between statistical modeling and encoding. In Quip, the same arithmetic coder is used to encode quality scores, read identifiers, nucleotide sequences, and alignment information, but with very different statistical models for each, which gives it a tremendous advantage over general-purpose compression algorithms that lump everything into a single context. Futhermore, all parts of our algorithm use adaptive modeling: parameters are trained and updated as data is compressed, so that an increasingly tight fit and higher compression is achieved on large files.

### Read Identifiers

The only requirement of read identifiers is that they uniquely identify the read. A single integer would do, but typically each read comes with a complex string containing the instrument name, run identifier, flow cell identifier, and tile coordinates. Much of this information is the same for every read and is simply repeated, inflating the file size.

To remove this redundancy, we use a form of delta encoding. A parser tokenizes the ID into separate fields which are then compared to the previous ID. Tokens that remain the same from read to read (e.g. instrument name) can be compressed to a negligible amount of space — arithmetic coding produces codes of less than 1 bit in such cases. Numerical tokens are recognized and stored efficiently, either directly or as an offset from the token in the same position in previous read. Otherwise non-identical tokens are encoded by matching as much of the prefix as possible to the previous read's token before directly encoding the non-matching suffix.

The end result is that read IDs, which are often 50 bytes or longer, are typically stored in 2-4 bytes. Notably, in reads produced from Illumina instruments, most parts of the ID can be compressed to consume almost no space; the remaining few bytes are accounted for by tile coordinates. These coordinates are almost never needed in downstream analysis, so removing them as a preprocessing step would shrink file sizes even further. The parser used is suitably general so that no change to the compression algorithm would be needed.

### Nucleotide Sequences

To compress nucleotide sequences, we adopt a very simple model based on high-order Markov chains. The nucleotide at a given position in a read is predicted using the preceding twelve positions. This model uses more memory than traditional general-purpose compression algorithms ($4^{13} = 67,108,864$ parameters are needed, each represented in 32 bits) but it is simple and extremely efficient (very little computation is required and run time is limited primarily by memory latency, as lookups in such a large table result in frequent cache misses).

An order-12 Markov chain also requires a very large amount of data to train, but there is no shortage with the datasets we wish to compress. Though less adept at compressing extremely short files, after compressing several million reads the parameters are tightly fit to the nucleotide composition of the dataset so that the remaining reads will be highly compressed. Compressing larger files only results in a tighter fit and higher compression.

### Quality Scores

It has been previously noted that the quality score at a given position is highly correlated with the score at the preceding position . This makes a Markov chain a natural model, but unlike nucleotides, quality scores are over a much larger alphabet (typically 41–46 distinct scores). This limits the order of the Markov chain: long chains will require a great deal of space and take a unrealistic amount of data to train.

To reduce the number of parameters, we use an order-3 Markov chain, but coarsely bin the distal two positions. In addition to the preceding three positions, we condition on the position within the read and a running count of the number large jumps in quality scores between adjacent positions (where a "large jump" is defined as $|q_{i} - q_{i-1}| > 1$), which allows reads with highly variable quality scores to be encoded using separate models. Both of these variables are binned to control the number of parameters.

## Reference-Based Compression

We have also implemented lossless reference-based compression. Given aligned reads in SAM or BAM format, and the reference sequence to which they are aligned (in FASTA format), the reads are compressed preserving all information in the SAM/BAM file, including the header, read IDs, alignment information, and all optional fields allowed by the SAM format. Unaligned reads are retained and compressed using the Markov chain model.

## Assembly-Based Compression

To complement the reference-based approach, we developed an assembly-based approach which offers some of the advantages of reference-based compression, but requires no external sequence database and produces files which are entirely self-contained. We use the first (by default) 2.5 million reads to assemble contigs which are then used in place of a reference sequence database to encode aligned reads compactly as positions.

Once contigs are assembled, read sequences are aligned using a simple "seed and extend" method: 12-mer seeds are matched using a hash table, and candidate alignments are evaluated using Hamming distance. The best (lowest Hamming distance) alignment is chosen, assuming it falls below a given cutoff, and the read is encoded as a position within the contig set. Roughly, this can be thought of as a variation on the Lempel-Ziv algorithm: as sequences are read, they are matched to previously observed data, or in this case, contigs assembled from previously observed data. These contigs are not explicitly stored, but rather reassembled during decompression.

Traditionally, de novo assembly is extremely computationally intensive. The most commonly used technique involves constructing a de Bruijn graph, a directed graph in which each vertex represents a nucleotide $k$-mer present in the data for some fixed $k$ (e.g., $k = 25$ is a common choice). A directed edge from a $k$-mer $u$ to $v$ occurs if and only if the $(k - 1)$-mer suffix of $u$ is also the prefix of $v$. In principle, given such a graph, an assembly can be produced by finding an Eulerian path, i.e., a path that follows each edge in the graph exactly once . In practice, since NGS data has a non-negligible error rate, assemblers augment each vertex with the number of observed occurrences of the $k$-mer and leverage these counts using a variety of heuristics to filter out spurious paths.

A significant bottleneck of the de Bruijn graph approach is building an implicit representation of the graph by counting and storing $k$-mer occurrences in a hash table. The assembler implemented in Quip overcomes this bottleneck to a large extent by using a data structure based on the Bloom filter to count $k$-mers. The Bloom filter is a probabilistic data structure that represents a set of elements extremely compactly, at the cost of elements occasionally colliding and incorrectly being reported as present in the set. It is probabilistic in the sense that these collisions occur pseudo-randomly, determined by the size of the table and the hash functions chosen, but generally with low probability.

The Bloom filter is generalized in the counting Bloom filter, in which an arbitrary count can be associated with each element , and further refined in the d-left counting Bloom filter (dlCBF) , which requires significantly less space than the already quite space efficient counting Bloom filter. We base our assembler on a realization of the dlCBF. Because we use a probabilistic data structure, $k$-mers are occasionally reported to have incorrect (inflated) counts. The assembly can be made less accurate by these incorrect counts, however a poor assembly only results in slightly increasing the compression ratio. Compression remains lossless regardless of the assembly quality, and in practice collisions in the dlCBF occur at a very low rate (this is explored in the results section).

Given a probabilistic de Bruijn graph, we assemble contigs using a very simple greedy approach. A read sequence is used as a seed and extended on both ends one nucleotide at a time by repeatedly finding the most abundant $k$-mer that overlaps the end of the contig by $k-1$ bases. More sophisticated heuristics have been developed, but we choose to focus on efficiency, sacrificing a degree of accuracy.

Counting $k$-mers efficiently with the help of Bloom filters was previously explored by , who use it in addition, rather than in place, of a hash table. The Bloom filter is used as a "staging area" to store $k$-mers occurring only once, reducing the memory required by the hash table. Concurrently with our work, have also developed a probabilistic de Bruijn graph assembler, but using a non-counting Bloom filter. While they demonstrate a significant reduction in memory use, unlike other de Bruijn graph assemblers, only the presence or absence of a k-mer is stored, not its abundance, which is essential information when the goal is producing accurate contigs.

## Metadata

In designing the file format used by Quip, we included several useful features to protect data integrity. First, output is divided into blocks of several magabytes each. In each block a separate 64 bit checksum is computed for read identifiers, nucleotide sequences, and quality scores. When the archive is decompressed, these checksums are recomputed on the decompressed data and compared to the stored checksums, verifying the correctness of the output. The integrity of an archived dataset can also be checked with the "quip –test" command.

Apart from data corruption, reference-based compression creates the possibility of data loss if the reference used for compression is lost, or an incorrect reference is used. To protect against this, Quip files store a 64 bit hash of the reference sequence, ensuring that the same sequence is used for decompression. To assist in locating the correct reference, the file name, and the lengths and names of the sequences used in compression are also stored and accessible without decompression.

Additionally, block headers store the number of reads and bases compressed in the block, allowing summary statistics of a dataset to be listed without decompression using the "quip –list" command.

# Results

## Compression of Sequencing Data

We compared Quip to three commonplace general-purpose compression algorithms: gzip, bzip2, and xz, as well as more recently developed domain-specific compression algorithms: DSRC and Cramtools . Other methods have been proposed , but without publicly available software we were unable independently evaluate them. We have also restricted our focus to lossless compression, and have not evaluated a number of promising lossy methods , nor methods only capable of compressing nucleotide sequences . We invoked Quip in three ways: using only statistical compression ("quip"), using reference-based compression ("quip -r"), and finally with assembly-based compression ("quip -a"). Table gives an overview of the methods evaluated.

We acquired six datasets (Table ) from the Sequence Read Archive , representing a broad sampling of recent applications of next-generation sequencing. Genome and exome sequencing data was taken from 1000 Genomes Project , total and mRNA data from the Illumina BodyMap 2.0 dataset , Runx2 ChIP-Seq performed in a prostate cancer cell line , and metagenomic DNA sequencing of biofilm found in the extremely acidic drainage from the Richmond Mine in California .

The Sequence Read Archive provides data in its own SRA compression format which we also evaluate here. Programs for working with SRA files are provided in the SRA Toolkit, but a convenient means of converting from FASTQ to SRA is not, so we have not measured compression time and memory in this case.

In the case of reference-based compression implemented in Cramtools and Quip, we aligned reads from all but the metagenomic data to the GRCh37/hg19 assembly of the human genome using GSNAP generating a BAM file. Splice-junction prediction was enabled for the two RNA-Seq datasets. In the case of multiple alignments, we removed all but the the primary (i.e., highest scoring). Quip is able to store secondary alignments, but the version of Cramtools we evaluated was not. When the purpose of alignment in simply compactly archiving the the reads, secondary alignments have no purpose and merely inflate the file size, but in downstream analysis they are often extremely informative and retaining them may be desirable in some cases.

It is important to note pure lossless compression is not the intended goal of Cramtools. Though we invoked Cramtools with options to include all quality scores (`–capture-all-quality-scores`), optional tags (`–capture-all-tags`), and retain unaligned reads ( `–include-unmapped-reads`), it is unable to store the original read IDs. This puts it at advantage when comparing compressed file size, as all other programs compared were entirely lossless, but as the only other available reference-based compression method, it is a useful comparison.

With each method we compressed then decompressed each dataset on a server with a 2.8Ghz Intel Xeon processor and 64 GB of memory. In addition to recording the compressed file size (Figure ), we measured wall clock run-time (Figure ) and maximum memory usage (Table ) using the Unix `time` command. Run time was normalized to the size of the original FASTQ file, measuring throughput in megabytes per second.

For the reference-based compressors, time spent aligning reads to the genome was not included, though it required up to several hours. Furthermore, while Quip is able to compress aligned reads in an uncompressed SAM file and then decompress back to SAM (or FASTQ), the input and output of Cramtools is necessarily a BAM file, and so we also use BAM files as input and output in our benchmarks of "quip -r". This conflates measurements of compression and decompression time: since BAM files are compressed with zlib, compression times for the reference-based compressors include time needed to decompress the BAM file, and decompression times include re-compressing the output to BAM. Consequently, decompression speeds in particular for both Cramtools and reference-based Quip ("quip -r") appear significantly lower than they otherwise might.

In the single-genome samples, we find that reference-based compression using Quip consistently results in the smallest file size (i.e., highest compression), yet even without a reference sequence, compression is quite high, even matching the reference-based approach used by Cramtools in two of the datasets. Assembly-based compression provides almost no advantage in the single-genome ChIP-Seq, Whole Genome, and Exome datasets. Because we assembly only several million reads (2.5 million, by default), coverage is only enough to assemble representatives of certain families of repeats in these datasets.

In the RNA-Seq datasets, more is assembled (approximately 35% and 70% of the reads are aligned to assembled contigs in the total RNA-Seq and mRNA-Seq datasets, respectively), but this only provides a small increase in the compression overall. Mostly probably, the aligned reads in these datasets are relatively low-entropy, composed largely of protein-coding sequence, and would be encoded only moderately less compactly with the Markov chain method.

Nevertheless, assembly-based compression does provide a significant advantage in the metagenomic dataset. Nearly 95% of reads align to assembled contigs, resulting in a large reduction in compressed file size. Though this may be the result of low species diversity and may not extend to all metagenomic datasets, it shows that assembly-based compression is beneficial in certain cases. Though it comes at some cost, we are able to perform assembly with exceedingly high efficiently: memory usage is increased only by 400 MB and compression time is faster than all but DSRC and assembly-free Quip even while assembling 2.5 million reads and aligning millions more reads to the assembled contigs.

With all invocations of Quip, the size of the resulting file is dominated, sometimes overwhelmingly, by quality scores (Figure ). There is not a direct way to measure this using the other methods evaluated, but this result suggests that increased compression of nucleotide sequences will result in diminishing returns.

```latex
\begin{table*}
\begin{tabular}{@{}lll@{}}
Program     & Input & Methods \\
gzip (1.4)           & Any &
Lempel-Ziv \\
bzip2 (1.0.6)        & Any &
Burrows-Wheeler and Huffman coding \\
xz  (5.0.3)          & Any &
Lempel-Ziv with arithmetic coding \\
sra (2.1.10)         & FASTQ &
No published description \\
dsrc (0.3)           & FASTQ &
Lempel-Ziv and Huffman coding. \\
cramtools (0.85-b51) & BAM &
Reference-based compression \\
quip (1.1.0)         & FASTQ, SAM, BAM &
Statistical modeling with arithmetic coding \\
quip -a (1.1.0)      & FASTQ, SAM, BAM &
Quip with assembly-based compression \\
quip -r (1.1.0) & SAM, BAM &
Quip with reference-reference based compression \\
\end{tabular}
\caption{Methods evaluated in the results section.
All methods compared are lossless, with the exception of Cramtools which
does not preserve the original read identifiers.}
\label{tab:methods}
\end{table*}
```
```latex
\begin{table*}
\begin{tabular}{@{}lllrr@{}}
Accession Number & Description     & Source & Read Length & Size (GB) \\
SRR400039        & Whole Genome    &
The 1000 Genomes Project \citep{The1000GenomesConsortium2010} & 101 & 67.6 \\
SRR125858        & Exome           &
The 1000 Genomes Project \citep{The1000GenomesConsortium2010} & 76 & 55.2 \\
SRR372816        & Runx2 ChIP-Seq  &
Little, et al \citep{Little2011}
&          50 & 14.6 \\
ERR030867        & Total RNA       &
The BodyMap 2.0 Project, Asmann, et al \citep{Asmann2012}
&         100 & 19.5 \\
ERR030894        & mRNA            &
The BodyMap 2.0 Project, Asmann, et al \citep{Asmann2012}
&          75 & 16.4 \\
SRR359032        & Metagenomic DNA &
Denef, et al \citep{Denef2010}
&         100 &  8.9 \\
\end{tabular}
\caption{
We evaluated compression on a single lane of sequencing data taken from a
broad collection of seven studies. Except for the metagenomic data, each was
generated from human samples. Uncompressed file sizes are shown in gigabytes.
}
\label{tab:datasets}
\end{table*}
```

|              | *Average Memory Usage (MB)* |                 |
|:-------------|----------------------------:|----------------:|
| 2-3 *Method* |               *Compression* | *Decompression* |
| gzip         |                         0.8 |             0.7 |
| bzip2        |                         7.0 |             4.0 |
| xz           |                        96.2 |             9.0 |
| sra          |                          NA |            46.9 |
| dsrc         |                        28.3 |            15.1 |
| cramtools    |                      6803.8 |          6749.3 |
| quip         |                       412.1 |           412.9 |
| quip -a      |                       823.0 |           794.1 |
| quip -r      |                      1710.0 |          1717.2 |

Maximum memory usage was recorded for each program and dataset. We list the average across datasets of these measurements. For most of the programs, memory usage varied by less that 10% across datasets and well summarized by the mean, with the exception of SRA. Decompression used less that 60 MB except in the human exome sequencing dataset, in which over 1.4 GB was used. We report the mean with this outlier removed.

## Characteristics of the d-left Counting Bloom Filter

Though our primary goal is efficient compression of sequencing data, the assembly algorithm we developed to achieve this is of independent interest. Only very recently has the idea of using probabilistic data structures in assembly been breached, and to our knowledge, we are the first to build a functioning assembler using any version of the counting Bloom filter. Data structures based on the Bloom filter make a trade-off between space and the probability of inserted elements colliding. Tables can be made arbitrarily small at the cost of increasing the number of collisions. To elucidate this trade-off we performed a simple simulation comparing the dlCBF to a hash table.

Comparisons of data structures are notoriously sensitive to the specifics of the implementation. To perform a meaningful benchmark, we compared our dlCBF implementation to the sparsehash library (<http://code.google.com/p/sparsehash/>), an open-source hash table implementation with the expressed goal of maximizing space efficiency. Among many other uses, it is the core data structure in the ABySS and PASHA assemblers.

We randomly generated 10 million unique, uniformly distributed 25-mers and inserted them into a hash table, allocated in advance to be of minimal size while avoiding resizing and rehashing. We repeated this with dlCBF tables of increasing sizes. Upon insertion, a collision occurs when the hash functions computed on the inserted $k$-mer collide with a previously inserted $k$-mer. An insertion may also fail when a fixed size table is filled to capacity and no empty cells are available. For simplicity, we count these occurrences also as collisions. Wall clock run-time and maximum memory usage were both recorded using the Unix time command.

We find that with only 20% of the space of the hash table the dlCBF accrues a collision rate of less than 0.001 (Figure ). While the hash table performed the 10 million insertions in 7.34 seconds, it required only 4.48 seconds on average for the dlCBF to do the same, with both simulations run on a 2.8Ghz Intel Xeon processor. Table size did not greatly affect the runtime of the dlCBF. The assembler implemented in Quip uses a fixed table size, conservatively set to allow for 100 million unique $k$-mers with a collision rate of approximately 0.08% in simulations.

Though the authors of sparsehash claim only a 4 bit overhead for each entry, and have gone to considerably effort to achieve such efficiency, it still must store the $k$-mer itself, encoded in 64 bits. The dlCBF avoids this, storing instead a 14-bit "fingerprint", or hash of a $k$-mer, resulting in the large savings we observe. Of course, a 25-mer cannot be uniquely identified with 14 bits. False positives are thus introduced, yet they are kept at a very low rate by the d-left hashing scheme. Multiple hash functions are used under this scheme, so that multiple hash function must collide to result in a collision, an infrequent event if reasonably high-quality hash functions are chosen.

A previous analysis of the dlCBF by compared it to two other variations of the counting Bloom filter and concluded that "the dlCBF outperforms the others remarkably, in terms of both space efficiency and accuracy." Overall, this data structure appears particularly adept for high efficiency de novo assembly.

# Discussion

Compared to the only other published and freely-available reference-based compressor, Cramtools, we see a significant reduction in compressed file size, despite read identifiers being discarded by Cramtools and retained by Quip. This is combined with dramatically reduced memory usage, comparable run-time (slightly faster compression paired with varying relative decompression speeds), and increased flexibility (e.g. Quip is able to store multiple alignments of the same read and does not require that the BAM file be sorted or indexed). Conversely, Cramtools implements some potentially very useful lossy methods not provided by Quip. For example, a number of options are available for selectively discarding quality scores that are deemed unnecessary, which can significantly reduce compressed file sizes.

We find that assembly-based compression offers only a small advantage in many datasets. Because we assemble a relatively small subset of the data, coverage is too low when sequencing a large portion of a eukaryotic genome. In principle, the assembler used could be scaled to handle exponentially more reads, but at the cost of being increasingly computationally intensive. In such cases, the reference-based approach may be more appropriate. Yet, in the metagenomic dataset we evaluate, where there is no obvious reference sequence, nucleotide sequences are reduced in size by over 40% (Figure ). While limited in scope, for certain projects assembly-based compression can prove to be invaluable, and the algorithm devised here makes it a tractable option.

The Lempel-Ziv algorithm, particularly as implemented in gzip/libz has become a reasonable default choice for compression. The zlib library has matured and stabilized over the course of two decades and is widely available. The BAM and Goby formats both use zlib for compression, and compressing FASTQ files with gzip is still common practice. Despite its ubiquity, our benchmarks show that it is remarkably poorly suited to NGS data. Both compression ratio and compression time were inferior to the other programs evaluated. For most purposes, the gains in decompression time do not make up for its shortcomings. With the more sophisticated variation implemented in xz, compression is improved but at the cost of tremendously slow compression.

Our use of high-order Markov chain models and de novo assembly results in a program that uses significantly more memory than the others tested, with the exception of Cramtools. Though limiting the memory used by a general purpose compression program enables it to be used on a wider variety of systems, this is less important in this domain-specific application. Common analysis of next-generation sequencing data, whether it be alignment, assembly, isoform quantification, peak calling, or SNP calling all require significant computational resources. Targeting low-memory systems would not be of particular benefit: next-generation sequencing precludes previous-generation hardware.

Though memory consumption is not a top priority, runtime is important. Newer instruments like the HiSeq 2000 produce far more data per lane than previously possible. And, as the cost of sequencing continues to decrease, experiments will involve more conditions, replicates, and timepoints. Quip is able to compress NGS data at three times the speed of gzip, while performing de novo assembly of millions of reads, and up to five times as fast without the assembly step. Only DSRC is faster, but with consistently lower compression. In addition, our reference-based compression algorithm matches the speed of cramtools but with substantially better lossless compression.

As illustrated in Figure , the size of compressed NGS data is dominated by quality scores. More sophisticated compression of nucleotide sequences may be possible but will result in only minor reductions to the overall file size. The largest benefit would be seen by reducing quality scores. While it is easy to reduce the size of quality data by coarse binning or other lossy methods, it is very hard to determine the effect such transformations will have on downstream analysis. Future work should concentrate on studying lossy quality score compression, strictly guided by minimizing loss of accuracy in alignment, SNP calling, and other applications. Quality scores are encoded in Quip using an algorithm that is suitably general so that lossy transformations (e.g., binning) can be automatically exploited, and can be treated as an optional preprocessing step.

Other aspects of the algorithm presented here can be improved, and will be with future versions of the software. A large body of work exists exploring heuristics to improve the the quality of de novo assembly, however the algorithm in Quip uses a very simple greedy approach. Assembly could likely be improved without greatly reducing efficiency by exploring more sophisticated methods. We currently perform no special handling of paired-end reads, so that mates are compressed independently of each other. In principle some gains to compression could be made by exploiting pair information. We also intend to implement parallel compression and decompression. This is non-trivial, but quite possible and worthwhile given the abundance of data and ubiquity of multi-core processors.

Combining reference-based and assembly-based techniques, with carefully tuned statistical compression, the algorithm presented in Quip probes the limit to which next-generation sequencing data can be compressed losslessly, yet remains efficient enough be a practical tool when coping with the deluge of data that biology research is now presented with.

# Funding

Federal funds from the National Institute of Allergy and Infectious Diseases, National Institutes of Health, Department of Health and Human Services, under Contract No. HHSN272200800060C and by the Public Health Service grant (P51RR000166) from the National Institutes of Health, in whole or in part.

# Acknowledgments

We are grateful to James Bonfield, Matt Mahoney, Seth Hillbrand and other participants in the Pistoia Alliance Sequence Squeeze competition, whose work inspired many improvements to our own. While preparing the manuscript, Richard Green provided valuable feedback and suggestions.

### Conflict of interest statement.

None declared.

[^1]: firstname.lastname@example.com

[^2]: email@example.com

[^3]: firstname.lastname@example.com

[^4]: firstname.lastname@example.com


abstract: We investigate the influence of a deconfinement phase transition on the dynamics of hot and dense nuclear matter. To this aim a hybrid model with an intermediate hydrodynamic stage for the hot and dense phase of the system is employed for collisions of Pb+Pb/Au+Au at beam energies of $E_{\rm lab}=2-160A~$GeV, while initial and final interactions are performed by a microscopic transport approach (UrQMD). In the hydrodynamic stage an equation of state that incorporates a critical end point (CEP) in line with lattice data is used. It follows from coupling the Polyakov loop (as an order parameter for deconfinement) to a chiral hadronic $\rm{SU(3)_f}$ model. In this configuration the EoS describes chiral restoration as well as the deconfinement phase transition. We compare the results from this new equation of state to results obtained, by applying a hadron resonance gas equation of state, focusing on bulk observables deemed to be sensitive to the phase transition to a Quark-Gluon Plasma.
author: J. Steinheimer; V. Dexheimer; M. Bleicher; H. Petersen; S. Schramm; H. Stöcker
title: Hydrodynamics with a chiral hadronic equation of state including quark degrees of freedom

Heavy ion collisions at intermediate incident beam energies ($E_{\rm lab}=5-200A~$GeV) offer the unique opportunity of being able to scan a wide range of temperatures $T$ and baryo-chemical potentials $\mu_B$ in the phase diagram of strongly interacting matter (for recent lattice QCD results see , for phenomenological studies see ). In this energy region one hopes to find experimental evidence for a deconfinement phase transition from hadronic matter to the Quark-Gluon Plasma (QGP) phase (where quarks are deconfined). Especially the so-called critical end point (CEP), a point in the phase diagram that terminates the first order phase transition-line (which is expected for high chemical potentials), is of great interest.
Key bulk observables like the directed flow $v_1$ , but also particle multiplicities, ratios, and their fluctuations, have been predicted and sometimes already shown to be sensitive to the active degrees of freedom in the early stage of the reaction. Indeed, the energy dependences of various observables show anomalies at low SPS energies which might be related to the onset of deconfinement and chiral symmetry restoration .

Early-on, fluid dynamics has been proposed as an elegant way to include the EoS of strongly interacting matter in the description of heavy ion collisions . Especially since experiments at the RHIC facility have claimed to have found a (s)QGP that behaves like a nearly ideal fluid, the idea of modeling heavy ion collisions with (ideal) fluid dynamics has been revived .

In order to study the fluid dynamical evolution of a heavy ion collision, the different boundary conditions (i.e. the initial space-time distributions of the corresponding energy and baryon density, as well as the freeze out prescription) have to be determined. Since experimental data provide mainly information from the final state of the reaction, integrated over the time evolution of the system, the initial state for hydrodynamical simulations is usually inferred from model assumptions or by an 'educated guess' in comparison to data. The connection between (observed) final state and the inferred initial conditions is further blurred by the unknown equation of state, potential viscosity effects, and problems in the freeze-out treatment. Another issue concerns the assumption of thermal equilibrium, which is probably not fulfilled for the early stages of heavy ion collisions at intermediate energies.

There have been attempts to solve these problems by describing such collisions with viscous or multi-fluid-hydrodynamic models , but the practical application of these models is difficult.

Transport theory offers another, different, approach aiming at the consistent description of heavy-ion reactions, from the initial state to the final decoupling of the system. This microscopic description has been applied quite successfully to the partonic as well as to the hadronic stage of heavy ion collisions . However, to explain hadronization and the phase transition between the hadronic and the partonic phase on a microscopic level is one of the main issues to be resolved. It is therefore difficult to find an appropriate prescription of the phase transition in such a microscopic approach.

To obtain a more comprehensive picture of the whole dynamics of heavy ion reactions various so called micro+macro hybrid approaches have been developed during the last years . The NEXSpheRIO approach uses initial conditions that are calculated in a non equilibrium model (NEXUS) followed by an ideal hydrodynamic evolution . For the freeze-out a continuous emission scenario or a standard Cooper-Frye calculation is employed. Other groups, e.g. Hirano et al , Bass/Nonaka , use smooth Glauber or CGC initial conditions followed by a full three-dimensional hydrodynamic evolution and calculate the freeze-out with a subsequent hadronic cascade. The separation of chemical and kinetic freeze-out and final state interactions like resonance decays and rescatterings are taken into account.
In this paper, we apply a transport calculation with an embedded three-dimensional ideal relativistic one-fluid calculation for the hot and dense stage of the reaction, thus reducing the parameters for both the initial conditions and the freeze-out prescription. This will allow us to compare calculations with different EoS within the same framework and to extract the effect of changes in the EoS - e.g. a phase transition from hadronic matter to the QGP - on observables. In this model has been used, applying a hadron resonance gas EoS, to provide a baseline calculation, disentangling the effects of the different assumptions for the underlying dynamics in a transport vs. hydrodynamic calculation. We will extend this purely hadronic calculation by introducing an EoS that includes a deconfinement phase transition. The calculations will be performed in the broad energy range from $E_{\rm lab}=2-160A~$GeV where experimental data from BNL-AGS and CERN-SPS exists and which will be explored in more detailed energy scans by the FAIR project near GSI and the RHIC low energy program.

# The hybrid model

The Ultra-relativistic Quantum Molecular Dynamics Model (in its cascade mode) is used to calculate the initial state of a heavy ion collision for the hydrodynamical evolution . This is done to account for the non-equilibrium dynamics in the very early stage of the collision. In this configuration the effect of event-by-event fluctuations of the initial state is naturally included. The coupling between the UrQMD initial state and the hydrodynamical evolution happens at a time $t_{\rm start}$ when the two Lorentz-contracted nuclei have passed through each other:

$$t_{\rm start}=2R/\sqrt{\gamma_{\rm{c.m.}}^2-1}~~,$$

where $R$ is the radius of the lead nucleus and $\gamma_{\rm{c.m.}}$ the Lorenz gamma factor of the two colliding nuclei in their center of mass frame. At this start time all initial collisions have proceeded, i.e. also the initial baryon currents have decoupled from each other, and it is the earliest time at which local thermodynamical equilibrium may be achieved. To map all 'point-like' particles from UrQMD onto the spatial grid of the hydrodynamic model each hadron is represented by a Gaussian of finite width. This procedure is necessary, since the cell length of $0.2$ fm is much smaller than the actual size of a hadron. The Gaussian width is chosen to be $\sigma= 1$ fm. This width reflects the typical size of hadrons and avoids numerical instabilities (numerical entropy production) in the initial phase of the hydrodynamical evolution. This instantaneous thermalization at $t_{\rm start}$ goes along with an increase in entropy, as entropy is maximized in the equilibrium state. However, note that is has been checked that the results only weakly depend on the choice of the time $t_{\rm start}$ . Especially final particle multiplicities and their mean transverse mass only change by about $10 \%$, if the time $t_{\rm start}$ is doubled.

For calculations at finite impact parameter, the spectators - particles that have not interacted until $t_{start}$ - are propagated separately from the hydrodynamic evolution. They are treated as free streaming particles until the end of the hydrodynamic phase has been reached.

The full (3+1) dimensional ideal hydrodynamic evolution is performed using the SHASTA algorithm . The partial differential equations are solved on a three-dimensional spatial Eulerian grid with fixed position and size in the computational frame. The size of the grid is 200 cells in each direction, while the cell size has been chosen to be $dx=0.2$ fm which leads to time steps of $dt=0.08$ fm in order to avoid non-causal effects in the propagation (Courant criterion).

To transfer all particles back into the UrQMD model, an approximate iso-eigentime transition is chosen (see for details). Here, we 'freeze out' individual transverse slices, of thickness $\Delta z = 0.2$fm, at a constant time-like transition hypersurface. This time for each slice is given, whenever the energy density $\varepsilon$, in every cell of this slice, has dropped below four times the ground state energy density (i.e. $\sim 580 {\rm
MeV/fm}^3$). This assures that all cells have passed through the mixed phase of the equation of state and the effective degrees of freedom at the transition are hadronic (see Fig. for a depiction of this line of constant energy density in the $T$-$\mu_q$ phase diagram).
By applying a gradual transition one obtains an almost rapidity independent switching temperature. The hydrodynamic fields, in a given slice, are transformed to particle degrees of freedom via the Cooper-Frye equation on an isochronous time-like hypersurface in the computational frame (the hypersurface normal is $d\sigma_{\mu}=(d^3x,0,0,0)$).
As different longitudinal slices have different freeze out times, $d\sigma_{\mu}$ should of course also have a space like component. Such a parametrization of the hypersurface is not easily dealt with numerically (especially since our system has locally fluctuating densities and therefore an inhomogeneous hypersurface). We therefore try to justify our approach by comparing freeze out results from a simple, analytically solvable, one-dimensional Bjorken scenario by using both, our approximate and the correct parametrization of $d\sigma_{\mu}$. In a realistic set up, where the longitudinal expansion of the system is about $10$ fm, we obtain a total difference in particle production of about $10 \%$. The error in particle production per rapidity interval grows for larger rapidities. In consequence, we expect the calculated rapidity distributions, of particles produced at the highest SPS energies ($E_{\rm lab}=160A~$GeV), to show the largest effect of our choice of $d\sigma_{\mu}$. More precisely, we expect the present rapidity distributions at the highest energies to be lower at mid-rapidity and broader at high rapidities, as compared to results with the correct $d\sigma_{\mu}$. As a remark, it is possible to numerically extract the correct parametrization of the full hypersurface using digital image processing techniques , and then compare these results with data acquired with our simplified hypersurface. There is work in progress on this task, which will be subject of future publications.
As has been pointed out in , the present transition procedure conserves the baryon number, the electric charge and the total net strangeness on an event-by-event basis, but the total energy only on average and only if the freeze out is treated properly. In the present calculations, the total energy of the system varies by $1-2 \%$ per event. To overcome this problem it is possible to rescale the momenta of all produced particles in every single event to enforce exact energy conservation. We have employed both methods and checked that the results, for particle rapidity and momentum spectra, do not depend on the method used but are identical, within statistical errors, when averaged over 500 events.
After the particles are created according to our prescription, they proceed in their evolution in the hadronic cascade (UrQMD) where rescatterings and final decays are calculated until all interactions cease and the system decouples.

A more detailed description of the hybrid model including parameter tests and results can be found in .

# The equation of state

After the introduction of the dynamical framework, we now turn to a detailed discussion of the novel EoS. Here, we employ a single model to obtain the EoS of the hadronic and the quark phase.

The hadronic part of the model is a flavor-SU(3) model, which is an extension of a non-linear representation of a sigma-omega model including the lowest-lying multiplets of baryons and mesons (for the derivation and a detailed discussion of the hadronic part of the model Lagrangian see ). In spirit similar to the PNJL model it includes the Polyakov loop $\Phi$ as an effective field and it adds quark degrees of freedom. The temporal background field $\Phi$ is defined as $\Phi=\frac13$Tr$[\exp{(i\int d\tau A_4)}]$, where $A_4=iA_0$ is the temporal component of the SU(3) gauge field.

The Lagrangian density of the model in mean field approximations reads: $$\begin{aligned}
&L = L_{kin}+L_{int}+L_{meson},&
\end{aligned}$$ where besides the kinetic energy term for hadrons and quarks, the terms

$$\begin{aligned}
&L_{int}=-\sum_i \bar{\psi_i}[\gamma_0(g_{i\omega}\omega+g_{i\phi}\phi)+m_i^*]\psi_i,&
\end{aligned}$$ $$\begin{aligned}
&L_{meson}=-\frac{1}{2}(m_\omega^2 \omega^2+m_\phi^2\phi^2)\nonumber&\\
&-g_4\left(\omega^4+\frac{\phi^4}{4}+3\omega^2\phi^2+\frac{4\omega^3\phi}{\sqrt{2}}+\frac{2\omega\phi^3}{\sqrt{2}}\right)\nonumber&\\
&+\frac{1}{2}k_0(\sigma^2+\zeta^2)-k_1(\sigma^2+\zeta^2)^2&\nonumber\\
&-k_2\left(\frac{\sigma^4}{2}+\zeta^4\right)-k_3\sigma^2\zeta&\nonumber\\
&-k_4\ \ \ln{\frac{\sigma^2\zeta}{\sigma_0^2\zeta_0}} + m_\pi^2 f_\pi\sigma&\nonumber\\
&+\left(\sqrt{2}m_k^ 2f_k-\frac{1}{\sqrt{2}}m_\pi^ 2 f_\pi\right)\zeta~,&
\end{aligned}$$

represent the interactions between baryons (and quarks) and vector and scalar mesons the self interactions of scalar and vector mesons and an explicit chiral symmetry breaking term. The index $i$ denotes the baryon octet and the three light quarks. Here, the mesonic condensates (determined in mean-field approximation) included are the vector-isoscalars $\omega$ and $\phi$ and the scalar-isoscalars $\sigma$ and $\zeta$ (strange quark-antiquark state). At this point we neglect the $\rho$-meson contributions as we only discuss isospin-symmetric matter.

The effective masses of the baryons and quarks are generated by the scalar mesons except for a small explicit mass term and the term containing the Polyakov field $\Phi$ : $$\begin{aligned}
&m_{b}^*=g_{b\sigma}\sigma+g_{b\zeta}\zeta+\delta m_b+g_{b\Phi} \Phi^2,&
\end{aligned}$$ $$\begin{aligned}
&m_{q}^*=g_{q\sigma}\sigma+g_{q\zeta}\zeta+\delta m_q+g_{q\Phi}(1-\Phi).&
\end{aligned}$$ With the increase of temperature/density, the scalar fields decrease in value, causing the effective masses of the particles to decrease towards chiral symmetry restoration. The Polyakov loop effectively suppresses baryons at high temperatures/densities and quarks at low temperatures/densities due to their corresponding mass shifts shown above.
Due to meson vector interactions, the baryons obtain an effective chemical potential: $$\begin{aligned}
&\mu_{b}^*=\mu_{b}-g_{b\omega}\omega-g_{b\phi}\phi,&
\end{aligned}$$

All thermodynamic quantities are derived from the grand canonical potential $\Omega$ by assuming an equilibrated state, where $-p=\frac{\Omega}{V}$ (p is the pressure) is in the absolute minimum of $\Omega$ with respect to all fields. For the region of phase coexistence (at the 1. order phase boundary) we assume a phase mixture. This of course implies, that the expanding system is in chemical equilibrium during the whole evolution. The grand canonical potential of the model has the form: $$\frac{\Omega}{V}=-L_{meson}+\frac{\Omega_{th}}{V}-U$$ Here $\Omega_{th}$ includes the heat bath of hadronic and quark quasiparticles (as function of $T$, $\mu^*$ and $m^*$) within the grand canonical potential of the system. The Polyakov-loop potential $U$ will be discussed in the following.

The potential $U$ for the Polyakov loop reads: $$\begin{aligned}
&U=(a_0T^4+a_1\mu_{B}^4+a_2T^2\mu_{B}^2)\Phi^2&\nonumber\\&+a_3T_0^4\ln{(1-6\Phi^2+8\Phi^3-3\Phi^4)}.&
\end{aligned}$$ It is based on and fitted to the pressure and Polyakov loop values as computed in lattice-QCD calculations at zero chemical potential as discussed in detail in . Additional terms, depending on the chemical potential, are fixed in order to reproduce the phase diagram at high densities. This includes a first order phase transition line in $\mu_q$ and $T$ that ends in a critical point, of second order, at the values obtained by lattice calculations . The coupling constants for the baryons (already shown in ) are chosen to reproduce the vacuum masses of the baryons and mesons, nuclear saturation properties as well as the hyperon potentials. The vacuum expectation values of the scalar mesons are constrained by reproducing the pion and kaon decay constants. The coupling constants for the quarks ($g_{q\sigma}=-3.0$, $g_{s\zeta}=-3.0$, $T_0=200$ MeV, $a_0=1.85$, $a_1=1.44$x$10^{-3}$, $a_2=0.08$, $a_3=0.40$, $g_{N\Phi}=1500.00$ MeV, $g_{q\Phi}=500$ MeV) are chosen to reproduce lattice data (for $T_0=270$ and pure gauge a first order phase transition at $\mu=0$ and $T=270$ MeV is reproduced) and known information about the phase diagram.

As can be seen in Fig. the transition from hadronic to quark matter obtained is a crossover for small chemical potentials. At vanishing chemical potential the transition temperature is $171$ MeV, determined as the peak of the change of the scalar field and the Polyakov loop. Beyond the critical end-point (at $\mu_{c,B}=354$ MeV, $T_c=167$ MeV for symmetric matter in accordance with ) a first order transition line begins. As can be seen in Fig. , the model reproduces nuclear matter saturation at realistic values for the saturation density, nuclear binding energy, as well as compressibility and asymmetry energy. In addition, realistic results at low densities for the nuclear matter liquid-gas phase transition are obtained and the model has been successfully applied in order to model the properties of compact stars . It is crucial for the numerical studies of heavy-ion simulations to have an equation of state at hand that shows reasonable behavior over a large range of densities and temperatures, which is the case here. In the following we will refer to this EoS as the deconfinement EoS (DE).

We will compare results obtained with the DE to calculations using an EoS consisting of a hadron resonance gas including all reliably known resonances with masses up to $2$ GeV (referred to as hadron gas HG). The HG is a very important ingredient of the model, because the active degrees of freedom on both sides of the transition hypersurface have to be equivalent to ensure the conservation of important quantities (e.g. entropy). For the HG this is the case, as it has the same degrees of freedom as the UrQMD model. In the DE the hadrons acquire effective masses due to interaction and therefore this equivalence condition is only approximately fulfilled. To solve this problem we change the active equation of state after the last step of the hydrodynamical evolution (from the deconfinement EoS to the HG), thus obtaining the correct temperatures and chemical potentials for the particle distributions. If we use the DE EoS for the freeze-out prescription we find that the total energy conservation is violated systematically by about $3 \%$. Therefore results on particle spectra also change slightly. As this change is only on the level of a few percent, we prefer to have the correct degrees of freedom during the transition from hydrodynamics to transport.

Fig. depicts the phase structure of the obtained EoS. Included are lines of constant entropy per baryon as they are expected for beam energies of $E_{\rm lab}=40, 30, 20, 10, 5 A$ GeV (from left to right). The values for $\frac{S}{A}$ were calculated using a simple overlap model where: $n_b = 2 \gamma_{\rm{c.m.}} n_0$,  $\epsilon = \sqrt{s} \gamma_{\rm{c.m.}}  n_0$, and $n_0$ is the nuclear ground state baryon number density. It is obvious that the deconfined phase is already reached at energies above $E_{\rm lab}=10 A$ GeV. As has been shown in , an incident beam energy of $E_{\rm lab}=40 A$ GeV may not be sufficient to reach the critical endpoint suggested in . If instead the CEP is situated at higher $\mu_B>450$ MeV (as suggested by recent lattice studies ) it could again be accessible in the energy range of the FAIR project.

# The speed of sound

An important property of a hot and dense nuclear medium is the speed of sound ($c_s$): $$c_s^2 = \left. \frac{d p}{d \epsilon}\right|_{S/A} = \left. \frac{d p}{d e}\right|_{n}+ \frac{n}{\epsilon + p} \left. \frac{d p}{d n}\right|_{\epsilon}.$$ It is not only closely related to expansion dynamics but also controls the way perturbations (sound waves) travel through the fireball. Fig. shows $c_s$ as a contour plot in the $\epsilon-n$ phase diagram, where $\epsilon$ is the energy density and $n$ the net baryon number density, both given in units of the ground state values ($\epsilon_0 = 146 ~\rm{ MeV/fm^3}$, $n_0 = 0.159 ~\rm{ fm^{-3}}$).

One can clearly see the reduction of the speed of sound (softening) of the EoS in the mixed phase. Also depicted is the location of the CEP and isentropic paths for energies as in Fig. . Please note that the numerical accuracy for Fig. 2 is very limited when going to very low temperatures. This is essentially because the energy density is proportional to $T^4$. The $T=0$ line can only be thought of as a guide for the eye (the error in $T$ is about $30$ MeV for the lowest value of $\epsilon/\epsilon_0$). In fact we have checked that the binding energy and compressibility is indeed well reproduced at nuclear saturation density . In order to show that the system reproduces the correct nuclear groundstate, Fig. depicts the binding energy per nucleon at $T=0$, beeing of the order of a few MeV at $\rho=\rho_0$.
To quantify this softening, we can calculate the average speed of sound during the hydrodynamic evolution. We define the average $\left\langle c_s (t) \right\rangle$ at a given time $t$ as the average speed of sound over all fluid cells weighted with the energy density of that cell, where the $c_s$ of every cell can be deduced from the EoS as a function of energy and baryon number density. The speed of sound $\left\langle c_s (t)\right\rangle$ is then averaged over the whole time evolution, where every time step has the same statistical weight.

Fig. shows the excitation function of the averaged speed of sound for both equations of state considered. The hadron gas (blue dashed line) yields higher values of $\left\langle c_s \right\rangle$ than the deconfinement EoS (red solid line). This is expected, since the phase transition leads to a softening of the EoS. Still, in both cases the averaged speed of sound is well above $0.3 \ c$. It was proposed, that a conical Mach wave created by in medium jets traversing the hot and dense system of a relativistic nuclear collision, could provide the means to experimentally measure the speed of sound in the fireball. Indeed, experiments at the RHIC claim to have observed conical emission in heavy-ion collisions. Applying a 3-particle correlation method, the Mach angle $\theta_M$ was extracted from data . In a simple Mach cone picture this angle can easily be related to the speed of sound: $$\cos(\theta_M)=c_s/v_p,$$ where $v_p$ is the velocity of the projectile creating the wave (usually $v_p$ is considered to be close to the speed of light). This simple approximation leads to an estimate for the speed of sound of $\left\langle c_s \right\rangle \approx 0.2  \ c$.
Since the partonic jet, which produces the Mach wave, is created in the very early stage of the collision and traverses the medium until freeze-out, the observed angle should also be related to a time average of $c_s$ and not the speed of sound at some specific point in time. Because the systems spends quite a substantial amount of time close to the phase transition region, where the EoS is soft, the averaged speed of sound is much lower than the limit for an ultrarelativistic gas $\sqrt{1/3}$. Still, due to the time and space average, it is substantially larger than the speed of sound in the transition region. Although the experimental result, obtained at much larger beam energies (and therefore smaller chemical potentials), is not directly related to our results at lower energies, the excitation function of $\left\langle c_s \right\rangle$ shows a saturation at rather moderate energies and, therefore an even lower speed of sound in systems created at RHIC seems unlikely.

# Results for final particle properties

In the following, we compare results from our calculations with the deconfinement equation of state (solid lines) including a first order phase transition, to those obtained when an EoS resembling a hadronic resonance gas (HG, dotted lines) is applied to the hydrodynamic evolution. All results shown are obtained by applying the hybrid model to most central ($b<3.4$ fm) heavy ion reactions (Au+Au/Pb+Pb) in a broad energy range from $E_{\rm lab}=4-160A~$GeV.
Note that the observation of particle multiplicity fluctuations and their kurtosis have become the focus of attention concerning the search of the critical endpoint . But as has been pointed out in fluctuations can be very sensitive on the correct treatment of conserved quantum numbers like baryon number charge and strangeness on an event-by-event basis. It is certainly possible, and planned, to analyze these kind of event-by-event fluctuations in the current hybrid-model. The computational effort for such studies however, is much greater than for bulk observables and we therefore restricted our present study on non event-by-event observables.
Fig. shows the total yields of different particle species as a function of center-of-mass energy of the colliding nuclei. One can clearly see that the total multiplicities of pions and kaons reproduce the experimental data (squares) reasonably well. Multistrange hyperons like the $\Xi^-$ are overestimated at the lowest energies, but follow the data very nicely at energies above $E_{\rm lab} = 11A~$GeV (At lower energies strangeness should be suppressed due to the chemical non-equilibrium of strangeness). This hints to the fact that strangeness is thermalized in heavy ion collisions at energies down to $E_{\rm lab} \approx 11A~$GeV. Only in the sector of heavy anti-baryons (i.e. $\Xi^+$) the model yields too few particles in the full range of energies investigated. One can clearly see that the excitation functions of total particle multiplicities do not show any signal of the change of the underlying EoS. In contrast, this observable seems much more sensitive to the treatment of chemical particle freeze out.
An alternative and more microscopic way to understand an enhancement in the production of multi-strange (anti-)baryons is related to the fragmentation of the initial color flux tubes. While one usually assumes that the initially produced color strings fragment independently, a high density of strings may allow for a recombination of color charges at the string ends, resulting in the formation of a fused string with an enhanced color field (known as color ropes) . These objects may be seen as an alternative to QGP formation. Extensive studies within the RQMD model have shown that particle creation from these strong color fields results in a substantial enhancement of multi-strange (anti-)baryons .

Next we turn to the rapidity distributions of different particles (pions, kaons and protons). Fig. shows the rapidity distributions for pions, kaons and protons at three different beam energies. For the lowest energy differences in the proton rapidity spectra can be observed, although both are, within error bars, in agreement with the data. For the $K^+$ and $\pi^-$ we observe a good agreement up to energies of $E_{\rm lab}=40 A$ GeV, while at the highest energies ($E_{\rm lab} = 160A~$GeV) both hybrid model calculations deviate from experiment. This may be related to our approximate choice of the hypersurface normal $d\sigma_{\mu}^{\rm(1)}$ .

Since the transverse momentum distributions should be sensitive to the transverse dynamics, we next turn to the investigation of the distributions of the transverse mass of different particles (pions, kaons and protons). Comparing the hybrid model calculations to data (squares), in Fig. , we find very good agreement for the lower energies. Especially the pion and kaon spectra are well in line with the data, while the proton distributions deviate slightly. Comparing the momentum distributions of the different EoS one again observes no noticeable difference between a pure hadron gas EoS and an EoS with a deconfinement transition. This hints to the fact that the final particle distributions are much more sensitive to the freeze-out procedure (thermal distribution of particles) and even more to the initial momentum distributions given by UrQMD as compared to the effects of the expansion dynamics.
Fig. shows the excitation function of the mean transverse mass of different particles, at midrapidity. Especially for the pions one observes a good agreement with data for low energies. At high energies, both hydrodynamic calculations overestimate the mean transverse momenta, while the calculation with the DE EoS gives a slightly better description of the data.

To get an understanding of how much the EoS can (ultimately) influence the final transverse mass spectra, we performed two additional calculations, where we set the pressure (as a function of the energy and baryon-number densities) to either $0$ or $p=1/3 \epsilon$ throughout the whole hydrodynamic evolution. These limits represent the stiffest and softest EoS possible. The results from this comparison at $E_{\rm lab}= 160 A$ GeV are depicted in Fig. , as the gray bands, giving an upper ($p=1/3 \epsilon$) and lower ($p=0$) bound on the results from the hybrid model. Note that, especially the pion mean transverse mass can only be accounted for if the (unphysically) soft EoS ($p=0$) is applied. Investigations within the hybrid model, where an EoS including a first order phase transition with a very large latent heat (very small pressure gradients) is employed, come to a similar conclusion . In order to explain transverse flow data with ideal fluid dynamics in a hybrid model, an EoS with an unphysically large first order phase transition is needed.
The flattening of the mean transverse momentum as a function of beam energy was assumed to be a signal for a first order phase transition . But as has been pointed out above the slow increase of the mean transverse mass at increasing beam energy can be related to non equilibrium effects, and may be modeled by the inclusion of viscous hydrodynamics.
Another observable that is deemed to be a signal for the deconfinement phase transition is the so called 'anti-flow' (or third flow component). In it was suggested that a first-order phase transition leads to a prominent wiggle in the directed flow $v_1=\left\langle p_x/p_T \right\rangle$ as a function of rapidity. Data , indeed, show a wiggle in the directed flow in most central collisions at $E_{\rm lab}= 40 A$ GeV. Fig. shows $v_1$ of pions (circles) and protons (squares) as a function of rapidity (over $y_b$, the beam rapidity) for different model calculations, compared to data (green stars and diamonds). Here, we compare both hybrid model calculations (with and without a phase transition) and a pure transport calculation (UrQMD without any hydrodynamic stage). As one can see all models yield very similar results and none can reproduce the behavior of the proton $v_1$. The pion $v_1$ is very well in line with data for both hydrodynamic calculations. Note that even the sign change for the pions as compared to protons is reproduced. Still, changing the EoS does not lead to distinguishable differences in the extracted directed flow. The directed flow seems to be mostly sensitive to the initial conditions and less to the subsequent hydrodynamical expansion. This is in line with previous findings, where the inclusion of nucleon potentials (mean field effects) in transport models improved the description if the proton directed flow as measured by experiment .

Fig. again shows the directed flow of protons for a smaller window in rapidity. The change of sign in proton flow can be clearly seen in the data, but neither model calculation (hybrid model with and without phase transition) describes this phenomena (not even qualitatively). Disregarding this single data point, the pure transport calculation provides the best description of the directed proton flow.

# Summary

We discussed the influence of chiral restoration and the deconfinement phase transition in a hybrid model calculation. To model a more realistic equation of state of hot and dense nuclear matter we introduced the Polyakov loop as the order parameter of deconfinement in a chiral hadronic model. This EoS was applied to a micro+macroscopic hybrid model for heavy-ion collisions at intermediate energies. Although the phase transition leads to a softening of the EoS, we find that the average speed of sound in the expanding fireball is of the order of $c_s \approx 0.3 \ c$ over a wide range of energies. This is in contrast to findings at the STAR experiment, where 3-particle correlation data, in connection with a Mach cone scenario, seem to indicate a much smaller average speed of sound.
We compared calculations for final particle properties in central A+A collisions over a wide energy range to available data. Here either a hadron resonance gas EoS or the deconfinement EoS was applied. Regarding most observables both models give a reasonable description of data, without tuning any parameters of the model. Two proposed observables for the deconfinement phase transition, the flattening of the mean transverse mass excitation function and the appearance of the third flow component (anti-flow), were investigated within our approach. We showed that the observed flattening of $\left\langle m_T\right\rangle$ cannot be explained by a phase transition, even if a more realistic equation of state is applied. Here other mechanisms, like viscosity and other non equilibrium effects play an essentially more important role.
Finally we have shown, that the effect of the EoS on the directed flow is almost completely negligible. No anti-flow is observed in our calculations and especially pion flow is described very well. This leads to the assumption that the proton flow is more sensitive to non-equilibrium effects. Within this picture, the importance of the (non-equilibrium) initial state for flow observables was pointed out.

# Acknowledgments

This work was supported by BMBF, GSI and the Hessian LOEWE initiative through the Helmholtz International center for FAIR (HIC for FAIR). The computational resources were provided by the Frankfurt Center for Scientific Computing (CSC).