Showing 20 papers (Total: 84460 papers, 48641 authors in database)
Hamiltonicity of Domination Vertex-Critical Claw-Free Graphs
A graph $G$ is said to be $k$-$γ$-vertex critical if the domination numbers $γ(G)$ of $G$ is $k$ and $γ(G - v) < k$ for any vertex $v$ of $G$. Similarly, A graph $G$ is said to be $k$-$γ_{c}$-vertex critical if the connected domination numbers $γ_{c}(G)$ of $G$ is $k$ and $γ_{c}(G - v) < k$ for any vertex $v$ of $G$. The problem of interest is to determine whether or not $2$-connected $k$-$γ$-vertex critical graphs are Hamiltonian. In this paper, for all $k \geq 3$, we provide a $2$-connected $k$-$γ$-vertex critical graph which is non-Hamiltonian. We prove that every $2$-connected $3$-$γ$-vertex critical claw-free graph is Hamiltonian and the condition claw-free is necessary. For $k$-$γ_{c}$-vertex critical graphs, we present a new method to prove that every $2$-connected $3$-$γ_{c}$-vertex critical claw-free graph is Hamiltonian. Moreover, for $4 \leq k \leq 5$, we prove that every $3$-connected $k$-$γ_{c}$-vertex critical claw-free graph is Hamiltonian. We show that the condition claw-free is necessary by giving $k$-$γ_{c}$-vertex critical non-Hamiltonian graphs containing a claw as an induced subgraph for $3 \leq k \leq 5$.
Structural Properties of Connected Domination Critical Graphs
Published
• View Publication
• BIB
A graph $G$ is said to be $k$-$γ_{c}$-critical if the connected domination number $γ_{c}(G)$ is equal to $k$ and $γ_{c}(G + uv) < k$ for any pair of non-adjacent vertices $u$ and $v$ of $G$. Let $ζ$ be the number of cut vertices of $G$ and let $ζ_{0}$ be the maximum number of cut vertices that can be contained in one block. For an integer $\ell \geq 0$, a graph $G$ is $\ell$-factor critical if $G - S$ has a perfect matching for any subset $S$ of vertices of size $\ell$. It was proved that, for $k \geq 3$, every $k$-$γ_{c}$-critical graph has at most $k - 2$ cut vertices and the graphs with maximum number of cut vertices were characterized. It was proved further that, for $k \geq 4$, every $k$-$γ_{c}$-critical graphs satisfies the inequality $ζ_{0}(G) \le \min \left\{ \left\lfloor \frac{k + 2}{3} \right\rfloor, ζ\right\}$. In this paper, we characterize all $k$-$γ_{c}$-critical graphs having $k - 3$ cut vertices. Further, we establish realizability that, for given $k \geq 4$, $2 \leq ζ\leq k - 2$ and $2 \leq ζ_{0} \le \min \left\{ \left\lfloor \frac{k + 2}{3} \right\rfloor, ζ\right\}$, there exists a $k$-$γ_{c}$-critical graph with $ζ$ cut vertices having a block which contains $ζ_{0}$ cut vertices. Finally, we proved that every $k$-$γ_{c}$-critical graph of odd order with minimum degree two is $1$-factor critical if and only if $1 \leq k \leq 2$. Further, we proved that every $k$-$γ_{c}$-critical $K_{1, 3}$-free graph of even order with minimum degree three is $2$-factor critical if and only if $1 \leq k \leq 2$.
Independence and Connectivity of Connected Domination Critical Graphs
A graph $G$ is said to be $k$-$γ_{c}$-critical if the connected domination number $γ_{c}(G) = k$ and $γ_{c}(G + uv) < k$ for every $uv \in E(\overline{G})$. Let $δ, κ$ and $α$ be respectively the minimum degree, the connectivity and the independence number. In this paper, we show that a $3$-$γ_{c}$-critical graph $G$ satisfies $α\leq κ+ 2$. Moreover, if $κ\geq 3$, then $α= κ+ p$ if and only if $α= δ+ p$ for all $p \in \{1, 2\}$. We show that the condition $κ+ 1 \leq α\leq κ+ 2$ is best possible to prove that $κ= δ$. By these result, we conclude our paper with an open problem on Hamiltonian connected of $3$-$γ_{c}$-critical graphs.
On residual connectedness in chiral geometries
Published
• View Publication
• BIB
We show that a chiral coset geometry constructed from a $C^+$-group necessarily satisfies residual connectedness and is therefore a hypertope.
Enumeration of plane partitions by descents
Published
• View Publication
• BIB
We study certain bijection between plane partitions and $\mathbb{N}$-matrices. As applications, we prove a Cauchy-type identity for generalized dual Grothendieck polynomials. We introduce two statistics on plane partitions, whose generating functions are similar to classical MacMahon's formulas; one of these statistics is equidistributed with the usual volume. We also show natural connections with the longest increasing subsequences of words.
Combining subspace codes
Published
• View Publication
• BIB
In the context of constant--dimension subspace codes, an important problem is to determine the largest possible size $A_q(n, d; k)$ of codes whose codewords are $k$-subspaces of $\mathbb{F}_q^n$ with minimum subspace distance $d$. Here in order to obtain improved constructions, we investigate several approaches to combine subspace codes. This allow us to present improvements on the lower bounds for constant--dimension subspace codes for many parameters, including $A_q(10, 4; 5)$, $A_q(12, 4; 4)$, $A_q(12, 6, 6)$ and $A_q(16, 4; 4)$.
An Energy Bound in the Affine Group
Published in Int. Math. Res. Not. IMRN 2022 (2), 1154--1172, 2022
• View Publication
• BIB
We prove a nontrivial energy bound for a finite set of affine transformations over a general field and discuss a number of implications. These include new bounds on growth in the affine group, a quantitative version of a theorem by Elekes about rich lines in grids. We also give a positive answer to a question of Yufei Zhao that for a plane point set P for which no line contains a positive proportion of points from P, there may be at most one line, meeting the set of lines defined by P in at most a constant multiple of |P| points.
Linear Time Recognition of Equimatchable Split Graphs
A maximal matching $M$ that consists of independent edges is a subgraph of a simple and undirected graph $G$ for which $G-M$ forms an independent set. A graph $G$ is called equimatchable if all maximal matchings have the same number of edges. On the other hand, $G$ is called as a split graph if its vertices can be partitioned into two subsets for which one of them forms a clique whereas the second forms an independent set. We will give a linear time algorithm for recognition of equimatchable split graphs.
A note on antichains in the continuous cube
Published in Mathematika 66 (2020), 514-516
• View Publication
• BIB
It is well-known that an antichain in the poset $[0,1]^n$ must have measure zero. Engel, Mitsis, Pelekis and Reiher showed that in fact it must have $(n-1)$-dimensional Hausdorff measure at most $n$, and they conjectured that this bound can be attained. In this note we show that, for every $n$, such an antichain does indeed exist.
Induced arithmetic removal: complexity 1 patterns over finite fields
Published in Israel J. Math. 248 (2022), 1--38
• View Publication
• BIB
We prove an arithmetic analog of the induced graph removal lemma for complexity 1 patterns over finite fields. Informally speaking, we show that given a fixed collection of $r$-colored complexity 1 arithmetic patterns over $\mathbb F_q$, every coloring $φ\colon \mathbb F_q^n \setminus\{0\} \to [r]$ with $o(1)$ density of every such pattern can be recolored on an $o(1)$-fraction of the space so that no such pattern remains.
Generalized flatness constants, spanning lattice polytopes, and the Gromov width
Published
• View Publication
• BIB
In this paper we motivate some new directions of research regarding the lattice width of convex bodies. We show that convex bodies of sufficiently large width contain a unimodular copy of a standard simplex. This implies that every lattice polytope contains a minimal generating set of the affine lattice spanned by its lattice points such that the number of generators is bounded by a constant which only depends on the dimension. We also discuss relations to recent results on spanning lattice polytopes and how our results could be viewed as the beginning of the study of generalized flatness constants. Regarding symplectic geometry, we point out how the lattice width of a Delzant polytope is related to upper and lower bounds on the Gromov width of its associated symplectic toric manifold. Throughout, we include several open questions.
The matroid stratification of the Hilbert scheme of points on P^1
Published
• View Publication
• BIB
Given a homogeneous ideal $I$ in a polynomial ring over a field, one may record, for each degree $d$ and for each polynomial $f\in I_d$, the set of monomials in $f$ with nonzero coefficients. These data collectively form the tropicalization of $I$. Tropicalizing ideals induces a "matroid stratification" on any (multigraded) Hilbert scheme. Very little is known about the structure of these stratifications.
In this paper, we explore many examples of matroid strata, including some with interesting combinatorial structure, and give a convenient way of visualizing them. We show that the matroid stratification in the Hilbert scheme of points $(\mathbb{P}^1)^{[k]}$ is generated by all Schur polynomials in $k$ variables. We end with an application to the $T$-graph problem of $(\mathbb{A}^2)^{[n]}$; classifying this graph is a longstanding open problem, and we establish the existence of an infinite class of edges.
On a new graph defined on the order of elements of a finite group
In this paper, a new graph structure called the \textit{coprime order graph} of a finite group $G$ denoted by $Θ(G)$ has been introduced. The \textit{coprime graph} of a finite group introduced by Ma, Wei, and Yang [\textit{The coprime graph of a group. International Journal of Group Theory, 3(3), pp.13-23.}] is a subgraph of the \textit{coprime order graph} introduced in this paper. The vertex set of $Θ(G)$ is $G$, and any two vertices $x,y$ in $Θ(G)$ are adjacent if and only if $\gcd(o(x),o(y))$ is equal to $1$ or a prime number. We study how the graph properties of $Θ(G)$ and group properties of $G$ are related among themselves. We provide a necessary and sufficient condition for $Θ(G)$ to be Eulerian for any finite group $G$. We also study $Θ(G)$ for certain finite groups like $\mathbb Z_n$ and $\mbox D_n$ and derive conditions when it is connected, complete, planar, and Hamiltonian for various $n\in \mathbb N$. We also study the vertex connectivity of $Θ(\mathbb Z_n)$ for various $n\in \mathbb N.$ Finally, we have computed the signless Laplacian spectrum of $Θ(G)$ when $G=\mathbb Z_n$ and $G=\mbox D_n$ for $n\in \{pq,p^m\}$ where $p,q$ are distinct primes and $m\in \mathbb{N}$.
A note on totally-omnitonal graphs
Let the edges of the complete graph $K_n$ be coloured red or blue, and let $G$ be a graph with $|V(G)| < n$. Then ot(n,G) is defined to be the minimum integer, if it exists, such that any such colouring of $K_n$ contains a copy of $G$ with $r$ red edges and $b$ blue edges for any $r,b \geq 0$ with $r+b= e(G)$. If ot(n,G) exists for every sufficiently large $n$, we say that $G$ is \emph{omnitonal}. Omnitonal graphs were introduced by Caro, Hansberg and Montejano [arXiv:1810.12375,2019]. Now let $G_1$, $G_2$ be two copies of $G$ with their edges coloured red or blue. If there is a colour-preserving isomorphism from $G_1$ to $G_2$ we say that the 2-colourings of $G$ are equivalent. Now we define tot(n,G) to be the minimum integer, if it exists, such that any such colouring of $K_n$ contains all non-quivalent colourings of $G$ with $r$ red edges and $b$ blue edges for any $r,b \geq 0$ with $r+b= e(G)$. If tot(n, G) exists for every sufficiently large $n$, we say that G is \emph{totally-omnitotal}.
In this note we show that the only totally-omnitonal graphs are stars or star forests namely a forest all of whose components are stars.
The homotopy type of elliptic arrangements
Published in Algebr. Geom. Topol. 21 (2021) 2037-2063
• View Publication
• BIB
We give combinatorial models for the homotopy type of complements of elliptic arrangements (i.e., certain sets of abelian subvarieties in a product of elliptic curves). We give a presentation of the fundamental group of such spaces and, as an application, we treat the case of ordered configuration spaces of elliptic curves.
Our models are finite polyhedral CW complexes, and our combinatorial tools of choice are acyclic categories (small categories without loops). As a stepping stone, we give a characterization of which acyclic categories arise as face categories of polyhedral CW complexes.
Almost all trees have quantum symmetry
Published
• View Publication
• BIB
From the work of Erdős and Rényi from 1963 it is known that almost all graphs have no symmetry. In 2017, Lupini, Mančinska and Roberson proved a quantum counterpart: Almost all graphs have no quantum symmetry. Here, the notion of quantum symmetry is phrased in terms of Banica's definition of quantum automorphism groups of finite graphs from 2005, in the framework of Woronowicz's compact quantum groups. Now, Erdős and Rényi also proved a complementary result in 1963: Almost all trees do have symmetry. The crucial point is the almost sure existence of a cherry in a tree. But even more is true: We almost surely have two cherries in a tree - and we derive that almost all trees have quantum symmetry. We give an explicit proof of this quantum counterpart of Erdős and Rényi's result on trees.
Are highly connected 1-planar graphs Hamiltonian?
It is well-known that every planar 4-connected graph has a Hamiltonian cycle. In this paper, we study the question whether every 1-planar 4-connected graph has a Hamiltonian cycle. We show that this is false in general, even for 5-connected graphs, but true if the graph has a 1-planar drawing where every region is a triangle.
On determining when small embeddings of partial Steiner triple systems exist
Published
• View Publication
• BIB
A partial Steiner triple system of order $u$ is a pair $(U,\mathcal{A})$ where $U$ is a set of $u$ elements and $\mathcal{A}$ is a set of triples of elements of $U$ such that any two elements of $U$ occur together in at most one triple. If each pair of elements occur together in exactly one triple it is a Steiner triple system. An embedding of a partial Steiner triple system $(U,\mathcal{A})$ is a (complete) Steiner triple system $(V,\mathcal{B})$ such that $U \subseteq V$ and $\mathcal{A} \subseteq \mathcal{B}$. For a given partial Steiner triple system of order $u$ it is known that an embedding of order $v \geq 2u+1$ exists whenever $v$ satisfies the obvious necessary conditions. Determining whether "small" embeddings of order $v < 2u+1$ exist is a more difficult task. Here we extend a result of Colbourn on the $\mathsf{NP}$-completeness of these problems. We also exhibit a family of counterexamples to a conjecture concerning when small embeddings exist.
An improved binary programming formulation for the secure domination problem
Published
• View Publication
• BIB
The secure domination problem, a variation of the domination problem with some important real-world applications, is considered. Very few algorithmic attempts to solve this problem have been presented in literature, and the most successful to date is a binary programming formulation which is solved using CPLEX. A new binary programming formulation is proposed here which requires fewer constraints and fewer binary variables than the existing formulation. It is implemented in CPLEX, and tested on certain families of graphs that have previously been considered in the context of secure domination. It is shown that the runtime required for the new formulation to solve the instances is significantly less than that of the existing formulation. An extension of our formulation that solves the related, but further constrained, secure connected domination problem is also given; to the best of the authors' knowledge, this is the first such formulation in literature.
Super domination in trees
Published
• View Publication
• BIB
For $S\subseteq V(G)$, we define $\bar{S}=V(G)\setminus S$. A set $S\subseteq V(G)$ is called a super dominating set if for every vertex $u\in \bar{S}$, there exists $v\in S$ such that $N(v)\cap \bar{S}=\{u\}$. The super domination number $γ_{sp}(G)$ of $G$ is the minimum cardinality among all super dominating sets in $G$. The super domination subdivision number $sd_{γ_{sp}}(G)$ of a graph $G$ is the minimum number of edges that must be subdivided in order to increase the super domination number of $G$. In this paper, we investigate the ratios between super domination and other domination parameters in trees. In addition, we show that for any nontrivial tree $T$, $1\leq sd_{γ_{sp}}(T)\leq 2$, and give constructive characterizations of trees whose super domination subdivision number are $1$ and $2$, respectively.