Showing 20 papers (Total: 82851 papers, 47869 authors in database)
Minimal percolating sets for mutating infectious diseases
Published in Phys. Rev. Research 2, 023001 (2020)
• View Publication
• BIB
This paper is dedicated to the study of the interaction between dynamical systems and percolation models, with views towards the study of viral infections whose virus mutate with time. Recall that r-bootstrap percolation describes a deterministic process where vertices of a graph are infected once r neighbors of it are infected. We generalize this by introducing F(t)-bootstrap percolation, a time-dependent process where the number of neighbouring vertices which need to be infected for a disease to be transmitted is determined by a percolation function F(t) at each time t. After studying some of the basic properties of the model, we consider smallest percolating sets and construct a polynomial-timed algorithm to find one smallest minimal percolating set on finite trees for certain F(t)-bootstrap percolation models.
On the upper Bound of double Roman dominating function
A double Roman Dominating function on a graph $G$ is a function $ f:V\rightarrow \{0,1,2,3\}$ such that the following conditions hold. If $f(v)=0$, then vertex $v$ must have at least two neighbors in $V_2$ or one neighbor in $V_3$ and if $f(v)=1$, then vertex $v$ must have at least one neighbor in $V_2\bigcup V_3$. The weight of a double Roman dominating function is the sum $w_f=\sum_{v\in V(G)}{f(v)}$. In this paper, we improve the upper bounds of $γ_{dR}(G)$ that has already obtained and we show that $γ_{dR}(G)\leq\dfrac{12n}{11}$, for any graph with $δ(G) \ge 2$. This bound improve the bounds that have already been presented in \cite{chen} and \cite{kkcs}. Finally we prove the conjecture posed in \cite{kkcs}.
On Generalized Regularity
Szemeredi's regularity lemma is one instance in a family of regularity lemmas, replacing the definition of density of a graph by a more general coefficient. Recently, Fan Chung proved another instance, a regularity lemma for clustering graphs, and asked whether good upper bounds could be derived for the quantitative estimates it supplies. We answer this question in the negative, for every generalized regularity lemma.
The feasible region of hypergraphs
Published
• View Publication
• BIB
Let $\mathcal{F}$ be a family of $r$-uniform hypergraphs. The feasible region $Ω(\mathcal{F})$ of $\mathcal{F}$ is the set of points $(x,y)$ in the unit square such that there exists a sequence of $\mathcal{F}$-free $r$-uniform hypergraphs whose edge density approaches $x$ and whose shadow density approaches $y$. The feasible region provides a lot of combinatorial information, for example, the supremum of $y$ over all $(x,y) \in Ω(\mathcal{F})$ is the Turán density $π(\mathcal{F})$, and $Ω(\emptyset)$ gives the Kruskal-Katona theorem.
We undertake a systematic study of $Ω(\mathcal{F})$, and prove that $Ω(\mathcal{F})$ is completely determined by a left-continuous almost everywhere differentiable function; and moreover, there exists an $\mathcal{F}$ for which this function is not continuous. We also extend some old related theorems. For example, we generalize a result of Fisher and Ryan to hypergraphs and extend a classical result of Bollobás by almost completely determining the feasible region for cancellative triple systems.
Reinterpreting the Middle-Levels Theorem via Natural Enumeration of Ordered Trees
Published
• View Publication
• BIB
Let $0<k\in\mathbb{Z}$. A reinterpretation of the proof of existence of Hamilton cycles in the middle-levels graph $M_k$ induced by the vertices of the $(2k+1)$-cube representing the $k$- and $(k+1)$-subsets of $\{0,\ldots,2k\}$ is given via an associated dihedral quotient graph of $M_k$ whose vertices represent the ordered (rooted) trees of order $k+1$ and size $k$.
A generating function approach to new representation stability phenomena in orbit configuration spaces
Published
• View Publication
• BIB
As countless examples show, it can be fruitful to study a sequence of complicated objects all at once via the formalism of generating functions. We apply this point of view to the homology and combinatorics of orbit configuration spaces: using the notion of twisted commutative algebras, which essentially categorify exponential generating functions. This idea allows for a factorization of the orbit configuration space "generating function" into an infinite product, whose terms are surprisingly easy to understand. Beyond the intrinsic aesthetic of this decomposition and its quantitative consequences, it reveals a sequence of primary, secondary, and higher representation stability phenomena. Based on this, we give a simple geometric technique for identifying new stabilization actions with finiteness properties, which we use to unify and generalize known stability results. As a first new application of our methods, we establish secondary and higher stability for configuration spaces on $i$-acyclic spaces. For another application, we describe a natural filtration by which one observes a filtered representation stability phenomenon in configuration spaces on graphs.
Non-trivial $d$-wise Intersecting families
For an integer $d \geq 2$, a family $\mathcal{F}$ of sets is $\textit{$d$-wise intersecting}$ if for any distinct sets $A_1,A_2,\dots,A_d \in \mathcal{F}$, $A_1 \cap A_2 \cap \dots \cap A_d \neq \emptyset$, and $\textit{non-trivial}$ if $\bigcap \mathcal{F} = \emptyset$. Hilton and Milner conjectured that for $k \geq d \geq 2$ and large enough $n$, the extremal non-trivial $d$-wise intersecting family of $k$-element subsets of $[n]$ is one of the following two families: \begin{align*} &\mathcal{H}(k,d) = \{A \in \binom{[n]}{k} : [d-1] \subset A, A \cap [d,k+1] \neq \emptyset\} \cup \{[k+1] \setminus \{i \} : i \in [d - 1]\} \\ &\mathcal{A}(k,d) = \{ A \in \binom{[n]}{k} : |A \cap [d+1]| \geq d \}. \end{align*} The celebrated Hilton-Milner Theorem states that $\mathcal{H}(k,2)$ is the unique extremal non-trivial intersecting family for $k>3$. We prove the conjecture and prove a stability theorem, stating that any large enough non-trivial $d$-wise intersecting family of $k$-element subsets of $[n]$ is a subfamily of $\mathcal{A}(k,d)$ or $\mathcal{H}(k,d)$.
The $d$-Majorization Polytope
Published in Linear Algebra Appl., 649 (2022) 152-185
• View Publication
• BIB
We investigate geometric and topological properties of $d$-majorization -- a generalization of classical majorization to positive weight vectors $d \in \mathbb{R}^n$. In particular, we derive a new, simplified characterization of $d$-majorization which allows us to work out a halfspace description of the corresponding $d$-majorization polytopes. That is, we write the set of all vectors which are $d$-majorized by some given vector $y \in \mathbb{R}^n$ as an intersection of finitely many half spaces, i.e. as solutions to an inequality of the type $Mx\leq b$. Here $b$ depends on $y$ while $M$ can be chosen independently of $y$. This description lets us prove continuity of the $d$-majorization polytope (jointly with respect to $d$ and $y$) and, furthermore, lets us fully characterize its extreme points. Interestingly, for $y\geq 0$ one of these extreme points classically majorizes every other element of the $d$-majorization polytope. Moreover, we show that the induced preorder structure on $\mathbb{R}^n$ admits minimal and maximal elements. While the former are always unique the latter are unique if and only if they correspond to the unique minimal entry of the $d$-vector.
An Exponential Lower Bound for Zadeh's pivot rule
Published
• View Publication
• BIB
The question whether the Simplex Algorithm admits an efficient pivot rule remains one of the most important open questions in discrete optimization. While many natural, deterministic pivot rules are known to yield exponential running times, the random-facet rule was shown to have a subexponential running time. For a long time, Zadeh's rule remained the most prominent candidate for the first deterministic pivot rule with subexponential running time. We present a lower bound construction that shows that Zadeh's rule is in fact exponential in the worst case. Our construction is based on a close relation to the Strategy Improvement Algorithm for Parity Games and the Policy Iteration Algorithm for Markov Decision Processes, and we also obtain exponential lower bounds for Zadeh's rule in these contexts.
On eigenvalue multiplicity in signed graphs
Published
• View Publication
• BIB
For signed graphs we provide a cubic polynomial upper bound on the multiplicity of its eigenvalues. We show that this bound is sharp by providing examples of signed graphs in which it is attained. We also discuss particular cases in which the bound can be decreased.
Proper rainbow connection number of graphs
Published
• View Publication
• BIB
A path in an edge-coloured graph is called \emph{rainbow path} if its edges receive pairwise distinct colours. An edge-coloured graph is said to be \emph{rainbow connected} if any two distinct vertices of the graph are connected by a rainbow path. The minimum $k$ for which there exists such an edge-colouring is the rainbow connection number $rc(G)$ of $G.$ Recently, Bau et al. \cite{BJJKM2018} introduced this concept with the additional requirement that the edge-colouring must be proper. %An proper edge-coloured graph is said to be \emph{properly rainbow connected} if any two distinct vertices of the graph are connected by a rainbow path. The \emph{proper rainbow connection number} of $G$, denoted by $prc(G)$, is the minimum number of colours needed in order to make it properly rainbow connected.
In this paper we first prove an improved upper bound $prc(G) \leq n$ for every connected graph $G$ of order $n \geq 3.$ Next we show that the difference $prc(G) - rc(G)$ can be arbitrarily large. Finally, we present several sufficient conditions for graph classes satisfying $prc(G) = χ'(G).$
Successive shortest paths in complete graphs with random edge weights
Published
• View Publication
• BIB
Consider a complete graph $K_n$ with edge weights drawn independently from a uniform distribution $U(0,1)$. The weight of the shortest (minimum-weight) path $P_1$ between two given vertices is known to be $\ln n / n$, asymptotically. Define a second-shortest path $P_2$ to be the shortest path edge-disjoint from $P_1$, and consider more generally the shortest path $P_k$ edge-disjoint from all earlier paths. We show that the cost $X_k$ of $P_k$ converges in probability to $2k/n+\ln n/n$ uniformly for all $k \leq n-1$. We show analogous results when the edge weights are drawn from an exponential distribution. The same results characterise the collectively cheapest $k$ edge-disjoint paths, i.e., a minimum-cost $k$-flow. We also obtain the expectation of $X_k$ conditioned on the existence of $P_k$.
Fast Reliability Ranking of Matchstick Minimal Networks
Published in Networks 2021
• View Publication
• BIB
In this article, we take a closer look at the reliability of large minimal networks constructed by repeated compositions of the simplest possible networks. For a given number of devices $n=2^m$ we define the set of all the possible compositions of series and parallel networks of two devices. We then define several partial orders over this set and study their properties. As far as we know the ranking problem has not been addressed before in this context, and this article establishes the first results in this direction. The usual approach when dealing with reliability of two-terminal networks is to determine existence or non-existence of uniformly most reliable networks. The problem of ranking two-terminal networks is thus more complex, but by restricting our study to the set of compositions we manage to determine and demonstrate the existence of a poset.
Optimal Adaptive Detection of Monotone Patterns
We investigate adaptive sublinear algorithms for detecting monotone patterns in an array. Given fixed $2 \leq k \in \mathbb{N}$ and $\varepsilon > 0$, consider the problem of finding a length-$k$ increasing subsequence in an array $f \colon [n] \to \mathbb{R}$, provided that $f$ is $\varepsilon$-far from free of such subsequences. Recently, it was shown that the non-adaptive query complexity of the above task is $Θ((\log n)^{\lfloor \log_2 k \rfloor})$. In this work, we break the non-adaptive lower bound, presenting an adaptive algorithm for this problem which makes $O(\log n)$ queries. This is optimal, matching the classical $Ω(\log n)$ adaptive lower bound by Fischer [2004] for monotonicity testing (which corresponds to the case $k=2$), and implying in particular that the query complexity of testing whether the longest increasing subsequence (LIS) has constant length is $Θ(\log n)$.
The Hadamard product and recursively defined sequences
Published
• View Publication
• BIB
In this paper the approach to obtaining nonrecurrent formulas for some recursively defined sequences is illustrated. The most interesting result in the paper is the formula for the solution of quadratic map-like recurrence. Also, some formulas for the solutions of linear difference equations with variable coefficients are obtained. At the end of the paper, some integer sequences associated with a quadratic map are considered.
The almost sure theory of finite metric spaces
Published in Bulletin of the London Mathematical Society, Volume 53, Issue 6, December 2021, pp. 1740-1748
• View Publication
• BIB
We establish an approximate zero-one law for sentences of continuous logic over finite metric spaces of diameter at most $1$. More precisely, we axiomatize a complete metric theory $T_{\mathrm{as}}$ such that, given any sentence $σ$ in the language of pure metric spaces and any $ε>0$, the probability that the difference of the value of $σ$ in a random metric space of size $n$ and the value of $σ$ in any model of $T_{\mathrm{as}}$ is less than $ε$ approaches $1$ as $n$ approaches infinity. We also establish some model-theoretic properties of the theory $T_{\mathrm{as}}$.
Improved Bounds for Burning Fence Graphs
Published
• View Publication
• BIB
Graph burning studies how fast a contagion, modeled as a set of fires, spreads in a graph. The burning process takes place in synchronous, discrete rounds. In each round, a fire breaks out at a vertex, and the fire spreads to all vertices that are adjacent to a burning vertex. The burning number of a graph $G$ is the minimum number of rounds necessary for each vertex of $G$ to burn. We consider the burning number of the $m \times n$ Cartesian grid graphs, written $G_{m,n}$.\ For $m = ω(\sqrt{n})$, the asymptotic value of the burning number of $G_{m,n}$ was determined, but only the growth rate of the burning number was investigated in the case $m = O(\sqrt{n})$, which we refer to as fence graphs. We provide new explicit bounds on the burning number of fence graphs $G_{c\sqrt{n},n}$, where $c > 0$.
Counting Small Permutation Patterns
Published in Proceedings of the 2021 ACM-SIAM Symposium on Discrete Algorithms (SODA), 2288-2302, 2021
• View Publication
• BIB
A sample of n generic points in the xy-plane defines a permutation that relates their ranks along the two axes. Every subset of k points similarly defines a pattern, which occurs in that permutation. The number of occurrences of small patterns in a large permutation arises in many areas, including nonparametric statistics. It is therefore desirable to count them more efficiently than the straightforward ~O(n^k) time algorithm.
This work proposes new algorithms for counting patterns. We show that all patterns of order 2 and 3, as well as eight patterns of order 4, can be counted in nearly linear time. To that end, we develop an algebraic framework that we call corner tree formulas. Our approach generalizes the existing methods and allows a systematic study of their scope.
Using the machinery of corner trees, we find twenty-three independent linear combinations of order-4 patterns, that can be computed in time ~O(n). We also describe an algorithm that counts one of the remaining 4-patterns, and hence all 4-patterns, in time ~O(n^(3/2)).
As a practical application, we provide a nearly linear time computation of a statistic by Yanagimoto (1970), Bergsma and Dassios (2010). This statistic yields a natural and strongly consistent variant of Hoeffding's test for independence of X and Y, given a random sample as above. This improves upon the so far most efficient ~O(n^2) algorithm.
Persistency of Linear Programming Relaxations for the Stable Set Problem
Published
• View Publication
• BIB
The Nemhauser-Trotter theorem states that the standard linear programming (LP) formulation for the stable set problem has a remarkable property, also known as (weak) persistency: for every optimal LP solution that assigns integer values to some variables, there exists an optimal integer solution in which these variables retain the same values. While the standard LP is defined by only non-negativity and edge constraints, a variety of other LP formulations have been studied and one may wonder whether any of them has this property as well. We show that any other formulation that satisfies mild conditions cannot have the persistency property on all graphs, unless it is always equal to the stable set polytope.
Halfway to Hadwiger's Conjecture
In 1943, Hadwiger conjectured that every $K_t$-minor-free graph is $(t-1)$-colorable for every $t\ge 1$. In the 1980s, Kostochka and Thomason independently proved that every graph with no $K_t$ minor has average degree $O(t\sqrt{\log t})$ and hence is $O(t\sqrt{\log t})$-colorable. Very recently, Norin and Song proved that every graph with no $K_t$ minor is $O(t(\log t)^{0.354})$-colorable. Improving on the second part of their argument, we prove that every graph with no $K_t$ minor is $O(t(\log t)^β)$-colorable for every $β> \frac{1}{4}$.