Showing 20 papers (Total: 84460 papers, 48641 authors in database)
Tournament quasirandomness from local counting
A well-known theorem of Chung and Graham states that if $h\geq 4$ then a tournament $T$ is quasirandom if and only if $T$ contains each $h$-vertex tournament the "correct number" of times as a subtournament. In this paper we investigate the relationship between quasirandomness of $T$ and the count of a single $h$-vertex tournament $H$ in $T$. We consider two types of counts, the global one and the local one.
We first observe that if $T$ has the correct global count of $H$ and $h \geq 7$ then quasirandomness of $T$ is only forced if $H$ is transitive. The next natural question when studying quasirandom objects asks whether possessing the correct local counts of $H$ is enough to force quasirandomness of $T$. A tournament $H$ is said to be locally forcing if it has this property.
Variants of the local forcing problem have been studied before in both the graph and hypergraph settings. Perhaps the closest analogue of our problem was considered by Simonovits and Sós who looked at whether having "correct counts" of a fixed graph $H$ as an induced subgraph of $G$ implies $G$ must be quasirandom, in an appropriate sense. They proved that this is indeed the case when $H$ is regular and conjectured that it holds for all $H$ (except the path on 3 vertices). Contrary to the Simonovits-Sós conjecture, in the tournament setting we prove that a constant proportion of all tournaments are not locally forcing. In fact, any locally forcing tournament must itself be strongly quasirandom. On the other hand, unlike the global forcing case, we construct infinite families of non-transitive locally forcing tournaments.
Embedding Complete Multipartite Graphs into Certain Trees
One of the important features of an interconnection network is its ability to efficiently simulate programs or parallel algorithms written for other architectures. Such a simulation problem can be mathematically formulated as a graph embedding problem. In this paper, we embed complete multipartite graphs into certain trees, such as $k$-rooted complete binary trees and $k$-rooted sibling trees.
Circuit Covers of Signed Eulerian Graphs
Published
• View Publication
• BIB
A signed circuit cover of a signed graph is a natural analog of a circuit cover of a graph, and is equivalent to a covering of its corresponding signed-graphic matroid with circuits. It was conjectured that a signed graph whose signed-graphic matroid has no coloops has a 6-cover. In this paper, we prove that the conjecture holds for signed Eulerian graphs.
A Leray model for the Orlik-Solomon algebra
Published
• View Publication
• BIB
We construct a combinatorial generalization of the Leray models for hyperplane arrangement complements. Given a matroid and some combinatorial blowup data, we give a presentation for a bigraded (commutative) differential-graded algebra. If the matroid is realizable over $\mathbb{C}$, this is the familiar Morgan model for a hyperplane arrangement complement, embedded in a blowup of projective space. In general, we obtain a cdga that interpolates between the Chow ring of a matroid and the Orlik-Solomon algebra. Our construction can also be expressed in terms of sheaves on combinatorial blowups of geometric lattices. As a key technical device, we construct a monomial basis via a Gröbner basis for the ideal of relations. Combining these ingredients, we show that our algebra is quasi-isomorphic to the classical Orlik-Solomon algebra of the matroid.
A non-uniform Littlewood-Offord inequality
Published
• View Publication
• BIB
Consider a sum $S_n=v_i\varepsilon_1+\cdots+v_n\varepsilon_{n}$, where $(v_i)^{n}_{i=1}$ are non-zero vectors in $\mathbb{R}^{d}$ and $(\varepsilon_i)^{n}_{i=1}$ are independent Rademacher random variables (i.e., $~{\mathbb{P}(\varepsilon_{i}=\pm 1)=1/2}$). The classical Littlewood-Offord problem asks for the best possible upper bound for $~{\sup_{x}\mathbb{P}(S_n = x)}$. In this paper we consider a non-uniform version of this problem. Namely, we obtain the optimal bound for $\mathbb{P}(S_n = x)$ in terms of the length of the vector $x\in \mathbb{R}^d$.
Patterns in thick compact sets
Published
• View Publication
• BIB
We introduce a connection between Newhouse thickness and patterns through a variant of Schmidt's game introduced by Broderick, Fishman and Simmons. This yields an explicit, robust and checkable condition that ensures the presence of patterns in compact sets, in particular in Cantor sets.
A Fuss-Catalan variation of the caracol flow polytope
Recently, a combinatorial interpretation of Baldoni and Vergne's generalized Lidskii formula for the volume of a flow polytope was developed by Benedetti et al.. This converts the problem of computing Kostant partition functions into a problem of enumerating a set of objects called unified diagrams. We devise an enhanced version of this combinatorial model to compute the volumes of flow polytopes defined on a family of graphs called the k-caracol graphs, resulting in the first application of the model to non-planar graphs. At k=1 and k=n-1, we recover results for the classical caracol graph and the Pitman--Stanley graph. Furthermore, we introduce the notion of in-degree gravity diagrams for flow polytopes, which are equinumerous with (out-degree) gravity diagrams considered by Benedetti et al.. We show that for the k-caracol flow polytopes, these two kinds of gravity diagrams satisfy a natural combinatorial correspondence, which raises an intriguing question on the relationship in the geometry of two related polytopes.
Improved bounds on the dimensions of sets that avoid approximate arithmetic progressions
Published in J. Fourier Anal. App., 27, (2021)
• View Publication
• BIB
We provide quantitative estimates for the supremum of the Hausdorff dimension of sets in the real line which avoid $\varepsilon$-approximations of arithmetic progressions. Some of these estimates are in terms of Szemerédi bounds. In particular, we answer a question of Fraser, Saito and Yu (IMRN, 2019) and considerably improve their bounds. We also show that Hausdorff dimension is equivalent to box or Assouad dimension for this problem, and obtain a lower bound for Fourier dimension.
Computing autotopism groups of partial Latin rectangles: a pilot study
Published in Computational and Mathematical Methods 3:3 (2021) paper e1094
• View Publication
• BIB
Computing the autotopism group of a partial Latin rectangle can be performed in a variety of ways. This pilot study has two aims: (a) to compare these methods experimentally, and (b) to identify the design goals one should have in mind for developing practical software. To this end, we compare six families of algorithms (two backtracking methods and four graph automorphism methods), with and without the use of entry invariants, on two test suites. We consider two entry invariants: one determined by the frequencies of row, column, and symbol representatives, and one determined by $2 \times 2$ submatrices. We find: (a) with very few entries, many symmetries often exist, and these should be identified mathematically rather than computationally, (b) with an intermediate number of entries, a quick-to-compute entry invariant was effective at reducing the need for computation, (c) with an almost-full partial Latin rectangle, more sophisticated entry invariants are needed, and (d) the performance for (full) Latin squares is significantly poorer than other partial Latin rectangles of comparable size, obstructed by the existence of Latin squares with large (possibly transitive) autotopism groups.
Homological Percolation and the Euler Characteristic
Published in Phys. Rev. E 101, 032304 (2020)
• View Publication
• BIB
In this paper we study the connection between the phenomenon of homological percolation (the formation of "giant" cycles in persistent homology), and the zeros of the expected Euler characteristic curve. We perform an experimental study that covers four different models: site-percolation on the cubical and permutahedral lattices, the Poisson-Boolean model, and Gaussian random fields. All the models are generated on the flat torus $T^d$, for $d=2,3,4$. The simulation results strongly indicate that the zeros of the expected Euler characteristic curve approximate the critical values for homological-percolation. Our results also provide some insight about the approximation error. Further study of this connection could have powerful implications both in the study of percolation theory, and in the field of Topological Data Analysis.
Characterisation of geodesic self-dual regular surface triangulations
We consider triangulations of closed surfaces in which every vertex is incident to exactly $d$ edges.
These triangulations can be identified with subgroups of the triangle group $\langle a,b,c\mid a^2,b^2,c^2,(ab)^3,(ac)^2,(bc)^d\rangle$ that intersect $\langle a,b\rangle$, $\langle a,c\rangle$, and $\langle b,c\rangle$ trivially.
The term geodesic duality refers to an external symmetry introduced by Wilson in 1979. Our main result is the characterisation of all subgroups corresponding to geodesic self--dual regular triangulations, together with a complete enumeration for $d < 10$.
Sequential metric dimension for random graphs
Published in J. Appl. Probab. 58 (2021) 909-951
• View Publication
• BIB
In the localization game on a graph, the goal is to find a fixed but unknown target node $v^\star$ with the least number of distance queries possible. In the $j^{th}$ step of the game, the player queries a single node $v_j$ and receives, as an answer to their query, the distance between the nodes $v_j$ and $v^\star$. The sequential metric dimension (SMD) is the minimal number of queries that the player needs to guess the target with absolute certainty, no matter where the target is.
The term SMD originates from the related notion of metric dimension (MD), which can be defined the same way as the SMD, except that the player's queries are non-adaptive. In this work, we extend the results of \cite{bollobas2012metric} on the MD of Erdős-Rényi graphs to the SMD. We find that, in connected Erdős-Rényi graphs, the MD and the SMD are a constant factor apart. For the lower bound we present a clean analysis by combining tools developed for the MD and a novel coupling argument. For the upper bound we show that a strategy that greedily minimizes the number of candidate targets in each step uses asymptotically optimal queries in Erdős-Rényi graphs. Connections with source localization, binary search on graphs and the birthday problem are discussed.
Order distances and split systems
Published
• View Publication
• BIB
Given a distance $D$ on a finite set $X$ with $n$ elements, it is interesting to understand how the ranking $R_x = z_1,z_2,\dots,z_n$ obtained by ordering the elements in $X$ according to increasing distance $D(x,z_i)$ from $x$, varies with different choices of $x \in X$. The order distance $O_{p,q}(D)$ is a distance on $X$ associated to $D$ which quantifies these variations, where $q \geq \frac{p}{2} > 0$ are parameters that control how ties in the rankings are handled. The order distance $O_{p,q}(D)$ of a distance $D$ has been intensively studied in case $D$ is a treelike distance (that is, $D$ arises as the shortest path distances in an edge-weighted tree with leaves labeled by $X$), but relatively little is known about properties of $O_{p,q}(D)$ for general $D$. In this paper we study the order distance for various types of distances that naturally generalize treelike distances in that they can be generated by split systems, i.e. they are examples of so-called $l_1$-distances. In particular we show how and to what extent properties of the split systems associated to the distances $D$ that we study can be used to infer properties of $O_{p,q}(D)$.
Appearance of Balancing and related number sequences in steady state probabilities of some Markov chains
Balancing and Lucas-balancing numbers are solutions of a Diophantine equation and satisfy a second order homogeneous recurrence relation. Interestingly, these numbers can be seen as numerators and denominators in the steady state probabilities of a class of transition probability matrices of Markov chains. An identity relating the balancing numbers and the silver ratio can be obtained as a byproduct.
Tropical curves of hyperelliptic type
Published
• View Publication
• BIB
We introduce the notion of tropical curves of hyperelliptic type. These are tropical curves whose Jacobian is isomorphic to that of a hyperelliptic tropical curve, as polarized tropical abelian varieties. We show that this property depends only on the underlying graph of a tropical curve and is preserved when passing to genus $\geq 2$ connected minors. The main result is an excluded minors characterization of tropical curves of hyperelliptic type.
Cluster Algebras and the HOMFLY Polynomial
Recently, it has been shown that the Jones polynomial, in [LS19], and the Alexander polynomial, in [NT18], of rational knots can be obtained by specializing $F$-polynomials of cluster variables. At the core of both results are continued fractions, which parameterize rational knots and are used to obtain cluster variables, by way of snake graphs in the case of [LS19], or ancestral triangles in the case of [NT18]. In this paper, we use path posets, another structure parameterized by continued fractions, to directly generalize [LS19]'s construction to a specialization yielding the HOMFLY polynomial, which generalizes both the Jones and Alexander polynomials.
New lower bounds for partial $k$-parallelisms
Published
• View Publication
• BIB
Due to the applications in network coding, subspace codes and designs have received many attentions. Suppose that $k\mid n$ and $V(n,q)$ is an $n$-dimensional space over the finite field $\mathbb{F}_{q}$. A $k$-spread is a $\frac{q^n-1}{q^k-1}$-set of $k$-dimensional subspaces of $V(n,q)$ such that each nonzero vector is covered exactly once. A partial $k$-parallelism in $V(n,q)$ is a set of pairwise disjoint $k$-spreads. As the number of $k$-dimensional subspaces in $V(n,q)$ is ${n \brack k}_{q}$, there are at most ${n-1 \brack k-1}_{q}$ spreads in a partial $k$-parallelism.
By studying the independence numbers of Cayley graphs associated to a special type of partial $k$-parallelisms in $V(n,q)$, we obtain new lower bounds for partial $k$-parallelisms. In particular, we show that there exist at least $\frac{q^{k}-1}{q^{n}-1}{n-1 \brack k-1}_q$ pairwise disjoint $k$-spreads in $V(n,q)$.
An efficient container lemma
Published in Discrete Analysis 2020:17
• Search Publication
We prove a new, efficient version of the hypergraph container theorems that is suited for hypergraphs with large uniformities. The main novelty is a refined approach to constructing containers that employs simple ideas from high-dimensional convex geometry. The existence of smaller families of containers for independent sets in such hypergraphs, which is guaranteed by the new theorem, allows us to improve upon the best currently known bounds for several problems in extremal graph theory, discrete geometry, and Ramsey theory.
Breaking the degeneracy barrier for coloring graphs with no $K_t$ minor
Published
• View Publication
• BIB
In 1943, Hadwiger conjectured that every graph with no $K_t$ minor is $(t-1)$-colorable for every $t\geq 1$. In the 1980s, Kostochka and Thomason independently proved that every graph with no $K_t$ minor has average degree $O(t\sqrt{\log t})$ and hence is $O(t\sqrt{\log t})$-colorable. We show that every graph with no $K_t$ minor is $O(t(\log t)^β)$-colorable for every $β> 1/4$, making the first improvement on the order of magnitude of the Kostochka-Thomason bound.
An Improved Linear Programming Bound on the Average Distance of a Binary Code
Ahlswede and Katona (1977) posed the following isodiametric problem in Hamming spaces: For every $n$ and $1\le M\le2^{n}$, determine the minimum average Hamming distance of binary codes with length $n$ and size $M$. Fu, Wei, and Yeung (2001) used linear programming duality to derive a lower bound on the minimum average distance. However, their linear programming approach was not completely exploited. In this paper, we improve Fu-Wei-Yeung's bound by finding a better feasible solution to their dual program. For fixed $0<a\le1/2$ and for $M=\left\lceil a2^{n}\right\rceil $, our feasible solution attains the asymptotically optimal value of Fu-Wei-Yeung's dual program as $n\to\infty$. Hence for $0<a\le1/2$, all possible asymptotic bounds that can be derived by Fu-Wei-Yeung's linear program have been characterized. Furthermore, noting that the average distance of a code is closely related to weights of Fourier coefficients of a Boolean function, we also apply the linear programming technique to prove bounds on Fourier weights of a Boolean function of various degrees.