Showing 20 papers (Total: 82797 papers, 47838 authors in database)
Rainbow Turán number of even cycles, repeated patterns and blow-ups of cycles
Published
• View Publication
• BIB
The rainbow Turán number $\mathrm{ex}^*(n,H)$ of a graph $H$ is the maximum possible number of edges in a properly edge-coloured $n$-vertex graph with no rainbow subgraph isomorphic to $H$. We prove that for any integer $k\geq 2$, $\mathrm{ex}^*(n,C_{2k})=O(n^{1+1/k})$. This is tight and establishes a conjecture of Keevash, Mubayi, Sudakov and Verstraëte. We use the same method to prove several other conjectures in various topics. First, we prove that there exists a constant $c$ such that any properly edge-coloured $n$-vertex graph with more than $cn(\log n)^4$ edges contains a rainbow cycle. It is known that there exist properly edge-coloured $n$-vertex graphs with $Ω(n\log n)$ edges which do not contain any rainbow cycle. Secondly, we show that in any proper edge-colouring of $K_n$ with $o(n^{\frac{r}{r-1}\cdot \frac{k-1}{k}})$ colours, there exist $r$ colour-isomorphic, pairwise vertex-disjoint copies of $C_{2k}$. This proves in a strong form a conjecture of Conlon and Tyomkyn, and a strenghtened version proposed by Xu, Zhang, Jing and Ge. Moreover, we answer a question of Jiang and Newman by showing that there exists a constant $c=c(r)$ such that any $n$-vertex graph with more than $cn^{2-1/r}(\log n)^{7/r}$ edges contains the $r$-blowup of an even cycle. Finally, we prove that the $r$-blowup of $C_{2k}$ has Turán number $O(n^{2-\frac{1}{r}+\frac{1}{k+r-1}+o(1)})$, which can be used to disprove an old conjecture of Erd\H os and Simonovits.
End-faithful spanning trees in graphs without normal spanning trees
Schmidt characterised the class of rayless graphs by an ordinal rank function, which makes it possible to prove statements about rayless graphs by transfinite induction. Halin asked whether Schmidt's rank function can be generalised to characterise other important classes of graphs. We answer Halin's question in the affirmative. Another largely open problem raised by Halin asks for a characterisation of the class of graphs with an end-faithful spanning tree. A well-studied subclass is formed by the graphs with a normal spanning tree. We determine a larger subclass, the class of normally traceable graphs, which consists of the connected graphs with a rayless tree-decomposition into normally spanned parts. Investigating the class of normally traceable graphs further we prove that, for every normally traceable graph, having a rayless spanning tree is equivalent to all its ends being dominated. Our proofs rely on a characterisation of the class of normally traceable graphs by an ordinal rank function that we provide.
Partitioning digraphs with outdegree at least 4
Published
• View Publication
• BIB
Scott asked the question of determining $c_d$ such that if $D$ is a digraph with $m$ arcs and minimum outdegree $d\ge 2$ then $V(D)$ has a partition $V_1, V_2$ such that $\min\left\{e(V_1,V_2),e(V_2, V_1)\right\}\geq c_dm$, where $e(V_1,V_2)$ (respectively, $e(V_2,V_1)$) is the number of arcs from $V_1$ to $V_2$ (respectively, from $V_2$ to $V_1$). Lee, Loh, and Sudakov showed that $c_2=1/6+o(1)$ and $c_3=1/5+o(1)$, and conjectured that $c_d= \frac{d-1}{2(2d-1)}+o(1)$ for $d\ge 4$. In this paper, we show $c_4=3/14+o(1)$ and prove some partial results for $d\ge 5$.
Nordhaus-Gaddum inequalities for the number of connected induced subgraphs in graphs
Published
• View Publication
• BIB
Let $η(G)$ be the number of connected induced subgraphs in a graph $G$, and $\overline{G}$ the complement of $G$. We prove that $η(G)+η(\overline{G})$ is minimum, among all $n$-vertex graphs, if and only if $G$ has no induced path on four vertices. Since the $n$-vertex star $S_n$ with maximum degree $n-1$ is the unique tree of diameter $2$, $η(S_n)+η(\overline{S_n})$ is minimum among all $n$-vertex trees, while the maximum is shown to be achieved only by the tree whose degree sequence is $(\lceil n/2\rceil,\lfloor n/2\rfloor,1,\dots,1)$. Furthermore, we prove that every graph $G$ of order $n\geq 5$ and with maximum $η(G)+η(\overline{G})$ must have diameter at most $3$, no cut vertex and the property that $\overline{G}$ is also connected. In both cases of trees and graphs that have the same order, we find that if $η(G)$ is maximum then $η(G)+η(\overline{G})$ is minimum.
As corollaries to our results, we characterise the unique connected graph $G$ of given order and number of vertices of degree $1$, and the unique unicyclic (connected and has only one cycle) graphs $G$ of a given order that minimises $η(G)+η(\overline{G})$.
Two variable logic with ultimately periodic counting
Published
• View Publication
• BIB
We consider the extension of two variable logic with quantifiers that state that the number of elements where a formula holds should belong to a given ultimately periodic set. We show that both satisfiability and finite satisfiability of the logic are decidable. We also show that the spectrum of any sentence is definable in Presburger arithmetic. In the process we present several refinements to the ``biregular graph method''. In this method, decidability issues concerning two-variable logics are reduced to questions about Presburger definability of integer vectors associated with partitioned graphs, where nodes in a partition satisfy certain constraints on their in- and out-degrees.
Formal Orthogonal Pairs via Monomial Representations and Cohomology
A Formal Orthogonal Pair is a pair $(A,B)$ of symbolic rectangular matrices such that $AB^T=0$. It can be applied for the construction of Hadamard and Weighing matrices. In this paper we introduce a systematic way for constructing such pairs. Our method involves Representation Theory and Group Cohomology. The orthogonality property is a consequence of non-vanishing maps between certain cohomology groups. This construction has strong connections to the theory of Association Schemes and (weighted) Coherent Configurations. Our techniques are also capable for producing (anti-) amicable pairs. A handful of examples are given.
Generalized representation stability for disks in a strip and no-k-equal spaces
For fixed j and w, we study the j-th homology of the configuration space of n labeled disks of width 1 in an infinite strip of width w. As n grows, the homology groups grow exponentially in rank, suggesting a generalized representation stability as defined by Church--Ellenberg--Farb and Ramos. We prove this generalized representation stability for the strip of width 2, leaving open the case of w > 2. We also prove it for the configuration space of n labeled points in the line, of which no k are equal.
Cayley algebras give rise to $q$-Fano planes over certain infinite fields and $q$-covering designs over others
Let $F$ be a field. A $2$-$(7, 3, 1)_F$-subspace design, or $q$-Fano plane, over $F$, is a $7$-dimensional vector space $V$ over $F$ together with a collection $\mathfrak{B}$ of three-dimensional subspaces of $V$ such that every two-dimensional subspace of $V$ is contained in exactly one element $B$ of $\mathfrak{B}$. The question of existence of $q$-Fano planes over any field has been open since the 1970s and has attracted considerable attention in the special case that $F$ is finite. Here we show the existence of $2$-$(7, 3, 1)_F$-subspace designs over certain infinite fields $F$, including (among others) $\mathbb{Q}, \mathbb{R}$ and $\mathbb{F}_q(x, y, z)$ for $q$ odd.
The space $V$ is the 7-dimensional space of imaginary elements in a Cayley division algebra $O$ over $F$ and $\mathfrak{B}$ consists of the intersections with $V$ of all 4-dimensional subalgebras of $O$. We will present the required background on Cayley algebras in a self-contained fashion.
Next we study what happens if we apply the same procedure to split (rather than division) Cayley algebras. By identifying all four-dimensional subalgebras of these, we show that in that case our construction still yields an inclusion minimal $(7, 3, 2)$ $q$-covering design. That is: every two-dimensional subspace of $V$ is contained in at least one element of the resulting set $\mathfrak{B}$ of three-dimensional subspaces of $V$ and no proper subset of $\mathfrak{B}$ has this property. However none of these $q$-covering designs are $q$-Fano planes. In the case that $F$ is finite we compute the number of elements of $\mathfrak{B}$.
We also give a purely combinatorial construction of our $q$-Fano planes and $q$-covering designs for an abstract 7-dimensional $F$-vector space $V$ by identifying the collection $\mathfrak{B}$ as a subvariety of the Grassmanian $Gr_3(V)$ defined entirely in terms of the classical Fano plane.
Algebraic Structure of the Varikon Box
The 15-Puzzle is a well studied permutation puzzle. This paper explores the group structure of a three-dimensional variant of the 15-Puzzle known as the Varikon Box, with the goal of providing a heuristic that would help a human solve it while minimizing the number of moves. First, we show by a parity argument which configurations of the puzzle are reachable. We define a generating set based on the three dimensions of movement, which generates a group that acts on the puzzle configurations, and we explore the structure of this group. Finally, we show a heuristic for solving the puzzle by writing an element of the symmetry group as a word in terms of a generating set, and we compute the shortest possible word for each puzzle configuration.
On the maximum Zagreb indices of bipartite graphs with given connectivity
Published in S.C. Li, H.B. Zhou, On the maximum and minimum Zagreb indices of graphs with connectivity at most $k$, Appl. Math. Lett. 23 (2) (2010) 128-132
• Search Publication
The first Zagreb index $M_{1}$ of a graph is defined as the sum of the square of every vertex degree, and the second Zagreb index $M_{2}$ of a graph is defined as the sum of the product of vertex degrees of each pair of adjacent vertices. In this paper, we study the Zagreb indices of bipartite graphs of order $n$ with $κ(G)=k$ (resp. $κ'(G)=s$) and sharp upper bounds are obtained for $M_1(G)$ and $M_2(G)$ for $G\in \mathcal{V}^k_n$ (resp. $\mathcal{E}^s_n$), where $\mathcal{V}^k_n$ is the set of bipartite graphs of order $n$ with $κ(G)=k$, and $\mathcal{E}^s_n$ is the set of bipartite graphs of order $n$ with $κ'(G)=s$.
Stanley's conjectures on the Stern poset
Published
• View Publication
• BIB
The Stern poset $\mathcal{S}$ is a graded infinite poset naturally associated to Stern's triangle, which was defined by Stanley analogously to Pascal's triangle. Let $P_n$ denote the interval of $\mathcal{S}$ from the unique element of row $0$ of Stern's triangle to the $n$-th element of row $r$ for sufficiently large $r$. For $n\geq 1$ let \begin{align*} L_n(q)&=2\cdot\left(\sum_{k=1}^{2^n-1}A_{P_k}(q)\right)+A_{P_{2^n}}(q), \end{align*} where $A_{P}(q)$ represents the corresponding $P$-Eulerian polynomial. For any $n\geq 1$ Stanley conjectured that $L_n(q)$ has only real zeros and $L_{4n+1}(q)$ is divisible by $L_{2n}(q)$. In this paper we obtain a simple recurrence relation satisfied by $L_n(q)$ and affirmatively solve Stanley's conjectures. We also establish the asymptotic normality of the coefficients of $L_n(q)$.
The complex conjugate invariants of Clifford groups
Published
• View Publication
• BIB
Nebe, Rains and Sloane studied the polynomial invariants for real and complex Clifford groups and they relate the invariants to the space of complete weight enumerators of certain self-dual codes. The purpose of this paper is to show that very similar results can be obtained for the invariants of the complex Clifford group $\mathcal{X}_m$ acting on the space of conjugate polynomials in $2^m$ variables of degree $N_1$ in $x_f$ and of degree $N_2$ in their complex conjugates $\overline{x_f}$. In particular, we show that the dimension of this space is $2$, for $(N_1,N_2)=(5,5)$. This solves the Conjecture 2 given in Zhu, Kueng, Grassl and Gross affirmatively. In other words if an orbit of the complex Clifford group is a projective $4$-design, then it is automatically a projective $5$-design.
Combinatorial interpretations of two identities of Guo and Yang
Published
• View Publication
• BIB
The restricted partitions in which the largest part is less than or equal to $N$ and the number of parts is less than or equal to $k$ were investigated by Andrews in \cite{Andrews76}. These partitions were extended recently by the author to the partitions into parts of two kinds. In this paper, we use a new class of restricted partitions into parts of two kinds to provide new combinatorial interpretations for two identities of Guo and Yang.
More bijections for Entringer and Arnold families
Published in Electronic Research Archive, 29(2), 2167-2185, 2021
• View Publication
• BIB
The Euler number $E_n$ (resp. Entringer number $E_{n,k}$) enumerates the alternating (down-up) permutations of $\{1,\dots,n\}$ (resp. starting with $k$). The Springer number $S_n$ (resp. Arnold number $S_{n,k}$) enumerates the type $B$ alternating permutations (resp. starting with $k$). In this paper, using bijections we first derive the counterparts in {\em André permutations} and {\em Simsun permutations} for the Entringer numbers $(E_{n,k})$, and then the counterparts in {\em signed André permutations} and {\em type $B$ increasing 1-2 trees} for the Arnold numbers $(S_{n,k})$.
Tight Probability Bounds with Pairwise Independence
Published
• View Publication
• BIB
While useful probability bounds for $n$ pairwise independent Bernoulli random variables adding up to at least an integer $k$ have been proposed in the literature, none of these bounds are tight in general. In this paper, we provide several results in this direction. Firstly, when $k = 1$, the tightest upper bound on the probability of the union of $n$ pairwise independent events is provided in closed-form for any input marginal probability vector $\mathbf{p} \in [0,1]^n$. To prove the result, we show the existence of a positively correlated Bernoulli random vector with transformed bivariate probabilities, which is of independent interest. Building on this, we show that the ratio of the Boole union bound and the tight pairwise independent bound is upper bounded by $4/3$ and that the ratio is attained. Applications of the result in correlation gap analysis and distributionally robust bottleneck optimization are discussed. The result is extended to find the tightest lower bound on the probability of the intersection of $n$ pairwise independent events. Secondly, for any $k \geq 2$ and input marginal probability vector $\mathbf{p} \in [0,1]^n$, new upper bounds are derived by exploiting ordering of probabilities. Numerical examples are provided to illustrate when the bounds provide improvement over existing bounds. Lastly, we identify specific instances when the existing and the new bounds are tight, for example, with identical marginal probabilities.
Inverse problems for minimal complements and maximal supplements
Published
• View Publication
• BIB
Given a subset $W$ of an abelian group $G$, a subset $C$ is called an additive complement for $W$ if $W+C=G$; if, moreover, no proper subset of $C$ has this property, then we say that $C$ is a minimal complement for $W$. It is natural to ask which subsets $C$ can arise as minimal complements for some $W$. We show that in a finite abelian group $G$, every non-empty subset $C$ of size $|C| \leq 2^{2/3}|G|^{1/3}/((3e \log |G|)^{2/3}$ is a minimal complement for some $W$. As a corollary, we deduce that every finite non-empty subset of an infinite abelian group is a minimal complement. We also derive several analogous results for ``dual'' problems about maximal supplements.
Enumeration of Deutsch paths by adding the adding-a-new-slice method and applications
A variation of Dyck paths allows for down-steps of arbitrary length, not just one. This is motivated by ideas due to Emeric Deutsch. We use the adding-a-new-slice technique and the kernel method to compute the number of maximal runs of up-step runs of length 1 and a subclass of Deutsch paths satisfying a condition that was stipulated by R. Stanley for Dyck paths.
Performance Analysis of the Solving Algorithm for the Kuramoto Model with Rank One Coupling
This paper is a follow up to a previous work that presented an algorithm to efficiently find all of the equilibria of the Kuramoto model with nonuniform coupling described by a rank one matrix. The algorithm was shown experimentally to be more efficient than previously used methods, but its performance was not fully characterized. This paper analyzes the effectiveness of the "pruning" method used to skip cases with no solutions. The approach utilized is to construct a weighted graph where every path through the graph corresponds to the algorithm's performance on an input. The maximum weight path then corresponds to the worst case performance of the algorithm. This paper shows that even in the worst case, the pruning method employed is very effective at skipping cases with no solutions.
Efficient fully dynamic elimination forests with applications to detecting long paths and cycles
Published
• View Publication
• BIB
We present a data structure that in a dynamic graph of treedepth at most $d$, which is modified over time by edge insertions and deletions, maintains an optimum-height elimination forest. The data structure achieves worst-case update time $2^{{\cal O}(d^2)}$, which matches the best known parameter dependency in the running time of a static fpt algorithm for computing the treedepth of a graph. This improves a result of Dvořák et al. [ESA 2014], who for the same problem achieved update time $f(d)$ for some non-elementary (i.e. tower-exponential) function $f$. As a by-product, we improve known upper bounds on the sizes of minimal obstructions for having treedepth $d$ from doubly-exponential in $d$ to $d^{{\cal O}(d)}$.
As applications, we design new fully dynamic parameterized data structures for detecting long paths and cycles in general graphs. More precisely, for a fixed parameter $k$ and a dynamic graph $G$, modified over time by edge insertions and deletions, our data structures maintain answers to the following queries:
- Does $G$ contain a simple path on $k$ vertices?
- Does $G$ contain a simple cycle on at least $k$ vertices?
In the first case, the data structure achieves amortized update time $2^{{\cal O}(k^2)}$. In the second case, the amortized update time is $2^{{\cal O}(k^4)} + {\cal O}(k \log n)$. In both cases we assume access to a dictionary on the edges of $G$.
Small rainbow cliques in randomly perturbed dense graphs
Published
• View Publication
• BIB
For two graphs $G$ and $H$, write $G \stackrel{\mathrm{rbw}}{\longrightarrow} H$ if $G$ has the property that every \emph{proper} colouring of its edges yields a \emph{rainbow} copy of $H$.
We study the thresholds for such so-called \emph{anti-Ramsey} properties in randomly perturbed dense graphs, which are unions of the form $G \cup \mathbb{G}(n,p)$, where $G$ is an $n$-vertex graph with edge-density at least $d >0$, and $d$ is independent of $n$.
In a companion article, we proved that the threshold for the property
$G \cup \mathbb{G}(n,p) \stackrel{\mathrm{rbw}}{\longrightarrow} K_\ell$ is $n^{-1/m_2(K_{\left\lceil \ell/2 \right\rceil})}$, whenever $\ell
\geq 9$. For smaller $\ell$, the thresholds behave more erratically, and for $4 \le \ell \le 7$ they deviate downwards significantly from the aforementioned aesthetic form capturing the thresholds for \emph{large} cliques.
In particular, we show that the thresholds for $\ell \in \{4, 5, 7\}$ are $n^{-5/4}$, $n^{-1}$, and $n^{-7/15}$, respectively. For $\ell \in \{6, 8\}$ we determine the threshold up to a $(1 + o(1))$-factor in the exponent: they are $n^{-(2/3 + o(1))}$ and $n^{-(2/5 + o(1))}$, respectively. For $\ell = 3$, the threshold is $n^{-2}$; this follows from a more general result about odd cycles in our companion paper.