Showing 20 papers (Total: 83076 papers, 47999 authors in database)
A multi-parameter variant of the Erdős distance problem
We study the following variant of the Erdős distance problem. Given $E$ and $F$ a point sets in $\mathbb{R}^d$ and $p = (p_1, \ldots, p_q)$ with $p_1+ \cdots + p_q = d$ is an increasing partition of $d$ define $$ B_p(E,F)=\{(|x_1-y_1|, \ldots, |x_q-y_q|): x \in E, y \in F \},$$ where $x=(x_1, \ldots, x_q)$ with $x_i$ in $\mathbb{R}^{p_i}$. For $p_1 \geq 2$ it is not difficult to construct $E$ and $F$ such that $|B_{p}(E,F)|=1$. On the other hand, it is easy to see that if $γ_q$ is the best know exponent for the distance problem in $\mathbb{R}^{p_i}$ that $|B_p(E,E)| \geq C{|E|}^{\frac{γ_q}{q}}$. The question we study is whether we can improve the exponent $\frac{γ_q}{q}$. We first study partitions of length two in detail and prove the optimal result (up to logarithms) that $$ |B_{2,2}(E)| \gtrapprox |E|.$$ In the generalised two dimensional case for $B_{k,l}$ we need the stronger condition that $E$ is $s$-adaptable for $s<\frac{k}{2}+\frac{1}{3}$, letting $γ_m$ be the best known exponent for the Erdős-distance problem in $\mathbb{R}^m$ for $k \neq l$ we gain a further optimal result of, $$ |B_{k,l}(E)| \gtrapprox |E|^{γ_l}.$$ When $k=l$ we use the explicit $γ_m=\frac{m}{2}-\frac{2}{m(m+2)}$ result due to Solymosi and Vu to gain $$ |B_{k,k}(E)| \gtrapprox |E|^{\frac{13}{14}γ_k}.$$ For a general partition, let $γ_i = \frac{2}{p_i}-\frac{2}{p_i(p_i+2)}$ and $η_i = \frac{2}{2d-(p_i-1)}$. Then if $E$ is $s$-adaptable with $s>d-\frac{p_1}{2}+\frac{1}{3}$ we have $$ B_p(E) \gtrapprox |E|^τ\hspace{0.5cm} \text{where} \hspace{0.5cm} τ= γ_q\left(\frac{γ_1+η_1}{γ_q+(q-1)(γ_1+η_1)}\right).$$ Where $p_i \sim \frac{d}{q}$ implies $τ\sim γ_{q}\left(\frac{1}{q}+\frac{1}{dq}\right)$ and $p_q \sim d$ (with $q<<d$) implies $τ\sim γ_{q}\left(\frac{1}{q}+\frac{1}{q^2}\right)$.
On the generalized Erdős--Kneser conjecture: proofs and reductions
Published in J. Combin. Theory, Ser. B 135, 227-237 (2019)
• View Publication
• BIB
Alon, Frankl, and Lovász proved a conjecture of Erdős that one needs at least $\lceil \frac{n-r(k-1)}{r-1} \rceil$ colors to color the $k$-subsets of $\{1, \dots, n\}$ such that any $r$ of the $k$-subsets that have the same color are not pairwise disjoint. A generalization of this problem where one requires $s$-wise instead of pairwise intersections was considered by Sarkaria. He claimed a proof of a generalized Erdős--Kneser conjecture establishing a lower bound for the number of colors that reduces to Erdős' original conjecture for ${s = 2}$. Lange and Ziegler pointed out that his proof fails whenever $r$ is not a prime. Here we establish this generalized Erdős--Kneser conjecture for every $r$, as long as $s$ is not too close to $r$. Our result encompasses earlier results but is significantly more general. We discuss relations of our results to conjectures of Ziegler and of Abyazi Sani and Alishahi, and prove the latter in several cases.
The minimum stretch spanning tree problem for typical graphs
Published
• View Publication
• BIB
With applications in distribution systems and communication networks, the minimum stretch spanning tree problem is to find a spanning tree T of a graph G such that the maximum distance in T between two adjacent vertices is minimized. The problem has been proved to be NP-hard and fixed-parameter polynomial algorithms have been obtained for some special classes of graphs. In this paper, we concentrate on the optimality characterizations for typical classes of graphs. We determine the exact optimality representations for Petersen graph, the complete k-partite graphs, split graphs, generalized convex graphs, and several planar grids, including rectangular grids, triangular grids, and triangular-rectangular grids.
Edge rings with $3$-linear resolutions
Published in Proceedings of the American Mathematical Society 147(2019), 3225--3232
• View Publication
• BIB
It is shown that the edge ring of a finite connected simple graph with a $3$-linear resolution is a hypersurface.
Graphs with prescribed local neighborhoods of their universal coverings
Published
• View Publication
• BIB
Given a collection of n rooted trees with depth h, we give a necessary and sufficient condition for this collection to be the collection of h-depth universal covering neighborhoods at each vertex.
The minimum forcing number of perfect matchings in the hypercube
Published
• View Publication
• BIB
Let $M$ be a perfect matching in a graph. A subset $S$ of $M$ is said to be a forcing set of $M$, if $M$ is the only perfect matching in the graph that contains $S$. The minimum size of a forcing set of $M$ is called the forcing number of $M$. Pachter and Kim [Discrete Math. 190 (1998) 287--294] conjectured that the forcing number of every perfect matching in the $n$-dimensional hypercube is at least $2^{n-2}$, for all $n \ge 2$. Riddle [Discrete Math. 245 (2002) 283-292] proved this for even $n$. We show that the conjecture holds for all $n \ge 2$. The proof is based on simple linear algebra.
Asymptotic results on Hoppe trees and its variations
Published
• View Publication
• BIB
A uniform recursive tree on $n$ vertices is a random tree where each possible $(n-1)!$ labeled recursive rooted tree is selected with equal probability. In this paper we introduce and study weighted trees, a non-uniform recursive tree model departing from the recently introduced Hoppe trees. This class generalizes both uniform recursive trees and Hoppe trees. The generalization provides diversity among the nodes, making the model more flexible for applications. We also analyze the number of leaves, the height, the depth, the number of branches, and the size of the largest branch in these weighted trees.
Site percolation on non-regular pseudo-random graphs
We study site percolation on a sequence of graphs $\{G_n\}_{n\geq1}$ on $n$ vertices where degree of each vertex is in the interval $(np -a_n, np+a_n)$ and the co-degree of every pair of vertices is at most ${n}p^2+ b_n$, where $p \in (0,1)$ and $\{a_n\}_{n\geq1}$, $\{b_n\}_{n\geq1}$ are sequences of real numbers. Under suitable conditions on $p \in (0,1)$, $a_n$'s and $b_n$'s we show that site percolation on these sequences of graphs undergo a sharp phase transition at $\frac{1}{np}$. More precisely for $\varepsilon>0$, we form a random set $R(ρ_n)$ by including each vertex of $G_n$ independently with probability $ρ_n$. If $ρ_n = \frac{1-\varepsilon}{np}$, then for every small enough $\varepsilon>0$ and $n$ large enough, all connected components in the subgraph of $G_n$ induced by $R(ρ_n)$ are of size at most poly-logarithmic in $n$ with high probability. If $ρ_n = \frac{1+\varepsilon}{np}$, then for every small enough $\varepsilon>0$ and $n$ large enough, the subgraph of $G_n$ induced by $R(ρ_n)$ contains a 'giant' connected component of size at least $\frac{\varepsilon}{p}$ with high probability. Further, we show that under an additional assumption on $\{b_n\}_{n\geq 1}$ the giant component is unique. This partially resolves a question by Krivelevich \cite{krivelevich2016phase} regrading uniqueness of the giant component of site percolation in a general class of regular pseudo-random graphs. We hope that our method of proving uniqueness of the giant component will be applicable in other contexts as well.
The Frobenius problem for homomorphic embeddings of languages into the integers
Published
• View Publication
• BIB
Let S be a map from a language L to the integers satisfying S(vw)=S(v)+S(w) for all words v,w from the language. The classical Frobenius problem asks whether the complement of S(L) in the natural numbers will be infinite or finite, and in the latter case the value of the largest element in this complement. This is also known as the 'coin'-problem, and L is the full language consisting of all words over a finite alphabet. We solve the Frobenius problem for the golden mean language, any Sturmian language and the Thue-Morse language. We also consider two-dimensional embeddings.
Dispersion processes
Published
• View Publication
• BIB
We study a synchronous dispersion process in which $M$ particles are initially placed at a distinguished origin vertex of a graph $G$. At each time step, at each vertex $v$ occupied by more than one particle at the beginning of this step, each of these particles moves to a neighbour of $v$ chosen independently and uniformly at random. The dispersion process ends once the particles have all stopped moving, i.e. at the first step at which each vertex is occupied by at most one particle.
For the complete graph $K_n$ and star graph $S_n$, we show that for any constant $δ>1$, with high probability, if $M \le n/2(1-δ)$, then the process finishes in $O(\log n)$ steps, whereas if $M \ge n/2(1+δ)$, then the process needs $e^{Ω(n)}$ steps to complete (if ever). We also show that an analogous lazy variant of the process exhibits the same behaviour but for higher thresholds, allowing faster dispersion of more particles.
For paths, trees, grids, hypercubes and Cayley graphs of large enough sizes (in terms of $M$) we give bounds on the time to finish and the maximum distance traveled from the origin as a function of the number of particles $M$.
Powers of doubly-affine integer square matrices with one non-zero eigenvalue
When doubly-affine matrices such as Latin and magic squares with a single non-zero eigenvalue are powered up they become constant matrices after a few steps. The process of compounding squares of orders m and n can then be used to generate an infinite series of such squares of orders mn. The Cayley-Hamilton theorem is used to understand this property, where their characteristic polynomials have just two terms.
On the saturation number of graphs
Let $G=(V,E)$ be a simple connected graph. A matching $M$ in a graph $G$ is a collection of edges of $G$ such that no two edges from $M$ share a vertex. A matching $M$ is maximal if it cannot be extended to a larger matching in $G$. The cardinality of any smallest maximal matching in $G$ is the saturation number of $G$ and is denoted by $s(G)$. In this paper we study the saturation number of the corona product of two specific graphs. We also consider some graphs with certain constructions that are of importance in chemistry and study their saturation number.
A module-theoretic approach to matroids
Published in Journal of Pure and Applied Algebra 224.2 (2020) 894-916
• View Publication
• BIB
Speyer recognized that matroids encode the same data as a special class of tropical linear spaces and Shaw interpreted tropically certain basic matroid constructions; additionally, Frenk developed the perspective of tropical linear spaces as modules over an idempotent semifield. All together, this provides bridges between the combinatorics of matroids, the algebra of idempotent modules, and the geometry of tropical linear spaces. The goal of this paper is to strengthen and expand these bridges by systematically developing the idempotent module theory of matroids. Applications include a geometric interpretation of strong matroid maps and the factorization theorem; a generalized notion of strong matroid maps, via an embedding of the category of matroids into a category of module homomorphisms; a monotonicity property for the stable sum and stable intersection of tropical linear spaces; a novel perspective of fundamental transversal matroids; and a tropical analogue of reduced row echelon form.
Linked systems of symmetric designs
Published
• View Publication
• BIB
A linked system of symmetric designs (LSSD) is a $w$-partite graph ($w\geq 2$) where the incidence between any two parts corresponds to a symmetric design and the designs arising from three parts are related. The original construction for LSSDs by Goethals used Kerdock sets, in which $v$ is a power of two. Some four decades later, new examples were given by Davis et.\ al.\ and Jedwab et.\ al.\ using difference sets, again with $v$ a power of two. In this paper we develop a connection between LSSDs and "linked simplices", full-dimensional regular simplices with two possible inner products between vertices of distinct simplices. We then use this geometric connection to construct sets of equiangular lines and to find an equivalence between regular unbiased Hadamard matrices and certain LSSDs with Menon parameters. We then construct examples of non-trivial LSSDs in which $w$ can be made arbitarily large for fixed even part of $v$. Finally we survey the known infinite families of symmetric designs and show, using basic number theoretic conditions, that $w=2$ in most cases.
Redundant edges in Ramsey graphs
Published
• View Publication
• BIB
For graphs $G$, $F$ and $H$, let $G\rightarrow (F,H)$ signify that any edge coloring of $G$ in red and blue contains a red $F$ or a blue $H$. The Ramsey number $R(F,H)=\min\{r|\; K_r\rightarrow (F,H)\}$. In this note, we consider redundant edges in Ramsey graphs, which are associate with critical Ramsey numbers. For an integer $k\ge 1$, let ${\mathbb G}=\{G_k,G_{k+1},\dots \}$ be a class of graphs with $δ(G_n)\ge 1$. We define the critical Ramsey number $R_{\mathbb G}(F,H)$ with respect to $\mathbb G$ to be $\max\{n|\; K_r\setminus G_n \rightarrow(F,H),\,G_n\in{\mathbb G}\big\}$, where $r=R(F,H)$. We shall determine some $R_{\mathbb G}(F,H)$, where ${\mathbb G}$ consists of stars, matchings and complete graphs, respectively.
On Skew-Symmetric Games
Published
• View Publication
• BIB
By resorting to the vector space structure of finite games, skew-symmetric games (SSGs) are proposed and investigated as a natural subspace of finite games. First of all, for two player games, it is shown that the skew-symmetric games form an orthogonal complement of the symmetric games. Then for a general SSG its linear representation is given, which can be used to verify whether a finite game is skew-symmetric. Furthermore, some properties of SSGs are also obtained in the light of its vector subspace structure. Finally, a symmetry-based decomposition of finite games is proposed, which consists of three mutually orthogonal subspaces: symmetric subspace, skew-symmetric subspace and asymmetric subspace. An illustrative example is presented to demonstrate this decomposition.
The Graph Curvature Calculator and the curvatures of cubic graphs
Published
• View Publication
• BIB
We classify all cubic graphs with either non-negative Ollivier-Ricci curvature or non-negative Bakry-Émery curvature everywhere. We show in both curvature notions that the non-negatively curved graphs are the prism graphs and the Möbius ladders. We also highlight an online tool for calculating the curvature of graphs under several variants of these curvature notions that we use in the classification. As a consequence of the classification result we show, that non-negatively curved cubic expanders do not exist.
A separation between tropical matrix ranks
Published
• View Publication
• BIB
We continue to study the rank functions of tropical matrices. In this paper, we explain how to reduce the computation of ranks for matrices over the `supertropical semifield' to the standard tropical case. Using a counting approach, we prove the existence of a $01$-matrix with many ones and without large all-one submatrices, and we put our results together and construct an $n\times n$ matrix with tropical rank $o(n^{0.5+\varepsilon})$ and Kapranov rank $n-o(n)$.
Weighted Committee Games
Published
• View Publication
• BIB
Many binary collective choice situations can be described as weighted simple voting games. We introduce weighted committee games to model decisions on an arbitrary number of alternatives in analogous fashion. We compare the effect of different voting weights (share-holdings, party seats, etc.) under plurality, Borda, Copeland, and antiplurality rule. The number and geometry of weight equivalence classes differ widely across the rules. Decisions can be much more sensitive to weights in Borda committees than (anti-)plurality or Copeland ones.
Tilings of the plane with unit area triangles of bounded diameter
Published
• View Publication
• BIB
There exist tilings of the plane with pairwise noncongruent triangles of equal area and bounded perimeter. Analogously, there exist tilings with triangles of equal perimeter, the areas of which are bounded from below by a positive constant. This solves a problem of Nandakumar.