Showing 20 papers (Total: 84253 papers, 48533 authors in database)
Tree Matchings
Published
• View Publication
• BIB
An $(s,t)$-matching in a bipartite graph $G=(U,V,E)$ is a subset of the edges $F$ such that each component of $G[F]$ is a tree with at most $t$ edges and each vertex in $U$ has $s$ neighbours in $G[H]$. We give sharp conditions for a bipartite graph to contain an $(s,t)$-matching. As a special case, we prove a conjecture of Bonacina, Galesi, Huynh and Wollan \cite{CNF}.
On the power domination number of de Bruijn and Kautz digraphs
Published in Combinatorial Algorithms. IWOCA 2017. Lecture Notes in Computer Science, vol 10765 (2018), 264-272
• View Publication
• BIB
Let $G=(V,A)$ be a directed graph without parallel arcs, and let $S\subseteq V$ be a set of vertices. Let the sequence $S=S_0\subseteq S_1\subseteq S_2\subseteq\cdots$ be defined as follows: $S_1$ is obtained from $S_0$ by adding all out-neighbors of vertices in $S_0$. For $k\geqslant 2$, $S_k$ is obtained from $S_{k-1}$ by adding all vertices $w$ such that for some vertex $v\in S_{k-1}$, $w$ is the unique out-neighbor of $v$ in $V\setminus S_{k-1}$. We set $M(S)=S_0\cup S_1\cup\cdots$, and call $S$ a \emph{power dominating set} for $G$ if $M(S)=V(G)$. The minimum cardinality of such a set is called the \emph{power domination number} of $G$. In this paper, we determine the power domination numbers of de Bruijn and Kautz digraphs.
A Maximal Extension of the Best-Known Bounds for the Furstenberg-Sárközy Theorem
Published
• View Publication
• BIB
We show that if $h\in \mathbb{Z}[x]$ is a polynomial of degree $k \geq 2$ such that $h(\mathbb{N})$ contains a multiple of $q$ for every $q\in \mathbb{N}$, known as an $\textit{intersective polynomial}$, then any subset of $\{1,2,\dots,N\}$ with no nonzero differences of the form $h(n)$ for $n\in\mathbb{N}$ has density at most a constant depending on $h$ and $c$ times $(\log N)^{-c\log\log\log\log N}$, for any $c<(\log((k^2+k)/2))^{-1}$. Bounds of this type were previously known only for monomials and intersective quadratics, and this is currently the best-known bound for the original Furstenberg-Sárközy Theorem, i.e. $h(n)=n^2$. The intersective condition is necessary to force any density decay for polynomial difference-free sets, and in that sense our result is the maximal extension of this particular quantitative estimate. Further, we show that if $g,h\in \mathbb{Z}[x]$ are intersective, then any set lacking nonzero differences of the form $g(m)+h(n)$ for $m,n\in \mathbb{N}$ has density at most $\exp(-c(\log N)^μ)$, where $c=c(g,h)>0$, $μ=μ(\text{deg}(g),\text{deg}(h))>0$, and $μ(2,2)=1/2$. We also include a brief discussion of sums of three or more polynomials in the final section.
Slightly subcritical hypercube percolation
Published
• View Publication
• BIB
We study bond percolation on the hypercube $\{0,1\}^m$ in the slightly subcritical regime where $p = p_c (1-\varepsilon_m)$ and $\varepsilon_m = o(1)$ but $\varepsilon_m \gg 2^{-m/3}$ and study the clusters of largest volume and diameter. We establish that with high probability the largest component has cardinality $Θ\left(\varepsilon_m^{-2} \log(\varepsilon_m^3 2^m)\right)$, that the maximal diameter of all clusters is $(1+o(1)) \varepsilon_m^{-1} \log(\varepsilon_m^3 2^m)$, and that the maximal mixing time of all clusters is $Θ\left(\varepsilon_m^{-3} \log^2(\varepsilon_m^3 2^m)\right)$.
These results hold in different levels of generality, and in particular, some of the estimates hold for various classes of graphs such as high-dimensional tori, expanders of high degree and girth, products of complete graphs, and infinite lattices in high dimensions.
A counterexample on spectra of zero patterns
An $n\times n$ zero pattern $S$, which is a matrix with entries $*$ and $0$, is called spectrally arbitrary with respect to a field $F$ if any monic polynomial $f$ of degree $n$ can be realized as the characteristic polynomial of a matrix obtained from $S$ by replacing the $*$'s with non-zero elements of $F$. We construct an $n\times n$ zero pattern that is spectrally arbitrary with respect to $\mathbb{C}$ and has $2n-1$ nonzero entries.
Transversals in completely reducible multiary quasigroups and in multiary quasigroups of order 4
Published
• View Publication
• BIB
An $n$-ary quasigroup $f$ of order $q$ is an $n$-ary operation over a set of cardinality $q$ such that the Cayley table of the operation is an $n$-dimensional latin hypercube of order $q$. A transversal in a quasigroup $f$ (or in the corresponding latin hypercube) is a collection of $q$ $(n+1)$-tuples from the Cayley table of $f$, each pair of tuples differing at each position. The problem of transversals in latin hypercubes was posed by Wanless in 2011.
An $n$-ary quasigroup $f$ is called reducible if it can be obtained as a composition of two quasigroups whose arity is at least 2, and it is completely reducible if it can be decomposed into binary quasigroups.
In this paper we investigate transversals in reducible quasigroups and in quasigroups of order 4. We find a lower bound on the number of transversals for a vast class of completely reducible quasigroups. Next we prove that, except for the iterated group $\mathbb{Z}_4$ of even arity, every $n$-ary quasigroup of order 4 has a transversal. Also we obtain a lower bound on the number of transversals in quasigroups of order 4 and odd arity and count transversals in the iterated group $\mathbb{Z}_4$ of odd arity and in the iterated group $\mathbb{Z}_2^2.$
All results of this paper can be regarded as those concerning latin hypercubes.
Pseudodeterministic Constructions in Subexponential Time
Published
• View Publication
• BIB
We study pseudodeterministic constructions, i.e., randomized algorithms which output the same solution on most computation paths. We establish unconditionally that there is an infinite sequence $\{p_n\}_{n \in \mathbb{N}}$ of increasing primes and a randomized algorithm $A$ running in expected sub-exponential time such that for each $n$, on input $1^{|p_n|}$, $A$ outputs $p_n$ with probability $1$. In other words, our result provides a pseudodeterministic construction of primes in sub-exponential time which works infinitely often.
This result follows from a much more general theorem about pseudodeterministic constructions. A property $Q \subseteq \{0,1\}^{*}$ is $γ$-dense if for large enough $n$, $|Q \cap \{0,1\}^n| \geq γ2^n$. We show that for each $c > 0$ at least one of the following holds: (1) There is a pseudodeterministic polynomial time construction of a family $\{H_n\}$ of sets, $H_n \subseteq \{0,1\}^n$, such that for each $(1/n^c)$-dense property $Q \in \mathsf{DTIME}(n^c)$ and every large enough $n$, $H_n \cap Q \neq \emptyset$; or (2) There is a deterministic sub-exponential time construction of a family $\{H'_n\}$ of sets, $H'_n \subseteq \{0,1\}^n$, such that for each $(1/n^c)$-dense property $Q \in \mathsf{DTIME}(n^c)$ and for infinitely many values of $n$, $H'_n \cap Q \neq \emptyset$.
We provide further algorithmic applications that might be of independent interest. Perhaps intriguingly, while our main results are unconditional, they have a non-constructive element, arising from a sequence of applications of the hardness versus randomness paradigm.
An infinite family of cubic nonnormal Cayley graphs on nonabelian simple groups
Published
• View Publication
• BIB
We construct a connected cubic nonnormal Cayley graph on $\mathrm{A}_{2^m-1}$ for each integer $m\geqslant4$ and determine its full automorphism group. This is the first infinite family of connected cubic nonnormal Cayley graphs on nonabelian simple groups.
Lovász-Schrijver PSD-operator on Claw-Free Graphs
Published
• View Publication
• BIB
The subject of this work is the study of $\LS_+$-perfect graphs defined as those graphs $G$ for which the stable set polytope $\stab(G)$ is achieved in one iteration of Lovász-Schrijver PSD-operator $\LS_+$, applied to its edge relaxation $\estab(G)$. In particular, we look for a polyhedral relaxation of $\stab(G)$ that coincides with $\LS_+(\estab(G))$ and $\stab(G)$ if and only if $G$ is $\LS_+$-perfect. An according conjecture has been recently formulated ($\LS_+$-Perfect Graph Conjecture); here we verify it for the well-studied class of claw-free graphs.
Abstract tropical linear programming
Published
• View Publication
• BIB
In this paper we develop a combinatorial abstraction of tropical linear programming. This generalizes the search for a feasible point of a system of min-plus-inequalities. It is based on the polyhedral properties of triangulations of the product of two simplices and the combinatorics of the associated set of bipartite graphs with an additional sign information which we call a signed tropical matroid. We demonstrate the connections with the classical simplex method, mean payoff games and scheduling.
Projective Space: Tetrads and Harmonicity
Within an axiomatic framework for three-dimensional projective space based on lines alone, we explore the Fano axiom of harmonicity according to which the diagonal lines of a complete quadrilateral are not concurrent.
Sumsets as unions of sumsets of subsets
Published in Discrete Analysis 2017:14
• View Publication
• BIB
Let $S$ and $T$ be subsets of $\mathbf{F}_q^n$. We show there are subsets $S'$ of $S$ and $T'$ of $T$ such that $S+T$ is the union of $S+T'$ and $S'+T$, with $|S'| + |T'|$ bounded by $c^n$ with $c < q$. The proof relies on the method of Croot-Lev-Pach and Ellenberg-Gijswijt on the cap set problem, together with a result of Meshulam on linear spaces of low-rank matrices. The result is a modest generalization of the recent bounds on (single-colored and multi-colored) sum-free sets by the author and others.
Packing Directed and Hamilton Cycles Online
Published
• View Publication
• BIB
Consider a directed analogue of the random graph process on $n$ vertices, where the $n(n-1)$ edges are ordered uniformly at random and revealed one at a time.
It is known that w.h.p.\@ the first digraph in this process with both in-degree and out-degree $\geq q$ has a $[q]$-edge-coloring with a Hamilton cycle in each color. We show that this coloring can be constructed online, where each edge must be irrevocably colored as soon as it appears. In a similar fashion, for the \emph{undirected} random graph process, we present an online $[n]$-edge-coloring algorithm which yields w.h.p.\@ $q$ disjoint rainbow Hamilton cycles in the first graph of the process that contains $q$ disjoint Hamilton cycles.
A recursive construction for simple $t$-designs using resolution
This work presents a recursive construction for simple $t$-designs using resolutions of the ingredient designs. The result extends a construction of $t$-designs in our recent paper [39]. Essentially, the method in [39] describes the blocks of a constructed design as a collection of block unions from a number of appropriate pairs of disjoint ingredient designs. Now, if some pairs of these ingredient $t$-designs have both a suitable $s$-resolution, then we can define a distance mapping on their resolution classes. Using this mapping enables us to have more possibilities for forming blocks from those pairs. The method makes it possible for constructing many new simple $t$-designs. We give some application results of the new construction.
On the geometry of the countably branching diamond graphs
Published in J. Funct. Anal. 273 (2017), no. 10, 3150-3199
• View Publication
• BIB
In this article, the bi-Lipschitz embeddability of the sequence of countably branching diamond graphs $(D_k^ω)_{k\in\mathbb{N}}$ is investigated. In particular it is shown that for every $\varepsilon>0$ and $k\in\mathbb{N}$, $D_k^ω$ embeds bi-Lipschiztly with distortion at most $6(1+\varepsilon)$ into any reflexive Banach space with an unconditional asymptotic structure that does not admit an equivalent asymptotically uniformly convex norm. On the other hand it is shown that the sequence $(D_k^ω)_{k\in\mathbb{N}}$ does not admit an equi-bi-Lipschitz embedding into any Banach space that has an equivalent asymptotically midpoint uniformly convex norm. Combining these two results one obtains a metric characterization in terms of graph preclusion of the class of asymptotically uniformly convexifiable spaces, within the class of separable reflexive Banach spaces with an unconditional asymptotic structure. Applications to bi-Lipschitz embeddability into $L_p$-spaces and to some problems in renorming theory are also discussed.
Counting numerical semigroups by genus and even gaps
Published
• View Publication
• BIB
Let $n_g$ be the number of numerical semigroups of genus $g$. We present an approach to compute $n_g$ by using even gaps, and the question: Is it true that $n_{g+1}>n_g$? is investigated. Let $N_γ(g)$ be the number of numerical semigroups of genus $g$ whose number of even gaps equals $γ$. We show that $N_γ(g)=N_γ(3γ)$ for $γ\leq \lfloor g/3\rfloor$ and $N_γ(g)=0$ for $γ> \lfloor 2g/3\rfloor$; thus the question above is true provided that $N_γ(g+1) > N_γ(g)$ for $γ= \lfloor g/3 \rfloor +1, \ldots, \lfloor 2g/3\rfloor$. We also show that $N_γ(3γ)$ coincides with $f_γ$, the number introduced by Bras-Amorós in conection with semigroup-closed sets. Finally, the stronger possibility $f_γ\sim \varphi^{2γ}$ arises being $\varphi = (1+\sqrt{5})/2$ the golden number.
A Short Proof of Euler--Poincaré Formula
"V - E + F = 2", the famous Euler's polyhedral formula, has a natural generalization to convex polytopes in every finite dimension, also known as the Euler-Poincaré Formula. We provide another short inductive proof of the general formula. Our proof is self-contained and it does not use shellability of polytopes.
Extremal regular graphs: the case of the infinite regular tree
In this paper we study the following problem. Let $A$ be a fixed graph, and let $\hom(G,A)$ denote the number of homomorphisms from a graph $G$ to $A$. Furthermore, let $v(G)$ denote the number of vertices of $G$, and let $\mathcal{G}_d$ denote the family of $d$--regular graphs. The general problem studied in this paper is to determine $$\inf_{G\in \mathcal{G}_d}\hom(G,A)^{1/v(G)}.$$ It turns out that in many instances the infimum is not achieved by a finite graph, but a sequence of graphs with girth (i. e., length of the shortest cycle) tending to infinity. In other words, the optimization problem is solved by the infinite $d$--regular tree.
We prove this type of results for the number of independent sets of bipartite graphs, evaluations of the Tutte-polynomial, Widom-Rowlinson configurations, and many more graph parameters. Our main tool will be a transformation called $2$-lift.
Geometry on the lines of spine spaces
Published
• View Publication
• BIB
Spine spaces can be considered as fragments of a projective Grassmann space. We prove that the structure of lines together with binary coplanarity relation, as well as with binary relation of being in one pencil of lines, is a sufficient system of primitive notions for these geometries. It is also shown that, over a spine space, the geometry of pencils of lines can be reconstructed in terms of the two binary relations.
Root multiplicities for Borcherds algebras and graph coloring
Published in J. Algebra 499 (2018), 538-569
• View Publication
• BIB
We establish a connection between root multiplicities for Borcherds-Kac-Moody algebras and graph coloring. We show that the generalized chromatic polynomial of the graph associated to a given Borcherds algebra can be used to give a closed formula for certain root multiplicities. Using this connection we give a second interpretation, namely that the root multiplicity of a given root coincides with the number of acyclic orientations with a unique sink of a certain graph (depending on the root). Finally, using the combinatorics of Lyndon words we construct a basis for the root spaces corresponding to these roots and determine the Hilbert series in the case when all simple roots are imaginary. As an application we give a Lie theoretic proof of Stanley's reciprocity theorem of chromatic polynomials.