Showing 20 papers (Total: 82851 papers, 47869 authors in database)
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.
The structure and the list 3-dynamic coloring of outer-1-planar graphs
Published in Discrete Mathematics & Theoretical Computer Science, vol. 23, no. 3, Graph Theory (August 27, 2021) dmtcs:5860
• View Publication
• BIB
An outer-1-planar graph is a graph admitting a drawing in the plane so that all vertices appear in the outer region of the drawing and every edge crosses at most one other edge. This paper establishes the local structure of outer-1-planar graphs by proving that each outer-1-planar graph contains one of the seventeen fixed configurations, and the list of those configurations is minimal in the sense that for each fixed configuration there exist outer-1-planar graphs containing this configuration that do not contain any of another sixteen configurations. There are two interesting applications of this structural theorem. First of all, we conclude that every (resp. maximal) outer-1-planar graph of minimum degree at least 2 has an edge with the sum of the degrees of its two end-vertices being at most 9 (resp. 7), and this upper bound is sharp. On the other hand, we show that the list 3-dynamic chromatic number of every outer-1-planar graph is at most 6, and this upper bound is best possible.
Reflection groups and quiver mutation: Diagrammatics
Published
• View Publication
• BIB
We extend Carter's notion of admissible diagrams and attach a "Dynkin-like" diagram to each reduced reflection factorization of an element in a finite Weyl group. We give a complete classification for the diagrams attached to reduced reflection factorizations. Remarkably, such a diagram turns out to be cyclically orientable if and only if it is isomorphic to the underlying graph of a quiver which is mutation-equivalent to a Dynkin quiver. Furthermore we show that each diagram encodes a natural presentation of the Weyl group as reflection group. The latter one extends work of Cameron, Seidel and Tsaranov as well as Barot and Marsh.
Power Partitions and Semi-m-Fibonacci Partitions
Published
• View Publication
• BIB
George Andrews recently proved a new identity between the cardinalities of the set of Semi-Fibonacci partitions and the set of partitions into powers of two with all parts appearing an odd number of times. This paper extends the identity to the set of Semi-$m$-Fibonacci partitions of $n$ and the set of partitions of $n$ into powers of $m$ in which all parts appear with multiplicity not divisible by $m$.
The cover time of a sparse random intersection graph
Many known networks have structure of affiliation networks, where each of $n$ network's nodes (actors) selects an attribute set from a given collection of $m$ attributes and two nodes (actors) establish adjacency relation whenever they share a common attribute. We study behaviour of the random walk on such networks. For that purpose we use commonly used model of such networks -- random intersection graph. We establish the cover time of the simple random walk on the binomial random intersection graph ${\cal G}(n,m,p)$ at the connectivity threshold and above it. We consider the range of $n,m,p$ where the typical attribute is shared by (stochastically) bounded number of actors.
On the product of elements with prescribed trace
Published
• View Publication
• BIB
This paper deals with the following problem. Given a finite extension of fields $\mathbb{L}/\mathbb{K}$ and denoting the trace map from $\mathbb{L}$ to $\mathbb{K}$ by $\mathrm{Tr}$, for which elements $z$ in $\mathbb{L}$, and $a$, $b$ in $\mathbb{K}$, is it possible to write $z$ as a product $x\cdot y$, where $x,y\in \mathbb{L}$ with $\mathrm{Tr}(x)=a, \mathrm{Tr}(y)=b$? We solve most of these problems for finite fields, with a complete solution when the degree of the extension is at least $5$. We also have results for arbitrary fields and extensions of degrees $2,3$ or $4$. We then apply our results to the study of PN functions, semifields, irreducible polynomials with prescribed coefficients, and to a problem from finite geometry concerning the existence of certain disjoint linear sets.