Showing 20 papers (Total: 84460 papers, 48641 authors in database)
Chordal graphs are easily testable
We prove that the class of chordal graphs is easily testable in the following sense. There exists a constant $c>0$ such that, if adding/removing at most $εn^2$ edges to a graph $G$ with $n$ vertices does not make it chordal, then a set of $(1/ε)^c$ vertices of $G$ chosen uniformly at random induces a graph that is not chordal with probability at least $1/2$. This answers a question of Gishboliner and Shapira.
Finding any given 2-factor in sparse pseudorandom graphs efficiently
Published
• View Publication
• BIB
Given an $n$-vertex pseudorandom graph $G$ and an $n$-vertex graph $H$ with maximum degree at most two, we wish to find a copy of $H$ in $G$, i.e.\ an embedding $\varphi\colon V(H)\to V(G)$ so that $\varphi(u)\varphi(v)\in E(G)$ for all $uv\in E(H)$. Particular instances of this problem include finding a triangle-factor and finding a Hamilton cycle in $G$. Here, we provide a deterministic polynomial time algorithm that finds a given $H$ in any suitably pseudorandom graph $G$. The pseudorandom graphs we consider are $(p,λ)$-bijumbled graphs of minimum degree which is a constant proportion of the average degree, i.e.\ $Ω(pn)$. A $(p,λ)$-bijumbled graph is characterised through the discrepancy property: $\left|e(A,B)-p|A||B|\right |<λ\sqrt{|A||B|}$ for any two sets of vertices $A$ and $B$. Our condition $λ=O(p^2n/\log n)$ on bijumbledness is within a log factor from being tight and provides a positive answer to a recent question of Nenadov.
We combine novel variants of the absorption-reservoir method, a powerful tool from extremal graph theory and random graphs. Our approach is based on that of Nenadov (\emph{Bulletin of the London Mathematical Society}, to appear) and on ours (arXiv:1806.01676), together with additional ideas and simplifications.
An Aearated Triangular Array of Integers
Congruences modulo prime powers involving generalized Harmonic numbers are known. While looking for similar congruences, we have encountered a curious triangular array of numbers indexed with positive integers $n,k$, involving the Bernoulli and cycle Stirling numbers. These numbers are all integers and they vanish when $n-k$ is odd. This triangle has many similarities with the Stirling triangle. In particular, we show how it can be extended to negative indices and how this extension produces a {\it second kind} of such integers which may be considered as a new generalization of the Genocchi numbers and for which a generating function is easily obtained. But our knowledge of these integers remains limited, especially for those of the {\it first kind}.
Complexity of the circulant foliation over a graph
Published
• View Publication
• BIB
In the present paper, we investigate the complexity of infinite family of graphs $H_n=H_n(G_1,\,G_2,\ldots,G_m)$ obtained as a circulant foliation over a graph $H$ on $m$ vertices with fibers $G_{1},\,G_{2},\ldots,G_{m}.$ Each fiber $G_{i}=C_{n}(s_{i,1},\,s_{i,2},\ldots,s_{i,k_{i}})$ of this foliation is the circulant graph on $n$ vertices with jumps $s_{i,1},\,s_{i,2},\ldots,s_{i,k_{i}}.$ This family includes the family of generalized Petersen graphs, $I$-graphs, sandwiches of circulant graphs, discrete torus graphs and others.
We obtain a closed formula for the number $τ(n)$ of spanning trees in $H_{n}$ in terms of Chebyshev polynomials, investigate some arithmetical properties of this function and find its asymptotics as $n\to\infty.$
On a conjecture of Bondy and Vince
Published
• View Publication
• BIB
Twenty years ago Bondy and Vince conjectured that for any nonnegative integer $k$, except finitely many counterexamples, every graph with $k$ vertices of degree less than three contains two cycles whose lengths differ by one or two. The case $k\leq 2$ was proved by Bondy and Vince, which resolved an earlier conjecture of Erdős et. al.. In this paper we confirm this conjecture for all $k$.
On semilinear sets and asymptotically approximate groups
Let $G$ be any group and $A$ be an arbitrary subset of $G$ (not necessarily symmetric and not necessarily containing the identity). The $h$-fold product set of $A$ is defined as $$A^{h} :=\lbrace a_{1}.a_{2}...a_{h} : a_{1},\ldots,a_n \in A \rbrace.$$ Nathanson considered the concept of an asymptotic approximate group. Let $r,l \in \mathbb{N}$. The set $A$ is said to be an $(r,l)$ approximate group in $G$ if there exists a subset $X$ in $G$ such that $|X|\leqslant l$ and $A^{r}\subseteq XA$. The set $A$ is an asymptotic $(r,l)$-approximate group if the product set $A^{h}$ is an $(r,l)$-approximate group for all sufficiently large $h$. Recently, Nathanson showed that every finite subset $A$ of an abelian group is an asymptotic $(r,l')$ approximate group (with the constant $l'$ explicitly depending on $r$ and $A$). We generalise the result and show that, in an arbitrary abelian group $G$, the union of $k$ (unbounded) generalised arithmetic progressions is an asymptotic $(r,(4rk)^k)$-approximate group.
On the number of hinges defined by a point set in $\mathbb R^2$
It is shown that the number of distinct types of three-point hinges, defined by a real plane set of $n$ points is $\gg n^2\log^{-3} n$, where a hinge is identified by fixing two pair-wise distances in a point triple. This is achieved via strengthening (modulo a $\log n$ factor) of the Guth-Katz estimate for the number of pair-wise intersections of lines in $\mathbb R^3$, arising in the context of the plane Erd\H os distinct distance problem, to a second moment incidence estimate. This relies, in particular, on the generalisation of the Guth-Katz incidence bound by Solomon and Sharir.
Beyond Coins, Stamps, and Chicken McNuggets: an Invitation to Numerical Semigroups
Published
• View Publication
• BIB
We give a self contained introduction to numerical semigroups, and present several open problems centered on their factorization properties.
Minimum degree conditions for monochromatic cycle partitioning
A classical result of Erdős, Gyárfás and Pyber states that any $r$-edge-coloured complete graph has a partition into $O(r^2 \log r)$ monochromatic cycles. Here we determine the minimum degree threshold for this property. More precisely, we show that there exists a constant $c$ such that any $r$-edge-coloured graph on $n$ vertices with minimum degree at least $n/2 + c \cdot r \log n$ has a partition into $O(r^2)$ monochromatic cycles. We also provide constructions showing that the minimum degree condition and the number of cycles are essentially tight.
Numerical and Symbolic Studies of the Peaceable Queens Problem
Published
• View Publication
• BIB
We discuss, and make partial progress on, the peaceable queens problem, the protagonist of OEIS sequence A250000. Symbolically, we prove that Jubin's construction of two pentagons is at least a local optimum. Numerically, we find the exact numerical optimums for some specific configurations. Our method can be easily applied to more complicated configurations with more parameters.
Sparse Hypergraphs with Applications to Coding Theory
Published
• View Publication
• BIB
For fixed integers $r\ge 3,e\ge 3,v\ge r+1$, an $r$-uniform hypergraph is called $\mathscr{G}_r(v,e)$-free if the union of any $e$ distinct edges contains at least $v+1$ vertices.
Brown, Erdős and Sós showed that the maximum number of edges of such a hypergraph on $n$ vertices, denoted as $f_r(n,v,e)$, satisfies
$$Ω(n^{\frac{er-v}{e-1}})=f_r(n,v,e)=\mathcal{O}(n^{\lceil\frac{er-v}{e-1}\rceil}).$$
For $e-1\mid er-v$, the lower bound matches the upper bound up to a constant factor; whereas for $e-1\nmid er-v$, in general it is a notoriously hard problem to determine the correct exponent of $n$.
Among other results, we improve the above lower bound by showing that
$$f_r(n,v,e)=Ω(n^{\frac{er-v}{e-1}}(\log n)^{\frac{1}{e-1}})$$
for any $r,e,v$ satisfying $\gcd(e-1,er-v)=1$.
The hypergraph we constructed is in fact $\mathscr{G}_r(ir-\lceil\frac{(i-1)(er-v)}{e-1}\rceil,i)$-free for every $2\le i\le e$, and it has several interesting applications in Coding Theory.
The proof of the new lower bound is based on a novel application of the lower bound on the hypergraph independence number due to Duke, Lefmann, and R{ö}dl.
Jacobi Sums and Correlations of Sidelnikov Sequences
We consider the problem of determining the cross-correlation values of the sequences in the families comprised of constant multiples of $M$-ary Sidelnikov sequences over $\mathbb{F}_q$, where $q$ is a power of an odd prime $p$. We show that the cross-correlation values of pairs of sequences from such a family can be expressed in terms of certain Jacobi sums. This insight facilitates the computation of the cross-correlation values of these sequence pairs so long as $φ(M)^{φ(M)} \leq q.$ We are also able to use our Jacobi sum expression to deduce explicit formulae for the cross-correlation distribution of a family of this type in the special case that there exists an integer $x$ such that $p^x \equiv -1 \pmod{M}.$
Survey of Cubic Fibonacci Identities - When Cuboids Carry Weight
Published
• View Publication
• BIB
The aim of this paper is to present a comprehensive survey of cubic Fibonacci identities, trying to uncover as many as possible. From the outset, our rationale for a very careful search on an apparently obscure problem was not only a matter of mathematical curiosity, but also motivated by a quest for 3D Fibonacci spirals. As we were not able to find any survey on the particular topic of cubic Fibonacci identities we decided to try to fill this void. We started by surveying many Fibonacci identities and recording cubic ones. Obviously, tracing all Fibonacci identities (for identifying a handful) is a daunting task. Checking several hundred we have realized that it is not always clear who the author is. The reason is that in many cases an identity was stated in one article (sometimes without a proof, e.g., as an open problem, or a conjecture) while later being proven in another article, or effectively rediscovered independently by other authors. However, we have done our best to present the identities chronologically. We have supplied our own proof for one identity, having tried, but failed, to find a published proof. For all the other identities, we either proved them on a computer, or else verified by hand their original published proofs. Somehow unexpectedly, our investigations have revealed only a rather small number of cubic Fibonacci identities, representing a tiny fraction of all published Fibonacci identities (most of which are linear or quadratic). Finally, out of these, only a handful of cubic Fibonacci identities are homogeneous.
Unique Differences in Symmetric Subsets of $\mathbb{F}_p$
Published in Combinatorica 37 (2017), 167-182
• View Publication
• BIB
Let $p$ be a prime and let $A$ be a subset of $\mathbb{F}_p$ with $A=-A$ and $|A\setminus\{0\}| \leq 2\log_3(p)$. Then there is an element of $\mathbb{F}_p$ which has a unique representation as a difference of two elements of $A$.
Searching for modular companions
In this note, we report on the results of a computer search performed to find possible modular companions to certain $q$-series identities and conjectures. For the search, we use conditions arising from the asymptotics of Nahm sums. We focus on two sets of identities: Capparelli's identities, and certain partition conjectures made by the author jointly with Matthew C. Russell.
A note on rainbow saturation number of paths
Published
• View Publication
• BIB
For a fixed graph $F$ and an integer $t$, the \dfn{rainbow saturation number} of $F$, denoted by $sat_t(n,\mathfrak{R}(F))$, is defined as the minimum number of edges in a $t$-edge-colored graph on $n$ vertices which does not contain a \dfn{rainbow copy} of $F$, i.e., a copy of $F$ all of whose edges receive a different color, but the addition of any missing edge in any color from $[t]$ creates such a rainbow copy. Barrus, Ferrara, Vardenbussche and Wenger prove that $sat_t(n,\mathfrak{R}(P_\ell))\ge n-1$ for $\ell\ge 4$ and $sat_t(n,\mathfrak{R}(P_\ell))\le \lceil \frac{n}{\ell-1} \rceil \cdot \binom{\ell-1}{2}$ for $t\ge \binom{\ell-1}{2}$, where $P_\ell$ is a path with $\ell$ edges. In this short note, we improve the upper bounds and show that $sat_t(n,\mathfrak{R}(P_\ell))\le \lceil \frac{n}{\ell} \rceil \cdot \left({{\ell-2}\choose {2}}+4\right)$ for $\ell\ge 5$ and $t\ge 2\ell-5$.
Sequentially Cohen-Macaulay matroidal ideals
Published in Filomat 2020
• View Publication
• BIB
Let $R=K[x_1,...,x_n]$ be the polynomial ring in $n$ variables over a field $K$ and let $J$ be a matroidal ideal of degree $d$ in $R$. In this paper, we study the class of sequentially Cohen-Macaulay matroidal ideals. In particular, all sequentially Cohen-Macaulay matroidal ideals of degree $2$ are classified. Furthermore, we give a classification of sequentially Cohen-Macaulay matroidal ideals of degree $d\geq 3$ in some special cases.
Subgaussianity is hereditarily determined
Published in Proceedings of the American Mathematical Society 148 (2020), 2915-2930
• View Publication
• BIB
Let $n$ be a positive integer, let $\boldsymbol{X}=(X_1,\dots,X_n)$ be a random vector in $\mathbb{R}^n$ with bounded entries, and let $(θ_1,\dots,θ_n)$ be a vector in $\mathbb{R}^n$. We show that the subgaussian behavior of the random variable $θ_1 X_1+\dots +θ_n X_n$ is essentially determined by the subgaussian behavior of the random variables $\sum_{i\in H} θ_i X_i$ where $H$ is a random subset of $\{1,\dots,n\}$.
The simple graph threshold number $σ(r,s,a,t)$
For $d \ge 1$, $s \ge 0$ a $(d, d+s)$-{\em graph} is a graph whose degrees all lie in the interval $\{d, d+1, \ldots, d + s\}$. For $r \ge 1$, $a \ge 0$, an $(r, r+a)$-{\em factor} of a graph $G$ is a spanning $(r, r+a)$-subgraph of $G$. An $(r, r+a)$-{\em factorization} of a graph $G$ is a decomposition of $G$ into edge-disjoint $(r, r+a)$-factors. A graph is $(r, r+a)$-{\em factorable} if it has an $(r, r+a)$-factorization.
Let $σ(r, s, a, t)$ be the least integer such that, if $d \ge σ(r, s, a, t)$, then every $(d, d+s)$-simple graph $G$ is $(r,r+a)$-factorable with $x$ factors for at least $t$ different values of $x$.
In this paper we evaluate $σ(r,s,a,t)$ for all values of $r, s, a$ and $t$. We also show that if $a \ge 2$ and $r \ge 1$, then, when $r$ is even and $a$ is odd, every $(d, d+s)$-simple graph $G$ has an $(r, r+a)$-factorization with $x$ factors if and only if $$ \frac{d+s}{r+a}\, < x \le \frac{d}{r}\,,$$ and we prove similar statements for other parities of $r$ and $a$.
Prescribing Symmetries and Automorphisms for Polytopes
Published
• View Publication
• BIB
We study finite groups that occur as combinatorial automorphism groups or geometric symmetry groups of convex polytopes. When $Γ$ is a subgroup of the combinatorial automorphism group of a convex $d$-polytope, $d\geq 3$, then there exists a convex $d$-polytope related to the original polytope with combinatorial automorphism group exactly $Γ$. When $Γ$ is a subgroup of the geometric symmetry group of a convex $d$-polytope, $d\geq 3$, then there exists a convex $d$-polytope related to the original polytope with both geometric symmetry group and combinatorial automorphism group exactly $Γ$. These symmetry-breaking results then are applied to show that for every abelian group $Γ$ of even order and every involution $σ$ of $Γ$, there is a centrally symmetric convex polytope with geometric symmetry group $Γ$ such that $σ$ corresponds to the central symmetry.