Showing 1–23 of 23 results for author: Kotlar, D

Intersections of matroids

Authors: Ron Aharoni, Eli Berger, He Guo, Dani Kotlar

Abstract: We study simplicial complexes (hypergraphs closed under taking subsets) that are the intersection of a given number k of matroids. We prove bounds on their chromatic numbers (the minimum number of edges required to cover the ground set) and their list chromatic numbers. Settling a conjecture of Kiraly and Berczi et. al., we prove that the list chromatic number is at most k times the chromatic numb… ▽ More We study simplicial complexes (hypergraphs closed under taking subsets) that are the intersection of a given number k of matroids. We prove bounds on their chromatic numbers (the minimum number of edges required to cover the ground set) and their list chromatic numbers. Settling a conjecture of Kiraly and Berczi et. al., we prove that the list chromatic number is at most k times the chromatic number. Following the footsteps of Edmonds, who considered the case k=2, we study three polytopes associated with k-tuples of matroids, and prove bounds on the distances between them. The tools used are in part topological. △ Less

Submitted 11 July, 2024; originally announced July 2024.

Comments: 35 pages

MSC Class: 05B35; 05C15; 05C10; 57M15; 52B40; 05C70; 90C27; 05C72

An infinite family of counterexamples to a conjecture on distance magic labeling

Authors: Ehab Ebrahem, Shlomo Hoory, Dani Kotlar

Abstract: This work is about a partition problem which is an instance of the distance magic graph labeling problem. Given positive integers $n,k$ and $p_1\le p_2\le \cdots\le p_k$ such that $p_1+\cdots+p_k=n$ and $k$ divides $\sum_{i=1}^ni$, we study the problem of characterizing the cases where it is possible to find a partition of the set $\{1,2,\ldots,n\}$ into $k$ subsets of respective sizes… ▽ More This work is about a partition problem which is an instance of the distance magic graph labeling problem. Given positive integers $n,k$ and $p_1\le p_2\le \cdots\le p_k$ such that $p_1+\cdots+p_k=n$ and $k$ divides $\sum_{i=1}^ni$, we study the problem of characterizing the cases where it is possible to find a partition of the set $\{1,2,\ldots,n\}$ into $k$ subsets of respective sizes $p_1,\dots,p_k$, such that the element sum in each subset is equal. Using a computerized search we found examples showing that the necessary condition, $\sum_{i=1}^{p_1+\cdots+p_j} (n-i+1)\ge j{\binom{n+1}{2}}/k$ for all $j=1,\ldots,k$, is not generally sufficient, refuting a past conjecture. Moreover, we show that there are infinitely many such counter-examples. The question whether there is a simple characterization is left open and for all we know the corresponding decision problem might be NP-complete. △ Less

Submitted 2 January, 2024; v1 submitted 1 January, 2024; originally announced January 2024.

2-covers of wide Young diagrams

Authors: Ron Aharoni, Eli Berger, He Guo, Daniel Kotlar

Abstract: A Young diagram $Y$ is called wide if every sub-diagram $Z$ formed by a subset of the rows of $Y$ dominates $Z'$, the conjugate of $Z$. A Young diagram $Y$ is called Latin if its squares can be assigned numbers so that for each $i$, the $i$th row is filled injectively with the numbers $1, \ldots ,a_i$, where $a_i$ is the length of $i$th row of $Y$, and every column is also filled injectively. A co… ▽ More A Young diagram $Y$ is called wide if every sub-diagram $Z$ formed by a subset of the rows of $Y$ dominates $Z'$, the conjugate of $Z$. A Young diagram $Y$ is called Latin if its squares can be assigned numbers so that for each $i$, the $i$th row is filled injectively with the numbers $1, \ldots ,a_i$, where $a_i$ is the length of $i$th row of $Y$, and every column is also filled injectively. A conjecture of Chow and Taylor, publicized by Chow, Fan, Goemans, and Vondrak is that a wide Young diagram is Latin. We prove a dual version of the conjecture. △ Less

Submitted 11 December, 2023; v1 submitted 29 November, 2023; originally announced November 2023.

Comments: 17 pages; Added a few more questions and a reference

MSC Class: 05A17; 05C65; 05C70; 05D15

Computing autotopism groups of partial Latin rectangles: a pilot study

Authors: Rebecca J. Stones, Raúl M. Falcón, Daniel Kotlar, Trent G. Marbach

Abstract: Computing the autotopism group of a partial Latin rectangle can be performed in a variety of ways. This pilot study has two aims: (a) to compare these methods experimentally, and (b) to identify the design goals one should have in mind for develo** practical software. To this end, we compare six families of algorithms (two backtracking methods and four graph automorphism methods), with and witho… ▽ More Computing the autotopism group of a partial Latin rectangle can be performed in a variety of ways. This pilot study has two aims: (a) to compare these methods experimentally, and (b) to identify the design goals one should have in mind for develo** practical software. To this end, we compare six families of algorithms (two backtracking methods and four graph automorphism methods), with and without the use of entry invariants, on two test suites. We consider two entry invariants: one determined by the frequencies of row, column, and symbol representatives, and one determined by $2 \times 2$ submatrices. We find: (a) with very few entries, many symmetries often exist, and these should be identified mathematically rather than computationally, (b) with an intermediate number of entries, a quick-to-compute entry invariant was effective at reducing the need for computation, (c) with an almost-full partial Latin rectangle, more sophisticated entry invariants are needed, and (d) the performance for (full) Latin squares is significantly poorer than other partial Latin rectangles of comparable size, obstructed by the existence of Latin squares with large (possibly transitive) autotopism groups. △ Less

Submitted 22 October, 2019; originally announced October 2019.

Comments: 16 pages, 5 figures, 1 table

MSC Class: 05B15

Journal ref: Computational and Mathematical Methods 3:3 (2021) paper e1094

Fair representation in the intersection of two matroids

Authors: Ron Aharoni, Eli Berger, Dani Kotlar, Ran Ziv

Abstract: For a simplicial complex ${\mathcal C}$ denote by $β({\mathcal C})$ the minimal number of edges from ${\mathcal C}$ needed to cover the ground set. If ${\mathcal C}$ is a matroid then for every partition $A_1, \ldots, A_m$ of the ground set there exists a set $S \in {\mathcal C}$ meeting each $A_i$ in at least $\frac{|A_i|}{β({\mathcal C})}$ elements. We conjecture that a slightly weaker result is… ▽ More For a simplicial complex ${\mathcal C}$ denote by $β({\mathcal C})$ the minimal number of edges from ${\mathcal C}$ needed to cover the ground set. If ${\mathcal C}$ is a matroid then for every partition $A_1, \ldots, A_m$ of the ground set there exists a set $S \in {\mathcal C}$ meeting each $A_i$ in at least $\frac{|A_i|}{β({\mathcal C})}$ elements. We conjecture that a slightly weaker result is true for the intersections of two matroids: if ${\mathcal D}={\mathcal P} \cap {\mathcal Q}$, where ${\mathcal P},{\mathcal Q}$ are matroids on the same ground set $V$ and $β({\mathcal P}), β({\mathcal P}) \le k$, then for every partition $A_1, \ldots, A_m$ of the ground set there exists a set $S \in {\mathcal D}$ meeting each $A_i$ in at least $(\frac{1}{k}-\frac{1}{|V|})|A_i|-1$ elements. We prove this for a partition into two sets. △ Less

Submitted 5 January, 2017; v1 submitted 22 December, 2016; originally announced December 2016.

Fair representation by independent sets

Authors: Ron Aharoni, Noga Alon, Eli Berger, Maria Chudnovsky, Dani Kotlar, Martin Loebl, Ran Ziv

Abstract: For a hypergraph $H$ let $β(H)$ denote the minimal number of edges from $H$ covering $V(H)$. An edge $S$ of $H$ is said to represent {\em fairly} (resp. {\em almost fairly}) a partition $(V_1,V_2, \ldots, V_m)$ of $V(H)$ if $|S\cap V_i|\ge \lfloor\frac{|V_i|}{β(H)}\rfloor$ (resp. $|S\cap V_i|\ge \lfloor\frac{|V_i|}{β(H)}\rfloor-1$) for all $i \le m$. In matroids any partition of $V(H)$ can be re… ▽ More For a hypergraph $H$ let $β(H)$ denote the minimal number of edges from $H$ covering $V(H)$. An edge $S$ of $H$ is said to represent {\em fairly} (resp. {\em almost fairly}) a partition $(V_1,V_2, \ldots, V_m)$ of $V(H)$ if $|S\cap V_i|\ge \lfloor\frac{|V_i|}{β(H)}\rfloor$ (resp. $|S\cap V_i|\ge \lfloor\frac{|V_i|}{β(H)}\rfloor-1$) for all $i \le m$. In matroids any partition of $V(H)$ can be represented fairly by some independent set. We look for classes of hypergraphs $H$ in which any partition of $V(H)$ can be represented almost fairly by some edge. We show that this is true when $H$ is the set of independent sets in a path, and conjecture that it is true when $H$ is the set of matchings in $K_{n,n}$. We prove that partitions of $E(K_{n,n})$ into three sets can be represented almost fairly. The methods of proofs are topological. △ Less

Submitted 10 November, 2016; originally announced November 2016.

Degree conditions for matchability in $3$-partite hypergraphs

Authors: Ron Aharoni, Eli Berger, Dani Kotlar, Ran Ziv

Abstract: We study conjectures relating degree conditions in $3$-partite hypergraphs to the matching number of the hypergraph, and use topological methods to prove special cases. In particular, we prove a strong version of a theorem of Drisko \cite{drisko} (as generalized by the first two authors \cite{ab}), that every family of $2n-1$ matchings of size $n$ in a bipartite graph has a partial rainbow matchin… ▽ More We study conjectures relating degree conditions in $3$-partite hypergraphs to the matching number of the hypergraph, and use topological methods to prove special cases. In particular, we prove a strong version of a theorem of Drisko \cite{drisko} (as generalized by the first two authors \cite{ab}), that every family of $2n-1$ matchings of size $n$ in a bipartite graph has a partial rainbow matching of size $n$. We show that milder restrictions on the sizes of the matchings suffice. Another result that is strengthened is a theorem of Cameron and Wanless \cite{CamWan}, that every Latin square has a diagonal (permutation submatrix) in which no symbol appears more than twice. We show that the same is true under the weaker condition that the square is row-Latin. △ Less

Submitted 18 May, 2016; originally announced May 2016.

On a conjecture of Stein

Authors: Ron Aharoni, Eli Berger, Dani Kotlar, Ran Ziv

Abstract: Stein proposed the following conjecture: if the edge set of $K_{n,n}$ is partitioned into $n$ sets, each of size $n$, then there is a partial rainbow matching of size $n-1$. He proved that there is a partial rainbow matching of size $n(1-\frac{D_n}{n!})$, where $D_n$ is the number of derangements of $[n]$. This means that there is a partial rainbow matching of size about $(1- \frac{1}{e})n$. Using… ▽ More Stein proposed the following conjecture: if the edge set of $K_{n,n}$ is partitioned into $n$ sets, each of size $n$, then there is a partial rainbow matching of size $n-1$. He proved that there is a partial rainbow matching of size $n(1-\frac{D_n}{n!})$, where $D_n$ is the number of derangements of $[n]$. This means that there is a partial rainbow matching of size about $(1- \frac{1}{e})n$. Using a topological version of Hall's theorem we improve this bound to $\frac{2}{3}n$. △ Less

Submitted 6 May, 2016; originally announced May 2016.

Representation of large matchings in bipartite graphs

Authors: Ron Aharoni, Dani Kotlar, Ran Ziv

Abstract: Let $f(n)$ be the smallest number such that every collection of $n$ matchings, each of size at least $f(n)$, in a bipartite graph, has a full rainbow matching. Generalizing famous conjectures of Ryser, Brualdi and Stein, Aharoni and Berger conjectured that $f(n)=n+1$ for every $n>1$. Clemens and Ehrenm{ü}ller proved that $f(n) \le \frac{3}{2}n +o(n)$. We show that the $o(n)$ term can be reduced to… ▽ More Let $f(n)$ be the smallest number such that every collection of $n$ matchings, each of size at least $f(n)$, in a bipartite graph, has a full rainbow matching. Generalizing famous conjectures of Ryser, Brualdi and Stein, Aharoni and Berger conjectured that $f(n)=n+1$ for every $n>1$. Clemens and Ehrenm{ü}ller proved that $f(n) \le \frac{3}{2}n +o(n)$. We show that the $o(n)$ term can be reduced to a constant, namely $f(n) \le \lceil \frac{3}{2}n \rceil+1$. △ Less

Submitted 23 February, 2017; v1 submitted 5 January, 2016; originally announced January 2016.

Uniqueness of the extreme cases in theorems of Drisko and Erdős-Ginzburg-Ziv

Authors: Ron Aharoni, Dani Kotlar, Ran Ziv

Abstract: Drisko \cite{drisko} proved (essentially) that every family of $2n-1$ matchings of size $n$ in a bipartite graph possesses a partial rainbow matching of size $n$. In \cite{bgs} this was generalized as follows: Any $\lfloor \frac{k+2}{k+1} n \rfloor -(k+1)$ matchings of size $n$ in a bipartite graph have a rainbow matching of size $n-k$. We extend this latter result to matchings of not necessarily… ▽ More Drisko \cite{drisko} proved (essentially) that every family of $2n-1$ matchings of size $n$ in a bipartite graph possesses a partial rainbow matching of size $n$. In \cite{bgs} this was generalized as follows: Any $\lfloor \frac{k+2}{k+1} n \rfloor -(k+1)$ matchings of size $n$ in a bipartite graph have a rainbow matching of size $n-k$. We extend this latter result to matchings of not necessarily equal cardinalities. Settling a conjecture of Drisko, we characterize those families of $2n-2$ matchings of size $n$ in a bipartite graph that do not possess a rainbow matching of size $n$. Combining this with an idea of Alon \cite{alon}, we re-prove a characterization of the extreme case in a well-known theorem of Erdős-Ginzburg-Ziv in additive number theory. △ Less

Submitted 18 November, 2015; originally announced November 2015.

Decomposition of bi-colored square arrays into balanced diagonals

Authors: Dani Kotlar, Ran Ziv

Abstract: Given an $n\times n$ array $M$ ($n\ge 7$), where each cell is colored in one of two colors, we give a necessary and sufficient condition for the existence of a partition of $M$ into $n$ diagonals, each containing at least one cell of each color. As a consequence, it follows that if each color appears in at least $2n-1$ cells, then such a partition exists. The proof uses results on completion of pa… ▽ More Given an $n\times n$ array $M$ ($n\ge 7$), where each cell is colored in one of two colors, we give a necessary and sufficient condition for the existence of a partition of $M$ into $n$ diagonals, each containing at least one cell of each color. As a consequence, it follows that if each color appears in at least $2n-1$ cells, then such a partition exists. The proof uses results on completion of partial Latin squares. △ Less

Submitted 15 August, 2015; originally announced August 2015.

Distance magic labeling in complete 4-partite graphs

Authors: Dani Kotlar

Abstract: Let $G$ be a complete $k$-partite simple undirected graph with parts of sizes $p_1\le p_2...\le p_k$. Let $P_j=\sum_{i=1}^jp_i$ for $j=1,...,k$. It is conjectured that $G$ has distance magic labeling if and only if $\sum_{i=1}^{P_j} (n-i+1)\ge j{{n+1}\choose{2}}/k$ for all $j=1,...,k$. The conjecture is proved for $k=4$, extending earlier results for $k=2,3$. Let $G$ be a complete $k$-partite simple undirected graph with parts of sizes $p_1\le p_2...\le p_k$. Let $P_j=\sum_{i=1}^jp_i$ for $j=1,...,k$. It is conjectured that $G$ has distance magic labeling if and only if $\sum_{i=1}^{P_j} (n-i+1)\ge j{{n+1}\choose{2}}/k$ for all $j=1,...,k$. The conjecture is proved for $k=4$, extending earlier results for $k=2,3$. △ Less

Submitted 25 August, 2015; v1 submitted 25 October, 2014; originally announced October 2014.

A matroidal generalization of results of Drisko and Chappell

Authors: Daniel Kotlar, Ran Ziv

Abstract: Let $M$ and $N$ be two matroids on the same ground set. We generalize results of Drisko and Chapell by showing that any $2n-1$ sets of size $n$ in $M \cap N$ have a rainbow set of size $n$ in $M \cap N$. Let $M$ and $N$ be two matroids on the same ground set. We generalize results of Drisko and Chapell by showing that any $2n-1$ sets of size $n$ in $M \cap N$ have a rainbow set of size $n$ in $M \cap N$. △ Less

Submitted 28 July, 2014; originally announced July 2014.

Rainbow sets in the intersection of two matroids

Authors: Ron Aharoni, Daniel Kotlar, Ran Ziv

Abstract: Given sets $F_1, \ldots ,F_n$, a {\em partial rainbow function} is a partial choice function of the sets $F_i$. A {\em partial rainbow set} is the range of a partial rainbow function. Aharoni and Berger \cite{AhBer} conjectured that if $M$ and $N$ are matroids on the same ground set, and $F_1, \ldots ,F_n$ are pairwise disjoint sets of size $n$ belonging to $M \cap N$, then there exists a rainbow… ▽ More Given sets $F_1, \ldots ,F_n$, a {\em partial rainbow function} is a partial choice function of the sets $F_i$. A {\em partial rainbow set} is the range of a partial rainbow function. Aharoni and Berger \cite{AhBer} conjectured that if $M$ and $N$ are matroids on the same ground set, and $F_1, \ldots ,F_n$ are pairwise disjoint sets of size $n$ belonging to $M \cap N$, then there exists a rainbow set of size $n-1$ belonging to $M \cap N$. Following an idea of Woolbright and Brower-de Vries-Wieringa, we prove that there exists such a rainbow set of size at least $n-\sqrt{n}$. △ Less

Submitted 15 August, 2015; v1 submitted 13 May, 2014; originally announced May 2014.

Large matchings in bipartite graphs have a rainbow matching

Authors: Daniel Kotlar, Ran Ziv

Abstract: Let $g(n)$ be the least number such that every collection of $n$ matchings, each of size at least $g(n)$, in a bipartite graph, has a full rainbow matching. Aharoni and Berger \cite{AhBer} conjectured that $g(n)=n+1$ for every $n>1$. This generalizes famous conjectures of Ryser, Brualdi and Stein. Recently, Aharoni, Charbit and Howard \cite{ACH} proved that $g(n)\le\lfloor\frac{7}{4}n\rfloor$. We… ▽ More Let $g(n)$ be the least number such that every collection of $n$ matchings, each of size at least $g(n)$, in a bipartite graph, has a full rainbow matching. Aharoni and Berger \cite{AhBer} conjectured that $g(n)=n+1$ for every $n>1$. This generalizes famous conjectures of Ryser, Brualdi and Stein. Recently, Aharoni, Charbit and Howard \cite{ACH} proved that $g(n)\le\lfloor\frac{7}{4}n\rfloor$. We prove that $g(n)\le\lfloor\frac{5}{3} n\rfloor$. △ Less

Submitted 21 October, 2013; v1 submitted 7 May, 2013; originally announced May 2013.

Journal ref: European Journal of Combinatorics. Vol. 38, 97-101 (2013)

Computing the autotopy group of a Latin square by cycle structure

Authors: Daniel Kotlar

Abstract: An algorithm that uses the cycle structure of the rows, or the columns, of a Latin square to compute its autotopy group is introduced. As a result, a bound for the size of the autotopy group is obtained. This bound is used to show that the computation time for the autotopy group of Latin squares that have two rows or two columns that map from one to the other by a permutation which decomposes into… ▽ More An algorithm that uses the cycle structure of the rows, or the columns, of a Latin square to compute its autotopy group is introduced. As a result, a bound for the size of the autotopy group is obtained. This bound is used to show that the computation time for the autotopy group of Latin squares that have two rows or two columns that map from one to the other by a permutation which decomposes into a bounded number of disjoint cycles, is polynomial in the order $n$. △ Less

Submitted 28 July, 2014; v1 submitted 7 May, 2013; originally announced May 2013.

MSC Class: 05B15

Journal ref: Discrete Mathematics. 331, 74--82 (2014)

On extensions of the Alon-Tarsi Latin Square conjecture

Authors: Daniel Kotlar

Abstract: Expressions involving the product of the permanent with the (n-1)th power of the determinant of a matrix of indeterminates, and of (0,1)-matrices, are shown to be related to two conjectures that extend the Alon-Tarsi Latin square conjecture to odd dimensions. An identity involving an alternating sum of permanents of (0,1)-matrices is obtained. Expressions involving the product of the permanent with the (n-1)th power of the determinant of a matrix of indeterminates, and of (0,1)-matrices, are shown to be related to two conjectures that extend the Alon-Tarsi Latin square conjecture to odd dimensions. An identity involving an alternating sum of permanents of (0,1)-matrices is obtained. △ Less

Submitted 3 September, 2012; v1 submitted 24 April, 2012; originally announced April 2012.

Journal ref: Electronic J. Combinatorics, volume 19(4) (2012)

On the Length of a Partial Independent Transversal in a Matroidal Latin Square

Authors: Daniel Kotlar, Ran Ziv

Abstract: We suggest and explore a matroidal version of the Brualdi - Ryser conjecture about Latin squares. We prove that any $n\times n$ matrix, whose rows and columns are bases of a matroid, has an independent partial transversal of length $\lceil2n/3\rceil$. We show that for any $n$, there exists such a matrix with a maximal independent partial transversal of length at most $n-1$. We suggest and explore a matroidal version of the Brualdi - Ryser conjecture about Latin squares. We prove that any $n\times n$ matrix, whose rows and columns are bases of a matroid, has an independent partial transversal of length $\lceil2n/3\rceil$. We show that for any $n$, there exists such a matrix with a maximal independent partial transversal of length at most $n-1$. △ Less

Submitted 24 April, 2012; originally announced April 2012.

Journal ref: Electronic J. Combinatorics, volume 19, Issue 2 (2012)

Parity Types, Cycle Structures and Autotopisms of Latin Squares

Authors: Daniel Kotlar

Abstract: The parity type of a Latin square is defined in terms of the numbers of even and odd rows and columns. It is related to an Alon-Tarsi-like conjecture that applies to Latin squares of odd order. Parity types are used to derive upper bounds for the size of autotopy groups. A fast algorithm for finding the autotopy group of a Latin square, based on the cycle decomposition of its rows, is presented. The parity type of a Latin square is defined in terms of the numbers of even and odd rows and columns. It is related to an Alon-Tarsi-like conjecture that applies to Latin squares of odd order. Parity types are used to derive upper bounds for the size of autotopy groups. A fast algorithm for finding the autotopy group of a Latin square, based on the cycle decomposition of its rows, is presented. △ Less

Submitted 3 October, 2012; v1 submitted 1 March, 2012; originally announced March 2012.

Journal ref: Electronic J. Combinatorics, volume 19(3) (2012)

A Characterization of Binary Matroids by Basis-Exchange

Authors: Daniel Kotlar

Abstract: The effect of replacing a basis element on the way the basis spans other elements is studied. This leads to a new characterization of binary matroids. The effect of replacing a basis element on the way the basis spans other elements is studied. This leads to a new characterization of binary matroids. △ Less

Submitted 1 March, 2012; v1 submitted 12 December, 2011; originally announced December 2011.

Comments: The content of this manuscript in contained in 1110.5166

On circuits and serial symmetric basis-exchange in matroids

Authors: Daniel Kotlar

Abstract: The way circuits, relative to a basis, are affected as a result of exchanging a basis element, is studied. As consequences, it is shown that three consecutive symmetric exchanges exist for any two bases of a matroid, and that a full serial symmetric exchange, of length at most 6, exists for any two bases of a matroid of rank 5. A new characterization of binary matroids, related to basis-exchange,… ▽ More The way circuits, relative to a basis, are affected as a result of exchanging a basis element, is studied. As consequences, it is shown that three consecutive symmetric exchanges exist for any two bases of a matroid, and that a full serial symmetric exchange, of length at most 6, exists for any two bases of a matroid of rank 5. A new characterization of binary matroids, related to basis-exchange, is presented. △ Less

Submitted 4 October, 2012; v1 submitted 24 October, 2011; originally announced October 2011.

Journal ref: SIAM Journal on Discrete Mathematics. Vol. 27 (3), 1274-1286 (2013)

A weak version of Rota's basis conjecture for odd dimensions

Authors: Ron Aharoni, Daniel Kotlar

Abstract: The Alon-Tarsi Latin square conjecture is extended to odd dimensions by stating it for reduced Latin squares (Latin squares having the identity permutation as their first row and first column). A modified version of Onn's colorful determinantal identity is used to show how the validity of this conjecture implies a weak version of Rota's basis conjecture for odd dimensions, namely that a set of… ▽ More The Alon-Tarsi Latin square conjecture is extended to odd dimensions by stating it for reduced Latin squares (Latin squares having the identity permutation as their first row and first column). A modified version of Onn's colorful determinantal identity is used to show how the validity of this conjecture implies a weak version of Rota's basis conjecture for odd dimensions, namely that a set of $n$ bases in $\mathbb{R}^n$ has $n-1$ disjoint independent transversals. △ Less

Submitted 26 April, 2013; v1 submitted 9 October, 2011; originally announced October 2011.

Journal ref: SIAM J. Discrete Math., 28(1), 385--393 (2014)

On Serial Symmetric Exchanges of Matroid Bases

Authors: Daniel Kotlar, Ran Ziv

Abstract: We study some properties of a serial (i.e. one-by-one) symmetric exchange of elements of two disjoint bases of a matroid. We show that any two elements of one base have a serial symmetric exchange with some two elements of the other base. As a result, we obtain that any two disjoint bases in a matroid of rank 4 have a full serial symmetric exchange. We study some properties of a serial (i.e. one-by-one) symmetric exchange of elements of two disjoint bases of a matroid. We show that any two elements of one base have a serial symmetric exchange with some two elements of the other base. As a result, we obtain that any two disjoint bases in a matroid of rank 4 have a full serial symmetric exchange. △ Less

Submitted 26 March, 2012; v1 submitted 9 October, 2011; originally announced October 2011.

Journal ref: J. Graph Theory 1002/jgt.21675 (2012)