Showing 20 papers (Total: 81564 papers, 47262 authors in database)
Matroid products via submodular coupling
The study of matroid products traces back to the 1970s, when Lovász and Mason studied the existence of various types of matroid products with different strengths. Among these, the tensor product is arguably the most important, which can be considered as an extension of the tensor product from linear algebra. However, Las Vergnas showed that the tensor product of two matroids does not always exist. Over the following four decades, matroid products remained surprisingly underexplored, regaining attention only in recent years due to applications in tropical geometry and the limit theory of matroids.
In this paper, inspired by the concept of coupling in probability theory, we introduce the notion of coupling for matroids -- or, more generally, for submodular set functions. This operation can be viewed as a relaxation of the tensor product. Unlike the tensor product, however, we prove that a coupling always exists for any two submodular functions and can be chosen to be increasing if the original functions are increasing. As a corollary, we show that two matroids always admit a matroid coupling, leading to a novel operation on matroids. Our construction is algorithmic, providing an oracle for the coupling matroid through a polynomial number of oracle calls to the original matroids.
We apply this construction to derive new necessary conditions for matroid representability and establish connection between tensor products and Ingleton's inequality. Additionally, we verify the existence of set functions that are universal with respect to a given property, meaning any set function over a finite domain with that property can be obtained as a quotient.
Basecondary polytopes
Many (if not most) of convex polytopes, important for combinatorial and algebraic geometry, are closely related to secondary polytopes of point configurations, or base polytopes of submodular functions, or their numerous variations and generalizations.
The aim of this text is to introduce the class of basecondary polytopes. This class includes (and allows to study uniformly) the aforementioned ones, as well as some others, e.g. appearing as Newton polytopes of important discriminant hypersurfaces.
Most notably, this includes the discriminant of the Lyashko--Looijenga map, which is important for enumerative geometry of ramified coverings and cannot be reduced (by far) to Gelfand--Kapranov--Zelevinsky's A-discriminants and secondary polytopes.
Parks: A Doubly Infinite Family of NP-Complete Puzzles and Generalizations of A002464
Published
• View Publication
• BIB
The Parks Puzzle is a paper-and-pencil puzzle game that is classically played on a square grid with different colored regions (the parks). The player needs to place a certain number of "trees" in each row, column, and park such that none are adjacent, even diagonally. We define a doubly-infinite family of such puzzles, the $(c, r)$-tree Parks puzzles, where there need be $c$ trees per column and $r$ per row. We then prove that for each $c$ and $r$ the set of $(c, r)$-tree puzzles is NP-complete. For each $c$ and $r$, there is a sequence of possible board sizes $m \times n$, and the number of possible puzzle solutions for these board sizes is a doubly-infinite generalization of OEIS sequence A002464, which itself describes the case $c = r = 1$. This connects the Parks puzzle to chess-based puzzle problems, as the sequence describes the number of ways to place non-attacking kings on a chessboard so that there is exactly one in each column and row (i.e. to place non-attacking dragon kings in shogi). These findings add yet another puzzle to the set of chess puzzles and expands the list of known NP-complete problems described.
On the unimodality of nearly well-dominated trees
A polynomial is said to be unimodal if its coefficients are non-decreasing and then non-increasing. The domination polynomial of a graph $G$ is the generating function of the number of dominating sets of each cardinality in $G$. In \cite{IntroDomPoly2014} Alikhani and Peng conjectured that all domination polynomials are unimodal. In this paper we show that not all trees have log-concave domination polynomial. We also give non-increasing and non-decreasing segments of coefficents in trees. This allows us to show the domination polynomial trees with $Γ(T)-γ(T)<3$ are unimodal.
Cantor-Schröder-Bernstein theorem for a class of countable linear orders
The shuffle of a non-empty countable set $ S $ of linear orders is the (unique up to isomorphism) linear order $ Ξ(S) $ obtained by fixing a coloring function $ χ: \mathbb{Q} \to S $ having fibers dense in $ \mathbb{Q} $ and replacing each rational $ q $ in $ (\mathbb{Q}, <) $ with an isomorphic copy of $ χ(q) $. We prove that any two countable shuffles that embed as convex subsets into each other are order isomorphic.
Reconfiguration graphs for minimal domination sets
A dominating set $S$ in a graph is a subset of vertices such that every vertex is either in $S$ or adjacent to a vertex in $S$. A minimal dominating set $M$ is a dominating set such that $M-v$ is not a dominating set for all $v \in M$. In this paper we introduce a reconfiguration graph $\mathcal{R}(G)$ for minimal dominating sets under a generalization of the token sliding model. We give some preliminary results which include showing that $\mathcal{R}(G)$ is connected for trees and split graphs. Additionally we classify all graphs which have $\mathcal{R}(G) = K_n$ and $\mathcal{R}(G) = \overline{K_n}$ for all $n$.
Combinatorial Göttsche-Schroeter invariants in any genus
Göttsche-Schroeter invariants are a genus 0 extension of Block-Göttsche invariants. They interpolate between Welschinger invariants involving pairs of complex conjugated points and genus 0 descendant Gromov-Witten invariants. They can be computed by a floor diagram algorithm.
In this paper, we show that this floor diagrams recipe actually leads to some invariants in any genus. This generalizes Göttsche-Schroter invariant in higher genus in a combinatorial way. We then prove some polynomiality result and establish a link with invariants defined by Shustin and Sinichkin. We provide many examples. In particular, we conjecture that these combinatorial invariants satisfy the Abramovich-Bertram formula.
Repeated Lefschetz-like decompositions for flag doubly Cohen--Macaulay simplicial complexes and gamma vectors of flag spheres
We find decompositions of $h$-polynomials of flag doubly Cohen-Macaulay simplicial complex that yield a direct connection between gamma vectors of flag spheres and constructions used to build them geometrically. More specifically, they are determined by iterated double suspensions and a "net nonnegative set of edge subdivisions" taking it to the given flag doubly Cohen-Macaulay simplicial complex. By a "net nonnegative set of edge subdivision", we mean a collection of edge subdivisions and contractions where there are at least as many edge subdivisions as contractions.
Returning to the flag spheres, these repeated decompositions involve links over collections of disjoint edges and give an analogue of a Lefschetz map that applies to each step of the decomposition. The constructions used also give a direct interpretation of the Boolean decompositions coming from links and those of the entire simplicial complex. Roughly speaking, the Boolean vs. non-Boolean distinction is used to measure how far a flag sphere is from being the boundary of a cross polytope. An analogue of this statement for flag doubly Cohen-Macaulay simplicial complexes would replace boundaries of cross polytopes by repeated suspensions of links over edges of the given simplicial complex.
A short proof of the Hilton-Milner Theorem
Published
• View Publication
• BIB
We give a short and relatively elementary proof of the Hilton-Milner Theorem.
Recent advances on minimal codes
In this short survey we concern ourselves with minimal codes, a classical object in coding theory. We will explain the relation between minimal codes and various other mathematical domains, in particular with finite projective geometry. This latter connection has sparked a renewed interest in minimal codes, giving rise to new constructions as well as new questions.
The Erdős-Pósa property for infinite graphs
We investigate which classes of infinite graphs have the Erdős-Pósa property (EPP). In addition to the usual EPP, we also consider the following infinite variant of the EPP: a class $\mathcal{G}$ of graphs has the $κ$-EPP, where $κ$ is an infinite cardinal, if for any graph $Γ$ there are either $κ$ disjoint graphs from $\mathcal{G}$ in $Γ$ or there is a set $X$ of vertices of $Γ$ of size less than $κ$ such that $Γ- X$ contains no graph from $\mathcal{G}$. In particular, we study the ($κ$-)EPP for classes consisting of a single infinite graph $G$. We obtain positive results when the set of induced subgraphs of $G$ is labelled well-quasi-ordered, and negative results when $G$ is not a proper subgraph of itself (both results require some additional conditions). As a corollary, we obtain that every graph which does not contain a path of length $n$ for some $n \in \mathbb{N}$ has the EPP and the $κ$-EPP. Furthermore, we show that the class of all subdivisions of any tree $T$ has the $κ$-EPP for every uncountable cardinal $κ$, and if $T$ is rayless, also the $\aleph_0$-EPP and the EPP.
Linear-Time Algorithms for k-Edge-Connected Components, k-Lean Tree Decompositions, and More
Published
• View Publication
• BIB
We present $k^{O(k^2)} m$ time algorithms for various problems about decomposing a given undirected graph by edge cuts or vertex separators of size $<k$ into parts that are ``well-connected'' with respect to cuts or separators of size $<k$; here, $m$ is the total number of vertices and edges of the graph. As an application of our results, we obtain for every fixed $k$ a linear-time algorithm for computing the $k$-edge-connected components of a given graph, solving a long-standing open problem. More generally, we obtain a $k^{O(k^2)} m$ time algorithm for computing a $k$-Gomory-Hu tree of a given graph, which is a structure representing pairwise minimum cuts of size $<k$.
Our main technical result, from which the other results follow, is a $k^{O(k^2)} m$ time algorithm for computing a $k$-lean tree decomposition of a given graph. This is a tree decomposition with adhesion size $<k$ that captures the existence of separators of size $<k$ between subsets of its bags. A $k$-lean tree decomposition is also an unbreakable tree decomposition with optimal unbreakability parameters for the adhesion size bound $k$.
As further applications, we obtain $k^{O(k^2)} m$ time algorithms for $k$-vertex connectivity and for element connectivity $k$-Gomory-Hu tree. All of our algorithms are deterministic.
Our techniques are inspired by the tenth paper of the Graph Minors series of Robertson and Seymour and by Bodlaender's parameterized linear-time algorithm for treewidth.
A note on the lacking polynomial of the complete bipartite graph
Published
• View Publication
• BIB
The lacking polynomial is a graph polynomial introduced by Chan, Marckert, and Selig in 2013 that is closely related to the Tutte polynomial of a graph. It arose by way of a generalization of the Abelian sandpile model and is essentially the generating function of the level statistic on the set of recurrent configurations, called stochastically recurrent states, for that model. In this note we consider the lacking polynomial of the complete bipartite graph. We classify the stochastically recurrent states of the stochastic sandpile model on the complete bipartite graphs $K_{2,n}$ and $K_{m,2}$ where the sink is always an element of the set counted by the first index. We use these characterizations to give explicit formulae for the lacking polynomials of these graphs. Log-concavity of the sequence of coefficients of these two lacking polynomials is proven, and we conjecture log-concavity holds for this general class of graphs.
A Note on the Rogers-Szegö Polynomial $q$-Differential Operators
In this paper, we introduce the Rogers-Szegö deformed $q$-differential operators g$_{n}(bD_{q}|u)$ based on $q$-differential operator $D_{q}$. The motivation for introducing the operators g$_{n}(bD_{q})$ is that their limit turns out to be the $q$-exponential operator T$(bD_{q})$ given by Chen. The deformed homogeneous Al-Salam-Carlitz polynomials $Ψ_{m}^{(q^{-n})}(ub,x|uq^{-1})$ can easily be represented by using the operators g$_{n}(bD_{q}|u)$. Identities relating the new general Al-Salam-Carlitz polynomial, defined by Cao et al., the generalized, and homogeneous Al-Salam-Carlitz polynomials $Φ_{m}^{(q^n)}(b,x|q)$ and basic hypergeometric series are given.
On the $d$-independence number in 1-planar graphs
Published
• View Publication
• BIB
The $d$-independence number of a graph $G$ is the largest possible size of an independent set $I$ in $G$ where each vertex of $I$ has degree at least $d$ in $G$. Upper bounds for the $d$-independence number in planar graphs are well-known for $d=3,4,5$, and can in fact be matched with constructions that actually have minimum degree $d$. In this paper, we explore the same questions for 1-planar graphs, i.e., graphs that can be drawn in the plane with at most one crossing per edge. We give upper bounds for the $d$-independence number for all $d$. Then we give constructions that match the upper bound, and (for small $d$) also have minimum degree $d$.
The Gap Between Greedy Algorithm and Minimum Multiplicative Spanner
The greedy algorithm adapted from Kruskal's algorithm is an efficient and folklore way to produce a $k$-spanner with girth at least $k+2$. The greedy algorithm has shown to be `existentially optimal', while it's not `universally optimal' for any constant $k$. Here, `universal optimality' means an algorithm can produce the smallest $k$-spanner $H$ given any $n$-vertex input graph $G$.
However, how well the greedy algorithm works compared to `universal optimality' is still unclear for superconstant $k:=k(n)$. In this paper, we aim to give a new and fine-grained analysis of this problem in undirected unweighted graph setting. Specifically, we show some bounds on this problem including the following two
(1) On the negative side, when $k<\frac{1}{3}n-O(1)$, the greedy algorithm is not `universally optimal'.
(2) On the positive side, when $k>\frac{2}{3}n+O(1)$, the greedy algorithm is `universally optimal'.
We also introduce an appropriate notion for `approximately universal optimality'. An algorithm is $(α,β)$-universally optimal iff given any $n$-vertex input graph $G$, it can produce a $k$-spanner $H$ of $G$ with size $|H|\leq n+α(|H^*|-n)+β$, where $H^*$ is the smallest $k$-spanner of $G$. We show the following positive bounds.
(1) When $k>\frac{4}{7}n+O(1)$, the greedy algorithm is $(2,O(1))$-universally optimal.
(2) When $k>\frac{12}{23}n+O(1)$, the greedy algorithm is $(18,O(1))$-universally optimal.
(3) When $k>\frac{1}{2}n+O(1)$, the greedy algorithm is $(32,O(1))$-universally optimal.
All our proofs are constructive building on new structural analysis on spanners. We give some ideas about how to break small cycles in a spanner to increase the girth. These ideas may help us to understand the relation between girth and spanners.
The Width of Hamming Balls
The width of a poset is the size of its largest antichain. Sperner's theorem states that $(2^{[n]},\subset)$ is a poset whose width equals the size of its largest layer. We show that Hamming ball posets also have this property. This extends earlier work that proves this in the case of small radii. Our proof is inspired by (and corrects) a result of Harper.
Extremizing antiregular graphs by modifying total $σ$-irregularity
Published
• View Publication
• BIB
The total $σ$-irregularity is given by $
σ_t(G) = \sum_{\{u,v\} \subseteq V(G)} \left(d_G(u) - d_G(v)\right)^2, $
where $d_G(z)$ indicates the degree of a vertex $z$ within the graph $G$. It is known that the graphs maximizing $σ_{t}$-irregularity are split graphs with only a few distinct degrees. Since one might typically expect that graphs with as many distinct degrees as possible achieve maximum irregularity measures, we modify this invariant to $
\IR(G)= \sum_{\{u,v\} \subseteq V(G)} |d_G(u)-d_G(v)|^{f(n)}, $
where $n=|V(G)|$ and $f(n)>0$. We study under what conditions the above modification obtains its maximum for antiregular graphs. We consider general graphs, trees, and chemical graphs, and accompany our results with a few problems and conjectures.
New arithmetic invariants for cospectral graphs
An invariant for cospectral graphs is a property shared by all cospectral graphs. In this paper, we establish three novel arithmetic invariants for cospectral graphs, revealing deep connections between spectral properties and combinatorial structures. More precisely, one of our main results shows that for any two cospectral graphs $G$ and $H$ with adjacency matrices $A(G)$ and $A(H)$, respectively, the following congruence holds for all integers $m\geq 0$:\[e^{\rm T}A(G)^me\equiv e^{\rm T}A(H)^me \pmod{4},\] where $e$ is the all-one vector. Moreover, we present a number of fascinating applications. Specifically: i) Resolving a conjecture proposed by the third author, we demonstrate that under certain conditions, every graph cospectral with a graph $G$ is determined by its generalized spectrum. ii) We demonstrate that whenever the complements of two trees are cospectral, then one tree has a perfect matching if and only if the other does. An analogous result holds for the existence of triangles in general graphs. iii) An unexpected connection to the polynomial reconstruction problem is also provided, showing that the parity of the constant term of the characteristic polynomial is reconstructible.
What do sin$(x)$ and arcsinh$(x)$ have in Common?
N. G. de Bruijn (1958) studied the asymptotic expansion of iterates of sin$(x)$ with $0 < x \leq π/2$. Bencherif & Robin (1994) generalized this result to increasing analytic functions $f(x)$ with an attractive fixed point at 0 and $x > 0$ suitably small. Mavecha & Laohakosol (2013) formulated an algorithm for explicitly deriving required parameters. We review their method, testing it initally on the logistic function $\ell(x)$, a certain radical function $r(x)$, and later on several transcendental functions. Along the way, we show how $\ell(x)$ and $r(x)$ are kindred functions; the same is also true for sin$(x)$ and arcsinh$(x)$.