Showing 20 papers (Total: 82851 papers, 47869 authors in database)
A note on the connectivity of 2-polymatroid minors
Published
• View Publication
• BIB
Brylawski and Seymour independently proved that if $M$ is a connected matroid with a connected minor $N$, and $e \in E(M) - E(N)$, then $M \backslash e$ or $M / e$ is connected having $N$ as a minor. This paper proves an analogous but somewhat weaker result for $2$-polymatroids. Specifically, if $M$ is a connected $2$-polymatroid with a proper connected minor $N$, then there is an element $e$ of $E(M) - E(N)$ such that $M \backslash e$ or $M / e$ is connected having $N$ as a minor. We also consider what can be said about the uniqueness of the way in which the elements of $E(M) - E(N)$ can be removed so that connectedness is always maintained.
Counting Candy Crush Configurations
Published
• View Publication
• BIB
A k-stable c-coloured Candy Crush grid is a weak proper c-colouring of a particular type of k-uniform hypergraph. In this paper we introduce a fully polynomial randomised approximation scheme (FPRAS) which counts the number of k-stable c-coloured Candy Crush grids of a given size (m, n) for certain values of c and k. We implemented this algorithm on Matlab, and found that in a Candy Crush grid with7 available colours there are approximately 4.3*10^61 3-stable colourings. (Note that, typical Candy Crush games are played with 6 colours and our FPRAS is not guaranteed to work in expected polynomial time with k= 3 and c= 6.) We also discuss the applicability of this FPRAS to the problem of counting the number of weak c-colourings of other, more general hypergraphs.
Corona product of signed graphs and its application to signed network modelling
Published
• View Publication
• BIB
The notion of corona of two graphs was introduced by Frucht and Harary in 1970. In this paper we generalize their definition of corona product of two graphs and introduce corona product of two signed graphs by utilizing the framework of marked graphs, which was introduced by Beineke and Harary in 1978. We study the structural and spectral properties of corona product of signed graphs. Further we define signed corona graphs by considering corona product of a fixed small signed graph with itself iteratively, and we call the small graph as the seed graph for the corresponding corona graphs. Signed corona graphs can be employed as a signed network generative model for large growing signed networks. We study structural properties of corona graphs that include statistics of signed links, all types of signed triads and degree distribution. Besides we analyze algebraic conflict of signed corona graphs generated by specially structured seed graphs. Finally we show that a suitable choice of a seed graph can produce corona graphs which preserve properties of real signed networks.
On few-class $Q$-polynomial association schemes: feasible parameters and nonexistence results
Published
• View Publication
• BIB
We present the tables of feasible parameters of primitive $3$-class $Q$-polynomial association schemes and $4$- and $5$-class $Q$-bipartite association schemes (on up to $2800$, $10000$, and $50000$ vertices, respectively), accompanied by a number of nonexistence results for such schemes obtained by analysing triple intersection numbers of putative open cases.
Learning Very Large Graphs with Unknown Vertex Distributions
Recently, Goldreich introduced the notion of property testing of bounded-degree graphs with an unknown distribution. We propose a slight modification of his idea: the Radon-Nikodym Oracles. Using these oracles any reasonable graph property can be tested in constant-time against any reasonable unknown distribution in the category of planar graphs. We also discuss Randomized Local Distributed Algorithms, which work on very large graphs with unknown distributions. Finally, we discuss how can we learn graph properties using observations instead of samplings.
Game Values of Strong Placement Games
The legal positions of a strong placement game, such as Domineering, form a simplicial complex called the legal complex. In this paper, we use the legal complex to study the game values taken on by the class of strong placement games using the legal complex. We show that many interesting values are possible, including all numbers and nimbers. We further consider how structures of the legal complex influence which values are possible.
On the tangle compactification of infinite graphs
In finite graphs, finite-order tangles offer an abstract description of highly connected substructures. In infinite graphs, infinite-order tangles compactify the graphs in the same way the ends compactify connected locally finite graphs. Thus, the arising tangle compactification extends the well-known Freudenthal compactification from connected locally finite graphs to arbitrary infinite graphs. This Master's thesis investigates the tangle compactifcation.
Moment Calculus on Ramsey Graph
When I did my thesis defense presentation eleven years ago, I chose to present the subject of Ramsey theory from the moment calculus perspective. I don't think I did too well there (although I passed). Time has passed and this is the chance to redeem myself. Here we relate Ramsey numbers, $R(k,k)$, with the method of moment calculus by checking the distribution of numbers of monochromatic complete subgraph of $k$ vertices in the random graphs. We also review Delaporte distribution's connection that was mentioned in the paper by Robertson, Cipolli and Dascalu.
Representations of infinite tree-sets
Published
• View Publication
• BIB
Tree sets are abstract structures that can be used to model various tree-shaped objects in combinatorics. Finite tree sets can be represented by finite graph-theoretical trees. We extend this representation theory to infinite tree sets.
First we characterise those tree sets that can be represented by tree sets arising from infinite trees; these are precisely those tree sets without a chain of order type ${ω+1}$. Then we introduce and study a topological generalisation of infinite trees which can have limit edges, and show that every infinite tree set can be represented by the tree set admitted by a suitable such tree-like space.
Clique immersion in graph products
Published
• View Publication
• BIB
Let $G,H$ be graphs and $G*H$ represent a particular graph product of $G$ and $H$. We define $im(G)$ to be the largest $t$ such that $G$ has a $K_t$-immersion and ask: given $im(G)=t$ and $im(H)=r$, how large is $im(G*H)$? Best possible lower bounds are provided when $*$ is the Cartesian or lexicographic product, and a conjecture is offered for each of the direct and strong products, along with some partial results.
Induced subgraphs of powers of oriented cycles
Published
• View Publication
• BIB
By using a $q$-analogue of the "magic" matrix introduced by H.Huang in his elegant solution of the sensitivity conjecture, we give a direct generalization of his result, replacing a hypercube graph by a Cartesian power of a directed $l$-cycle.
Equitable Colorings of Borel Graphs
Published
• View Publication
• BIB
Hajnal and Szemerédi proved that if $G$ is a finite graph with maximum degree $Δ$, then for every integer $k \geqslant Δ+1$, $G$ has a proper coloring with $k$ colors in which every two color classes differ in size at most by $1$; such colorings are called equitable. We obtain an analog of this result for infinite graphs in the Borel setting. Specifically, we show that if $G$ is an aperiodic Borel graph of finite maximum degree $Δ$, then for each $k \geqslant Δ+ 1$, $G$ has a Borel proper $k$-coloring in which every two color classes are related by an element of the Borel full semigroup of $G$. In particular, such colorings are equitable with respect to every $G$-invariant probability measure. We also establish a measurable version of a result of Kostochka and Nakprasit on equitable $Δ$-colorings of graphs with small average degree. Namely, we prove that if $Δ\geqslant 3$, $G$ does not contain a clique on $Δ+ 1$ vertices, and $μ$ is an atomless $G$-invariant probability measure such that the average degree of $G$ with respect to $μ$ is at most $Δ/5$, then $G$ has a $μ$-equitable $Δ$-coloring. As steps towards the proof of this result, we establish measurable and list coloring extensions of a strengthening of Brooks's theorem due to Kostochka and Nakprasit.
Critical Points, Critical Values, and a Determinant Identity for Complex Polynomials
Published
• View Publication
• BIB
Given any n-tuple of complex numbers, one can canonically define a polynomial of degree n+1 that has the entries of this n-tuple as its critical points. In 2002, Beardon, Carne, and Ng studied a map $θ\colon \mathbb{C}^n\to \mathbb{C}^n$ which outputs the critical values of the canonical polynomial constructed from the input, and they proved that this map is onto. Along the way, they showed that $θ$ is a local homeomorphism whenever the entries of the input are distinct and nonzero, and, implicitly, they produced a polynomial expression for the Jacobian determinant of $θ$. In this article we extend and generalize both the local homeomorphism result and the elegant determinant identity to analogous situations where the critical points occur with multiplicities. This involves stratifying $\mathbb{C}^n$ according to which coordinates are equal and generalizing $θ$ to a similar map $\mathbb{C}^\ell \to \mathbb{C}^\ell$ where $\ell$ is the number of distinct critical points. The more complicated determinant identity that we establish is closely connected to the multinomial identity known as Dyson's conjecture.
Interval-Permutation Segment Graphs
In this work, we introduce the \emph{interval permutation segment (IP-SEG)} model that naturally generalizes the geometric intersection models of interval and permutation graphs. We study properties of two graph classes that arise from the IP-SEG model and present a family of forbidden subgraphs for these classes. In addition, we present polynomial algorithms for the clique and independent set problems on these classes, when the model is given as part of the input.
Infinite Summation Formulas Involving Riemann-Zeta function
By some hypergeometric summation theorems, the authors establish a series of new infinite summation formulas involving generalized harmonic numbers related to Riemann-Zeta function, with three different patterns.
Perfect graphs for domination games
Let $γ_g(G)$ and $γ_{tg}(G)$ be the game domination number and the total game domination number of a graph $G$, respectively. Then $G$ is $γ_g$-perfect (resp. $γ_{tg}$-perfect), if every induced subgraph $F$ of $G$ satisfies $γ_g(F)=γ(F)$ (resp. $γ_{tg}(F)=γ_t(F)$). A recursive characterization of $γ_g$-perfect graphs is derived. The characterization yields a polynomial recognition algorithm for $γ_g$-perfect graphs. It is proved that every minimally $γ_g$-imperfect graph has domination number $2$. All minimally $γ_g$-imperfect triangle-free graphs are determined. It is also proved that $γ_{tg}$-perfect graphs are precisely $\overline{2P_3}$-free cographs.
Random growth on a Ramanujan graph
The behavior of a certain random growth process is analyzed on arbitrary regular and non-regular graphs. Our argument is based on the Expander Mixing Lemma, which entails that the results are strongest for Ramanujan graphs, which asymptotically maximize the spectral gap. Further, we consider Erdős--Rényi random graphs and compare our theoretical results with computational experiments on flip graphs of point configurations. The latter is relevant for enumerating triangulations.
Groups, graphs, and hypergraphs: average sizes of kernels of generic matrices with support constraints
Published
• View Publication
• BIB
We develop a theory of average sizes of kernels of generic matrices with support constraints defined in terms of graphs and hypergraphs. We apply this theory to study unipotent groups associated with graphs. In particular, we establish strong uniformity results pertaining to zeta functions enumerating conjugacy classes of these groups. We deduce that the numbers of conjugacy classes of $\mathbf{F}_q$-points of the groups under consideration depend polynomially on $q$. Our approach combines group theory, graph theory, toric geometry, and $p$-adic integration.
Our uniformity results are in line with a conjecture of Higman on the numbers of conjugacy classes of unitriangular matrix groups. Our findings are, however, in stark contrast to related results by Belkale and Brosnan on the numbers of generic symmetric matrices of given rank associated with graphs.
Complexity yardsticks for $f$-vectors of polytopes and spheres
Published
• View Publication
• BIB
We consider geometric and computational measures of complexity for sets of integer vectors, asking for a qualitative difference between $f$-vectors of simplicial and general $d$-polytopes, as well as flag $f$-vectors of $d$-polytopes and regular CW $(d-1)$-spheres, for $d\ge 4$.
On the effective impedance of finite and infinite networks
Published in Potential Analysis (2021)
• View Publication
• BIB
In this paper we deal with the notion of the effective impedance of AC networks consisting of resistances, coils and capacitors. Mathematically such a network is a locally finite graph whose edges are endowed with complex-valued weights depending on a complex parameter $λ$ (by the physical meaning, $λ=iω$, where $ω$ is the frequency of the AC). For finite networks, we prove some estimates of the effective impedance. Using these estimates, we show that, for infinite networks, the sequence of impedances of finite graph approximations converges in certain domains in $\mathbb{C}$ to a holomorphic function of $λ$, which allows us to define the effective impedance of the infinite network.