Showing 20 papers (Total: 81564 papers, 47262 authors in database)
The Partition Dimension of Corona Product of Complete and Wheel Graph
The graph G is a pair of sets (V(G), E(G)), where V(G) is a finite set whose elements are called vertices, and E(G) is a set of pairs of members of V(G), which is called the edges. Let G be a simple graph. For an ordered k-partition \{Π\} = \{S_1, S_2, \dots, S_k\} of V(G), the representation of u with respect to \{Π\} is k-ordered pairs, r(u \mid \{Π\}) = (d(u, S_1), d(u, S_2), \dots, d(u, S_k)). The partition \{Π\} is called a resolving partition of G if r(u \mid \{Π\}) \neq r(v \mid \{Π\}) for all distinct u, v \in V(G). The resolving partition \{Π\} with the minimum cardinality is called minimum resolving partition. The partition dimension of G, denoted pd(G), is the cardinality of a minimum resolving partition of G.
In this research, we determine the partition dimension of the corona product of a complete graph using some mathematical statements about resolving partitions, the concept of equivalent vertices, and same-level vertices. Several analysis results for the K_n \circ W_m vertices refer to equivalent vertices and the same-level vertices concept. The results show that for m = n, pd(K_n \circ W_m) = n, for n \geq 3, for m = n + 1, pd(K_n \circ W_m) = 3 for n = 3, and pd(K_n \circ W_m) = n for n \geq 3. For m = n + 2, pd(K_n \circ W_m) = 4 for n = 2, 3, and pd(K_n \circ W_m) = n for n \geq 4.
On Some Algorithmic and Structural Results on Flames
A directed graph $F$ with a root node $r$ is called a flame if for every vertex $v$ other than $r$ the local edge-connectivity value $λ(r,v)$ from $r$ to $v$ is equal to $\varrho_F(v)$, the in-degree of $v$. It is a classic, simple and beautiful result of Lovász that every digraph $D$ with a root node $r$ has a spanning subgraph $F$ that is a flame and the $λ(r,v)$ values are the same in $F$ as in $D$ for every vertex $v$ other than $r$. However, the complexity of finding the minimum weight of such a subgraph is open. In this paper we prove that this problem is solvable in strongly polynomial time for acyclic digraphs. Besides that, we prove a decomposition result of flames into a chain of smaller flames via edge-disjoint branchings and use this to prove a common generalization of Lovász's above mentioned theorem and Edmonds' classic disjoint arborescences theorem.
Intersection Hypergraph on D_n
Let $G$ be a group and $S$ be the set of all non-trivial proper subgroups of $G$. The intersection hypergraph of $G$, denoted by $\tildeΓ_\mathcal{H}(G)$, is a hypergraph whose vertex set is $\{H \in S \,\, | \,\, H \cap K = \{e\} \,\, \text{for some} \, K \in S \}$ and hyperedges are the maximal subsets of the vertex set with the property that any two vertices in it have a trivial intersection. The aim of this paper is to study the intersection hypergraph of dihedral groups, $\tildeΓ_\mathcal{H}(D_n)$. We examine some of the structural properties, viz., diameter, girth and chromatic number of $\tildeΓ_\mathcal{H}(D_n)$. Also, we provide characterizations for hypertreees, star structures of $\tildeΓ_\mathcal{H}(D_n)$, and investigate the planarity and non-planarity of $\tildeΓ_\mathcal{H}(D_n)$.
Consecutive and quasi-consecutive patterns: $\mathrm{des}$-Wilf classifications and generating functions
Motivated by a correlation between the distribution of descents over permutations that avoid a consecutive pattern and those avoiding the respective quasi-consecutive pattern, as established in this paper, we obtain a complete $\des$-Wilf classification for quasi-consecutive patterns of length up to 4. For equivalence classes containing more than one pattern, we construct various descent-preserving bijections to establish the equivalences, which lead to the provision of proper versions of two incomplete bijective arguments previously published in the literature. Additionally, for two singleton classes, we derive explicit bivariate generating functions using the generalized run theorem.
The radius capture number
In the classic cop and robber game, two players--the cop and the robber--take turns moving to a neighboring vertex or staying at their current position. The cop aims to capture the robber, while the robber tries to evade capture. A graph $G$ is called a cop-win graph if the cop can always capture the robber in a finite number of moves. In the cop and robber game with radius of capture $k$, the cop wins if he can come within distance $k$ of the robber. The radius capture number $\rc(G)$ of a graph $G$ is the smallest $k$ for which the cop has a winning strategy in this variant of the game.
In this paper, we establish that $\rc(H) \leq \rc(G)$ for any retract $H$ of $G$. We derive sharp upper and lower bounds for the radius capture number in terms of the graph's radius and girth, respectively. Additionally, we investigate the radius capture number in vertex-transitive graphs and identify several families $\cal{F}$ of vertex-transitive graphs with $\rc(G)=\rad(G)-1$ for any $G \in \cal{F}$. We further study the radius capture number in outerplanar graphs, Sierpiński graphs, harmonic even graphs, and graph products. Specifically, we show that for any outerplanar graph $G$, $\rc(G)$ depends on the size of its largest inner face. For harmonic even graphs and Sierpiński graphs $S(n,3)$, we prove that $\rc(G)=\rad(G)-1$. Regarding graph products, we determine exact values of the radius capture number for strong and lexicographic products, showing that they depend on the radius capture numbers of their factors. Lastly, we establish both lower and upper bounds for the radius capture number of the Cartesian product of two graphs.
Pangraphs as models of higher-order interactions
Graphs depict pairwise relationships between objects within a system. Higher-order interactions (HOIs), which involve more than two objects simultaneously, are common in nature. Such interactions can change the stability of a complex system. Hypergraphs can represent an HOI as an arbitrary subset of vertices. However, they fail to capture the specific roles of the vertices involved, which can be highly asymmetric, particularly in the case of interaction modifications.
We introduce pangraphs, a robust and quantitative generalisation of graphs that accurately captures arbitrarily complex higher-order interactions. We demonstrate that several higher-order representations proposed in the literature are specific instances of pangraphs. Additionally, we introduce an incidence multilayer digraph representation of a pangraph, referred to as Levi digraph. We adapt degree and Katz centrality measures to the pangraph framework and show that a consistent generalisation of recursive graph measures cannot be simplified to a Levi digraph of a pangraph.
We construct a pangraph for a real-world coffee agroecosystem and compare Katz centrality between its dihypergraph and pangraph representations, both analytically and numerically. The choice of representation significantly affects centrality values and alters vertex ranks. Additionally, we emphasise the use of real-valued incidence matrices to quantify interaction strengths and the roles of vertices within the system.
A Recolouring Version of a Conjecture of Reed
Reed conjectured that the chromatic number of any graph is closer to its clique number than to its maximum degree plus one. We consider a recolouring version of this conjecture, with respect to Kempe changes. Namely, we investigate the largest $\varepsilon$ such that all graphs $G$ are $k$-recolourable for all $k \ge \lceil \varepsilon ω(G) + (1 -\varepsilon)(Δ(G)+1) \rceil$. For general graphs, an existing construction of a frozen colouring shows that $\varepsilon \le 1/3$. We show that this construction is optimal in the sense that there are no frozen colourings below that threshold. For this reason, we conjecture that $\varepsilon = 1/3$. For triangle-free graphs, we give a construction of frozen colourings that shows that $\varepsilon \le 4/9$, and prove that it is also optimal. In the special case of odd-hole-free graphs, we show that $\varepsilon = 1/2$, and that this is tight up to one colour.
Effective MC-finiteness
An integer sequence $(a_n)_{n \in \mathbb{N}}$ is \emph{MC-finite} if for all $m$, the sequence $a_n \bmod m$ is eventually periodic. There are MC-finite sequences $(a_n)_{n \in \mathbb{N}}$ such that the function $F: (m,n) \mapsto a_n \bmod m$ is not computable. In \cite{filmus2023mc} we presented concrete examples of MC-finite sequences taken from the Online Encyclopedia of Integer Sequences (OEIS) without discussing the computability of $F$. In this paper we discuss cases when this $F$ is effectively computable.
Network fault costs based on minimum leaf spanning trees
We study the fault-tolerance of networks from both the structural and computational point of view using the minimum leaf number of the corresponding graph $G$, i.e. the minimum number of leaves of the spanning trees of $G$, and its vertex-deleted subgraphs. We investigate networks that are leaf-guaranteed, i.e. which satisfy a certain stability condition with respect to minimum leaf numbers and vertex-deletion. Next to this, our main notion is the so-called fault cost, which is based on the number of vertices that have different degrees in minimum leaf spanning trees of the network and its vertex-deleted subgraphs. We characterise networks with vanishing fault cost via leaf-guaranteed graphs and describe, for any given network $N$, leaf-guaranteed networks containing $N$. We determine for all non-negative integers $k \le 8$ except $1$ the smallest network with fault cost $k$. We also give a detailed treatment of the fault cost $1$ case, prove that there are infinitely many $3$-regular networks with fault cost $3$, and show that for any non-negative integer $k$ there exists a network with fault cost exactly $k$.
State transfer in Grover walks on unitary and quadratic unitary Cayley graphs over finite commutative rings
This paper focuses on periodicity and perfect state transfer of Grover walks on two well-known families of Cayley graphs, namely, the unitary Cayley graphs and the quadratic unitary Cayley graphs. Let $R$ be a finite commutative ring. The unitary Cayley graph $G_R$ has vertex set $R$, where two vertices $u$ and $v$ are adjacent if $u-v$ is a unit in $R$. We provide a necessary and sufficient condition for the periodicity of the Cayley graph $G_R$. We also completely determine the rings $R$ for which $G_R$ exhibits perfect state transfer. The quadratic unitary Cayley graph $\mathcal{G}_R$ has vertex set $R$, where two vertices $u$ and $v$ are adjacent if $u-v$ or $v-u$ is a square of some units in $R$. It is well known that any finite commutative ring $R$ can be expressed as $R_1\times\cdots\times R_s$, where each $R_i$ is a local ring with maximal ideal $M_i$ for $i\in\{1,...,s\}$. We characterize periodicity and perfect state transfer on $\mathcal{G}_R$ under the condition that $|R_i|/|M_i|\equiv 1 \pmod 4$ for $i\in\{1,...,s\}$. Also, we characterize periodicity and perfect state transfer on $\mathcal{G}_R$, where $R$ can be expressed as $R_0\times\cdots\times R_s$ such that $|R_0|/|M_0|\equiv3\pmod 4$, and $|R_i|/|M_i|\equiv1\pmod4$ for $i\in\{1,..., s\}$, where $R_i$ is a local ring with maximal ideal $M_i$ for $i\in\{0,...,s\}$.
New infinite families of uniformly packed near-MDS codes and multiple coverings, based on the ternary Golay code
We present five new infinite families of linear near-MDS codes uniformly packed in the wide sense (UPWS). These codes are also almost perfect multiple coverings of the deep holes or farthest-off points (APMCF), i.e.\ the vectors lying at distance $R$ (covering radius) from the code. The families are constructed by $m$-lifting when one takes a starting code $C$ over the ground Galois field $\F_q$ with a parity check matrix $H(C)$ and then considers the codes $C_m$ over $F_{q^m}$, $m\ge2$, with the same parity check matrix $H(C)$. As starting codes we used the ternary perfect Golay code and codes obtained by its extension and puncturing. To prove the needed combinatorial properties (UPWS and APMCF), we used the $m$-lifting of the dual codes and features of near-MDS codes. A general theorem on infinite families of UPWS near-MDS codes is proved.
Totally odd immersions of complete graphs in graph products
For a graph $G$, let $im(G)$ denote the maximum integer $t$ such that $G$ contains $K_t$ as an immersion. A recent paper of Collins, Heenehan, and McDonald (2023) studied the behaviour of this parameter under graph products, asking how large can $im(G\ast H)$ be in terms of $im(G)$ and $im(H)$, when $\ast$ is one of the four standard graph products. We consider a similar question for the parameter $toi(G)$ which denotes the maximum integer $t$ such that $G$ contains $K_t$ as a totally odd immersion. As an application, we obtain that no minimum counterexample to the immersion-analogue of the Odd Hadwiger Conjecture can be obtained from the Cartesian, direct (tensor), lexicographic or strong product of graphs.
A tropical approach to rigidity: counting realisations of frameworks
A realisation of a graph in the plane as a bar-joint framework is rigid if there are finitely many other realisations, up to isometries, with the same edge lengths. Each of these finitely-many realisations can be seen as a solution to a system of quadratic equations prescribing the distances between pairs of points. For generic realisations, the size of the solution set depends only on the underlying graph so long as we allow for complex solutions. We provide a characterisation of the realisation number - that is the cardinality of this complex solution set - of a minimally rigid graph. Our characterisation uses tropical geometry to express the realisation number as an intersection of Bergman fans of the graphic matroid. As a consequence, we derive a combinatorial upper bound on the realisation number involving the Tutte polynomial. Moreover, we provide computational evidence that our upper bound is usually an improvement on the mixed volume bound.
Fixed points in Gieseker spaces and blocks of Ariki-Koike algebras
In this article, we establish combinatorial links between the irreducible components of the fixed point locus of the Gieseker variety and the block theory of Ariki-Koike algebras. First, we describe the fixed point locus in terms of Nakajima quiver varieties over the McKay quiver of type A. We then reinterpret the dimension of an irreducible component as double the weight of a block. Cores of charged multipartitions have been defined by Fayers and further developed by Jacon and Lecouvey. In addition, we give a new way to compute the multicharge associated with the core of a charged multipartition. Finally, we also explain how the notion of core blocks, defined by Fayers, is interpreted on the geometric side using the deep connection between quiver varieties and affine Lie algebras.
Extendibility of Latin Hypercuboids
A Latin hypercuboid of order $n$ is a $d$-dimensional matrix of dimensions $n\times n\times\cdots\times n\times k$, with symbols from a set of cardinality $n$ such that each symbol occurs at most once in each axis-parallel line. If $k=n$ the hypercuboid is a Latin hypercube. The Latin hypercuboid is \emph{completable} if it is contained in a Latin hypercube of the same order and dimension. It is \emph{extendible} if it can have one extra layer added. In this note we consider which Latin hypercuboids are completable/extendible. We also consider a generalisation that involves multidimensional arrays of sets that satisfy certain balance properties. The extendibility problem corresponds to choosing representatives from the sets in a way that is analogous to a choice of a Hall system of distinct representatives, but in higher dimensions. The completability problem corresponds to partitioning the sets into such SDRs. We provide a construction for such an array of sets that does not have the property analogous to completability. A related concept was introduced by Häggkvist under the name $(m,m,m)$-array. We generalise a construction of $(m,m,m)$-arrays credited to Pebody, but show that it cannot be used to build the arrays that we need.
Gaussian Waves and Edge Eigenvectors of Random Regular Graphs
Backhausz and Szegedy (2019) demonstrated that the almost eigenvectors of random regular graphs converge to Gaussian waves with variance $0\leq σ^2\leq 1$. In this paper, we present an alternative proof of this result for the edge eigenvectors of random regular graphs, establishing that the variance must be $σ^2=1$. Furthermore, we show that the eigenvalues and eigenvectors are asymptotically independent. Our approach introduces a simple framework linking the weak convergence of the imaginary part of the Green's function to the convergence of eigenvectors, which may be of independent interest.
On the structure of modular lattices -- Unique gluing and dissection
This work proves that the process of gluing finite lattices to form a larger lattice is bijective, that is each lattice is the glued sum of a unique system of finite lattices, provided the class of lattices is constrained to modular, locally-finite lattices with finite covers. The results of this work are not surprising given the prior literature, but this seems to be the first proof that the processes of gluing and dissection can be made inverses, and hence that gluing is bijective.
Covering points with planes
Suppose that each proper subset of a set $S$ of points in a vector space is contained in the union of planes of specified dimensions, but $S$ itself is not contained in any such union. How large can $|S|$ be?
We prove a general upper bound on $|S|$, which is tight in some cases, for example when all of the planes have the same dimension. We produce an example showing that this upper bound does not hold for point sets whose proper subsets are covered by lines in $(\mathbb{Z}/p^k\mathbb{Z})^2$ with $k\geq 2$, and prove an upper bound in this case. We also investigate the analogous problem for general matroids.
Preservation of log-concavity on gamma polynomials
Published
• View Publication
• BIB
Every symmetric polynomial $h(x)$ with center of symmetry $n/2$ can be expressed as a linear combination in the basis $x^i(1+x)^{n-2i}$. The $γ$-polynomial of $h(x)$, which we denote $γ_h(x)$, records the coefficients of this linear combination. Two decades ago, Brändén and Gal independently showed that if $γ_h(x)$ has nonpositive real roots only, then so does $h(x)$. More recently, Brändén, Ferroni, and Jochemko proved using Lorentzian polynomials that if $γ_h(x)$ is ultra log-concave, then so is $h(x)$, and they raised the question of whether a similar statement can be proved for the usual notion of log-concavity. The purpose of this article is to show that the answer to the question of Brändén, Ferroni, and Jochemko is affirmative. One of the crucial ingredients of the proof is an inequality involving binomial numbers that we establish via a path-counting argument.
Bipartite Turán number of trees
We start a systematic investigation concerning bipartite Turán number for trees. For a graph $F$ and integers $1 \leq a \leq b$ we define:
$(i)$\quad $ex_b(a, b, F)$ is the largest number of edges that an $F$-free bipartite graph can have with part sizes $a$ and $b$. We write $ex_b(n, F)$ for $ex_b(n, n, F)$.
$(ii)$\quad $ex_{b,c}(a, b, F)$ is the largest number of edges that an $F$-free connected, bipartite graph can have with part sizes $a$ and $b$. We write $ex_{b,c}(n, F)$ for $ex{b,c}(n, n, F)$.
Both definitions are similar for a family $\mathcal{F}$ of graphs.
We prove general lower bounds depending on the maximum degree of $F$, as well as on the cardinalities of the two vertex classes of $F$.
We derive upper and lower bounds for $ex_b(n,F)$ in terms of $ex(2n,F)$ and $ex(n, F)$, the corresponding classical (not bipartite) Turán numbers.
We solve both problems for various classes of graphs, including all trees up to six vertices for any $n$, for double stars $D_{s ,t}$ if $a \geq f(s,t )$, for some families of spiders, and more.
We use these results to supply an answer to a problem raised by L. T. Yuan and X. D. Zhang [{\it Graphs and Combinatorics}, 2017] concerning $ex_b( n, \mathcal{T}_{k,\ell} )$, where $\mathcal{T}_{k,\ell}$ is the family of all trees with vertex classes of respective cardinalities $k$ and $\ell$.
The asymptotic worst-case ratios between Turán-type functions are also inverstigated.