Showing 20 papers (Total: 82505 papers, 47699 authors in database)
Mutual Visibility in Graphs
Published
• View Publication
• BIB
Let $G=(V,E)$ be a graph and $P\subseteq V$ a set of points. Two points are mutually visible if there is a shortest path between them without further points. $P$ is a mutual-visibility set if its points are pairwise mutually visible. The mutual-visibility number of $G$ is the size of any largest mutual-visibility set. In this paper we start the study about this new invariant and the mutual-visibility sets in undirected graphs. We introduce the mutual-visibility problem which asks to find a mutual-visibility set with a size larger than a given number. We show that this problem is NP-complete, whereas, to check whether a given set of points is a mutual-visibility set is solvable in polynomial time. Then we study mutual-visibility sets and mutual-visibility numbers on special classes of graphs, such as block graphs, trees, grids, tori, complete bipartite graphs, cographs. We also provide some relations of the mutual-visibility number of a graph with other invariants.
Feedback Vertex Set and Even Cycle Transversal for H-Free Graphs: Finding Large Block Graphs
Published
• View Publication
• BIB
We prove new complexity results for Feedback Vertex Set and Even Cycle Transversal on $H$-free graphs, that is, graphs that do not contain some fixed graph $H$ as an induced subgraph. In particular, we prove that for every $s\geq 1$, both problems are polynomial-time solvable for $sP_3$-free graphs and $(sP_1+P_5)$-free graphs; here, the graph $sP_3$ denotes the disjoint union of $s$ paths on three vertices and the graph $sP_1+P_5$ denotes the disjoint union of $s$ isolated vertices and a path on five vertices. Our new results for Feedback Vertex Set extend all known polynomial-time results for Feedback Vertex Set on $H$-free graphs, namely for $sP_2$-free graphs [Chiarelli et al., TCS 2018], $(sP_1+P_3)$-free graphs [Dabrowski et al., Algorithmica 2020] and $P_5$-free graphs [Abrishami et al., SODA 2021]. Together, the new results also show that both problems exhibit the same behaviour on $H$-free graphs (subject to some open cases). This is in part due to a new general algorithm we design for finding in a ($sP_3)$-free or $(sP_1+P_5)$-free graph $G$ a largest induced subgraph whose blocks belong to some finite class ${\cal C}$ of graphs. We also compare our results with the state-of-the-art results for the Odd Cycle Transversal problem, which is known to behave differently on $H$-free graphs.
Branching Frequency and Markov Entropy of Repetition-Free Languages
Published
• View Publication
• BIB
We define a new quantitative measure for an arbitrary factorial language: the entropy of a random walk in the prefix tree associated with the language; we call it Markov entropy. We relate Markov entropy to the growth rate of the language and to the parameters of branching of its prefix tree. We show how to compute Markov entropy for a regular language. Finally, we develop a framework for experimental study of Markov entropy by modelling random walks and present the results of experiments with power-free and Abelian-power-free languages.
Sharply transitive sets in $\mathrm{PGL}_2(K)$
Published
• View Publication
• BIB
Here is a simplified proof that every sharply transitive subset of $\mathrm{PGL}_2(K)$ is a coset of a subgroup.
Dots & Boxes is PSPACE-complete
Exactly 20 years ago at MFCS, Demaine posed the open problem whether the game of Dots & Boxes is PSPACE-complete. Dots & Boxes has been studied extensively, with for instance a chapter in Berlekamp et al. "Winning Ways for Your Mathematical Plays", a whole book on the game "The Dots and Boxes Game: Sophisticated Child's Play" by Berlekamp, and numerous articles in the "Games of No Chance" series. While known to be NP-hard, the question of its complexity remained open. We resolve this question, proving that the game is PSPACE-complete by a reduction from a game played on propositional formulas.
Fundamental weight systems are quantum states
Published in Letters in Mathematical Physics, vol 113 no 112 (2023)
• View Publication
• BIB
Weight systems on chord diagrams play a central role in knot theory and Chern-Simons theory; and more recently in stringy quantum gravity. We highlight that the noncommutative algebra of horizontal chord diagrams is canonically a star-algebra, and ask which weight systems are positive with respect to this structure; hence we ask: Which weight systems are quantum states, if horizontal chord diagrams are quantum observables? We observe that the fundamental gl(n)-weight systems on horizontal chord diagrams with N strands may be identified with the Cayley distance kernel at inverse temperature beta=ln(n) on the symmetric group on N elements. In contrast to related kernels like the Mallows kernel, the positivity of the Cayley distance kernel had remained open. We characterize its phases of indefinite, semi-definite and definite positivity, in dependence of the inverse temperature beta; and we prove that the Cayley distance kernel is positive (semi-)definite at beta=ln(n) for all n=1,2,3,... In particular, this proves that all fundamental gl(n)-weight systems are quantum states, and hence so are all their convex combinations. We close with briefly recalling how, under our "Hypothesis H", this result impacts on the identification of bound states of multiple M5-branes.
Sharp threshold for the Erdős-Ko-Rado theorem
Published
• View Publication
• BIB
For positive integers $n$ and $k$ with $n\geq 2k+1$, the Kneser graph $K(n,k)$ is the graph with vertex set consisting of all $k$-sets of $\{1,\dots,n\}$, where two $k$-sets are adjacent exactly when they are disjoint. The independent sets of $K(n,k)$ are $k$-uniform intersecting families, and hence the maximum size independent sets are given by the Erdős-Ko-Rado Theorem. Let $K_p(n,k)$ be a random spanning subgraph of $K(n,k)$ where each edge is included independently with probability $p$. Bollobás, Narayanan, and Raigorodskii asked for what $p$ does $K_p(n,k)$ have the same independence number as $K(n,k)$ with high probability. For $n=2k+1$, we prove a hitting time result, which gives a sharp threshold for this problem at $p=3/4$. Additionally, completing work of Das and Tran and work of Devlin and Kahn, we determine a sharp threshold function for all $n>2k+1$.
Independent Spaces of q-Polymatroids
Published
• View Publication
• BIB
This paper is devoted to the study of independent spaces of q-polymatroids. With the aid of an auxiliary q-matroid it is shown that the collection of independent spaces satisfies the same properties as for q-matroids. However, in contrast to q-matroids, the rank value of an independent space does not agree with its dimension. Nonetheless, the rank values of the independent spaces fully determine the q-polymatroid, and this fact can be exploited to derive a cryptomorphism of q-polymatroids. Finally, the notions of minimal spanning spaces, maximally strongly independent spaces, and bases will be elaborated on.
Inconsequential results on the Merino-Welsh conjecture for Tutte polynomials
Published in Advances in Applied Mathematics (2025)
• View Publication
• BIB
The Merino-Welsh conjectures say that subject to conditions, there is an inequality among the Tutte-polynomial evaluations $T(M;2,0)$, $T(M;0,2)$, and $T(M;1,1)$. We present three results on a Merino-Welsh conjecture. These results are "inconsequential" in the sense that although they imply a version of the conjecture for many matroids, they seem to be dead ends.
On Products of Strong Skolem Starters
Published
• View Publication
• BIB
In 1991, Shalaby conjectured that any $\mathbb{Z}_{n}$, where $n\equiv 1$ or $3\pmod{8},\ n\ge 11$, admits a strong Skolem starter. In 2018, the authors explicitly constructed some infinite "cardioidal" families of strong Skolem starters. No other infinite families of these combinatorial designs were known to date.
Statements regarding the products of starters, proven in this paper give a new way of generating strong or skew Skolem starters of composite orders. This approach extends our previous result by generating new infinite families that are not cardioidal.
The products that we introduce in this paper are multi-valued binary operations which produce 2-partitions of the set $\mathbb{Z}^*_{nm}$ of integers modulo $nm$ without zero, from a pair of 2-partitions of $\mathbb{Z}^*_n$ and $\mathbb{Z}^*_m$, where $n, m\ge 3$ are odd integers. We prove several remarkable properties of these operations applied to starters in $\mathbb{Z}_n$ and to some other combinatorial objects that are 2-partitions of $\mathbb{Z}^*_n$ with additional restrictions, such as strong, skew, Skolem and cardioidal 2-partitions.
Isomorphic Boolean networks and dense interaction graphs
A Boolean network (BN) with $n$ components is a discrete dynamical system described by the successive iterations of a function $f:\{0,1\}^n\to\{0,1\}^n$. In most applications, the main parameter is the interaction graph of $f$: the digraph with vertex set $\{1,\dots,n\}$ that contains an arc from $j$ to $i$ if $f_i$ depends on input $j$. What can be said on the set $\mathcal{G}(f)$ of the interaction graphs of the BNs $h$ isomorphic to $f$, that is, such that $h\circ π=π\circ f$ for some permutation $π$ of $\{0,1\}^n$? It seems that this simple question has never been studied. Here, we report some basic facts. First, if $n\geq 5$ and $f$ is neither the identity or constant, then $\mathcal{G}(f)$ is of size at least two and contains the complete digraph on $n$ vertices, with $n^2$ arcs. Second, for any $n\geq 1$, there are $n$-component BNs $f$ such that every digraph in $\mathcal{G}(f)$ has at least $n^2/9$ arcs.
$2\times n$ Grids have Unbounded Anagram-Free Chromatic Number
Published
• View Publication
• BIB
We show that anagram-free vertex colouring a $2\times n$ square grid requires a number of colours that increases with $n$. This answers an open question in Wilson's thesis and shows that even graphs of pathwidth $2$ do not have anagram-free colourings with a bounded number of colours.
Unravelled Abstract Regular Polytopes
Published
• View Publication
• BIB
This paper introduces the notion of an unravelled abstract regular polytope, and proves that $\SL_3(q) \rtimes <t>$, where $t$ is the transpose inverse automorphism of $\SL_3(q)$, possesses such polytopes for various congruences of $q$. A large number of small examples of such polytopes are given, along with extensive details of their various properties.
The k-path vertex cover: general bounds and chordal graphs
For an integer $k\ge 3$, a $k$-path vertex cover of a graph $G=(V,E)$ is a set $T\subseteq V$ that shares a vertex with every path subgraph of order $k$ in $G$. The minimum cardinality of a $k$-path vertex cover is denoted by $ψ_k(G)$. We give estimates -- mostly upper bounds -- on $ψ_k(G)$ in terms of various parameters, including vertex degrees and the number of vertices and edges. The problem is also considered on chordal graphs and planar graphs.
The trace formula with respect to the twisted Grover matrix of a mixed digraph
We define a zeta function woth respect to the twisted Grover matrix of a mixed digraph, and present an exponential expression and a determinant expression of this zeta function. As an application, we give a trace formula with respect to the twisted Grover matrix of a mixed digraph.
The scattering matrix with respect to an Hermitian matrix of a graph
Published
• View Publication
• BIB
Recently, Gnutzmann and Smilansky presented a formula for the bond scattering matrix of a graph with respect to a Hermitian matrix. We present another proof for this Gnutzmann and Smilansky's formula by a technique used in the zeta function of a graph. Furthermore, we generalize Gnutzmann and Smilansky's formula to a regular covering of a graph. Finally, we define an $L$-fuction of a graph, and present a determinant expression. As a corollary, we express the generalization of Gnutzmann and Smilansky's formula to a regular covering of a graph by using its $L$-functions.
On The Partition Regularity of $ax+by = cw^mz^n$
Published in Integers Volume 23 Article 18, year 2023 (http://math.colgate.edu/~integers/x18/x18.pdf)
• Search Publication
Csikvári, Gyarmati, and Sárközy showed that the equation $x+y = z^2$ is not partition regular (PR) over $\mathbb{N}$ and asked if the equation $x+y = wz$ is PR over $\mathbb{N}$. Bergelson and Hindman independently answered this question in the positive. We generalize this result by giving a partial classification of the $a,b,c \in \mathbb{Z}\setminus\{0\}$ and $m,n \in \mathbb{N}$ for which the equation $ax+by = cw^mz^n$ is PR over $\mathbb{Z}\setminus\{0\}$. We show that if $m,n \ge 2$, then $ax+by = cw^mz^n$ is PR over $\mathbb{Z}\setminus\{0\}$ if and only if $a+b = 0$. Next, we show that if $n$ is odd, then the equation $ax+by = cwz^n$ is PR over $\mathbb{Z}\setminus\{0\}$ if and only if one of $\frac{a}{c}, \frac{b}{c},$ or $\frac{a+b}{c}$ is an $n$th power in $\mathbb{Q}$. We come close to a similar characterization of the partition regularity of $ax+by = cwz^n$ over $\mathbb{Z}\setminus\{0\}$ for even $n$, and we examine some equations whose partition regularity remain unknown, such as $16x+17y = wz^8$.
In order to show that the equation $ax+by = cwz^n$ is not PR over $\mathbb{Z}\setminus\{0\}$ for certain values of $a,b,c,$ and $n$, we prove a partial generalization of the criteria of Grunwald and Wang for when $α\in \mathbb{Z}$ is an $n$th power modulo every prime $p$. In particular, we show that for any odd $n$ and any $α,β,γ\in \mathbb{Q}$ that are not $n$th powers, there exist infinitely many primes $p \in \mathbb{N}$ for which none of $α,β,$ and $γ$ are $n$th powers modulo $p$. Similarly, we show that for any even $n$ and any $α,β,γ\in \mathbb{Q}$ that are not $\frac{n}{2}$th powers, with one not an $\frac{n}{4}$th power if $4|n$, there exist infinitely many primes $p \in \mathbb{N}$ for which $α,β,$ and $γ$ are not $n$th powers modulo $p$.
Part of the abstract was removed here.
An exact characterization of saturation for permutation matrices
Published in Combinatorial Theory, 3(1) (2023)
• View Publication
• BIB
A 0-1 matrix $M$ contains a 0-1 matrix pattern $P$ if we can obtain $P$ from $M$ by deleting rows and/or columns and turning arbitrary 1-entries into 0s. The saturation function $\mathrm{sat}(P,n)$ for a 0-1 matrix pattern $P$ indicates the minimum number of 1s in an $n \times n$ 0-1 matrix that does not contain $P$, but changing any 0-entry into a 1-entry creates an occurrence of $P$. Fulek and Keszegh recently showed that each pattern has a saturation function either in $O(1)$ or in $Θ(n)$. We fully classify the saturation functions of permutation matrices.
Typical structure of hereditary properties of binary matroids
Published
• View Publication
• BIB
We prove an arithmetic analogue of the typical structure theorem for graph hereditary properties due to Alon, Balogh, Bollobás and Morris.
Remarks on the spectral radius of $K_{r+1}$-saturated graphs
Write $ρ\left( G\right) $ for the spectral radius of a graph $G$ and $S_{n,r}$ for the join $K_{r}\vee\overline{K}_{n-r}.$
Let $n>r\geq2$ and $G$ be a $K_{r+1}$-saturated graph of order $n.$
Recently Kim, Kim, Kostochka, and O determined exactly the minimum value of $ρ\left( G\right) $ for $r=2$, and found an asymptotically tight bound on $ρ\left( G\right) $ for $r\geq3.$ They also conjectured that \[ ρ\left( G\right) >ρ\left( S_{n,r-1}\right) , \] unless $G=S_{n,r-1}.$
In this note their conjecture is proved.