arXiv++ Combinatorics

Browse math.CO papers from arXiv

Showing 20 papers (Total: 84253 papers, 48533 authors in database)
2017-01-25
Lonesum decomposable matrices
Published • View Publication • BIB
A lonesum matrix is a $(0,1)$-matrix that is uniquely determined by its row and column sum vectors. In this paper, we introduce lonesum decomposable matrices and study their properties. We provide a necessary and sufficient condition for a matrix $A$ to be lonesum decomposable, and give a generating function for the number $D_k(m,n)$ of $m\times n$ lonesum decomposable matrices of order $k$. Moreover, by using this generating function we prove some congruences for $D_k(m,n)$ modulo a prime.
2017-01-25
On problems about judicious bipartitions of graphs
Published • View Publication • BIB
Bollobás and Scott [5] conjectured that every graph $G$ has a balanced bipartite spanning subgraph $H$ such that for each $v\in V(G)$, $d_H(v)\ge (d_G(v)-1)/2$. In this paper, we show that every graphic sequence has a realization for which this Bollobás-Scott conjecture holds, confirming a conjecture of Hartke and Seacrest [10]. On the other hand, we give an infinite family of counterexamples to this Bollobás-Scott conjecture, which indicates that $\lfloor (d_G(v)-1)/2\rfloor$ (rather than $(d_G(v)-1)/2$) is probably the correct lower bound. We also study bipartitions $V_1, V_2$ of graphs with a fixed number of edges. We provide a (best possible) upper bound on $e(V_1)^λ+e(V_2)^λ$ for any real $λ\geq 1$ (the case $λ=2$ is a question of Scott [13]) and answer a question of Scott [13] on $\max\{e(V_1),e(V_2)\}$.
2017-01-25
Polynomial equations in function fields
Published • View Publication • BIB
The breakthrough paper of Croot, Lev, Pach \cite{CLP} on progression-free sets in $\Z_4^n$ introduced a polynomial method that has generated a wealth of applications, such as Ellenberg and Gijswijt's solutions to the cap set problem \cite{EG}. Using this method, we bound the size of a set of polynomials over $\F_q$ of degree less than $n$ that is free of solutions to the equation $\sum_{i=1}^k a_if_i^r=0$, where the coefficients $a_i$ are polynomials that sum to 0 and the number of variables satisfies $k\geq 2r^2+1$. The bound we obtain is of the form $q^{cn}$ for some constant $c<1$. This is in contrast to the best bounds known for the corresponding problem in the integers, which offer only a logarithmic saving, but work already with as few as $k\geq r^2+1$ variables.
2017-01-25 v3
Rational Noncrossing Partitions for all Coprime Pairs
Published • View Publication • BIB
For coprime positive integers $a<b$, Armstrong, Rhoades, and Williams (2013) defined a set $NC(a,b)$ of rational noncrossing partitions, a subset of the ordinary noncrossing partitions of $\{1, \ldots, b-1\}$. Bodnar and Rhoades (2015) confirmed their conjecture that $NC(a,b)$ is closed under rotation and proved an instance of the cyclic sieving phenomenon for this rotation action. We give a definition of $NC(a,b)$ which works for all coprime $a$ and $b$ and prove closure under rotation and cyclic sieving in this more general setting. We also generalize noncrossing parking functions to all coprime $a$ and $b$, and provide a character formula for the action of $\mathfrak{S}_a \times \mathbb{Z}_{b-1}$ on $\mathsf{Park}^{NC}(a,b)$.
2017-01-25 v3
Refined Enumeration of Corners in Tree-like Tableaux
Published in Discrete Mathematics & Theoretical Computer Science, Vol. 19 no. 3, Combinatorics (September 26, 2017) dmtcs:3683 • View Publication • BIB
Tree-like tableaux are certain fillings of Ferrers diagrams originally introduced by Aval et al., which are in simple bijections with permutation tableaux coming from Postnikov's study of totally nonnegative Grassmanian and alternative tableaux introduced by Viennot. In this paper, we confirm two conjectures of Gao et al. on the refined enumeration of non-occupied corners in tree-like tableaux and symmetric tree-like tableaux via intermediate structures of alternative tableaux, linked partitions, type $B$ alternative tableaux and type $B$ linked partitions.
Induced subgraphs of graphs with large chromatic number. VIII. Long odd holes
Published • View Publication • BIB
We prove a conjecture of Andras Gyarfas, that for all k,t, every graph with clique number at most k and sufficiently large chromatic number has an odd hole of length at least t.
2017-01-25
Enumeration of Graphs and the Characteristic Polynomial of the Hyperplane Arrangements $\mathcal{J}_n$
We give a complete formula for the characteristic polynomial of hyperplane arrangements $\mathcal J_n$ consisting of the hyperplanes $x_i+x_j=1$, $x_k=0$, $x_l=1$, $ 1\leq i, j, k, l\leq n$. The formula is obtained by associating hyperplane arrangements with graphs, and then enumerating central graphs via generating functions for the number of bipartite graphs of given order, size and number of connected components.
2017-01-25 v2
Graph homomorphisms on rectangular matrices over division rings I
Let $\mathbb{D}$ be a division ring, and let ${\mathbb{D}}^{m\times n}$ be the set of $m\times n$ matrices over $\mathbb{D}$. Two matrices $A,B\in {\mathbb{D}}^{m\times n}$ are adjacent if ${\rm rank}(A-B)=1$. By the adjacency, ${\mathbb{D}}^{m\times n}$ is a connected graph. Suppose that $m,n,m',n'\geq2$ are integers and $\mathbb{D}'$ is a division ring. Using the weighted semi-affine map and algebraic method, we characterize graph homomorphisms from ${\mathbb{D}}^{m\times n}$ to ${\mathbb{D}'}^{m'\times n'}$ (where $|\mathbb{D}|\geq 4$) under some weaker conditions.
2017-01-25 v2
Characteristic Polynomial of Certain Hyperplane Arrangements through Graph Theory
We give a formula for computing the characteristic polynomial for certain hyperplane arrangements in terms of the number of bipartite graphs of given rank and cardinality.
On the size-Ramsey number of cycles
Published • View Publication • BIB
For given graphs $G_1,\ldots,G_k$, the size-Ramsey number $\hat{R}(G_1,\ldots,G_k)$ is the smallest integer $m$ for which there exists a graph $H$ on $m$ edges such that in every $k$-edge coloring of $H$ with colors $1,\ldots,k$, $ H $ contains a monochromatic copy of $G_i$ of color $i$ for some $1\leq i\leq k$. We denote $\hat{R}(G_1,\ldots,G_k)$ by $\hat{R}_{k}(G)$ when $G_1=\cdots=G_k=G$. Haxell, Kohayakawa and Łuczak showed that the size Ramsey number of a cycle $C_n$ is linear in $n$ i.e. $\hat{R}_{k}(C_{n})\leq c_k n$ for some constant $c_k$. Their proof, is based on the regularity lemma of Szemerédi and so no specific constant $c_k$ is known. In this paper, we give various upper bounds for the size-Ramsey numbers of cycles. We give an alternative proof of $\hat{R}_{k}(C_{n})\leq c_k n$, avoiding the use of the regularity lemma. For two colours, we show that for sufficiently large $n$ we have $\hat{R}(C_{n},C_{n}) \leq 10^6\times cn,$ where $c=843$ if $n$ is even and $c=113482$ otherwise.
2017-01-25
The diagonalizable nonnegative inverse eigenvalue problem
Published • View Publication • BIB
In this paper we prove that the SNIEP $\neq$ DNIEP, i.e. the symmetric and diagonalizable nonnegative inverse eigenvalue problems are different. We also show that the minimum $t>0$ for which $(3+t,3-t,-2,-2,-2)$ is realizable by a diagonalizable matrix is $t=1$, and we distinguish diagonalizably realziable lists from general realizable lists using the Jordan Normal Form
2017-01-25
A note on counting flows in signed graphs
Published • View Publication • BIB
Tutte initiated the study of nowhere-zero flows and proved the following fundamental theorem: For every graph $G$ there is a polynomial $f$ so that for every abelian group $Γ$ of order $n$, the number of nowhere-zero $Γ$-flows in $G$ is $f(n)$. For signed graphs (which have bidirected orientations), the situation is more subtle. For a finite group $Γ$, let $ε_2(Γ)$ be the largest integer $d$ so that $Γ$ has a subgroup isomorphic to $\mathbb{Z}_2^d$. We prove that for every signed graph $G$ and $d \ge 0$ there is a polynomial $f_d$ so that $f_d(n)$ is the number of nowhere-zero $Γ$-flows in $G$ for every abelian group $Γ$ with $ε_2(Γ) = d$ and $|Γ| = 2^d n$. Beck and Zaslavsky had previously established the special case of this result when $d=0$ (i.e., when $Γ$ has odd order).
2017-01-25 v2
On the Number of Single-Peaked Narcissistic or Single-Crossing Narcissistic Preference Profiles
Published • View Publication • BIB
We investigate preference profiles for a set $\mathcal{V}$ of voters, where each voter $i$ has a preference order $\succ_i$ on a finite set $A$ of alternatives (that is, a linear order on $A$) such that for each two alternatives $a,b\in A$, voter $i$ prefers $a$ to $b$ if $a\succ_i b$. Such a profile is narcissistic if each alternative $a$ is preferred the most by at least one voter. It is single-peaked if there is a linear order $\triangleright^{\text{sp}}$ on the alternatives such that each voter's preferences on the alternatives along the order $\triangleright^{\text{sp}}$ are either strictly increasing, or strictly decreasing, or first strictly increasing and then strictly decreasing. It is single-crossing if there is a linear order $\triangleright^{\text{sc}}$ on the voters such that each pair of alternatives divides the order $\triangleright^{\text{sc}}$ into at most two suborders, where in each suborder, all voters have the same linear order on this pair. We show that for $n$ voters and $n$ alternatives,the number of single-peaked narcissistic profiles is $\prod_{i=2}^{n-1} \binom{n-1}{i-1}$ while the number of single-crossing narcissistic profiles is $2^{\binom{n-1}{2}}$.
3-Flows with Large Support
Published in Matt DeVos, Jessica McDonald, Irene Pivotto, Edita Rollová, Robert Šámal: 3-Flows with large support Journal of Combinatorial Theory, Series B Volume 144, September 2020, Pages 32-80 • View Publication • BIB
We prove that every 3-edge-connected graph $G$ has a 3-flow $φ$ with the property that $|\mathop{supp}(φ)| \ge \frac{5}{6} |E(G)|$. The graph $K_4$ demonstrates that this $\frac{5}{6}$ ratio is best possible; there is an infinite family where $\frac 56$ is tight.
2017-01-25
Sorting by Reversals and the Theory of 4-Regular Graphs
Published • View Publication • BIB
We show that the theory of sorting by reversals fits into the well-established theory of circuit partitions of 4-regular multigraphs (which also involves the combinatorial structures of circle graphs and delta-matroids). In this way, we expose strong connections between the two theories that have not been fully appreciated before. We also discuss a generalization of sorting by reversals involving the double-cut-and-join (DCJ) operation. Finally, we also show that the theory of sorting by reversals is closely related to that of gene assembly in ciliates.
2017-01-25 v2
The maximum number of cliques in graphs without long cycles
Published • View Publication • BIB
The Erdős--Gallai Theorem states that for $k\geq 3$ every graph on $n$ vertices with more than $\frac{1}{2}(k-1)(n-1)$ edges contains a cycle of length at least $k$. Kopylov proved a strengthening of this result for 2-connected graphs with extremal examples $H_{n,k,t}$ and $H_{n,k,2}$. In this note, we generalize the result of Kopylov to bound the number of $s$-cliques in a graph with circumference less than $k$. Furthermore, we show that the same extremal examples that maximize the number of edges also maximize the number of cliques of any fixed size. Finally, we obtain the extremal number of $s$-cliques in a graph with no path on $k$-vertices.
2017-01-25
Path abstraction
Given the set of paths through a digraph, the result of uniformly deleting some vertices and identifying others along each path is coherent in such a way as to yield the set of paths through another digraph, called a \emph{path abstraction} of the original digraph. The construction of path abstractions is detailed and relevant basic results are established; generalizations are also discussed. Connections with random digraphs are also illustrated.
2017-01-25 v2
A Type B Analogue to Ribbon Tableaux
Published in Journal of Combinatorics (2020) Volume 11, Number 1, pp. 169-202 • View Publication • BIB
We introduce a shifted analogue of the ribbon tableaux defined by James and Kerber. For any positive integer $k$, we give a bijection between the $k$-ribbon fillings of a shifted shape and regular fillings of a $\lfloor k/2\rfloor$-tuple of shapes called its $k$-quotient. We also define the corresponding generating functions, and prove that they are symmetric, Schur positive and Schur $Q$-positive.
Q-analogues of the Fibo-Stirling numbers
Let $F_n$ denote the $n^{th}$ Fibonacci number relative to the initial conditions $F_0=0$ and $F_1=1$. Bach, Paudyal, and Remmel introduced Fibonacci analogues of the Stirling numbers called Fibo-Stirling numbers of the first and second kind. These numbers serve as the connection coefficients between the Fibo-falling factorial basis $\{(x)_{\downarrow_{F,n}}:n \geq 0\}$ and the Fibo-rising factorial basis $\{(x)_{\uparrow_{F,n}}:n \geq 0\}$ which are defined by $(x)_{\downarrow_{F,0}} = (x)_{\uparrow_{F,0}} = 1$ and for $k \geq 1$, $(x)_{\downarrow_{F,k}} = x(x-F_1) \cdots (x-F_{k-1})$ and $(x)_{\uparrow_{F,k}} = x(x+F_1) \cdots (x+F_{k-1})$. We gave a general rook theory model which allowed us to give combinatorial interpretations of the Fibo-Stirling numbers of the first and second kind. There are two natural $q$-analogues of the falling and rising Fibo-factorial basis. That is, let $[x]_q = \frac{q^x-1}{q-1}$. Then we let $[x]_{\downarrow_{q,F,0}} = \overline{[x]}_{\downarrow_{q,F,0}} = [x]_{\uparrow_{q,F,0}} = \overline{[x]}_{\uparrow_{q,F,0}}=1$ and, for $k > 0$, we let $[x]_{\downarrow_{q,F,k}} = [x]_q [x-F_1]_q \cdots [x-F_{k-1}]_q$, $\overline{[x]}_{\downarrow_{q,F,k}}= [x]_q ([x]_q-[F_1]_q) \cdots ([x]_q-[F_{k-1}]_q)$, $[x]_{\uparrow_{q,F,k}}= [x]_q [x+F_1]_q \cdots [x+F_{k-1}]_q$, and $\overline{[x]}_{\uparrow_{q,F,k}}= [x]_q ([x]_q+[F_1]_q) \cdots ([x]_q+[F_{k-1}]_q)$. In this paper, we show we can modify the rook theory model of Bach, Paudyal, and Remmel to give combinatorial interpretations for the two different types $q$-analogues of the Fibo-Stirling numbers which arise as the connection coefficients between the two different $q$-analogues of the Fibonacci falling and rising factorial bases. \end{abstract}
2017-01-24
A geometric approach to cut-generating functions
Published in Mathematical Programming, vol.151(1), 2015, pp. 153-189 • View Publication • BIB
The cutting-plane approach to integer programming was initiated more that 40 years ago: Gomory introduced the corner polyhedron as a relaxation of a mixed integer set in tableau form and Balas introduced intersection cuts for the corner polyhedron. This line of research was left dormant for several decades until relatively recently, when a paper of Andersen, Louveaux, Weismantel and Wolsey generated renewed interest in the corner polyhedron and intersection cuts. Recent developments rely on tools drawn from convex analysis, geometry and number theory, and constitute an elegant bridge between these areas and integer programming. We survey these results and highlight recent breakthroughs in this area.