Showing 20 papers (Total: 82139 papers, 47531 authors in database)
Cooperative colorings of forests
Published
• View Publication
• BIB
Given a family $\mathcal G$ of graphs spanning a common vertex $V$, a cooperative coloring of $\mathcal G$ is a collection of one independent set from each graph of $\mathcal G$ such that the union of these independent sets equals $V$. We prove that when $d$ is large, there exists a family $\mathcal G$ of $(1+o(1)) \frac{\log d}{\log \log d}$ forests of maximum degree $d$ that admits no cooperative coloring, which significantly improves a result of Aharoni, Berger, Chudnovsky, Havet, and Jiang (Electronic Journal of Combinatorics, 2020). Our family $\mathcal G$ consists entirely of star forests, and we show that this value for $|\mathcal G|$ is asymptotically best possible in the case that $\mathcal G$ is a family of star forests.
A new perspective on semi-retractions and the Ramsey property
We investigate the notion of a semi-retraction between two first order structures (in typically different signatures) that was introduced by the second author as a link between the Ramsey property and generalized indiscernible sequences. We further these connections between combinatorics and model theory, and look at semi-retractions through a new lens establishing transfers of the Ramsey property and finite Ramsey degrees under quite general conditions that are optimal as demonstrated by counterexamples. Finally, we compare semi-retractions to the category theoretic notion of a pre-adjunction.
Pairs of MOLS of order ten satisfying non-trivial relations
Published in Des. Codes Cryptogr. 91 (2023), 1293-1313
• View Publication
• BIB
A relation on a $k$-net$(n)$ (or, equivalently, a set of $k-2$ mutually orthogonal Latin squares of order $n$) is an $\mathbb{F}_{2}$ linear dependence within the incidence matrix of the net. Dukes and Howard (2014) showed that any 6-net(10) satisfies at least two non-trivial relations, and classified the relations that could appear in such a net. We find that, up to equivalence, there are $18\,526\,320$ pairs of MOLS satisfying at least one non-trivial relation. None of these pairs extend to a triple. We also rule out one other relation on a set of $3$-MOLS from Dukes and Howard's classification.
Decompositions of functions defined on finite sets in $\mathbb{R}^d$
Published in Journal of Knot Theory and Its Ramifications, Vol. 31, No. 02, 2250011 (2022)
• View Publication
• BIB
A finite subset $M \subset \mathbb{R}^d$ is basic, if for any function $f \colon M \to \mathbb{R}$ there exists a collection of functions $f_1, \ldots, f_d \colon \mathbb{R} \to \mathbb{R}$ such that for each element $(x_1, \ldots, x_d)\in M$ we have $f(x_1, \ldots, x_d) = f_1(x_1) + \ldots + f_d(x_d)$. For certain finite sets, we prove a criterion for a set to be basic, and we show that it cannot be extended to the general case. In addition, we interpret the above criterion in terms of doubly-weighted graphs and give an estimation for the number of elements in certain basic and non-basic subsets.
Efficiently recognizing graphs with equal independence and annihilation numbers
Published
• View Publication
• BIB
The annihilation number $a(G)$ of a graph $G$ is an efficiently computable upper bound on the independence number $α(G)$ of $G$. Recently, Hiller observed that a characterization of the graphs $G$ with $α(G)=a(G)$ due to Larson and Pepper is false. Since the known efficient algorithm recognizing these graphs was based on this characterization, the complexity of recognizing graphs $G$ with $α(G)=a(G)$ was once again open. We show that these graphs can indeed be recognized efficiently. More generally, we show that recognizing graphs $G$ with $α(G)\geq a(G)-\ell$ is fixed parameter tractable using $\ell$ as parameter.
Partitioning into degenerate graphs in linear time
Published
• View Publication
• BIB
Let $G$ be a connected graph with maximum degree $Δ\geq 3$ distinct from $K_{Δ+ 1}$. Generalizing Brooks' Theorem, Borodin, Kostochka and Toft proved that if $p_1, \dots, p_s$ are non-negative integers such that $p_1 + \dots + p_s \geq Δ- s$, then $G$ admits a vertex partition into parts $A_1, \dots, A_s$ such that, for $1 \leq i \leq s$, $G[A_i]$ is $p_i$-degenerate. Here we show that such a partition can be performed in linear time. This generalizes previous results that treated subcases of a conjecture of Abu-Khzam, Feghali and Heggernes~\cite{abu2020partitioning}, which our result settles in full.
Piercing families of convex sets in the plane that avoid a certain subfamily with lines
Published
• View Publication
• BIB
We define a $C(k)$ to be a family of $k$ sets $F_1,\dots,F_k$ such that $\textrm{conv}(F_i\cup F_{i+1})\cap \textrm{conv}(F_j\cup F_{j+1})=\emptyset$ when $\{i,i+1\}\cap \{j,j+1\}=\emptyset$ (indices are taken modulo $k$). We show that if $\mathcal{F}$ is a family of compact, convex sets that does not contain a $C(k)$, then there are $k-2$ lines that pierce $\mathcal{F}$. Additionally, we give an example of a family of compact, convex sets that contains no $C(k)$ and cannot be pierced by $\left\lceil \frac{k}{2} \right\rceil -1$ lines.
Lengths of Cycles in Generalized Pancake Graphs
Published
• View Publication
• BIB
In this paper, we consider the lengths of cycles that can be embedded on the edges of the generalized pancake graphs which are the Cayley graph of the generalized symmetric group $S(m,n)$, generated by prefix reversals. The generalized symmetric group $S(m,n)$ is the wreath product of the cyclic group of order $m$ and the symmetric group of order $n!$. Our main focus is the underlying \emph{undirected} graphs, denoted by $\mathbb{P}_m(n)$. In the cases when the cyclic group has one or two elements, these graphs are isomorphic to the pancake graphs and burnt pancake graphs, respectively. We prove that when the cyclic group has three elements, $\mathbb{P}_3(n)$ has cycles of all possible lengths, thus resembling a similar property of pancake graphs and burnt pancake graphs. Moreover, $\mathbb{P}_4(n)$ has all the even-length cycles. We utilize these results as base cases and show that if $m>2$ is even, $\mathbb{P}_m(n)$ has all cycles of even length starting from its girth to a Hamiltonian cycle. Moreover, when $m>2$ is odd, $\mathbb{P}_m(n)$ has cycles of all lengths starting from its girth to a Hamiltonian cycle. We furthermore show that the girth of $\mathbb{P}_m(n)$ is $\min\{m,6\}$ if $m\geq3$, thus complementing the known results for $m=1,2.$
A survey on the parameterized complexity of the independent set and (connected) dominating set reconfiguration problems
Published
• View Publication
• BIB
A graph vertex-subset problem defines which subsets of the vertices of an input graph are feasible solutions. We view a feasible solution as a set of tokens placed on the vertices of the graph. A reconfiguration variant of a vertex-subset problem asks, given two feasible solutions of size $k$, whether it is possible to transform one into the other by a sequence of token slides (along edges of the graph) or token jumps (between arbitrary vertices of the graph) such that each intermediate set remains a feasible solution of size $k$. Many algorithmic questions present themselves in the form of reconfiguration problems: Given the description of an initial system state and the description of a target state, is it possible to transform the system from its initial state into the target one while preserving certain properties of the system in the process? Such questions have received a substantial amount of attention under the so-called combinatorial reconfiguration framework. We consider reconfiguration variants of three fundamental underlying graph vertex-subset problems, namely Independent Set, Dominating Set, and Connected Dominating Set. We survey both older and more recent work on the parameterized complexity of all three problems when parameterized by the number of tokens $k$. The emphasis will be on positive results and the most common techniques for the design of fixed-parameter tractable algorithms.
Positivity of permutation pattern character polynomials
Published in Advances in Applied Mathematics, Volume 147, June 2023
• View Publication
• BIB
Let $N_σ(π)$ denote the number of occurrences of a permutation pattern $σ\in S_k$ in a permutation $π\in S_n$. Gaetz and Ryba (2021) showed using partition algebras that the $d$-th moment $M_{σ,d,n}(π)$ of $N_σ$ on the conjugacy class of $π$ is given by a polynomial in $n,m_1,\dots,m_{dk}$, where $m_i$ denotes the number of $i$-cycles of $π$. They also showed that the coefficient $\langle χ^{λ[n]}, M_{σ,d,n}\rangle$ agrees with a polynomial $a_{σ,d}^λ(n)$ in $n$. This work is motivated by the conjecture that when $σ=\text{id}_k$ is the identity permutation, all of these coefficients are nonnegative. We directly compute closed forms for the polynomials $a_{\text{id}_k}^λ(n)$ in the cases $λ=(1),(1,1),$ and $(2)$, and use this to verify the positivity conjecture for those cases by showing that the polynomials are real-rooted with all roots less than $k$. We also study the case $a_σ^{(1)}(n)$, for which we give a formula for the polynomials and their leading coefficients.
Some results on the super domination number of a graph
Published
• View Publication
• BIB
Let $G=(V,E)$ be a simple graph. A dominating set of $G$ is a subset $S\subseteq V$ such that every vertex not in $S$ is adjacent to at least one vertex in $S$. The cardinality of a smallest dominating set of $G$, denoted by $γ(G)$, is the domination number of $G$. A dominating set $S$ is called a super dominating set of $G$, if for every vertex $u\in \overline{S}=V-S$, there exists $v\in S$ such that $N(v)\cap \overline{S}=\{u\}$. The cardinality of a smallest super dominating set of $G$, denoted by $γ_{sp}(G)$, is the super domination number of $G$. In this paper, we study super domination number of some graph classes and present sharp bounds for some graph operations.
A Multigraph Approach for Performing the Quantum Schur Transform
We take inspiration from the Okounkov-Vershik approach to the representation theory of the symmetric groups to develop a new way of understanding how the Schur-Weyl duality can be used to perform the Quantum Schur Transform. The Quantum Schur Transform is a unitary change of basis transformation between the computational basis of $(\mathbb{C}^d)^{\otimes n}$ and the Schur-Weyl basis of $(\mathbb{C}^d)^{\otimes n}$. We describe a new multigraph, which we call the Schur-Weyl-Young graph, that represents both standard Weyl tableaux and standard Young tableaux in the same diagram. We suggest a major improvement on Louck's formula for calculating the transition amplitudes between two standard Weyl tableaux appearing in adjacent levels of the Schur-Weyl-Young graph for the case $d=2$, merely by looking at the entries in the two tableaux. The key theoretical component that underpins our results is the discovery of a branching rule for the Schur-Weyl states, which we call the Schur-Weyl branching rule. This branching rule allows us to perform the change of basis transformation described above in a straightforward manner for any $n$ and $d$.
Determinants from homomorphisms
We give a new combinatorial explanation for well-known relations between determinants and traces of matrix powers. Such relations can be used to obtain polynomial-time and poly-logarithmic space algorithms for the determinant. Our new explanation avoids linear-algebraic arguments and instead exploits a classical connection between subgraph and homomorphism counts.
Powers of Hamiltonian cycles in randomly augmented Dirac graphs -- the complete collection
Published
• View Publication
• BIB
We study the powers of Hamiltonian cycles in randomly augmented Dirac graphs, that is, $n$-vertex graphs $G$ with minimum degree at least $(1/2+\varepsilon)n$ to which some random edges are added. For any Dirac graph and every integer $m\ge2$, we accurately estimate the threshold probability $p=p(n)$ for the event that the random augmentation $G\cup G(n,p)$ contains the $m$-th power of a Hamiltonian cycle.
Turán numbers and switching
Published
• View Publication
• BIB
Using a switching operation on tournaments we obtain some new lower bounds on the Turán number of the $r$-graph on $r+1$ vertices with $3$ edges. For $r=4$, extremal examples were constructed using Paley tournaments in previous work. We show that these examples are unique (in a particular sense) using Fourier analysis.
A $3$-tournament is a `higher order' version of a tournament given by an alternating function on triples of distinct vertices in a vertex set. We show that $3$-tournaments also enjoy a switching operation and use this to give a formula for the size of a switching class in terms of level permutations, generalising a result of Babai--Cameron.
A strengthening of Freiman's 3k-4 theorem
In its usual form, Freiman's 3k-4 theorem states that if A and B are subsets of the integers of size k with small sumset (of size close to 2k) then they are very close to arithmetic progressions. Our aim in this paper is to strengthen this by allowing only a bounded number of possible summands from one of the sets. We show that if A and B are subsets of the integers of size k such that for any four-element subset X of B the sumset A+X has size not much more than 2k then already this implies that A and B are very close to arithmetic progressions.
Some sufficient conditions for path-factor uniform graphs
Published
• View Publication
• BIB
For a set $\mathcal{H}$ of connected graphs, a spanning subgraph $H$ of $G$ is called an $\mathcal{H}$-factor of $G$ if each component of $H$ is isomorphic to an element of $\mathcal{H}$. A graph $G$ is called an $\mathcal{H}$-factor uniform graph if for any two edges $e_1$ and $e_2$ of $G$, $G$ has an $\mathcal{H}$-factor covering $e_1$ and excluding $e_2$. Let each component in $\mathcal{H}$ be a path with at least $d$ vertices, where $d\geq2$ is an integer. Then an $\mathcal{H}$-factor and an $\mathcal{H}$-factor uniform graph are called a $P_{\geq d}$-factor and a $P_{\geq d}$-factor uniform graph, respectively. In this article, we verify that (\romannumeral1) a 2-edge-connected graph $G$ is a $P_{\geq3}$-factor uniform graph if $δ(G)>\frac{α(G)+4}{2}$; (\romannumeral2) a $(k+2)$-connected graph $G$ of order $n$ with $n\geq5k+3-\frac{3}{5γ-1}$ is a $P_{\geq3}$-factor uniform graph if $|N_G(A)|>γ(n-3k-2)+k+2$ for any independent set $A$ of $G$ with $|A|=\lfloorγ(2k+1)\rfloor$, where $k$ is a positive integer and $γ$ is a real number with $\frac{1}{3}\leqγ\leq1$.
Signed spectral Turań type theorems
Published
• View Publication
• BIB
A signed graph $Σ= (G, σ)$ is a graph where the function $σ$ assigns either $1$ or $-1$ to each edge of the simple graph $G$. The adjacency matrix of $Σ$, denoted by $A(Σ)$, is defined canonically. In a recent paper, Wang et al. extended the eigenvalue bounds of Hoffman and Cvetković for the signed graphs. They proposed an open problem related to the balanced clique number and the largest eigenvalue of a signed graph. We solve a strengthened version of this open problem. As a byproduct, we give alternate proofs for some of the known classical bounds for the least eigenvalues of the unsigned graphs. We extend the Turán's inequality for the signed graphs. Besides, we study the Bollobás and Nikiforov conjecture for the signed graphs and show that the conjecture need not be true for the signed graphs. Nevertheless, the conjecture holds for signed graphs under some assumptions. Finally, we study some of the relationships between the number of signed walks and the largest eigenvalue of a signed graph.
Reciprocal distance energy of complete multipartite graphs
In this paper, first we compute the energy of a special partitioned matrix under some cases. As a consequence, we obtain the reciprocal distance energy of the complete multipartite graph and also we give various other energies of complete multipartite graphs. Next, we show that among all complete k-partite graphs on n vertices, the complete split graph has minimum reciprocal distance energy and the reciprocal distance energy is maximum for the Turan graph. At last, it is shown that the reciprocal distance energy of the complete bipartite graph km,m decreases under deletion of an edge if 2\le m\le 7, whereas the reciprocal distance energy increases if 8 \le m. Also, we show that the reciprocal distance energy of the complete tripartite graph does not increase under edge deletion
The maximum spectral radius of non-bipartite graphs forbidding short odd cycles
Published in The Electronic Journal of Combinatorics 29(4) (2022), #P4.2
• View Publication
• BIB
It is well-known that eigenvalues of graphs can be used to describe structural properties and parameters of graphs. A theorem of Nosal states that if $G$ is a triangle-free graph with $m$ edges, then $λ(G)\le \sqrt{m}$, equality holds if and only if $G$ is a complete bipartite graph. Recently, Lin, Ning and Wu [Combin. Probab. Comput. 30 (2021)] proved a generalization for non-bipartite triangle-free graphs. Moreover, Zhai and Shu [Discrete Math. 345 (2022)] presented a further improvement. In this paper, we present an alternative method for proving the improvement by Zhai and Shu. Furthermore, the method can allow us to give a refinement on the result of Zhai and Shu for non-bipartite graphs without short odd cycles.