Showing 20 papers (Total: 82374 papers, 47635 authors in database)
Determining Sidon Polynomials on Sidon Sets over $\mathbb{F}_q\times \mathbb{F}_q$
Published in J. Algebra Comb. Discrete Struct. Appl. 11 3 (2024), 175-187
• View Publication
• BIB
Let $p$ be a prime, and $q=p^n$ be a prime power. In his works on Sidon sets over $\mathbb{F}_q\times \mathbb{F}_q$, Cilleruelo conjectured about polynomials that could generate $q$-element Sidon sets over $\mathbb{F}_q\times \mathbb{F}_q$.
Here, we derive some criteria for determining polynomials that could generate $q$-element Sidon set over $\mathbb{F}_q\times \mathbb{F}_q$. Using these criteria, we prove that certain classes of monomials and cubic polynomials over $\mathbb{F}_p$ cannot be used to generate $p$-element Sidon set over $\mathbb{F}_p\times \mathbb{F}_p$. We also discover a connection between the needed polynomials and planar polynomials.
On prescribing total preorders and linear orders to pairwise distances of points in Euclidean space
Published
• View Publication
• BIB
We show that any total preorder on a set with $\binom{n}{2}$ elements coincides with the order on pairwise distances of some point collection of size $n$ in $\mathbb{R}^{n-1}$. For linear orders, a collection of $n$ points in $\mathbb{R}^{n-2}$ suffices. These bounds turn out to be optimal. We also find an optimal bound in a bipartite version for total preorders and a near-optimal bound for a bipartite version for linear orders. Our arguments include tools from convexity and positive semidefinite quadratic forms.
On the coalition number of trees
Published
• View Publication
• BIB
Let $G$ be a graph with vertex set $V$ and of order $n = |V|$, and let $δ(G)$ and $Δ(G)$ be the minimum and maximum degree of $G$, respectively. Two disjoint sets $V_1, V_2 \subseteq V$ form a coalition in $G$ if none of them is a dominating set of $G$ but their union $V_1\cup V_2$ is. A vertex partition $Ψ=\{V_1,\ldots, V_k\}$ of $V$ is a coalition partition of $G$ if every set $V_i\in Ψ$ is either a dominating set of $G$ with the cardinality $|V_i|=1$, or is not a dominating set but for some $V_j\in Ψ$, $V_i$ and $V_j$ form a coalition. The maximum cardinality of a coalition partition of $G$ is the coalition number $\mathcal{C}(G)$ of $G$. Given a coalition partition $Ψ= \{V_1, \ldots, V_k\}$ of $G$, a coalition graph $\CG(G, Ψ)$ is associated on $Ψ$ such that there is a one-to-one correspondence between its vertices and the members of $Ψ$, where two vertices of $\CG(G, Ψ)$ are adjacent if and only if the corresponding sets form a coalition in $G$. In this paper, we partially solve one of the open problems posed in Haynes et al. \cite{coal0} and we solve two open problems posed by Haynes et al. \cite{coal1}. We characterize all graphs $G$ with $δ(G) \le 1$ and $\mathcal{C}(G)=n$, and we characterize all trees $T$ with $\mathcal{C}(T)=n-1$. We determine the number of coalition graphs that can be defined by all coalition partitions of a given path. Furthermore, we show that there is no universal coalition path, a path whose coalition partitions defines all possible coalition graphs.
Max-norm Ramsey Theory
Published in European Journal of Combinatorics, 2024, Vol. 118, 103918, 27 pp
• View Publication
• BIB
Given a metric space $\mathcal{M}$ that contains at least two points, the chromatic number $χ\left(\mathbb{R}^n_{\infty}, \mathcal{M} \right)$ is defined as the minimum number of colours needed to colour all points of an $n$-dimensional space $\mathbb{R}^n_{\infty}$ with the max-norm such that no isometric copy of $\mathcal{M}$ is monochromatic. The last two authors have recently shown that the value $χ\left(\mathbb{R}^n_{\infty}, \mathcal{M} \right)$ grows exponentially for all finite $\mathcal{M}$. In the present paper we refine this result by giving the exact value $χ_{\mathcal{M}}$ such that $χ\left(\mathbb{R}^n_{\infty}, \mathcal{M} \right) = (χ_{\mathcal{M}}+o(1))^n$ for all 'one-dimensional' $\mathcal{M}$ and for some of their Cartesian products. We also study this question for infinite $\mathcal{M}$. In particular, we construct an infinite $\mathcal{M}$ such that the chromatic number $χ\left(\mathbb{R}^n_{\infty}, \mathcal{M} \right)$ tends to infinity as $n \rightarrow \infty$.
Span of a Graph: Keeping the Safety Distance
Published in Discrete Mathematics & Theoretical Computer Science, vol. 25:1, Graph Theory (March 1, 2023) dmtcs:9859
• View Publication
• BIB
Inspired by Lelek's idea from [Disjoint mappings and the span of spaces, Fund. Math. 55 (1964), 199 -- 214], we introduce the novel notion of the span of graphs. Using this, we solve the problem of determining the \emph{maximal safety distance} two players can keep at all times while traversing a graph. Moreover, their moves must be made with respect to certain move rules. For this purpose, we introduce different variants of a span of a given connected graph. All the variants model the maximum safety distance kept by two players in a graph traversal, where the players may only move with accordance to a specific set of rules, and their goal: visit either all vertices, or all edges. For each variant, we show that the solution can be obtained by considering only connected subgraphs of a graph product and the projections to the factors. We characterise graphs in which it is impossible to keep a positive safety distance at all moments in time. Finally, we present a polynomial time algorithm that determines the chosen span variant of a given graph.
Expanding K-theoretic Schur Q-functions
Published in Algebraic Combinatorics, Volume 6 (2023) no. 6, 1419-1445
• View Publication
• BIB
We derive several identities involving Ikeda and Naruse's $K$-theoretic Schur $P$- and $Q$-functions. Our main result is a formula conjectured by Lewis and the second author which expands each $K$-theoretic Schur $Q$-function in terms of $K$-theoretic Schur $P$-functions. This formula extends to some more general identities relating the skew and dual versions of both power series. We also prove a shifted version of Yeliussizov's skew Cauchy identity for symmetric Grothendieck polynomials. Finally, we discuss some conjectural formulas for the dual $K$-theoretic Schur $P$- and $Q$-functions of Nakagawa and Naruse. We show that one such formula would imply a basis property expected of the $K$-theoretic Schur $Q$-functions.
The Perron non-backtracking eigenvalue after node addition
Consider a finite undirected unweighted graph G and add a new node to it arbitrarily connecting it to pre-existing nodes. We study the behavior of the Perron eigenvalue of the non-backtracking matrix of G before and after such a node addition. We prove an interlacing-type result for said eigenvalue, namely, the Perron eigenvalue never decreases after node addition. Furthermore, our methods lead to bounds for the difference between the eigenvalue before and after node addition. These are the first known bounds that have been established in full rigor. Our results depend on the assumption of diagonalizability of the non-backtracking matrix. Practical experience says that this assumption is fairly mild in many families of graphs, though necessary and sufficient conditions for it remain an open question.
Roman Domination in Convex Bipartite Graphs
In the Roman domination problem, an undirected simple graph $G(V,E)$ is given. The objective of Roman domination problem is to find a function $f:V\rightarrow {\{0,1,2\}}$ such that for any vertex $v\in V$ with $f(v)=0$ must be adjacent to at least one vertex $u\in V$ with $f(u)=2$ and $\sum_{u\in V} f(u)$, called Roman domination number, is minimized. It is already proven that the Roman domination problem (RDP) is NP-complete for general graphs and it remains NP-complete for bipartite graphs. In this paper, we propose a dynamic programming based polynomial time algorithm for RDP in convex bipartite graph.
A study of a combination of distance domination and resolvability in graphs
Published
• View Publication
• BIB
For $k \geq 1$, in a graph $G=(V,E)$, a set of vertices $D$ is a distance $k$-dominating set of $G$, if any vertex in $V\setminus D$ is at distance at most $k$ from some vertex in $D$. The minimum cardinality of a distance $k$-dominating set of $G$ is the distance $k$-domination number, denoted by $γ_k(G)$. An ordered set of vertices $W=\{w_1,w_2,\ldots,w_r\}$ is a resolving set of $G$, if for any two distinct vertices $x$ and $y$ in $V\setminus W$, there exists $1\leq i\leq r$, such that $d_G(x,w_i)\neq d_G(y,w_i)$. The minimum cardinality of a resolving set of $G$ is the metric dimension of the graph $G$, denoted by $dim(G)$. In this paper, we introduce the distance $k$-resolving dominating set, which is a subset of $V$ that is both a distance $k$-dominating set and a resolving set of $G$. The minimum cardinality of a distance $k$-resolving dominating set of $G$ is called the distance $k$-resolving domination number and is denoted by $γ^r_k(G)$. We give several bounds for $γ^r_k(G)$ some in terms of the metric dimension $dim(G)$ and the distance $k$-domination number $γ_k(G)$. We determine $γ^r_k(G)$ when $G$ is a path or a cycle. Afterwards, we characterize the connected graphs of order $n$ having $γ^r_k(G)$ equal to $1$, $n-2$, and $n-1$, for $k\geq 2$. Then, we construct graphs realizing all the possible triples $(dim(G),γ_k(G),γ^r_k (G))$, for all $k\geq 2$. Later, we determine the maximum order of a graph $G$ having distance $k$-resolving domination number $γ^r_k(G)=γ^r_k\geq 1$, we provide graphs achieving this maximum order for any positive integers $k$ and $γ^r_k$. Finally, we establish Nordhaus-Gaddum bounds for $γ^r_k(G)$, for $k\geq 2$.
Higher dimensional digraphs from cube complexes and their spectral theory
Published
• View Publication
• BIB
We define $k$-dimensional digraphs and initiate a study of their spectral theory. The $k$-dimensional digraphs can be viewed as generating graphs for small categories called $k$-graphs. Guided by geometric insight, we obtain several new series of $k$-graphs using cube complexes covered by Cartesian products of trees, for $k \geq 2$. These $k$-graphs can not be presented as virtual products, and constitute novel models of such small categories. The constructions yield rank-$k$ Cuntz-Krieger algebras for all $k\geq 2$. We introduce Ramanujan $k$-graphs satisfying optimal spectral gap property, and show explicitly how to construct the underlying $k$-digraphs.
v-palindromes: an analogy to the palindromes
Published
• View Publication
• BIB
In the year 2007, the author discovered an intriguing property of the number $198$ he saw on the license plate of a car. Namely, if we take $198$ and its reversal $891$, prime factorize each number, and sum the numbers appearing in each factorization, both sums are $18$. Such numbers are formally introduced in a short published note in 2018. These numbers are later named $v$-palindromes because they can be viewed as an analogy to the usual palindromes. In this article, we introduce the concept of a $v$-palindrome in base $b$, and prove their existence for infinitely many bases. Finally, we collect some conjectures on $v$-palindromes.
The least doubling constant of a path graph
Published
• View Publication
• BIB
We study the least doubling constant $C_G$ among all possible doubling measures defined on a path graph $G$. We consider both finite and infinite cases and show that, if $G=\mathbb Z$, $C_{\mathbb Z}=3$, while for $G=L_n$, the path graph with $n$ vertices, one has $1+2\cos(\fracπ{n+1})\leq C_{L_n}<3$, with equality on the lower bound if and only if $n\le8$. Moreover, we analyze the structure of doubling minimizers on $L_n$ and $\mathbb Z$, those measures whose doubling constant is the smallest possible.
Doubling constants and spectral theory on graphs
Published
• View Publication
• BIB
We study the least doubling constant among all possible doubling measures defined on a (finite or infinite) graph $G$. We show that this constant can be estimated from below by $1+ r(A_G)$, where $r(A_G)$ is the spectral radius of the adjacency matrix of $G$, and study when both quantities coincide. We also illustrate how amenability of the automorphism group of a graph can be related to finding doubling minimizers. Finally, we give a complete characterization of graphs with doubling constant smaller than 3, in the spirit of Smith graphs.
Hyperbolic Coxeter groups of minimal growth rates in higher dimensions
Published
• View Publication
• BIB
The cusped hyperbolic n-orbifolds of minimal volume are well known for $n \leq 9$. Their fundamental groups are related to the Coxeter n-simplex groups $Γ_n$ listed in Table 1. In this work, we prove that $Γ_n$ has minimal growth rate among all non-cocompact Coxeter groups of finite covolume in $\hbox{Isom}\mathbb H^n$. In this way, we extend previous results of Floyd for $n = 2$ and of Kellerhals for $n = 3$ respectively. Our proof is a generalisation of the methods developed in [2] for the cocompact case.
Blow-up lemma for cycles in sparse random graphs
In a recent work, Allen, Böttcher, Hàn, Kohayakawa, and Person provided a first general analogue of the blow-up lemma applicable to sparse (pseudo)random graphs thus generalising the classic tool of Komlós, Sárközy, and Szemerédi. Roughly speaking, they showed that with high probability in the random graph $G_{n,p}$ for $p \geq C(\log n/n)^{1/Δ}$, sparse regular pairs behave similarly as complete bipartite graphs with respect to embedding a spanning graph $H$ with $Δ(H) \leq Δ$. However, this is typically only optimal when $Δ\in \{2,3\}$ and $H$ either contains a triangle ($Δ= 2$) or many copies of $K_4$ ($Δ= 3$). We go beyond this barrier for the first time and present a sparse blow-up lemma for cycles $C_{2k-1}, C_{2k}$, for all $k \geq 2$, and densities $p \geq Cn^{-(k-1)/k}$, which is in a way best possible. As an application of our blow-up lemma we fully resolve a question of Nenadov and Škorić regarding resilience of cycle factors in sparse random graphs.
Prefixes of the Fibonacci word that end with a cube
Published
• View Publication
• BIB
We study the prefixes of the Fibonacci word that end with a cube. Using Walnut we obtain an exact description of the positions of the Fibonacci word at which a cube ends.
Sharp Effective Finite-Field Nullstellensatz
Published
• View Publication
• BIB
The (weak) Nullstellensatz over finite fields says that if $P_1,\ldots,P_m$ are $n$-variate degree-$d$ polynomials with no common zero over a finite field $\mathbb{F}$ then there are polynomials $R_1,\ldots,R_m$ such that $R_1P_1+\cdots+R_mP_m \equiv 1$. Green and Tao [Contrib. Discrete Math. 2009, Proposition 9.1] used a regularity lemma to obtain an effective proof, showing that the degrees of the polynomials $R_i$ can be bounded independently of $n$, though with an Ackermann-type dependence on the other parameters $m$, $d$, and $|\mathbb{F}|$. In this paper we use the polynomial method to give a proof with a degree bound of $md(|\mathbb{F}|-1)$. We also show that the dependence on each of the parameters is the best possible up to an absolute constant. We further include a generalization, offered by Pete L. Clark, from finite fields to arbitrary subsets in arbitrary fields, provided the polynomials $P_i$ take finitely many values on said subset.
The Polynomial Profile of Distance Games on Paths and Cycles
Distance games are games played on graphs in which the players alternately colour vertices, and which vertices can be coloured only depends on the distance to previously coloured vertices. The polynomial profile encodes the number of positions with a fixed number of vertices from each player. We extend previous work on finding the polynomial profile of several distance games (Col, Snort, and Cis) played on paths. We give recursions and generating functions for the polynomial profiles of generalizations of these three games when played on paths. We also find the polynomial profile of Cis played on cycles and the total number of positions of Col and Snort on cycles, as well as pose a conjecture about the number of positions when playing Col and Snort on complete bipartite graphs.
Ninth variation of classical group characters of type A-D and Littlewood identities
Published in Electron. J. Combin. 30 (2023), no. 4, Paper No. 4.9, 39 pp
• View Publication
• BIB
We introduce certain generalisations of the characters of the classical Lie groups, extending the recently defined factorial characters of Foley and King. In this extension, the factorial powers are replaced with an arbitrary sequence of polynomials, as in Sergeev-Veselov's generalised Schur functions and Okada's generalised Schur P- and Q-functions. We also offer a similar generalisation for the rational Schur functions. We derive Littlewood-type identities for our generalisations. These identities allow us to give new (unflagged) Jacobi-Trudi identities for the Foley-King factorial characters and for rational versions of the factorial Schur functions. We also propose an extension of the original Macdonald's ninth variation of Schur functions to the case of symplectic and orthogonal characters, which helps us prove Nägelsbach-Kostka identities.
Hypercontractivity on High Dimensional Expanders: Approximate Efron-Stein Decompositions for $\varepsilon$-Product Spaces
Published
• View Publication
• BIB
We prove hypercontractive inequalities on high dimensional expanders. As in the settings of the p-biased hypercube, the symmetric group, and the Grassmann scheme, our inequalities are effective for global functions, which are functions that are not significantly affected by a restriction of a small set of coordinates. As applications, we obtain Fourier concentration, small-set expansion, and Kruskal-Katona theorems for high dimensional expanders. Our techniques rely on a new approximate Efron-Stein decomposition for high dimensional link expanders.