Showing 20 papers (Total: 82505 papers, 47699 authors in database)
A combinatorial algorithm for the planar multiflow problem with demands located on three holes
Published
• View Publication
• BIB
We consider an undirected multi(commodity)flow demand problem in which a supply graph is planar, each source-sink pair is located on one of three specified faces of the graph, and the capacities and demands are integer-valued and Eulerian. It is known that such a problem has a solution if the cut and (2,3)-metric conditions hold, and that the solvability implies the existence of an integer solution. We develop a purely combinatorial strongly polynomial solution algorithm.
Turán's Problem for Trees
Published in J. Comb. Number Theory 3(2011), no.1, 51-69
• Search Publication
For a forbidden graph $L$, let $ex(p;L)$ denote the maximal number of edges in a simple graph of order $p$ not containing $L$. Let $T_n$ denote the unique tree on $n$ vertices with maximal degree $n-2$, and let $T_n^*=(V,E)$ be the tree on $n$ vertices with $V=\{v_0,v_1,\ldots,v_{n-1}\}$ and
$E=\{v_0v_1,\ldots,v_0v_{n-3},v_{n-3}v_{n-2},v_{n-2}v_{n-1}\}$. In the paper we give exact values of $ex(p;T_n)$ and $ex(p;T_n^*)$.
Comments on "Extremal Cayley digraphs of finite Abelian groups" [Intercon. Networks 12 (2011), no. 1-2, 125--135]
Published
• View Publication
• BIB
We comment on the paper "Extremal Cayley digraphs of finite Abelian groups" [Intercon. Networks 12 (2011), no. 1-2, 125--135]. In particular, we give some counterexamples to the results presented there, and provide a correct result for degree two.
Planar graphs are 9/2-colorable
Published in Journal of Combinatorial Theory, Series B. Vol. 133, 2018, pp. 32-45
• View Publication
• BIB
We show that every planar graph $G$ has a 2-fold 9-coloring. In particular, this implies that $G$ has fractional chromatic number at most $\frac92$. This is the first proof (independent of the 4 Color Theorem) that there exists a constant $k<5$ such that every planar $G$ has fractional chromatic number at most $k$.
A metric characterisation of repulsive tilings
Published
• View Publication
• BIB
A tiling of $\mathbb{R}^d$ is repulsive if no $r$-patch can repeat arbitrarily close to itself, relative to $r$. This is a characteristic property of aperiodic order, for a non repulsive tiling has arbitrarily large local periodic patterns.
We consider an aperiodic, repetitive tiling $T$ of $\mathbb{R}^d$, with finite local complexity. From a spectral triple built on the discrete hull $Ξ$ of $T$, and its Connes distance, we derive two metrics $d_{sup}$ and $d_{inf}$ on $Ξ$. We show that $T$ is repulsive if and only if $d_{sup}$ and $d_{inf}$ are Lipschitz equivalent. This generalises previous works for subshifts by J. Kellendonk, D. Lenz, and the author.
5 Colorable Visibility Graphs Have Bounded Size or 4 Collinear Points
We investigate the question of finding a bound for the size of a $χ$-colorable finite visibility graph that has at most $\ell$ collinear points. This can be regarded as a relaxed version of the Big Line - Big Clique conjecture. We prove that any finite point set that has at least 2311 points has either 4 collinear points or a visibility graph that cannot be 5-colored.
Turán's problem for trees $T_n$ with maximal degree $n-4$
For $n\ge 6$ let $V=\{v_0,v_1,\ldots,v_{n-1}\}$, $E_1=\{v_0v_1,\ldots,v_0v_{n-4},v_1v_{n-3},v_1v_{n-2}$, $v_1v_{n-1}\}$, $E_2=\{v_0v_1,\ldots,v_0v_{n-4},v_1v_{n-3},v_1v_{n-2},v_2v_{n-1}\}$, $E_3=\{v_0v_1,\ldots,v_0v_{n-4}$, $v_1v_{n-3},v_2v_{n-2},v_3v_{n-1}\}$, $T_n^3=(V,E_1),\ T_n^{''}=(V,E_2)$ and $T_n^{'''} =(V,E_3).$ In this paper, for $p\ge n\ge 15$ we obtain explicit formulas for $ex(p;T_n^3)$, $ex(p;T_n^{''})$ and $ex(p;T_n^{'''})$, where $ex(p;L)$ denotes the maximal number of edges in a graph of order $p$ not containing $L$ as a subgraph.
The $k$-metric dimension of the lexicographic product of graphs
Published
• View Publication
• BIB
Given a simple and connected graph $G=(V,E)$, and a positive integer $k$, a set $S\subseteq V$ is said to be a $k$-metric generator for $G$, if for any pair of different vertices $u,v\in V$, there exist at least $k$ vertices $w_1,w_2,\ldots,w_k\in S$ such that $d_G(u,w_i)\ne d_G(v,w_i)$, for every $i\in \{1,\ldots,k\}$, where $d_G(x,y)$ denotes the distance between $x$ and $y$. The minimum cardinality of a $k$-metric generator is the $k$-metric dimension of $G$. A set $S\subseteq V$ is a $k$-adjacency generator for $G$ if any two different vertices $x,y\in V(G)$ satisfy $|((N_G(x)\triangledown N_G(y))\cup\{x,y\})\cap S|\ge k$, where $N_G(x)\triangledown N_G(y)$ is the symmetric difference of the neighborhoods of $x$ and $y$. The minimum cardinality of any $k$-adjacency generator is the $k$-adjacency dimension of $G$. In this article we obtain tight bounds and closed formulae for the $k$-metric dimension of the lexicographic product of graphs in terms of the $k$-adjacency dimension of the factor graphs.
APN trinomials and hexanomials
In this paper we give a new family of APN trinomials of the form $X^{2^k+1} + (\mathsf{tr}^{n}_{m}(X))^{2^k+1}$ on $\mathbb{F}_{2^n}$ where $\mathsf{gcd}(k,n)=1$ and $n = 2m = 4t$, and prove its important properties. The family satisfies for all $n = 4t$ an interesting property of the Kim function which is, up to equivalence, the only known APN function equivalent to a permutation on $\mathbb{F}_{2^{2m}}$. As another contribution of the paper, we consider a family of hexanomials $g_{C,k}$ which was shown to be differentially $2^{\mathsf{gcd}(m,k)}$-uniform by Budaghyan and Carlet (2008) when a quadrinomial $P_{C,k}$ has no roots in a specific subgroup. In this paper, for all $(m,k)$ pairs, we characterize, construct and count all $C \in \mathbb{F}_{2^n}$ satisfying the condition. Bracken, Tan and Tan (2014) and Qu, Tan and Li (2014) constructed some elements $C$ satisfying the condition when $m \equiv 2 \textrm{or} 4 \pmod{6}$ and $m \equiv 0 \pmod{6}$ respectively, both requiring $\mathsf{gcd}(m,k) = 1$. Bluher (2013) proved that such $C$ exists if and only if $k \ne m$ without characterizing, constructing or counting those $C$. To prove the results, we effectively use a Trace-$0$/Trace-$1$ (relative to the subfield $\mathbb{F}_{2^m}$) decomposition of $\mathbb{F}_{2^n}$.
Equipopularity Classes in the Separable Permutations
Published
• View Publication
• BIB
When two patterns occur equally often in a set of permutations, we say that these patterns are equipopular. Using both structural and analytic tools, we classify the equipopular patterns in the set of separable permutations. In particular, we show that the number of equipopularity classes for length $n$ patterns in the separable permutations is equal to the number of partitions of $n-1$.
The Hegselmann-Krause dynamics on the circle converge
Published
• View Publication
• BIB
We consider the Hegselmann-Krause dynamics on a one-dimensional torus and provide the first proof of convergence of this system. The proof requires only fairly minor modifications of existing methods for proving convergence in Euclidean space.
Combinatorial Proofs of Identities Involving Symmetric Matrices
Published
• View Publication
• BIB
Brualdi and Ma found a connection between involutions of length $n$ with $k$ descents and symmetric $k\times k$ matrices with non-negative integer entries summing to $n$ and having no row or column of zeros. From their main theorem they derived two alternating sums by algebraic means and asked for combinatorial proofs. In this note we provide such demonstrations making use of the Robinson-Schensted-Knuth correspondence between symmetric matrices and semi-standard Young Tableau. Additionally, we restate the proof of Brualdi and Ma's main result with this perspective which shortens the argument.
Packing odd $T$-joins with at most two terminals
Published
• View Publication
• BIB
Take a graph $G$, an edge subset $Σ\subseteq E(G)$, and a set of terminals $T\subseteq V(G)$ where $|T|$ is even. The triple $(G,Σ,T)$ is called a signed graft. A $T$-join is odd if it contains an odd number of edges from $Σ$. Let $ν$ be the maximum number of edge-disjoint odd $T$-joins. A signature is a set of the form $Σ\triangle δ(U)$ where $U\subseteq V(G)$ and $|U\cap T)$ is even. Let $τ$ be the minimum cardinality a $T$-cut or a signature can achieve. Then $ν\leq τ$ and we say that $(G,Σ,T)$ packs if equality holds here.
We prove that $(G,Σ,T)$ packs if the signed graft is Eulerian and it excludes two special non-packing minors. Our result confirms the Cycling Conjecture for the class of clutters of odd $T$-joins with at most two terminals. Corollaries of this result include, the characterizations of weakly and evenly bipartite graphs, packing two-commodity paths, packing $T$-joins with at most four terminals, and a new result on covering edges with cuts.
Pairwise balanced designs covered by bounded flats
Published
• View Publication
• BIB
We prove that for any $K$ and $d$, there exist, for all sufficiently large admissible $v$, a pairwise balanced design PBD$(v,K)$ of dimension $d$ for which all $d$-point-generated flats are bounded by a constant independent of $v$. We also tighten a prior upper bound for $K = \{3,4,5\}$, in which case there are no divisibility restrictions on the number of points. One consequence of this latter result is the construction of latin squares `covered' by small subsquares.
On Weak Hamiltonicity of a Random Hypergraph
A {\it weak (Berge) cycle} is an alternating sequence of vertices and (hyper)edges $C=(v_0, e_1, v_1, ..., v_{\ell-1}, e_\ell, v_{\ell}=v_0)$ such that the vertices $v_0, ..., v_{\ell-1}$ are distinct with $v_k, v_{k+1} \in e_{k}$ for each $k$, but the edges $e_1, ..., e_\ell$ are not necessarily distinct. We prove that the main barrier to the random $d$-uniform hypergraph $H_d(n,p),$ where each of the potential edges of cardinality $d$ is present with probability $p$, developing a weak Hamilton cycle is the presence of isolated vertices. In particular, for $d \geq 3$ fixed and $p=(d-1)! \frac{\ln n + c}{n^{d-1}}$, the probability that $H_d(n, p)$ has a weak Hamilton cycle tends to $e^{-e^{-c}}$, which is also the limiting probability that $H_d(n,p)$ has no isolated vertices. As a consequence, the probability that the random hypergraph $H_d(n, m=\frac{n(\ln n + c)}{d}),$ where $m$ potential edges are chosen uniformly at random to be present, is weak Hamiltonian also tends to $e^{-e^{-c}}$.
Fullerenes with the maximum Clar number
Published
• View Publication
• BIB
The Clar number of a fullerene is the maximum number of independent resonant hexagons in the fullerene. It is known that the Clar number of a fullerene with n vertices is bounded above by [n/6]-2. We find that there are no fullerenes whose order n is congruent to 2 modulo 6 attaining this bound. In other words, the Clar number for a fullerene whose order n is congruent to 2 modulo 6 is bounded above by [n/6]-3. Moreover, we show that two experimentally produced fullerenes C80:1 (D5d) and C80:2 (D2) attain this bound. Finally, we present a graph-theoretical characterization for fullerenes, whose order n is congruent to 2 (respectively, 4) modulo 6, achieving the maximum Clar number [n/6]-3 (respectively, [n/6]-2).
Recipe theorems for polynomial invariants on ribbon graphs with half-edges
We provide recipe theorems for the Bollobàs and Riordan polynomial $\mathcal{R}$ defined on classes of ribbon graphs with half-edges introduced in arXiv:1310.3708[math.GT]. We also define a generalized transition polynomial $Q$ on this new category of ribbon graphs and establish a relationship between $Q$ and $\mathcal{R}$.
Excluding pairs of tournaments
Published
• View Publication
• BIB
The Erdős-Hajnal conjecture states that for every given undirected graph $H$ there exists a constant $c(H)>0$ such that every graph $G$ that does not contain $H$ as an induced subgraph contains a clique or a stable set of size at least $|V(G)|^{c(H)}$. The conjecture is still open. Its equivalent directed version states that for every given tournament $H$ there exists a constant $c(H)>0$ such that every $H$-free tournament $T$ contains a transitive subtournament of order at least $|V(T)|^{c(H)}$. We prove in this paper that $\{H_{1},H_{2}\}$-free tournaments $T$ contain transitive subtournaments of size at least $|V(T)|^{c(H_{1},H_{2})}$ for some $c(H_{1},H_{2})>0$ and several pairs of tournaments: $H_{1}$, $H_{2}$. In particular we prove that $\{H,H^{c}\}$-freeness implies existence of the polynomial-size transitive subtournaments for several tournaments $H$ for which the conjecture is still open ($H^{c}$ stands for the \textit{complement of $H$}). To the best of our knowledge these are first nontrivial results of this type.
All known prime Erdős-Hajnal tournaments satisfy $ε(H) = Ω(\frac{1}{|H|^{5}\log(|H|)})$
We prove that there exists $C>0$ such that $ε(H) \geq \frac{C}{|H|^{5}\log(|H|)}$, where $ε(H)$ is the Erdős-Hajnal coefficient of the tournament $H$, for every prime tournament $H$ for which the celebrated Erdős-Hajnal Conjecture has been proven so far. This is the first polynomial bound on the EH coefficient obtained for all known prime Erdős-Hajnal tournaments, in particular for infinitely many prime tournaments. As a byproduct of our analysis, we answer affirmatively the question whether there exists an infinite family of prime tournaments $H$ with $ε(H)$ lower-bounded by $\frac{1}{\textit{poly}(|H|)}$, where $\textit{poly}$ is a polynomial function. Furthermore, we give much tighter bounds than those known so far for the EH coefficients of tournaments without large homogeneous sets. This enables us to significantly reduce the gap between best known lower and upper bounds for the EH coefficients of tournaments. As a corollary we prove that every known prime Erdős-Hajnal tournament $H$ satisfies: $-5 + o(1) \leq \frac{\log(ε(H))}{\log(|H|)} \leq -1 + o(1)$. No lower bound on that expression was known before. We also show the applications of those results to the tournament coloring problem. In particular, we prove that for every known prime Erdős-Hajnal tournament $H$ every $H$-free tournament has \textit{chromatic number} at most $O(n^{1-\frac{C}{|H|^{5}\log(|H|)}}\log(n))$, where $C>0$ is some universal constant. The related coloring can be constructed algorithmically in the quasipolynomial time by following straightforwadly the proof of our main result. In comparison, the standard Ramsey theory gives only $O(\frac{n}{\log(n)})$ bounds for the tournament chromatic number.
The Strong EH-Property and the Erdős-Hajnal Conjecture
The Erdős-Hajnal Conjecture states that for every $H$ there exists a constant $ε(H)>0$ such that every graph $G$ that does not contain $H$ as an induced subgraph contains a clique or a stable set of size at least $|V(G)|^{ε(H)}$. The Conjecture is still open. Some time ago its directed version was formulated (see:\cite{alon}). In the directed version graphs are replaced by tournaments, and cliques and stable sets by transitive subtournaments. If the Conjecture is not true then the smallest counterexample is a prime tournament. For a long time the Conjecture was known only for finitely many prime tournaments. Recently in \cite{bcc} and \cite{choromanski2} the Conjecture was proven for the families of galaxies and constellations that contain infinitely many prime tournaments. In \cite{bcc} the Conjecture was also proven for all $5$-vertex tournaments. We say that a tournament $H$ has the $EH$-property if it satisfies the Conjecture. In this paper we introduce the so-called \textit{strong EH-property} which enables us to prove the Conjecture for new prime tournaments, but what is even more interesting, provides a mechanism to combine tournaments satisfying the Conjecture to get bigger tournaments that do so and are not necessarily nonprime. We give several examples of families of tournaments constructed according to this procedure. The only procedure known before used to construct bigger tournaments satisfying the Conjecture from smaller tournaments satisfying the Conjecture was the so-called \textit{substitution procedure} (see: \cite{alon}). However an outcome of this procedure is always a nonprime tournament and, from what we have said before, prime tournaments are those that play crucial role in the research on the Conjecture. Our method may be potentially used to prove the Conjecture for several new classes of tournaments.