Showing 20 papers (Total: 82311 papers, 47607 authors in database)
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.
Some remarks and conjectures about Hankel determinants of polynomials which are related to Motzkin paths
This note collects some results and conjectures for the generating functions of the Hankel determinants of certain polynomials which are related to Motzkin paths.
SYK model with an extra diagonal perturbation: phase transition in the eigenvalue spectrum
Published
• View Publication
• BIB
We study the SYK model with an extra constant source, i.e. a constant matrix or equivalently a diagonal matrix with only one non-zero entry $λ_1$. By using methods from analytic combinatorics, we find exact expressions for the moments of this model. We further prove that the spectrum of this model can have a gap when $λ_1>λ^c_1$, thus exhibiting a phase transition in $λ_1$. In this case, a single isolated eigenvalue splits off from SYK's eigenvalues distribution. We located this single eigenvalue by analyzing the singular behavior of a supercritical functional composition scheme. In certain limit our results recover the ones of random matrices with non-zero mean entries.
Disjoint odd circuits in a bridgeless cubic graph can be quelled by a single perfect matching
Published in J. Combin. Theory Ser. B 160, 1--14 (2023). Share Link: https://authors.elsevier.com/a/1gKfKLpTmV29P
• View Publication
• BIB
Let $G$ be a bridgeless cubic graph. The Berge--Fulkerson Conjecture (1970s) states that $G$ admits a list of six perfect matchings such that each edge of $G$ belongs to exactly two of these perfect matchings. If answered in the affirmative, two other recent conjectures would also be true: the Fan--Raspaud Conjecture (1994), which states that $G$ admits three perfect matchings such that every edge of $G$ belongs to at most two of them; and a conjecture by Mazzuoccolo (2013), which states that $G$ admits two perfect matchings whose deletion yields a bipartite subgraph of $G$. It can be shown that given an arbitrary perfect matching of $G$, it is not always possible to extend it to a list of three or six perfect matchings satisfying the statements of the Fan--Raspaud and the Berge--Fulkerson conjectures, respectively. In this paper, we show that given any $1^+$-factor $F$ (a spanning subgraph of $G$ such that its vertices have degree at least 1) and an arbitrary edge $e$ of $G$, there always exists a perfect matching $M$ of $G$ containing $e$ such that $G\setminus (F\cup M)$ is bipartite. Our result implies Mazzuoccolo's conjecture, but not only. It also implies that given any collection of disjoint odd circuits in $G$, there exists a perfect matching of $G$ containing at least one edge of each circuit in this collection.
On the location of chromatic zeros of series-parallel graphs
Published
• View Publication
• BIB
In this paper we consider the zeros of the chromatic polynomial of series-parallel graphs. Complementing a result of Sokal, showing density outside the disk $|q-1|\leq1$, we show density of these zeros in the half plane $\Re(q)>3/2$ and we show there exists an open region $U$ containing the interval $(0,32/27)$ such that $U\setminus\{1\}$ does not contain zeros of the chromatic polynomial of series-parallel graphs.
We also disprove a conjecture of Sokal by showing that for each large enough integer $Δ$ there exists a series-parallel graph for which all vertices but one have degree at most $Δ$ and whose chromatic polynomial has a zero with real part exceeding $Δ$.
Bakry-Émery curvature sharpness and curvature flow in finite weighted graphs. I. Theory
In this sequence of two papers, we introduce a curvature flow on (mixed) weighted graphs which is based on the Bakry-Émery calculus. The flow is described via a time-continuous evolution through the weighting schemes. By adapting this flow to preserve the Markovian property, its limits turn out to be curvature sharp. Our aim is to present the flow in the most general case of not necessarily reversible random walks allowing laziness, including vanishing transition probabilities along some edges ("degenerate" edges). This approach requires to extend all concepts (in particular, the Bakry-Émery curvature related notions) to this general case and it leads to a distinction between the underlying topology (a mixed combinatorial graph) and the weighting scheme (given by transition rates). We present various results about curvature sharp vertices and weighted graphs as well as some fundamental properties of this new curvature flow. This paper is accompanied by a second paper discussing the curvature flow implementation in Python for practical use. In this second paper we present examples and exhibit further properties of the flow.
Strings from linear recurrences and permutations: a Gray code
Published
• View Publication
• BIB
Each positive increasing integer sequence $\{a_n\}_{n\geq 0}$ can serve as a numeration system to represent each non-negative integer by means of suitable coefficient strings. We analyse the case of $k$-generalized Fibonacci sequences leading to the binary strings avoiding $1^k$. We prove a bijection between the set %$F_n^{(k)}$ of strings of length $n$ and the set of permutations of $S_{n+1}(321,312,23\ldots(k+1)1)$. Finally, basing on a known Gray code for those strings, we define a Gray code for $S_{n+1}(321,312,23\ldots(k+1)1)$, where two consecutive permutations differ by an adjacent transposition.
Estimates for $k$-dimensional spherical summations of arithmetic functions of the GCD and LCM
Published in H. Maier et al. (eds.) Number Theory in Memory of Eduard Wirsing, Springer, Cham, 2023, pp. 157-183
• View Publication
• BIB
Let $k\ge 2$ be a fixed integer. We consider sums of type $\sum_{n_1^2+\cdots+ n_k^2\le x} F(n_1,\ldots,n_k)$, taken over the $k$-dimensional spherical region $\{(n_1,\ldots,n_k)\in {\Bbb Z}^k: n_1^2+\cdots+ n_k^2\le x\}$, where $F:{\Bbb Z}^k\to {\Bbb C}$ is a given function. In particular, we deduce asymptotic formulas with remainder terms for the spherical summations $\sum_{n_1^2+\cdots+ n_k^2\le x} f((n_1,\ldots,n_k))$ and $\sum_{n_1^2+\cdots+ n_k^2\le x} f([n_1,\ldots,n_k])$, involving the GCD and LCM of the integers $n_1,\ldots,n_k$, where $f:{\Bbb N}\to {\Bbb C}$ belongs to certain classes of functions.
On intriguing sets in five classes of strongly regular graphs
Published
• View Publication
• BIB
In this paper, we construct intriguing sets in five classes of strongly regular graphs defined on nonisotropic points of finite classical polar spaces, and determine their intersection numbers.