Showing 20 papers (Total: 81680 papers, 47334 authors in database)
An improved lower bound on the number of $1$-nearly independent vertex subsets
Let $G=(V(G),E(G))$ be a graph with set of vertices $V(G)$ and set of edges $E(G)$. For $k\ge 0$ an integer, a subset $I_k$ of $V(G)$ is called a $k$-nearly independent vertex subset of $G$ if $I_k$ induces a subgraph of size $k$ in $G$. The number of such subsets in $G$ is denoted by $σ_k(G)$. In this paper we continue the study of $σ_1$. In particular, we prove the lower bound on $σ_1$ for a connected graph that contains a cycle and also characterise the two extremal graphs. This improves the result obtained in [E. O. D. Andriantiana and Z. B. Shozi. The number of 1-nearly independent vertex subsets. \textit{Quaestiones Mathematicae}, accepted].
Resistance, oddness and colouring defect of snarks
Published
• View Publication
• BIB
Let $G$ be a bridgeless cubic graph. The \textit{resistance} of $G$, denoted $r(G)$, is the minimum number of edges which can be removed from $G$ in order to render 3-edge-colourability. The \textit{oddness} of $G$, denoted $ω(G)$, is the minimum number of odd components in a 2-factor of $G$. The \textit{colouring defect} of $G$ (or simply, the \textit{defect} of $G$), denoted $μ_3(G)$, is the minimum number of edges not contained in any set of three perfect matchings of $G$. These three parameters are regarded as measurements of uncolourability of snarks, partly because any one of these parameters equal zero if and only if $G$ is 3-edge-colourable. It is also known that $r(G) \geq ω(G)$ and that $μ_3(G) \geq \frac{3}{2}ω(G)$ \cite{fiol,jinsteffen}. We have shown that the ratio of oddness to resistance can be arbitrarily large for non-trivial snarks \cite{allie1}. It has also been shown that the ratio of the defect to oddness can be arbitrarily large for non-trivial snarks, although this result was only shown for graphs with oddness equal to 2 \cite{karabasetal}. In the same paper, the question was posed whether there exists non-trivial snarks for given resistance $r$ or given oddness $ω$, and arbitrarily large defect. In this paper, we prove a stronger result: For any positive integers $r \geq 2$, even $ω\geq r$, and $d \geq \frac{3}{2}ω$, there exists a non-trivial snark $G$ with $r(G)=r$, $ω(G)=ω$ and $μ_3(G) \geq d$.
Coloring the intersection of two matroids
Published
• View Publication
• BIB
A result [The intersection of a matroid and a simplicial complex, Trans. Amer. Math. Soc. 358] from 2006 of Aharoni and the first author of this paper states that for any two positive integers $p,q$, where $p$ divides $q$, if a matroid $\mathcal{M}$ is $p$-colorable and a matroid $\mathcal{N}$ is $q$-colorable then $\mathcal{M} \cap \mathcal{N}$ is $(p+q)$-colorable. In this paper we show that the assumption that $p$ divides $q$ is in fact redundant, and we also prove that $\mathcal{M} \cap \mathcal{N}$ is even $p+q$ list-colorable.
The result uses topology and relies on a new parameter yielding a lower bound for the topological connectivity of the intersection of two matroids.
Symmetry groups and deformations of sums of exponentials
Published in Communications in Mathematics, Volume 33 (2025), Issue 1 (January 9, 2025) cm:13932
• View Publication
• BIB
We study the symmetry groups and winding numbers of planar curves obtained as images of weighted sums of exponentials. More generally, we study the image of the complex unit circle under a finite or infinite Laurent series using a particular parametrization of the circle. We generalize various previous results on such sums of exponentials and relate them to other classes of curves present in the literature. Moreover, we consider the evolution under the wave equation of such curves for the case of binomials. Interestingly, our methods provide a unified and systematic way of constructing curves with prescribed properties, such as the number of cusps, the number of intersection points or the winding number.
$k$-Coalitions in Graphs
In this paper, we propose and investigate the concept of $k$-coalitions in graphs, where $k\ge 1$ is an integer. A $k$-coalition refers to a pair of disjoint vertex sets that jointly constitute a $k$-dominating set of the graph, meaning that every vertex not in the set has at least $k$ neighbors in the set. We define a $k$-coalition partition of a graph as a vertex partition in which each set is either a $k$-dominating set with exactly $k$ members or forms a $k$-coalition with another set in the partition. The maximum number of sets in a $k$-coalition partition is called the $k$-coalition number of the graph represented by $C_k(G)$. We present fundamental findings regarding the properties of $k$-coalitions and their connections with other graph parameters. We obtain the exact values of $2$-coalition number of some specific graphs and also study graphs with large $2$-coalition number.
A short proof of the Goldberg-Seymour conjecture
For a multigraph $G$, $χ'(G)$ denotes the chromatic index of $G$, $Δ(G)$ the maximum degree of $G$, and $Γ(G) = \max\left\{\left\lceil \frac{2|E(H)|}{|V(H)|-1} \right\rceil: H \subseteq G \text{ and } |V(H)| \text{ odd}\right\}$. As a generalization of Vizing's classical coloring result for simple graphs, the Goldberg-Seymour conjecture, posed in the 1970s, states that $χ'(G)=\max\{Δ(G), Γ(G)\}$ or $χ'(G)=\max\{Δ(G) + 1, Γ(G)\}$. Hochbaum, Nishizeki, and Shmoys further conjectured in 1986 that such a coloring can be found in polynomial time. A long proof of the Goldberg-Seymour conjecture was announced in 2019 by Chen, Jing, and Zang, and one case in that proof was eliminated recently by Jing (but the proof is still long); and neither proof has been verified. In this paper, we give a proof of the Goldberg-Seymour conjecture that is significantly shorter and confirm the Hochbaum-Nishizeki-Shmoys conjecture by providing an $O(|V|^5|E|^3)$ time algorithm for finding a $\max\{Δ(G) + 1, Γ(G)\}$-edge-coloring of $G$.
Intrinsically knotted graphs and connected domination
We classify all the maximal linklessly embeddable graphs of order 12 and show that their complements are all intrinsically knotted. We derive results about the connected domination numbers of a graph and its complement. We provide an answer to an open question about the minimal order of a 3-non-compliant graph. We prove that the complements of knotlessly embeddable graphs of order at least 15 are all intrinsically knotted. We provide results on general $k$-non-compliant graphs and leave a set of open questions for further exploration of the subject.
Integer programs with nearly totally unimodular matrices: the cographic case
Published
• View Publication
• BIB
It is a notorious open question whether integer programs (IPs), with an integer coefficient matrix $M$ whose subdeterminants are all bounded by a constant $Δ$ in absolute value, can be solved in polynomial time. We answer this question in the affirmative if we further require that, by removing a constant number of rows and columns from $M$, one obtains a submatrix $A$ that is the transpose of a network matrix.
Our approach focuses on the case where $A$ arises from $M$ after removing $k$ rows only, where $k$ is a constant. We achieve our result in two main steps, the first related to the theory of IPs and the second related to graph minor theory.
First, we derive a strong proximity result for the case where $A$ is a general totally unimodular matrix: Given an optimal solution of the linear programming relaxation, an optimal solution to the IP can be obtained by finding a constant number of augmentations by circuits of $[A\; I]$.
Second, for the case where $A$ is transpose of a network matrix, we reformulate the problem as a maximum constrained integer potential problem on a graph $G$. We observe that if $G$ is $2$-connected, then it has no rooted $K_{2,t}$-minor for $t = Ω(k Δ)$. We leverage this to obtain a tree-decomposition of $G$ into highly structured graphs for which we can solve the problem locally. This allows us to solve the global problem via dynamic programming.
Calligraphy Concerning Casually Compiled Cardinal Characteristic Comparisons
I establish several inequalities between cardinal characteristics of the continuum. In particular, it is shown that the partition splitting number is not larger than the uniformity of the meagre ideal; not all sets of reals having the cardinality of an (the?) $\varepsilon$-almost bisecting number are of strong measure zero; no fewer sets of strong measure zero than indicated by the statistically reaping number suffice to cover the reals; the pair-splitting number is not smaller than the evasion number; and the subseries number is neither smaller than the pair-splitting number nor than the minimum of the unbounding number and the unbisecting number. Moreover I provide a diagram putting these results into context and give a brief historical account.
Obstructions to Erdős-Pósa Dualities for Minors
Published
• View Publication
• BIB
Let ${\cal G}$ and ${\cal H}$ be minor-closed graph classes. The pair $({\cal H},{\cal G})$ is an Erdős-Pósa pair (EP-pair) if there is a function $f$ where, for every $k$ and every $G\in{\cal G},$ either $G$ has $k$ pairwise vertex-disjoint subgraphs not belonging to ${\cal H},$ or there is a set $S\subseteq V(G)$ where $|S|\leq f(k)$ and $G-S\in{\cal H}.$ The classic result of Erdős and Pósa says that if $\mathcal{F}$ is the class of forests, then $({\cal F},{\cal G})$ is an EP-pair for every ${\cal G}$. The class ${\cal G}$ is an EP-counterexample for ${\cal H}$ if ${\cal G}$ is minimal with the property that $({\cal H},{\cal G})$ is not an EP-pair. We prove that for every ${\cal H}$ the set $\mathfrak{C}_{\cal H}$ of all EP-counterexamples for ${\cal H}$ is finite. In particular, we provide a complete characterization of $\mathfrak{C}_{\cal H}$ for every ${\cal H}$ and give a constructive upper bound on its size. Each class ${\cal G}\in \mathfrak{C}_{\cal H}$ can be described as all minors of a sequence of grid-like graphs $\langle \mathscr{W}_{k} \rangle_{k\in \mathbb{N}}.$ Moreover, each $\mathscr{W}_{k}$ admits a half-integral packing: $k$ copies of some $H\not\in{\cal H}$ where no vertex is used more than twice. This gives a complete delineation of the half-integrality threshold of the Erdős-Pósa property for minors and yields a constructive proof of Thomas' conjecture on the half-integral Erdős-Pósa property for minors (recently confirmed, non-constructively, by Liu). Let $h$ be the maximum size of a graph in ${\cal H}.$ For every class ${\cal H},$ we construct an algorithm that, given a graph $G$ and a $k,$ either outputs a half-integral packing of $k$ copies of some $H \not\in {\cal H}$ or outputs a set of at most ${2^{k^{\cal O}_h(1)}}$ vertices whose deletion creates a graph in ${\cal H}$ in time $2^{2^{k^{{\cal O}_h(1)}}}\cdot |G|^4\log |G|.$
Identifying open codes in trees and 4-cycle-free graphs of given maximum degree
Published
• View Publication
• BIB
An identifying open code of a graph $G$ is a set $S$ of vertices that is both a separating open code (that is, $N_G(u) \cap S \ne N_G(v) \cap S$ for all distinct vertices $u$ and $v$ in $G$) and a total dominating set (that is, $N(v) \cap S \ne \emptyset$ for all vertices~$v$ in $G$). Such a set exists if and only if the graph $G$ is open twin-free and isolate-free; and the minimum cardinality of an identifying open code in an open twin-free and isolate-free graph $G$ is denoted by $γ^{\rm {\small IOC}}(G)$.
We study the smallest size of an identifying open code of a graph, in relation with its order and its maximum degree. For $Δ$ a fixed integer at least $3$, if $G$ is a connected graph of order $n \ge 5$ that contains no $4$-cycle and is open twin-free with maximum degree bounded above by $Δ$, then we show that $γ^{\rm {\small IOC}}(G) \le \left( \frac{2Δ- 1}Δ \right) n$, unless $G$ is obtained from a star $K_{1,Δ}$ by subdividing every edge exactly once.
Moreover, we show that the bound is best possible by constructing graphs that reach the bound.
Rainbow Cliques in Edge-Colored Graphs
Published
• View Publication
• BIB
Let $G = (V,E)$ be an $n$-vertex graph and let $c: E \to \mathbb{N}$ be a coloring of its edges. Let $d^c(v)$ be the number of distinct colors on the edges at $v \in V$ and let $δ^c(G) = \min_{v \in V} \{ d^{c}(v) \}$. H. Li proved that $δ^c(G) > n/2$ guarantees a rainbow triangle in $G$. We give extensions of Li's result to cliques $K_r$ for $r \ge 4$.
On the characteristic and diameter of planar integral point sets
Published in Australas. J. Combin. 93 (3) (2025), 461-477
• Search Publication
A point set $M$ in Euclidean plane is called an integral point set in semi-general position if all the distances between the elements of $M$ are integers, and $M$ does not contain collinear triples. We improve the lower bound for diameter of such sets in the particular case when the characteristic of the set is of the form $4k+1$ or $4k+2$. To achieve that, we combine hyperbolae-based and grid-based toolsets.
Topology of Cut Complexes II
Published in SIAM J. Discrete Math. 39, No. 2, 1123-1157 (2025)
• View Publication
• BIB
We continue the study of the $k$-cut complex $Δ_k(G)$ of a graph $G$ initiated in the paper of Bayer, Denker, Jelić Milutinović, Rowlands, Sundaram and Xue [Topology of cut complexes of graphs, SIAM J. on Discrete Math. 38(2): 1630--1675 (2024)].
We give explicit formulas for the $f$- and $h$-polynomials of the cut complex $Δ_k(G_1+G_2) $ of the disjoint union of two graphs $G_1$ and $G_2$, and for the homology representation of $Δ_k(K_m+K_n)$.
We also study the cut complex of the squared path and the grid graph. Our techniques include tools from combinatorial topology, discrete Morse theory and equivariant poset topology.
SL(2,Z)-matrixizations of generalized Markov numbers
For $k\geq 0$, a $k$-generalized Markov number is an integer which appears in some positive integer solution to the $k$-generalized Markov equation $x^2 + y^2 + z^2 + k(yz + zx + xy) = (3 + 3k)xyz$. In this paper, we discuss a combinatorial structure of generalized Markov numbers. To investigate this structure in detail, we use two families of matrices: the $k$-generalized Cohn matrices and the $k$-Markov-monodromy matrices, which are elements of $SL(2, \mathbb{Z})$ whose $(1,2)$-entries are $k$-generalized Markov numbers. We show that these two families of matrices recover the tree structure of the positive integer solutions to the generalized Markov equation, and we give geometric interpretations and a combinatorial interpretation of $k$-generalized Markov numbers. As an application, we provide a computation algorithm of classical Markov number from a one-dimensional dynamical viewpoint. Moreover, we clarify a relation between $k$-generalized Markov numbers and toric surface singularities via continued fractions.
Distance Antimagic Labeling of Zero-Divisor Graphs
In this paper, we prove that for all $m\geq 1$ and $n=1$, the graph $ mΓ(\mathbb{Z}_9)+nΓ(\mathbb{Z}_4)$, for all $n\geq 1$, and $m=1$, the graph $m\overline{Γ(\mathbb{Z}_6)}+nΓ(\mathbb{Z}_9)$, for all $m\geq1$, $[mΓ(\mathbb{Z}_9)+Γ(\mathbb{Z}_4)]\times Γ(\mathbb{Z}_9)$, for all prime $m\geq3$, $Γ(\mathbb{Z}_6)\timesΓ(\mathbb{Z}_{2m})$ and $Γ(\mathbb{Z}_6)\timesΓ(\mathbb{Z}_{m^2})$ are all admit distance antimagic labeling.
Associated Mersenne graphs
Published
• View Publication
• BIB
In this paper, a new sub-family of Hypercubes called the \textit{associated Mersenne graphs} $\mathcal{M}_{n}$ are introduced. The definition of associated Mersenne graphs is motivated from the Fibonacci-run graphs ({Ö}. Eǧecioǧlu, V. Iršič, 2021) by extending run-constrained strings to circularly-run-constrained strings. The name of this new family of graphs is identified with the interesting fact that $|V(\mathcal{M}_{n})|$ is equal to the $n$-th associated Mersenne number. Various interesting structural and enumerative properties of associated Mersenne graphs are investigated, including the analogue of the fundamental recursion, number of vertices and edges, radius, diameter, center, periphery and medianicity. Some future research directions and open problems concerning associated Mersenne graphs are also proposed.
Explicit estimates for the Stirling numbers of the second kind
We give explicit estimates for the Stirling numbers of the second kind $S(n,m)$. With a few exceptions, such estimates are asymptotically sharp. The form of these estimates varies according to $m$ lying in the central or non-central regions of $\{1,\ldots ,n\}$. In each case, we use a different probabilistic representation of $S(n,m)$ in terms of well known random variables to show the corresponding results.
The first Steklov eigenvalue of planar graphs and beyond
Published
• View Publication
• BIB
The Steklov eigenvalue problem was introduced over a century ago, and its discrete form attracted interest recently. Let $D$ and $δΩ$ be the maximum vertex degree and the set of vertices of degree one in a graph $\mathcal{G}$ respectively. Let $λ_2$ be the first (non-trivial) Steklov eigenvalue of $(\mathcal{G}, δΩ)$. In this paper, using the circle packing theorem and conformal mapping, we first show that $λ_2 \leq 8D / |δΩ|$ for planar graphs. This can be seen as a discrete analogue of Kokarev's bound, that is, $λ_2 < 8π/ |\partial Ω|$ for compact surfaces with boundary of genus $0$. Let $B$ and $L$ be the maximum block size and the diameter of a block graph $\mathcal{G}$ respectively. Secondly, we prove that $λ_2 \leq 4 (B-1) (D-1)/ |δΩ|$ and $λ_2 \leq B/L$ for block graphs, which extend the results on trees by He and Hua. In the end, for trees with fixed leaf number and maximum degree, candidates that achieve the maximum first Steklov eigenvalue are given.
Bounds in a popular multidimensional nonlinear Roth theorem
Published
• View Publication
• BIB
A nonlinear version of Roth's theorem states that dense sets of integers contain configurations of the form $x$, $x+d$, $x+d^2$. We obtain a multidimensional version of this result, which can be regarded as a first step towards effectivising those cases of the multidimensional polynomial Szemerédi theorem involving polynomials with distinct degrees. In addition, we prove an effective ``popular'' version of this result, showing that every dense set has some non-zero $d$ such that the number of configurations with difference parameter $d$ is almost optimal. Perhaps surprisingly, the quantitative dependence in this result is exponential, compared to the tower-type bounds encountered in the popular linear Roth theorem.