contain ↗ reference
7694 papers tagged with this keyword
Digraph redicolouring
Published
• View Publication
• BIB
Given two $k$-dicolourings of a digraph $D$, we prove that it is PSPACE-complete to decide whether we can transform one into the other by recolouring one vertex at each step while maintaining a dicolouring at any step even for $k=2$ and for digraphs with maximum degree $5$ or oriented planar graphs with maximum degree $6$. A digraph is said to be $k$-mixing if there exists a transformation between any pair of $k$-colourings. We show that every digraph $D$ is $k$-mixing for all $k\geq δ^*_{\min}(D)+2$, generalizing a result due to Dyer et al. We also prove that every oriented graph $\vec{G}$ is $k$-mixing for all $k\geq δ^*_{\max}(\vec{G}) +1$ and for all $k\geq δ^*_{\rm avg}(\vec{G})+1$. We conjecture that, for every digraph $D$, the dicolouring graph of $D$ on $k\geq δ_{\min}^*(D)+2$ colours has diameter at most $O(|V(D)|^2)$ and give some evidences. We first prove that the dicolouring graph of any digraph $D$ on $k\geq 2δ_{\min}^*(D) + 2$ colours has linear diameter, extending a result from Bousquet and Perarnau. We also prove that the conjecture is true when $k\geq \frac{3}{2}(δ_{\min}^*(D)+1)$. Restricted to the special case of oriented graphs, we prove that the dicolouring graph of any subcubic oriented graph on $k\geq 2$ colours is connected and has diameter at most $2n$. We conjecture that every non $2$-mixing oriented graph has maximum average degree at least $4$, and we provide some support for this conjecture by proving it on the special case of $2$-freezable oriented graphs. More generally, we show that every $k$-freezable oriented graph on $n$ vertices must contain at least $kn + k(k-2)$ arcs, and we give a family of $k$-freezable oriented graphs that reach this bound. In the general case, we prove as a partial result that every non $2$-mixing oriented graph has maximum average degree at least $\frac{7}{2}$.
Saturation Numbers for Berge Cliques
Published
• View Publication
• BIB
Let $F$ be a graph and $\mathcal{H}$ be a hypergraph, both embedded on the same vertex set. We say $\mathcal{H}$ is a Berge-$F$ if there exists a bijection $φ:E(F)\to E(\mathcal{H})$ such that $e\subseteq φ(e)$ for all $e\in E(F)$. We say $\mathcal{H}$ is Berge-$F$-saturated if $\mathcal{H}$ does not contain any Berge-$F$, but adding any missing edge to $\mathcal{H}$ creates a copy of a Berge-$F$.
The saturation number $\mathrm{sat}_k(n,\text{Berge-}F)$ is the least number of edges in a Berge-$F$-saturated $k$-uniform hypergraph on $n$ vertices.
We show
\[
\mathrm{sat}_k(n,\text{Berge-}K_\ell)\sim \frac{\ell-2}{k-1}n,
\]
for all $k,\ell\geq 3$. Furthermore, we provide some sufficient conditions to imply that $\mathrm{sat}_k(n,\text{Berge-}F)=O(n)$ for general graphs $F$.
Comparing Three Generations of D-Wave Quantum Annealers for Minor Embedded Combinatorial Optimization Problems
Published in Quantum Science and Technology, 2025
• View Publication
• BIB
Quantum annealing is a novel type of analog computation that aims to use quantum mechanical fluctuations to search for optimal solutions of Ising problems. Quantum annealing in the Transverse Ising model, implemented on D-Wave QPUs, are available as cloud computing resources. In this article we report concise benchmarks across three generations of D-Wave quantum annealers, consisting of four different devices, for the NP-Hard combinatorial optimization problems unweighted maximum clique and unweighted maximum cut on random graphs. The Ising, or equivalently QUBO, formulation of these problems do not require auxiliary variables for order reduction, and their overall structure and weights are not highly complex, which makes these problems simple test cases to understand the sampling capability of current D-Wave quantum annealers. All-to-all minor embeddings of size $52$, with relatively uniform chain lengths, are used for a direct comparison across the Chimera, Pegasus, and Zephyr device topologies. A grid search over annealing times and the minor embedding chain strengths is performed in order to determine the level of reasonable performance for each device and problem type. Experiment metrics that are reported are approximation ratios for non-broken chain samples and chain break proportions. How fairly the quantum annealers sample optimal maximum cliques, for instances which contain multiple maximum cliques, is also quantified using entropy of the measured ground state distributions. The newest generation of quantum annealing hardware, which has a Zephyr hardware connectivity, performed the best overall with respect to approximation ratios and chain break frequencies.
Vertex-Critical $(P_5, chair)$-Free Graphs
Given two graphs $H_1$ and $H_2$, a graph $G$ is $(H_1,H_2)$-free if it contains no induced subgraph isomorphic to $H_1$ or $H_2$. A $P_t$ is the path on $t$ vertices. A chair is a $P_4$ with an additional vertex adjacent to one of the middle vertices of the $P_4$. A graph $G$ is $k$-vertex-critical if $G$ has chromatic number $k$ but every proper induced subgraph of $G$ has chromatic number less than $k$. In this paper, we prove that there are finitely many 5-vertex-critical $(P_5,chair)$-free graphs.
Interaction graphs of isomorphic automata networks I: complete digraph and minimum in-degree
Published
• View Publication
• BIB
An automata network with $n$ components over a finite alphabet $Q$ of size $q$ is a discrete dynamical system described by the successive iterations of a function $f:Q^n\to Q^n$. In most applications, the main parameter is the interaction graph of $f$: the digraph with vertex set $[n]$ that contains an arc from $j$ to $i$ if $f_i$ depends on input $j$. What can be said on the set $\mathbb{G}(f)$ of the interaction graphs of the automata networks isomorphic to $f$? It seems that this simple question has never been studied. Here, we report some basic facts. First, we prove that if $n\geq 5$ or $q\geq 3$ and $f$ is neither the identity nor constant, then $\mathbb{G}(f)$ always contains the complete digraph $K_n$, with $n^2$ arcs. Then, we prove that $\mathbb{G}(f)$ always contains a digraph whose minimum in-degree is bounded as a function of $q$. Hence, if $n$ is large with respect to $q$, then $\mathbb{G}(f)$ cannot only contain $K_n$. However, we prove that $\mathbb{G}(f)$ can contain only dense digraphs, with at least $\lfloor n^2/4 \rfloor$ arcs.
Induced subgraphs and tree decompositions VIII. Excluding a forest in (theta, prism)-free graphs
Published in Combinatorica 44 (2024), 921-948
• View Publication
• BIB
Given a graph $H$, we prove that every (theta, prism)-free graph of sufficiently large treewidth contains either a large clique or an induced subgraph isomorphic to $H$, if and only if $H$ is a forest.
On non-degenerate Berge-Turán problems
Published
• View Publication
• BIB
Given a hypergraph $\mathcal{H}$ and a graph $G$, we say that $\mathcal{H}$ is a \textit{Berge}-$G$ if there is a bijection between the hyperedges of $\mathcal{H}$ and the edges of $G$ such that each hyperedge contains its image. We denote by $ex_k(n,\text{Berge-}F)$ the largest number of hyperedges in a $k$-uniform Berge-$F$-free graph. Let $ex(n,H,F)$ denote the largest number of copies of $H$ in $n$-vertex $F$-free graphs. It is known that $ex(n,K_k,F)\le ex_k(n,\text{Berge-}F)\le ex(n,K_k,F)+ex(n,F)$, thus if $χ(F)>r$, then $ex_k(n,\text{Berge-}F)=(1+o(1)) ex(n,K_k,F)$. We conjecture that $ex_k(n,\text{Berge-}F)=ex(n,K_k,F)$ in this case. We prove this conjecture in several instances, including the cases $k=3$ and $k=4$. We prove the general bound $ex_k(n,\text{Berge-}F)= ex(n,K_k,F)+O(1)$.
Quantum Annealing vs. QAOA: 127 Qubit Higher-Order Ising Problems on NISQ Computers
Published in International Conference on High Performance Computing (ISC HPC), 2023, pp. 240--258
• View Publication
• BIB
Quantum annealing (QA) and Quantum Alternating Operator Ansatz (QAOA) are both heuristic quantum algorithms intended for sampling optimal solutions of combinatorial optimization problems. In this article we implement a rigorous direct comparison between QA on D-Wave hardware and QAOA on IBMQ hardware. These two quantum algorithms are also compared against classical simulated annealing. The studied problems are instances of a class of Ising models, with variable assignments of $+1$ or $-1$, that contain cubic $ZZZ$ interactions (higher order terms) and match both the native connectivity of the Pegasus topology D-Wave chips and the heavy hexagonal lattice of the IBMQ chips. The novel QAOA implementation on the heavy hexagonal lattice has a CNOT depth of $6$ per round and allows for usage of an entire heavy hexagonal lattice. Experimentally, QAOA is executed on an ensemble of randomly generated Ising instances with a grid search over $1$ and $2$ round angles using all 127 programmable superconducting transmon qubits of ibm_washington. The error suppression technique digital dynamical decoupling is also tested on all QAOA circuits. QA is executed on the same Ising instances with the programmable superconducting flux qubit devices D-Wave Advantage_system4.1 and Advantage_system6.1 using modified annealing schedules with pauses. We find that QA outperforms QAOA on all problem instances. We also find that dynamical decoupling enables 2-round QAOA to marginally outperform 1-round QAOA, which is not the case without dynamical decoupling.
On harmonious coloring of hypergraphs
Published in Discrete Mathematics & Theoretical Computer Science, vol. 26:2, Graph Theory (July 16, 2024) dmtcs:11101
• View Publication
• BIB
A harmonious coloring of a $k$-uniform hypergraph $H$ is a vertex coloring such that no two vertices in the same edge have the same color, and each $k$-element subset of colors appears on at most one edge. The harmonious number $h(H)$ is the least number of colors needed for such a coloring.
The paper contains a new proof of the upper bound $h(H)=O(\sqrt[k]{k!m})$ on the harmonious number of hypergraphs of maximum degree $Δ$ with $m$ edges. We use the local cut lemma of A. Bernshteyn.
A hypergraph analog of Dirac's Theorem for long cycles in 2-connected graphs
Published
• View Publication
• BIB
Dirac proved that each $n$-vertex $2$-connected graph with minimum degree at least $k$ contains a cycle of length at least $\min\{2k, n\}$. We consider a hypergraph version of this result. A Berge cycle in a hypergraph is an alternating sequence of distinct vertices and edges $v_1,e_2,v_2, \ldots, e_c, v_1$ such that $\{v_i,v_{i+1}\} \subseteq e_i$ for all $i$ (with indices taken modulo $c$). We prove that for $n \geq k \geq r+2 \geq 5$, every $2$-connected $r$-uniform $n$-vertex hypergraph with minimum degree at least ${k-1 \choose r-1} + 1$ has a Berge cycle of length at least $\min\{2k, n\}$. The bound is exact for all $k\geq r+2\geq 5$.
Maxima of the $Q$-index of non-bipartite graphs: forbidden short odd cycles
Published
• View Publication
• BIB
Let $G$ be a non-bipartite graph which does not contain any odd cycle of length at most $2k+1$. In this paper, we determine the maximum $Q$-index of $G$ if its order is fixed, and the corresponding extremal graph is uniquely characterized. Moreover, if the size of $G$ is given, the maximum $Q$-index of $G$ and the unique extremal graph are also proved.
On a matching arrangement of a graph and LP-orientations of a matching polyhedron
Published
• View Publication
• BIB
This paper contains a description of a connection between the matching arrangement and the matching polyhedron. A bijection between regions of the matching arragement and LP-orientations of the matching polyhedron is constructed. This bijection allows to calculate the number of LP-orientations of the matching polyhedron with the characteristic polynomial of the matching arrangement.
Elekes-Szabó for collinearity on cubic surfaces
We study the orchard problem on cubic surfaces. We classify possibly reducible cubic surfaces $X\subseteq \mathbb{P}^3(\C)$ with smooth components on which there exist families of finite sets (of unbounded size) with quadratically many 3-rich lines which do not concentrate (in a natural sense) on any projective plane. Namely, we prove that such a family exists precisely when $X$ is a union of three planes sharing a common line.
Along the way, we obtain a general result about nilpotency of groups admitting an algebraic action satisfying an Elekes-Szabó condition, and we prove the following purely algebrogeometric statement: if the composition of four Geiser involutions through sufficiently generic points $a,b,c,d$ on a smooth irreducible cubic surface has infinitely many fixed points, then a single plane contains $a,b,c,d$ and all but finitely many of the fixed points.
Some remarks on Alweiss's technique and monochromatic configuration of the form $\left\{ x,y,x+y,x\cdot y\right\} $ over Rationals
In this article, we will explore a recent method of Alweiss \cite{key-1} using ultrafilter technique to study monochromatic partition regular structure of the form $\left\{ x,y,x+y,x\cdot y\right\} $ over rationals, which is recently proved by Bowen, and Sabok in \cite{key-17}. Our methods explore that each member of combinatorially rich ultrafilters contains these types of configurations. Besides this, we will also prove that for any $n\in\mathbb{N},$ these sets will contain configuration of the form $\left\{ x,y,x+y,x\cdot y^{n}\right\}$, partially proved by Xiao in \cite{key-25}.
Sárközy's Theorem in Various Finite Field Settings
Published
• View Publication
• BIB
In this paper, we strengthen a result by Green about an analogue of Sarkozy's theorem in the setting of polynomial rings $\mathbb{F}_q[x]$. In the integer setting, for a given polynomial $F \in \mathbb{Z}[x]$ with constant term zero, (a generalization of) Sarkozy's theorem gives an upper bound on the maximum size of a subset $A \subset \{1, \ldots, n \}$ that does not contain distinct $a_1,a_2 \in A$ satisfying $a_1 - a_2 = F(b)$ for some $ b \in \mathbb{Z}$. Green proved an analogous result with much stronger bounds in the setting of subsets $A \subset \mathbb{F}_q[x]$ of the polynomial ring $\mathbb{F}_q[x]$, but required the additional condition that the number of roots of the polynomial $F \in \mathbb{F}_q[x]$ is coprime to $q$. We generalize Green's result, removing this condition. As an application, we also obtain a version of Sarkozy's theorem with similarly strong bounds for subsets $A \subset \mathbb{F}_q$ for $q = p^n$ for a fixed prime $p$ and large $n$.
Complementability of isometric copies of $\ell_1$ in transportation cost spaces
Published
• View Publication
• BIB
This work aims to establish new results pertaining to the structure of transportation cost spaces. Due to the fact that those spaces were studied and applied in various contexts, they have also become known under different names such as Arens-Eells spaces, Lipschitz-free spaces, and Wasserstein spaces. The main outcome of this paper states that if a metric space $X$ is such that the transportation cost space on $X$ contains an isometric copy of $\ell_1$, then it contains a $1$-complemented isometric copy of $\ell_1$.
Matching Cuts in Graphs of High Girth and H-Free Graphs
Published
• View Publication
• BIB
The (Perfect) Matching Cut problem is to decide if a connected graph has a (perfect) matching that is also an edge cut. The Disconnected Perfect Matching problem is to decide if a connected graph has a perfect matching that contains a matching cut. Both Matching Cut and Disconnected Perfect Matching are NP-complete for planar graphs of girth 5, whereas Perfect Matching Cut is known to be NP-complete even for subcubic bipartite graphs of arbitrarily large fixed girth. We prove that Matching Cut and Disconnected Perfect Matching are also NP-complete for bipartite graphs of arbitrarily large fixed girth and bounded maximum degree. Our result for Matching Cut resolves a 20-year old open problem. We also show that the more general problem $d$-Cut, for every fixed $d \geq 1$, is NP-complete for bipartite graphs of arbitrarily large fixed girth and bounded maximum degree. Furthermore, we show that Matching Cut, Perfect Matching Cut and Disconnected Perfect Matching are NP-complete for $H$-free graphs whenever $H$ contains a connected component with two vertices of degree at least 3. Afterwards, we update the state-of-the-art summaries for $H$-free graphs and compare them with each other, and with a known and full classification of the Maximum Matching Cut problem, which is to determine a largest matching cut of a graph $G$. Finally, by combining existing results, we obtain a complete complexity classification of Perfect Matching Cut for $H$-subgraph-free graphs where $H$ is any finite set of graphs.
Hosoya properties of power graphs over certain groups
The power graph denoted by $\mathcal{P}(\mathcal{G})$ of a finite group $\mathcal{G}$ is a graph with vertex set $\mathcal{G}$ and there is an edge between two distinct elements $u, v \in \mathcal{G}$ if and only if $u^m = v$ or $v^m = u$ for some $m \in \mathbb{N}$. Depending on the distance, the Hosoya polynomial contains a lot of knowledge about graph invariants which can be used to determine well-known chemical descriptors. The Hosoya index of a graph $Γ$ is the total number of matchings in $Γ$. In this article, the Hosoya properties of the power graphs associated with a finite group, including the Hosoya index, Hosoya polynomial, and its reciprocal are calculated.
Deformation cone of Tesler polytopes
Published
• View Publication
• BIB
For $\boldsymbol{a} \in \R_{\geq 0}^{n}$, the Tesler polytope $\tes_{n}(\boldsymbol{a})$ is the set of upper triangular matrices with non-negative entries whose hook sum vector is $\ba$. We first give a different proof of the known fact that for every fixed $\boldsymbol{a}_{0} \in \mathbb{R}_{>0}^{n}$, all the Tesler polytopes $\tes_{n}(\boldsymbol{a})$ are deformations of $\tes_{n}(\boldsymbol{a}_{0})$. We then calculate the deformation cone of $\tes_{n}(\boldsymbol{a}_{0})$. In the process, we also show that any deformation of $\tes_{n}(\boldsymbol{a}_{0})$ is a translation of a Tesler polytope. Lastly, we consider a larger family of polytopes called flow polytopes which contains the family of Tesler polytopes and give a characterization on which flow polytopes are deformations of $\tes_{n}(\boldsymbol{a}_{0})$.
Bounding the multiplicities of eigenvalues of graph matrices in terms of circuit rank using a new approach
Published
• View Publication
• BIB
Let $G$ be a simple undirected graph, $θ(G)$ be the circuit rank of $G$, $η_M(G)$ and $m_M(G,λ)$ be the nullity and the multiplicity of eigenvalue $λ$ of a graph matrix $M(G)$, respectively. In the case $M(G)$ is the adjacency matrix $A(G)$, (the Laplacian matrix $L(G)$, the signless Laplacian matrix $Q(G)$) we find bounds to $m_M(G,λ)$ in terms of $θ(G)$ when $λ$ is an integer (even integer, respectively). We also show that when $α$ and $λ$ are rational numbers similar bounds can be found for $m_{A_α}(G,λ)$ where $A_α(G)$ is the generalized adjaceny matrix of $G$. Our bounds contain only $θ(G)$, not a multiple of it. Up to now only bounds of $m_A(G,λ)$ (and later $m_{A_α}(G,λ)$) have been found in terms of the circuit rank and all of them contains $2θ(G)$. There is only one exception in the case $λ=0$. Wong et al. (2022) showed that $η_A(G_c)\leq θ(G_c)+1$, where $G_c$ is a connected cactus whose blocks are even cycles. Our result, in particular, generalizes and extends this result to the multiplicity of any even eigenvalue of A(G) of any even connected graph $G$, and of any even eigenvalue of $L(G)$ and $Q(G)$ of any connected graph $G$. They also showed that $η_A(G_c)\leq 1$ when every block of the cactus is an odd cycle. This also corresponds a special case of our bound.