M. Tubiana‐Hulin,F. Spyratos
Abstract:538 Background: The effects of aromatase inhibitors on tumor biological factors in the neo-adjuvant setting are still not well documented and predictive factors of response are needed in addition to hormone receptor status.
METHODS
41 postmenopausal women with estrogen and/or progesterone receptor (ER, PR) positive operable breast cancer received neoadjuvant exemestane 25 mg once daily, during 16 weeks. Frozen and formalin-fixed tumor tissues were collected before treatment and at surgery for pathological and biological markers measured by immunohistochemistry (IHC) and QRT-PCR. We analyzed ERα, PgR, Ki67, HER2 at the protein and mRNA level (IHC and QRT-PCR) and ERβ, aromatase and COX-2 (QRT-PCR).
RESULTS
QRT-PCR was performed on pre-treatment biopsies in 31 cases. The median quantity of total RNA was 4,5 μg (range: 0.3-22,7). For each target gene, median and range mRNA values relative to the TBP reference gene were : ERα : 306 (48-893) ; ERβ: 34.6 (3.5-278.5) ; PgR: 263 (2-2738) ; Ki67: 18.5 (3.3-66.5) ; HER2: 532.5 (2-10467); Aromatase: 515.5 (55-3608); COX-2: 5.1 (1-59.2). There was a statistically significant positive correlation between IHC and QRT-PCR measurements of PgR, Ki-67 and HER2 (r=0.81 p<0.0001; r=0.56 p=0.001; r=0.53 p=0.002). Aromatase mRNA expression was positively correlated with COX-2 (0.51 p=0.001) and ERβ mRNA (0.39 p=0.02). A clinical response was observed in 31 patients (75.6%) ; a pathological response (Sataloff score>50%) in 6 patients (17.6%). No significant relation was found between any initial biological factor and clinical or histological response. Exemestane treatment was associated with no change in ERα expression and a significant reduction in PgR and Ki-67 expression (IHC and QRT-PCR).
CONCLUSIONS
Quantitative assessment of gene expression at the mRNA level is feasible and reproducible on small biopsies by QRT-PCR. So far, no correlation was found between pre-treatment biological factors and response; post-treatment QRT-PCR measurements will be compared to pre-treatment data and response. No significant financial relationships to disclose.
What problem does this paper attempt to address?
The problems that this paper attempts to explore and solve mainly focus on the concept of "cut elimination" and its complexity in logical proofs. Specifically, the paper is concerned with how to construct proofs without using "Modus Ponens", especially the impact of removing the "cut rule" in logical systems. The paper points out that although the "cut rule" can compress the length of proofs, it introduces a dynamic structure in the proof. After removing this rule, although the dynamic part of the proof is simplified, it will lead to a significant increase in the length of the proof, sometimes even an exponential increase.
The core problems of the paper can be summarized as the following aspects:
1. **Cut - Elimination Theorem**: The paper introduces Gentzen's cut - elimination theorem, that is, any proof in the LK system can be effectively converted into a proof without using the cut rule. This theorem applies not only to propositional logic but also to predicate logic. For arithmetic systems, it also holds if infinite proofs are allowed.
2. **Complexity of Proofs**: The paper discusses the relationship between the length and complexity of proofs. In particular, for some propositional tautologies, after removing the cut rule, the length of their proofs will increase from a polynomial level to an exponential level. For example, the pigeonhole principle has a polynomial - level proof when the cut rule is allowed, but requires an exponential - level proof when the cut rule is removed.
3. **Dynamic Structure**: The paper emphasizes the importance of the dynamic structure in proofs. The cut rule allows repeated substitution and calculation during the proof process, and this dynamic property helps to shorten the length of the proof. After removing the cut rule, these dynamic parts are eliminated, resulting in more lengthy proofs.
4. **Combinatorial and Geometric Perspectives**: The paper also analyzes the structure of proofs from the perspectives of combinatorics and geometry. For example, a proof can be encoded as a tree - like structure, and the proof tree - like structure after removing the cut rule is simpler but may be very large.
5. **Algorithmic Complexity**: The paper explores the relationship between the length of proofs and algorithmic complexity. In particular, the condition that all propositional tautologies have short proofs is equivalent to \( \text{NP}=\text{co - NP} \), which is an unsolved computational complexity problem.
Through the exploration of these problems, the paper aims to reveal some basic properties and challenges in logical proofs and provide a new perspective for understanding the complexity of proofs.