Showing 20 papers (Total: 83190 papers, 48060 authors in database)
Simple Approximations for General Spanner Problems
Consider a graph with n nodes and m edges, independent edge weights and lengths, and arbitrary distance demands for node pairs. The spanner problem asks for a minimum-weight subgraph that satisfies these demands via sufficiently short paths w.r.t. the edge lengths. For multiplicative alpha-spanners (where demands equal alpha times the original distances) and assuming that each edge's weight equals its length, the simple Greedy heuristic by Althöfer et al. (1993) is known to yield strong solutions, both in theory and practice. To obtain guarantees in more general settings, recent approximations typically abandon this simplicity and practicality. Still, so far, there is no known non-trivial approximation algorithm for the spanner problem in its most general form. We provide two surprisingly simple approximations algorithms. In general, our Augmented Greedy achieves the first unconditional approximation ratio of m, which is non-trivial due to the independence of weights and lengths. Crucially, it maintains all size and weight guarantees Greedy is known for, i.e., in the aforementioned multiplicative alpha-spanner scenario and even for additive +beta-spanners. Further, it generalizes some of these size guarantees to derive new weight guarantees. Our second approach, Randomized Rounding, establishes a graph transformation that allows a simple rounding scheme over a standard multicommodity flow LP. It yields an O(n log n)-approximation, assuming integer lengths and polynomially bounded distance demands. The only other known approximation guarantee in this general setting requires several complex subalgorithms and analyses, yet we match it up to a factor of O(n^{1/5-eps}) using standard tools. Further, on bounded-degree graphs, we yield the first O(log n) approximation ratio for constant-bounded distance demands (beyond multiplicative 2-spanners in unit-length graphs).
A Graph Width Perspective on Partially Ordered Hamiltonian Paths and Cycles I: Treewidth, Pathwidth, and Grid Graphs
We consider the problem of finding a Hamiltonian path or a Hamiltonian cycle with precedence constraints in the form of a partial order on the vertex set. We show that the path problem is $\mathsf{NP}$-complete for graphs of pathwidth 4 while the cycle problem is $\mathsf{NP}$-complete on graphs of pathwidth 5. We complement these results by giving polynomial-time algorithms for graphs of pathwidth 3 and treewidth 2 for Hamiltonian paths as well as pathwidth 4 and treewidth 3 for Hamiltonian cycles. Furthermore, we study the complexity of the path and cycle problems on rectangular grid graphs of bounded height. For these, we show that the path and cycle problems are $\mathsf{NP}$-complete when the height of the grid is greater or equal to 7 and 9, respectively. In the variant where we look for minimum edge-weighted Hamiltonian paths and cycles, the problems are $\mathsf{NP}$-hard for heights 5 and 6, respectively.
Sabotage the Mantel Theorem
Published
• View Publication
• BIB
One of the earliest results in extremal graph theory, Mantel's theorem, states that the maximum number of edges in a triangle-free graph $G$ on $n$ vertices is $\lfloor n^2/4 \rfloor$. We investigate how this extremal bound is affected when $G$ is additionally required to contain a prescribed graph $\mathbb{P}$ as a subgraph. We establish general upper and lower bounds for this problem, which are tight in the exponent for random triangle-free graphs and graphs generated by the triangle-free process, when the size of $\mathbb{P}$ lies within certain ranges.
Steiner Systems over Mixed Alphabet and Related Designs
A mixed Steiner system MS$(t,k,Q)$ is a set (code) $C$ of words of weight $k$ over an alphabet $Q$, where not all coordinates of a word have the same alphabet size, each word of weight $t$, over $Q$, has distance $k-t$ from exactly one codeword of $C$, and the minimum distance of the code $2(k-t)+1$. Mixed Steiner systems are constructed from perfect mixed codes, resolvable designs, large set, orthogonal arrays, and a new type of pairs-triples design. Necessary conditions for the existence of mixed Steiner systems are presented and it is proved that there are no large sets of these Steiner systems.
Further generalization of central sets theorem for partial semigroups and vip systems
The Central Sets Theorem, a fundamental result in Ramsey theory, is a joint extension of both Hindman's theorem and van der Waerden's theorem. It was originally introduced by H. Furstenberg using methods from topological dynamics. Later, using the algebraic structure of the Stone-$Č$ech compactification $β$ S of a semigroup S, N. Hindman and V. Bergelson extended the theorem in 1990. H. Shi and H. Yang established a topological dynamical characterization of central sets in an arbitrary semigroup (S,+), and showed it to be equivalent to the usual algebraic characterization. D. De, N. Hindman, and D. Strauss later proved a stronger version of the Central Sets Theorem for semigroups in 2008. D. Phulara further genaralized the result for commutative semigroups in 2015. Recently in his work, Zhang generalized it further and proved the central sets theorem for uncountably many central sets. We extend the theorem to arbitrary adequate partial semigroups and VIP systems.
Canonical partial ordering from min-cuts and quantum entanglement in random tensor networks
The \emph{max-flow min-cut theorem} has been recently used in the theory of random tensor networks in quantum information theory, where it is helpful for computing the behavior of important physical quantities, such as the entanglement entropy. In this paper, we extend the max-flow min-cut theorem to a relation among different \emph{partial orders} on the set of vertices of a network and introduce a new partial order for the vertices based on the \emph{min-cut structure} of the network. We apply the extended max-flow min-cut theorem to random tensor networks and find that the \emph{finite correction} to the entanglement Rényi entropy arising from the degeneracy of the min-cuts is given by the number of \emph{order morphisms} from the min-cut partial order to the partial order induced by non-crossing partitions on the symmetric group. Moreover, we show that the number of order morphisms corresponds to moments of a graph-dependent measure which generalizes the free Bessel law in some special cases in free probability theory.
Linear relations of colored Gaussian cycles
A colored Gaussian graphical model is a linear concentration model in which equalities among the concentrations are specified by a coloring of an underlying graph. Marigliano and Davies conjectured that every linear binomial that appears in the vanishing ideal of an undirected colored cycle corresponds to a graph symmetry. We prove this conjecture for 3,5, and 7 cycles and disprove it for colored cycles of any other length. We construct the counterexamples by proving the fact that the determinant of the concentration matrices of two colored paths can be equal even when they are not identical or reflection of each other. We also explore the potential strengthening of the conjecture and prove a revised version of the conjecture.
$C_4$-free subgraphs of high degree with geometric applications
The Zarankiewicz problem, a cornerstone problem in extremal graph theory, asks for the maximum number of edges in an $n$-vertex graph that does not contain the complete bipartite graph $K_{s,s}$. While the problem remains widely open in the case of general graphs, the past two decades have seen significant progress on this problem for various restricted graph classes -- particularly those arising from geometric settings -- leading to a deeper understanding of their structure.
In this paper, we develop a new structural tool for addressing Zarankiewicz-type problems. More specifically, we show that for any positive integer $k$, every graph with average degree $d$ either contains an induced $C_4$-free subgraph with average degree at least $k$, or it contains a $d$-vertex subgraph with $Ω_k(d^2)$ edges. As an application of this dichotomy, we propose a unified approach to a large number of Zarankiewicz-type problems in geometry, obtaining optimal bounds in each case.
The Neighbour Sum Problem on Trees
A graph $\mathcal G = (\mathcal V, \mathcal E)$ is said to satisfy the Neighbour Sum Property if there exists some $f:\mathcal V\to\mathbb R$ such that $f\not\equiv 0$ and it maps every vertex to the sum of the values taken by its neighbours. In this article, we provide an algorithm to check whether a given finite tree satisfies the neighbour sum property. We also find a large class of trees on $n$ vertices that satisfy the property.
Approximate Itai-Zehavi conjecture for random graphs
A famous conjecture by Itai and Zehavi states that, for every $d$-vertex-connected graph $G$ and every vertex $r$ in $G$, there are $d$ spanning trees of $G$ such that, for every vertex $v$ in $G\setminus \{r\}$, the paths between $r$ and $v$ in different trees are internally vertex-disjoint. We show that with high probability the Itai-Zehavi conjecture holds asymptotically for the Erdős-Rényi random graph $G(n,p)$ when $np= ω(\log n)$ and for random regular graphs $G(n,d)$ when $d= ω(\log n)$. Moreover, we essentially confirm the conjecture up to a constant factor for sparser random regular graphs. This answers positively a question of Draganić and Krivelevich. Our proof makes use of recent developments on sprinkling techniques in random regular graphs.
Factorization norms and an inverse theorem for MaxCut
Published
• View Publication
• BIB
We prove that Boolean matrices with bounded $γ_2$-norm or bounded normalized trace norm must contain a linear-sized all-ones or all-zeros submatrix, verifying a conjecture of Hambardzumyan, Hatami, and Hatami. We also present further structural results about Boolean matrices of bounded $γ_2$-norm and discuss applications in communication complexity, operator theory, spectral graph theory, and extremal combinatorics.
As a key application, we establish an inverse theorem for MaxCut. A celebrated result of Edwards states that every graph $G$ with $m$ edges has a cut of size at least $\frac{m}{2}+\frac{\sqrt{8m+1}-1}{8}$, with equality achieved by complete graphs with an odd number of vertices. To contrast this, we prove that if the MaxCut of $G$ is at most $\frac{m}{2}+O(\sqrt{m})$, then $G$ must contain a clique of size $Ω(\sqrt{m})$.
The Gröbner basis for powers of a general linear form in a monomial complete intersection
Published
• View Publication
• BIB
We study almost complete intersection ideals in a polynomial ring, generated by powers of all the variables together with a power of their sum. Our main result is an explicit description of the reduced Gröbner bases for these ideals under any term order. Our approach is primarily combinatorial, focusing on the structure of the initial ideal. We associate a lattice path to each monomial in the vector space basis of an Artinian monomial complete intersection and introduce a reflection operation on these paths, which enables a key counting argument. As a consequence, we provide a new proof that Artinian monomial complete intersections possess the strong Lefschetz property over fields of characteristic zero. Our results also offer new insights into the longstanding problem of classifying the weak Lefschetz property for such intersections in characteristic $p$. Furthermore, we show that the number of Gröbner basis elements in each degree is connected to several well-known sequences, including the (generalized) Catalan, Motzkin, and Riordan numbers, and connect these numbers to the study of entanglement detection in spin systems within quantum physics.
Translating between the representations of an acyclic convex geometry of bounded degree
We consider the problem of translating between irreducible closed sets and implicational bases in closure systems. To date, the complexity status of this problem is widely open, and it is further known to generalize the notorious hypergraph dualization problem, even in the context of acyclic convex geometries, i.e., closure systems admitting an acyclic implicational base. This paper studies this later class with a focus on the degree, which corresponds to the maximal number of implications in which an element occurs. We show that the problem is tractable for bounded values of this parameter, even when relaxed to the notions of premise- and conclusion-degree. Our algorithms rely on structural properties of acyclic convex geometries and involve various techniques from algorithmic enumeration such as solution graph traversal, saturation techniques, and a sequential approach leveraging from acyclicity. They are shown to perform in incremental-polynomial time. Finally, we complete these results by showing that our running times cannot be improved to polynomial delay using the standard framework of flashlight search.
The 3-path-connectivity of the augmented cubes
Published
• View Publication
• BIB
Connectivity is a cornerstone concept in graph theory, essential for evaluating the robustness of networks against failures. To better capture fault tolerance in complex systems, researchers have extended classical connectivity notions, one such extension being the $k$-path-connectivity, $π_k(G)$, introduced by Hager. Given a connected simple graph $G = (V, E)$ and a subset $D \subseteq V$ with $|D| \geq 2$, a $D$-path is a path that includes all vertices in $D$. A collection of such paths is internally disjoint if they intersect only at the vertices of $D$ and share no edges. The maximum number of internally disjoint $D$-paths in $G$ is denoted $π_G(D)$, and the $k$-path-connectivity is defined as $π_k(G) = \min \{ π_G(D) \mid D \subseteq V(G),\ |D| = k\}$. In this paper, we investigate the 3-path-connectivity of the augmented cube $AQ_n$, a variant of the hypercube known for its enhanced symmetry and fault-tolerant structure. We establish the exact value of $π_3(AQ_n)$ and show that: $$
π_3(AQ_n) =
\begin{cases}
\frac{3n}{2} - 2, & \text{if } n \text{ is even},
\frac{3(n - 1)}{2} - 1, & \text{if } n \text{ is odd}.
\end{cases}
$$
On Link-irregular labelings of Graphs
We introduce the concept of link-irregular labelings for graphs, extending the notion of link-irregular graphs through edge labeling with positive integers. A labeling is link-irregular if every vertex has a uniquely labeled subgraph induced by its neighbors. We establish necessary and sufficient conditions for the existence of such labelings and define the link-irregular labeling number $η(G)$ as the minimum number of distinct labels required. Our main results include necessary and sufficient conditions for the existence of link-irregular labelings. We show that certain families of graphs, such as bipartite graphs, trees, cycles, hypercubes, and complete multipartite graphs, do not admit link-irregular labelings, while complete graphs and wheel graphs do. Specifically, we prove that $η(K_n) = 2$ for $n \geq 6$ and $η(K_n) = 3$ for $n \in \{3,4,5\}$. For wheel graphs $W_n$, we establish that $η(W_n) \approx \sqrt{2n}$ asymptotically. Finally, we prove that for every positive integer $n$, there exists a graph with a link-irregular labeling number exactly $n$, and provide several results on graph operations that preserve labeling numbers.
Semi-strictification of $(\infty, n)$-categories
We prove the first equivalence between a weak non-algebraic model and a semi-strict algebraic model of $(\infty, n)$-categories. This takes the form of a natural semi-strictification, whereby a weak $(\infty, n)$-category is embedded into a semi-strict one through an acyclic cofibration, in such a way that weak functors lift to semi-strict functors; this constitutes the derived unit of a Quillen equivalence between weak model categories whose fibrant objects are, respectively, the weak $(\infty, n)$-categories and (up to an acyclic fibration) the semi-strict ones. The semi-strict model has algebraic units and composition of round pasting diagrams, satisfying a strict form of associativity and interchange as in Henry's regular version of Simpson's weak units conjecture; semi-strict functors strictly preserve round composition, but only weakly preserve units. Globular composition operations are obtained from a combination of units and round composition. Since the models satisfy the homotopy hypothesis in the case $n = 0$, this result also exhibits the first semi-strict model of the classical homotopy types that has algebraic units and composition. The constructions are based on the combinatorics of regular directed complexes and are entirely explicit and combinatorial, in the spirit of Mac Lane's strictification of bicategories.
Compact Representation of Semilinear and Terrain-like Graphs
We consider the existence and construction of \textit{biclique covers} of graphs, consisting of coverings of their edge sets by complete bipartite graphs. The \textit{size} of such a cover is the sum of the sizes of the bicliques. Small-size biclique covers of graphs are ubiquitous in computational geometry, and have been shown to be useful compact representations of graphs. We give a brief survey of classical and recent results on biclique covers and their applications, and give new families of graphs having biclique covers of near-linear size.
In particular, we show that semilinear graphs, whose edges are defined by linear relations in bounded dimensional space, always have biclique covers of size $O(n\polylog n)$. This generalizes many previously known results on special classes of graphs including interval graphs, permutation graphs, and graphs of bounded boxicity, but also new classes such as intersection graphs of L-shapes in the plane. It also directly implies the bounds for Zarankiewicz's problem derived by Basit, Chernikov, Starchenko, Tao, and Tran (\textit{Forum Math. Sigma}, 2021).
We also consider capped graphs, also known as terrain-like graphs, defined as ordered graphs forbidding a certain ordered pattern on four vertices. Terrain-like graphs contain the induced subgraphs of terrain visibility graphs. We give an elementary proof that these graphs admit biclique partitions of size $O(n\log^3 n)$. This provides a simple combinatorial analogue of a classical result from Agarwal, Alon, Aronov, and Suri on polygon visibility graphs (\textit{Discrete Comput. Geom.} 1994).
Finally, we prove that there exists families of unit disk graphs on $n$ vertices that do not admit biclique coverings of size $o(n^{4/3})$, showing that we are unlikely to improve on Szemerédi-Trotter type incidence bounds for higher-degree semialgebraic graphs.
Continuous Noncrossing Partitions and Weighted Circular Factorizations
This article examines noncrossing partitions of the unit circle in the complex plane; we call these continuous noncrossing partitions. More precisely, we focus on the degree-$d$ continuous noncrossing partitions where unit complex numbers in the same block have identical $d$-th powers. We prove that the degree-$d$ continuous noncrossing partitions form a topological poset whose uncountable set of elements can be indexed by equivalence classes of objects we call weighted linear factorizations of factors of a $d$-cycle. Moreover, the maximal elements in this poset form a subspace homeomorphic to the dual Garside classifying space for the $d$-strand braid group.
The degree-$d$ continuous noncrossing partitions of the unit circle are a special case of a more general construction. For every choice of Coxeter element $c$ in any Coxeter group $W$ we define a topological poset of equivalence classes of weighted linear factorizations of factors of $c$ in $W$ whose elements we call continuous $c$-noncrossing partitions. The maximal elements in this poset form a subspace homeomorphic to the one-vertex complex whose fundamental group is the corresponding dual Artin group.
Faces in rectilinear drawings of complete graphs
Published in European Journal of Combinatorics, 2025
• View Publication
• BIB
We initiate the study of extremal problems about faces in convex rectilinear drawings of~$K_n$, that is, drawings where vertices are represented by points in the plane in convex position and edges by line segments between the points representing the end-vertices. We show that if a convex rectilinear drawing of $K_n$ does not contain a common interior point of at least three edges, then there is always a face forming a convex 5-gon while there are such drawings without any face forming a convex $k$-gon with $k \geq 6$.
A convex rectilinear drawing of $K_n$ is \emph{regular} if its vertices correspond to vertices of a regular convex $n$-gon. We characterize positive integers $n$ for which regular drawings of $K_n$ contain a face forming a convex 5-gon.
To our knowledge, this type of problems has not been considered in the literature before and so we also pose several new natural open problems.
Edge-colouring and orientations: applications to degree-boundedness and $χ$-boundedness
We prove that every $2$-edge-coloured graph with sufficiently large minimum degree contains a monochromatic induced subgraph whose minimum degree remains large.
As a consequence, we deduce that some classes of graphs are degree-bounded. A class $\mathcal{G}$ is {\it degree-bounded} if, for every integer $s$, there exists $d=d(s)$ such that every graph $G\in \mathcal{G}$ either contains $K_{s,s}$ or has minimum degree at most $d$. We obtain that the following classes are degree-bounded: (i) for every $k$, the graphs $G$ whose edge-set can be $k$-coloured such that no even hole of $G$ is monochromatic; (ii) for every fixed antidirected forest $F$, the graphs admitting an orientation without any induced copy of $F$; (iii) for every $\ell\geq 4$, the graphs admitting an orientation without any induced antidirected cycle of length at least $\ell$.
For $k=2$, class (i) contains odd-signable graphs. Class (ii) characterises the oriented graphs $H$ such that the class of graphs admitting an orientation without any induced copy of $H$ is degree-bounded. For $\ell=5$, class (iii) contains Burling graphs. In case (i) and case (iii) for $\ell=4$, we further obtain that the classes are polynomially $χ$-bounded.