Showing 20 papers (Total: 82851 papers, 47869 authors in database)
Novel Binary-Addition Tree Algorithm (BAT) for Binary-State Network Reliability Problem
Published
• View Publication
• BIB
Network structures and models have been widely adopted, e.g., for Internet of Things, wireless sensor networks, smart grids, transportation networks, communication networks, social networks, and computer grid systems. Network reliability is an effective and popular technique to estimate the probability that the network is still functioning. Networks composed of binary-state (e.g., working or failed) components (arcs and/or nodes) are called binary-state networks. The binary-state network is the fundamental type of network; thus, there is always a need for a more efficient algorithm to calculate the network reliability. Thus, a novel binary-addition tree (BAT) algorithm that employs binary addition for finding all the possible state vectors and the path-based layered-search algorithm for filtering out all the connected vectors is proposed for calculating the binary-state network reliability. According to the time complexity and numerical examples, the efficiency of the proposed BAT is higher than those of traditional algorithms for solving the binary-state network reliability problem.
On complexity and Jacobian of cone over a graph
Published in Grunwald, L. and Mednykh, I. (2021), On the Jacobian group of a cone over a circulant graph, Mathematical notes of NEFU, 28(2), pp. 88-101
• View Publication
• BIB
For any given graph $G$ consider a graph $\widetilde{G}$ which is a cone over graph $G.$ In this paper, we study two important invariants of such a cone. Namely, complexity (the number of spanning trees) and the Jacobian of a graph. We prove that complexity of graph $\widetilde{G}$ coincides the number of rooted spanning forests in graph $G$ and the Jacobian of $\widetilde{G}$ is isomorphic to cokernel of the operator $I+L(G),$ where $L(G)$ is Laplacian of $G$ and $I$ is the identity matrix. As a consequence, one can calculate the complexity of $\widetilde{G}$ as $\det(I+L(G)).$
Asymmetric list sizes in bipartite graphs
Published in Ann. Comb. 25, 913-933 (2021)
• View Publication
• BIB
Given a bipartite graph with parts $A$ and $B$ having maximum degrees at most $Δ_A$ and $Δ_B$, respectively, consider a list assignment such that every vertex in $A$ or $B$ is given a list of colours of size $k_A$ or $k_B$, respectively.
We prove some general sufficient conditions in terms of $Δ_A$, $Δ_B$, $k_A$, $k_B$ to be guaranteed a proper colouring such that each vertex is coloured using only a colour from its list. These are asymptotically nearly sharp in the very asymmetric cases. We establish one sufficient condition in particular, where $Δ_A=Δ_B=Δ$, $k_A=\log Δ$ and $k_B=(1+o(1))Δ/\logΔ$ as $Δ\to\infty$. This amounts to partial progress towards a conjecture from 1998 of Krivelevich and the first author.
We also derive some necessary conditions through an intriguing connection between the complete case and the extremal size of approximate Steiner systems. We show that for complete bipartite graphs these conditions are asymptotically nearly sharp in a large part of the parameter space. This has provoked the following.
In the setup above, we conjecture that a proper list colouring is always guaranteed
* if $k_A \ge Δ_A^\varepsilon$ and $k_B \ge Δ_B^\varepsilon$ for any $\varepsilon>0$ provided $Δ_A$ and $Δ_B$ are large enough;
* if $k_A \ge C \logΔ_B$ and $k_B \ge C \logΔ_A$ for some absolute constant $C>1$; or
* if $Δ_A=Δ_B = Δ$ and $ k_B \ge C (Δ/\logΔ)^{1/k_A}\log Δ$ for some absolute constant $C>0$.
These are asymmetric generalisations of the above-mentioned conjecture of Krivelevich and the first author, and if true are close to best possible. Our general sufficient conditions provide partial progress towards these conjectures.
Steiner Trees for Hereditary Graph Classes: a Treewidth Perspective
Published
• View Publication
• BIB
We consider the classical problems (Edge) Steiner Tree and Vertex Steiner Tree after restricting the input to some class of graphs characterized by a small set of forbidden induced subgraphs. We show a dichotomy for the former problem restricted to $(H_1,H_2)$-free graphs and a dichotomy for the latter problem restricted to $H$-free graphs. We find that there exists an infinite family of graphs $H$ such that Vertex Steiner Tree is polynomial-time solvable for $H$-free graphs, whereas there exist only two graphs $H$ for which this holds for Edge Steiner Tree. We also find that Edge Steiner Tree is polynomial-time solvable for $(H_1,H_2)$-free graphs if and only if the treewidth of the class of $(H_1,H_2)$-free graphs is bounded (subject to P $\neq$ NP). To obtain the latter result, we determine all pairs $(H_1,H_2)$ for which the class of $(H_1,H_2)$-free graphs has bounded treewidth.
Non-orientable branched coverings, $b$-Hurwitz numbers, and positivity for multiparametric Jack expansions
Published in Adv. Math. 409, 108645, 2022
• View Publication
• BIB
We introduce a one-parameter deformation of the 2-Toda tau-function of (weighted) Hurwitz numbers, obtained by deforming Schur functions into Jack symmetric functions. We show that its coefficients are polynomials in the deformation parameter $b$ with nonnegative integer coefficients. These coefficients count generalized branched coverings of the sphere by an arbitrary surface, orientable or not, with an appropriate $b$-weighting that "measures" in some sense their non-orientability.
Notable special cases include non-orientable dessins d'enfants for which we prove the most general result so far towards the Matching-Jack conjecture and the "$b$-conjecture" of Goulden and Jackson from 1996, expansions of the $β$-ensemble matrix model, deformations of the HCIZ integral, and $b$-Hurwitz numbers that we introduce here and that are $b$-deformations of classical (single or double) Hurwitz numbers obtained for $b=0$.
A key role in our proof is played by a combinatorial model of non-orientable constellations equipped with a suitable $b$-weighting, whose partition function satisfies an infinite set of PDEs. These PDEs have two definitions, one given by Lax equations, the other one following an explicit combinatorial decomposition.
A Class of Three-Qubit Contextual Configurations Located in Fano Pentads
Published in Mathematics 9 (2021) 1524
• View Publication
• BIB
Given the symplectic polar space of type $W(5,2)$, let us call a set of five Fano planes sharing pairwise a single point a Fano pentad. Once 63 points of $W(5,2)$ are appropriately labeled by 63 non-trivial three-qubit observables, any such Fano pentad gives rise to a quantum contextual set known as Mermin pentagram. Here, it is shown that a Fano pentad also hosts another, closely related contextual set, which features 25 observables and 30 three-element contexts. Out of 25 observables, ten are such that each of them is on six contexts, while each of the remaining 15 observables belongs to two contexts only. Making use of the recent classification of Mermin pentagrams (Saniga et al., Symmetry 12 (2020) 534), it was found that 12,096 such contextual sets comprise 47 distinct types, falling into eight families according to the number ($3, 5, 7, \ldots, 17$) of negative contexts.
Badges and rainbow matchings
Published
• View Publication
• BIB
Drisko proved that $2n-1$ matchings of size $n$ in a bipartite graph have a rainbow matching of size $n$. For general graphs it is conjectured that $2n$ matchings suffice for this purpose (and that $2n-1$ matchings suffice when $n$ is even). The known graphs showing sharpness of this conjecture for $n$ even are called badges. We improve the previously best known bound from $3n-2$ to $3n-3$, using a new line of proof that involves analysis of the appearance of badges. We also prove a "cooperative" generalization: for $t>0$ and $n \geq 3$, any $3n-4+t$ sets of edges, the union of every $t$ of which contains a matching of size $n$, have a rainbow matching of size $n$.
A uniform set with fewer than expected arithmetic progressions of length 4
Published in Acta Mathematica Hungarica (2020)
• View Publication
• BIB
An example is presented of a subset $A$ of $\mathbb Z_N$ of density $α$ such that the largest non-trivial Fourier coefficient of the characteristic function of $A$ is very small, but the probability that a random arithmetic progression (mod $N$) of length 4 lies in $A$ is significantly smaller than $α^4$.
Spectra of hyperstars on public transportation networks
The purpose of this paper is to introduce a model to study structures which are widely present in public transportation networks. We show that, through hypergraphs, one can describe these structures and investigate the relation between their spectra. To this aim, we extend the structure of $(m,k)$-stars on graphs to hypergraphs: the $(m,k)$-hyperstars on hypergraphs. Also, by giving suitable conditions on the hyperedge weights we prove the existence of matrix eigenvalues of computable values and multiplicities, where the matrices considered are Laplacian, adjacency and transition matrices. By considering separately the case of generic hypergraphs and uniform hypergraphs, we prove that two kinds of vertex set reductions on hypergraphs with $(m,k)$-hyperstar are feasible, keeping the same eigenvalues with reduced multiplicity. Finally, some useful eigenvectors properties are derived up to a product with a suitable matrix, and we relate these results to Fiedler spectral partitioning on the hypergraph.
Four Pages Are Indeed Necessary for Planar Graphs
An embedding of a graph in a book consists of a linear order of its vertices along the spine of the book and of an assignment of its edges to the pages of the book, so that no two edges on the same page cross. The book thickness of a graph is the minimum number of pages over all its book embeddings. Accordingly, the book thickness of a class of graphs is the maximum book thickness over all its members. In this paper, we address a long-standing open problem regarding the exact book thickness of the class of planar graphs, which previously was known to be either three or four. We settle this problem by demonstrating planar graphs that require four pages in any of their book embeddings, thus establishing that the book thickness of the class of planar graphs is four.
Supercongruences for Almkvist--Zudilin sequences
Published
• View Publication
• BIB
In this note, we prove two supercongruences involving Almkvist--Zudilin sequences, which were originally conjectured by Z.-H. Sun.
Isomorphism Testing for Graphs Excluding Small Minors
Published in SIAM J. Comput. 52(1): 238-272 (2023)
• View Publication
• BIB
We prove that there is a graph isomorphism test running in time $n^{\operatorname{polylog}(h)}$ on $n$-vertex graphs excluding some $h$-vertex graph as a minor. Previously known bounds were $n^{\operatorname{poly}(h)}$ (Ponomarenko, 1988) and $n^{\operatorname{polylog}(n)}$ (Babai, STOC 2016). For the algorithm we combine recent advances in the group-theoretic graph isomorphism machinery with new graph-theoretic arguments.
A Unifying Characterization of Tree-based Networks and Orchard Networks using Cherry Covers
Published
• View Publication
• BIB
Phylogenetic networks are used to study evolutionary relationships between species in biology. Such networks are often categorized into classes by their topological features, which stem from both biological and computational motivations. We study two network classes in this paper: tree-based networks and orchard networks. Tree-based networks are those that can be obtained by inserting edges between the edges of an underlying tree. Orchard networks are a recently introduced generalization of the class of tree-child networks. Structural characterizations have already been discovered for tree-based networks; this is not the case for orchard networks. In this paper, we introduce cherry covers---a unifying characterization of both network classes---in which we decompose the edges of the networks into so-called cherry shapes and reticulated cherry shapes. We show that cherry covers can be used to characterize the class of tree-based networks as well as the class of orchard networks. Moreover, we also generalize these results to non-binary networks.
Patterns without a popular difference
Published in Discrete Analysis, 2021:8, 30 pp
• View Publication
• BIB
Which finite sets $P \subseteq \mathbb{Z}^r$ with $|P| \ge 3$ have the following property: for every $A \subseteq [N]^r$, there is some nonzero integer $d$ such that $A$ contains $(α^{|P|} - o(1))N^r$ translates of $d \cdot P = \{d p : p \in P\}$, where $α= |A|/N^r$?
Green showed that all 3-point $P \subseteq \mathbb{Z}$ have the above property. Green and Tao showed that 4-point sets of the form $P = \{a, a+b, a+c, a+b+c\} \subseteq \mathbb{Z}$ also have the property. We show that no other sets have the above property. Furthermore, for various $P$, we provide new upper bounds on the number of translates of $d \cdot P$ that one can guarantee to find.
Typical knots: size, link component count, and writhe
We model the typical behavior of knots and links using grid diagrams. Links are ubiquitous in the sciences, and their "normal" or "typical" behavior is of significant importance in understanding situations such as the topological state of DNA or the statistical mechanics of ring polymers. We examine three invariants: the expected size of a random knot; the expected number of components of a random link; and the expected writhe of a random knot. We investigate the first two numerically and produce generating functions which codify the observed patterns: knot size is uniformly distributed and linearly dependent upon grid size, and the number of components follows a distribution whose mean and variance grow with log_2 of grid size; in particular, for any fixed k, the k-component links grow vanishingly rare as grid size increases. Finally, we observe that the odd moments of writhe vanish, and we perform an exploratory data analysis to discover that variance grows with the square of grid size and kurtosis is constant at approximately 3.5. We continue this project in a future work, where we investigate genus and the effects of crossing change on it.
A Canonical Polynomial Van der Waerden's Theorem
We prove a canonical polynomial Van der Waerden's Theorem. More precisely, we show the following. Let $\{p_1(x),\ldots,p_k(x)\}$ be a set of polynomials such that $p_i(x)\in \mathbb{Z}[x]$ and $p_i(0)=0$, for every $i\in \{1,\ldots,k\}$. Then, in any colouring of $\mathbb{Z}$, there exist $a,d\in \mathbb{Z}$ such that $\{a+p_1(d),\ldots,a+p_{k}(d)\}$ forms either a monochromatic or a rainbow set.
No quantum Ramsey theorem for stabilizer codes
Published
• View Publication
• BIB
In this paper we study the quantum graphs of mixed-unitary channels generated by tensor products of Pauli operators, which we call Pauli channels. We show that most quantum graphs arising from Pauli channels have non-trivial quantum cliques or quantum anticliques which are stabilizer codes. However, a reformulation of Nik Weaver's quantum Ramsey theorem in terms of stabilizer codes and Pauli channels fails. Specifically, for every positive integer $n$, there exists an $n$-qubit Pauli channel for which any non-trivial quantum clique or quantum anticlique fails to be a stabilizer code.
Maximizing Determinants under Matroid Constraints
Published
• View Publication
• BIB
Given vectors $v_1,\dots,v_n\in\mathbb{R}^d$ and a matroid $M=([n],I)$, we study the problem of finding a basis $S$ of $M$ such that $\det(\sum_{i \in S}v_i v_i^\top)$ is maximized. This problem appears in a diverse set of areas such as experimental design, fair allocation of goods, network design, and machine learning. The current best results include an $e^{2k}$-estimation for any matroid of rank $k$ and a $(1+ε)^d$-approximation for a uniform matroid of rank $k\ge d+\frac dε$, where the rank $k\ge d$ denotes the desired size of the optimal set. Our main result is a new approximation algorithm with an approximation guarantee that depends only on the dimension $d$ of the vectors and not on the size $k$ of the output set. In particular, we show an $(O(d))^{d}$-estimation and an $(O(d))^{d^3}$-approximation for any matroid, giving a significant improvement over prior work when $k\gg d$.
Our result relies on the existence of an optimal solution to a convex programming relaxation for the problem which has sparse support; in particular, no more than $O(d^2)$ variables of the solution have fractional values. The sparsity results rely on the interplay between the first-order optimality conditions for the convex program and matroid theory. We believe that the techniques introduced to show sparsity of optimal solutions to convex programs will be of independent interest. We also give a randomized algorithm that rounds a sparse fractional solution to a feasible integral solution to the original problem. To show the approximation guarantee, we utilize recent works on strongly log-concave polynomials and show new relationships between different convex programs studied for the problem. Finally, we use the estimation algorithm and sparsity results to give an efficient deterministic approximation algorithm with an approximation guarantee that depends solely on the dimension $d$.
An upper bound for the $k$-power domination number in $r$-uniform hypergraphs
Published
• View Publication
• BIB
Generalizing work on graphs, Chang and Roussel introduced $k$-power domination in hypergraphs and conjectured the upper bound for the $k$-power domination number for $r$-uniform hypergraphs on $n$ vertices was $\frac{n}{r+k}$. This upper bound was shown to be true for simple graphs ($r=2$) and it was further conjectured that only a family of hypergraphs, known as the squid hypergraphs, attained this upper bound. In this paper, the conjecture is proven to hold for hypergraphs with $r=3$ or $4$; but is shown to be false, by a counterexample, for $r\geq 7$. Furthermore, we show that the squid hypergraphs are not the only hypergraphs that attain the original upper bound. Finally, a new upper bound is proven for $r\geq 3$.
Decodable quantum LDPC codes beyond the $\sqrt{n}$ distance barrier using high dimensional expanders
Published
• View Publication
• BIB
Constructing quantum LDPC codes with a minimum distance that grows faster than a square root of the length has been a major challenge of the field. With this challenge in mind, we investigate constructions that come from high-dimensional expanders, in particular Ramanujan complexes. These naturally give rise to very unbalanced quantum error correcting codes that have a large $X$-distance but a much smaller $Z$-distance. However, together with a classical expander LDPC code and a tensoring method that generalises a construction of Hastings and also the Tillich-Zemor construction of quantum codes, we obtain quantum LDPC codes whose minimum distance exceeds the square root of the code length and whose dimension comes close to a square root of the code length. When the ingredient is a 3-dimensional Ramanujan complex, we show that its 2-systole behaves like a square of the log of the complex size, which results in an overall quantum code of minimum distance $n^{1/2}\log n$, and sets a new record for quantum LDPC codes. When we use a 2-dimensional Ramanujan complex, or the 2-skeleton of a 3-dimensional Ramanujan complex, we obtain a quantum LDPC code of minimum distance $n^{1/2}\log^{1/2}n$. We then exploit the expansion properties of the complex to devise the first polynomial time algorithm that decodes above the square root barrier for quantum LDPC codes.