Showing 20 papers (Total: 82139 papers, 47531 authors in database)
The excluded minors for three classes of 2-polymatroids having special types of natural matroids
Published in SIAM Journal on Discrete Mathematics, 2023
• View Publication
• BIB
If $\mathcal{C}$ is a minor-closed class of matroids, the class $\mathcal{C}'$ of integer polymatroids whose natural matroids are in $\mathcal{C}$ is also minor closed, as is the class $\mathcal{C}'_k$ of $k$-polymatroids in $\mathcal{C}'$. We find the excluded minors for $\mathcal{C}'_2$ when $\mathcal{C}$ is (i) the class of binary matroids, (ii) the class of matroids with no $M(K_4)$-minor, and, combining those, (iii) the class of matroids whose connected components are cycle matroids of series-parallel networks. In each case the class $\mathcal{C}$ has finitely many excluded minors, but that is true of $\mathcal{C}'_2$ only in case (ii). We also introduce the $k$-natural matroid, a variant of the natural matroid for a $k$-polymatroid, and use it to prove that these classes of 2-polymatroids are closed under 2-duality.
Routing permutations on spectral expanders via matchings
Published
• View Publication
• BIB
We consider the following matching-based routing problem. Initially, each vertex $v$ of a connected graph $G$ is occupied by a pebble which has a unique destination $π(v)$. In each round the pebbles across the edges of a selected matching in $G$ are swapped, and the goal is to route each pebble to its destination vertex in as few rounds as possible. We show that if $G$ is a sufficiently strong $d$-regular spectral expander then any permutation $π$ can be achieved in $O(\log n)$ rounds. This is optimal for constant $d$ and resolves a problem of Alon, Chung, and Graham [SIAM J. Discrete Math., 7 (1994), pp. 516--530].
Enumerative and Distributional Results for $d$-combining Tree-Child Networks
Published
• View Publication
• BIB
Tree-child networks are one of the most prominent network classes for modeling evolutionary processes which contain reticulation events. Several recent studies have addressed counting questions for bicombining tree-child networks in which every reticulation node has exactly two parents. We extend these studies to $d$-combining tree-child networks where every reticulation node has now $d\geq 2$ parents, and we study one-component as well as general tree-child networks. For the number of one-component networks, we derive an exact formula from which asymptotic results follow that contain a stretched exponential for $d=2$, yet not for $d \geq 3$. For general networks, we find a novel encoding by words which leads to a recurrence for their numbers. From this recurrence, we derive asymptotic results which show the appearance of a stretched exponential for all $d \geq 2$. Moreover, we also give results on the distribution of shape parameters (e.g., number of reticulation nodes, Sackin index) of a network which is drawn uniformly at random from the set of all tree-child networks with the same number of leaves. We show phase transitions depending on $d$, leading to normal, Bessel, Poisson, and degenerate distributions. Some of our results are new even in the bicombining case.
A Proof of the Alternate Thomassé Conjecture for Countable $NE$-Free Posets
Published
• View Publication
• BIB
An $N$-free poset is a poset whose comparability graph does not embed an induced path with four vertices. We use the well-quasi-order property of the class of countable $N$-free posets and some labelled ordered trees to show that a countable $N$-free poset has one or infinitely many siblings, up to isomorphism. This, partially proves a conjecture stated by Thomassé for this class.
On Infinitely Many Siblings for Locally Finite Trees with Parabolic Embeddings
Parabolic (resp. hyperbolic) self-embeddings of trees are those which do not fix a non-empty finite subtree and preserve precisely one (resp. two) end(s). We prove that a locally finite tree having a parabolic self-embedding is mutually embeddable with infinitely many pairwise non-isomorphic trees, unless the tree is a one-way infinite path. As a result, we conclude that two important properties identified by Bonato-Tardif and Tyomkyn hold for locally finite trees not having any hyperbolic self-embedding.
Counting tournament score sequences
Published
• View Publication
• BIB
The score sequence of a tournament is the sequence of the out-degrees of its vertices arranged in nondecreasing order. The problem of counting score sequences of a tournament with $n$ vertices is more than 100 years old (MacMahon 1920). In 2013 Hanna conjectured a surprising and elegant recursion for these numbers. We settle this conjecture in the affirmative by showing that it is a corollary to our main theorem, which is a factorization of the generating function for score sequences with a distinguished index. We also derive a closed formula and a quadratic time algorithm for counting score sequences.
Graphs which satisfy a Vizing-like bound for power domination of Cartesian products
Power domination is a two-step observation process that is used to monitor power networks and can be viewed as a combination of domination and zero forcing. Given a graph $G$, a subset $S\subseteq V(G)$ that can observe all vertices of $G$ using this process is known as a power dominating set of $G$, and the power domination number of $G$, $γ_P(G)$, is the minimum number of vertices in a power dominating set. We introduce a new partition on the vertices of a graph to provide a lower bound for the power domination number. We also consider the power domination number of the Cartesian product of two graphs, $G \Box H$, and show certain graphs satisfy a Vizing-like bound with regards to the power domination number. In particular, we prove that for any two trees $T_1$ and $T_2$, $γ_P(T_1)γ_P(T_2) \leq γ_P(T_1 \Box T_2)$.
Power domination in cubic graphs and Cartesian products
Published
• View Publication
• BIB
The power domination problem focuses on finding the optimal placement of phase measurement units (PMUs) to monitor an electrical power network. In the context of graphs, the power domination number of a graph $G$, denoted $γ_P(G)$, is the minimum number of vertices needed to observe every vertex in the graph according to a specific set of observation rules. In \cite{ZKC_cubic}, Zhao et al. proved that if $G$ is a connected claw-free cubic graph of order $n$, then $γ_P(G) \leq n/4$. In this paper, we show that if $G$ is a claw-free diamond-free cubic graph of order $n$, then $γ_P(G) \le n/6$, and this bound is sharp. We also provide new bounds on $γ_P(G \Box H)$ where $G\Box H$ is the Cartesian product of graphs $G$ and $H$. In the specific case that $G$ and $H$ are trees whose power domination number and domination number are equal, we show the Vizing-like inequality holds and $γ_P(G \Box H) \ge γ_P(G)γ_P(H)$.
Explicit statement of a conjecture on resultantal varieties
The paper [GLZ] "L-functions of Carlitz modules, resultantal varieties and rooted binary trees" is devoted to a description of some resultantal varieties related to L-functions of Carlitz modules. It contains a conjecture that some of these varieties coincide. This conjecture can be formulated in terms of polynomials, namely, in terms of a fact that an explicitly defined polynomial belongs to the radical of the ideal generated by some other polynomials. We give an explicit statement of this conjecture and a numerical result.
Construction of smooth rhythms through a monotone invariant measure
Published
• View Publication
• BIB
The present article introduces the notion of quasi-smoothness of marked rhythms through a certain transformation $Ref$, called reformation map. A marked rhythm consists of a rhythm together with a marker, and the map $Ref$ modifies the marked onset of the rhythm. It is shown that an iteration of the map $Ref$ transforms an arbitrary marked rhythm into a quasi-smooth one. A numerical criterion for a marked rhythm to be quasi-smooth is given in terms of the difference of its rhythm part. Through this criterion, the rhythm part of any quasi-smooth marked rhythm is shown to be smooth.
A Double-oracle, Logic-based Benders decomposition approach to solve the K-adaptability problem
Published
• View Publication
• BIB
We propose a novel approach to solve K-adaptability problems with convex objective and constraints and integer first-stage decisions. A logic-based Benders decomposition is applied to handle the first-stage decisions in a master problem, thus the sub-problem becomes a min-max-min robust combinatorial optimization problem that is solved via a double-oracle algorithm that iteratively generates adverse scenarios and recourse decisions and assigns scenarios to K subsets of the decisions by solving p-center problems. Extensions of the proposed approach to handle parameter uncertainty in both the first-stage objective and the second-stage constraints are also provided. We show that the proposed algorithm converges to an optimal solution and terminates in finite number of iterations. Numerical results obtained from experiments on benchmark instances of the adaptive shortest path problem, the regular knapsack problem, and a generic K-adaptability problem demonstrate the performance advantage of the proposed approach when compared to state-of-the-art methods in the literature.
End Super Dominating Sets in Graphs
Published
• View Publication
• BIB
Let $G=(V,E)$ be a simple graph. A dominating set of $G$ is a subset $S\subseteq V$ such that every vertex not in $S$ is adjacent to at least one vertex in $S$. The cardinality of a smallest dominating set of $G$, denoted by $γ(G)$, is the domination number of $G$. Two vertices are neighbors if they are adjacent. A super dominating set is a dominating set $S$ with the additional property that every vertex in $V \setminus S$ has a neighbor in $S$ that is adjacent to no other vertex in $V \setminus S$. Moreover if every vertex in $V \setminus S$ has degree at least~$2$, then $S$ is an end super dominating set. The end super domination number is the minimum cardinality of an end super dominating set. We give applications of end super dominating sets as main servers and temporary servers of networks. We determine the exact value of the end super domination number for specific classes of graphs, and we count the number of end super dominating sets in these graphs. Tight upper bounds on the end super domination number are established, where the graph is modified by vertex (edge) removal and contraction.
Multi-access Coded Caching with Optimal Rate and Linear Subpacketization under PDA and Consecutive Cyclic Placement
Published
• View Publication
• BIB
This work considers the multi-access caching system proposed by Hachem et al., where each user has access to L neighboring caches in a cyclic wrap-around fashion. We first propose a placement strategy called the consecutive cyclic placement, which achieves the maximal local caching gain. Then under the consecutive cyclic placement, we derive the optimal coded caching gain from the perspective of Placement Delivery Array (PDA), thus obtaining a lower bound on the rate of PDA. Finally, under the consecutive cyclic placement, we construct a class of PDA, leading to a multi-access coded caching scheme with linear subpacketization, which achieves our derived lower bound for some parameters; while for other parameters, the achieved coded caching gain is only 1 less than the optimal one. Analytical and numerical comparisons of the proposed scheme with existing schemes are provided to validate the performance.
Hamilton decompositions of regular bipartite tournaments
A regular bipartite tournament is an orientation of a complete balanced bipartite graph $K_{2n,2n}$ where every vertex has its in- and outdegree both equal to $n$. In 1981, Jackson conjectured that any regular bipartite tournament can be decomposed into Hamilton cycles. We prove this conjecture for all sufficiently large bipartite tournaments. Along the way, we also prove several further results, including a conjecture of Liebenau and Pehova on Hamilton decompositions of dense bipartite digraphs.
Centering toric arrangements of maximal rank
Published
• View Publication
• BIB
The homotopy type of the complement manifold of a complexified toric arrangement has been investigated by d'Antonio and Delucchi in a paper that shows the minimality of such topological space. In this work we associate to a given toric arrangement a matrix that represents the arrangement over the integers. Then, we consider the family of toric arrangements for which this matrix has maximal rank. Our goal is to prove, by means of basic linear algebra arguments, that the complement manifold of the toric arrangements that belong to this family is diffeomorphic to that of centered toric arrangements and thus it is a minimal topological space, too.
The art of algorithmic guessing in $\texttt{gfun}$
Published in Proceedings of the Maple Conference 2021, Vol. 2 No. 1 (2022), pp. 14421:1 -- 14421:19
• View Publication
• BIB
The technique of guessing can be very fruitful when dealing with sequences which arise in practice. This holds true especially when guessing is performed algorithmically and efficiently. One highly useful tool for this purpose is the package named $\texttt{gfun}$ in the software Maple. In this text we explore and explain some of $\texttt{gfun}$'s possibilities and illustrate them on two examples from recent mathematical research by the author and his collaborators.
Counting arcs in $\mathbb F_q^2$
Published
• View Publication
• BIB
An arc in $\mathbb F_q^2$ is a set $P \subset \mathbb F_q^2$ such that no three points of $P$ are collinear. We use the method of hypergraph containers to prove several counting results for arcs. Let $\mathcal A(q)$ denote the family of all arcs in $\mathbb F_q^2$. Our main result is the bound \[ |\mathcal A(q)| \leq 2^{(1+o(1))q}. \] This matches, up to the factor hidden in the $o(1)$ notation, the trivial lower bound that comes from considering all subsets of an arc of size $q$.
We also give upper bounds for the number of arcs of a fixed (large) size. Let $k=q^t$ for some $t >2/3$, and let $\mathcal A(q,k)$ denote the family of all arcs in $\mathbb F_q^2$ with cardinality $k$. We prove that, for all $γ>0$ \[ |\mathcal A(q,k)| \leq \binom{(1+γ)q}{k}. \] This result improves a bound of Roche-Newton and Warren. A nearly matching lower bound \[ |\mathcal A(q,k)| \geq \binom{q}{k} \] follows by considering all subsets of size $k$ of an arc of size $q$.
3D domino tilings: irregular disks and connected components under flips
We consider three-dimensional domino tilings of cylinders $\mathcal{R}_N = \mathcal{D} \times [0,N]$ where $\mathcal{D} \subset \mathbb{R}^2$ is a fixed quadriculated disk and $N \in \mathbb{N}$. A domino is a $2 \times 1 \times 1$ brick. A flip is a local move in the space of tilings $\mathcal{T}(\mathcal{R}_N)$: remove two adjacent dominoes and place them back after a rotation. The twist is a flip invariant which associates an integer number to each tiling. For some disks $\mathcal{D}$, called regular, two tilings of $\mathcal{R}_N$ with the same twist can be joined by a sequence of flips once we add vertical space to the cylinder. We have that if $\mathcal{D}$ is regular then the size of the largest connected component under flips of $\mathcal{T}(\mathcal{R}_N)$ is $Θ(N^{-\frac{1}{2}}|\mathcal{T}(\mathcal{R}_N)|)$. The domino group $G_{\mathcal{D}}$ captures information of the space of tilings. A disk $\mathcal{D}$ is regular if and only if $G_{\mathcal{D}}$ is isomorphic to $\mathbb{Z} \oplus \mathbb{Z}/(2)$; sufficiently large rectangles are regular.
We prove that certain families of disks are irregular. We show that the existence of a bottleneck in a disk $\mathcal{D}$ often implies irregularity. In many, but not all, of these cases, we also prove that $\mathcal{D}$ is strongly irregular, i.e., that there exists a surjective homomorphism from $G_{\mathcal{D}}^+$ (a subgroup of index two of $G_{\mathcal{D}}$) to the free group of rank two. Moreover, we show that if $\mathcal{D}$ is strongly irregular then the cardinality of the largest connected component under flips of $\mathcal{T}(\mathcal{R}_N)$ is $O(c^N |\mathcal{T}(\mathcal{R}_N)|)$ for some $c \in (0,1)$.
The signless Laplacian spectral radius of graphs without trees
Let $Q(G)=D(G)+A(G)$ be the signless Laplacian matrix of a simple graph of order $n$, where $D(G)$ and $A(G)$ are the degree diagonal matrix and the adjacency matrix of $G$, respectively. In this paper, we present a sharp upper bound for the signless spectral radius of $G$ without any tree and characterize all extremal graphs which attain the upper bound, which may be regarded as a spectral extremal version for the famous Erdős-Sós conjecture.
Abelian sandpiles on Sierpinski gasket graphs
Published
• View Publication
• BIB
The aim of the current work is to investigate structural properties of the sandpile group of a special class of self-similar graphs. More precisely, we consider Abelian sandpiles on Sierpinski gasket graphs and for the choice of normal boundary conditions, we give a characterization of the identity element and a recursive description of the sandpile group. Finally, we consider Abelian sandpile Markov chains on the aforementioned graphs and we improve the existing bounds on the speed of convergence to stationarity.