Showing 20 papers (Total: 83502 papers, 48219 authors in database)
Wieferich pairs and Barker sequences, II
Published in LMS J. Comput. Math. 17 (2014) 24-32
• View Publication
• BIB
We show that if a Barker sequence of length $n>13$ exists, then either $n=3979201339721749133016171583224100$, or $n > 4\cdot10^{33}$. This improves the lower bound on the length of a long Barker sequence by a factor of nearly 2000. We also obtain 18 additional integers $n<10^{50}$ that cannot be ruled out as the length of a Barker sequence, and find more than 237000 additional candidates $n<10^{100}$. These results are obtained by completing extensive searches for Wieferich prime pairs and using them, together with a number of arithmetic restrictions on $n$, to construct qualifying integers below a given bound. We also report on some updated computations regarding open cases of the circulant Hadamard matrix problem.
Firefighting on square, hexagonal, and triangular grids
In this paper, we consider the \emph{firefighter problem} on a graph $G=(V,E)$ that is either finite or infinite. Suppose that a fire breaks out at a given vertex $v \in V$. In each subsequent time unit, a firefighter protects one vertex which is not yet on fire, and then the fire spreads to all unprotected neighbors of the vertices on fire. The objective of the firefighter is to save as many vertices as possible (if $G$ is finite) or to stop the fire from spreading (for an infinite case).
The surviving rate $ρ(G)$ of a finite graph $G$ is defined as the expected percentage of vertices that can be saved when a fire breaks out at a vertex of $G$ that is selected uniformly random. For a finite square grid $P_n \square P_n$, we show that $5/8 + o(1) \le ρ(P_n \square P_n) \le 67243/105300 + o(1)$ (leaving the gap smaller than 0.014) and conjecture that the surviving rate is asymptotic to 5/8.
We define the surviving rate for infinite graphs and prove it to be 1/4 for the infinite square grid, even in the case of finitely many initial fires. For the infinite hexagonal grid we provide a winning strategy if two additional vertices can be protected at any point of the process, and we conjecture that the firefighter has no strategy to stop the fire without additional help. We also show how the speed of the spreading fire can be reduced by a constant factor.
Maximal Chains of Isomorphic Subgraphs of Countable Ultrahomogeneous Graphs
Published in Adv. Math., 264 (2014) 762--775
• Search Publication
For a countable ultrahomogeneous graph G let P(G) denote the collection of domains of subgraphs of G isomorphic to G. The order types of maximal chains in the set P(G) U ø ordered by the inclusion are characterized as:
(I) the order types of compact sets of reals having the minimum non-isolated, if G is the Rado graph or the Henson graph H_n, for some n>2;
(II) the order types of compact nowhere dense sets of reals having the minimum non-isolated, if G is the union of μdisjoint complete graphs of size ν, where μν=ω.
Low Polynomial Exclusion of Planar Graph Patterns
Published
• View Publication
• BIB
The celebrated grid exclusion theorem states that for every $h$-vertex planar graph $H$, there is a constant $c_{h}$ such that if a graph $G$ does not contain $H$ as a minor then $G$ has treewidth at most $c_{h}$. We are looking for patterns of $H$ where this bound can become a low degree polynomial. We provide such bounds for the following parameterized graphs: the wheel ($c_{h}=O(h)$), the double wheel ($c_{h}=O(h^2\cdot \log^{2} h)$), any graph of pathwidth at most 2 ($c_{h}=O(h^{2})$), and the yurt graph ($c_{h}=O(h^{4})$).
Partial difference equations over compact Abelian groups, I: modules of solutions
Consider a compact Abelian group $Z$ and closed subgroups $U_1$, \ldots, $U_k \leq Z$. Let $\mathbb{T} := \mathbb{R}/\mathbb{Z}$. This paper examines two kinds of functional equation for measurable functions $Z\to \mathbb{T}$.
First, given $f:Z\to \mathbb{T}$ and $w \in Z$, the resulting differenced function is \[d_wf(z) := f(z-w) - f(z).\] In this notation, we study solutions to the system of difference equations \[d_{u_1}\cdots d_{u_k}f \equiv 0 \quad \forall u_1 \in U_1,\ u_2 \in U_2,\ \ldots\ u_k \in U_k.\] Second, we study tuples of measurable functions $f_i:Z\to \mathbb{T}$ such that $f_i$ is invariant under translation by $U_i$ and also \[f_1 + \cdots + f_k = 0.\]
For these equations, the solutions form a subgroup of $\mathcal{F}(Z)$ or $\mathcal{F}(Z)^k$, where $\mathcal{F}(Z)$ is the group of measurable functions $Z\to \mathbb{T}$ modulo Haar-a.e. equality. The subgroup of solutions is closed under convergence in probability and is globally invariant under rotations of $Z$, so it is a complete metrizable $Z$-module. We will give a recursive description of the structure of this $Z$-module relative to the solution-modules of lower-order equations of the same kind.
These results are obtained as applications of an abstract theory of a special class of $Z$-modules. Most of our work will go into showing that this class of modules is closed under various natural operations. Knowing that, the above descriptions follow as easy consequences.
Partial difference equations of the above kind can be seen as an extremal version of the inverse problem for the higher-dimensional, directional analogs of Gowers' uniformity norms. Our methods also give some information about the `stability' version of this inverse problem, which concerns functions whose Gowers norm is sufficiently close to being maximal.
Domino Tatami Covering is NP-complete
Published
• View Publication
• BIB
A covering with dominoes of a rectilinear region is called \emph{tatami} if no four dominoes meet at any point. We describe a reduction from planar 3SAT to Domino Tatami Covering. As a consequence it is NP-complete to decide whether there is a perfect matching of a graph that meets every 4-cycle, even if the graph is restricted to be an induced subgraph of the grid-graph. The gadgets used in the reduction were discovered with the help of a SAT-solver.
A characterisation of translation ovals in finite even order planes
Published
• View Publication
• BIB
In this article we consider a set C of points in PG(4,q), q even, satisfying certain combinatorial properties with respect to the planes of PG(4,q). We show that there is a regular spread in the hyperplane at infinity, such that in the corresponding Bruck-Bose plane PG(2,q^2), the points corresponding to C form a translation hyperoval, and conversely.
The tangent splash in $\PG(6,q)$
Let B be a subplane of PG(2,q^3) of order q that is tangent to $\ell_\infty$. Then the tangent splash of B is defined to be the set of q^2+1 points of $\ell_\infty$ that lie on a line of B. In the Bruck-Bose representation of PG(2,q^3) in PG(6,q), we investigate the interaction between the ruled surface corresponding to B and the planes corresponding to the tangent splash of B. We then give a geometric construction of the unique order-$q$-subplane determined by a given tangent splash and a fixed order-$q$-subline.
Drawing the double circle on a grid of minimum size
Published
• View Publication
• BIB
In 1926, Jarník introduced the problem of drawing a convex $n$-gon with vertices having integer coordinates. He constructed such a drawing in the grid $[1,c\cdot n^{3/2}]^2$ for some constant $c>0$, and showed that this grid size is optimal up to a constant factor. We consider the analogous problem for drawing the double circle, and prove that it can be done within the same grid size. Moreover, we give an O(n)-time algorithm to construct such a point set.
The minimum number of disjoint pairs in set systems and related problems
Published
• View Publication
• BIB
Let F be a set system on [n] with all sets having k elements and every pair of sets intersecting. The celebrated theorem of Erdos-Ko-Rado from 1961 says that any such system has size at most ${n-1 \choose k-1}$. A natural question, which was asked by Ahlswede in 1980, is how many disjoint pairs must appear in a set system of larger size. Except for the case k=2, solved by Ahlswede and Katona, this problem has remained open for the last three decades.
In this paper, we determine the minimum number of disjoint pairs in small k-uniform families, thus confirming a conjecture of Bollobas and Leader in these cases. Moreover, we obtain similar results for two well-known extensions of the Erdos-Ko-Rado theorem, determining the minimum number of matchings of size q and the minimum number of t-disjoint pairs that appear in set systems larger than the corresponding extremal bounds. In the latter case, this provides a partial solution to a problem of Kleitman and West.
Ramanujan graphings and correlation decay in local algorithms
Published in Random Structures & Algorithms Volume 47, Issue 3, 424-435, 2015
• View Publication
• BIB
Let $G$ be a large-girth $d$-regular graph and $μ$ be a random process on the vertices of $G$ produced by a randomized local algorithm. We prove the upper bound $(k+1-2k/d)\Bigl(\frac{1}{\sqrt{d-1}}\Bigr)^k$ for the (absolute value of the) correlation of values on pairs of vertices of distance $k$ and show that this bound is optimal. The same results hold automatically for factor of i.i.d processes on the $d$-regular tree. In that case we give an explicit description for the (closure) of all possible correlation sequences. Our proof is based on the fact that the Bernoulli graphing of the infinite $d$-regular tree has spectral radius $2\sqrt{d-1}$. Graphings with this spectral gap are infinite analogues of finite Ramanujan graphs and they are interesting on their own right.
Fibonacci sequence related to a combinatorial problem on binary matrices
Published in American Journal Mathematics and Sciences (AJMS), ISSN 2250 3102, Vol. 3, No. 1 (2014), 79--83
• Search Publication
We discuss an equivalence relation on the set of square binary matrices with the same number of 1's in each row and each column. Each binary matrix is represented using ordered n-tuples of natural numbers. We give a few starting values of integer sequences related to the discussed problem. The obtained sequences are new and they are not described in the On-Line Encyclopedia of Integer Sequences (OEIS). We show a relationship between some particular values of the parameters and the Fibonacci sequence.
Quantum walk in symmetric Cayley graph over $\Z_2^n$
We show that the hitting time of the discrete quantum walk on a symmetric Cayley graph over $\Z_2^n $ from a vertex to its antipodal is polynomial in degree of the graph. We prove that returning time of quantum walk on a symmetric Cayley graph over $\Z_2^n $ is polynomial and the probability to hit is almost one. To prove it, we give a new estimation of Kravchuk coefficients. We give an example of a probabilistic polynomial algorithm that finds an antipodal vertex in symmetric Cayley graphs.
Examples of cyclically-interval non-colorable bipartite graphs
For an undirected, simple, finite, connected graph $G$, we denote by $V(G)$ and $E(G)$ the sets of its vertices and edges, respectively. A function $\varphi:E(G)\rightarrow\{1,2,\ldots,t\}$ is called a proper edge $t$-coloring of a graph $G$ if adjacent edges are colored differently and each of $t$ colors is used. An arbitrary nonempty subset of consecutive integers is called an interval. If $\varphi$ is a proper edge $t$-coloring of a graph $G$ and $x\in V(G)$, then $S_G(x,\varphi)$ denotes the set of colors of edges of $G$ which are incident with $x$. A proper edge $t$-coloring $\varphi$ of a graph $G$ is called a cyclically-interval $t$-coloring if for any $x\in V(G)$ at least one of the following two conditions holds: a) $S_G(x,\varphi)$ is an interval, b) $\{1,2,\ldots,t\}\setminus S_G(x,\varphi)$ is an interval. For any $t\in \mathbb{N}$, let $\mathfrak{M}_t$ be the set of graphs for which there exists a cyclically-interval $t$-coloring, and let $$\mathfrak{M}\equiv\bigcup_{t\geq1}\mathfrak{M}_t.$$ Examples of bipartite graphs that do not belong to the class $\mathfrak{M}$ are constructed.
Infinite Turán problems for bipartite graphs
Published
• View Publication
• BIB
We consider an infinite version of the bipartite Turán problem. Let $G$ be an infinite graph with $V(G) = \mathbb{N}$ and let $G_n$ be the $n$-vertex subgraph of $G$ induced by the vertices $\{1,2, \dots, n \}$. We show that if $G$ is $K_{2,t+1}$-free then for infinitely many $n$, $e(G_n) \leq 0.471 \sqrt{t} n^{3/2}$. Using the $K_{2,t+1}$-free graphs constructed by Füredi, we construct an infinite $K_{2,t+1}$-free graph with $e(G_n) \geq 0.23 \sqrt{t}n^{3/2}$ for all $n \geq n_0$.
The 1-box pattern on pattern avoiding permutations
This paper is continuation of the study of the 1-box pattern in permutations introduced by the authors in \cite{kitrem4}. We derive a two-variable generating function for the distribution of this pattern on 132-avoiding permutations, and then study some of its coefficients providing a link to the Fibonacci numbers. We also find the number of separable permutations with two and three occurrences of the 1-box pattern.
Global communication algorithms for Cayley graphs
We discuss several combinatorial problems that arise when one looks at computational algorithms for highly symmetric networks of processors. More specifically, we are interested in minimal times associated with four communication tasks (defined more precisely below): universal broadcast, every processor has a vector that it wishes to broadcast to all the others; universal accumulation, every processor wishes to receive the sum of all the vectors being sent to it by all the other processors; universal exchange, every processor wishes to exchange a vector with each other processor; and global summation, every processor wants the sum of the vectors in all the processors
On the Number of Closed Factors in a Word
Published
• View Publication
• BIB
A closed word (a.k.a. periodic-like word or complete first return) is a word whose longest border does not have internal occurrences, or, equivalently, whose longest repeated prefix is not right special. We investigate the structure of closed factors of words. We show that a word of length $n$ contains at least $n+1$ distinct closed factors, and characterize those words having exactly $n+1$ closed factors. Furthermore, we show that a word of length $n$ can contain $Θ(n^{2})$ many distinct closed factors.
The Complexity of the Proper Orientation Number
Published
• View Publication
• BIB
Graph orientation is a well-studied area of graph theory. A proper orientation of a graph $G = (V,E)$ is an orientation $D$ of $E(G)$ such that for every two adjacent vertices $ v $ and $ u $, $ d^{-}_{D}(v) \neq d^{-}_{D}(u)$ where $d_{D}^{-}(v)$ is the number of edges with head $v$ in $D$. The proper orientation number of $G$ is defined as $ \overrightarrowχ (G) =\displaystyle \min_{D\in Γ} \displaystyle\max_{v\in V(G)} d^{-}_{D}(v) $ where $Γ$ is the set of proper orientations of $G$. We have $ χ(G)-1 \leq \overrightarrowχ (G)\leq Δ(G) $. We show that, it is $ \mathbf{NP} $-complete to decide whether $\overrightarrowχ(G)=2$, for a given planar graph $G$. Also, we prove that there is a polynomial time algorithm for determining the proper orientation number of 3-regular graphs. In sharp contrast, we will prove that this problem is $ \mathbf{NP} $-hard for 4-regular graphs.
Matrices of forests, analysis of networks, and ranking problems
Published
• View Publication
• BIB
The matrices of spanning rooted forests are studied as a tool for analysing the structure of networks and measuring their properties. The problems of revealing the basic bicomponents, measuring vertex proximity, and ranking from preference relations / sports competitions are considered. It is shown that the vertex accessibility measure based on spanning forests has a number of desirable properties. An interpretation for the stochastic matrix of out-forests in terms of information dissemination is given.