Showing 20 papers (Total: 82139 papers, 47531 authors in database)
An oriented discrepancy version of Dirac's theorem
Published
• View Publication
• BIB
The study of graph discrepancy problems, initiated by Erdős in the 1960s, has received renewed attention in recent years. In general, given a $2$-edge-coloured graph $G$, one is interested in embedding a copy of a graph $H$ in $G$ with large discrepancy (i.e. the copy of $H$ contains significantly more than half of its edges in one colour). Motivated by this line of research, Gishboliner, Krivelevich and Michaeli considered an oriented version of graph discrepancy for Hamilton cycles. In particular, they conjectured the following generalization of Dirac's theorem: if $G$ is an oriented graph on $n\geq3$ vertices with $δ(G)\geq n/2$, then $G$ contains a Hamilton cycle with at least $δ(G)$ edges pointing forward. In this paper, we present a full resolution to this conjecture.
Families of Type-2 Isomorphic Circulant Graphs of Order $np^3$ w.r.t. $r = p$ and Their 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$. $C_n(R)$ is said to have {\it Cayley Isomorphism} (CI)-property if whenever $C_n(S)$ is isomorphic to $C_n(R),$ they are of Adam's isomorphic. CI-problem determines which graphs (or which groups) have the $CI$-property. Classification of cyclic $CI$-groups was completed but investigation of graphs without $CI$-property is not much done. Vilfred defined Type-2 isomorphism, different from Adam's isomorphism, of circulant graphs $C_n(R)$ w.r.t. $r$, $r\in R$ $\ni$ $\gcd(n, r) = m > 1$. Type-2 isomorphic circulant graphs don't have CI-property and we obtained such graphs of order $n$ for $r$ = 2,3,5,7, $n\in\mathbb{N}$. In this paper, we obtain Type-2 isomorphic circulant graphs of order $np^3$ w.r.t. $r = p$, and abelian groups on these isomorphic graphs where $p$ is a prime number and $n\in\mathbb{N}$. Theorems \ref{c10} and \ref{c13} are the main results. Using Theorem \ref{c13}, a list of abelian groups on the $p$ isomorphic circulant graphs $C_{np^3}(R^{np^3,x+yp}_i)$ of Type-2 w.r.t. $r = p$ for $i$ = 1 to $p$ and for $p$ = 3,5,7, $n$ = 1,2 and $y$ = 0 is given in the Annexure, $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,n,x\in\mathbb{N}$.
$k$-Distance Magic Labeling and Long Brush Graphs
We define a labeling $f:$ $V(G)$ $\rightarrow$ $\{1, 2, \ldots, n\}$ on a graph $G$ of order $n \geq 3$ as a \emph{$k$-distance magic} ($k$-DM) if $\sum_{w\in \partial N_k(u)}{ f(w)}$ is a constant and independent of $u\in V(G)$ where $\partial N_k(u)$ = $\{v\in V(G): d(u, v) = k\}$, $k\in\mathbb{N}$. Graph $G$ is called a \emph{$k$-DM} if it has a $k$-DM labeling(L). Long Brush is a graph $G$ with $V(G)$ = $\{u_1, u_2, . . . , u_n,$ $v_1, v_2, . . . , v_{m}\}$, a path $P_n$ = $u_1$ $u_2$ . . . $u_n$ and $E(G)$ = $E(P_n)$ $\cup$ $\{u_1v_i:$ $i$ = 1 to $m\}$ $\cup$ $E(<v_1, v_2, . . . , v_{m}>)$, $m+n \geq 3$ and $m,n\in\mathbb{N}$. We denoted this graph by $LP_{n, m}$. In this paper, using partition techniques, we obtain families of $k$-DM graphs and prove that $(i)$ For $k,n \geq 3$, $m \geq 2$ and $k,m,n\in\mathbb{N}$, $LP_{n,m}$ is $k$-DM if and only if $m(m-1) \leq 2n$ and $k$ = $n$; (ii) For every $k\in\mathbb{N}_0$ and a given $m \geq 2$, $LP_{\frac{m(m-1)}{2}+k, m}$ is a $(\frac{m(m-1)}{2}+k)$-DM graph; (iii) For $m \geq 3$, $LP_{1,m}$ = $K_1(u_1)+(K_{m_1} \cup K_{m_2} \cup ... \cup K_{m_x})$, $x \geq 2$, $1 \leq m_1 \leq m_2 \leq ... \leq m_x$, $m_1+m_2+...+m_x$ = $m$, $m_1+m_2 \geq 3$ and $m_1,m_2,...,m_x,x\in\mathbb{N}$, $LP_{1,m}$ is 2-DM if and only if $u_1$ is assigned with a suitable $j$ and $J_{m+1}\setminus \{j\}$ is partitioned into $x$ constant sum partites of orders $m_1,m_2,...,m_x$, $1 \leq j \leq m+1$; (iv) For $m \geq 2$ if $LP_{2,m}$ contains two pendant vertices, then $LP_{2,m}$ is not a $2$-DM graph; (v) For $m \geq 2$ and $n \geq 3$, if $LP_{n,m}$ contains three pendant vertices, then $LP_{n,m}$ is not a $2$-DM graph; and (vi) for $m_1$ = 1 to 22, we obtain all possible values of $m$ for which $LP_{1, m}$ = $u_1 + (K_{m_1} \cup K_{m_2})$ is 2-DM, $m_1 \leq m_2$, $m = m_1+m_2 \geq 3$ and $m_1,m_2\in\mathbb{N}$.
Burling graphs as intersection graphs
For a subset $ S $ of $ \mathbb R^d$, $ S$-graphs are the intersection graphs of specific transformations of $ S $. The class of Burling graphs is a class of triangle-free graphs with arbitrarily large chromatic number that has attracted much attention in the last years. In 2012, Pawlik, Kozik, Krawczyk, Lasoń, Micek, Trotter, and Walczak showed that for every compact and path-connected set $ S \subseteq \mathbb R^2$ that is different from an axis-parallel rectangle, the class of $ S $-graphs contains all Burling graphs. There is, however, a gap between the two classes. In recent years, there have been improvements in understanding the subclasses of $ S $-graphs that are closer or equal to Burling graphs. In this article, we close this gap for every set $ S $ with the mentioned properties: we introduce the class of constrained $ S $-graphs, a subclass of $ S$-graphs, and prove that it is equal to the class of Burling graphs. We also introduce the class of constrained graphs, a subclass of intersection graphs of subsets of $ \mathbb R^2$, and prove that it is equal to the class of Burling graphs.
A unipotent realization of the chromatic quasisymmetric function
Published in Alg. Number Th. 18 (2024) 1737-1766
• View Publication
• BIB
This paper realizes of two families of combinatorial symmetric functions via the complex character theory of the finite general linear group $\mathrm{GL}_{n}(\mathbb{F}_{q})$: chromatic quasisymmetric functions and vertical strip LLT polynomials. The associated $\mathrm{GL}_{n}(\mathbb{F}_{q})$ characters are elementary in nature and can be obtained by induction from certain well-behaved characters of the unipotent upper triangular groups $\mathrm{UT}_{n}(\mathbb{F}_{q})$. The proof of these results also gives a general Hopf algebraic approach to computing the induction map. Additional results include a connection between the relevant $\mathrm{GL}_{n}(\mathbb{F}_{q})$ characters and Hessenberg varieties and a re-interpretation of known theorems and conjectures about the relevant symmetric functions in terms of $\mathrm{GL}_{n}(\mathbb{F}_{q})$.
Randomly twisted hypercubes -- between structure and randomness
Published
• View Publication
• BIB
Twisted hypercubes are generalizations of the Boolean hypercube, obtained by iteratively connecting two instances of a graph by a uniformly random perfect matching. Dudek et al. showed that when the two instances are independent, these graphs have optimal diameter.
We study twisted hypercubes in the setting where the instances can have general dependence, and also in the particular case where they are identical. We show that the resultant graph shares properties with random regular graphs, including small diameter, large vertex expansion, a semicircle law for its eigenvalues and no non-trivial automorphisms. However, in contrast to random regular graphs, twisted hypercubes allow for short routing schemes.
Quantifying syntax similarity with a polynomial representation of dependency trees
Published
• View Publication
• BIB
We introduce a graph polynomial that distinguishes tree structures to represent dependency grammar and a measure based on the polynomial representation to quantify syntax similarity. The polynomial encodes accurate and comprehensive information about the dependency structure and dependency relations of words in a sentence. We apply the polynomial-based methods to analyze sentences in the Parallel Universal Dependencies treebanks. Specifically, we compare the syntax of sentences and their translations in different languages, and we perform a syntactic typology study of available languages in the Parallel Universal Dependencies treebanks. We also demonstrate and discuss the potential of the methods in measuring syntax diversity of corpora.
Ideals of submaximal minors of sparse symmetric matrices
Published
• View Publication
• BIB
We study algebraic and homological properties of the ideal of submaximal minors of a sparse generic symmetric matrix. This ideal is generated by all $(n-1)$-minors of a symmetric $n \times n$ matrix whose entries in the upper triangle are distinct variables or zeros and the zeros are only allowed at off-diagonal places. The surviving off-diagonal entries are encoded as a simple graph $G$ with $n$ vertices. We prove that the minimal free resolution of this ideal is obtained from the case without any zeros via a simple pruning procedure, extending methods of Boocher. This allows us to compute all graded Betti numbers in terms of $n$ and a single invariant of $G$. Moreover, it turns out that these ideals are always radical and have Cohen--Macaulay quotients if and only if $G$ is either connected or has no edges at all. The key input are some new Gröbner basis results with respect to non-diagonal term orders associated to $G$.
Special Intersection Graph in The Topological Graphs
In this paper, new graphs $G_τ=\left(V,E\right)$ are constructed from the discrete topological space $(X,τ)\ $ . Several properties of this type of graphs are given such that: the clique number equals the number of elements in X also the number of pendants vertices, $G_τ$ has no isolated vertices, the minimum degree in $G_τ$ is one and maximum degree equal $n-1+\sum^{n-1}_{i=2}\binom{n-1}{i}$ , the minimum dominating set is determined and $γ(G_τ)$ is evaluated for $G_τ$ and for corona and join operations between to discrete topological graphs. At what matter $β\left(G_τ\right)=γ(G_τ)$ is discussed for $G_τ$. Also that $G_τ$ is proved a connected graph of order $2^n-2$ and it has no isolated vertex. Then, rad $\ G_τ$ and diam $\ (G_τ)$ are evaluated.
Directed graphs with lower orientation Ramsey thresholds
Published
• View Publication
• BIB
We investigate the threshold $p_{\vec H}=p_{\vec H}(n)$ for the Ramsey-type property $G(n,p)\to \vec H$, where $G(n,p)$ is the binomial random graph and $G\to\vec H$ indicates that every orientation of the graph $G$ contains the oriented graph $\vec H$ as a subdigraph. Similarly to the classical Ramsey setting, the upper bound $p_{\vec H}\leq Cn^{-1/m_2(\vec H)}$ is known to hold for some constant $C=C(\vec H)$, where $m_2(\vec H)$ denotes the maximum $2$-density of the underlying graph $H$ of $\vec H$. While this upper bound is indeed the threshold for some $\vec H$, this is not always the case. We obtain examples arising from rooted products of orientations of sparse graphs (such as forests, cycles and, more generally, subcubic $\{K_3,K_{3,3}\}$-free graphs) and arbitrarily rooted transitive triangles.
A Local-to-Global Theorem for Congested Shortest Paths
Amiri and Wargalla (2020) proved the following local-to-global theorem in directed acyclic graphs (DAGs): if $G$ is a weighted DAG such that for each subset $S$ of 3 nodes there is a shortest path containing every node in $S$, then there exists a pair $(s,t)$ of nodes such that there is a shortest $st$-path containing every node in $G$.
We extend this theorem to general graphs. For undirected graphs, we prove that the same theorem holds (up to a difference in the constant 3). For directed graphs, we provide a counterexample to the theorem (for any constant), and prove a roundtrip analogue of the theorem which shows there exists a pair $(s,t)$ of nodes such that every node in $G$ is contained in the union of a shortest $st$-path and a shortest $ts$-path.
The original theorem for DAGs has an application to the $k$-Shortest Paths with Congestion $c$ (($k,c$)-SPC) problem. In this problem, we are given a weighted graph $G$, together with $k$ node pairs $(s_1,t_1),\dots,(s_k,t_k)$, and a positive integer $c\leq k$. We are tasked with finding paths $P_1,\dots, P_k$ such that each $P_i$ is a shortest path from $s_i$ to $t_i$, and every node in the graph is on at most $c$ paths $P_i$, or reporting that no such collection of paths exists.
When $c=k$ the problem is easily solved by finding shortest paths for each pair $(s_i,t_i)$ independently. When $c=1$, the $(k,c)$-SPC problem recovers the $k$-Disjoint Shortest Paths ($k$-DSP) problem, where the collection of shortest paths must be node-disjoint. For fixed $k$, $k$-DSP can be solved in polynomial time on DAGs and undirected graphs. Previous work shows that the local-to-global theorem for DAGs implies that $(k,c)$-SPC on DAGs whenever $k-c$ is constant. In the same way, our work implies that $(k,c)$-SPC can be solved in polynomial time on undirected graphs whenever $k-c$ is constant.
Seymour's Second Neighborhood Conjecture for orientations of (pseudo)random graphs
Published
• View Publication
• BIB
Seymour's Second Neighborhood Conjecture (SNC) states that every oriented graph contains a vertex whose second neighborhood is as large as its first neighborhood. We investigate the SNC for orientations of both binomial and pseudo random graphs, verifying the SNC asymptotically almost surely (a.a.s.)
(i) for all orientations of $G(n,p)$ if $\limsup_{n\to\infty} p < 1/4$; and
(ii) for a uniformly-random orientation of each weakly $(p,A\sqrt{np})$-bijumbled graph of order $n$ and density $p$, where $p=Ω(n^{-1/2})$ and $1-p = Ω(n^{-1/6})$ and $A>0$ is a universal constant independent of both $n$ and $p$.
We also show that a.a.s. the SNC holds for almost every orientation of $G(n,p)$. More specifically, we prove that a.a.s.
(iii) for all $\varepsilon > 0$ and $p=p(n)$ with $\limsup_{n\to\infty} p \le 2/3-\varepsilon$, every orientation of $G(n,p)$ with minimum outdegree $Ω_\varepsilon(\sqrt{n})$ satisfies the SNC; and
(iv) for all $p=p(n)$, a random orientation of $G(n,p)$ satisfies the SNC.
Hypercubes and Hamilton cycles of display sets of rooted phylogenetic networks
Published in Advances in Applied Mathematics, 152:102595, 2024
• View Publication
• BIB
In the context of reconstructing phylogenetic networks from a collection of phylogenetic trees, several characterisations and subsequently algorithms have been established to reconstruct a phylogenetic network that collectively embeds all trees in the input in some minimum way. For many instances however, the resulting network also embeds additional phylogenetic trees that are not part of the input. However, little is known about these inferred trees. In this paper, we explore the relationships among all phylogenetic trees that are embedded in a given phylogenetic network. First, we investigate some combinatorial properties of the collection P of all rooted binary phylogenetic trees that are embedded in a rooted binary phylogenetic network N. To this end, we associated a particular graph G, which we call rSPR graph, with the elements in P and show that, if |P|=2^k, where k is the number of vertices with in-degree two in N, then G has a Hamiltonian cycle. Second, by exploiting rSPR graphs and properties of hypercubes, we turn to the well-studied class of rooted binary level-1 networks and give necessary and sufficient conditions for when a set of rooted binary phylogenetic trees can be embedded in a level-1 network without inferring any additional trees. Lastly, we show how these conditions translate into a polynomial-time algorithm to reconstruct such a network if it exists.
Weak Bruhat interval modules for genomic Schur functions
Published
• View Publication
• BIB
Let $λ$ be a partition of a positive integer $n$. The genomic Schur function $U_λ$ was introduced by Pechenik--Yong in the context of the $K$-theory of Grassmannians. Recently, Pechenik provided a positive combinatorial formula for the fundamental quasisymmetric expansion of $U_λ$ in terms of increasing gapless tableaux. In this paper, for each $1 \le m \le n$, we construct an $H_m(0)$-module $\mathbf{G}_{λ;m}$ whose image under the quasisymmetric characteristic is the $m$th degree homogeneous component of $U_λ$ by defining an $H_m(0)$-action on increasing gapless tableaux. We provide a method to assign a permutation to each increasing gapless tableau, and use this assignment to decompose $\mathbf{G}_{λ;m}$ into a direct sum of weak Bruhat interval modules. Furthermore, we determine the projective cover of each summand of the direct sum decomposition.
A generalization to networks of Young's characterization of the Borda rule
Published
• View Publication
• BIB
We prove that, for any given set of networks satisfying suitable conditions, the net-oudegree network solution, the net-indegree network solution, and the total network solution are the unique network solutions on that set satisfying neutrality, consistency and cancellation. The generality of the result obtained allows to get an analogous result for social choice correspondences: for any given set of preference profiles satisfying suitable conditions, the net-oudegree social choice correspondence, the net-indegree social choice correspondence and the total social choice correspondence are the unique social choice correspondences on that set satisfying neutrality, consistency and cancellation. Using the notable fact that several well-known voting rules coincide with the restriction of net-oudegree social choice correspondence to appropriate sets of preference profiles, we are able to deduce a variety of new and known characterization theorems for the Borda rule, the Partial Borda rule, the Averaged Borda rule, the Approval Voting, the Plurality rule and the anti-Plurality rule, among which Young's characterization of the Borda rule and Fishburn's characterization of the Approval Voting.
Bounding the Mostar index
Došlić et al. defined the Mostar index of a graph $G$ as $Mo(G)=\sum\limits_{uv\in E(G)}|n_G(u,v)-n_G(v,u)|$, where, for an edge $uv$ of $G$, the term $n_G(u,v)$ denotes the number of vertices of $G$ that have a smaller distance in $G$ to $u$ than to $v$. They conjectured that $Mo(G)\leq 0.\overline{148}n^3$ for every graph $G$ of order $n$. As a natural upper bound on the Mostar index, Geneson and Tsai implicitly consider the parameter $Mo^\star(G)=\sum\limits_{uv\in E(G)}\big(n-\min\{ d_G(u),d_G(v)\}\big)$. For a graph $G$ of order $n$, they show that $Mo^\star(G)\leq \frac{5}{24}(1+o(1))n^3$.
We improve this bound to $Mo^\star(G)\leq \left(\frac{2}{\sqrt{3}}-1\right)n^3$, which is best possible up to terms of lower order. Furthermore, we show that $Mo^\star(G)\leq \left(2\left(\fracΔ{n}\right)^2+\left(\fracΔ{n}\right)-2\left(\fracΔ{n}\right)\sqrt{\left(\fracΔ{n}\right)^2+\left(\fracΔ{n}\right)}\right)n^3$ provided that $G$ has maximum degree $Δ$.
An Asymptotically Sharp Bound on the Maximum Number of Independent Transversals
Published
• View Publication
• BIB
Let $G$ be a multipartite graph with partition $V_1, V_2,\ldots, V_k$ of $V(G)$. Let $d_{i,j}$ denote the edge density of the pair $(V_i, V_j)$. An independent transversal is an independent set of $G$ with exactly one vertex in each $V_i$. In this paper, we prove an asymptotically sharp upper bound on the maximum number of independent transversals given the $d_{i,j}$'s.
Graph Irregularity Characterization with Particular Regard to Bidegreed Graphs
In this study we are interested mainly in investigating the relations between two graph irregularity measures which are widely used for structural irregularity characterization of connected graphs. Our study is focused on the comparison and evaluation of the discriminatory ability of irregularity measures called degree deviation S(G) and degree variance Var(G). We establish various upper bounds for irregularity measures S(G) and Var(G). It is shown that the Nikiforov's inequality which is valid for connected graphs can be sharpened in the form of Var(G) < S(G)/2. Among others it is verified that if G is a bidegreed graph then the discrimination ability of S(G) and Var(G) is considered to be completely equivalent.
Decomposition of class II graphs into two class I graphs
Published
• View Publication
• BIB
Mkrtchyan and Steffen [J. Graph Theory, 70 (4), 473--482, 2012] showed that every class II simple graph can be decomposed into a maximum $Δ$-edge-colorable subgraph and a matching. They further conjectured that every graph $G$ with chromatic index $Δ(G)+k$ ($k\geq 1$) can be decomposed into a maximum $Δ(G)$-edge-colorable subgraph (not necessarily class I) and a $k$-edge-colorable subgraph. In this paper, we first generalize their result to multigraphs and show that every multigraph $G$ with multiplicity $μ$ can be decomposed into a maximum $Δ(G)$-edge-colorable subgraph and a subgraph with maximum degree at most $μ$. Then we prove that every graph $G$ with chromatic index $Δ(G)+k$ can be decomposed into two class I subgraphs $H_1$ and $H_2$ such that $Δ(H_1) = Δ(G)$ and $Δ(H_2) = k$, which is a variation of their conjecture.
A $\mathrm{GL}(\mathbb{F}_q)$-compatible Hopf algebra of unitriangular class functions
Published
• View Publication
• BIB
This paper constructs a novel Hopf algebra $\mathsf{cf}(\mathrm{UT}_{\bullet})$ on the class functions of the unipotent upper triangular groups $\mathrm{UT}_{n}(\mathbb{F}_{q})$ over a finite field. This construction is representation theoretic in nature and uses the machinery of Hopf monoids in the category of vector species. In contrast with a similar known construction, this Hopf algebra has the property that induction to the finite general linear group induces a homomorphism to Zelevinsky's Hopf algebra of $\mathrm{GL}_{n}(\mathbb{F}_{q})$ class functions. Furthermore, $\mathsf{cf}(\mathrm{UT}_{\bullet})$ contains a Hopf subalgebra which is isomorphic to a known combiantorial Hopf algebra, previously used to prove a conjecture about chromatic quasisymmetric functions. Some additional Hopf algebraic properties are also established.