Showing 20 papers (Total: 81756 papers, 47371 authors in database)
Product representation of perfect cubes
Published
• View Publication
• BIB
Let $F_{k,d}(n)$ be the maximal size of a set ${A}\subseteq [n]$ such that the equation \[a_1a_2\dots a_k=x^d, \; a_1<a_2<\ldots<a_k\] has no solution with $a_1,a_2,\ldots,a_k\in {A}$ and integer $x$. Erdős, Sárközy and T. Sós studied $F_{k,2}$, and gave bounds when $k=2,3,4,6$ and also in the general case. We study the problem for $d=3$, and provide bounds for $k=2,3,4,6$ and $9$, furthermore, in the general case, as well. In particular, we refute an 18 years old conjecture of Verstraëte.
We also introduce another function $f_{k,d}$ closely related to $F_{k,d}$: While the original problem requires $a_1, \ldots , a_k$ to all be distinct, we can relax this and only require that the multiset of the $a_i$'s cannot be partitioned into $d$-tuples where each $d$-tuple consists of $d$ copies of the same number.
On edge irregularity strength of cycle-star graphs
Published in Proyecciones Journal of Mathematics, Vol. 43, No 3, pp. 725-741, June 2024
• View Publication
• BIB
For a simple graph $G$, a vertex labeling $φ:V(G) \rightarrow \{1, 2,\ldots,k\}$ is called $k$-labeling. The weight of an edge $uv$ in $G$, written $w_φ(uv)$, is the sum of the labels of end vertices $u$ and $v$, i.e., $w_φ(uv)=φ(u)+φ(v)$. A vertex $k$-labeling is defined to be an edge irregular $k$-labeling of the graph $G$ if for every two distinct edges $u$ and $v$, $w_φ(u) \neq w_φ(v)$. The minimum $k$ for which the graph $G$ has an edge irregular $k$-labeling is called the edge irregularity strength of $G$, written $es(G)$. In this paper, we study the edge irregular $k$-labeling for cycle-star graph $CS_{k,n-k}$ and determine the exact value for cycle-star graph for $3 \leq k \leq 7$ and $n-k \geq 1$. Finally, we make a conjecture for the edge irregularity strength of $CS_{k,n-k}$ for $k \geq 8$ and $n-k \geq 1$.
A note on edge irregularity strength of Dandelion graph
For a simple graph $G$, a vertex labeling $φ:V(G) \rightarrow \{1, 2,\ldots,k\}$ is called $k$-labeling. The weight of an edge $xy$ in $G$, written $w_φ(xy)$, is the sum of the labels of end vertices $x$ and $y$, i.e., $w_φ(xy)=φ(x)+φ(y)$. A vertex $k$-labeling is defined to be an edge irregular $k$-labeling of the graph $G$ if for every two different edges $e$ and $f$, $w_φ(e) \neq w_φ(f)$. The minimum $k$ for which the graph $G$ has an edge irregular $k$-labeling is called the edge irregularity strength of $G$, written $es(G)$. In this note, we find the exact value of edge irregularity strength of Dandelion graph when $Δ(G) \geq \lceil \frac{|E(G)|+1}{2} \rceil$; and determine the bounds when $Δ(G) < \lceil \frac{|E(G)|+1}{2} \rceil $.
Equivalence between invariance conjectures for parabolic Kazhdan-Lusztig polynomials
Published
• View Publication
• BIB
We prove that the combinatorial invariance conjecture for parabolic Kazhdan-Lusztig polynomials, formulated by Mario Marietti, is equivalent to its restriction to maximal quotients. This equivalence lies at the other extreme in respect to the equivalence, recently proved by Barkley and Gaetz, with the invariance conjecture for Kazhdan-Lusztig polynomials, which turns out to be equivalent to the conjecture for maximal quotients.
Problems on the Triangular Lattice
In this work, we consider a number of problems defined on the triangular lattice with $n$ rows, which we will denote as $T_n$. Define a \textit{proper coloring} to be an assignment of colors to the points of $T_n$ such that no three points constituting the vertices of an equilateral triangle all receive the same color, and denote by $f(n)$ the smallest possible number of colors that can be used in a proper coloring of $T_n$. We either determine exactly or give upper bounds for $f(n)$ for many small values of $n$, and it is shown that $\lim_{n\to\infty} \frac{f(n)}{n} \leq \frac13$. We also give formulas counting the number of pairs of points in $T_n$ for which there are, respectively, 0, 1, or 2 choices of points in $T_n$ which extend those two into the vertices of an equilateral triangle. Along the way, we pose a number of related questions.
Super Hayashi Quandles
Quandles are right-invertible, right-self distributive (and idempotent) algebraic structures. Therefore, right translations are quandle automorphisms. It has been interesting to look into finite quandles by way of the cycle structures their right translations may have. For each quandle, the list of these cycle structures is known as the profile of the quandle. For a connected quandle, any two right translations are conjugate so there is essentially one cycle structure per connected quandle - which we thus identify with the profile. Hayashi conjectured that, for a connected quandle, each length of its profile divides the longest length. In the present article we introduce Super Hayashi Quandles (SHQ). An SHQ is a finite connected quandle such that any two lengths in its profile are (i) distinct, and (ii) the shorter one divides the longer one. The SHQ's are latin quandles and we prove that their profiles depend only on the second shortest length and on the number of cycles. Furthermore, we prove that SHQ's have SHQ's alone for subquandles (with the same second shortest length but fewer cycles). Finally, we construct infinitely many SHQ's.
On some singular graphs with non-isomorphic associated evolution algebras
Published
• View Publication
• BIB
A connected graph can be associated with two distinct evolution algebras. In the first case, the structural matrix is the adjacency matrix of the graph itself. In the second case, the structural matrix is the transition probabilities matrix of the symmetric random walk on the same graph. It is well-known that, for a non-singular graph, both evolution algebras are isomorphic if, and only if, the graph is regular or biregular. Moreover, through examples and partial results, it has been conjectured that the same result remains true for singular graphs. The purpose of this work is to provide new examples supporting this conjecture.
Algebraic Constructions for the Digraph Routing Problems
Efficiency of routing on a regular digraph often involves finding opitmal properties of the graph. For example, the diameter of a digraph is the maximum distance between any two vertices. We show how we can study these problems algebraically in terms of quasigroups, 1-factors, and permutation groups. Our investigation originated from the study of graphs as the Cayley graphs of groupoids with $d$ generators, a left identity, and right cancellation; that is, a right quasigroup. This enables us to provide compact algebraic definitions for some important graphs that are either given as explicit edge lists or as the Cayley coset graphs of groups larger than the graph. One such example is a single expression for the Hoffman-Singleton graph. From there, we notice that the groupoids can be represented uniquely by a set of disjoint permutations and we explore the consequences of that observation.
Metric Dimension and Resolvability of Jaccard Spaces
Published
• View Publication
• BIB
A subset of points in a metric space is said to resolve it if each point in the space is uniquely characterized by its distance to each point in the subset. In particular, resolving sets can be used to represent points in abstract metric spaces as Euclidean vectors. Importantly, due to the triangle inequality, points close by in the space are represented as vectors with similar coordinates, which may find applications in classification problems of symbolic objects under suitably chosen metrics. In this manuscript, we address the resolvability of Jaccard spaces, i.e., metric spaces of the form $(2^X,\text{Jac})$, where $2^X$ is the power set of a finite set $X$, and $\text{Jac}$ is the Jaccard distance between subsets of $X$. Specifically, for different $a,b\in 2^X$, $\text{Jac}(a,b)=|aΔb|/|a\cup b|$, where $|\cdot|$ denotes size (i.e., cardinality) and $Δ$ denotes the symmetric difference of sets. We combine probabilistic and linear algebra arguments to construct highly likely but nearly optimal (i.e., of minimal size) resolving sets of $(2^X,\text{Jac})$. In particular, we show that the metric dimension of $(2^X,\text{Jac})$, i.e., the minimum size of a resolving set of this space, is $Θ(|X|/\ln|X|)$. In addition, we show that a much smaller subset of $2^X$ suffices to resolve, with high probability, all different pairs of subsets of $X$ of cardinality at most $\sqrt{|X|}/\ln|X|$, up to a factor.
A one-line proof of a minimax theorem (for a notion of curvature on finite graphs)
A one-line proof of a minimax theorem due to Steinerberger is given.
An answer to Goswami's question and new sources of $IP^{\star}$-sets containing combined zigzag structure
Published
• View Publication
• BIB
$A$ set is called $IP$-set in a semigroup $\left(S,\cdot \right)$ if it contains finite products of a sequence. A set that intersects with all $IP$-sets is called $IP^\star$-set. It is a well known and established result by Bergelson and Hindman that if $A$ is an $IP^{\star}$-set, then for any sequence $\langle x_{n}\rangle_{n=1}^{\infty}$, there exists a sum subsystem $\langle y_{n}\rangle_{n=1}^{\infty}$ such that $FS\left(\langle y_{n}\rangle_{n=1}^{\infty}\right)\cup FP\left(\langle y_{n}\rangle_{n=1}^{\infty}\right)\subset A$. In \cite[Question 3]{G}, S. Goswami posed the question: if we replace the single sequence by $l$-sequences, then is it possible to obtain a sum subsystem such that all of its zigzag finite sums and products will be in $A$. Goswami has given affirmative answers only for dynamical $IP^{\star}$-sets which are not equivalent to those of $IP^{\star}$-sets, but are rather significantly stronger. In this article, we will give the answer to Goswami's question that was unknown until now.
On the treewidth of generalized q-Kneser graphs
Published
• View Publication
• BIB
The generalized $q$-Kneser graph $K_q(n,k,t)$ for integers $k>t>0$ and $n>2k-t$ is the graph whose vertices are the $k$-dimensional subspaces of an $n$-dimensional $F_q$-vectorspace with two vertices $U_1$ and $U_2$ adjacent if and only if $\dim(U_1\cap U_2)<t$. We determine the treewidth of the generalized $q$-Kneser graphs $K_q(n,k,t)$ when $t\ge 2$ and $n$ is sufficiently large compared to $k$. The imposed bound on $n$ is a significant improvement of the previously known bound. One consequence of our results is that the treewidth of each $q$-Kneser graph $K_q(n,k,t)$ with $k>t>0$ and $n\ge 3k-t+9$ is equal to $\gauss{n}{k}-\gauss{n-t}{k-t}-1$.
Regularity of normal Rees algebras of edge ideals of graphs
Published
• View Publication
• BIB
We classify all graphs for which the Rees algebras of their edge ideals are normal and have regularity equal to their matching numbers.
On a Conjecture by Hayashi on Finite Connected Quandles
Published
• View Publication
• BIB
A quandle is an algebraic structure whose binary operation is idempotent, right-invertible and right self-distributive. Right-invertibility ensures right translations are permutations and right self-distributivity ensures further they are automorphisms. For finite connected quandles, all right translations have the same cycle structure, called the profile of the connected quandle. Hayashi conjectured that the longest length in the profile of a finite connected quandle is a multiple of the remaining lengths. We prove that this conjecture is true for profiles with at most five lengths.
Refined diameter bounds under curvature dimension conditions
In this article we derive an explicit diameter bound for graphs satisfying the so-called curvature dimension conditions $CD(K,n)$. This refines a recent result due to Liu, Münch and Peyerimhoff when the dimension $n$ is finite.
Anti-Ramsey Numbers of Expansions of Doubly Edge-critical Graphs in Uniform Hypergraphs
For an $r$-graph $H$, the anti-Ramsey number ${\rm ar}(n,r,H)$ is the minimum number $c$ of colors such that for any edge-coloring of the complete $r$-graph on $n$ vertices with at least $c$ colors, there is a copy of $H$ whose edges have distinct colors. A 2-graph $F$ is doubly edge-$p$-critical if the chromatic number $χ(F - e)\geq p$ for every edge $e$ in $F$ and there exist two edges $e_1,e_2$ in $F$ such that $χ(F -e_1- e_2)=p-1$. The anti-Ramsey numbers of doubly edge-$p$-critical 2-graphs were determined by Jiang and Pikhurko \cite{Jiang&Pikhurko2009}, which generalized the anti-Ramsey numbers of cliques determined by Erdős, Simonovits and Sós \cite{Erdos&Simonovits&Sos1975}. In general, few exact values of anti-Ramsey numbers of $r$-graphs are known for $r\geq 3$. Given a 2-graph $F$, the expansion $F^{(r)}$ of $F$ is an $r$-graph on $|V(F)|+(r-2)|F|$ vertices obtained from $F$ by adding $r-2$ new vertices to each edge of $F$. In this paper, we determine the exact value of ${\rm ar}(n,r,F^{(r)})$ for any doubly edge-$p$-critical 2-graph $F$ with $p>r\geq 3$ and sufficiently large $n$.
Maximizing the index of signed complete graphs with spanning trees on $k$ pendant vertices
Published
• View Publication
• BIB
A signed graph $Σ=(G,σ)$ consists of an underlying graph $G=(V,E)$ with a sign function $σ:E\rightarrow\{-1,1\}$. Let $A(Σ)$ be the adjacency matrix of $Σ$ and $λ_1(Σ)$ denote the largest eigenvalue (index) of $Σ$.Define $(K_n,H^-)$ as a signed complete graph whose negative edges induce a subgraph $H$. In this paper, we focus on the following problem: which spanning tree $T$ with a given number of pendant vertices makes the $λ_1(A(Σ))$ of the unbalanced $(K_n,T^-)$ as large as possible? To answer the problem, we characterize the extremal signed graph with maximum $λ_1(A(Σ))$ among graphs of type $(K_n,T^-)$.
On differences of two harmonic numbers
Published
• View Publication
• BIB
We prove that the existence of infinitely many $(m_k, n_k) \in \mathbb{N}^2$ such that the difference of harmonic numbers $H_{m_k} - H_{n_k}$ approximates 1 well $$ \lim_{k \rightarrow \infty} \left| \sum_{\ell = n}^{m_k} \frac{1}{\ell} - 1 \right|\cdot n_k^2 = 0.$$ This answers a question of Erdős and Graham. The construction uses asymptotics for harmonic numbers, the precise nature of the continued fraction expansion of $e$ and a suitable rescaling of a subsequence of convergents. We also prove a quantitative rate by appealing to techniques of Heilbronn, Danicic, Harman, Hooley and others regarding $\min_{1 \leq n \leq N} \min_{m \in \mathbb{N}}\| n^2 θ- m\|$.
A graph-theoretic proof of Cobham's Dichotomy for automatic sequences
Published
• View Publication
• BIB
We give a new graph-theoretic proof of Cobham's Theorem which says that the support of an automatic sequence is either sparse or grows at least like $N^α$ for some $α> 0$. The proof uses the notions of tied vertices and cycle arboressences. With the ideas of the proof we can also give a new interpretation of the rank of a sparse sequence as the height of its cycle arboressence. In the non-sparse case we are able to determine the supremum of possible $α$, which turns out to be the logarithm of an integer root of a Perron number.
On Tuza's Conjecture in Dense Graphs
Published
• View Publication
• BIB
In 1982, Tuza conjectured that the size $τ(G)$ of a minimum set of edges that intersects every triangle of a graph $G$ is at most twice the size $ν(G)$ of a maximum set of edge-disjoint triangles of $G$. This conjecture was proved for several graph classes. In this paper, we present three results regarding Tuza's Conjecture for dense graphs. By using a probabilistic argument, Tuza proved its conjecture for graphs on $n$ vertices with minimum degree at least $\frac{7n}{8}$. We extend this technique to show that Tuza's conjecture is valid for split graphs with minimum degree at least $\frac{3n}{5}$; and that $τ(G) < \frac{28}{15}ν(G)$ for every tripartite graph with minimum degree more than $\frac{33n}{56}$. Finally, we show that $τ(G)\leq \frac{3}{2}ν(G)$ when $G$ is a complete 4-partite graph. Moreover, this bound is tight.