Showing 20 papers (Total: 82851 papers, 47869 authors in database)
A Polynomial Kernel for Paw-Free Editing
For a fixed graph $H$, the $H$-free-editing problem asks whether we can modify a given graph $G$ by adding or deleting at most $k$ edges such that the resulting graph does not contain $H$ as an induced subgraph. The problem is known to be NP-complete for all fixed $H$ with at least $3$ vertices and it admits a $2^{O(k)}n^{O(1)}$ algorithm. Cai and Cai showed that the $H$-free-editing problem does not admit a polynomial kernel whenever $H$ or its complement is a path or a cycle with at least $4$ edges or a $3$-connected graph with at least $1$ edge missing. Their results suggest that if $H$ is not independent set or a clique, then $H$-free-editing admits polynomial kernels only for few small graphs $H$, unless $\textsf{coNP} \in \textsf{NP/poly}$. Therefore, resolving the kernelization of $H$-free-editing for small graphs $H$ plays a crucial role in obtaining a complete dichotomy for this problem. In this paper, we positively answer the question of compressibility for one of the last two unresolved graphs $H$ on $4$ vertices. Namely, we give the first polynomial kernel for paw-free editing with $O(k^{6})$vertices.
Where do the maximum absolute $q$-series coefficients of $(1-q)(1-q^2)(1-q^3)\dots(1-q^{n-1})(1-q^n)$ occur?
Published
• View Publication
• BIB
We used the MACH2 supercomputer to study coefficients in the $q$-series expansion of $(1-q)(1-q^2)\dots(1-q^n)$, for all $n\leq 75000$. As a result, we were able to conjecture some periodic properties associated with the before unknown location of the maximum coefficient of these polynomials with odd $n$. Remarkably the observed period is 62,624.
Evolution of Cooperation for Multiple Mutant Configurations on All Regular Graphs with $N \leq 14$ players
Published
• View Publication
• BIB
We study the emergence of cooperation in structured populations with any arrangement of cooperators and defectors on the evolutionary graph. Using structure coefficients defined for configurations describing such arrangements of any number of mutants, we provide results for weak selection to favor cooperation over defection on any regular graph with $N \leq 14$ vertices. Furthermore, the properties of graphs that particularly promote cooperation are analyzed. It is shown that the number of graph cycles of certain length is a good predictor for the values of the structure coefficient, and thus a tendency to favor cooperation. Another property of particularly cooperation-promoting regular graphs with a low degree is that they are structured to have blocks with clusters of mutants that are connected by cut vertices and/or hinge vertices.
Quantum speedups need structure
We prove the following conjecture, raised by Aaronson and Ambainis in 2008: Let $f:\{-1,1\}^n \rightarrow [-1,1]$ be a multilinear polynomial of degree $d$. Then there exists a variable $x_i$ whose influence on $f$ is at least $\mathrm{poly}(\mathrm{Var}(f)/d)$.
As was shown by Aaronson and Ambainis, this result implies the following well-known conjecture on the power of quantum computing, dating back to 1999: Let $Q$ be a quantum algorithm that makes $T$ queries to a Boolean input and let $ε,δ> 0$. Then there exists a deterministic classical algorithm that makes $\mathrm{poly}(T,1/ε,1/δ)$ queries to the input and that approximates $Q$'s acceptance probability to within an additive error $ε$ on a $1-δ$ fraction of inputs. In other words, any quantum algorithm can be simulated on most inputs by a classical algorithm which is only polynomially slower, in terms of query complexity.
Anisotropic oriented percolation in high dimensions
Published in ALEA, Lat. Am. J. Probab. Math. Stat. 17, 531-543 (2020)
• View Publication
• BIB
In this paper we study anisotropic oriented percolation on $\mathbb{Z}^d$ for $d\geq 4$ and show that the local condition for phase transition is closely related to the mean-field condition. More precisely, we show that if the sum of the local probabilities is strictly greater than one and each probability is not too large, then percolation occurs.
Counting extensions revisited
Published in Random Structures and Algorithms 61 (2022) 3-30
• View Publication
• BIB
We consider rooted subgraphs in random graphs, i.e., extension counts such as (i) the number of triangles containing a given vertex or (ii) the number of paths of length three connecting two given vertices. In 1989, Spencer gave sufficient conditions for the event that, with high probability, these extension counts are asymptotically equal for all choices of the root vertices. For the important strictly balanced case, Spencer also raised the fundamental question as to whether these conditions are necessary. We answer this question by a careful second moment argument, and discuss some intriguing problems that remain open.
Problems and results on 1-cross intersecting set pair systems
The notion of cross intersecting set pair system of size $m$, $\Big(\{A_i\}_{i=1}^m, \{B_i\}_{i=1}^m\Big)$ with $A_i\cap B_i=\emptyset$ and $A_i\cap B_j\ne\emptyset$, was introduced by Bollobás and it became an important tool of extremal combinatorics. His classical result states that $m\le {a+b\choose a}$ if $|A_i|\le a$ and $|B_i|\le b$ for each $i$.
Our central problem is to see how this bound changes with the additional condition $|A_i\cap B_j|=1$ for $i\ne j$. Such a system is called $1$-cross intersecting. We show that the maximum size of a $1$-cross intersecting set pair system is
-- at least $5^{n/2}$ for $n$ even, $a=b=n$,
-- equal to $\bigl(\lfloor\frac{n}{2}\rfloor+1\bigr)\bigl(\lceil\frac{n}{2}\rceil+1\bigr)$ if $a=2$ and $b=n\ge 4$,
-- at most $|\cup_{i=1}^m A_i|$,
-- asymptotically $n^2$ if $\{A_i\}$ is a linear hypergraph ($|A_i\cap A_j|\le 1$ for $i\ne j$),
-- asymptotically ${1\over 2}n^2$ if $\{A_i\}$ and $\{B_i\}$ are both linear hypergraphs.
Absence of $1$-Nearly Platonic Graphs
A $t$-nearly platonic graph is a finite, connected, regular, simple and planar graph in which all but exactly $t$ numbers of its faces have the same length. It is proved that there is no 2-connected $1$-nearly platonic graph. In this paper, we prove that there is no $1$-nearly platonic graph.
$k$-pop stack sortable permutations and $2$-avoidance
Published
• View Publication
• BIB
We consider permutations sortable by $k$ passes through a deterministic pop stack. We show that for any $k\in\mathbb N$ the set is characterised by finitely many patterns, answering a question of Claesson and Guðmundsson.
Our characterisation demands a more precise definition than in previous literature of what it means for a permutation to avoid a set of barred and unbarred patterns. We propose a new notion called \emph{$2$-avoidance}.
Pattern distributions in Dyck paths with a first return decomposition constrained by height
Published
• View Publication
• BIB
We provide generating functions for the popularity and the distribution of patterns of length at most three over the set of Dyck paths having a first return decomposition constrained by height.
The size of $t$-cores and hook lengths of random cells in random partitions
Published in Annals of Applied Probability (2023), Vol. 33, No. 1, 85-106
• View Publication
• BIB
Fix $t \geq 2$. We first give an asymptotic formula for certain sums of the number of $t$-cores. We then use this result to compute the distribution of the size of the $t$-core of a uniformly random partition of an integer $n$. We show that this converges weakly to a gamma distribution after dividing by $\sqrt{n}$. As a consequence, we find that the size of the $t$-core is of the order of $\sqrt{n}$ in expectation. We then apply this result to show that the probability that $t$ divides the hook length of a uniformly random cell in a uniformly random partition equals $1/t$ in the limit. Finally, we extend this result to all modulo classes of $t$ using abacus representations for cores and quotients.
The right-generators descendant of a numerical semigroup
Published
• View Publication
• BIB
For a numerical semigroup, we encode the set of primitive elements that are larger than its Frobenius number and show how to produce in a fast way the corresponding sets for its children in the semigroup tree. This allows us to present an efficient algorithm for exploring the tree up to a given genus. The algorithm exploits the second nonzero element of a numerical semigroup and the particular pseudo-ordinary case in which this element is the conductor.
Pliability and Approximating Max-CSPs
Published in Journal of the ACM 70(6) Article No. 41 (2023)
• View Publication
• BIB
We identify a sufficient condition, treewidth-pliability, that gives a polynomial-time algorithm for an arbitrarily good approximation of the optimal value in a large class of Max-2-CSPs parameterised by the class of allowed constraint graphs (with arbitrary constraints on an unbounded alphabet). Our result applies more generally to the maximum homomorphism problem between two rational-valued structures.
The condition unifies the two main approaches for designing a polynomial-time approximation scheme. One is Baker's layering technique, which applies to sparse graphs such as planar or excluded-minor graphs. The other is based on Szemerédi's regularity lemma and applies to dense graphs. We extend the applicability of both techniques to new classes of Max-CSPs. On the other hand, we prove that the condition cannot be used to find solutions (as opposed to approximating the optimal value) in general.
Treewidth-pliability turns out to be a robust notion that can be defined in several equivalent ways, including characterisations via size, treedepth, or the Hadwiger number. We show connections to the notions of fractional-treewidth-fragility from structural graph theory, hyperfiniteness from the area of property testing, and regularity partitions from the theory of dense graph limits. These may be of independent interest. In particular we show that a monotone class of graphs is hyperfinite if and only if it is fractionally-treewidth-fragile and has bounded degree.
Niche Number of Linear Hypertrees
For a digraph $D$, the niche hypergraph $NH(D)$ of $D$ is the hypergraph having the same set of vertices as $D$ and the set of hyperedges is \begin{align} E(NH(D)) &= \{e \subseteq V(D) : |e| \geq 2~and~there~exists~v \in V(D)~such~that~e = N_{D}^{-}(v)\notag
&~~~~~~~or~e = N_{D}^{+}(v)\}.\notag \end{align} A digraph is said to be acyclic if it has no directed cycle as a subdigraph. For a given hypergraph $H$, the niche number $\hat{n}(H)$ is the smallest integer such that $H$ together with $\hat{n}(H)$ isolated vertices is the niche hypergraph of an acyclic digraph. In this paper, we study the niche number of linear hypertrees with maximum degree two. By our result, we can conclude for a special case that if $H$ is a linear hypertree with $Δ(H) = 2$ and anti-rank three, then $\hat{n}(H) = 0$. We also prove that the maximum degree condition is best possible. Moreover, it was proved that if $H$ is a hypergraph of rank $r$ whose niche number is not infinity, then $Δ(H) \leq 2r$. In this paper, we give a construction of hypertrees whose niche number is $0$ of prescribed maximum degree from $3$ to $2r$.
Disjoint Cross Intersecting Families
For positive integers $n$ and $r$ such that $r \leq \lfloor n/2\rfloor$, let $X$ be a set of $n$ elements and let $\binom{X}{r}$ be the family of all $r$-subsets of $X$. Two sub-families $\mathcal{A}$ and $\mathcal{B}$ of $\binom{X}{r}$ are called cross intersecting if $A \cap B \neq \emptyset$ for all $A \in \mathcal{A}$ and $B \in \mathcal{B}$. One of main tools in the study of extremal set theory, and cross intersecting families in particular, is compression operation. In this paper, we give an example of cross intersecting families $\mathcal{A}$ and $\mathcal{B}$ that the compression operation is not applicable when $\mathcal{A}$ and $\mathcal{B}$ are disjoint. We develop new technique to prove that, for disjoint cross intersecting families $\mathcal{A}$ and $\mathcal{B}$ of $\binom{X}{r}$, $|\mathcal{A}| + |\mathcal{B}| \leq \binom{n}{r} - \binom{l}{p}$ where $n = 2r + l$ and $p = min\{r, \lceil \frac{l}{2}\rceil\}$. This bound is asymptotically sharp.
Hamiltonicity of Domination Vertex-Critical Claw-Free Graphs
A graph $G$ is said to be $k$-$γ$-vertex critical if the domination numbers $γ(G)$ of $G$ is $k$ and $γ(G - v) < k$ for any vertex $v$ of $G$. Similarly, A graph $G$ is said to be $k$-$γ_{c}$-vertex critical if the connected domination numbers $γ_{c}(G)$ of $G$ is $k$ and $γ_{c}(G - v) < k$ for any vertex $v$ of $G$. The problem of interest is to determine whether or not $2$-connected $k$-$γ$-vertex critical graphs are Hamiltonian. In this paper, for all $k \geq 3$, we provide a $2$-connected $k$-$γ$-vertex critical graph which is non-Hamiltonian. We prove that every $2$-connected $3$-$γ$-vertex critical claw-free graph is Hamiltonian and the condition claw-free is necessary. For $k$-$γ_{c}$-vertex critical graphs, we present a new method to prove that every $2$-connected $3$-$γ_{c}$-vertex critical claw-free graph is Hamiltonian. Moreover, for $4 \leq k \leq 5$, we prove that every $3$-connected $k$-$γ_{c}$-vertex critical claw-free graph is Hamiltonian. We show that the condition claw-free is necessary by giving $k$-$γ_{c}$-vertex critical non-Hamiltonian graphs containing a claw as an induced subgraph for $3 \leq k \leq 5$.
Structural Properties of Connected Domination Critical Graphs
Published
• View Publication
• BIB
A graph $G$ is said to be $k$-$γ_{c}$-critical if the connected domination number $γ_{c}(G)$ is equal to $k$ and $γ_{c}(G + uv) < k$ for any pair of non-adjacent vertices $u$ and $v$ of $G$. Let $ζ$ be the number of cut vertices of $G$ and let $ζ_{0}$ be the maximum number of cut vertices that can be contained in one block. For an integer $\ell \geq 0$, a graph $G$ is $\ell$-factor critical if $G - S$ has a perfect matching for any subset $S$ of vertices of size $\ell$. It was proved that, for $k \geq 3$, every $k$-$γ_{c}$-critical graph has at most $k - 2$ cut vertices and the graphs with maximum number of cut vertices were characterized. It was proved further that, for $k \geq 4$, every $k$-$γ_{c}$-critical graphs satisfies the inequality $ζ_{0}(G) \le \min \left\{ \left\lfloor \frac{k + 2}{3} \right\rfloor, ζ\right\}$. In this paper, we characterize all $k$-$γ_{c}$-critical graphs having $k - 3$ cut vertices. Further, we establish realizability that, for given $k \geq 4$, $2 \leq ζ\leq k - 2$ and $2 \leq ζ_{0} \le \min \left\{ \left\lfloor \frac{k + 2}{3} \right\rfloor, ζ\right\}$, there exists a $k$-$γ_{c}$-critical graph with $ζ$ cut vertices having a block which contains $ζ_{0}$ cut vertices. Finally, we proved that every $k$-$γ_{c}$-critical graph of odd order with minimum degree two is $1$-factor critical if and only if $1 \leq k \leq 2$. Further, we proved that every $k$-$γ_{c}$-critical $K_{1, 3}$-free graph of even order with minimum degree three is $2$-factor critical if and only if $1 \leq k \leq 2$.
Independence and Connectivity of Connected Domination Critical Graphs
A graph $G$ is said to be $k$-$γ_{c}$-critical if the connected domination number $γ_{c}(G) = k$ and $γ_{c}(G + uv) < k$ for every $uv \in E(\overline{G})$. Let $δ, κ$ and $α$ be respectively the minimum degree, the connectivity and the independence number. In this paper, we show that a $3$-$γ_{c}$-critical graph $G$ satisfies $α\leq κ+ 2$. Moreover, if $κ\geq 3$, then $α= κ+ p$ if and only if $α= δ+ p$ for all $p \in \{1, 2\}$. We show that the condition $κ+ 1 \leq α\leq κ+ 2$ is best possible to prove that $κ= δ$. By these result, we conclude our paper with an open problem on Hamiltonian connected of $3$-$γ_{c}$-critical graphs.
On residual connectedness in chiral geometries
Published
• View Publication
• BIB
We show that a chiral coset geometry constructed from a $C^+$-group necessarily satisfies residual connectedness and is therefore a hypertope.
Enumeration of plane partitions by descents
Published
• View Publication
• BIB
We study certain bijection between plane partitions and $\mathbb{N}$-matrices. As applications, we prove a Cauchy-type identity for generalized dual Grothendieck polynomials. We introduce two statistics on plane partitions, whose generating functions are similar to classical MacMahon's formulas; one of these statistics is equidistributed with the usual volume. We also show natural connections with the longest increasing subsequences of words.