Showing 20 papers (Total: 82505 papers, 47699 authors in database)
On the graphs having at most one positive eccentricity eigenvalue
The eccentricity (anti-adjacency) matrix $\varepsilon(G)$ of a graph $G$ is obtained from the distance matrix by retaining the eccentricities in each row and each column. This matrix is first defined in 2018 by Wang et al. \cite{1}. In this paper we have characterized the graphs which have at most one (hence exactly) positive eigenvalue of $\varepsilon(G)$.
The main vertices of a star set and related graph parameters
A vertex $v \in V(G)$ is called $λ$-main if it belongs to a star set $X \subset V(G)$ of the eigenvalue $λ$ of a graph $G$ and this eigenvalue is main for the graph obtained from $G$ by deleting all the vertices in $X \setminus \{v\}$; otherwise, $v$ is $λ$-non-main. Some results concerning main and non-main vertices of an eigenvalue are deduced. For a main eigenvalue $λ$ of a graph $G$, we introduce the minimum and maximum number of $λ$-main vertices in some $λ$-star set of $G$ as new graph invariant parameters. The determination of these parameters is formulated as a combinatorial optimization problem based on a simplex-like approach. Using these and some related parameters we develop new spectral tools that can be used in the research of the isomorphism problem. Examples of graphs for which the maximum number of $λ$-main vertices coincides with the cardinality of a $λ$-star set are provided.
Local Coloring Problems on Smooth Graphs
Published
• View Publication
• BIB
We construct a smooth locally finite Borel graph $G$ and a local coloring problem $Π$ such that $G$ has a coloring $V(G) \to \mathbb{N}$ that solves $Π$, but no such coloring can be Borel.
Sharp discrete isoperimetric inequalities in periodic graphs via discrete PDE and Semidiscrete Optimal Transport
We develop criteria based on a calibration argument via discrete PDE and semidiscrete optimal transport, for finding sharp isoperimetric inequalities of the form $(\sharp Ω)^{d-1} \le C (\sharp \overrightarrow{\partialΩ})^d$ where $Ω$ is a subset of vertices of a graph and $\overrightarrow{\partialΩ}$ is the oriented edge-boundary of $Ω$, as well as the optimum isoperimetric shapes $Ω$. The method is a discrete counterpart to Optimal Transport and ABP method proofs valid in the continuum, and answers a question appearing in Hamamuki \cite{hamamuki}, extending that work valid for rectangular grids, to a larger class of graphs, including graphs dual to simplicial meshes of equal volume. We also connect the problem to the theory Voronoi tessellations and of Aleksandrov solutions from semidiscrete optimal transport. The role of the geometric-arithmetic inequality that was used in previous works in the continuum case and in the $\mathbb Z^d$-graph case is now played by a geometric cell-optimization constant, where the optimization problem is like in Minkowski's proof of his classical theorem for convex polyhedra. Finally, we study the optimal constant in the related discrete Neumann boundary problem, and present a series of possible directions for a further classification of discrete edge-isoperimetric constants and shapes.
A note on fractional covers of a graph
Published in Art Discrete Appl. Math. 6(1), P1.06 (2023)
• View Publication
• BIB
A fractional colouring of a graph $G$ is a function that assigns a non-negative real value to all possible colour-classes of $G$ containing any vertex of $G$, such that the sum of these values is at least one for each vertex. The fractional chromatic number is the minimum sum of the values assigned by a fractional colouring over all possible such colourings of $G$. Introduced by Bosica and Tardif, fractional covers are an extension of fractional colourings whereby the real-valued function acts on all possible subgraphs of $G$ belonging to a given class of graphs. The fractional chromatic number turns out to be a special instance of the fractional cover number. In this work we investigate fractional covers acting on $(k+1)$-clique-free subgraphs of $G$ which, although sharing some similarities with fractional covers acting on $k$-colourable subgraphs of $G$, they exhibit some peculiarities. We first show that if a simple graph $G_2$ is a homomorphic image of a simple graph $G_1$, then the fractional cover number defined on the $(k+1)$-clique-free subgraphs of $G_1$ is bounded above by the corresponding number of $G_2$. We make use of this result to obtain bounds for the associated fractional cover number of graphs that are either $n$-colourable or $a\!\!:\!\!b$-colourable.
List-decodability with large radius for Reed-Solomon codes
Published
• View Publication
• BIB
List-decodability of Reed-Solomon codes has received a lot of attention, but the best-possible dependence between the parameters is still not well-understood. In this work, we focus on the case where the list-decoding radius is of the form $r=1-\varepsilon$ for $\varepsilon$ tending to zero. Our main result states that there exist Reed-Solomon codes with rate $Ω(\varepsilon)$ which are $(1-\varepsilon, O(1/\varepsilon))$-list-decodable, meaning that any Hamming ball of radius $1-\varepsilon$ contains at most $O(1/\varepsilon)$ codewords. This trade-off between rate and list-decoding radius is best-possible for any code with list size less than exponential in the block length.
By achieving this trade-off between rate and list-decoding radius we improve a recent result of Guo, Li, Shangguan, Tamo, and Wootters, and resolve the main motivating question of their work. Moreover, while their result requires the field to be exponentially large in the block length, we only need the field size to be polynomially large (and in fact, almost-linear suffices). We deduce our main result from a more general theorem, in which we prove good list-decodability properties of random puncturings of any given code with very large distance.
(2,3) Cordial Trees and Paths
Published
• View Publication
• BIB
Recently L. B. Beasley introduced $(2,3)$-cordial labelings of directed graphs in [1]. He made two conjectures which we resolve in this article. He conjectured that every orientation of a path of length at least five is $(2,3)$ cordial, and that every tree of max degree $n =3$ has a cordial orientation. We show these two conjectures to be false. We also discuss the $(2,3)$ cordiality of orientations of the Petersen graph, and establish an upper bound for the number of edges a graph can have and still be $(2,3)$ cordial. An application of $(2,3)$ cordial labelings is also presented.
Hedge Connectivity without Hedge Overlaps
Connectivity is a central notion of graph theory and plays an important role in graph algorithm design and applications. With emerging new applications in networks, a new type of graph connectivity problem has been getting more attention--hedge connectivity. In this paper, we consider the model of hedge graphs without hedge overlaps, where edges are partitioned into subsets called hedges that fail together. The hedge connectivity of a graph is the minimum number of hedges whose removal disconnects the graph. This model is more general than the hypergraph, which brings new computational challenges. It has been a long open problem whether this problem is solvable in polynomial time. In this paper, we study the combinatorial properties of hedge graph connectivity without hedge overlaps, based on its extremal conditions as well as hedge contraction operations, which provide new insights into its algorithmic progress.
A strengthening on odd cycles in graphs of given chromatic number
Published
• View Publication
• BIB
Resolving a conjecture of Bollobás and Erdős, Gyárfás proved that every graph $G$ of chromatic number $k+1\geq 3$ contains cycles of $\lfloor\frac{k}{2}\rfloor$ distinct odd lengths. We strengthen this prominent result by showing that such $G$ contains cycles of $\lfloor\frac{k}{2}\rfloor$ consecutive odd lengths. Along the way, combining extremal and structural tools, we prove a stronger statement that every graph of chromatic number $k+1\geq 7$ contains $k$ cycles of consecutive lengths, except that some block is $K_{k+1}$. As corollaries, this confirms a conjecture of Verstraëte and answers a question of Moore and West.
Graphs cospectral with NU$(n + 1, q^2)$, $n \ne 3$
Published
• View Publication
• BIB
Let $H(n, q^2)$ be a non-degenerate Hermitian variety of $PG(n, q^2)$, $n \ge 2$. Let NU$(n+1, q^2)$ be the graph whose vertices are the points of $PG(n, q^2) \setminus H(n, q^2)$ and two vertices $P_1$, $P_2$ are adjacent if the line joining $P_1$ and $P_2$ is tangent to $H(n, q^2)$. Then NU$(n + 1, q^2)$ is a strongly regular graph. In this paper we show that NU$(n + 1, q^2)$, $n \ne 3$, is not determined by its spectrum.
On some $q$-series identities related to a generalized divisor function and their implications
Published
• View Publication
• BIB
In this article, a $q$-series examined by Kluyver and Uchimura is generalized. This allows us to find generalization of the identities in the random acyclic digraph studied by Simon, Crippa, and Collenberg in 1993. As one of the corollaries of our main theorem, we get results of Dilcher and Andrews, Crippa, and Simon. This main theorem involves a surprising new generalization of the divisor function $σ_s(n)$, which we denote by $σ_{s,z}(n)$. Analytic properties of $σ_{s,z}(n)$ are also studied. As a special case of one of our theorem we obtain result from a recent paper of Bringmann and Jennings-Shaffer.
Stability from graph symmetrisation arguments with applications to inducibility
Published in J. London Math. Soc.(2) 2023, 108:1121--1162
• View Publication
• BIB
We present a sufficient condition for the stability property of extremal graph problems that can be solved via Zykov's symmetrisation. Our criterion is stated in terms of an analytic limit version of the problem. We show that, for example, it applies to the inducibility problem for an arbitrary complete bipartite graph $B$, which asks for the maximum number of induced copies of $B$ in an $n$-vertex graph, and to the inducibility problem for $K_{2,1,1,1}$ and $K_{3,1,1}$, the only complete partite graphs on at most five vertices for which the problem was previously open.
Recurrence of horizontal-vertical walks
Published in Ann. Inst. Henri Poincaré Probab. Stat. 59 (2023), 578--605
• View Publication
• BIB
Consider a nearest neighbor random walk on the two-dimensional integer lattice, where each vertex is initially labeled either `H' or `V', uniformly and independently. At each discrete time step, the walker resamples the label at its current location (changing `H' to `V' and `V' to `H' with probability $q$). Then, it takes a mean zero horizontal step if the new label is `H', and a mean zero vertical step if the new label is `V'. This model is a randomized version of the deterministic rotor walk, for which its recurrence (i.e., visiting every vertex infinitely often with probability 1) in two dimensions is still an open problem. We answer the analogous question for the the horizontal-vertical walk, by showing that the horizontal-vertical walk is recurrent for $q \in (\frac{1}{3},1]$.
The dual of an evaluation code
Published in Designs, Codes and Cryptography, 89 (2021), no. 7, 1367-1403
• View Publication
• BIB
The aim of this work is to study the dual and the algebraic dual of an evaluation code using standard monomials and indicator functions. We show that the dual of an evaluation code is the evaluation code of the algebraic dual. We develop an algorithm for computing a basis for the algebraic dual. Let $C_1$ and $C_2$ be linear codes spanned by standard monomials. We give a combinatorial condition for the monomial equivalence of $C_1$ and the dual $C_2^\perp$. Moreover, we give an explicit description of a generator matrix of $C_2^\perp$ in terms of that of $C_1$ and coefficients of indicator functions. For Reed--Muller-type codes we give a duality criterion in terms of the v-number and the Hilbert function of a vanishing ideal. As an application, we provide an explicit duality for Reed--Muller-type codes corresponding to Gorenstein ideals. In addition, when the evaluation code is monomial and the set of evaluation points is a degenerate affine space, we classify when the dual is a monomial code.
A study on Type-2 isomorphic circulant graphs and related Abelian groups
Circulant graphs $C_n(R)$ and $C_n(S)$ are said to be \emph{Adam's isomorphic} if there exist some $a\in \mathbb{Z}_n^*$ such that $S = a R$ under arithmetic reflexive modulo $n$. In 1970, Elspas and Turner \cite{eltu} raised a question on the isomorphism of $C_{16}(1, 3, 7)$ and $C_{16}(2, 3, 5)$ and Vilfred \cite{v96} gave its answer by defining Type-2 isomorphism, different from Adam's isomorphism or Type-1 isomorphism, of $C_n(R)$ w.r.t. $m$ where $m > 1$ is a divisor of $\gcd(n, r)$ and $r\in R$. This paper is an extensive study on Type-2 isomorphic circulant graphs. Vilfred and Wilson \cite{vw0A} obtain isomorphic circulant graphs $C_{np^3}(R)$ of Type-2 w.r.t. $m$ = $p$, and related Abelian groups where $p$ is a prime number and $n\in\mathbb{N}$. Using Theorem \ref{c13}, a list of $T2_{np^3,p}(C_{np^3}(R^{np^3,x+yp}_i))$ = $\{C_{np^3}(R^{np^3,x+yp}_{j}) : j = 1,2,...,p\}$ for $p$ = 3,5,7,11 and $n$ = 1 to 5 and also for $p$ = 13 and $n$ = 1 to 3 are given in the Annexure where $(T2_{np^3,p}(C_{np^3}(R^{np^3,x+yp}_i)), \circ)$ is an abelian group on the $p$ isomorphic circulant graphs $C_{np^3}(R^{np^3,x+yp}_i)$ of Type-2 w.r.t. $m$ = $p$, $1 \leq i,j \leq p$, $1 \leq x \leq p-1$, $y\in\mathbb{N}_0$, $0 \leq y \leq np - 1$, $1 \leq x+yp \leq np^2-1$, $p,np^3-p\in R^{np^3,x+yp}_i$ and $i,j,n,x\in\mathbb{N}$. We also show existence of isomorphic circulant graphs $C_n(R)$ and $C_n(S)$ which are neither Type-1 nor Type-2 w.r.t. any particular $m$. We use VB program to develop this theory and for illustration of examples.
On Grundy and b-chromatic number of some families of graphs: a comparative study
Published in Graphs and Combinatorics 37, 605--620 (2021)
• View Publication
• BIB
The Grundy and the {\rm b}-chromatic number of graphs are two important chromatic parameters. The Grundy number of a graph $G$, denoted by $Γ(G)$ is the worst case behavior of greedy (First-Fit) coloring procedure for $G$ and the {\rm b}-chromatic number ${\rm{b}}(G)$ is the maximum number of colors used in any color-dominating coloring of $G$. Because the nature of these colorings are different they have been studied widely but separately in the literature. This paper presents a comparative study of these coloring parameters. There exists a sequence $\{G_n\}_{n\geq 1}$ with limited {\rm b}-chromatic number but $Γ(G_n)\rightarrow \infty$. We obtain families of graphs $\mathcal{F}$ such that for some adequate function $f(.)$, $Γ(G)\leq f({\rm{b}}(G))$, for each graph $G$ from the family. This verifies a previous conjecture for these families.
The antimagic orientation problems for graphs obtained by some graph operations
Published
• View Publication
• BIB
A simple graph $G$ is said to admit an antimagic orientation if there exist an orientation on the edges of $G$ and a bijection from $E(G)$ to $\{1,2,\ldots,|E(G)|\}$ such that the vertex sums of vertices are pairwise distinct, where the vertex sum of a vertex is defined to be the sum of the labels of the in-edges minus that of the out-edges incident to the vertex. It was conjectured by Hefetz, Mütze, and Schwartz~\cite{HMS10} in 2010 that every connected simple graph admits an antimagic orientation.
In this paper, we prove that the Mycielski construction and the corona product for graphs with some conditions yield graphs satisfying the above conjecture.
Automorphisms of (Affine) SL(2,q)-Unitals
Published in Innov. Incidence Geom. 19 (2022) 25-39
• View Publication
• BIB
$\operatorname{SL}(2,q)$-unitals are unitals of order $q$ admitting a regular action of $\operatorname{SL}(2,q)$ on the complement of some block. They can be obtained from affine $\operatorname{SL}(2,q)$-unitals via parallelisms. We compute a sharp upper bound for automorphism groups of affine $\operatorname{SL}(2,q)$-unitals and show that exactly two parallelisms are fixed by all automorphisms. In $\operatorname{SL}(2,q)$-unitals obtained as closures of affine $\operatorname{SL}(2,q)$-unitals via those two parallelisms, we show that there is one block fixed under the full automorphism group.
Hamiltonian properties in generalized lexicographic products
Published
• View Publication
• BIB
The lexicographic product $G[H]$ of two graphs $G$ and $H$ is obtained from $G$ by replacing each vertex with a copy of $H$ and adding all edges between any pair of copies corresponding to adjacent vertices of $G$. We consider also the generalized lexicographic product such that we replace each vertex of $G$ with arbitrary graph on the same number of vertices. We present sufficient and necessary conditions for traceability, hamiltonicity and hamiltonian connectivity of $G[H]$ if $G$ is a path and hence we improved and extended results in M. Kriesell, A Note on Hamiltonian Cycles in Lexicographical Products.
Parallelisms and Translations of (Affine) SL(2,q)-Unitals
Unitals can be obtained as closures of affine unitals via parallelisms. The isomorphism type of the closure depends on the chosen parallelism, which need not be unique. For affine $\operatorname{SL}(2,q)$-unitals, we introduce a class of parallelisms for odd order and one for square order.
Translations are automorphisms of unitals, fixing each block through a given center. For each of the known parallelisms of affine $\operatorname{SL}(2,q)$-unitals, we compute all possible translations with centers on the block at infinity.