arXiv++ Combinatorics

A corollary of Hall's marriage theorem is that a sufficient condition for a list $(V_1, \ldots ,V_m)$ of sets to have a system of distinct representatives is that $|V_i|\ge deg_{\{V_1, \ldots ,V_m\}}(v)$ for every $i\in [m]$ and $v \in \bigcup_{i\in [m]}V_i$. This we dub a {\em global} condition. A folklore result is that a {\em local} condition - that the inequality holds for pairs $i,v$ for which $v \in V_i$ - suffices. These are special cases of a general type of results - large sets, whose elements are sparse in some sense, have a system of representatives that is independent in a related graph. We study two such scenarios, in both of which each $V_i$ is replaced by a $k$-uniform hypergraph $H_i$, the representatives are hyperedges, and distinctness is replaced by disjointness. In one setting the sparsity is measured by the degrees of vertices in the hypergraphs, in the other by the degrees of vertices in the line graph. The proofs use the topological version of Hall's theorem. In particular, we shall use a lower bound on the topological connectivity of the independence complex of a graph, defined by vector representations. We also provide short proofs of the local infinite version, known as the ``Milner-Shelah theorem''.

An $r$-rooted (possibly infinite) digraph $ D=(V,E) $ is a flame if for every $ v\in V\setminus \{ r \} $ there exists a set of edge-disjoint paths from $r$ to $v$ in $D$ that covers all ingoing edges of $ v $. Flames were first studied by Lovász in his investigation of edge-minimal subgraphs of a rooted digraph that preserve all the local edge-connectivities from the root. He showed that these subgraphs are always flames. Szeszlér later proved a common generalisation of Lovász' result and Edmonds' disjoint arborescence theorem. In this paper we focus on infinite flames and prove the following constructive characterisation. Every (possibly infinite) flame can be constructed transfinitely, starting from the empty edge set and adding a single edge at each step in such a way that every intermediate digraph is again a flame.

An $r$-rooted digraph is a flame if for each non-root vertex $v$, there is a set of edge-disjoint directed paths from $r$ to $v$ that covers all ingoing edges of $v$. The study of flames was initiated by Lovász, who showed that in a finite rooted digraph, the edge-minimal subgraphs that preserve all local edge-connectivities from the root are always flames. It is known that the edge sets of the flame subgraphs of any finite rooted digraph form a greedoid. Szeszlér showed recently that if the digraph is acyclic, then the bases of this greedoid are the bases of a matroid. We show that a suitable formulation of Szeszlér's theorem is valid for infinite digraphs under the additional assumption that there are no backward-infinite directed paths (which assumption is indeed essential). We also prove that the ''correct'' infinite generalisation of Lovász's theorem also holds for this class of digraphs.

Recently, bidirected graphs have received increasing attention from the graph theory community with both structural and algorithmic results. Bidirected graphs are a generalization of directed graphs, consisting of an undirected graph together with a map assigning each endpoint of every edge either sign $+$ or $-$. The connectivity properties of bidirected graphs are more complex than those of directed graphs and not yet well understood. In this paper, we show a structure theorem about rooted connectivity in bidirected graphs in terms of directed graphs. As applications, we prove Lovász' flame theorem, Pym's theorem and a strong variant of Menger's theorem for a class of bidirected graphs and provide counterexamples in the general case.

For ${n \in \mathbb{N}}$, the $n$-truncation of a matroid $M$ of rank at least $n$ is the matroid whose bases are the $n$-element independent sets of $M$. One can extend this definition to negative integers by letting the $(-n)$-truncation be the matroid whose bases are all the sets that can be obtained by deleting $n$ elements of a base of $M$. If $M$ has infinite rank, then for distinct ${m,n \in \mathbb{Z}}$ the $m$-truncation and the $n$-truncation are distinct matroids. Inspired by the work of Bowler and Geschke on infinite uniform matroids, we provide a natural definition of generalised truncations that encompasses the notions mentioned above. We call a generalised truncation wild if it is not an $n$-truncation for any ${n \in \mathbb{Z}}$ and we prove that, under Martin's Axiom, any finitary matroid of infinite rank and size of less than continuum admits ${2^{2^{\aleph_0}}}$ wild generalised truncations.

For (potentially infinite) matroids $ M $ and $ N $, an $ (M,N) $-hindrance is a set $ H$ that is independent but not spanning in $ N.\mathsf{span}_M(H) $. This concept was introduced by Aharoni and Ziv in the very first paper investigating Nash-Williams' Matroid Intersection Conjecture. They proved that the conjecture is equivalent to the statement that the non-existence of hindrances implies the existence of an $ M $-independent spanning set of $ N $. In this paper we present a breakthrough towards the Matroid Intersection Conjecture. Namely, we found a matroidal generalization of the `popular vertex' approach applied in the proof of the infinite version of König's theorem. The main result of this paper is an application of this new approach to show that if $ M $ and $ N $ admit a common independent set $ I $ that is ``wasteful'' in the sense that $ r(M/I)<r(N/I) $, then there exists an $ (M,N) $-hindrance.

Let $ D=(V,E) $ be a (possibly infinite) digraph and $ A,B\subseteq V $. A hindrance consists of an $ AB $-separator $ S $ together with a set of disjoint $ AS $-paths linking a proper subset of $ A $ onto $ S $. Hindrances and configurations guaranteeing the existence of hindrances play an essential role in the proof of the infinite version of Menger's theorem and are important in the context of certain open problems as well. This motivates the investigation of circumstances under which hindrances appear. In this paper we show that if there is a ``wasteful partial linkage'', i.e. a set $ \mathcal{P} $ of disjoint $ AB $-paths with fewer unused vertices in $ B $ than in $ A $, then there exists a hindrance.

Komjáth, Milner, and Polat investigated when a finitary matroid admits a partition into circuits. They defined the class of ``finite matching extendable'' matroids and showed in their compactness theorem that those matroids always admit such a partition. Their proof is based on Shelah's singular compactness technique and a careful analysis of certain $\triangle$-systems. We provide a short, simple proof of their theorem. Then we show that a finitary binary oriented matroid can be partitioned into directed circuits if and only if, in every cocircuit, the cardinality of the negative and positive edges is the same. This generalizes an earlier conjecture of Thomassen, settled affirmatively by the second author, about partitioning the edges of an infinite directed graph into directed cycles. As side results, a Laviolette theorem for finitary matroids and a Farkas lemma for finitary binary oriented matroids are proven. An example is given to show that, in contrast to finite oriented matroids, `binary' is essential in the latter result.

We showed with J. P. Gollin that if a (possibly infinite) homogeneous linear equation system has only the trivial solution, then there exists an injective function from the variables to the equations such that each variable appears with non-zero coefficient in its image. Shortly after, a more elementary proof was found by Aharoni and Guo. In this note we present a very short matroid-theoretic proof of this theorem.

We investigate the problem of fairly dividing a divisible heterogeneous resource, also known as a cake, among a set of agents who may have different entitlements. We characterize the existence of a connected strongly-proportional allocation -- one in which every agent receives a contiguous piece worth strictly more than their proportional share. The characterization is supplemented with an algorithm that determines its existence using O(n * 2^n) queries. We devise a simpler characterization for agents with strictly positive valuations and with equal entitlements, and present an algorithm to determine the existence of such an allocation using O(n^2) queries. We provide matching lower bounds in the number of queries for both algorithms. When a connected strongly-proportional allocation exists, we show that it can also be computed using a similar number of queries. We also consider the problem of deciding the existence of a connected allocation of a cake in which each agent receives a piece worth a small fixed value more than their proportional share, and the problem of deciding the existence of a connected strongly-proportional allocation of a pie.

Infinite generalizations of theorems in finite combinatorics were initiated by Erdős due to his famous Erdős-Menger conjecture (now known as the Aharoni-Berger theorem) that extends Menger's theorem to infinite graphs in a structural way. We prove a generalization of this manner of the classical result about packing edge-disjoint $ T $-paths in an ``inner Eulerian'' setting obtained by Lovász and Cherkassky independently in the '70s.

L. Soukup formulated an abstract framework in his introductory paper for proving theorems about uncountable graphs by subdividing them by an increasing continuous chain of elementary submodels. The applicability of this method relies on the preservation of a certain property (that varies from problem to problem) by the subgraphs obtained by subdividing the graph by an elementary submodel. He calls the properties that are preserved ``well-reflecting''. The aim of this paper is to investigate the possibility of weakening of the assumption ``well-reflecting'' in L. Soukup's framework. Our motivation is to gain better understanding about a class of problems in infinite graph theory where a weaker form of well-reflection naturally occurs.

Aharoni and Ziv conjectured that if $ M $ and $ N $ are finitary matroids on $ E $, then a certain ``Hall-like'' condition is sufficient to guarantee the existence of an $ M $-independent spanning set of $ N $. We show that their condition ensures that every finite subset of $ E $ is $ N $-spanned by an $ M $-independent set.

A fundamental result in linear algebra states that if a homogenous linear equation system has only the trivial solution, then there are at most as many variables as equations. We prove the following generalisation of this phenomenon. If a possibly infinite homogenous linear equation system with finitely many variables in each equation has only the trivial solution, then there exists an injection from the variables to the equations that maps each variable to an equation in which it appears.

The Greene-Magnanti theorem states that if $ M $ is a finite matroid, $ B_0 $ and $ B_1 $ are bases and $ B_0=\bigcup_{i=1}^{n} X_i $ is a partition, then there is a partition $ B_1=\bigcup_{i=1}^{n}Y_i $ such that $ (B_0 \setminus X_i) \cup Y_i $ is a base for every $ i $. The special case where each $ X_i $ is a singleton can be rephrased as the existence of a perfect matching in the base transition graph. Pouzet conjectured that this remains true in infinite dimensional vector spaces. Later he and Aharoni answered this conjecture affirmatively not just for vector spaces but for infinite matroids. We prove two generalisations of their result. On the one hand, we show that `being a singleton' can be relaxed to `being finite' and this is sharp in the sense the exclusion of infinite sets is really necessary. On the other hand, we prove that if $ B_0$ and $ B_1 $ are bases, then there is a bijection $ F $ between their finite subsets such that $ (B_0\setminus I) \cup F(I) $ is a base for every $ I$. In contrast to the approach of Aharoni and Pouzet, our proofs are completely elementary, they do not rely on infinite matching theory.

We investigate Maker-Breaker games on graphs of size $\aleph_1$ in which Maker's goal is to build a copy of the host graph. We establish a firm dependence of the outcome of the game on the axiomatic framework. Relating to this, we prove that there is a winning strategy for Maker in the $K_{ω,ω_1}$-game under ZFC+MA+$\neg$CH and a winning strategy for Breaker under ZFC+CH. We prove a similar result for the $K_{ω_1}$-game. Here, Maker has a winning strategy under ZF+DC+AD, while Breaker has one under ZFC+CH again.

Lovász and Cherkassky discovered independently that, if $G$ is a finite graph and $T\subseteq V(G)$ such that the degree $d_G(v)$ is even for every vertex $v\in V(G)\setminus T$, then the maximum number of edge-disjoint paths which are internally disjoint from~$T$ and connect distinct vertices of $T$ is equal to $\frac{1}{2} \sum_{t\in T}λ_G(t, T\setminus \{t\})$ (where $λ_G(t, T\setminus \{t\})$ is the size of a smallest cut that separates $t$ and $T\setminus\{t\}$). From another perspective, this means that for every vertex $t\in T$, in any optimal path-system there are $λ_G(t, T\setminus \{t\})$ many paths between $t$ and~$T\setminus\{t\}$. We extend the theorem of Lovász and Cherkassky based on this reformulation to all locally-finite infinite graphs and their ends. In our generalisation, $T$ may contain not just vertices but ends as well, and paths are one-way (two-way) infinite when they establish a vertex-end (end-end) connection.

Fair division with unequal shares is an intensively studied recourse allocation problem. For $ i\in [n] $, let $ μ_i $ be an atomless probability measure on the measurable space $(C,\mathcal{S}) $ and let $ t_i $ be positive numbers (entitlements) with $ \sum_{i=1}^{n}t_i=1 $. A fair division is a partition of $ C $ into sets $ S_i\in \mathcal{S} $ with $ μ_i(S_i)\geq t_i$ for every $ i\in [n] $. We introduce new algorithms to solve the fair division problem with irrational entitlements. They are based on the classical Last diminisher technique and we believe that they are simpler than the known methods. Then we show that a fair division always exists even for infinitely many players.

The study of minimal subgraphs witnessing a connectivity property is an important field in graph theory. The foundation for large flames has been laid by Lovász: Let $ D=(V,E) $ be a finite digraph and let $ r\in V $. The local connectivity $ κ_D(r,v) $ from $ r $ to $ v $ is defined to be the maximal number of internally disjoint $ r\rightarrow v $ paths in $ D $. A spanning subdigraph $ L $ of $ D $ with $ κ_L(r,v)=κ_D(r,v) $ for every $ v\in V-r $ must have at least $\sum_{v\in V-r}κ_D(r,v) $ edges. Lovász proved that, maybe surprisingly, this lower bound is sharp for every finite digraph. The optimality of an $ L $ sufficing the min-max criteria from Lovász' theorem may instead also be captured by the following structural characterization: For every $ v\in V-r $ there is a system $ \mathcal{P}_v $ of internally disjoint $ r\rightarrow v $ paths in $ L $ covering all the ingoing edges of $ v $ in $ L $ such that one can choose from each $ P\in \mathcal{P}_v $ either an edge or an internal vertex in such a way that the resulting set meets every $ r\rightarrow v $ path of $ D $. The positive result for countably infinite digraphs based on this structural infinite generalisation were obtained by the second author. In this paper we extend this to digraphs of size $ \aleph_1 $ which requires significantly more complex techniques. Despite solving yet the smallest uncountable case, the complete understanding of the concept and potentially a proof for arbitrary cardinality still seems to be far.

The Packing/Covering Conjecture was introduced by Bowler and Carmesin motivated by the Matroid Partition Theorem by Edmonds and Fulkerson. A packing for a family $ (M_i: i\inΘ) $ of matroids on the common edge set $ E $ is a system $ (S_i: i\inΘ) $ of pairwise disjoint subsets of $ E $ where $ S_i $ is panning in $ M_i $. Similarly, a covering is a system $ (I_i: i\inΘ) $ with $\bigcup_{i\inΘ} I_i=E $ where $ I_i $ is independent in $ M_i $. The conjecture states that for every matroid family on $ E $ there is a partition $E=E_p \sqcup E_c$ such that $ (M_i \upharpoonright E_p: i\in Θ) $ admits a packing and $ (M_i. E_c: i\in Θ) $ admits a covering. We prove the special case where $ E $ is countable and each $ M_i $ is either finitary or cofinitary. The connection between packing/covering and matroid intersection problems discovered by Bowler and Carmesin can be established for every well-behaved matroid class. This makes possible to approach the problem from the direction of matroid intersection. We show that the generalized version of Nash-Williams' Matroid Intersection Conjecture holds for countable matroids having only finitary and cofinitary components.