On some $Σ^{B}_{0}$-formulae generalizing counting principles over $V^{0}$

Eitetsu Ken

2024-07-15

Abstract:We formalize various counting principles and compare their strengths over $V^{0}$. In particular, we conjecture the following mutual independence between: (1) a uniform version of modular counting principles and the pigeonhole principle for injections, (2) a version of the oddtown theorem and modular counting principles of modulus $p$, where $p$ is any natural number which is not a power of $2$, (3) and a version of Fisher's inequality and modular counting principles. Then, we give sufficient conditions to prove them. We give a variation of the notion of $PHP$-tree and $k$-evaluation to show that any Frege proof of the pigeonhole principle for injections admitting the uniform counting principle as an axiom scheme cannot have $o(n)$-evaluations. As for the remaining two, we utilize well-known notions of $p$-tree and $k$-evaluation and reduce the problems to the existence of certain families of polynomials witnessing violations of the corresponding combinatorial principles with low-degree Nullstellensatz proofs from the violation of the modular counting principle in concern.

Logic

What problem does this paper attempt to address?

### Problems Addressed by the Paper

This paper primarily explores the comparative strength of different counting principles within the theoretical framework \( V_0 \) and proposes several independent hypotheses. Specifically, the paper focuses on the following points:

1. **Modular Counting Principle and Pigeonhole Principle**:
- Investigates the mutual independence between the Uniform Counting Principle (UCP) and the Pigeonhole Principle (PHP).
- Explores the relationship between the Oddtown Theorem modulo \( p \) and the modular counting principle.
- Analyzes the connection between Fisher's Inequality and the modular counting principle.

2. **Proof Complexity Issues**:
- Attempts to resolve whether \( V_0(p) \) can prove \( \text{injPHP}_{n+1}^n \). This issue is significant for understanding the complexity of counting sets.
- By introducing new combinatorial principles (such as the Oddtown Theorem and Fisher's Inequality), it explores whether they can derive \( \text{injPHP}_{n+1}^n \) and certain modular counting principles.

3. **Technical Methods**:
- Uses the Nullstellensatz proof system to analyze the proof complexity of these combinatorial principles.
- Defines and utilizes \( \text{injPHP} \)-trees and \( k \)-evaluations to prove the unprovability of certain combinatorial principles within \( V_0 \).

### Main Contributions

1. **Introduction of New Combinatorial Principles**:
- Defines the Uniform Counting Principle (UCP) and the Generalized Counting Principle (GCP), and analyzes their relative strength within \( V_0 \).
- Proposes the Oddtown Theorem and Fisher's Inequality as new combinatorial principles, exploring their relationship with \( \text{injPHP}_{n+1}^n \) and the modular counting principle.

2. **Lower Bounds on Proof Complexity**:
- Provides lower bounds on the proof complexity of \( \text{injPHP}_{n+1}^n \) within \( V_0 \), especially when \( V_0 \) is equipped with UCP as an axiom scheme.
- Using the Nullstellensatz proof system, provides lower bounds for polynomial calculus proofs, which are independent of the specific coefficient field.

3. **Independence Results**:
- Proves the independence of certain combinatorial principles within \( V_0 \), such as \( \text{modPHP}_{d,m}^n \) not being able to derive the modular counting principle.
- Poses natural questions regarding \( \text{UCP} \) and \( \text{GCP} \) and provides sufficient conditions for these questions.

### Conclusion

By introducing new combinatorial principles and technical methods, the paper delves into the properties and proof complexity of counting principles within \( V_0 \). These results not only deepen the understanding of the complexity of counting sets but also provide new directions for further research.