Showing 20 papers (Total: 82139 papers, 47531 authors in database)
Dual Cheeger constant for weighted graphs over ordered fields
We consider a dual Cheeger constant $\overline h$ for finite graphs with edge weights from an arbitrary real-closed ordered field. We obtain estimates of $\overline h$ in terms of number of vertices in graph. Further, we estimate the largest eigenvalue for the discrete Laplace operator in terms of $\overline h$ and show the sharpness of estimates. As an example we consider graphs over non-Archimedean field of the Levi-Civita numbers.
String attractors of episturmian sequences
In this paper, we describe string attractors of all factors of episturmian sequences and show that their size is equal to the number of distinct letters contained in the factor.
Model-Checking for First-Order Logic with Disjoint Paths Predicates in Proper Minor-Closed Graph Classes
Published
• View Publication
• BIB
The disjoint paths logic, FOL+DP, is an extension of First-Order Logic (FOL) with the extra atomic predicate $\mathsf{dp}_k(x_1,y_1,\ldots,x_k,y_k),$ expressing the existence of internally vertex-disjoint paths between $x_i$ and $y_i,$ for $i\in\{1,\ldots, k\}$. This logic can express a wide variety of problems that escape the expressibility potential of FOL. We prove that for every proper minor-closed graph class, model-checking for FOL+DP can be done in quadratic time. We also introduce an extension of FOL+DP, namely the scattered disjoint paths logic, FOL+SDP, where we further consider the atomic predicate $s{\sf -sdp}_k(x_1,y_1,\ldots,x_k,y_k),$ demanding that the disjoint paths are within distance bigger than some fixed value $s$. Using the same technique we prove that model-checking for FOL+SDP can be done in quadratic time on classes of graphs with bounded Euler genus.
Erdös-Rényi Poissonized
Published
• View Publication
• BIB
We introduce a variant of the Erdös--Rényi random graph where the number of vertices is random and follows a Poisson law. A very simple Markov property of the model entails that the Lukasiewicz exploration is made of \textit{independent} Poisson increments. Using a vanilla Poisson counting process, this enables us to give very short proofs of classical results such as the phase transition for the giant component or the connectedness for the standard Erdös--Rényi model.
A note on unavoidable patterns in locally dense colourings
We show that there is a constant $C$ such that for every $\varepsilon>0$ any $2$-coloured $K_n$ with minimum degree at least $n/4+\varepsilon n$ in both colours contains a complete subgraph on $2t$ vertices where one colour class forms a $K_{t,t}$, provided that $n\geq \varepsilon^{-Ct}$. Also, we prove that if $K_n$ is $2$-coloured with minimum degree at least $\varepsilon n$ in both colours then it must contain one of two natural colourings of a complete graph. Both results are tight up to the value of $C$ and they answer two recent questions posed by Kamčev and Müyesser.
Counting Deranged Matchings
Published
• View Publication
• BIB
Let $\mathrm{pm}(G)$ denote the number of perfect matchings of a graph $G$, and let $K_{r\times 2n/r}$ denote the complete $r$-partite graph where each part has size $2n/r$. Johnson, Kayll, and Palmer conjectured that for any perfect matching $M$ of $K_{r\times 2n/r}$, we have for $2n$ divisible by $r$ \[\frac{\mathrm{pm}(K_{r\times 2n/r}-M)}{\mathrm{pm}(K_{r\times 2n/r})}\sim e^{-r/(2r-2)}.\] This conjecture can be viewed as a common generalization of counting the number of derangements on $n$ letters, and of counting the number of deranged matchings of $K_{2n}$. We prove this conjecture. In fact, we prove the stronger result that if $R$ is a uniformly random perfect matching of $K_{r\times 2n/r}$, then the number of edges that $R$ has in common with $M$ converges to a Poisson distribution with parameter $\frac{r}{2r-2}$.
Flows of 3-edge-colorable cubic signed graphs
Published
• View Publication
• BIB
Bouchet conjectured in 1983 that every flow-admissible signed graph admits a nowhere-zero 6-flow which is equivalent to the restriction to cubic signed graphs. In this paper, we proved that every flow-admissible $3$-edge-colorable cubic signed graph admits a nowhere-zero $10$-flow. This together with the 4-color theorem implies that every flow-admissible bridgeless planar signed graph admits a nowhere-zero $10$-flow. As a byproduct, we also show that every flow-admissible hamiltonian signed graph admits a nowhere-zero $8$-flow.
Additive Combinatorics in Groups and Geometric Combinatorics on Spheres
Published
• View Publication
• BIB
We embark on a tour that takes us through four closely related topics: the dual concepts of independence and spanning in finite abelian groups and the analogous dual concepts of designs and distance sets on spheres. We review some of the main known results in each area, mention several open questions, and discuss some connections among these four interesting topics.
Hive-type polytopes for quiver multiplicities and the membership problem for quiver moment cones
Published
• View Publication
• BIB
Let $Q$ be a bipartite quiver with vertex set $Q_0$ such that the number of arrows between any source vertex and any sink vertex is constant. Let $β=(β(x))_{x \in Q_0}$ be a dimension vector of $Q$ with positive integer coordinates.
Let $rep(Q, β)$ be the representation space of $β$-dimensional representations of $Q$ and $GL(β)$ the base change group acting on $rep(Q, β)$ be simultaneous conjugation. Let $K^β_{\underlineλ}$ be the multiplicity of the irreducible representation of $GL(β)$ of highest weight $\underlineλ$ in the ring of polynomial functions on $rep(Q, β)$.
We show that $K^β_{\underlineλ}$ can be expressed as the number of lattice points of a polytope obtained by gluing together two Knutson-Tao hive polytopes. Furthermore, this polytopal description together with Derksen-Weyman's Saturation Theorem for quiver semi-invariants allows us to use Tardos' algorithm to solve the membership problem for the moment cone associated to $(Q,β)$ in strongly polynomial time.
On the Turán number of the hypercube
Published
• View Publication
• BIB
In 1964, Erdős proposed the problem of estimating the Turán number of the $d$-dimensional hypercube $Q_d$. Since $Q_d$ is a bipartite graph with maximum degree $d$, it follows from results of Füredi and Alon, Krivelevich, Sudakov that $\mathrm{ex}(n,Q_d)=O_d(n^{2-1/d})$. A recent general result of Sudakov and Tomon implies the slightly stronger bound $\mathrm{ex}(n,Q_d)=o(n^{2-1/d})$. We obtain the first power-improvement for this old problem by showing that $\mathrm{ex}(n,Q_d)=O_d(n^{2-\frac{1}{d-1}+\frac{1}{(d-1)2^{d-1}}})$. This answers a question of Liu. Moreover, our techniques give a power improvement for a larger class of graphs than cubes.
We use a similar method to prove that any $n$-vertex, properly edge-coloured graph without a rainbow cycle has at most $O(n(\log n)^2)$ edges, improving the previous best bound of $n(\log n)^{2+o(1)}$ by Tomon. Furthermore, we show that any properly edge-coloured $n$-vertex graph with $ω(n\log n)$ edges contains a cycle which is almost rainbow: that is, almost all edges in it have a unique colour. This latter result is tight.
Foot-Sorting for Socks
Published
• View Publication
• BIB
If your socks come out of the laundry all mixed up, how should you sort them? We introduce and study a novel foot-sorting algorithm that uses feet to attempt to sort a sock ordering; one can view this algorithm as an analogue of Knuth's stack-sorting algorithm for set partitions. The sock orderings that can be sorted using a fixed number of feet are characterized by Klazar's notion of set partition pattern containment. We give an enumeration involving Fibonacci numbers for the $1$-foot-sortable sock orderings within a naturally-arising class. We also prove that if you have socks of $n$ different colors, then you can always sort them using at most $\left\lceil\log_2(n)\right\rceil$ feet, and we use a Ramsey-theoretic argument to show that this bound is tight.
Average Mixing in Quantum Walks of Reversible Markov Chains
Published in Discrete Mathematics, Volume 348, Issue 1, 2025, 114196
• View Publication
• BIB
The Szegedy quantum walk is a discrete time quantum walk model which defines a quantum analogue of any Markov chain. The long-term behavior of the quantum walk can be encoded in a matrix called the average mixing matrix, whose columns give the limiting probability distribution of the walk given an initial state. We define a version of the average mixing matrix of the Szegedy quantum walk which allows us to more readily compare the limiting behavior to that of the chain it quantizes. We prove a formula for our mixing matrix in terms of the spectral decomposition of the Markov chain and show a relationship with the mixing matrix of a continuous quantum walk on the chain. In particular, we prove that average uniform mixing in the continuous walk implies average uniform mixing in the Szegedy walk. We conclude by giving examples of Markov chains of arbitrarily large size which admit average uniform mixing in both the continuous and Szegedy quantum walk.
Colored Tverberg Theorems for non-prime powers
We prove a relative of the Optimal (Type B)} Colored Tverberg theorem of Živaljević and Vrećica which modifies this results in two different ways. (1) Our result is valid if the number of rainbow faces is $q= p^n-1$, where $p$ is a prime. (2) The size of rainbow simplices satisfies the condition $\vert C_i\vert \in \{2q-2, 2q+1\}$ while in the original theorem $\vert C_i\vert = 2q-1$ for all $i$.
Random Balanced Cayley Complexes
Published
• View Publication
• BIB
Let $G$ be a finite group of order $n$ and for $1 \leq i \leq k+1$ let $V_i=\{i\} \times G$. Viewing each $V_i$ as a $0$-dimensional complex, let $Y_{G,k}$ denote the simplicial join $V_1*\cdots*V_{k+1}$. For $A \subset G$ let $Y_{A,k}$ be the subcomplex of $Y_{G,k}$ that contains the $(k-1)$-skeleton of $Y_{G,k}$ and whose $k$-simplices are all $\{(1,x_1),\ldots,(k+1,x_{k+1})\} \in Y_{G,k}$ such that $x_1\cdots x_{k+1} \in A$. Let $L_{k-1}$ denote the reduced $(k-1)$-th Laplacian of $Y_{A,k}$, acting on the space $C^{k-1}(Y_{A,k})$ of real valued $(k-1)$-cochains of $Y_{A,k}$. The $(k-1)$-th spectral gap $μ_{k-1}(Y_{A,k})$ of $Y_{A,k}$ is the minimal eigenvalue of $L_{k-1}$. The following $k$-dimensional analogue of the Alon-Roichman theorem is proved: Let $k \geq 1$ and $ε>0$ be fixed and let $A$ be a random subset of $G$ of size $m= \left\lceil\frac{10 k^2\log D}{ε^2}\right\rceil$ where $D$ is the sum of the degrees of the complex irreducible representations of $G$. Then \[ {\rm Pr}\big[~μ_{k-1}(Y_{A,k}) < (1-ε)m~\big] =O\left(\frac{1}{n}\right). \]
P-graph Associahedra and Hypercube Graph Associahedra
A graph associahedron is a polytope dual to a simplicial complex whose elements are induced connected subgraphs called tubes. Graph associahedra generalize permutahedra, associahedra, and cyclohedra, and therefore are of great interest to those who study Coxeter combinatorics.
This thesis characterizes nested complexes of simplicial complexes, which we call $Δ$-nested complexes. From here, we can define P-nestohedra by truncating simple polyhedra, and in more specificity define P-graph associahedra, which are realized by repeated truncation of faces of simple polyhedra in accordance with tubes of graphs.
We then define hypercube-graph associahedra as a special case. Hypercube-graph associahedra are defined by tubes and tubings on a graph with a matching of dashed edges, with tubes and tubings avoiding those dashed edges. These simple rules make hypercube-graph tubings a simple and intuitive extension of classical graph tubings. We explore properties of $Δ$-nested complexes and P-nestohedra, and use these results to explore properties of hypercube-graph associahedra, including their facets and faces, as well as their normal fans and Minkowski sum decompositions. We use these properties to develop general methods of enumerating $f$-polynomials of families of hypercube-graph associahedra. Several of these hypercube-graphs correspond to previously-studied polyhedra, such as cubeahedra, the halohedron, the type $A_n$ linear $c$-cluster associahedron, and the type $A_n$ linear $c$-cluster biassociahedron. We provide enumerations for these polyhedra and others.
Split graphs and Block Representations
Published
• View Publication
• BIB
In this paper, we study split graphs and related classes of graphs from the perspective of their sequence of vertex degrees and an associated lattice under majorization. Following the work of Merris in 2003, we define blocks $[α(π)|β(π)]$, where $π$ is the degree sequence of a graph, and $α(π)$ and $β(π)$ are sequences arising from $π$. We use the block representation $[α(π)|β(π)]$ to characterize membership in each of the following classes: unbalanced split graphs, balanced split graphs, pseudo-split graphs, and three kinds of Nordhaus-Gaddum graphs (defined by Collins and Trenk in 2013). As in Merris' work, we form a poset under the relation majorization in which the elements are the blocks $[α(π)|β(π)]$ representing split graphs with a fixed number of edges. We partition this poset in several interesting ways using what we call amphoras, and prove upward and downward closure results for blocks arising from different families of graphs. Finally, we show that the poset becomes a lattice when a maximum and minimum element are added, and we prove properties of the meet and join of two blocks.
The degree-restricted random process is far from uniform
Published
• View Publication
• BIB
The degree-restricted random process is a natural algorithmic model for generating graphs with degree sequence D_n=(d_1, \ldots, d_n): starting with an empty n-vertex graph, it sequentially adds new random edges so that the degree of each vertex v_i remains at most d_i. Wormald conjectured in 1999 that, for d-regular degree sequences D_n, the final graph of this process is similar to a uniform random d-regular graph.
In this paper we show that, for degree sequences D_n that are not nearly regular, the final graph of the degree-restricted random process differs substantially from a uniform random graph with degree sequence D_n. The combinatorial proof technique is our main conceptual contribution: we adapt the switching method to the degree-restricted process, demonstrating that this enumeration technique can also be used to analyze stochastic processes (rather than just uniform random models, as before).
On the $α$-index of minimally 2-connected graphs with given order or size
Published
• View Publication
• BIB
For any real $α\in [0,1]$, Nikiforov defined the $A_α$-matrix of a graph $G$ as $A_α(G)=αD(G)+(1-α)A(G)$, where $A(G)$ and $D(G)$ are the adjacency matrix and the diagonal matrix of vertex degrees of $G$, respectively. The largest eigenvalue of $A_α(G)$ is called the $α$-index or the $A_α$-spectral radius of $G$. A graph is minimally $k$-connected if it is $k$-connected and deleting any arbitrary chosen edge always leaves a graph which is not $k$-connected. In this paper, we characterize the extremal graphs with the maximum $α$-index for $α\in [\frac{1}{2},1)$ among all minimally 2-connected graphs with given order or size, respectively.
A family of quantum walks on a finite graph corresponding to the generalized weighted zeta function
This paper gives the quantum walks determined by graph zeta functions. The result enables us to obtain the characteristic polynomial of the transition matrix of the quantum walk, and it determines the behavior of the quantum walk. We treat finite graphs allowing multi-edges and multi-loops.
Spectral radius of graphs of given size with forbidden subgraphs
Published
• View Publication
• BIB
Let $ρ(G)$ be the spectral radius of a graph $G$ with $m$ edges. Let $S_{m-k+1}^{k}$ be the graph obtained from $K_{1,m-k}$ by adding $k$ disjoint edges within its independent set. Nosal's theorem states that if $ρ(G)>\sqrt{m}$, then $G$ contains a triangle. Zhai and Shu showed that any non-bipartite graph $G$ with $m\geq26$ and $ρ(G)\geqρ(S_{m}^{1})>\sqrt{m-1}$ contains a quadrilateral unless $G\cong S_{m}^{1}$ [M.Q. Zhai, J.L. Shu, Discrete Math. 345 (2022) 112630]. Wang proved that if $ρ(G)\geq\sqrt{m-1}$ for a graph $G$ with size $m\geq27$, then $G$ contains a quadrilateral unless $G$ is one of four exceptional graphs [Z.W. Wang, Discrete Math. 345 (2022) 112973]. In this paper, we show that any non-bipartite graph $G$ with size $m\geq51$ and $ρ(G)\geqρ(S_{m-1}^{2})>\sqrt{m-2}$ contains a quadrilateral unless $G$ is one of three exceptional graphs. Moreover, we show that if $ρ(G)\geqρ(S_{\frac{m+4}{2},2}^{-})$ for a graph $G$ with even size $m\geq74$, then $G$ contains a $C_{5}^{+}$ unless $G\cong S_{\frac{m+4}{2},2}^{-}$, where $C_{t}^{+}$ denotes the graph obtained from $C_{t}$ and $C_{3}$ by identifying an edge, $S_{n,k}$ denotes the graph obtained by joining each vertex of $K_{k}$ to $n-k$ isolated vertices and $S_{n,k}^{-}$ denotes the graph obtained by deleting an edge incident to a vertex of degree two, respectively.