<!DOCTYPE article PUBLIC "-//NLM//DTD JATS (Z39.96) Journal Archiving and Interchange DTD v1.0 20120330//EN" "JATS-archivearticle1.dtd">
<article xmlns:xlink="http://www.w3.org/1999/xlink">
  <front>
    <journal-meta />
    <article-meta>
      <title-group>
        <article-title>Orthogonal negation for document re-ranking?</article-title>
      </title-group>
      <contrib-group>
        <contrib contrib-type="author">
          <string-name>Pierpaolo Basile</string-name>
          <email>basilepp@di.uniba.it</email>
          <xref ref-type="aff" rid="aff0">0</xref>
        </contrib>
        <contrib contrib-type="author">
          <string-name>Annalina Caputo</string-name>
          <email>acaputo@di.uniba.it</email>
          <xref ref-type="aff" rid="aff0">0</xref>
        </contrib>
        <contrib contrib-type="author">
          <string-name>Giovanni Semeraro</string-name>
          <email>semeraro@di.uniba.it</email>
          <xref ref-type="aff" rid="aff0">0</xref>
        </contrib>
        <aff id="aff0">
          <label>0</label>
          <institution>Dept. of Computer Science - University of Bari \Aldo Moro" Via Orabona</institution>
          ,
          <addr-line>4 - I-70125, Bari</addr-line>
          ,
          <country country="IT">ITALY</country>
        </aff>
      </contrib-group>
      <abstract>
        <p>In this work, we propose a method for document re-ranking, which exploits negative feedback represented by non-relevant documents. The concept of non-relevance is modelled through the quantum negation operator. The evaluation carried out on a standard collection shows the e ectiveness of the proposed method in both the classical Vector Space Model and a Semantic Document Space.</p>
      </abstract>
    </article-meta>
  </front>
  <body>
    <sec id="sec-1">
      <title>Introduction</title>
      <p>SDinit (di) + (1
) sim(di; d )
(1)
where SDinit (di) is the score of di in the initial rank Dinit, while sim(di; d ) is
the similarity degree between the document vector di and the ideal document
vector d computed by cosine similarity. The outcome of the process is a list
of documents ranked according to the new scores computed using Equation 1.
In our approach, documents are represented as vectors in a geometric space in
which similar documents are represented close to each other. This space can be
the classical Vector Space Model (VSM) or a Semantic Document Space (SDS)
induced by a distributional approach. Moreover, we compare our strategy with
a classical strategy based on \information subtraction".
2</p>
    </sec>
    <sec id="sec-2">
      <title>Re-ranking using quantum negation</title>
      <p>To build the ideal document d we use a geometrical space where d is computed
as a vector close to relevant documents and unrelated to non-relevant ones. In
our space the concept of relevance is expressed in terms of similarity, while the
concept of irrelevance is de ned by orthogonality (similarity equals to zero).
Formally, we want to compute the vector which represents the following logical
operation:
d = d1+ _ d2+ _ : : : _ dn+ ^ N OT (d1 ) ^ N OT (d2 ) ^ : : : ^ N OT (dm)
(2)
where D+ = fdi+; i = 1 : : : ng and D = fdj ; j = 1 : : : mg are the subsets of
relevant and non-relevant documents respectively.</p>
      <p>
        As shown in [
        <xref ref-type="bibr" rid="ref5">5</xref>
        ], given two vectors a and b in a vector space V endowed
with a scalar product, a N OT b corresponds to the projection of a onto the
orthogonal space hbi? fv 2 V : 8b 2 hbi; v b = 0g, where hbi is the subspace
f b : 2 Rg. Equation 2 consists in computing a vector which represents the
disjunction of the documents in D+, and then projecting this vector onto all m
orthogonal spaces de ned by the documents in D . This operation is quite
complex to compute, but applying De Morgan rules to the conjunction of negations,
it can be transformed in a single negation of disjunctions:
d = d1+ _ d2+ _ : : : _ dn+ ^ N OT (d1 _ d2 _ : : : _ dm)
(3)
      </p>
      <p>Thus, it is possible to build the ideal document vector d in two steps:
1. compute the disjunction of relevant documents as the vector sum of relevant
documents. Indeed, disjunction in set theory is modelled as set union, which
corresponds to the vector sum in linear algebra;
2. compute the projection of the vector sum of relevant documents onto the
orthogonal space de ned by the vector sum of non-relevant documents, for
example using the Gram-Schmidt method. This means that the result
vector captures those aspects that are common to relevant documents and are
distant from non-relevant ones.</p>
      <p>
        Disjunction and negation using quantum logic are thoroughly described in
[
        <xref ref-type="bibr" rid="ref5">5</xref>
        ]. An overview of Quantum Mechanics for Information Retrieval can be found
in [
        <xref ref-type="bibr" rid="ref2">2</xref>
        ]. Finally, the re-ranking algorithm is performed by computing the Equation
1.
3
      </p>
    </sec>
    <sec id="sec-3">
      <title>Evaluation and Remarks</title>
      <p>
        The aim of our evaluation is twofold. We want to prove that our re-ranking
strategy based on quantum negation improves retrieval performance and
outperforms the \information subtraction" method. To perform re-ranking using
a classical \information subtraction" strategy, we assume that documents are
represented by classical bag-of-words. Given D+ and D , the computation of
the ideal document dC is based on the Rocchio [
        <xref ref-type="bibr" rid="ref4">4</xref>
        ] algorithm as follows:
dC =
      </p>
      <p>1
jD+j i2D+</p>
      <p>X di</p>
      <p>1
jD j j2D</p>
      <p>
        X dj
(4)
Moreover, we want to evaluate the performance of our approach when a reduced
space, likewise a Semantic Document Space, is involved. The SDS is built by
Random Indexing (RI) [
        <xref ref-type="bibr" rid="ref1">1</xref>
        ] a technique based on the Random Projection: the
idea is that high dimensional vectors chosen randomly are \nearly orthogonal".
This yields a result that is comparable to orthogonalization methods, such as
Singular-Value Decomposition, but saving computational resources.
      </p>
      <p>
        We set up a baseline system based on the BM25 multi- elds model [
        <xref ref-type="bibr" rid="ref3">3</xref>
        ].
      </p>
      <p>The evaluation has been designed using the CLEF 2009 Ad-Hoc WSD Robust
Task collection. To evaluate the performance we performed 150 runs by
considering all possible combinations of the three parameters involved in our method:
n (the cardinality of D+), m (the cardinality of D ) and the parameter used
for the linear combination of the scores (see Equation 1). We selected di erent
ranges for each parameter: n ranges in [1; 5; 10; 20; 40], m in [0; 1; 5; 10; 20; 40],
while in [0:3; 0:4; 0:5; 0:6; 0:7]. The cardinality of Dinit was set to 1,000.</p>
      <p>Identifying relevant documents is quite straightforward: we assume the top
ranked documents as relevant, while identifying non-relevant ones is not trivial.
We proposed two strategies to select the set (D ) of non-relevant documents,
which are based on plausible heuristics rather than a theory:
1. BOTTOM, which selects the non-relevant documents from the bottom of
the rank;
2. RELJUD, which relies on relevance judgements provided by CLEF
organizers. This technique selects the top m ranked documents which are
nonrelevant exploiting the relevance judgements. We use this strategy to
\simulate" the user's explicit feedback; in other words we assume that the user
selects the rst m non-relevant documents.</p>
      <p>We evaluate each run in terms of MAP and GMAP over all the queries.
Table 1 reports the results for the baseline and all three strategies (Information
Subtraction, VSM and SDS ). For each strategy, positive stands for the best run
when only relevant documents were involved, while BOT T OM and RELJ U D
indicate the best run obtained for both strategies respectively. Improvements in
percentage ( %) with respect to the baseline are reported.</p>
      <p>The experimental results are very encouraging. Both methods (BOT T OM
and RELJ U D) show improvements with respect to the baseline in all the
approaches. The main outcome is that quantum negation outperforms the
\information subtraction" strategy.</p>
      <p>Genarally, BOT T OM strategy results in not signi cant improvements, and
in the case of \information subtraction", the introduction of non-relevant
documents results in lower performance. The blind selection of non-relevant
documents produces a side e ect in \information subtraction" strategy due to the
baseline
n m
-</p>
      <p>M AP
positive 1 0 0.6 0.4208 +1.67
Information Subtraction BOTTOM 1 1 0.6 0.4175 +0.87</p>
      <p>RELJUD 40 40 0.7 0.5932 +43.32</p>
      <sec id="sec-3-1">
        <title>Orthogonalization VSM</title>
      </sec>
      <sec id="sec-3-2">
        <title>Orthogonalization</title>
        <p>SDS
positive 1 0 0.5 0.4372 +5.63
BOTTOM 1 5 0.6 0.4384 +5.92
RELJUD 40 40 0.7 0.6649 +60.64
positive 1 0 0.5 0.4362 +5.39
BOTTOM 1 5 0.6 0.4367 +5.51
RELJUD 40 40 0.7 0.6646 +60.57
information loss, while the quantum negation removes from relevant documents
only those \negative" aspects that belong to the non-relevant ones.</p>
        <p>As expected, the method RELJ U D obtains very high results. In this case
quantum negation obtains very high improvements with respect to the
\information subtraction" strategy. This proves that quantum negation is able to take
advantage of information about non-relevant documents. The best results in
RELJ U D are obtained when a lot of non-relevant documents are involved, but
in a real scenario this is highly improbable. We performed several runs
considering only one non-relevant document and varying the numbers of those relevant.
The highest MAP value for SDS is 0.4606 (GMAP=0.2056), while for V SM
is 0.4588 (GMAP=0.2028), both values are obtained with ve relevant
documents (these results are not reported for the sake of simplicity). Moreover, in
both BOT T OM and RELJ U D di erences between SDS and V SM are not
relevant.</p>
        <p>These values support our thesis that negation expressed by quantum logic
operator is able to model e ectively the concept of non-relevance, opening new
perspective for those tasks where the concept of non relevance plays a key role.</p>
      </sec>
    </sec>
  </body>
  <back>
    <ref-list>
      <ref id="ref1">
        <mixed-citation>
          1.
          <string-name>
            <surname>Kanerva</surname>
            ,
            <given-names>P.</given-names>
          </string-name>
          :
          <article-title>Sparse Distributed Memory</article-title>
          . MIT Press (
          <year>1988</year>
          )
        </mixed-citation>
      </ref>
      <ref id="ref2">
        <mixed-citation>
          2.
          <string-name>
            <surname>Melucci</surname>
            ,
            <given-names>M.</given-names>
          </string-name>
          ,
          <string-name>
            <surname>Rijsbergen</surname>
            ,
            <given-names>K.</given-names>
          </string-name>
          :
          <article-title>Quantum mechanics and information retrieval</article-title>
          . In: Melucci,
          <string-name>
            <given-names>M.</given-names>
            ,
            <surname>Baeza-Yates</surname>
          </string-name>
          ,
          <string-name>
            <surname>R</surname>
          </string-name>
          . (eds.) Advanced Topics in Information Retrieval, Information Retrieval, vol.
          <volume>33</volume>
          , pp.
          <volume>125</volume>
          {
          <fpage>155</fpage>
          . Springer (
          <year>2011</year>
          )
        </mixed-citation>
      </ref>
      <ref id="ref3">
        <mixed-citation>
          3.
          <string-name>
            <surname>Robertson</surname>
            ,
            <given-names>S.</given-names>
          </string-name>
          ,
          <string-name>
            <surname>Zaragoza</surname>
            ,
            <given-names>H.</given-names>
          </string-name>
          ,
          <string-name>
            <surname>Taylor</surname>
          </string-name>
          , M.:
          <article-title>Simple BM25 extension to multiple weighted elds</article-title>
          .
          <source>In: Proc. of the 13th ACM Int. Conf. on Information and Knowledge Management</source>
          . pp.
          <volume>42</volume>
          {
          <fpage>49</fpage>
          .
          <string-name>
            <surname>ACM</surname>
          </string-name>
          , New York, NY, USA (
          <year>2004</year>
          )
        </mixed-citation>
      </ref>
      <ref id="ref4">
        <mixed-citation>
          4.
          <string-name>
            <surname>Salton</surname>
            ,
            <given-names>G.</given-names>
          </string-name>
          ,
          <string-name>
            <surname>Buckley</surname>
            ,
            <given-names>C.</given-names>
          </string-name>
          :
          <article-title>Improving retrieval performance by relevance feedback</article-title>
          .
          <source>Journal of the American Society for Information Science</source>
          <volume>41</volume>
          (
          <issue>4</issue>
          ),
          <volume>288</volume>
          {
          <fpage>297</fpage>
          (
          <year>1990</year>
          )
        </mixed-citation>
      </ref>
      <ref id="ref5">
        <mixed-citation>
          5.
          <string-name>
            <surname>Widdows</surname>
            ,
            <given-names>D.</given-names>
          </string-name>
          ,
          <string-name>
            <surname>Peters</surname>
            ,
            <given-names>S.</given-names>
          </string-name>
          :
          <article-title>Word vectors and quantum logic: Experiments with negation and disjunction</article-title>
          .
          <source>Mathematics of language (8)</source>
          ,
          <volume>141</volume>
          {
          <fpage>154</fpage>
          (
          <year>2003</year>
          )
        </mixed-citation>
      </ref>
    </ref-list>
  </back>
</article>