Showing 20 papers (Total: 81623 papers, 47312 authors in database)
Sparse graphs with local covering conditions on edges
Published
• View Publication
• BIB
In 1988, Erdős suggested the question of minimizing the number of edges in a connected $n$-vertex graph where every edge is contained in a triangle. Shortly after, Catlin, Grossman, Hobbs, and Lai resolved this in a stronger form. In this paper, we study a natural generalization of the question of Erdős in which we replace `triangle' with `clique of order $k$' for ${k\ge 3}$. We completely resolve this generalized question with the characterization of all extremal graphs. Motivated by applications in data science, we also study another generalization of the question of Erdős where every edge is required to be in at least $\ell$ triangles for $\ell\ge 2$ instead of only one triangle. We completely resolve this problem for $\ell = 2$.
A tale of two $q$-deformations : connecting dual polar spaces and weighted hypercubes
Two $q$-analogs of the hypercube graph are introduced and shown to be related through a graph quotient. The roles of the subspace lattice graph, of a twisted primitive elements of $U_q(\mathfrak{su}(2))$ and of the dual $q$-Krawtchouk polynomials are elaborated upon. This paper is dedicated to Tom Koornwinder.
Writing finite simple groups of Lie type as products of subset conjugates
Published
• View Publication
• BIB
The Liebeck-Nikolov-Shalev conjecture [LNS12] asserts that, for any finite simple non-abelian group $G$ and any set $A\subseteq G$ with $|A|\geq 2$, $G$ is the product of at most $N\frac{\log|G|}{\log|A|}$ conjugates of $A$, for some absolute constant $N$.
For $G$ of Lie type, we prove that for any $\varepsilon>0$ there is some $N_{\varepsilon}$ for which $G$ is the product of at most $N_{\varepsilon}\left(\frac{\log|G|}{\log|A|}\right)^{1+\varepsilon}$ conjugates of either $A$ or $A^{-1}$. For symmetric sets, this improves on results of Liebeck, Nikolov, and Shalev [LNS12] and Gill, Pyber, Short, and Szabó [GPSS13].
During the preparation of this paper, the proof of the Liebeck-Nikolov-Shalev conjecture was completed by Lifshitz [Lif24]. Both papers use [GLPS24] as a starting point. Lifshitz's argument uses heavy machinery from representation theory to complete the conjecture, whereas this paper achieves a more modest result by rather elementary combinatorial arguments.
A Catalog of Facially Complete Graphs
Published
• View Publication
• BIB
Considering regions in a map to be adjacent when they have nonempty intersection (as opposed to the traditional view requiring intersection in a linear segment) leads to the concept of a facially complete graph: a plane graph that becomes complete when edges are added between every two vertices that lie on a face. Here we present a complete catalog of facially complete graphs: they fall into seven types. A consequence is that if q is the size of the largest face in a plane graph G that is facially complete, then G has at most Floor[3/2 q] vertices. This bound was known, but our proof is completely different from the 1998 approach of Chen, Grigni, and Papadimitriou. Our method also yields a count of the 2-connected facially complete graphs with n vertices. We also show that if a plane graph has at most two faces of size 4 and no larger face, then the addition of both diagonals to each 4-face leads to a graph that is 5-colorable.
Elementary symmetric partitions
Published
• View Publication
• BIB
Let e_k(x_1,...,x_l) be an elementary symmetric polynomial and let mu = (mu_1,...,mu_l) be an integer partition. Define pre_k(mu) to be the partition whose parts are the summands in the evaluation e_k(mu_1,...,mu_l). The study of such partitions was initiated by Ballantine, Beck, and Merca who showed (among other things) that pre_2 is injective as a map on binary partitions of n. In the present work we derive a host of identities involving the sequences which count the number of parts of a given value in the image of pre_2. These include generating functions, explicit expressions, and formulas for forward differences. We generalize some of these to d-ary partitions and explore connections with color partitions. Our techniques include the use of generating functions and bijections on rooted partitions. We end with a list of conjectures and a direction for future research.
Knot theory and cluster algebra III: Posets
In previous work, we associated a module $T(i)$ to every segment $i$ of a link diagram $K$ and showed that there is a poset isomorphism between the submodules of $T(i)$ and the Kauffman states of $K$ relative to $i$. In this paper, we show that the posets are distributive lattices and give explicit descriptions of the join irreducibles in both posets. We also prove that the subposet of join irreducible Kauffman states is isomorphic to the poset of the coefficient quiver of $T(i)$.
Burning game
Published
• View Publication
• BIB
Motivated by the burning and cooling processes, the burning game is introduced. The game is played on a graph $G$ by the two players (Burner and Staller) that take turns selecting vertices of $G$ to burn; as in the burning process, burning vertices spread fire to unburned neighbors. Burner aims to burn all vertices of $G$ as quickly as possible, while Staller wants the process to last as long as possible. If both players play optimally, then the number of time steps needed to burn the whole graph $G$ is the game burning number $b_g(G)$ if Burner makes the first move, and the Staller-start game burning number $b_g'(G)$ if Staller starts. In this paper, basic bounds on $b_g(G)$ are given and Continuation Principle is established. Graphs with small game burning numbers are characterized and Nordhaus-Gaddum type results are obtained. An analogue of the burning number conjecture for the burning game is considered and graph products are studied.
Edge spectra of Gaussian random symmetric matrices with correlated entries
We study the largest eigenvalue of a Gaussian random symmetric matrix $X_n$, with zero-mean, unit variance entries satisfying the condition $\sup_{(i, j) \ne (i', j')}|\mathbb{E}[X_{ij} X_{i'j'}]| = O(n^{-(1 + \varepsilon)})$, where $\varepsilon > 0$. It follows from Catalano et al. (2024) that the empirical spectral distribution of $n^{-1/2} X_n$ converges weakly almost surely to the standard semi-circle law. Using a Füredi-Komlós-type high moment analysis, we show that the largest eigenvalue $λ_1(n^{-1/2} X_n)$ of $n^{-1/2} X_n$ converges almost surely to $2$. This result is essentially optimal in the sense that one cannot take $\varepsilon = 0$ and still obtain an almost sure limit of $2$. We also derive Gaussian fluctuation results for the largest eigenvalue in the case where the entries have a common non-zero mean. Let $Y_n = X_n + \fracλ{\sqrt{n}}\mathbf{1} \mathbf{1}^\top$. When $\varepsilon \ge 1$ and $λ\gg n^{1/4}$, we show that \[
n^{1/2}\bigg(λ_1(n^{-1/2} Y_n) - λ- \frac{1}λ\bigg) \xrightarrow{d} \sqrt{2} Z, \] where $Z$ is a standard Gaussian. On the other hand, when $0 < \varepsilon < 1$, we have $\mathrm{Var}(\frac{1}{n}\sum_{i, j}X_{ij}) = O(n^{1 - \varepsilon})$. Assuming that $\mathrm{Var}(\frac{1}{n}\sum_{i, j} X_{ij}) = σ^2 n^{1 - \varepsilon} (1 + o(1))$, if $λ\gg n^{\varepsilon/4}$, then we have \[
n^{\varepsilon/2}\bigg(λ_1(n^{-1/2} Y_n) - λ- \frac{1}λ\bigg) \xrightarrow{d} σZ. \] While the ranges of $λ$ in these fluctuation results are certainly not optimal, a striking aspect is that different scalings are required in the two regimes $0 < \varepsilon < 1$ and $\varepsilon \ge 1$.
Multiprojective Seshadri stratifications for Schubert varieties and standard monomial theory
Using the language of Seshadri stratifications we develop a geometrical interpretation of Lakshmibai-Seshadri-tableaux and their associated standard monomial bases. These tableaux are a generalization of Young-tableaux and De-Concini-tableaux to all Dynkin types. More precisely, we construct filtrations of multihomogeneous coordinate rings of Schubert varieties, such that the subquotients are one-dimensional and indexed by standard tableaux.
A study of general Martens-special chains of cycles
For a general Martens-special chain of cycles $Γ$ of type $k$ we prove that the gonality is equal to $k+2$. Although $\dim (W^1_{k+2} (Γ))=k$ we prove that $w^1_{k+2}(Γ)=0$. We also compute the gonality sequence of $Γ$ and we prove it is divisorial complete. We prove that a general Martens-special discrete chain of cycles $G$ of type $k$ has the same gonality sequence.
Algorithmic methods of finite discrete structures. Hamiltonian cycle of a complete graph and the Traveling salesman problem
The monography considers the problem of constructing a Hamiltonian cycle in a complete graph. A rule for constructing a Hamiltonian cycle based on isometric cycles of a graph is established. An algorithm for constructing a Hamiltonian cycle based on ring summation of isometric cycles of a graph is presented. Based on the matrix of distances between vertices, the weight of each cycle is determined as an additive sum of the weights of its edges. To construct an optimal route of a graph, the basic idea of finding an optimal route between four vertices is used. Further successive constructions are aimed at joining an adjacent isometric cycle with an increase in the number of vertices by one unit. The recursive process continues until all vertices of the graph are connected. Based on the introduced mathematical apparatus, the monography presents a new algorithm for solving the symmetric Traveling salesman problem. Some examples of solving the problem are provided.
On the off-diagonal unordered Erdős-Rado numbers
Published
• View Publication
• BIB
Erdős and Rado [P. Erdős, R. Rado, A combinatorial theorem, Journal of the London Mathematical Society 25 (4) (1950) 249-255] introduced the Canonical Ramsey numbers $\text{er}(t)$ as the minimum number $n$ such that every edge-coloring of the ordered complete graph $K_n$ contains either a monochromatic, rainbow, upper lexical, or lower lexical clique of order $t$. Richer [D. Richer, Unordered canonical Ramsey numbers, Journal of Combinatorial Theory Series B 80 (2000) 172-177] introduced the unordered asymmetric version of the Canonical Ramsey numbers $\text{CR}(s,r)$ as the minimum $n$ such that every edge-coloring of the (unorderd) complete graph $K_n$ contains either a rainbow clique of order $r$, or an orderable clique of order $s$.
We show that $\text{CR}(s,r) = O(r^3/\log r)^{s-2}$, which, up to the multiplicative constant, matches the known lower bound and improves the previously best known bound $\text{CR}(s,r) = O(r^3/\log r)^{s-1}$ by Jiang [T. Jiang, Canonical Ramsey numbers and proporly colored cycles, Discrete Mathematics 309 (2009) 4247-4252]. We also obtain bounds on the further variant $\text{ER}(m,\ell,r)$, defined as the minimum $n$ such that every edge-coloring of the (unorderd) complete graph $K_n$ contains either a monochromatic $K_m$, lexical $K_\ell$, or rainbow $K_r$.
Cops against a cheating robber
Published
• View Publication
• BIB
We investigate a cheating robot version of Cops and Robber, first introduced by Huggan and Nowakowski, where both the cops and the robber move simultaneously, but the robber is allowed to react to the cops' moves. For conciseness, we refer to this game as Cops and Cheating Robot. The cheating robot number for a graph is the fewest number of cops needed to win on the graph. We introduce a new parameter for this variation, called the push number, which gives the value for the minimum number of cops that move onto the robber's vertex given that there are a cheating robot number of cops on the graph. After producing some elementary results on the push number, we use it to give a relationship between Cops and Cheating Robot and Surrounding Cops and Robbers. We investigate the cheating robot number for planar graphs and give a tight bound for bipartite planar graphs. We show that determining whether a graph has a cheating robot number at most fixed $k$ can be done in polynomial time. We also obtain bounds on the cheating robot number for strong and lexicographic products of graphs.
Constructing cospectral graphs via regular rational orthogonal matrix with level two and three
Published
• View Publication
• BIB
Two graphs $G$ and $H$ are \emph{cospectral} if the adjacency matrices share the same spectrum. Constructing cospectral non-isomorphic graphs has been studied extensively for many years and various constructions are known in the literature, e.g. the famous GM-switching method. In this paper, we shall construct cospectral graphs via regular rational orthogonal matrix $Q$ with level two and three. We provide two straightforward algorithms to characterize with adjacency matrix $A$ of graph $G$ such that $Q^TAQ$ is again a (0,1)-matrix, and introduce two new switching methods to construct families of cospectral graphs which generalized the GM-switching to some extent.
Generalized Turán problem for a path and a clique
Published
• View Publication
• BIB
Let $\mathcal{H}$ be a family of graphs. The generalized Turán number $ex(n, K_r, \mathcal{H})$ is the maximum number of copies of the clique $K_r$ in any $n$-vertex $\mathcal{H}$-free graph. In this paper, we determine the value of $ex(n, K_r, \{P_k, K_m \} )$ for sufficiently large $n$ with an exceptional case, and characterize all corresponding extremal graphs, which generalizes and strengthens the results of Katona and Xiao [EJC, 2024] on $ex(n, K_2, \{P_k, K_m \} )$. For the exceptional case, we obtain a tight upper bound for $ex(n, K_r, \{P_k, K_m \} )$ that confirms a conjecture on $ex(n, K_2, \{P_k, K_m \} )$ posed by Katona and Xiao.
Efficient approximation schemes for scheduling on a stochastic number of machines
We study three two-stage optimization problems with a similar structure and different objectives. In the first stage of each problem, the goal is to assign input jobs of positive sizes to unsplittable bags. After this assignment is decided, the realization of the number of identical machines that will be available is revealed. Then, in the second stage, the bags are assigned to machines. The probability vector of the number of machines in the second stage is known to the algorithm as part of the input before making the decisions of the first stage. Thus, the vector of machine completion times is a random variable. The goal of the first problem is to minimize the expected value of the makespan of the second stage schedule, while the goal of the second problem is to maximize the expected value of the minimum completion time of the machines in the second stage solution. The goal of the third problem is to minimize the \ell_p norm for a fixed p>1, where the norm is applied on machines' completion times vectors. Each one of the first two problems admits a PTAS as Buchem et al. showed recently. Here we significantly improve all their results by designing an EPTAS for each one of these problems. We also design an EPTAS for \ell_p norm minimization for any p>1.
A construction for regular-graph designs
Published
• View Publication
• BIB
A regular-graph design is a block design for which a pair $\{a,b\}$ of distinct points occurs in $λ+1$ or $λ$ blocks depending on whether $\{a,b\}$ is or is not an edge of a given $δ$-regular graph. Our paper describes a specific construction for regular-graph designs with $λ= 1$ and block size $δ+ 1$. We show that for $δ\in \{2,3\}$, certain necessary conditions for the existence of such a design with $n$ points are sufficient, with two exceptions in each case and two possible exceptions when $δ= 3$. We also construct designs of orders 105 and 117 for connected 4-regular graphs.
Perfect coalition in graphs
Published
• View Publication
• BIB
\noindent A perfect dominating set in a graph $G=(V,E)$ is a subset $S \subseteq V$ such that each vertex in $V \setminus S$ has exactly one neighbor in $S$. A perfect coalition in $G$ consists of two disjoint sets of vertices $V_i$ and $V_j$ such that i) neither $V_i$ nor $V_j$ is a dominating set, ii) each vertex in $V(G) \setminus V_i$ has at most one neighbor in $V_i$ and each vertex in $V(G) \setminus V_j$ has at most one neighbor in $V_j$, and iii) $V_i \cup V_j$ is a perfect dominating set. A perfect coalition partition (abbreviated $prc$-partition) in a graph $G$ is a vertex partition $π= \lbrace V_1,V_2,\dots ,V_k \rbrace$ such that for each set $V_i$ of $π$ either $V_i$ is a singleton dominating set, or there exists a set $V_j \in π$ that forms a perfect coalition with $V_i$. In this paper, we initiate the study of perfect coalition partitions in graphs. We obtain a bound on the number of perfect coalitions involving each member of a perfect coalition partition, in terms of maximum degree. The perfect coalition of some special graphs are investigated. The graph $G$ with $δ(G)=1$, the triangle-free graphs $G$ with prefect coalition number of order of $G$ and the trees $T$ with prefect coalition number in $\{n,n-1,n-2\}$ where $n=|V(T)|$ are characterized.
Backbone coloring for graphs with degree 4
The $λ$-backbone coloring of the graph $G$ with backbone $H$ is a graph-coloring problem in which we are given a graph $G$ and a subgraph $H$, and we want to assign colors to vertices in such a way that the endpoints of every edge from $G$ have different colors, and the endpoints of every edge from $H$ are assigned colors which differ by at least $λ$.
In this paper we pursue research on backbone coloring of bounded-degree graphs with well-known classes of backbones. Our result is an almost complete classification of problems in the form $BBC_λ(G, H) \le λ+ k$ for graphs with maximum degree $4$ and backbones from the following classes: paths, trees, matchings, and galaxies.
Polynomial functions on a class of finite non-commutative rings
Published
• View Publication
• BIB
Let $R$ be a finite non-commutative ring with $1\ne 0$. By a polynomial function on $R$, we mean a function $F\colon R\longrightarrow R$ induced by a polynomial $f=\sum\limits_{i=0}^{n}a_ix^i\in R[x]$ via right substitution of the variable $x$, i.e.
$F(a)=f(a)= \sum\limits_{i=0}^{n}a_ia^i$ for every $a\in R$. In this paper, we study the polynomial functions of the free $R$-algebra with a central basis $\{1,β_1,\ldots,β_k\}$ ($k\ge 1$) such that $β_iβ_j=0$ for every $1\le i,j\le k$, $R[β_1,\ldots,β_k]$. %, the ring of dual numbers over $R$ in $k$ variables.
Our investigation revolves around assigning a polynomial $λ_f(y,z)$ over $R$ in non-commutating variables $y$ and $z$ to each polynomial $f$ in $R[x]$; and describing the polynomial functions on $R[β_1,\ldots,β_k]$ through the polynomial functions induced on $R$ by polynomials in $R[x]$ and by their assigned polynomials in the non-commutating variables $y$ and $z$. %and analyzing the resulting polynomial functions on $R[β_1,\ldots,β_k]$.
By extending results from the commutative case to the non-commutative scenario, we demonstrate that several properties and theorems in the commutative case can be generalized to the non-commutative setting with appropriate adjustments.