Showing 20 papers (Total: 83842 papers, 48355 authors in database)
The robust chromatic number of graphs
A 1-removed subgraph $G_f$ of a graph $G=(V,E)$ is obtained by
$(i)$ selecting at most one edge $f(v)$ for each vertex $v\in V$, such that $v\in f(v)\in E$ (the mapping $f:V\to E \cup \{\varnothing\}$ is allowed to be non-injective), and
$(ii)$ deleting all the selected edges $f(v)$ from the edge set $E$ of $G$.
Proper vertex colorings of 1-removed subgraphs proved to be a useful tool for earlier research on some Turán-type problems.
In this paper, we introduce a systematic investigation of the graph invariant 1-robust chromatic number, denoted as $ω_1(G)$. This invariant is defined as the minimum chromatic number $χ(G_f)$ among all 1-removed subgraphs $G_f$ of $G$. We also examine other standard graph invariants in a similar manner.
The robust chromatic number of certain graph classes
A 1-selection $f$ of a graph $G$ is a function $f: V(G)\rightarrow E(G)$ such that $f(v)$ is incident to $v$ for every vertex $v$. The 1-removed $G_f$ is the graph $(V(G),E(G)\setminus f[V(G)])$. The (1-)robust chromatic number $χ_1(G)$ is the minimum of $χ(G_f)$ over all 1-selections $f$ of $G$.
We determine the robust chromatic number of complete multipartite graphs and Kneser graphs and prove tight lower and upper bounds on the robust chromatic number of chordal graphs and some of their extensively studied subclasses, with respect to their ordinary chromatic number.
Upper Bounds on the Acyclic Chromatic Index of Degenerate Graphs
Published in Discrete Mathematics, 347(4), (2024), 113898
• View Publication
• BIB
An acyclic edge coloring of a graph is a proper edge coloring without any bichromatic cycles. The acyclic chromatic index of a graph $G$ denoted by $a'(G)$, is the minimum $k$ such that $G$ has an acyclic edge coloring with $k$ colors. Fiamčík conjectured that $a'(G) \le Δ+2$ for any graph $G$ with maximum degree $Δ$. A graph $G$ is said to be $k$-degenerate if every subgraph of $G$ has a vertex of degree at most $k$. Basavaraju and Chandran proved that the conjecture is true for $2$-degenerate graphs. We prove that for a $3$-degenerate graph $G$, $a'(G) \le Δ+5$, thereby bringing the upper bound closer to the conjectured bound. We also consider $k$-degenerate graphs with $k \ge 4$ and give an upper bound for the acyclic chromatic index of the same.
Arithmétique des Groupes Abéliens Finis
The article presents several methods for the arithmetic of finite abelian groups. We introduce a tool - already used by Delsarte in [1] as I found out later - analogous to Dirichlet's convolution to obtain combinatorial results on these groups. Using this convolution and some group actions, we deduce an interesting fact : the number of generating subsets of a finite abelian group is always a multiple of the order of the group. Eventually, we prove a theorem about the generation of the group of permutations of an abelian group G using only transpositions and translations from the group G.
Algorithmic Theory of Qubit Routing
Published
• View Publication
• BIB
The qubit routing problem, also known as the swap minimization problem, is a (classical) combinatorial optimization problem that arises in the design of compilers of quantum programs. We study the qubit routing problem from the viewpoint of theoretical computer science, while most of the existing studies investigated the practical aspects. We concentrate on the linear nearest neighbor (LNN) architectures of quantum computers, in which the graph topology is a path. Our results are three-fold. (1) We prove that the qubit routing problem is NP-hard. (2) We give a fixed-parameter algorithm when the number of two-qubit gates is a parameter. (3) We give a polynomial-time algorithm when each qubit is involved in at most one two-qubit gate.
The Frank number and nowhere-zero flows on graphs
Published
• View Publication
• BIB
An edge $e$ of a graph $G$ is called deletable for some orientation $o$ if the restriction of $o$ to $G-e$ is a strong orientation. Inspired by a problem of Frank, in 2021 Hörsch and Szigeti proposed a new parameter for $3$-edge-connected graphs, called the Frank number, which refines $k$-edge-connectivity. The Frank number is defined as the minimum number of orientations of $G$ for which every edge of $G$ is deletable in at least one of them. They showed that every $3$-edge-connected graph has Frank number at most $7$ and that in case these graphs are also $3$-edge-colourable the parameter is at most $3$. Here we strengthen both results by showing that every $3$-edge-connected graph has Frank number at most $4$ and that every graph which is $3$-edge-connected and $3$-edge-colourable has Frank number $2$. The latter also confirms a conjecture by Barát and Blázsik. Furthermore, we prove two sufficient conditions for cubic graphs to have Frank number $2$ and use them in an algorithm to computationally show that the Petersen graph is the only cyclically $4$-edge-connected cubic graph up to $36$ vertices having Frank number greater than $2$.
On the divisibility of H-shape trees and their spectral determination
Published
• View Publication
• BIB
A graph $G$ is divisible by a graph $H$ if the characteristic polynomial of $G$ is divisible by that of $H$. In this paper, a necessary and sufficient condition for recursive graphs to be divisible by a path is used to show that the H-shape graph $P_{2,2;n-4}^{2,n-7}$, known to be (for $n$ large enough) the minimizer of the spectral radius among the graphs of order $n$ and diameter $n-5$, is determined by its adjacency spectrum if and only if $n \neq 10,13,15$.
Random Schreier graphs as expanders
Published
• View Publication
• BIB
Expander graphs, due to their mixing properties, are useful in many algorithms and combinatorial constructions. One can produce an expander graph with high probability by taking a random graph (e.g., the union of $d$ random bijections for a bipartite graph of degree $d$). This construction is much simpler than all known explicit constructions of expanders and gives graphs with good mixing properties (small second largest eigenvalue) with high probability. However, from the practical viewpoint, it uses too many random bits, so it is difficult to generate and store these bits for large graphs. The natural idea is to restrict the class of the bijections that we use. For example, if both sides are linear spaces $\mathbb{F}_q^k$ over a finite field $\mathbb{F}_q$, we may consider only \emph{linear} bijections, making the number of random bits polynomial in $k$ (and not $q^k$).
In this paper we provide some experimental data that shows that this approach conserves the mixing properties (the second eigenvalue) for several types of graphs (undirected regular and biregular bipartite graphs). We also prove some upper bounds for the second eigenvalue (though they are quite weak compared with the experimental results).
Finally, we discuss the possibility to decrease the number of random bits further by using Toeplitz matrices; our experiments show that this change makes the mixing properties only marginally worse while the number of random bits decreases significantly.
Discrete Differential Geometry and Cluster Algebras via TCD maps
In this PhD thesis we develop the frame work of triple crossing diagram maps (TCD maps), which describes constrained configurations of points in projective spaces and discrete dynamics on these configurations. We are able to capture the constraints and dynamics of a large list of examples that occur in discrete differential geometry (DDG), discrete integrable systems and exactly solvable models. We explain how to apply various geometric operations to TCD maps, including projections, intersections with hyperplanes and projective dualization. In fact, we show how many examples in the literature are related by the aforementioned operations. Moreover, we introduce a hierarchy of cluster structures on TCD maps, thus answering the open question how objects of DDG relate to cluster structures. At the same time, the general cluster structure reproduces cluster structures known for the pentagram map, T-graphs and t-embeddings. We also explain how the cluster structures behave under geometric operations. Via the cluster structures, the TCD maps are also related to the probabilistic dimer model. The spanning tree model and the Ising model can be obtained as special cases of the dimer model, and we investigate how these special cases relate to geometry. This also leads to two new incidence theorems in relation to quadrics and null-polarities in $\mathbb C \mathrm P^3$. Finally, we also show how TCD maps relate to the Fock-Goncharov moduli spaces of projective flag configurations.
On linear intervals in the alt $ν$-Tamari lattices
Published
• View Publication
• BIB
Given a lattice path $ν$, the $ν$-Tamari lattice and the $ν$-Dyck lattice are two natural examples of partial order structures on the set of lattice paths that lie weakly above $ν$. In this paper, we introduce a more general family of lattices, called alt $ν$-Tamari lattices, which contains these two examples as particular cases. Unexpectedly, we show that all these lattices have the same number of linear intervals.
Large Cycles in Graphs Around Conjectures of Bondy and Jung -- Modifications and Sharpness
Published
• View Publication
• BIB
A number of new sufficient conditions for generalized cycles (large cycles including Hamilton and dominating cycles as special cases) in an arbitrary $k$-connected graph $(k=1,2,...)$ and new lower bounds for the circumference (the length of a longest cycle) are derived, inspiring a number of modifications of famous conjectures of Bondy (1980) and Jung (2001). All results (both old and new) are shown to be best possible in a sense based on three types of sharpness indicating the intervals in which the result is sharp and the intervals in which the result can be further improved. In addition, the presented modifications cannot be derived directly from Bondy's and Jung's conjectures as special cases.
Spectral influence in networks: An application to Input-Output analysis
Published
• View Publication
• BIB
This paper introduces the concepts of spectral influence and spectral cyclicality, both derived from the largest eigenvalue of a graph's adjacency matrix. These two novel centrality measures capture both diffusion and interdependence from a local and global perspective respectively. We propose a new clustering algorithm that identifies communities with high cyclicality and interdependence, allowing for overlaps. To illustrate our method, we apply it to input-output analysis within the context of the Moroccan economy.
Garland's method for token graphs
Published
• View Publication
• BIB
The $k$-th token graph of a graph $G=(V,E)$ is the graph $F_k(G)$ whose vertices are the $k$-subsets of $V$ and whose edges are all pairs of $k$-subsets $A,B$ such that the symmetric difference of $A$ and $B$ forms an edge in $G$. Let $L(G)$ be the Laplacian matrix of $G$, and $L_k(G)$ be the Laplacian matrix of $F_k(G)$. It was shown by Dalfó et al. that for any graph $G$ on $n$ vertices and any $0\leq \ell \leq k \leq \left\lfloor n/2\right\rfloor$, the spectrum of $L_{\ell}(G)$ is contained in that of $L_k(G)$.
Here, we continue to study the relation between the spectrum of $L_k(G)$ and that of $L_{k-1}(G)$. In particular, we show that, for $1\leq k\leq \left\lfloor n/2\right\rfloor$, any eigenvalue $λ$ of $L_k(G)$ that is not contained in the spectrum of $L_{k-1}(G)$ satisfies \[
k(λ_2(L(G))-k+1)\leq λ\leq kλ_n(L(G)), \] where $λ_2(L(G))$ is the second smallest eigenvalue of $L(G)$ (a.k.a. the algebraic connectivity of $G$), and $λ_n(L(G))$ is its largest eigenvalue. Our proof relies on an adaptation of Garland's method, originally developed for the study of high-dimensional Laplacians of simplicial complexes.
The independence ratio of 4-cycle-free planar graphs
Published
• View Publication
• BIB
We prove that every $n$-vertex planar graph $G$ with no triangle sharing an edge with a 4-cycle has independence ratio $n/α(G) \leq 4 - \varepsilon$ for $\varepsilon = 1/30$. This result implies that the same bound holds for 4-cycle-free planar graphs and planar graphs with no adjacent triangles and no triangle sharing an edge with a 5-cycle. For the latter case we strengthen the bound to $\varepsilon = 2/9$.
A shape theorem for exploding sandpiles
Published in Annals of Applied Probability 34(1A): 714-742 (2024)
• View Publication
• BIB
We study scaling limits of exploding Abelian sandpiles using ideas from percolation and front propagation in random media. We establish sufficient conditions under which a limit shape exists and show via a family of counterexamples that convergence may not occur in general. A corollary of our proof is a simple criteria for determining if a sandpile is explosive; this strengthens a result of Fey, Levine, and Peres (2010).
Wickets in 3-uniform Hypergraphs
Published
• View Publication
• BIB
In these notes, we consider a Turán-type problem in hypergraphs. What is the maximum number of edges if we forbid a subgraph? Let $H_n^{(3)}$ be a 3-uniform linear hypergraph, i.e. any two edges have at most one vertex common. A special hypergraph, called {\em wicket}, is formed by three rows and two columns of a $3 \times 3$ point matrix. We describe two linear hypergraphs -- both containing a wicket -- that if we forbid either of them in $H_n^{(3)}$, then the hypergraph is sparse, and the number of its edges is $o(n^2)$. This proves a conjecture of Gyárfás and Sárközy.
The minimum positive uniform Turán density in uniformly dense $k$-uniform hypergraphs
Published
• View Publication
• BIB
A $k$-graph (or $k$-uniform hypergraph) $H$ is uniformly dense if the edge distribution of $H$ is uniformly dense with respect to every large collection of $k$-vertex cliques induced by sets of $(k-2)$-tuples. Reiher, Rödl and Schacht [Int. Math. Res. Not., 2018] proposed the study of the uniform Turán density $π_{k-2}(F)$ for given $k$-graphs $F$ in uniformly dense $k$-graphs. Meanwhile, they [J. London Math. Soc., 2018] characterized $k$-graphs $F$ satisfying $π_{k-2}(F)=0$ and showed that $π_{k-2}(\cdot)$ ``jumps" from 0 to at least $k^{-k}$. In particular, they asked whether there exist $3$-graphs $F$ with $π_{1}(F)$ equal or arbitrarily close to $1/27$. Recently, Garbe, Král' and Lamaison [arXiv:2105.09883] constructed some $3$-graphs with $π_{1}(F)=1/27$.
In this paper, for any $k$-graph $F$, we give a lower bound of $π_{k-2}(F)$ based on a probabilistic framework, and provide a general theorem that reduces proving an upper bound on $π_{k-2}(F)$ to embedding $F$ in reduced $k$-graphs of the same density using the regularity method for $k$-graphs. By using this result and Ramsey theorem for multicolored hypergraphs, we extend the results of Garbe, Král' and Lamaison to $k\ge 3$. In other words, we give a sufficient condition for $k$-graphs $F$ satisfying $π_{k-2}(F)=k^{-k}$. Additionally, we also construct an infinite family of $k$-graphs with $π_{k-2}(F)=k^{-k}$.
Vector sum-intersection theorems
We introduce the following generalization of set intersection via characteristic vectors: for $n,q,s, t \ge 1$ a family $\mathcal{F}\subseteq \{0,1,\dots,q\}^n$ of vectors is said to be \emph{$s$-sum $t$-intersecting} if for any distinct $\mathbf{x},\mathbf{y}\in \mathcal{F}$ there exist at least $t$ coordinates, where the entries of $\mathbf{x}$ and $\mathbf{y}$ sum up to at least $s$, i.e.\ $|\{i:x_i+y_i\ge s\}|\ge t$.
The original set intersection corresponds to the case $q=1,s=2$.
We address analogs of several variants of classical results in this setting: the Erdős--Ko--Rado theorem and the theorem of Bollobás on intersecting set pairs.
When the Tracy-Singh product of matrices represents a certain operation on linear operators
Published in Communications in Algebra (2024)
• View Publication
• BIB
Given two linear transformations, with representing matrices $A$ and $B$ with respect to some bases, it is not clear, in general, whether the Tracy-Singh product of the matrices $A$ and $B$ corresponds to a particular operation on the linear transformations. Nevertheless, it is not hard to show that in the particular case that each matrix is a square matrix of order of the form $n^2$, $n>1$, and is partitioned into $n^2$ square blocks of order $n$, then their Tracy-Singh product, $A \boxtimes B$, is similar to $A \otimes B$, and the change of basis matrix is a permutation matrix. In this note, we prove that in the special case of linear operators induced from set-theoretic solutions of the Yang-Baxter equation, the Tracy-Singh product of their representing matrices is the representing matrix of the linear operator obtained from the direct product of the set-theoretic solutions.
On Bruen chains
Published
• View Publication
• BIB
It is known that a Bruen chain of the three-dimensional projective space $\mathrm{PG}(3,q)$ exists for every odd prime power $q$ at most $37$, except for $q=29$. It was shown by Cardinali et. al (2005) that Bruen chains do not exist for $41\le q\leq 49$. We develop a model, based on finite fields, which allows us to extend this result to $41\leqslant q \leqslant 97$, thereby adding more evidence to the conjecture that Bruen chains do not exist for $q>37$. Furthermore, we show that Bruen chains can be realised precisely as the $(q+1)/2$-cliques of a two related, yet distinct, undirected simple graphs.