Showing 20 papers (Total: 84253 papers, 48533 authors in database)
Counting racks of order n
Published in Electronic Journal of Combinatorics 24 (2017), #P2.32 (electronic, 20 pp.)
• View Publication
• BIB
A rack on $[n]$ can be thought of as a set of maps $(f_x)_{x \in [n]}$, where each $f_x$ is a permutation of $[n]$ such that $f_{(x)f_y} = f_y^{-1}f_xf_y$ for all $x$ and $y$. In 2013, Blackburn showed that the number of isomorphism classes of racks on $[n]$ is at least $2^{(1/4 - o(1))n^2}$ and at most $2^{(c + o(1))n^2}$, where $c \approx 1.557$; in this paper we improve the upper bound to $2^{(1/4 + o(1))n^2}$, matching the lower bound. The proof involves considering racks as loopless, edge-coloured directed multigraphs on $[n]$, where we have an edge of colour $y$ between $x$ and $z$ if and only if $(x)f_y = z$, and applying various combinatorial tools.
Signs of the Leading Coefficients of the Resultant
Published in Geometric and Functional Analysis 27 (2017) 33-66
• View Publication
• BIB
We construct a certain $\F_2$-valued analogue of the mixed volume of lattice polytopes. This 2-mixed volume cannot be defined as a polarization of any kind of an additive measure, or characterized by any kind of its monotonicity properties, because neither of the two makes sense over $\F_2$. In this sense, the convex-geometric nature of the 2-mixed volume remains unclear. On the other hand, the 2-mixed volume seems to be no less natural and useful than the classical mixed volume -- in particular, it also plays an important role in algebraic geometry. As an illustration of this role, we obtain a closed-form expression in terms of the 2-mixed volume to compute the signs of the leading coefficients of the resultant, which were by now explicitly computed only for some special cases.
On a generalisation of Mantel's theorem to uniformly dense hypergraphs
Published in Int. Math. Res. Not. IMRN 2018(16), 4899-4941
• View Publication
• BIB
For a $k$-uniform hypergraph $F$ let $\textrm{ex}(n,F)$ be the maximum number of edges of a $k$-uniform $n$-vertex hypergraph $H$ which contains no copy of $F$. Determining or estimating $\textrm{ex}(n,F)$ is a classical and central problem in extremal combinatorics. While for $k=2$ this problem is well understood, due to the work of Turán and of Erdős and Stone, only very little is known for $k$-uniform hypergraphs for $k>2$. We focus on the case when $F$ is a $k$-uniform hypergraph with three edges on $k+1$ vertices. Already this very innocent (and maybe somewhat particular looking) problem is still wide open even for $k=3$.
We consider a variant of the problem where the large hypergraph $H$ enjoys additional hereditary density conditions. Questions of this type were suggested by Erd\H os and Sós about 30 years ago. We show that every $k$-uniform hypergraph $H$ with density $>2^{1-k}$ with respect to every large collections of $k$-cliques induced by sets of $(k-2)$-tuples contains a copy of $F$. The required density $2^{1-k}$ is best possible as higher order tournament constructions show.
Our result can be viewed as a common generalisation of the first extremal result in graph theory due to Mantel (when $k=2$ and the hereditary density condition reduces to a normal density condition) and a recent result of Glebov, Král', and Volec (when $k=3$ and large subsets of vertices of $H$ induce a subhypergraph of density $>1/4$). Our proof for arbitrary $k\geq 2$ utilises the regularity method for hypergraphs.
Random simplicial complexes
Random shapes arise naturally in many contexts. The topological and geometric structure of such objects is interesting for its own sake, and also for applications. In physics, for example, such objects arise naturally in quantum gravity, in material science, and in other settings. Stochastic topology may also be considered as a null hypothesis for topological data analysis.
In this chapter we overview combinatorial aspects of stochastic topology. We focus on the topological and geometric properties of random simplicial complexes. We introduce a few of the fundamental models in Section 23.1. We review high-dimensional expander-like properties of random complexes in Section 23.2. We discuss threshold behavior and phase transitions in Section 23.3, and Betti numbers and persistent homology in Section 23.4.
Distinguishing number and distinguishing index of graphs from primary subgraphs
The distinguishing number (index) $D(G)$ ($D'(G)$) of a graph $G$ is the least integer $d$ such that $G$ has an vertex labeling (edge labeling) with $d$ labels that is preserved only by a trivial automorphism. Let $G$ be a connected graph constructed from pairwise disjoint connected graphs $G_1,\ldots ,G_k$ by selecting a vertex of $G_1$, a vertex of $G_2$, and identify these two vertices. Then continue in this manner inductively. We say that $G$ is obtained by point-attaching from $G_1, \ldots ,G_k$ and that $G_i$'s are the primary subgraphs of $G$. In this paper, we consider some particular cases of these graphs that are of importance in chemistry and study their distinguishing number and index.
Deciding whether there are infinitely many prime graphs with forbidden induced subgraphs
Published
• View Publication
• BIB
A homogeneous set of a graph $G$ is a set $X$ of vertices such that $2\le \lvert X\rvert <\lvert V(G)\rvert$ and no vertex in $V(G)-X$ has both a neighbor and a non-neighbor in $X$. A graph is prime if it has no homogeneous set.
We present an algorithm to decide whether a class of graphs given by a finite set of forbidden induced subgraphs contains infinitely many non-isomorphic prime graphs.
Connectivity Oracles for Graphs Subject to Vertex Failures
Published
• View Publication
• BIB
We introduce new data structures for answering connectivity queries in graphs subject to batched vertex failures. A deterministic structure processes a batch of $d\leq d_{\star}$ failed vertices in $\tilde{O}(d^3)$ time and thereafter answers connectivity queries in $O(d)$ time. It occupies space $O(d_{\star} m\log n)$. We develop a randomized Monte Carlo version of our data structure with update time $\tilde{O}(d^2)$, query time $O(d)$, and space $\tilde{O}(m)$ for any failure bound $d\le n$. This is the first connectivity oracle for general graphs that can efficiently deal with an unbounded number of vertex failures.
We also develop a more efficient Monte Carlo edge-failure connectivity oracle. Using space $O(n\log^2 n)$, $d$ edge failures are processed in $O(d\log d\log\log n)$ time and thereafter, connectivity queries are answered in $O(\log\log n)$ time, which are correct w.h.p.
Our data structures are based on a new decomposition theorem for an undirected graph $G=(V,E)$, which is of independent interest. It states that for any terminal set $U\subseteq V$ we can remove a set $B$ of $|U|/(s-2)$ vertices such that the remaining graph contains a Steiner forest for $U-B$ with maximum degree $s$.
Vizing's conjecture: a two-thirds bound for claw-free graphs
Published in Discrete Applied Mathematics 230: 162-165, (2017)
• View Publication
• BIB
We show that for any claw-free graph $G$ and any graph $H$, $γ(G\square H)\geq \frac{2}{3}γ(G)γ(H)$, where $γ(G)$ is the domination number of $G$.
Classes and equivalence of linear sets in $PG(1,q^n)$
The equivalence problem of $\mathbb{F}_q$-linear sets of rank n of $PG(1,q^n)$ is investigated, also in terms of the associated variety, projecting configurations, $\mathbb{F}_q$-linear blocking sets of Rédei type and MRD-codes.
A Space of Phylogenetic Networks
Published
• View Publication
• BIB
A classic problem in computational biology is constructing a phylogenetic tree given a set of distances between n species. In most cases, a tree structure is too constraining. We consider a circular split network, a generalization of a tree in which multiple parallel edges signify divergence. A geometric space of such networks is introduced, forming a natural extension of the work by Billera, Holmes, and Vogtmann on tree space. We explore properties of this space, and show a natural embedding of the compactification of the real moduli space of curves within it.
Factorial characters of some classical Lie groups
A definition is offered of the factorial characters of the general linear group, the symplectic group and the orthogonal group in an odd dimensional space. It is shown that these characters satisfy certain flagged Jacobi-Trudi identities. These identities are then used to give combinatorial expressions for the factorial characters: first in terms of a lattice path model and then in terms of the well known tableaux associated with the classical groups. Factorial Q-functions are then defined in terms of three sets of primed shifted tableaux, and shown to satisfy Tokuyama type identities in each case.
On sets defining few ordinary circles
Published in Disc. Comp. Geom. 59 (2018), no. 1, 59--87
• View Publication
• BIB
An ordinary circle of a set $P$ of $n$ points in the plane is defined as a circle that contains exactly three points of $P$. We show that if $P$ is not contained in a line or a circle, then $P$ spans at least $\frac{1}{4}n^2 - O(n)$ ordinary circles. Moreover, we determine the exact minimum number of ordinary circles for all sufficiently large $n$ and describe all point sets that come close to this minimum. We also consider the circle variant of the orchard problem. We prove that $P$ spans at most $\frac{1}{24}n^3 - O(n^2)$ circles passing through exactly four points of $P$. Here we determine the exact maximum and the extremal configurations for all sufficiently large $n$.
These results are based on the following structure theorem. If $n$ is sufficiently large depending on $K$, and $P$ is a set of $n$ points spanning at most $Kn^2$ ordinary circles, then all but $O(K)$ points of $P$ lie on an algebraic curve of degree at most four. Our proofs rely on a recent result of Green and Tao on ordinary lines, combined with circular inversion and some classical results regarding algebraic curves.
High girth hypergraphs with unavoidable monochromatic or rainbow edges
Published
• View Publication
• BIB
A classical result of Erdős and Hajnal claims that for any integers $k, r, g \geq 2$ there is an $r$-uniform hypergraph of girth at least $g$ with chromatic number at least $k$. This implies that there are sparse hypergraphs such that in any coloring of their vertices with at most $k-1$ colors there is a monochromatic hyperedge. We show that for any integers $r, g\geq 2$ there is an $r$-uniform hypergraph of girth at least $g$ such that in any coloring of its vertices there is either a monochromatic or a rainbow (totally multicolored) edge. We give a probabilistic and a deterministic proof of this result.
Discrete Unitary Invariance
We show that certain determinantal functions of multiple matrices, when summed over the symmetries of the cube, decompose into functions of the original matrices. These are shown to be true in complete generality; that is, no properties of the underlying vector space will be used apart from normal ring properties, and therefore hold in any commutative ring. All proofs are elementary --- in fact, the majority are simply derivations.
Accounting for the Role of Long Walks on Networks via a New Matrix Function
Published
• View Publication
• BIB
We introduce a new matrix function for studying graphs and real-world networks based on a double-factorial penalization of walks between nodes in a graph. This new matrix function is based on the matrix error function. We find a very good approximation of this function using a matrix hyperbolic tangent function. We derive a communicability function, a subgraph centrality and a double-factorial Estrada index based on this new matrix function. We obtain upper and lower bounds for the double-factorial Estrada index of graphs, showing that they are similar to those of the single-factorial Estrada index. We then compare these indices with the single-factorial one for simple graphs and real-world networks. We conclude that for networks containing chordless cycles---holes---the two penalization schemes produce significantly different results. In particular, we study two series of real-world networks representing urban street networks, and protein residue networks. We observe that the subgraph centrality based on both indices produce significantly different ranking of the nodes. The use of the double factorial penalization of walks opens new possibilities for studying important structural properties of real-world networks where long-walks play a fundamental role, such as the cases of networks containing chordless cycles.
Hadwiger's conjecture for graphs with forbidden holes
Published
• View Publication
• BIB
Given a graph $G$, the Hadwiger number of $G$, denoted by $h(G)$, is the largest integer $k$ such that $G$ contains the complete graph $K_k$ as a minor. A hole in $G$ is an induced cycle of length at least four. Hadwiger's Conjecture from 1943 states that for every graph $G$, $h(G)\ge χ(G)$, where $χ(G)$ denotes the chromatic number of $G$. In this paper we establish more evidence for Hadwiger's conjecture by showing that if a graph $G$ with independence number $α(G)\ge3$ has no hole of length between $4$ and $2α(G)-1$, then $h(G)\geχ(G)$. We also prove that if a graph $G$ with independence number $α(G)\ge2$ has no hole of length between $4$ and $2α(G)$, then $G$ contains an odd clique minor of size $χ(G)$, that is, such a graph $G$ satisfies the odd Hadwiger's conjecture.
Hereditary Graph Classes: When the Complexities of Colouring and Clique Cover Coincide
A graph is $(H_1,H_2)$-free for a pair of graphs $H_1,H_2$ if it contains no induced subgraph isomorphic to $H_1$ or $H_2$. In 2001, Král', Kratochvíl, Tuza, and Woeginger initiated a study into the complexity of Colouring for $(H_1,H_2)$-free graphs. Since then, others have tried to complete their study, but many cases remain open. We focus on those $(H_1,H_2)$-free graphs where $H_2$ is $\overline{H_1}$, the complement of $H_1$. As these classes are closed under complementation, the computational complexities of Colouring and Clique Cover coincide. By combining new and known results, we are able to classify the complexity of Colouring and Clique Cover for $(H,\overline{H})$-free graphs for all cases except when $H=sP_1+ P_3$ for $s\geq 3$ or $H=sP_1+P_4$ for $s\geq 2$. We also classify the complexity of Colouring on graph classes characterized by forbidding a finite number of self-complementary induced subgraphs, and we initiate a study of $k$-Colouring for $(P_r,\overline{P_r})$-free graphs.
Linearly Embeddable Designs
Published
• View Publication
• BIB
A residual design ${\cal{D}}_B$ with respect to a block $B$ of a given design $\cal{D}$ is defined to be linearly embeddable over $GF(p)$ if the $p$-ranks of the incidence matrices of ${\cal{D}}_B$ and $\cal{D}$ differ by one. A sufficient condition for a residual design to be linearly embeddable is proved in terms of the minimum distance of the linear code spanned by the incidence matrix, and this condition is used to show that the residual designs of several known infinite classes of designs are linearly embeddable. A necessary condition for linear embeddability is proved for affine resolvable designs and their residual designs. As an application, it is shown that a residual design of the classical affine design of the planes in $AG(3,2^2)$ admits two nonisomorphic embeddings over $GF(2)$ that give rise to the only known counter-examples of Hamada's conjecture over a field of non-prime order.
Kronecker Product Graphs and Counting Walks in Restricted Lattices
Formulas are derived for counting walks in the Kronecker product of graphs, and the associated spectral distributions are obtained by the Mellin convolution of probability distributions. Two-dimensional restricted lattices admitting the Kronecker product structure are listed, and their spectral distributions are calculated in terms of elliptic integrals.
Swing lattice game and a short proof of the swing lemma for planar semimodular lattices
The swing lemma, due to G. Grätzer for slim semimodular lattices and extended by G. Czédli and G. Grätzer for all planar semimodular lattices, describes the congruence generated by a prime interval in an efficient way. Here we present a new proof for this lemma, which is shorter than the earlier two. Also, motivated by the swing lemma and mechanical pinball games with flippers, we construct an online game called Swing lattice game. A computer program realizing this game is available from the authors' websites.