Showing 20 papers (Total: 82851 papers, 47869 authors in database)
Quasi-(λ; n)-distance-balanced graphs
Published
• View Publication
• BIB
For every pair of vertices u and v with d(u; v) = n, Wun G v denotes the set of all vertices of G that are closer to u than to v. In this paper, we introduce quasi-(λ; n)-distance-balanced graphs and then study some properties of these graphs and present a formula to construct such graphs for arbitrarily diameter d. For n = 1, this class of graphs contains the quasi-λ-DB graphs recently introduced by Abedi et al. [Quasi-λ-distance-balanced graphs, Discrete Appl. Math. 227 (2017) 21{28]. Moreover, we will take a look at the problems arisen by Abedi et al. Some problems and conjecture are involved.
$A$-sequences, $Z$-sequence, and $B$-sequences of Riordan Matrices
We defined two type $B$-sequences of Riordan arrays and present the $A$-sequence characterization and $Z$-sequence characterization of the Riordan matrices with two type $B$-sequences. The subgroups characterized by $A$-sequences and $Z$-sequences are studied. The application of the sequence characterization to the RNA type matrices is discussed. Finally, we investigate the $A$-, $Z$-, and $B$-sequences of the Pascal like Riordan matrices.
Counting acyclic and strong digraphs by descents
Published in Discrete Math. 343 (2020), 112041
• View Publication
• BIB
A descent of a labeled digraph is a directed edge (s, t) with s > t. We count strong tournaments, strong digraphs, and acyclic digraphs by descents and edges. To count strong tournaments we use Eulerian generating functions and to count strong and acyclic digraphs we use a new type of generating function that we call a graphic Eulerian generating function.
Classes of graphs with low complexity: the case of classes with bounded linear rankwidth
Classes with bounded rankwidth are MSO-transductions of trees and classes with bounded linear rankwidth are MSO-transductions of paths -- a result that shows a strong link between the properties of these graph classes considered from the point of view of structural graph theory and from the point of view of finite model theory. We take both views on classes with bounded linear rankwidth and prove structural and model theoretic properties of these classes. The structural results we obtain are the following.
1) The number of unlabeled graphs of order $n$ with linear rank-width at most~$r$ is at most $\bigl[(r/2)!\,2^{\binom{r}{2}}3^{r+2}\bigr]^n$.
2) Graphs with linear rankwidth at most $r$ are linearly $χ$-bounded. Actually, they have bounded $c$-chromatic number, meaning that they can be colored with $f(r)$ colors, each color inducing a cograph.
3) To the contrary, based on a Ramsey-like argument, we prove for every proper hereditary family $F$ of graphs (like cographs) that there is a class with bounded rankwidth that does not have the property that graphs in it can be colored by a bounded number of colors, each inducing a subgraph in $F$.
From the model theoretical side we obtain the following results:
1) A direct short proof that graphs with linear rankwidth at most $r$ are first-order transductions of linear orders. This result could also be derived from Colcombet's theorem on first-order transduction of linear orders and the equivalence of linear rankwidth with linear cliquewidth.
2) For a class $C$ with bounded linear rankwidth the following conditions are equivalent: a) $C$ is stable, b) $C$ excludes some half-graph as a semi-induced subgraph, c) $C$ is a first-order transduction of a class with bounded pathwidth.
These results open the perspective to study classes admitting low linear rankwidth covers.
Zeta functions of graphs, their symmetries and extended Catalan numbers
In this paper we study spectral zeta functions associated to finite and infinite graphs. First we establish a meromorphic continuation of these functions under some general conditions. Then we study special values in the case of standard lattice graphs associated to free abelian groups. In particular we connect it to Catalan numbers in several ways, and obtain some non-trivial special values and functional symmetries. Furthermore we relate the values at the negative integers with the more studied Ihara zeta functions, and prove a few minor results that seem not to have been recorded before. Finally we consider the characteristic polynomial of the graph Laplacians, and in particular completely determine its coefficients for cyclic graphs using new analytical methods.
A note on the optimal rubbling in ladders and prisms
A pebbling move on a graph G consists of the removal of two pebbles from one vertex and the placement of one pebble on an adjacent vertex. Rubbling is a version of pebbling where an additional move is allowed, which is also called the strict rubbling move. In this new move, one pebble each is removed from u and v adjacent to a vertex w, and one pebble is added on w. The optimal rubbling number of a graph G is the smallest number m, such that one pebble can be moved to every given vertex from some pebble distribution of m pebbles by a sequence of rubbling moves. In this paper, we give short proofs to determine the rubbling number of cycles and the optimal rubbling number of paths, cycles, ladders, prisms and Mobius-ladders.
Chase-escape with death on trees
Published in Ann. Probab. 49(5): 2530-2547 (September 2021)
• View Publication
• BIB
Chase-escape is a competitive growth process in which red particles spread to adjacent uncolored sites, while blue particles overtake adjacent red particles. We introduce the variant in which red particles die and describe the phase diagram for the resulting process on infinite d-ary trees. A novel connection to weighted Catalan numbers makes it possible to characterize the critical behavior.
Tensor decompositions on simplicial complexes with invariance
Published in J. Symb. Comput. 124, 102299 (2024)
• View Publication
• BIB
We develop a framework to analyse invariant decompositions of elements of tensor product spaces. Namely, we define an invariant decomposition with indices arranged on a simplicial complex, and which is explicitly invariant under a group action. We prove that this decomposition exists for all invariant tensors after possibly enriching the simplicial complex. As a special case we recover tensor networks with translational invariance and the symmetric tensor decomposition. We also define an invariant separable decomposition and purification form, and prove similar existence results. Associated to every decomposition there is a rank, and we prove several inequalities between them. For example, we show by how much the rank increases when imposing invariance in the decomposition, and that the tensor rank is the largest of all ranks. Finally, we apply our framework to nonnegative tensors, where we define a nonnegative and a positive semidefinite decomposition on arbitrary simplicial complexes with group action. We show a correspondence to the previous ranks, and as a very special case recover the nonnegative, the positive semidefinite, the completely positive and the completely positive semidefinite transposed decomposition.
Rate-Memory Trade-off for Multi-access Coded Caching with Uncoded Placement
Published
• View Publication
• BIB
We study a multi-access variant of the popular coded caching framework, which consists of a central server with a catalog of $N$ files, $K$ caches with limited memory $M$, and $K$ users such that each user has access to $L$ consecutive caches with a cyclic wrap-around and requests one file from the central server's catalog. The server assists in file delivery by transmitting a message of size $R$ over a shared error-free link and the goal is to characterize the optimal rate-memory trade-off. This setup was studied previously by Hachem et al., where an achievable rate and an information-theoretic lower bound were derived. However, the multiplicative gap between them was shown to scale linearly with the access degree $L$ and thus order-optimality could not be established.
A series of recent works have used a natural mapping of the coded caching problem to the well-known index coding problem to derive tighter characterizations of the optimal rate-memory trade-off under the additional assumption that the caches store uncoded content. We follow a similar strategy for the multi-access framework and provide new bounds for the optimal rate-memory trade-off $R^*(M)$ over all uncoded placement policies. In particular, we derive a new achievable rate for any $L \ge 1$ and a new lower bound, which works for any uncoded placement policy and $L \ge K/2$. We then establish that the (multiplicative) gap between the new achievable rate and the lower bound is at most $2$ independent of all parameters, thus establishing an order-optimal characterization of $R^*(M)$ for any $L\ge K/2$. This is a significant improvement over the previously known gap result, albeit under the restriction of uncoded placement policies. Finally, we also characterize $R^*(M)$ exactly for a few special cases.
Complexity of Computing the Shapley Value in Games with Externalities
Published
• View Publication
• BIB
We study the complexity of computing the Shapley value in games with externalities. We focus on two representations based on marginal contribution nets (embedded MC-nets and weighted MC-nets). Our results show that while weighted MC-nets are more concise than embedded MC-nets, they have slightly worse computational properties when it comes to computing the Shapley value.
About Fibonacci trees III: multiple Fibonacci trees
Published
• View Publication
• BIB
In this third paper, we revisit the question to which extent the properties of the trees associated to the tilings $\{p,4\}$ of the hyperbolic plane are still true if we consider a finitely generated tree by the same rules but rooted at a black node? What happens if, considering the same distinction between black and white nodes but changing the place of the black son in the rules. What happens if we change the representation of the numbers by another set of digits?
We tackle all of these questions in the paper. The present paper is an extension of the previous papers arXiv:1904.12135 and arXiv:1907.04677.
On Orthogonal Vector Edge Coloring
Given a graph $G$ and a positive integer $d$, an orthogonal vector $d$-coloring of $G$ is an assignment $f$ of vectors of $\mathbb{R}^d$ to $V(G)$ in such a way that adjacent vertices receive orthogonal vectors. The orthogonal chromatic number of $G$, denoted by $χ_v(G)$, is the minimum $d$ for which $G$ admits an orthogonal vector $d$-coloring. This notion has close ties with the notions of Lovász Theta Function, quantum chromatic number, and many other problems, and even though this and related metrics have been extensively studied over the years, we have found that there is a gap in the knowledge concerning the edge version of the problem. In this article, we discuss this version and its relation with other insteresting known facts, and pose a question about the orthogonal chromatic index of cubic graphs.
Ramsey numbers of path-matchings, covering designs and 1-cores
Published
• View Publication
• BIB
A path-matching of order $p$ is a vertex disjoint union of nontrivial paths spanning $p$ vertices. Burr and Roberts, and Faudree and Schelp determined the 2-color Ramsey number of path-matchings. In this paper we study the multicolor Ramsey number of path-matchings. Given positive integers $r, p_1, \dots, p_r$, define $R^{PM}(p_1, \dots, p_r)$ to be the smallest integer $n$ such that in any $r$-coloring of the edges of $K_n$ there exists a path-matching of color $i$ and order at least $p_i$ for some $i\in [r]$. Our main result is that for $r\geq 2$ and $p_1\geq \dots\geq p_r\geq 2$, if $p_1\geq 2r-2$, then \[R^{PM}(p_1, \dots, p_r)= p_1- (r-1) + \sum_{i=2}^{r}\left\lceil\frac{p_i}{3}\right\rceil.\] Perhaps surprisingly, we show that when $p_1<2r-2$, it is possible that $R^{PM}(p_1, \dots, p_r)$ is larger than $p_1- (r-1) + \sum_{i=2}^{r}\left\lceil\frac{p_i}{3}\right\rceil$, but in any case we determine the correct value to within a constant (depending on $r$); i.e. \[p_1- (r-1) + \sum_{i=2}^{r}\left\lceil\frac{p_i}{3}\right\rceil \leq R^{PM}(p_1, \dots, p_r)\leq \left\lceil p_1-\frac{r}{3}+\sum_{i=2}^r\frac{p_i}{3}\right\rceil.\] As a corollary we get that in every $r$-coloring of $K_n$ there is a monochromatic path-matching of order at least $3\left\lfloor\frac{n}{r+2}\right\rfloor$, which is essentially best possible. We also determine $R^{PM}(p_1, \dots, p_r)$ in all cases when the number of colors is at most 4.
The proof of the main result uses a minimax theorem for path-matchings derived from a result of Las Vergnas (extending Tutte's 1-factor theorem) to show that the value of $R^{PM}(p_1, \dots, p_r)$ depends on the block sizes in covering designs (which can be also formulated in terms of monochromatic 1-cores in colored complete graphs). Then we obtain the result above by giving estimates on the block sizes in covering designs in the arbitrary (non-uniform) case.
Gaps of Summands of the Zeckendorf Lattice
Published
• View Publication
• BIB
A beautiful theorem of Zeckendorf states that every positive integer has a unique decomposition as a sum of non-adjacent Fibonacci numbers. Such decompositions exist more generally, and much is known about them. First, for any positive linear recurrence {Gn} the number of summands in the legal decompositions for integers in [Gn, Gn+1) converges to a Gaussian distribution. Second, Bower, Insoft, Li, Miller, and Tosteson proved that the probability of a gap between summands in a decomposition which is larger than the recurrence length converges to geometric decay. While most of the literature involves one-dimensional sequences, some recent work by Chen, Guo, Jiang, Miller, Siktar, and Yu have extended these decompositions to d-dimensional lattices, where a legal decomposition is a chain of points such that one moves in all d dimensions to get from one point to the next. They proved that some but not all properties from 1-dimensional sequences still hold. We continue this work and look at the distribution of gaps between terms of legal decompositions, and prove similar to the 1-dimensional cases that when d = 2 the gap vectors converge to a bivariate geometric random variable.
The Fibonacci Quilt Game
Published
• View Publication
• BIB
Zeckendorf proved that every positive integer can be expressed as the sum of non-consecutive Fibonacci numbers. This theorem inspired a beautiful game, the Zeckendorf Game. Two players begin with $n \ 1$'s and take turns applying rules inspired by the Fibonacci recurrence, $F_{n+1} = F_n + F_{n-1}$, until a decomposition without consecutive terms is reached; whoever makes the last move wins. We look at a game resulting from a generalization of the Fibonacci numbers, the Fibonacci Quilt sequence. These arise from the two-dimensional geometric property of tiling the plane through the Fibonacci spiral. Beginning with 1 in the center, we place integers in the squares of the spiral such that each square contains the smallest positive integer that does not have a decomposition as the sum of previous terms that do not share a wall. This sequence eventually follows two recurrence relations, allowing us to construct a variation on the Zeckendorf Game, the Fibonacci Quilt Game. While some properties of the Fibonaccis are inherited by this sequence, the nature of its recurrence leads to others, such as Zeckendorf's theorem, no longer holding; it is thus of interest to investigate the generalization of the game in this setting to see which behaviors persist. We prove, similar to the original game, that this game also always terminates in a legal decomposition, give a lower bound on game lengths, show that depending on strategies the length of the game can vary and either player could win, and give a conjecture on the length of a random game.
A greedoid and a matroid inspired by Bhargava's $p$-orderings
Published in The Electronic Journal of Combinatorics 28(3) (2021), #P3.6 (published with abridgements)
• View Publication
• BIB
Consider a finite set $E$. Assume that each $e \in E$ has a "weight" $w \left(e\right) \in \mathbb{R}$ assigned to it, and any two distinct $e, f \in E$ have a "distance" $d \left(e, f\right) = d \left(f, e\right) \in \mathbb{R}$ assigned to them, such that the distances satisfy the ultrametric triangle inequality $d(a,b)\leqslant \max \left\{d(a,c),d(b,c)\right\}$. We look for a subset of $E$ of given size with maximum perimeter (where the perimeter is defined by summing the weights of all elements and their pairwise distances). We show that any such subset can be found by a greedy algorithm (which starts with the empty set, and then adds new elements one by one, maximizing the perimeter at each step). We use this to define numerical invariants, and also to show that the maximum-perimeter subsets of all sizes form a strong greedoid, and the maximum-perimeter subsets of any given size are the bases of a matroid. This essentially generalizes the "$P$-orderings" constructed by Bhargava in order to define his generalized factorials, and is also similar to the strong greedoid of maximum diversity subsets in phylogenetic trees studied by Moulton, Semple and Steel.
We further discuss some numerical invariants of $E, w, d$ stemming from this construction, as well as an analogue where maximum-perimeter subsets are replaced by maximum-perimeter tuples (i.e., elements can appear multiple times).
On Arithmetical Structures on Complete Graphs
Published in Involve 13 (2020) 345-355
• View Publication
• BIB
An arithmetical structure on the complete graph $K_n$ with $n$ vertices is given by a collection of $n$ positive integers with no common factor each of which divides their sum. We show that, for all positive integers $c$ less than a certain bound depending on $n$, there is an arithmetical structure on $K_n$ with largest value $c$. We also show that, if each prime factor of $c$ is greater than $(n+1)^2/4$, there is no arithmetical structure on $K_n$ with largest value $c$. We apply these results to study which prime numbers can occur as the largest value of an arithmetical structure on $K_n$.
The smallest matroids with no large independent flat
Published
• View Publication
• BIB
We show that a simple rank-$r$ matroid with no $(t+1)$-element independent flat has at least as many elements as the matroid $M_{r,t}$ defined as the direct sum of $t$ binary projective geometries whose ranks pairwise differ by at most $1$. We also show for $r \ge 2t$ that $M_{r,t}$ is the unique example for which equality holds.
Triangle colorings require at least seven colors
Published
• View Publication
• BIB
We show that if a coloring of the plane has the properties that any two points at distance one are colored differently and the plane is partitioned into uniformly colored triangles under certain conditions, then it requires at least seven colors. This is also true for a coloring using uniformly colored polygons if it has a point bordering at least four polygons.
Failed power domination on graphs
Let $G$ be a simple graph with vertex set $V$ and edge set $E$, and let $S \subseteq V$. The \emph{open neighborhood} of $v \in V$, $N(v)$, is the set of vertices adjacent to $v$; the \emph{closed neighborhood} is given by $N[v] = N(v) \cup \{v\}$. The \emph{open neighborhood} of $S$, $N(S)$, is the union of the open neighborhoods of vertices in $S$, and the \emph{closed neighborhood} of $S$ is $N[S] = S \cup N(S)$. The sets $ \mathcal{P}^i(S), i \geq 0$, of vertices \emph{monitored} by $S$ at the $i^{\ {th}}$ step are given by $\mathcal{P}^0(S) = N[S]$ and $\mathcal{P}^{i+1}(S) = \mathcal{P}^i(S) \bigcup\left\{ w : \{ w \} = N[v] \backslash \mathcal{P}^i(S) \ { for some } v \in \mathcal{P}^i(S) \right\}$. If there exists $j$ such that $\mathcal{P}^j(S) = V$, then $S$ is called a \emph{power dominating set}, PDS, of $G$.
We introduce and discuss the \emph{failed power domination number} of a graph $G$, $\barγ_p(G)$, the largest cardinality of a set that is not a PDS. We prove that $\barγ_p(G)$ is NP-hard to compute, determine graphs in which every vertex is a PDS, and compare $\barγ_p(G)$ to similar parameters.