Showing 20 papers (Total: 81564 papers, 47262 authors in database)
Maximizing Satisfied Vertex Requests in List Coloring
Suppose $G$ is a graph and $L$ is a list assignment for $G$. A request of $L$ is a function $r$ with nonempty domain $D\subseteq V(G)$ such that $r(v) \in L(v)$ for each $v \in D$. The triple $(G,L,r)$ is $ε$-satisfiable if there exists a proper $L$-coloring $f$ of $G$ such that $f(v) = r(v)$ for at least $ε|D|$ vertices in $D$. We say $G$ is $(k, ε)$-flexible if $(G,L',r')$ is $ε$-satisfiable whenever $L'$ is a $k$-assignment for $G$ and $r'$ is a request of $L'$. It is known that a graph $G$ is not $(k, ε)$-flexible for any $k$ if and only if $ε> 1/ ρ(G)$ where $ρ(G)$ is the Hall ratio of $G$. The list flexibility number of a graph $G$, denoted $χ_{\ell flex}(G)$, is the smallest $k$ such that $G$ is $(k,1/ ρ(G))$-flexible. A fundamental open question on list flexibility numbers asks: Is there a graph with list flexibility number greater than its coloring number?
In this paper, we show that the list flexibility number of any complete multipartite graph $G$ is at most the coloring number of $G$. We also initiate the study of list epsilon flexibility functions of complete bipartite graphs which was first suggested by Kaul, Mathew, Mudrock, and Pelsmajer in 2024. Specifically, we completely determine the list epsilon flexibility function of $K_{m,n}$ when $m \in \{1,2\}$ and establish some additional bounds for small $m$. Our proofs reveal a connection to list coloring complete bipartite graphs with asymmetric list sizes which is a topic that was explored by Alon, Cambie, and Kang in 2021.
Maximal independent sets in graphs with given matching number
A maximal independent set in a graph $G$ is an independent set that cannot be extended to a larger independent set by adding any vertex from $G$. This paper investigates the problem of determining the maximum number of maximal independent sets in terms of the matching number of a graph. We establish the maximum number of maximal independent sets for general graphs, connected graphs, triangle-free graphs, and connected triangle-free graphs with a given matching number, and characterize the extremal graphs achieving these maxima.
Stable cuts, NAC-colourings and flexible realisations of graphs
A (2-dimensional) realisation of a graph $G$ is a pair $(G,p)$, where $p$ maps the vertices of $G$ to $\mathbb{R}^2$. A realisation is flexible if it can be continuously deformed while keeping the edge lengths fixed, and rigid otherwise. Similarly, a graph is flexible if its generic realisations are flexible, and rigid otherwise.
We show that a minimally rigid graph has a flexible realisation with positive edge lengths if and only if it is not a $2$-tree. This confirms a conjecture of Grasegger, Legerský and Schicho. Our proof is based on a characterisation of graphs with $n$ vertices and $2n-3$ edges and without stable cuts due to Le and Pfender. We also strengthen a result of Chen and Yu, who proved that every graph with at most $2n-4$ edges has a stable cut, by showing that every flexible graph has a stable cut.
Additionally we investigate the number of NAC-colourings in various graphs. A NAC-colouring is a type of edge colouring introduced by Grasegger, Legerský and Schicho, who showed that the existence of such a colouring characterises the existence of a flexible realisation with positive edge lengths. We provide an upper bound on the number of NAC-colourings for arbitrary graphs, and construct families of graphs, including rigid and minimally rigid ones, for which this number is exponential in the number of vertices.
Some bounds on the spectral radius of connected threshold graphs
The spectral radius of a graph is the spectral radius of its adjacency matrix. A threshold graph is a simple graph whose vertices can be ordered as $v_1, v_2, \ldots, v_n$, so that for each $2 \le i \le n$, vertex $v_i$ is either adjacent or nonadjacent simultaneously to all of $v_1, v_2, \ldots, v_{i-1}$. Brualdi and Hoffman initially posed and then partially solved the extremal problem of finding the simple graphs with a given number of edges that have the maximum spectral radius. This problem was subsequently completely resolved by Rowlinson. Here, we deal with the similar problem of maximizing the spectral radius over the set of connected simple graphs with a given number of vertices and edges. As shown by Brualdi and Solheid, each such extremal graph is necessarily a threshold graph. We investigate the spectral radii of threshold graphs by relying on computations involving lazy walks. Furthermore, we obtain three lower bounds and one upper bound on the spectral radius of a given connected threshold graph.
Hamming and Symbol-Pair Distances of Constacyclic Codes of Length $2p^s$ over $\frac{\mathbb{F}_{p^m}[u, v]}{\langle u^2, v^2, uv-vu\rangle}$
Published in Symmetry, 2025
• View Publication
• BIB
Let $p$ be an odd prime. In this paper, we have determined the Hamming distances for constacyclic codes of length $2p^s$ over the finite commutative non-chain ring $\mathcal{R}=\frac{\mathbb{F}_{p^m}[u, v]}{\langle u^2, v^2, uv-vu\rangle}$. Also their symbol-pair distances are completely obtained.
A topological product Tverberg Theorem
We prove a generalization of the topological Tverberg theorem. One special instance of our general theorem is the following: Let $Δ$ denote the 8-dimensional simplex viewed as an abstract simplicial complex, and suppose that its vertices are arranged in a $3\times 3$ array. Then for any continuous map $f:Δ\to \mathbb{R}^3$ it is possible to partition the rows or the columns of the vertex array into two parts, such that the disjoint faces $σ$ and $τ$ induced by the two parts satisfy $f(σ)\cap f(τ) \neq \emptyset$. Our result also has consequences for geometric transversals and topological Helly.
Identities of triangular Boolean matrices
We give a combinatorial characterization of the identities holding in the semiring of all upper triangular Boolean $n\times n$-matrices and apply the characterization to computational complexity of identity checking, finite axiomatizability of equational theories, and algebraic descriptions of certain classes of recognizable languages.
Enumeration of interval-closed sets via Motzkin paths and quarter-plane walks
We find a generating function for interval-closed sets of the product of two chains poset by constructing a bijection to certain bicolored Motzkin paths. We also find a functional equation for the generating function of interval-closed sets of truncated rectangle posets, including the type $A$ root poset, by constructing a bijection to certain quarter-plane walks.
An inverse theorem for generalized arithmetic progression with mild multiplicative property
We prove a structural theorem for generalized arithmetic progressions in $\F_p$ which contain a large product set of two other progressions.
Coupling and Tensorization of Kinetic Theory and Graph Theory
We study a non-exchangeable multi-agent system and rigorously derive a strong form of the mean-field limit. The convergence of the connection weights and the initial data implies convergence of large-scale dynamics toward a deterministic limit given by the corresponding extended Vlasov PDE, at any later time and any realization of randomness. This is established on what we call a bi-coupling distance defined through a convex optimization problem, which is an interpolation of the optimal transport between measures and the fractional overlay between graphs. The proof relies on a quantitative stability estimate of the so-called observables, which are tensorizations of agent laws and graph homomorphism densities. This reveals a profound relationship between mean-field theory and graph limiting theory, intersecting in the study of non-exchangeable systems.
Coloring of some $(P_2\cup P_4)$-free graphs
We denote a path on $t$ vertices as $P_t$ and a cycle on $t$ vertices as $C_t$. For two vertex-disjoint graphs $G_1$ and $G_2$, the {\em union} $G_1\cup G_2$ is the graph with $V(G_1\cup G_2)=V(G_1)\cup V(G_2)$ and $E(G_1\cup G_2)=E(G_1)\cup E(G_2)$. A {\em diamond} (resp. {\em gem}) is a graph consisting of a $P_3$ (resp. $P_4$) and a new vertex adjacent to all vertices of the $P_3$ (resp. $P_4$), and a {\em butterfly} is a graph consisting of two triangles that share one vertex. In this paper, we show that $χ(G)\le 3ω(G)-2$ if $G$ is a ($P_2\cup P_4$, gem)-free graph, $χ(G)\le \frac{ω(G)^2+3ω(G)-2}{2}$ if $G$ is a ($P_2\cup P_4$, butterfly)-free graph. We also study the class of ($P_2\cup P_4$, diamond)-free graphs, and show that, for such a graph $G$, $χ(G)\leq4$ if $ω(G)=2$, $χ(G)\leq7$ if $ω(G)=3$, $χ(G)\leq9$ if $ω(G)=4$, and $χ(G)\leq2ω(G)-1$ if $ω(G)\ge 5$. Moreover, we prove that $G$ is perfect if $G$ is ($P_2\cup P_4$, diamond, $C_5$)-free with $ω(G)\geq5$.
The adjacent Hindman's theorem and the $\mathbb Z$-Ramsey's theorem
We consider the restriction of Ramsey's theorem that arises from considering only translation-invariant colourings of pairs, and show that this has the same strength (both from the viewpoint of Reverse Mathematics and from the viewpoint of Computability Theory) as the {\em Adjacent Hindman's Theorem}, proposed by L. Carlucci (Arch. Math. Log. {\bf 57} (2018), 381--359). We also investigate some higher dimensional versions of both of these statements.
Additive codes attaining the Griesmer bound
Additive codes may have better parameters than linear codes. However, still very few cases are known and the explicit construction of such codes is a challenging problem. Here we show that a Griesmer type bound for the length of additive codes can always be attained with equality if the minimum distance is sufficiently large. This solves the problem for the optimal parameters of additive codes when the minimum distance is large and yields many infinite series of additive codes that outperform linear codes.
On the geography of log-surfaces
Published in EMS Surv. Math. Sci. (2026)
• View Publication
• BIB
This survey focuses on the geometric problem of log-surfaces, which are pairs consisting of a smooth projective surface and a reduced non-empty boundary divisor. In the first part, we focus on the geography problem for complex log-surfaces associated with pairs of the form $(\mathbb{P}^{2}, C)$, where $C$ is an arrangement of smooth plane curves admitting ordinary singularities. Specifically, we focus on the case in which $C$ is an arrangement consisting of smooth rational curves as its irreducible components. In the second part, containing original new results, we study log-surfaces constructed as pairs consisting of a complex projective $K3$ surface and a rational curve arrangement. In particular, we provide some combinatorial conditions for such pairs to have the log-Chern slope equal to $3$. Our survey is illustrated with many explicit examples of log-surfaces.
Some permutation pentanomials over finite fields of even characteristic
In a recent paper Zhang et al. constructed 17 families of permutation pentanomials of the form $x^t+x^{r_1(q-1)+t}+x^{r_2(q-1)+t}+x^{r_3(q-1)+t}+x^{r_4(q-1)+t}$ over $\mathbb{F}_{q^2}$ where $q=2^m$. In this paper for 14 of these 17 families we provide a simple explanation as to why they are permutations. We also extend these 14 families into three general classes of permutation pentanomials over $\mathbb{F}_{q^2}$.
Introducing irrational enumeration: analytic combinatorics for objects of irrational size
We extend the scope of analytic combinatorics to classes containing objects that have irrational sizes. The generating function for such a class is a power series that admits irrational exponents (which we call a Ribenboim series). A transformation then yields a generalised Dirichlet series from which the asymptotics of the coefficients can be extracted by singularity analysis using an appropriate Tauberian theorem. In practice, the asymptotics can often be determined directly from the original generating function. We illustrate the technique with a variety of applications, including tilings with tiles of irrational area, ordered integer factorizations, lattice walks enumerated by Euclidean length, and plane trees with vertices of irrational size. We also explore phase transitions in the asymptotics of families of irrational combinatorial classes.
The $k$-fold circuit property for matroids
Double circuits were introduced by Lovász in 1980 as a fundamental tool in his derivation of a min-max formula for the size of a maximum matching in linear matroids. This formula was extended to all matroids satisfying the so-called `double circuit property' by Dress and Lovász in 1987. We extend these notions to $k$-fold circuits for all natural numbers $k$ and show, in particular that several families of matroids which are known to satisfy the double circuit property, satisfy the $k$-fold circuit property for all natural numbers $k$. These families include all pseudomodular matroids (such as full linear, algebraic and transversal matroids) and certain families of count matroids. These results suggest that the $k$-fold circuit property can be used as a measure of how close the lattice of flats of a matroid is to being a modular lattice.
Large Induced Subgraphs of Bounded Degree in Outerplanar and Planar Graphs
In this paper, we study the following question. Let $\mathcal G$ be a family of planar graphs and let $k\geq 3$ be an integer. What is the largest value $f_k(n)$ such that every $n$-vertex graph in $\mathcal G$ has an induced subgraph with degree at most $k$ and with $f_k(n)$ vertices? Similar questions, in which one seeks a large induced forest, or a large induced linear forest, or a large induced $d$-degenerate graph, rather than a large induced graph of bounded degree, have been studied for decades and have given rise to some of the most fascinating and elusive conjectures in Graph Theory. We tackle our problem when $\mathcal G$ is the class of the outerplanar graphs or the class of the planar graphs. In both cases, we provide upper and lower bounds on the value of $f_k(n)$. For example, we prove that every $n$-vertex planar graph has an induced subgraph with degree at most $3$ and with $\frac{5n}{13}>0.384n$ vertices, and that there exist $n$-vertex planar graphs whose largest induced subgraph with degree at most $3$ has $\frac{4n}{7}+O(1)<0.572n+O(1)$ vertices.
Construction of directed strongly regular graphs via their orbit matrices and genetic algorithm
In this paper, we introduce orbit matrices of directed strongly regular graphs (DSRGs). Further, we propose a method of constructing directed strongly regular graphs with prescribed automorphism group using genetic algorithm. In the construction, we use orbit matrices, i.e. quotient matrices related to equitable partitions of adjacency matrices of putative directed strongly regular graphs induced by an action of a prescribed automorphism group. Further, we apply this method to construct directed strongly regular graphs with parameters $(36,10,5,2,3)$, $(52,12,3,2,3)$, $(52,15,6,5,6)$, $(55,20,8,6,8)$ and $(55,24,12,11,10)$.
On the Spread of Graph-Related Matrices
The spread of a real symmetric matrix is defined as the difference between its largest and smallest eigenvalue. The study of graph-related matrices has attracted considerable attention, leading to a substantial body of findings. In this paper, we investigate a general spread problem related to $A_α$-matrix of graphs. The $A_α$-matrix of a graph $G$, introduced by Nikiforov in 2017, is a convex combinations of its diagonal degree matrix $D(G)$ and adjacency matrix $A(G)$, defined as $A_α (G) = αD(G) + (1-α) A(G)$. Let $λ_1^{(α)} (G)$ and $λ_n^{(α)} (G)$ denote the largest and smallest eigenvalues of $A_α (G)$, respectively. We determined the unique graph that maximizes $λ^{(α)}_1 (G) - β\cdotλ^{(γ)}_n (G)$ among all connected $n$-vertex graphs for sufficiently large $n$, where $0 \leq α< 1$, $1/2\leq γ< 1$ and $0<βγ\leq 1$. As an application, we confirm a conjecture proposed by Lin, Miao, and Guo [Linear Algebra Appl. 606 (2020) 1--22]. In addition, one of main results in [SIAM J. Discrete Math. 38 (2024) 590--608] is a simple corollary of our result by choosing $α= γ= 1/2$ and $β= 1$.