Showing 20 papers (Total: 82797 papers, 47838 authors in database)
Relations between the properties of a complete rooted tree and the properties of a distribution of lengths of randomly generated strings
Let's denote a complete $m$-ary rooted tree graph of height $n$ as $G$. In scope of this paper we prove the certain relations between the properties of $G$ and the expectation and variance of the distribution of lengths of strings, generated as follows: starting from an empty string we pick a random symbol from the alphabet $\{ α_1, α_2, \dots α_m \}$ and append it to the string, the process continues until we see $n$ instances of a specific symbol in a row.
Consider a random variable $ξ_{m,n}$ that represents a length of a string generated according to the described process. The expectation $\mathbb{E}[ξ_{m,n}]$ and variance $\mathrm{Var}[ξ_{m,n}]$ depend on $m$ (the size of the alphabet) and $n$ (a parameter that defines a stopping criteria of the string generation process). Also, let's denote the sum of the common path length over all 2-tuples of nodes of $G$ as $S_{m,n}$, and let's denote the total number of edges in $G$ as $T_{m,n}$. In scope of this paper we prove that the following relations are true for all $m,n \geq 1$: $\mathbb{E}[ξ_{m,n}] = T_{m,n}$ and $\mathrm{Var}[ξ_{m,n}] = (m-1) \cdot S_{m,n}$.
While it is known that both $\mathbb{E}[ξ_{2,n}]$ and $T_{2,n}$ are described by the sequence A000918 from the On-Line Encyclopedia of Integer Sequences (OEIS), and it is known that $S_{2,n}$ is described by the OEIS sequence A286778, we demonstrate a new interpretation for A286778: this sequence describes $\mathrm{Var}[ξ_{2,n}]$ - a variance of the number of tosses of a fair coin until we see $n$ heads in a row.
A complete characterisation of vertex-multiplications of trees with diameter 5
Published in Theory Appl. Graphs, 8, (2021), Article 6
• View Publication
• BIB
Koh and Tay introduced a new family of graphs, $G$ vertex-multiplications, as an extension of complete $n$-partite graphs. They proved a fundamental classification of $G$ vertex-multiplications into three classes $\mathscr{C}_0, \mathscr{C}_1$ and $\mathscr{C}_2$. It was shown that any vertex-multiplication of a tree with diameter at least 3 does not belong to the class $\mathscr{C}_2$. Furthermore, for vertex-multiplications of trees with diameter $5$, some necessary and sufficient conditions for $\mathscr{C}_0$ were established. In this paper, we give a complete characterisation of vertex-multiplications of trees with diameter $5$ in $\mathscr{C}_0$ and $\mathscr{C}_1$.
Presentations for Vertex Transitive Graphs
Published
• View Publication
• BIB
We generalise the standard constructions of a Cayley graph in terms of a group presentation by allowing some vertices to obey different relators than others. The resulting notion of presentation allows us to represent every vertex transitive graph. As an intermediate step, we prove that every countably infinite, connected, vertex transitive graph has a perfect matching. Incidentally, we construct an example of a 2-ended cubic vertex transitive graph which is not a Cayley graph, answering a question of Watkins from 1990.
Asymptotically Optimal Vertex Ranking of Planar Graphs
A (vertex) $\ell$-ranking is a colouring $\varphi:V(G)\to\mathbb{N}$ of the vertices of a graph $G$ with integer colours so that for any path $u_0,\ldots,u_p$ of length at most $\ell$, $\varphi(u_0)\neq\varphi(u_p)$ or $\varphi(u_0)<\max\{\varphi(u_0),\ldots,\varphi(u_p)\}$. We show that, for any fixed integer $\ell\ge 2$, every $n$-vertex planar graph has an $\ell$-ranking using $O(\log n/\log\log\log n)$ colours and this is tight even when $\ell=2$; for infinitely many values of $n$, there are $n$-vertex planar graphs, for which any 2-ranking requires $Ω(\log n/\log\log\log n)$ colours. This result also extends to bounded genus graphs.
In developing this proof we obtain optimal bounds on the number of colours needed for $\ell$-ranking graphs of treewidth $t$ and graphs of simple treewidth $t$. These upper bounds are constructive and give $O(n)$-time algorithms. Additional results that come from our techniques include new sublogarithmic upper bounds on the number of colours needed for $\ell$-rankings of apex minor-free graphs and $k$-planar graphs.
Kruskal-Katona's function and a variation of cross-intersecting antichains
Published in Discrete Math., 345, (2021), Article 112709
• Search Publication
We prove some properties of the Kruskal-Katona function, and apply to the following variation of cross-intersecting antichains. Let $n\ge 4$ be an even integer and $\mathscr{A}$ and $\mathscr{B}$ be two cross-intersecting antichains of $\mathbb{N}_n$ with at most $k$ disjoint pairs, i.e. for all $A_i\in \mathscr{A}$, $B_j\in\mathscr{B}$, $A_i\cap B_j=\emptyset$ only if $i=j\le k$. We prove a best possible upper bound on $|\mathscr{A}|+|\mathscr{B}|$. Furthermore, we show that the extremal families contain only $\frac{n}{2}$ and $(\frac{n}{2}+1)$-sets.
Fragility and Robustness in Mean-Payoff Adversarial Stackelberg Games
Two-player mean-payoff Stackelberg games are nonzero-sum infinite duration games played on a bi-weighted graph by Leader (Player 0) and Follower (Player 1). Such games are played sequentially: first, Leader announces her strategy, second, Follower chooses his best-response. If we cannot impose which best-response is chosen by Follower, we say that Follower, though strategic, is adversarial towards Leader. The maximal value that Leader can get in this nonzero-sum game is called the adversarial Stackelberg value (ASV) of the game.
We study the robustness of strategies for Leader in these games against two types of deviations: (i) Modeling imprecision - the weights on the edges of the game arena may not be exactly correct, they may be delta-away from the right one. (ii) Sub-optimal response - Follower may play epsilon-optimal best-responses instead of perfect best-responses. First, we show that if the game is zero-sum then robustness is guaranteed while in the nonzero-sum case, optimal strategies for ASV are fragile. Second, we provide a solution concept to obtain strategies for Leader that are robust to both modeling imprecision, and as well as to the epsilon-optimal responses of Follower, and study several properties and algorithmic problems related to this solution concept.
Reconstruction in one dimension from unlabeled Euclidean lengths
Published
• View Publication
• BIB
Let $G$ be a $3$-connected ordered graph with $n$ vertices and $m$ edges. Let $\mathbf{p}$ be a randomly chosen mapping of these $n$ vertices to the integer range $\{1, 2,3, \ldots, 2^b\}$ for $b\ge m^2$. Let $\ell$ be the vector of $m$ Euclidean lengths of $G$'s edges under $\mathbf{p}$. In this paper, we show that, with high probability over $\mathbf{p}$, we can efficiently reconstruct both $G$ and $\mathbf{p}$ from $\ell$. This reconstruction problem is NP-HARD in the worst case, even if both $G$ and $\ell$ are given. We also show that our results stand in the presence of small amounts of error in $\ell$, and in the real setting, with sufficiently accurate length measurements.
Our method combines lattice reduction, which has previously been used to solve random subset sum problems, with an algorithm of Seymour that can efficiently reconstruct an ordered graph given an independence oracle for its matroid.
On even entries in the character table of the symmetric group
We show that almost every entry in the character table of $S_n$ is even as $n\to\infty$. This resolves a conjecture of Miller. We similarly prove that almost every entry in the character table of $S_n$ is zero modulo $3,5,7,11,$ and $13$ as $n\to\infty$, partially addressing another conjecture of Miller.
Integer Laplacian eigenvalues of strictly chordal graphs
In this paper, we establish the relation between classic invariants of graphs and their integer Laplacian eigenvalues, focusing on a subclass of chordal graphs, the strictly chordal graphs, and pointing out how their computation can be efficiently implemented. Firstly we review results concerning general graphs showing that the number of universal vertices and the degree of false and true twins provide integer Laplacian eigenvalues and their multiplicities. Afterwards, we prove that many integer Laplacian eigenvalues of a strictly chordal graph are directly related to particular simplicial vertex sets and to the minimal vertex separators of the graph.
The Invisible Hand Heuristic for Origin-Destination Integer Multicommodity Network Flows
Published
• View Publication
• BIB
Origin-destination integer multicommodity flow problems differ from classic multicommodity models in that each commodity has one source and one sink, and each commodity must be routed along a single path. A new invisible-hand heuristic that mimics economic markets' behavior is presented and tested on large-scale telecommunications networks, with solution times two orders of magnitude faster than Cplex's LP relaxation, more dramatic MIP ratios, and small solution value differences.
On the Parallel Tower of Hanoi Puzzle: Acyclicity and a Conditional Triangle Inequality
A parallel variant of the Tower of Hanoi Puzzle is described herein. Within this parallel context, two theorems on minimal walks in the state space of configurations, along with their constructive proofs, are provided. These proofs are used to describe a {\sl denoising method}: a method for identifying and eliminating sub-optimal transfers within an arbitrary, valid sequence of disk configurations (as per the rules of the Puzzle). We discuss potential applications of this method to hierarchical reinforcement learning.
Polar coordinates view on KM-arcs
Published
• View Publication
• BIB
We study presentations of KM-arcs in polar coordinates. New characterizations on the points set of KM-arcs are obtained in terms of power sums and bilinear forms. We also construct some examples of KM-arcs in this presentation.
Stationary and Closed Rainbow subsets
Published in Annals of Pure and Applies Logic, vol. 172, no. 2, February 2021, paper 102887
• View Publication
• BIB
We study the structured rainbow Ramsey theory at uncountable cardinals. When compared to the usual rainbow Ramsey theory, the variation focuses on finding a rainbow subset that not only is of a certain cardinality but also satisfies certain structural constraints, such as being stationary or closed in its supremum. In the process of dealing with cardinals greater than $ω_1$, we uncover some connections between versions of Chang's Conjectures and instances of rainbow Ramsey partition relations, addressing a question raised in \cite{zhang}.
The expected subtree number index in random polyphenylene and spiro chains
Published in Discrete Applied Mathematics, 285(2020) 483-492
• View Publication
• BIB
Subtree number index $\emph{STN}(G)$ of a graph $G$ is the number of nonempty subtrees of $G$. It is a structural and counting based topological index that has received more and more attention in recent years. In this paper we first obtain exact formulas for the expected values of subtree number index of random polyphenylene and spiro chains, which are molecular graphs of a class of unbranched multispiro molecules and polycyclic aromatic hydrocarbons. Moreover, we establish a relation between the expected values of the subtree number indices of a random polyphenylene and its corresponding hexagonal squeeze. We also present the average values for subtree number indices with respect to the set of all polyphenylene and spiro chains with $n$ hexagons.
Quantum error-correcting codes and their geometries
Published in Ann. Inst. Henri Poincare Comb. Phys. Interact. 10 (2023), no. 2, pp. 337-405
• View Publication
• BIB
This is an expository article aiming to introduce the reader to the underlying mathematics and geometry of quantum error correction. Information stored on quantum particles is subject to noise and interference from the environment. Quantum error-correcting codes allow the negation of these effects in order to successfully restore the original quantum information. We briefly describe the necessary quantum mechanical background to be able to understand how quantum error-correction works. We go on to construct quantum codes: firstly qubit stabilizer codes, then qubit non-stabilizer codes, and finally codes with a higher local dimension. We will delve into the geometry of these codes. This allows one to deduce the parameters of the code efficiently, deduce the inequivalence between codes that have the same parameters, and presents a useful tool in deducing the feasibility of certain parameters. We also include sections on quantum maximum distance separable codes and the quantum MacWilliams identities.
The anti-Ramsey number of $C_{3}$ and $C_{4}$ in the complete $r$-partite graphs
Published
• View Publication
• BIB
A subgraph of an edge-colored graph is rainbow, if all of its edges have different colors. For a graph $G$ and a family $\mathcal{H}$ of graphs, the anti-Ramsey number $ar(G, \mathcal{H})$ is the maximum number $k$ such that there exists an edge-coloring of $G$ with exactly $k$ colors without rainbow copy of any graph in $\mathcal{H}$. In this paper, we study the anti-Ramsey number of $C_{3}$ and $C_{4}$ in the complete $r$-partite graphs. For $r\ge 3$ and $n_{1}\ge n_{2}\ge \cdots\ge n_{r}\ge 1$, we determine $ ar(K_{n_{1}, n_{2}, \ldots, n_{r}},\{C_{3}, C_{4}\}), ar(K_{n_{1}, n_{2}, \ldots, n_{r}}, C_{3})$ and $ar(K_{n_{1}, n_{2}, \ldots, n_{r}}, C_{4})$.
Curious Pivot Points of Least-Squares Regression
It has been shown that for a given set of points in a plane, the least-squares regression line pivots about a fixed point when any single point in the set is repeated. We consider what happens when more than one point is repeated. Geometrically, we describe the regions where pivot points may lie under all possible combinations of repetitions. The underlying framework of this pivoting is explored, yielding new open-ended questions.
Recognizing $k$-Clique Extendible Orderings
Published
• View Publication
• BIB
A graph is $k$-clique-extendible if there is an ordering of the vertices such that whenever two $k$-sized overlapping cliques $A$ and $B$ have $k-1$ common vertices, and these common vertices appear between the two vertices $a,b\in (A\setminus B)\cup (B\setminus A)$ in the ordering, there is an edge between $a$ and $b$, implying that $A\cup B$ is a $(k+1)$-sized clique. Such an ordering is said to be a $k$-C-E ordering. These graphs arise in applications related to modelling preference relations. Recently, it has been shown that a maximum sized clique in such a graph can be found in $n^{O(k)}$ time when the ordering is given. When $k$ is $2$, such graphs are precisely the well-known class of comparability graphs and when $k$ is $3$ they are called triangle-extendible graphs. It has been shown that triangle-extendible graphs appear as induced subgraphs of visibility graphs of simple polygons, and the complexity of recognizing them has been mentioned as an open problem in the literature.
While comparability graphs (i.e. $2$-C-E graphs) can be recognized in polynomial time, we show that recognizing $k$-C-E graphs is NP-hard for any fixed $k \geq 3$ and co-NP-hard when $k$ is part of the input. While our NP-hardness reduction for $k \geq 4$ is from the betweenness problem, for $k=3$, our reduction is an intricate one from the $3$-colouring problem. We also show that the problems of determining whether a given ordering of the vertices of a graph is a $k$-C-E ordering, and that of finding an $\ell$-sized (or maximum sized) clique in a $k$-C-E graph, given a $k$-C-E ordering, are complete for the parameterized complexity classes co-W[1] and W[1] respectively, when parameterized by $k$. However we show that the former is fixed-parameter tractable when parameterized by the treewidth of the graph.
The linear arboricity conjecture for graphs of low degeneracy
Published
• View Publication
• BIB
A linear forest is an acyclic graph whose each connected component is a path; or in other words, it is an acyclic graph whose maximum degree is at most 2. A linear coloring of a graph $G$ is an edge coloring of $G$ such that the edges in each color class form a linear forest. The linear arboricity of $G$, denoted as $χ'_l(G)$, is the minimum number of colors required in any linear coloring of $G$. It is easy to see that for any graph $G$, $χ'_l(G)\geq\left\lceil\frac{Δ(G)}{2}\right\rceil$, where $Δ(G)$ is the maximum degree of $G$. The Linear Arboricity Conjecture of Akiyama, Exoo and Harary from 1980 states that for every graph $G$, $χ'_l(G)\leq \left \lceil \frac{Δ(G)+1}{2}\right\rceil$. Basavaraju et al. showed that the conjecture is true for 3-degenerate graphs and provided a linear time algorithm for computing a linear coloring using at most $\left\lceil\frac{Δ(G)+1}{2}\right\rceil$ colors for any input 3-degenerate graph $G$. Recently, Chen, Hao and Yu showed that $χ'_l(G)=\left\lceil\frac{Δ(G)}{2}\right\rceil$ for any $k$-degenerate graph $G$ having $Δ(G)\geq 2k^2-k$. From this result, we have $χ'_l(G)=\left\lceil\frac{Δ(G)}{2}\right\rceil$ for every 3-degenerate graph $G$ having $Δ(G)\geq 15$. We show that this equality holds for every 3-degenerate graph $G$ having $Δ(G)\geq 9$. Moreover, by extending the techniques used, we show a different proof for the Linear Arboricity Conjecture on 3-degenerate graphs. Next, we prove that for every 2-degenerate graph $G$, $χ'_l(G)=\left\lceil\frac{Δ(G)}{2}\right\rceil$ if $Δ(G)\geq 5$. We conjecture that this equality holds also when $Δ(G)\in\{3,4\}$ and show that this is the case for some well-known subclasses of 2-degenerate graphs.
An infinite antichain of planar tanglegrams
Published
• View Publication
• BIB
Contrary to the expectation arising from the tanglegram Kuratowski theorem of É. Czabarka, L.A. Székely and S. Wagner [SIAM J. Discrete Math. 31(3): 1732--1750, (2017)], we construct an infinite antichain of planar tanglegrams with respect to the induced subtanglegram partial order. R.E. Tarjan, R. Laver, D.A. Spielman and M. Bóna, and possibly others, showed that the partially ordered set of finite permutations ordered by deletion of entries contains an infinite antichain, i.e. there exists an infinite collection of permutations, such that none of them contains another as a pattern. Our construction adds a twist to the construction of Spielman and Bóna [Electr. J. Comb, Vol. 7. N2.]