arXiv++ Combinatorics

The Fomin-Greene Duality Theorem for finite posets and Wei's Duality Theorem for demimatroids each relate sets of extremal invariants via seemingly similar dualities. This paper describes precisely how these two dualities relate. It is shown that the chain and antichain numbers each satisfy a Wei-type duality with antichain- and chain-deletion numbers, respectively, and that, for each poset with at least two elements, its chain and antichain demimatroids are not related by any composition of standard demimatroid duality operations. Their upper Wei-number numbers do however determine each other via Fomin-Greene duality. The two dualities thereby coincide for Wei numbers but not for the underlying rank functions.

Standard phylogenetic reconstruction techniques often yield unrooted phylogenetic networks; these are subsequently rooted to infer evolutionary history. A common problem in this process is to determine the structural classes to which the resulting network will belong. In this paper, we investigate unrooted networks in which the choice of any root results in a valid rooted phylogenetic network, a property we define as {\em robustly orientable}. We then establish a strict structural condition for this class, specifically, that an unrooted network is robustly orientable if and only if it contains no sink components. We also show that if an unrooted network is level-$2$ or less, or if it is tree-based, then it is robustly orientable. Furthermore, we define an unrooted network to be {\em robustly class $\mathcal C$} if the choice of any root results in a network belonging to class $\mathcal C$. We demonstrate that an unrooted network is robustly tree-child or robustly stack-free if and only if it is level-$1$ or less. Finally, we show that a phylogenetic network is robustly normal if and only if it is a phylogenetic tree.

Iterated Graph Systems (IGS) aims to transplant ideas from fractal geometry into graph theory. Building on this framework, we extend Edge IGS from the primitive to the reducible setting. Within this broader context, we formulate rigorous definitions of multifractality and multiscale-freeness for graph fractals, and we establish conditions that are equivalent to the occurrence of these two phenomena. We further determine the corresponding fractal and degree spectra, proving that both are finite and discrete. These results complete the foundational theory of Edge IGS by filling the gap left by the primitive case studied in [1,2].

In this paper, we present the harmonic generalizations of well-known polynomials of codes over finite fields, namely the higher weight enumerators and the extended weight enumerators, and we derive the correspondences between these weight enumerators. Moreover, we present the harmonic generalization of Greene's Theorem for the higher (resp. extended) weight enumerators. As an application of this Greene's-type theorem, we provide the MacWilliams-type identity for harmonic higher weight enumerators of codes over finite fields. Finally, we use this new identity to give a new proof of the Assmus-Mattson Theorem for subcode supports of linear codes over finite fields using harmonic higher weight enumerators.

The Ramsey numbers $R(T_n,W_8)$ are determined for each tree graph $T_n$ of order $n\geq 7$ and maximum degree $Δ(T_n)$ equal to either $n-4$ or $n-5$. These numbers indicate strong support for the conjecture, due to Chen, Zhang and Zhang and to Hafidh and Baskoro, that $R(T_n,W_m) = 2n-1$ for each tree graph $T_n$ of order $n\geq m-1$ with $Δ(T_n)\leq n-m+2$ when $m\geq 4$ is even.

In this note, we give direct constructions of some group divisible designs (GDDs) with block size $4$ that have up to $50$ points.

In this paper, we consider the existence of group divisible designs (GDDs) with block size $4$ and group sizes $4$ and $7$. We show that there exists a 4-GDD of type $4^t 7^s$ for all but a finite specified set of feasible values for $(t, s)$.

In this work, we introduce the harmonic generalization of the $m$-tuple weight enumerators of codes over finite Frobenius rings. A harmonic version of the MacWilliams-type identity for $m$-tuple weight enumerators of codes over finite Frobenius ring is also given. Moreover, we define the demi-matroid analogue of well-known polynomials from matroid theory, namely Tutte polynomials and coboundary polynomials, and associate them with a harmonic function. We also prove the Greene-type identity relating these polynomials to the harmonic $m$-tuple weight enumerators of codes over finite Frobenius rings. As an application of this Greene-type identity, we provide a simple combinatorial proof of the MacWilliams-type identity for harmonic $m$-tuple weight enumerators over finite Frobenius rings. Finally, we provide the structure of the relative invariant spaces containing the harmonic $m$-tuple weight enumerators of self-dual codes over finite fields.

We present new values and bounds on the (normalised) closeness centrality $\bar{\mathsf{C}}_C$ of connected graphs and on its product $\bar{l}\bar{\mathsf{C}}_C$ with the mean distance $\bar{l}$ of these graphs. Our main result presents the fundamental bounds $1\leq \bar{l}\bar{\mathsf{C}}_C<2$. The lower bound is tight and the upper bound is asymptotically tight. Combining the lower bound with known upper bounds on the mean distance, we find ten new lower bounds for the closeness centrality of graphs. We also present explicit expressions for $\bar{\mathsf{C}}_C$ and $\bar{l}\bar{\mathsf{C}}_C$ for specific families of graphs. Elegantly and perhaps surprisingly, the asymptotic values $n\bar{\mathsf{C}}_C\big(P_n\big)$ and of $n\bar{\mathsf{C}}_C\big(L_n\big)$ both equal $π$, and the asymptotic limits of $\bar{l}\bar{\mathsf{C}}_C$ for these families of graphs are both equal to $π/3$. We conjecture that the set of values $\bar{l}\bar{\mathsf{C}}_C$ for all connected graphs is dense in the interval $[1,2)$.

Extending previous results in the literature, random colored substitution networks and degree dimension are defined in this paper. The scale-freeness of these networks is proved by introducing a new definition for degree dimension that is associated with Lyapunov exponents. The random colored substitution network hence turns out to be a simple, powerful and promising model to generate random scale-free networks.

In this paper we provide a $4$-GDD of type $2^2 5^5$, thereby solving the existence question for the last remaining feasible type for a $4$-GDD with no more than $30$ points. We then show that $4$-GDDs of type $2^t 5^s$ exist for all but a finite specified set of feasible pairs $(t,s)$.

A \emph{frequency square} is a matrix in which each row and column is a permutation of the same multiset of symbols. We consider only {\em binary} frequency squares of order $n$ with $n/2$ zeroes and $n/2$ ones in each row and column. Two such frequency squares are \emph{orthogonal} if, when superimposed, each of the 4 possible ordered pairs of entries occurs equally often. In this context we say that a $k$-MOFS$(n)$ is a set of $k$ binary frequency squares of order $n$ in which each pair of squares is orthogonal. A $k$-MOFS$(n)$ must satisfy $k\le(n-1)^2$, and any MOFS achieving this bound are said to be \emph{complete}. For any $n$ for which there exists a Hadamard matrix of order $n$ we show that there exists at least $2^{n^2/4-O(n\log n)}$ isomorphism classes of complete MOFS$(n)$. For $2<n\equiv2\pmod4$ we show that there exists a $17$-MOFS$(n)$ but no complete MOFS$(n)$. A $k$-maxMOFS$(n)$ is a $k$-MOFS$(n)$ that is not contained in any $(k+1)$-MOFS$(n)$. By computer enumeration, we establish that there exists a $k$-maxMOFS$(6)$ if and only if $k\in\{1,17\}$ or $5\le k\le 15$. We show that up to isomorphism there is a unique $1$-maxMOFS$(n)$ if $n\equiv2\pmod4$, whereas no $1$-maxMOFS$(n)$ exists for $n\equiv0\pmod4$. We also prove that there exists a $5$-maxMOFS$(n)$ for each order $n\equiv 2\pmod{4}$ where $n\geq 6$.

Mubayi's Conjecture states that if $\mathcal{F}$ is a family of $k$-sized subsets of $[n] = \{1,\ldots,n\}$ which, for $k \geq d \geq 2$, satisfies $A_1 \cap\cdots\cap A_d \neq \emptyset$ whenever $|A_1 \cup\cdots\cup A_d| \leq 2k$ for all distinct sets $A_1,\ldots,A_d \in\mathcal{F}$, then $|\mathcal{F}|\leq \binom{n-1}{k-1}$, with equality occurring only if $\mathcal{F}$ is the family of all $k$-sized subsets containing some fixed element. This paper proves that Mubayi's Conjecture is true for all families that are invariant with respect to shifting; indeed, these families satisfy a stronger version of Mubayi's Conjecture. Relevant to the conjecture, we prove a fundamental bijective duality between $(i,j)$-unstable families and $(j,i)$-unstable families. Generalising previous intersecting conditions, we introduce the $(d,s,t)$-conditionally intersecting condition for families of sets and prove general results thereon. We conjecture on the size and extremal structures of families $\mathcal{F}\in\binom{[n]}{k}$ that are $(d,2k)$-conditionally intersecting but which are not intersecting, and prove results related to this conjecture. We prove fundamental theorems on two $(d,s)$-conditionally intersecting families that generalise previous intersecting families, and we pose an extension of a previous conjecture by Frankl and Füredi on $(3,2k-1)$-conditionally intersecting families. Finally, we generalise a classical result by Erdős, Ko and Rado by proving tight upper bounds on the size of $(2,s)$-conditionally intersecting families $\mathcal{F}\subseteq 2^{[n]}$ and by characterising the families that attain these bounds. We extend this theorem for certain parametres as well as for sufficiently large families with respect to $(2,s)$-conditionally intersecting families $\mathcal{F}\subseteq 2^{[n]}$ whose members have at most a fixed number $u$ members.

A survey on the Greene-Kleitman correspondence, with complete proofs, many of which are new.