Showing 20 papers (Total: 83076 papers, 47999 authors in database)
The independence number of HH-homogeneous graphs and a classification of MB-homogeneous graphs
Published
• View Publication
• BIB
We show that the independence number of a countably infinite HH-homogeneous graph that does not contain the Rado graph as a spanning subgraph is finite and present a classification of MB-homogeneous graphs up to bimorphism-equivalence as a consequence.
Generalized cut method for computing the edge-Wiener index
Published in Discrete Appl. Math. 282 (2020) 222-233
• View Publication
• BIB
The edge-Wiener index of a connected graph $G$ is defined as the Wiener index of the line graph of $G$. In this paper it is shown that the edge-Wiener index of an edge-weighted graph can be computed in terms of the Wiener index, the edge-Wiener index, and the vertex-edge-Wiener index of weighted quotient graphs which are defined by a partition of the edge set that is coarser than $Θ^*$-partition. Thus, already known analogous methods for computing the edge-Wiener index of benzenoid systems and phenylenes are greatly generalized. Moreover, reduction theorems are developed for the edge-Wiener index and the vertex-edge-Wiener index since they can be applied in order to compute a corresponding index of a (quotient) graph from the so-called reduced graph. Finally, the obtained results are used to find the closed formula for the edge-Wiener index of an infinite family of graphs.
Triangle areas in line arrangements
A widely investigated subject in combinatorial geometry, originated from Erdős, is the following. Given a point set $P$ of cardinality $n$ in the plane, how can we describe the distribution of the determined distances? This has been generalized in many directions. In this paper we propose the following variants. Consider planar arrangements of $n$ lines. Determine the maximum number of triangles of unit area, maximum area or minimum area, determined by these lines. Determine the minimum size of a subset of these $n$ lines so that all triples determine distinct area triangles.
We prove that the order of magnitude for the maximum occurrence of unit areas lies between $Ω(n^2)$ and $O(n^{9/4})$. This result is strongly connected to both additive combinatorial results and Szemerédi--Trotter type incidence theorems. Next we show a tight bound for the maximum number of minimum area triangles. Finally we present lower and upper bounds for the maximum area and distinct area problems by combining algebraic, geometric and combinatorial techniques.
Graph-theoretic Simplification of Quantum Circuits with the ZX-calculus
Published in Quantum 4, 279 (2020)
• View Publication
• BIB
We present a completely new approach to quantum circuit optimisation, based on the ZX-calculus. We first interpret quantum circuits as ZX-diagrams, which provide a flexible, lower-level language for describing quantum computations graphically. Then, using the rules of the ZX-calculus, we give a simplification strategy for ZX-diagrams based on the two graph transformations of local complementation and pivoting and show that the resulting reduced diagram can be transformed back into a quantum circuit. While little is known about extracting circuits from arbitrary ZX-diagrams, we show that the underlying graph of our simplified ZX-diagram always has a graph-theoretic property called generalised flow, which in turn yields a deterministic circuit extraction procedure. For Clifford circuits, this extraction procedure yields a new normal form that is both asymptotically optimal in size and gives a new, smaller upper bound on gate depth for nearest-neighbour architectures. For Clifford+T and more general circuits, our technique enables us to to `see around' gates that obstruct the Clifford structure and produce smaller circuits than naive 'cut-and-resynthesise' methods.
A Stochastic Approach to Eulerian Numbers
We examine the aggregate behavior of one-dimensional random walks in a model known as (one-dimensional) Internal Diffusion Limited Aggregation. In this model, a sequence of $n$ particles perform random walks on the integers, beginning at the origin. Each particle walks until it reaches an unoccupied site, at which point it occupies that site and the next particle begins its walk. After all walks are complete, the set of occupied sites is an interval of length $n$ containing the origin. We show the probability that $k$ of the occupied sites are positive is given by an Eulerian probability distribution. Having made this connection, we use generating function techniques to compute the expected run time of the model.
t-wise Berge and t-heavy hypergraphs
In many proofs concerning extremal parameters of Berge hypergraphs one starts with analyzing that part of that shadow graph which is contained in many hyperedges. Capturing this phenomenon we introduce two new types of hypergraphs. A hypergraph $\mathcal{H}$ is a $t$-heavy copy of a graph $F$ if there is a copy of $F$ on its vertex set such that each edge of $F$ is contained in at least $t$ hyperedges of $\mathcal{H}$. $\mathcal{H}$ is a $t$-wise Berge copy of $F$ if additionally for distinct edges of $F$ those $t$ hyperedges are distinct.
We extend known upper bounds on the Turán number of Berge hypergraphs to the $t$-wise Berge hypergraphs case. We asymptotically determine the Turán number of $t$-heavy and $t$-wise Berge copies of long paths and cycles and exactly determine the Turán number of $t$-heavy and $t$-wise Berge copies of cliques.
In the case of 3-uniform hypergraphs, we consider the problem in more details and obtain additional results.
Dynamically Defined Sequences with Small Discrepancy
We study the problem of constructing sequences $(x_n)_{n=1}^{\infty}$ on $[0,1]$ in such a way that $$ D_N^* = \sup_{0 \leq x \leq 1} \left| \frac{ \left\{1 \leq i \leq N: x_i \leq x \right\}}{N} - x \right|$$ is uniformly small. A result of Schmidt shows that necessarily $D_N^* \gtrsim (\log{N}) N^{-1}$ for infinitely many $N$ and there are several classical constructions attaining this growth. We describe a type of uniformly distributed sequence that seems to be completely novel: given $\left\{x_1, \dots, x_{N-1} \right\}$, we construct $x_N$ in a greedy manner $$ x_N = \arg\min_{\min_k |x-x_k| \geq N^{-10}} \sum_{k=1}^{N-1}{1-\log{(2\sin{(π|x-x_k|)})}}.$$ We prove that $D_N \lesssim (\log{N}) N^{-1/2}$ and conjecture that $D_N \lesssim (\log{N}) N^{-1}$. Numerical examples illustrate this conjecture in a very impressive manner. We also establish a discrepancy bound $D_N \lesssim (\log{N})^d N^{-1/2}$ for an analogous construction in higher dimensions and conjecture it to be $D_N \lesssim (\log{N})^d N^{-1}$.
Exchangeable and Sampling Consistent Distributions on Rooted Binary Trees
We introduce a notion of finite sampling consistency for phylogenetic trees and show that the set of finitely sampling consistent and exchangeable distributions on n leaf phylogenetic trees is a polytope. We use this polytope to show that the set of all exchangeable and infinite sampling consistent distributions on 4 leaf phylogenetic trees is exactly Aldous' beta-splitting model and give a description of some of the vertices for the polytope of distributions on 5 leaves. We also introduce a new semialgebraic set of exchangeable and sampling consistent models we call the multinomial model and use it to characterize the set of exchangeable and sampling consistent distributions.
Combinatorial properties of phylogenetic diversity indices
Phylogenetic diversity indices provide a formal way to apportion 'evolutionary heritage' across species. Two natural diversity indices are Fair Proportion (FP) and Equal Splits (ES). FP is also called 'evolutionary distinctiveness' and, for rooted trees, is identical to the Shapley Value (SV), which arises from cooperative game theory. In this paper, we investigate the extent to which FP and ES can differ, characterise tree shapes on which the indices are identical, and study the equivalence of FP and SV and its implications in more detail. We also define and investigate analogues of these indices on unrooted trees (where SV was originally defined), including an index that is closely related to the Pauplin representation of phylogenetic diversity.
On the density of sumsets and product sets
In this paper some links between the density of a set of integers and the density of its sumset, product set and set of subset sums are presented.
Complete multipartite graphs that are determined, up to switching, by their Seidel spectrum
Published in Linear Algebra and its Applications 2019
• View Publication
• BIB
It is known that complete multipartite graphs are determined by their distance spectrum but not by their adjacency spectrum. The Seidel spectrum of a graph $G$ on more than one vertex does not determine the graph, since any graph obtained from $G$ by Seidel switching has the same Seidel spectrum. We consider $G$ to be determined by its Seidel spectrum, up to switching, if any graph with the same spectrum is switching equivalent to a graph isomorphic to $G$. It is shown that any graph which has the same spectrum as a complete $k$-partite graph is switching equivalent to a complete $k$-partite graph, and if the different partition sets sizes are $p_1,\ldots, p_l$, and there are at least three partition sets of each size $p_i$, $i=1,\ldots, l$, then $G$ is determined, up to switching, by its Seidel spectrum. Sufficient conditions for a complete tripartite graph to be determined by its Seidel spectrum are discussed, and a conjecture is made on complete tripartite graphs on more than 18 vertices.
Spectra of eccentricity matrices of graphs
Published in Discrete Applied Mathematics, Volume 285, 15 October 2020, Pages 252-260
• View Publication
• BIB
The eccentricity matrix of a connected graph $G$ is obtained from the distance matrix of $G$ by retaining the largest distances in each row and each column, and setting the remaining entries as $0$. In this article, a conjecture about the least eigenvalue of eccentricity matrices of trees, presented in the article [Jianfeng Wang, Mei Lu, Francesco Belardo, Milan Randic. The anti-adjacency matrix of a graph: Eccentricity matrix. Discrete Applied Mathematics, 251: 299-309, 2018.], is solved affirmatively. In addition to this, the spectra and the inertia of eccentricity matrices of various classes of graphs are investigated.
On divisibility by primes in columns of character tables of symmetric groups
For an arbitrary prime $p$ we prove that the proportion of entries divisible by $p$ in certain columns of the character table of the symmetric group $S_n$ tends to 1 as $n\to\infty$. This is done by finding lower bounds on the number of $k$-cores, for $k$ large enough with respect to $n$.
Combinatorial specifications for juxtapositions of permutation classes
We show that, given a suitable combinatorial specification for a permutation class $\mathcal{C}$, one can obtain a specification for the juxtaposition (on either side) of $\mathcal{C}$ with Av(21) or Av(12), and that if the enumeration for $\mathcal{C}$ is given by a rational or algebraic generating function, so is the enumeration for the juxtaposition. Furthermore this process can be iterated, thereby providing an effective method to enumerate any 'skinny' $k\times 1$ grid class in which at most one cell is non-monotone, with a guarantee on the nature of the enumeration given the nature of the enumeration of the non-monotone cell.
Comments on "Discrete Groups, Expanding Graphs and Invariant Measures", by Alexander Lubotzky
This document is a collection of comments that I wrote down while reading the first four chapters of the book "Discrete Groups, Expanding Graphs and Invariant Measures" by Alexander Lubotzky. Most of them are more detailed versions of proofs. Some imprecisions are pointed out and discussed, and some facts referenced in the book are proven. In the appendix we discuss topics of interest in relation to this book, which are however not necessary for its understanding. The aim of this document, which is not quite complete in that respect, is to provide, together with Lubotzky's book, a self-contained read.
The minimal cellular resolutions of the edge ideals of forests
We present an explicit construction of a minimal cellular resolution for the edge ideals of forests, based on discrete Morse theory. In particular, the generators of the free modules are subsets of the generators of the modules in the Lyubeznik resolution. This procedure allows to ease the computation of the graded Betti numbers and the projective dimension.
Half-Spin Tautological Relations and Faber's Proportionalities of Kappa Classes
Published in SIGMA 15 (2019), 080, 27 pages
• View Publication
• BIB
We employ the $1/2$-spin tautological relations to provide a particular combinatorial identity. We show that this identity is a statement equivalent to Faber's formula for proportionalities of kappa-classes on $\mathcal{M}_g$, $g\geq 2$. We then prove several cases of the combinatorial identity, providing a new proof of Faber's formula for those cases.
Constructive Non-Linear Polynomial Cryptanalysis of a Historical Block Cipher
One of the major open problems in symmetric cryptanalysis is to discover new specif i c types of invariant properties which can hold for a larger number of rounds of a block cipher. We have Generalised Linear Cryptanalysis (GLC) and Partitioning Cryptanalysis (PC). Due to double-exponential combinatorial explosion of the number of possible invariant properties systematic exploration is not possible and extremely few positive working examples of GLC are known. Our answer is to work with polynomial algebraic invariants which makes partitions more intelligible. We have developed a constructive algebraic approach which is about making sure that a certain combination of polynomial equations is zero. We work with an old block cipher from 1980s which has particularly large hardware complexity compared to modern ciphers e.g. AES. However all this complexity is not that useful if we are able to construct powerful non-linear invariants which work for any number of rounds. A key feature of our invariant attacks is that we are able to completely eliminate numerous state and key bits. We also construct invariants for the (presumably stronger) KT1 keys. Some of these lead to powerful ciphertext-only correlation attacks.
On Genus g Orientable Crossing Numbers of Small Complete Graphs
The current state of knowledge of genus g orientable crossing numbers of complete graphs through K11 is reviewed. It is shown that cr3(K10)=3, cr3(K11)<=14, and cr4(K11)=4. It is established with the aid of an algorithm that there are precisely two non-isomorphic embeddings of K9 with a hexagon with all its vertices distinct on a surface of genus 3.
Topological quantum field theory and polynomial identities for graphs on the torus
Published in Ann. Inst. Henri Poincare D 10 (2023), 277-298
• View Publication
• BIB
We establish a relation between the trace evaluation in SO(3) topological quantum field theory and evaluations of a topological Tutte polynomial. As an application, a generalization of the Tutte golden identity is proved for graphs on the torus.