Showing 20 papers (Total: 81564 papers, 47262 authors in database)
Some ergodic theorems involving Omega function and their applications
Published
• View Publication
• BIB
In this paper, we build some ergodic theorems involving function $Ω$, where $Ω(n)$ denotes the number of prime factors of a natural number $n$ counted with multiplicities. As a combinatorial application, it is shown that for any $k\in \mathbb{N}$ and every $A\subset \mathbb{N}$ with positive upper Banach density, there are $a,d\in \mathbb{N}$ such that $$a,a+d,\ldots,a+kd,a+Ω(d)\in A.$$
Frequent elements in union-closed set families
The Union-Closed Sets Conjecture asks whether every union-closed set family $\mathcal{F}$ has an element contained in half of its sets. In 2022, Nagel posed a generalisation of this problem, suggesting that the $k$th-most popular element in a union-closed set family must be contained in at least $\frac{1}{2^{k-1} + 1} |\mathcal{F}|$ sets.
We combine the entropic method of Gilmer with the combinatorial arguments of Knill to show that this is indeed the case for all $k \ge 2$, and characterise the families that achieve equality. Furthermore, we show that when $|\mathcal{F}| \to \infty$, the $k$th-most frequent element will appear in at least $\left( \frac{3 - \sqrt{5}}{2} - o(1) \right) |\mathcal{F}|$ sets, reflecting the recent progress made for the Union-Closed Set Conjecture.
Further analysis on the second frequency of union-closed set families
The Union-Closed Sets Conjecture, also known as Frankl's conjecture, asks whether, for any union-closed set family $\mathcal{F}$ with $m$ sets, there is an element that lies in at least $\frac{1}{2}\cdot m$ sets in $\mathcal{F}$. In 2022, Nagel posed a stronger conjecture that within any union-closed family whose ground set size is at least $k$, there are always $k$ elements in the ground set that appear in at least $\frac{1}{2^{k-1}+1}$ proportion of the sets in the family.
Das and Wu showed that this conjecture is true for $k\geq 3$ and $k=2$ if $|\mathcal{F}|$ is outside a particular range. In this companion paper, we analyse further when $\mathcal{F}$ fails Nagel's conjecture for $k=2$ via linear programming.
Sparse graphs with an independent or foresty minimum vertex cut
Published
• View Publication
• BIB
A connected graph is called fragile if it contains an independent vertex cut. In 2002 Chen and Yu proved that every connected graph of order $n$ and size at most $2n-4$ is fragile, and in 2013 Le and Pfender characterized the non-fragile graphs of order $n$ and size $2n-3.$ It is natural to consider minimum vertex cuts. We prove two results. (1) Every connected graph of order $n$ with $n\ge 7$ and size at most $\lfloor 3n/2\rfloor$ has an independent minimum vertex cut; (2) every connected graph of order $n$ with $n\ge 7$ and size at most $2n$ has a foresty minimum vertex cut. Both results are best possible.
Matchings in matroids over abelian groups, II
Published
• View Publication
• BIB
The concept of matchings originated in group theory to address a linear algebra problem related to canonical forms for symmetric tensors. In an abelian group $(G,+)$, a matching is a bijection $f: A \to B$ between two finite subsets $A$ and $B$ of $G$ such that $a + f(a) \notin A$ for all $a \in A$. A group $G$ has the matching property if, for every two finite subsets $A, B \subset G$ of the same size with $0 \notin B$, there exists a matching from $A$ to $B$. In prior work [5], matroid analogues of results concerning matchings in groups were introduced and established. This paper serves as a sequel, extending that line of inquiry by investigating sparse paving, panhandle, and Schubert matroids through the lens of matchability. While some proofs draw upon earlier findings on the matchability of sparse paving matroids, the paper is designed to be self-contained and accessible without reference to the preceding sequel. Our approach combines tools from both matroid theory and additive number theory.
On $P$-partitions Extended by Two-Rowed Plane Partitions
Inspired by Gansner's elegant $k$-trace generating function for rectangular plane partitions, we introduce two novel operators, $\varphi_{z}$ and $ψ_{z}$, along with their combinatorial interpretations. Through these operators, we derive a new formula for $P$-partitions of posets extended by two-rowed plane partitions. This formula allows us to compute explicit enumerative generating functions for various classes of $P$-partitions. Our findings encompass skew plane partitions, diamond-related two-rowed plane partitions, an extended $V$-poset, and ladder poset extensions, enriching the theory of $P$-partitions.
Relationship between misère NIM and two-player GOISHI HIROI
In combinatorial game theory, there are two famous winning conventions, normal play and misère play. Under normal play convention, the winner is the player who moves last and under misère play convention, the loser is the player who moves last. The difference makes these conventions completely different, and usually, games under misère play convention is much difficult to analyze than games under normal play convention. In this study, we show an interesting relationship between rulesets under different winning conventions; we can determine the winner of two-player GOISHI HIROI under normal play convention by using NIM under misère play convention. We also analyze two-player GOISHI HIROI under misère play convention.
A note on infinite versions of $(p,q)$-theorems
We prove that fractional Helly and $(p,q)$-theorems imply $(\aleph_0,q)$-theorems in an entirely abstract setting. We give a plethora of applications, including reproving almost all earlier $(\aleph_0,q)$-theorems about geometric hypergraphs that were proved recently. Some of the corollaries are new results, for example, we prove that if $\mathcal{F}$ is an infinite family of convex compact sets in $\mathbb{R}^d$ and among every $\aleph_0$ of the sets some $d+1$ contain a point in their intersection with integer coordinates, then all the members of $\mathcal{F}$ can be hit with finitely many points with integer coordinates.
Extending Robinson Spaces: Complexity and Algorithmic Solutions for Non-Symmetric Dissimilarity Spaces
Published
• View Publication
• BIB
In this work, we extend the concept of Robinson spaces to asymmetric dissimilarities, enhancing their applicability in representing and analyzing complex data. Within this generalized framework, we introduce two different problems that extend the classical seriation problem: an optimization problem and a decision problem. We establish that these problems are NP-hard and NP-complete, respectively. Despite this complexity results, we identify several non-trivial instances where these problems can be solved in polynomial time, providing valuable insights into their tractability.
Pin Classes I: Growth Rates and Bounds
Pin sequences play an important role in the structural study of permutation classes. In this paper, we study the permutation classes that comprise all the finite subpermutations contained in an infinite pin sequence. We prove that these permutation classes have proper growth rates and establish a procedure for calculating these growth rates.
Robust Contraction Decomposition for Minor-Free Graphs and its Applications
We prove a robust contraction decomposition theorem for $H$-minor-free graphs, which states that given an $H$-minor-free graph $G$ and an integer $p$, one can partition in polynomial time the vertices of $G$ into $p$ sets $Z_1,\dots,Z_p$ such that $\operatorname{tw}(G/(Z_i \setminus Z')) = O(p + |Z'|)$ for all $i \in [p]$ and $Z' \subseteq Z_i$. Here, $\operatorname{tw}(\cdot)$ denotes the treewidth of a graph and $G/(Z_i \setminus Z')$ denotes the graph obtained from $G$ by contracting all edges with both endpoints in $Z_i \setminus Z'$.
Our result generalizes earlier results by Klein [SICOMP 2008] and Demaine et al. [STOC 2011] based on partitioning $E(G)$, and some recent theorems for planar graphs by Marx et al. [SODA 2022], for bounded-genus graphs (more generally, almost-embeddable graphs) by Bandyapadhyay et al. [SODA 2022], and for unit-disk graphs by Bandyapadhyay et al. [SoCG 2022].
The robust contraction decomposition theorem directly results in parameterized algorithms with running time $2^{\widetilde{O}(\sqrt{k})} \cdot n^{O(1)}$ or $n^{O(\sqrt{k})}$ for every vertex/edge deletion problems on $H$-minor-free graphs that can be formulated as Permutation CSP Deletion or 2-Conn Permutation CSP Deletion. Consequently, we obtain the first subexponential-time parameterized algorithms for Subset Feedback Vertex Set, Subset Odd Cycle Transversal, Subset Group Feedback Vertex Set, 2-Conn Component Order Connectivity on $H$-minor-free graphs. For other problems which already have subexponential-time parameterized algorithms on $H$-minor-free graphs (e.g., Odd Cycle Transversal, Vertex Multiway Cut, Vertex Multicut, etc.), our theorem gives much simpler algorithms of the same running time.
WalkSAT is linear on random 2-SAT
Published
• View Publication
• BIB
In an influential article Papadimitriou [FOCS 1991] proved that a local search algorithm called WalkSAT finds a satisfying assignment of a satisfiable 2-CNF with $n$ variables in $O(n^2)$ expected time. Variants of the WalkSAT algorithm have become a mainstay of practical SAT solving (e.g., [Hoos and Stützle 2000]). In the present article we analyse the expected running time of WalkSAT on random 2-SAT instances. Answering a question raised by Alekhnovich and Ben-Sasson [SICOMP 2007], we show that WalkSAT runs in linear expected time for all clause/variable densities up to the random 2-SAT satisfiability threshold.
A note on high-dimensional discrepancy of subtrees
For a tree $T$ and a function $f \colon E(T)\to \mathbb{S}^d$, the imbalance of a subtree $T'\subseteq T$ is given by $|\sum_{e \in E(T')} f(e)|$. The $d$-dimensional discrepancy of the tree $T$ is the minimum, over all functions $f$ as above, of the maximum imbalance of a subtree of $T$. We prove tight asymptotic bounds for the discrepancy of a tree $T$, confirming a conjecture of Krishna, Michaeli, Sarantis, Wang and Wang. We also settle a related conjecture on oriented discrepancy of subtrees by the same authors.
A simple proof of the existence of complete bipartite graph immersion in graphs with independence number two
Published
• View Publication
• BIB
Hadwiger's conjecture for the immersion relation posits that every graph $G$ contains an immersion of the complete graph $K_{χ(G)}$. Vergara showed that this is equivalent to saying that every $n$-vertex graph $G$ with $α(G)=2$ contains an immersion of the complete graph on $\lceil\frac{n}{2}\rceil$ vertices. Recently, Botler et al. showed that every $n$-vertex graph $G$ with $α(G)=2$ contains every complete bipartite graph on $\lceil\frac{n}{2}\rceil$ vertices as an immersion. In this paper, we give a much simpler proof of this result.
Partial Betti splittings with applications to binomial edge ideals
Published
• View Publication
• BIB
We introduce the notion of a partial Betti splitting of a homogeneous ideal, generalizing the notion of a Betti splitting first given by Francisco, Hà, and Van Tuyl. Given a homogeneous ideal $I$ and two ideals $J$ and $K$ such that $I = J+K$, a partial Betti splitting of $I$ relates some of the graded Betti of $I$ with those of $J, K$, and $J\cap K$. As an application, we focus on the partial Betti splittings of binomial edge ideals. Using this new technique, we generalize results of Saeedi Madani and Kiani related to binomial edge ideals with cut edges, we describe a partial Betti splitting for all binomial edge ideals, and we compute the total second Betti number of binomial edge ideals of trees.
On Local Irregularity Conjecture for 2-multigraphs
Published
• View Publication
• BIB
A multigraph in which adjacent vertices have different degrees is called locally irregular. The locally irregular edge coloring is an edge coloring of a multigraph $G$ in which every color induces a locally irregular submultigraph of $G$. We denote by $\operatorname{lir}(G)$ the locally irregular chromatic index of a multigraph $G$, which is the smallest number of colors required in a locally irregular edge coloring of $G$, given that such a coloring of $G$ exists. By $^2G$ we denote a 2-multigraph obtained from a simple graph $G$ by doubling each its edge. In 2022 Grzelec and Woźniak conjectured that $\operatorname{lir}(^2G) \leq 2$ for every connected simple graph $G$ different from $K_2$; the conjecture is known as Local Irregularity Conjecture for 2-multigraphs. In this paper, we prove this conjecture in the case of regular graphs, split graphs, and some particular families of subcubic graphs. Moreover, we provide a constant upper bound on the locally irregular chromatic index of planar 2-multigraphs (except for $^2K_2$), and we obtain a better constant upper bound on $\operatorname{lir}(^2G)$ if $G$ is a simple subcubic graph different from $K_2$. In the proofs, special decompositions of graphs and the relation of Local Irregularity Conjecture to the well-known 1-2-3 Conjecture are utilized.
Counter Example to a Strong Matroid Minor Conjecture
Published
• View Publication
• BIB
The main result of this note asserts that a strong form of the Matroid Minor Conjecture due to J. Draisma is not true, i.e., there exist properly ascending chains of $S_\infty$-stable ideals in the affine coordinate ring of the affine infinite Grassmannian, where $S_\infty$ is the infinite symmetric group. In fact, we explicitly construct such an ascending chain. His conjectures on topological noetherian property for the affine infinite Grassmannian remain open though.
The critical Karp--Sipser core of Erdős--Rényi random graphs
The Karp--Sipser algorithm consists in removing recursively the leaves as well their unique neighbours and all isolated vertices of a given graph. The remaining graph obtained when there is no leaf left is called the Karp--Sipser core. When the underlying graph is the classical sparse Erdős--Rényi random graph $ \mathrm{G}[n, λ/n]$, it is known to exhibit a phase transition at $λ= \mathrm{e}$. We show that at criticality, the Karp--Sipser core has size of order $n^{3/5}$, which proves a conjecture of Bauer and Golinelli. We provide the asymptotic law of this renormalized size as well as a description of the distribution of the core as a graph. Our approach relies on the differential equation method, and builds up on a previous work on a configuration model with bounded degrees.
Hypergraph burning, matchings, and zero forcing
Published
• View Publication
• BIB
Lazy burning is a recently introduced variation of burning where only one set of vertices is chosen to burn in the first round. In hypergraphs, lazy burning spreads when all but one vertex in a hyperedge is burned. The lazy burning number is the minimum number of initially burned vertices that eventually burns all vertices. We give several equivalent characterizations of lazy burning on hypergraphs using matchings and zero forcing, and then apply these to give new bounds and complexity results.
We prove that the lazy burning number of a hypergraph $H$ equals its order minus the maximum cardinality of a certain matching on its incidence graph. Using this characterization, we give a formula for the lazy burning number of a dual hypergraph and give new bounds on the lazy burning number based on various hypergraph parameters. We show that the lazy burning number of a hypergraph may be characterized by a maximal subhypergraph that results from iteratively deleting vertices in singleton hyperedges.
We prove that lazy burning on a hypergraph is equivalent to zero forcing on its incidence graph and show an equivalence between skew zero forcing on a graph and lazy burning on its neighborhood hypergraph. As a result, we show that finding an upper bound on the lazy burning number of a hypergraph is NP-complete, which resolves a conjecture from \cite{BJR}. By applying lazy burning, we show that computing an upper bound on the skew zero forcing number for bipartite graphs is NP-complete. We finish with open problems.
On high genus extensions of Negami's conjecture
Negami's famous planar cover conjecture is equivalent to the statement that a connected graph can be embedded in the projective plane if and only if it has a projective planar cover. In 1999, Hliněný proposed extending this conjecture to higher genus non-orientable surfaces. In this paper, we put forward a natural extension that encompasses orientable surfaces as well; for every compact surface $Σ$, a connected graph $G$ has a finite cover embeddable in $Σ$ if and only if $G$ is embeddable in a surface covered by $Σ$.
As evidence toward this, we prove that for every surface $Σ$, the connected graphs with a finite cover embeddable in $Σ$ have bounded Euler genus. Moreover, we show that these extensions of Negami's conjecture are decidable for every compact surface of sufficiently large Euler genus, surpassing what is known for Negami's original conjecture. We also prove the natural analogue for countable graphs embeddable into a compact (orientable) surface. More precisely, we prove that a connected countable graph $G$ has a finite ply cover that embeds into a compact (orientable) surface if and only if $G$ embeds into a compact (orientable) surface.
Our most general theorem, from which these results are derived, is that there is a constant $c>0$ such that for every surface $Σ$, there exists a decreasing function $p_Σ:\mathbb{N} \to \mathbb{N}$ with $\lim_{g\to \infty}p_Σ(g) =0$ such that every finite cover embeddable in $Σ$ of any connected graph with Euler genus $g\ge c$ has ply at most $p_Σ(g)$.