Showing 20 papers (Total: 84460 papers, 48641 authors in database)
Parking On A Random Rooted Plane Tree
Published
• View Publication
• BIB
In this paper, we investigate a parking process on a uniform random rooted plane tree with $n$ vertices. Every vertex of the tree has a parking space for a single car. Cars arrive at independent uniformly random vertices of the tree. If the parking space at a vertex is unoccupied when a car arrives there, it parks. If not, the car drives towards the root and parks in the first empty space it encounters (if there is one). We are interested in asymptotics of the probability of the event that all cars can park when $\lfloor αn \rfloor$ cars arrive, for $α> 0$. We observe that there is a phase transition at $α_c := \sqrt{2} -1$: if $α< α_c$ then the event has positive probability, whereas for $α> α_c$ it has probability 0. Analogous results have been proved by Lackner and Panholzer, Goldschmidt and Przykucki, and Jones for different underlying random tree models.
Packing $(1,1,2,2)$-coloring of some subcubic graphs
Published
• View Publication
• BIB
For a sequence of non-decreasing positive integers $S = (s_1, \ldots, s_k)$, a packing $S$-coloring is a partition of $V(G)$ into sets $V_1, \ldots, V_k$ such that for each $1\leq i \leq k$ the distance between any two distinct $x,y\in V_i$ is at least $s_i+1$. The smallest $k$ such that $G$ has a packing $(1,2, \ldots, k)$-coloring is called the packing chromatic number of $G$ and is denoted by $χ_p(G)$. For a graph $G$, let $D(G)$ denote the graph obtained from $G$ by subdividing every edge. The question whether $χ_p(D(G)) \le 5$ for all subcubic graphs was first asked by Gastineau and Togni and later conjectured by Bresar, Klavzar, Rall and Wash. Gastineau and Togni observed that if one can prove every subcubic graph except the Petersen graph is packing $(1,1,2,2)$-colorable then the conjecture holds. The maximum average degree, mad($G$), is defined to be $\max\{\frac{2|E(H)|}{|V(H)|}: H \subset G\}$. In this paper, we prove that subcubic graphs with $mad(G)<\frac{30}{11}$ are packing $(1,1,2,2)$-colorable. As a corollary, the conjecture of Bresar et al holds for every subcubic graph $G$ with $mad(G)<\frac{30}{11}$.
Question about integral of product of four Hermite polynomials integrated with squared weight
We found that the integral of four Hermite polynomials integrated with squared weight over the real line generates symmetric polynomials with a beautiful recursive property. We pose a question whether that integral admit an explicit formula or not. The question has a certain interpretation in terms of Hermitian matrices.
Inclusion-Exclusion-Like identities
An expression $E(X_{1},...,X_{n})$ built using union, intersection, and complements is called inclusion-exclusion-like if, like the union in the exclusion-inclusion principle, there are constants $c_{1},c_{2},...,c_{n}$ so that for any sequence of sets${ A=(A_{1},...,A_{n})}$ the cardinality of ${ E(A_{1},...,A_{n})}$ can be expressed as $\left|E(A_{1},...,A_{n})\right|=$$\sum_{k=1}^{n}c_{k}i_{n,k}(A)$ where $i_{n,k}(A)=\sum_{I\subseteq\overline{n},\left|I=k\right|}^{n}\left|\cap_{i\in I}A_{i}\right|$ is the sum of the cardinalities of all intersections of $k$ sets in the sequence $A$. In this paper, we construct, from the expression $E$, a set of nonempty subsets of $\left\{ 1,\ldots,n\right\} $ called the characteristic set of $E$, and using this set to give a necessary and sufficient condition for the expression to be inclusion-exclusion-like . Furthermore, we give a method for determining the constants $c_{1},c_{2},...,c_{n}$ in the expression for the cardinality of ${ E(A_{1},...,A_{n})}$ when it exists. The content of the paper is illustrated by a simple detailed example given in the introduction.
Boundary-type Sets of Strong Product of Directed Graphs
Published
• View Publication
• BIB
Let $D=(V,E)$ be a strongly connected digraph and let $u ,v\in V(D)$. The maximum distance $md (u,v)$ is defined as\\ $md(u,v)$=max\{$\overrightarrow{d}(u,v), \overrightarrow{d}(v,u)$\} where $\overrightarrow{d}(u,v)$ denote the length of a shortest directed $u-v$ path in $D$. This is a metric. The boundary, contour, eccentric and peripheral sets of a strong digraph $D$ with respect to this metric have been defined, and the above said metrically defined sets of a large strong digraph $D$ have been investigated in terms of the factors in its prime factor decomposition with respect to Cartesian product. In this paper we investigate about the above boundary-type sets of a strong digraph $D$ in terms of the factors in its prime factor decomposition with respect to strong product.
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.