arXiv++ Combinatorics

A ternary graph is a graph with no induced cycles of length $0$ modulo $3$. It was recently shown that, if the independence complex of a ternary graph is not contractible, then it is homotopy equivalent to a sphere. When a ternary graph also does not contain induced cycles of length $1$ modulo $3$, we prove that the dimension of the sphere is equal to the dimension of a minimum maximal simplex of the independence complex, or equivalently, to the value obtained by subtracting $1$ from the independent domination number of the graph. The same statement holds if we replace the independent domination number with the domination number. We also give a hypergraph analogue of the statement above.

Given a point set $S$ in $\mathbb{R}^d$, a family of sets is $S$-intersecting if its members have a point in common in $S$. Recently, Edwards and Soberón proved a fractional version of Halman's theorem for axis-parallel boxes, showing that every finite family $F$ of axis-parallel boxes in $\mathbb{R}^d$ with positive density of $S$-intersecting $(d+1)$-tuples contains an $S$-intersecting subfamily of size linear in $|F|$. We prove that qualitatively the same conclusion can be achieved if the density of $S$-intersecting pairs is sufficiently large.

In this paper, we will provide a method to compute the density of tautologies among the set of well-formed formulae consisting of $m$ variables, the negation symbol and the implication symbol; which has a possibility to be applied for other logical systems. This paper contains computational numerical values of the density of tautologies for two, three, and four variable cases. Also, for certain quadratic systems, we will build a theory of the $s$-cut concept to make a memory-time trade-off when we compute the ratio by brute-force counting, and discover a fundamental relation between generating functions' values on the singularity point and ratios of coefficients, which can be understood as another interpretation of the Szegő lemma for such quadratic systems. With this relation, we will provide an asymptotic lower bound $m^{-1}-(7/4)m^{-3/2}+O(m^{-2})$ of the density of tautologies in the logic system with $m$ variables, the negation, and the implication, as $m$ goes to the infinity