Showing 20 papers (Total: 84253 papers, 48533 authors in database)
On the roots of the node reliability polynomial
Published in Networks, 68(3): 238-246 (2016)
• View Publication
• BIB
Given a graph $G$ whose edges are perfectly reliable and whose nodes each operate independently with probability $p\in[0,1],$ the node reliability of $G$ is the probability that at least one node is operational and that the operational nodes can all communicate in the subgraph that they induce; it is the analogous node measure of robustness to the well studied \textit{all-terminal reliability}, where the nodes are perfectly reliable but the edges fail randomly. In sharp contrast to what is known about the roots of the all-terminal reliability polynomial, we show that the node reliability polynomial of any connected graph on at least three nodes has a nonreal polynomial root, the collection of real roots of all node reliability polynomials is unbounded, and the collection of complex roots of all node reliability polynomials is dense in the entire complex plane.
On conjugacy classes of $S_n$ containing all irreducibles
Published in Isr. J. Math. 225, No. 1, 321-342 (2018)
• View Publication
• BIB
It is shown that for the conjugation action of the symmetric group $S_n,$ when $n=6$ or $n\geq 8,$ all $S_n$-irreducibles appear as constituents of a single conjugacy class, namely, one indexed by a partition $λ$ of $n$ with at least two parts, whose parts are all distinct and taken from the set of odd primes and 1. The following simple characterisation of conjugacy classes containing all irreducibles is proved: If $n\neq 4,8,$ the partition $λ$ of $n$ indexes a global conjugacy class for $S_n$ if and only if it has at least two parts, and all its parts are odd and distinct.
Infection in Hypergraphs
Published
• View Publication
• BIB
In this paper a new parameter for hypergraphs called hypergraph infection is defined. This concept generalizes zero forcing in graphs to hypergraphs. The exact value of the infection number of complete and complete bipartite hypergraphs is determined. A formula for the infection number for interval hypergraphs and several families of cyclic hypergraphs is given. The value of the infection number for a hypergraph whose edges form a symmetric t-design is given, and bounds are determined for a hypergraph whose edges are a t-design. Finally, the infection number for several hypergraph products and line graphs are considered.
Characterizing Complex Networks with Forman-Ricci Curvature and Associated Geometric Flows
Published
• View Publication
• BIB
We introduce Forman-Ricci curvature and its corresponding flow as characteristics for complex networks attempting to extend the common approach of node-based network analysis by edge-based characteristics. Following a theoretical introduction and mathematical motivation, we apply the proposed network-analytic methods to static and dynamic complex networks and compare the results with established node-based characteristics. Our work suggests a number of applications for data mining, including denoising and clustering of experimental data, as well as extrapolation of network evolution.
On Order Ideals of Minuscule Posets III: The CDE Property
Recent work of Hopkins establishes that the lattice of order ideals of a minuscule poset satisfies the coincidental down-degree expectations property of Reiner, Tenner, and Yong. His approach appeals to the classification of minuscule posets. A uniform proof is presented herein.
The blueprint follows that of Rush and Wang in their uniform proof that various cardinality statistics are homomesic on orbits of order ideals of minuscule posets under the Fon-Der-Flaass action. The underpinning remains the original insight of Rush and Shi into the structure of the isomorphism between the weight lattice of a minuscule representation of a complex simple Lie algebra and the lattice of order ideals of the corresponding minuscule poset.
Cops and Robbers on Intersection Graphs
Published in European Journal of Combinatorics, 72 (2018), 45-69
• View Publication
• BIB
The cop number of a graph $G$ is the smallest $k$ such that $k$ cops win the game of cops and robber on $G$. We investigate the maximum cop number of geometric intersection graphs, which are graphs whose vertices are represented by geometric shapes and edges by their intersections. We establish the following dichotomy for previously studied classes of intersection graphs:
The intersection graphs of arc-connected sets in the plane (called string graphs) have cop number at most 15, and more generally, the intersection graphs of arc-connected subsets of a surface have cop number at most $10g+15$ in case of orientable surface of genus $g$, and at most $10g'+15$ in case of non-orientable surface of Euler genus $g'$. For more restricted classes of intersection graphs, we obtain better bounds: the maximum cop number of interval filament graphs is two, and the maximum cop number of outer-string graphs is between 3 and 4.
The intersection graphs of disconnected 2-dimensional sets or of 3-dimensional sets have unbounded cop number even in very restricted settings. For instance, we show that the cop number is unbounded on intersection graphs of two-element subsets of a line, as well as on intersection graphs of 3-dimensional unit balls, of 3-dimensional unit cubes or of 3-dimensional axis-aligned unit segments.
Euclidean distance matrices and separations in communication complexity theory
Published
• View Publication
• BIB
A Euclidean distance matrix $D(α)$ is defined by $D_{ij}=(α_i-α_j)^2$, where $α=(α_1,\ldots,α_n)$ is a real vector. We prove that $D(α)$ cannot be written as a sum of $\left[2\sqrt{n}-2\right]$ nonnegative rank-one matrices, provided that the coordinates of $α$ are algebraically independent. This result allows one to solve several open problems in computation theory. In particular, we provide an asymptotically optimal separation between the complexities of quantum and classical communication protocols computing a matrix in expectation.
A finite Hausdorff dimension for graphs
The classical Hausdorff dimension of finite or countable metric spaces is zero. Recently, we defined a variant, called \emph{finite Hausdorff dimension}, which is not necessarily trivial on finite metric spaces. In this paper we apply this to connected simple graphs, a class that provides many interesting examples of finite metric spaces. There are two very different cases: one in which the distance is coarse (and one is doing Graph Theory), and another case in which the distance is much finer (and one is somewhere between graphs and finite metric spaces).
Multicolour containers and the entropy of decorated graph limits
In recent breakthrough results, Saxton--Thomason and Balogh--Morris--Samotij have developed powerful theories of hypergraph containers. These theories have led to a large number of new results on transference, and on counting and characterising typical graphs in hereditary properties. In a different direction, Hatami--Janson--Szegedy proved results on the entropy of graph limits which count and characterise graphs in dense hereditary properties.
In this paper, we make a threefold contribution to this area of research:
1) We generalise results of Saxton--Thomason to obtain container theorems for general, dense hereditary properties of multicoloured graphs. Our main tool is the adoption of an entropy-based framework. As corollaries, we obtain general counting, characterization and transference results. We further extend our results to cover a variety of combinatorial structures: directed graphs, oriented graphs, tournaments, multipartite graphs, multi-graphs, hypercubes and hypergraphs.
2) We generalise the results of Hatami--Janson--Szegedy on the entropy of graph limits to the setting of decorated graph limits. In particular we define a cut norm for decorated graph limits and prove compactness of the space of decorated graph limits under that norm.
3) We explore a weak equivalence between the container and graph limit approaches to counting and characterising graphs in hereditary properties. In one direction, we show how our multicolour container results may be used to recover decorated versions of the results of Hatami--Janson--Szegedy. In the other direction, we show that our decorated extensions of Hatami--Janson--Szegedy's results on graph limits imply counting and characterization applications.
Similar container results were recently obtained independently by Terry.
Nearly neighbourly families of standard boxes
Published
• View Publication
• BIB
It is demonstrated that each nearly neighbourly family of standard boxes in $\mathbb{R}^3$ has at most 12 elements. A combinatorial classification of all such families that have exactly 12 elements is given. All families satisfying an extra property called incompressibility are described. Compressible families are discussed briefly.
A non-Levi branching rule in terms of Littelmann paths
Published
• View Publication
• BIB
We prove a conjecture of Naito-Sagaki about a branching rule for the restriction of irreducible representations of $\mathfrak{sl}(2n,\mathbb{C})$ to $\mathfrak{sp}(2n,\mathbb{C})$. The conjecture is in terms of certain Littelmann paths, with the embedding given by the folding of the type $A_{2n-1}$ Dynkin diagram.
Automatic complexity of shift register sequences
Published in Discrete Mathematics 341 (2018), no. 9, 2409--2417
• View Publication
• BIB
Let $x$ be an $m$-sequence, a maximal length sequence produced by a linear feedback shift register. We show that $x$ has maximal subword complexity function in the sense of Allouche and Shallit. We show that this implies that the nondeterministic automatic complexity $A_N(x)$ is close to maximal: $n/2-A_N(x)=O(\log^2n)$, where $n$ is the length of $x$. In contrast, Hyde has shown $A_N(y)\le n/2+1$ for all sequences $y$ of length $n$.
Nordhaus-Gaddum and other bounds for the sum of squares of the positive eigenvalues of a graph
Published
• View Publication
• BIB
Terpai [22] proved the Nordhaus-Gaddum bound that $μ(G) + μ(\overline{G}) \le 4n/3 - 1$, where $μ(G)$ is the spectral radius of a graph $G$ with $n$ vertices. Let $s^+$ denote the sum of the squares of the positive eigenvalues of $G$. We prove that $\sqrt{s^{+}(G)} + \sqrt{s^+(\overline{G})} < \sqrt{2}n$ and conjecture that $\sqrt{s^{+}(G)} + \sqrt{s^+(\overline{G})} \le 4n/3 - 1.$ We have used AutoGraphiX and Wolfram Mathematica to search for a counter-example. We also consider Nordhaus-Gaddum bounds for $s^+$ and bounds for the Randić index.
Minimum rank and zero forcing number for butterfly networks
Published in Journal of Combinatorial Optimization 37 (2019), 970-988
• View Publication
• BIB
The minimum rank of a simple graph $G$ is the smallest possible rank over all symmetric real matrices $A$ whose nonzero off-diagonal entries correspond to the edges of $G$. Using the zero forcing number, we prove that the minimum rank of the butterfly network is $\frac19\left[(3r+1)2^{r+1}-2(-1)^r\right]$ and that this is equal to the rank of its adjacency matrix.
Euler's partition theorem for all moduli and new companions to Rogers-Ramanujan-Andrews-Gordon identities
Published in Ramanujan. J 2019
• View Publication
• BIB
In this paper, we give a conjecture, which generalises Euler's partition theorem involving odd parts and different parts for all moduli. We prove this conjecture for two family partitions. We give $q$-difference equations for the related generating function if the moduli is three. We provide new companions to Rogers-Ramanujan-Andrews-Gordon identities under this conjecture.
Zero-One Law for random uniform hypergraphs
In this work limit probabilities of first-order properties of the random $s$-uniform hypergraph in the binomial model $G^{s}(n,p)$ are studied. We give a complete discription of all positive $α$ such that $G^{s}(n,n^{-α})$ obeys Zero-One Law. Moreover, for any rational $ρ\geq 1/(s-1)$ we prove the existence of a strictly balanced $s$-uniform hypergraph with the density $ρ$.
The solution of a generalized secretary problem via analytic expressions
Published
• View Publication
• BIB
Given integers $1\leq k<n$, the Gusein-Zade version of a generalized secretary problem is to choose one of the $k$ best of $n$ candidates for a secretary, which are interviewing in random order. The stopping rule in the selection is based only on the relative ranks of the successive arrivals. It is known that the best policy can be described by a non--decreasing sequence $(s_1, \ldots, s_k)$ of integers with $l\leq s_l<n$ for every $1\leq l\leq k$, and conversely, any such a sequence determines the general structure of the best policy. We found a finite analytic expression for the probability of success when using the optimal policy with a sequence $(s_1, \ldots, s_k)$. We also study the problem of the construction of the optimal sequence, i.e. a sequence which maximizes the corresponding probability of success. We discovered finite analytic expressions which enable to calculate the elements $s_l$ of an optimal sequence one by one, from $l=k$ to $l=1$. Until now, such expressions were derived separately, and only for the values $k\leq 3$.
A Selectable Sloppy Heap
Published
• View Publication
• BIB
We study the selection problem, namely that of computing the $i$th order statistic of $n$ given elements. Here we offer a data structure called \emph{selectable sloppy heap} handling a dynamic version in which upon request: (i)~a new element is inserted or (ii)~an element of a prescribed quantile group is deleted from the data structure. Each operation is executed in (ideal!) constant time---and is thus independent of $n$ (the number of elements stored in the data structure)---provided that the number of quantile groups is fixed. This is the first result of this kind accommodating both insertion and deletion in constant time. As such, our data structure outperforms the soft heap data structure of Chazelle (which only offers constant amortized complexity for a fixed error rate $0<\varepsilon \leq 1/2$) in applications such as dynamic percentile maintenance. The design demonstrates how slowing down a certain computation can speed up the data structure.
Definable regularity lemmas for NIP hypergraphs
Published
• View Publication
• BIB
We present a systematic study of the regularity phenomena for NIP hypergraphs and connections to the theory of (locally) generically stable measures, providing a model-theoretic hypergraph version of the results from [L. Lovász, B. Szegedy, "Regularity partitions and the topology of graphons", An irregular mind, Springer Berlin Heidelberg, 2010, 415-446]. Besides, we revise the two extremal cases of regularity for stable and distal hypergraphs, improving and generalizing the results from [A. Chernikov, S. Starchenko, "Regularity lemma for distal structures", J. Eur. Math. Soc. 20 (2018), 2437-2466] and [M. Malliaris, S. Shelah, "Regularity lemmas for stable graphs", Transactions of the American Mathematical Society, 366.3, 2014, 1551-1585]. Finally, we consider a related question of the existence of large (approximately) homogeneous definable subsets of NIP hypergraphs and provide some positive results and counterexamples.
Real line arrangements with Hirzebruch property
Published in Geom. Topol. 22 (2018) 2697-2711
• View Publication
• BIB
A line arrangement of $3n$ lines in $\mathbb CP^2$ satisfies Hirzebruch property if each line intersect others in $n+1$ points. Hirzebruch asked if all such arrangements are related to finite complex reflection groups. We give a positive answer to this question in the case when the line arrangement in $\mathbb CP^2$ is real, confirming that there exist exactly four such arrangements.