Showing 20 papers (Total: 82505 papers, 47699 authors in database)
Efficient (j,k)-Domination in Regular Graphs
Rubalcaba and Slater (Robert R. Rubalcaba and Peter J. Slater. Efficient (j,k)-domination. Discuss. Math. Graph Theory, 27(3):409-423, 2007.) define a $(j,k)$-dominating function on graph $X$ as a function $f:V(X)\rightarrow \{0,\ldots,j\}$ so that for each $v\in V(X)$, $f(N[v])\geq k$, where $N[v]$ is the closed neighbourhood of $v$. Such a function is efficient if all of the vertex inequalities are met with equality. They give a simple necessary condition for efficient domination, namely: if $X$ is an $r$-regular graph on $n$ vertices that has an efficient $(1,k)$-dominating function, then the size of the corresponding dominating set divides $n\cdot k$.
The Hamming graph $H(q,d)$ is the graph on the vectors $\mathbb{Z}_q^d$ where two vectors are adjacent if and only if they are at Hamming distance $1$. We show that if $q$ is prime, then the previous necessary condition is sufficient for $H(q,d)$ to have an efficient $(1,k)$-dominating function. This result extends a result of Lee (Jaeun Lee. Independent perfect domination sets in Cayley graphs. J. Graph Theory, 37(4):213-219, 2001.) on independent perfect domination in Cayley graphs. We mention difficulties that arise for $H(q,d)$ when $q$ is a prime power but not prime.
Counting filter restricted paths in $\mathbb{Z}^2$ lattice
Published
• View Publication
• BIB
We derive a path counting formula for two-dimensional lattice path model on a plane with filter restrictions. A filter is a line that restricts the path passing it to one of possible directions. Moreover, each path that touches this line is assigned a special weight. The periodic filter restrictions are motivated by the problem of tensor power decomposition for representations of quantum $\mathfrak{sl}_2$ at roots of unity. Our main result is the explicit formula for the weighted number of paths from the origin to a fixed point between two filters in this model.
Non-existence of annular separators in geometric graphs
Published
• View Publication
• BIB
Benjamini and Papasoglou (2011) showed that planar graphs with uniform polynomial volume growth admit $1$-dimensional annular separators: The vertices at graph distance $R$ from any vertex can be separated from those at distance $2R$ by removing at most $O(R)$ vertices. They asked whether geometric $d$-dimensional graphs with uniform polynomial volume growth similarly admit $(d-1)$-dimensional annular separators when $d > 2$. We show that this fails in a strong sense: For any $d \geq 3$ and every $s \geq 1$, there is a collection of interior-disjoint spheres in $\mathbb{R}^d$ whose tangency graph $G$ has uniform polynomial growth, but such that all annular separators in $G$ have cardinality at least $R^s$.
The Curvature of Graph Products
We show that the curvature K_(G*H)(x,y) at a point (x,y) in the strong product G*H of two arbitrary finite simple graphs is equal to the product K_G(x) K_H(y) of the curvatures.
Extremal product-one free sequences and $|G|$-product-one free sequences of a metacyclic group
Published
• View Publication
• BIB
Let $G$ be a multiplicatively written finite group. We denote by $\mathsf E(G)$ the smallest integer $t$ such that every sequence of $t$ elements in $G$ contains a product-one subsequence of length $|G|$. In 1961, Erdős, Ginzburg and Ziv proved that $\mathsf E(G)\leq 2|G|-1$ for every finite abelian group $G$ and this result is known as the Erdős-Ginzburg-Ziv Theorem. In 2005, Zhuang and Gao conjectured that $\mathsf E(G)=\mathsf d(G)+|G|$ for every finite group, where $\mathsf d(G)$ is the small Davenport constant. Very recently, we confirmed this conjecture for the case when $G=\langle x, y| x^p=y^m=1, x^{-1}yx=y^r\rangle$ where $p$ is the smallest prime divisor of $|G|$ and $\mbox{gcd}(p(r-1), m)=1$. In this paper, we study the associated inverse problems on $\mathsf d(G)$ and $\mathsf E(G)$. Our main results characterize the structure of any product-one free sequence with extremal length $\mathsf d(G)$, and that of any $|G|$-product-one free sequence with extremal length $\mathsf E(G)-1$.
Perfectness of Kirillov-Reshetikhin Crystals $B^{r,s}$ for types $E_{6}^{(1)}$ and $E_{7}^{(1)}$ with a minuscule node $r$
We prove the perfectness of Kirillov-Reshetikhin crystals $B^{r,s}$ for types $E_{6}^{(1)}$ and $E_{7}^{(1)}$ with $r$ being the minuscule node and $s\geq 1$ using the polytope model of KR crystals introduced by Jang.
Extremal functions for sparse minors
Published in Advances in Combinatorics, 2022:5, 43pp
• View Publication
• BIB
The "extremal function" $c(H)$ of a graph $H$ is the supremum of densities of graphs not containing $H$ as a minor, where the "density" of a graph $G$ is the ratio of the number of edges to the number of vertices. Myers and Thomason (2005), Norin, Reed, Thomason and Wood (2020), and Thomason and Wales (2019) determined the asymptotic behaviour of $c(H)$ for all polynomially dense graphs $H$, as well as almost all graphs $H$ of constant density.
We explore the asymptotic behavior of the extremal function in the regime not covered by the above results, where in addition to having constant density the graph $H$ is in a graph class admitting strongly sublinear separators. We establish asymptotically tight bounds in many cases. For example, we prove that for every planar graph $H$, $$c(H) = (1+o(1))\cdot\max\left\{\frac{|V(H)|}{2},|V(H)| - α(H)\right\},$$ extending recent results of Haslegrave, Kim and Liu (2020). We also show that an asymptotically tight bound on the extremal function of graphs in minor-closed families proposed by Haslegrave, Kim and Liu (2020) is equivalent to a well studied open weakening of Hadwiger's conjecture.
Several methods of analysis for cardinality constrained bin packing
Published
• View Publication
• BIB
We consider a known variant of bin packing called {\it cardinality constrained bin packing}, also called {\it bin packing with cardinality constraints} (BPCC). In this problem, there is a parameter k\geq 2, and items of rational sizes in [0,1] are to be packed into bins, such that no bin has more than k items or total size larger than 1. The goal is to minimize the number of bins.
A recently introduced concept, called the price of clustering, deals with inputs that are presented in a way that they are split into clusters. Thus, an item has two attributes which are its size and its cluster. The goal is to measure the relation between an optimal solution that cannot combine items of different clusters into bins, and an optimal solution that can combine items of different clusters arbitrarily. Usually the number of clusters may be large, while clusters are relatively small, though not trivially small. Such problems are related to greedy bin packing algorithms, and to batched bin packing, which is similar to the price of clustering, but there is a constant number of large clusters. We analyze the price of clustering for BPCC, including the parametric case with bounded item sizes. We discuss several greedy algorithms for this problem that were not studied in the past, and comment on batched bin packing.
Competitive equilibrium always exists for combinatorial auctions with graphical pricing schemes
Published
• View Publication
• BIB
We show that a competitive equilibrium always exists in combinatorial auctions with anonymous graphical valuations and pricing, using discrete geometry. This is an intuitive and easy-to-construct class of valuations that can model both complementarity and substitutes, and to our knowledge, it is the first class besides gross substitutes that have guaranteed competitive equilibrium. We prove through counter-examples that our result is tight, and we give explicit algorithms for constructive competitive pricing vectors. We also give extensions to multi-unit combinatorial auctions (also known as product-mix auctions). Combined with theorems on graphical valuations and pricing equilibrium of Candogan, Ozdagar and Parrilo, our results indicate that quadratic pricing is a highly practical method to run combinatorial auctions.
Rectangular Heffter arrays: a reduction theorem
Published
• View Publication
• BIB
Let $m,n,s,k$ be four integers such that $3\leq s \leq n$, $3\leq k\leq m$ and $ms=nk$. Set $d=\gcd(s,k)$. In this paper we show how one can construct a Heffter array $H(m,n;s,k)$ starting from a square Heffter array $H(nk/d;d)$ whose elements belong to $d$ consecutive diagonals. As an example of application of this method, we prove that there exists an integer $H(m,n;s,k)$ in each of the following cases: $(i)$ $d\equiv 0 \pmod 4$; $(ii)$ $5\leq d\equiv 1 \pmod 4$ and $n k\equiv 3\pmod 4$; $(iii)$ $d\equiv 2 \pmod 4$ and $nk\equiv 0 \pmod 4$; $(iv)$ $d\equiv 3 \pmod 4$ and $n k\equiv 0,3\pmod 4$. The same method can be applied also for signed magic arrays $SMA(m,n;s,k)$ and for magic rectangles $MR(m,n;s,k)$. In fact, we prove that there exists an $SMA(m,n;s,k)$ when $d\geq 2$, and there exists an $MR(m,n;s,k)$ when either $d\geq 2$ is even or $d\geq 3$ and $nk$ are odd. We also provide constructions of integer Heffter arrays and signed magic arrays when $k$ is odd and $s\equiv 0 \pmod 4$.
Tensor slice rank and Cayley's first hyperdeterminant
Published
• View Publication
• BIB
Cayley's first hyperdeterminant is a straightforward generalization of determinants for tensors. We prove that nonzero hyperdeterminants imply lower bounds on some types of tensor ranks. This result applies to the slice rank introduced by Tao and more generally to partition ranks introduced by Naslund. As an application, we show upper bounds on some generalizations of colored sum-free sets based on constraints related to order polytopes.
$Z_{DP}(n)$ is upperly bounded by $n^2-(n+3)/2$
DP-coloring was introduced by Dvořák and Postle and is a generalization of proper coloring. For any graph $G$, let $χ(G)$ and $χ_{DP}(G)$ denote the chromatic number and the DP-chromatic number of $G$ respectively. In this article, we show that $χ_{DP}(G \vee K_s)=χ(G \vee K_s)$ holds for $s=\left \lceil \frac{4(k+1)m}{2k+1} \right \rceil \le \lceil 2.4m\rceil$, where $k=χ(G)$, $m=|E(G)|$ and $G \vee K_s$ is the join of $G$ and the complete graph $K_s$. Hence $Z_{DP}(n)\le n^2-(n+3)/2$ holds for every integer $n \ge 2$, where $Z_{DP}(n)$ is the minimum natural number $s$ such that $χ_{DP}(G \vee K_s)=χ(G \vee K_s)$ holds for every graph $G$ of order $n$. Our result improves the best current upper bound $Z_{DP}(n)\le 1.5n^2$ due to Bernshteyn, Kostochka and Zhu.
Intrinsically spherical 3-linked graphs
We exhibit several families of planar graphs that are minor-minimal intrinsically spherical $3$-linked. A graph is intrinsically spherical 3-linked if it is planar graph that has, in every spherical embedding, a non-split 3-link consisting of two disjoint cycles ($S^1$s) and two disjoint vertices ($S^0$), or a cycle and two pairs of disjoint vertices. We conjecture that $K_4 \dot{\bigcup} K_4$, $K_{3,2} \dot{\bigcup} K_{3,2}$, and $K_4 \dot{\bigcup} K_{3,2}$ form the complete set of minor-minimal intrinsically type I spherical 3-linked graphs (that is, in every spherical embedding, have a nonsplit link of two cycles and one $S^0$).
The Spum and Sum-diameter of Graphs: Labelings of Sum Graphs
Published in Discrete Math. 345(5):112806 (2022)
• View Publication
• BIB
A sum graph is a finite simple graph whose vertex set is labeled with distinct positive integers such that two vertices are adjacent if and only if the sum of their labels is itself another label. The spum of a graph $G$ is the minimum difference between the largest and smallest labels in a sum graph consisting of $G$ and the minimum number of additional isolated vertices necessary so that a sum graph labeling exists. We investigate the spum of various families of graphs, namely cycles, paths, and matchings. We introduce the sum-diameter, a modification of the definition of spum that omits the requirement that the number of additional isolated vertices in the sum graph is minimal, which we believe is a more natural quantity to study. We then provide asymptotically tight general bounds on both sides for the sum-diameter, and study its behavior under numerous binary graph operations as well as vertex and edge operations. Finally, we generalize the sum-diameter to hypergraphs.
Conditions for matchability in groups and field extensions
Published
• View Publication
• BIB
The origins of the notion of matchings in groups spawn from a linear algebra problem proposed by E. K. Wakeford [24] which was tackled in 1996 [10]. In this paper, we first discuss unmatchable subsets in abelian groups. Then we formulate and prove linear analogues of results concerning matchings, along with a conjecture that, if true, would extend the primitive subspace theorem. We discuss the dimension $m$-intersection property for vector spaces and its connection to matching subspaces in a field extension, and we prove the linear version of an intersection property result of certain subsets of a given set.
On the generating function for intervals in Young's lattice
Published
• View Publication
• BIB
In this paper, we study a family of generating functions whose coefficients are polynomials that enumerate partitions in lower order ideals of Young's lattice. Our main result is that this family satisfies a rational recursion and are therefore rational functions. As an application, we calculate the asymptotic behavior of the cardinality of lower order ideals for the ``average" partition of fixed length and give a homological interpretation of this result in relation to Grassmannians and their Schubert varieties.
On Distribution of Laplacian Eigenvalues of Graphs
The work in this thesis concerns the investigation of eigenvalues of the Laplacian matrix, normalized Laplacian matrix, signless Laplacian matrix and distance signless Laplacian matrix of graphs. In Chapter 1, we present a brief introduction of spectral graph theory with some definitions.
Chapter $2$ deals with the sum of $ k $ largest Laplacian eigenvalues $ S_{k}(G) $ of graph $ G $ and Brouwer's conjecture. We obtain the upper bounds for $ S_{k}(G) $ for some classes of graphs and use them to verify Brouwer's conjecture for these classes of graphs. Also, we prove Brouwer's conjecture for more general classes of graphs.
In Chapter $3$, we investigate the Laplacian eigenvalues of graphs and the Laplacian energy conjecture for trees. We prove the Laplacian energy conjecture completely for trees of diameter $ 4 $. Further, we prove this conjecture for all trees having at most $ \frac{9n}{25}-2 $ non-pendent vertices. Also, we obtain the sufficient conditions for the truth of conjecture for trees of order $ n $.
In Chapter $4$, we determine the normalized Laplacian spectrum of the joined union of regular graphs and obtain the spectrum of some well known graphs. As consequences of joined union, we obtain the normalized Laplacian spectrum of power graphs associated to finite cyclic groups.
In Chapter $5$, we find the distance signless Laplacian spectrum of regular graphs and zero-divisor graphs associated to finite commutative ring. Also, we find the bounds for spectral radius of generalized distance matrix. Further, we obtain the generalized distance energy for bipartite graphs and trees. We prove that the complete bipartite graph has minimum generalized distance energy among all connected bipartite graphs. Besides, for $ α\in \big(0, \frac{2n}{3n-2}\big) $, we show that the star graph has minimum generalized distance energy among all trees.
On a conjecture of Laplacian energy of trees
Let $G$ be a simple graph with $n$ vertices, $m$ edges having Laplacian eigenvalues $μ_1, μ_2, \dots, μ_{n-1},μ_n=0$. The Laplacian energy $LE(G)$ is defined as $LE(G)=\sum_{i=1}^{n}|μ_i-\overline{d}|$, where $\overline{d}=\frac{2m}{n}$ is the average degree of $G$. Radenković and Gutman conjectured that among all trees of order $n$, the path graph $P_n$ has the smallest Laplacian energy. Let $ \mathcal{T}_{n}(d) $ be the family of trees of order $n$ having diameter $ d $. In this paper, we show that Laplacian energy of any tree $T\in \mathcal{T}_{n}(4)$ is greater than the Laplacian energy of $P_n$, thereby proving the conjecture for all trees of diameter $4$. We also show the truth of conjecture for all trees with number of non-pendent vertices at most $\frac{9n}{25}-2$. Further, we give some sufficient conditions for the conjecture to hold for a tree of order $n$.
On the infiniteness of a family of APN functions
Published
• View Publication
• BIB
APN functions play a fundamental role in cryptography against attacks on block ciphers. Several families of quadratic APN functions have been proposed in the recent years, whose construction relies on the existence of specific families of polynomials. A key question connected with such constructions is to determine whether such APN functions exist for infinitely many dimensions or not.
In this paper we consider a family of functions recently introduced by Li et al. in 2021 showing that for any dimension $m\geq 3$ there exists an APN function belonging to such a family.
Our main result is proved by a combination of different techniques arising from both algebraic varieties over finite fields connected with linearized permutation rational functions and {partial vector space partitions}, together with investigations on the kernels of linearized polynomials.
Extended Sprague-Grundy theory for locally finite games, and applications to random game-trees
Published
• View Publication
• BIB
For a collection of papers in memory of Elwyn Berlekamp (1940-2019), John Conway (1937-2020), and Richard Guy (1916-2020).
The Sprague-Grundy theory for finite games without cycles was extended to general finite games by Cedric Smith and by Aviezri Fraenkel and coauthors. We observe that the same framework used to classify finite games also covers the case of locally finite games (that is, games where any position has only finitely many options). In particular, any locally finite game is equivalent to some finite game. We then study cases where the directed graph of a game is chosen randomly, and is given by the tree of a Galton-Watson branching process. Natural families of offspring distributions display a surprisingly wide range of behaviour. The setting shows a nice interplay between ideas from combinatorial game theory and ideas from probability.