Showing 20 papers (Total: 82139 papers, 47531 authors in database)
On mixed metric dimension in subdivision, middle, and total graphs
Published
• View Publication
• BIB
Let $G$ be a graph and let $S(G)$, $M(G)$, and $T(G)$ be the subdivision, the middle, and the total graph of $G$, respectively. Let ${\rm dim}(G)$, ${\rm edim}(G)$, and ${\rm mdim}(G)$ be the metric dimension, the edge metric dimension, and the mixed metric dimension of $G$, respectively. In this paper, for the subdivision graph it is proved that $\frac{1}{2}\max\{{\rm dim}(G),{\rm edim}(G)\}\leq{\rm mdim}(S(G))\leq{\rm mdim}(G)$. A family of graphs $G_n$ is constructed for which ${\rm mdim}(G_n)-{\rm mdim}(S(G_n))\ge 2$ holds and this shows that the inequality ${\rm mdim}(S(G))\leq{\rm mdim}(G)$ can be strict, while for a cactus graph $G$, ${\rm mdim}(S(G))={\rm mdim}(G)$. For the middle graph it is proved that ${\rm dim}(M(G))\leq{\rm mdim}(G)$ holds, and if $G$ is tree with $n_1(G)$ leaves, then ${\rm dim}(M(G))={\rm mdim}(G)=n_1(G)$. Moreover, for the total graph it is proved that ${\rm mdim}(T(G))=2n_1(G)$ and ${\rm dim}(G)\leq{\rm dim}(T(G))\leq n_1(G)$ hold when $G$ is a tree.
Fast synchronization of inhomogenous random automata
We examine the reset threshold of randomly generated deterministic automata. We present a simple proof that an automaton with a random mapping and two random permutation letters has a reset threshold of $\mathcal{O}\big( \sqrt{n \log^3 n} \big)$ with high probability, assuming only certain partial independence of the letters. Our observation is motivated by Nicaud (2014) providing a near-linear bound in the case of two random mapping letters, among multiple other results. The upper bound for the latter case has been recently improved by the breakthrough work of Chapuy and Perarnau (2023) to $\mathcal{O}(\sqrt{n} \log n)$.
Tree evolution processes for bucket increasing trees
Published
• View Publication
• BIB
We provide a fundamental result for bucket increasing trees, which gives a complete characterization of all families of bucket increasing trees that can be generated by a tree evolution process. We also provide several equivalent properties, complementing and extending earlier results for ordinary increasing trees to bucket trees. Additionally, we state second order results for the number of descendants of label $j$, again extending earlier results in the literature.
On some properties of random and pseudorandom codes
We describe some pseudorandom properties of binary linear codes achieving capacity on the binary erasure channel under bit-MAP decoding (as shown in Kudekar et al this includes doubly transitive codes and, in particular, Reed-Muller codes). We show that for all integer $q \ge 2$ the $\ell_q$ norm of the characteristic function of such 'pseudorandom' code decreases as fast as that of any code of the same rate (and equally fast as that of a random code) under the action of the noise operator. In information-theoretic terms this means that the $q^{th}$ Rényi entropy of this code increases as fast as possible over the binary symmetric channel. In particular (taking $q = \infty$) this shows that such codes have the smallest asymptotic undetected error probability (equal to that of a random code) over the BSC, for a certain range of parameters.
We also study the number of times a certain local pattern, a 'rhombic' $4$-tuple of codewords, appears in a linear code, and show that for a certain range of parameters this number for pseudorandom codes is similar to that for a random code.
The Turán number for the edge blow-up of trees: the missing case
Published
• View Publication
• BIB
The edge blow-up of a graph is the graph obtained from replacing each edge of it by a clique of the same size where the new vertices of the cliques are all different. Wang, Hou, Liu and Ma determined the Turán number of the edge blow-up of trees except one particular case. Answering an problem posed by them, we determined the Turán number of this particular case.
$m$-Symmetric functions, non-symmetric Macdonald polynomials and positivity conjectures
Published
• View Publication
• BIB
We study the space, $R_m$, of $m$-symmetric functions consisting of polynomials that are symmetric in the variables $x_{m+1},x_{m+2},x_{m+3},\dots$ but have no special symmetry in the variables $x_1,\dots,x_m$. We obtain $m$-symmetric Macdonald polynomials by $t$-symmetrizing non-symmetric Macdonald polynomials, and show that they form a basis of $R_m$. We define $m$-symmetric Schur functions through a somewhat complicated process involving their dual basis, tableaux combinatorics, and the Hecke algebra generators, and then prove some of their most elementary properties. We conjecture that the $m$-symmetric Macdonald polynomials (suitably normalized and plethystically modified) expand positively in terms of $m$-symmetric Schur functions. We obtain relations on the $(q,t)$-Koska coefficients $K_{ΩΛ}(q,t)$ in the $m$-symmetric world, and show in particular that the usual $(q,t)$-Koska coefficients are special cases of the $K_{ΩΛ}(q,t)$'s. Finally, we show that when $m$ is large, the positivity conjecture, modulo a certain subspace, becomes a positivity conjecture on the expansion of non-symmetric Macdonald polynomials in terms of non-symmetric Hall-Littlewood polynomials.
Generic Reed-Solomon Codes Achieve List-decoding Capacity
Published
• View Publication
• BIB
In a recent paper, Brakensiek, Gopi and Makam introduced higher order MDS codes as a generalization of MDS codes. An order-$\ell$ MDS code, denoted by $\operatorname{MDS}(\ell)$, has the property that any $\ell$ subspaces formed from columns of its generator matrix intersect as minimally as possible. An independent work by Roth defined a different notion of higher order MDS codes as those achieving a generalized singleton bound for list-decoding. In this work, we show that these two notions of higher order MDS codes are (nearly) equivalent.
We also show that generic Reed-Solomon codes are $\operatorname{MDS}(\ell)$ for all $\ell$, relying crucially on the GM-MDS theorem which shows that generator matrices of generic Reed-Solomon codes achieve any possible zero pattern. As a corollary, this implies that generic Reed-Solomon codes achieve list decoding capacity. More concretely, we show that, with high probability, a random Reed-Solomon code of rate $R$ over an exponentially large field is list decodable from radius $1-R-ε$ with list size at most $\frac{1-R-ε}ε$, resolving a conjecture of Shangguan and Tamo.
Random Walks, Equidistribution and Graphical Designs
Published
• View Publication
• BIB
Let $G=(V,E)$ be a $d$-regular graph on $n$ vertices and let $μ_0$ be a probability measure on $V$. The act of moving to a randomly chosen neighbor leads to a sequence of probability measures supported on $V$ given by $μ_{k+1} = A D^{-1} μ_k$, where $A$ is the adjacency matrix and $D$ is the diagonal matrix of vertex degrees of $G$. Ordering the eigenvalues of $ A D^{-1}$ as $1 = λ_1 \geq |λ_2| \geq \dots \geq |λ_n| \geq 0$, it is well-known that the graphs for which $|λ_2|$ is small are those in which the random walk process converges quickly to the uniform distribution: for all initial probability measures $μ_0$ and all $k \geq 0$, $$ \sum_{v \in V} \left| μ_k(v) - \frac{1}{n} \right|^2 \leq λ_2^{2k}.$$ One could wonder whether this rate can be improved for specific initial probability measures $μ_0$. We show that if $G$ is regular, then for any $1 \leq \ell \leq n$, there exists a probability measure $μ_0$ supported on at most $\ell$ vertices so that $$ \sum_{v \in V} \left| μ_k(v) - \frac{1}{n} \right|^2 \leq λ_{\ell+1}^{2k}.$$ The result has applications in the graph sampling problem: we show that these measures have good sampling properties for reconstructing global averages.
Subtree Size in Various Planar Trees
In this paper we find the generating function for the number of vertices that have k elements in their subtree and use this generating function to calculate the probability that a vertex has a size k subtree. We also show how this same technique can be applied to calculate the probabilities for other trees and specifically apply it to 4 different types of trees.
Triangle solitaire
Published
• View Publication
• BIB
The solitaire of independence is a groupoid action resembling the classical 15-puzzle, which gives information about independent sets of coordinates in a totally extremally permutive subshift. We study the solitaire with the triangle shape, which corresponds to the spacetime diagrams of bipermutive cellular automata with radius 1/2. We give a polynomial time algorithm that puts any finite subset of the plane in normal form using solitaire moves, and show that the solitaire orbit of a line of consecutive ones -- the line orbit -- is completely characterised by the notion of a fill matrix. We show that the diameter of the line orbit under solitaire moves is cubic.
A pentagonal number theorem for tribone tilings
Published
• View Publication
• BIB
Conway and Lagarias showed that certain roughly triangular regions in the hexagonal grid cannot be tiled by shapes Thurston later dubbed tribones. Here we study a two-parameter family of roughly hexagonal regions in the hexagonal grid and show that a tiling by tribones exists if and only if the two parameters associated with the region are the paired pentagonal numbers $k(3k \pm 1)/2$.
Permutation Polynomials and their Compositional Inverses
Published
• View Publication
• BIB
In this paper, we prove that every PP is an AGW-PP. We also extend the result of Wan and Lidl to other permutation polynomials over finite fields and determine their group structure. Moreover, we provide a new general method to find the compositional inverses of all PPs, some new PPs and their compositional inverses are given.
On the Erdős-Tuza-Valtr Conjecture
Published
• View Publication
• BIB
The Erdős-Szekeres conjecture states that any set of more than $2^{n-2}$ points in the plane with no three on a line contains the vertices of a convex $n$-gon. Erdős, Tuza, and Valtr strengthened the conjecture by stating that any set of more than $\sum_{i = n - b}^{a - 2} \binom{n - 2}{i}$ points in a plane either contains the vertices of a convex $n$-gon, $a$ points lying on a concave downward curve, or $b$ points lying on a concave upward curve. They also showed that the generalization is actually equivalent to the Erdős-Szekeres conjecture.
We prove the first new case of the Erdős-Tuza-Valtr conjecture since the original 1935 paper of Erdős and Szekeres. Namely, we show that any set of $\binom{n-1}{2} + 2$ points in the plane with no three points on a line and no two points sharing the same $x$-coordinate either contains 4 points lying on a concave downward curve or the vertices of a convex $n$-gon.
The number of maximal unrefinable partitions
Published
• View Publication
• BIB
This paper completes the classification of maximal unrefinable partitions, extending a previous work of Aragona et al. devoted only to the case of triangular numbers. We show that the number of maximal unrefinable partitions of an integer coincides with the number of suitable partitions into distinct parts, depending on the distance from the successive triangular number.
Real equiangular lines in dimension 18 and the Jacobi identity for complementary subgraphs
Published in Journal of Combinatorial Theory, Series A, Volume 201, January 2024, 105812
• View Publication
• BIB
We show that the maximum cardinality of an equiangular line system in $\mathbb R^{18}$ is at most $59$. Our proof includes a novel application of the Jacobi identity for complementary subgraphs. In particular, we show that there does not exist a graph whose adjacency matrix has characteristic polynomial $(x-22)(x-2)^{42} (x+6)^{15} (x+8)^2$.
A local version of Katona's intersection theorem
Published
• View Publication
• BIB
Katona's intersection theorem states that every intersecting family $\mathcal F\subseteq[n]^{(k)}$ satisfies $\vert\partial\mathcal F\vert\geq\vert\mathcal F\vert$, where $\partial\mathcal F=\{F\setminus x:x\in F\in\mathcal F\}$ is the shadow of $\mathcal F$. Frankl conjectured that for $n>2k$ and every intersecting family $\mathcal F\subseteq [n]^{(k)}$, there is some $i\in[n]$ such that $\vert \partial \mathcal F(i)\vert\geq \vert\mathcal F(i)\vert$, where $\mathcal F(i)=\{F\setminus i:i\in F\in\mathcal F\}$ is the link of $\mathcal F$ at $i$. Here, we prove this conjecture in a very strong form for $n> \binom{k+1}{2}$. In particular, our result implies that for any $j\in[k]$, there is a $j$-set $\{a_1,\dots,a_j\}\in[n]^{(j)}$ such that $\vert \partial \mathcal F(a_1,\dots,a_j)\vert\geq \vert\mathcal F(a_1,\dots,a_j)\vert$. A similar statement is also obtained for cross-intersecting families.
Opinion Dynamics on Graphon: the piecewise constant case
Published in Applied Mathematics Letters, Volume 133 (2022), 108227
• View Publication
• BIB
The study of network supported opinion dynamics in large groups of autonomous agents is attracting an increasing interest during the last years. In this paper, we proposed the use of the recent graphon theory to model and simulate an interacting system describing the evolution of individual opinions over an arbitrary size networks. Specifically, we prove the existence and uniqueness of the limit problem that approximates a very large networks made by homogeneous groups of agents. The significant new example is the mean field analysis deduced from the graphon limit systems in the case of piecewise constant graphon.
Free pre-lie algebras of finite posets
Published
• View Publication
• BIB
In this paper, we first recall the construction of a twisted pre-Lie algebra structure on the species of finite connected topological spaces. Then we construct the corresponding nonassociative permutative coproduct, and we prove that the vector space generated by isomorphism classes of finite posets is a free pre-Lie algebra and is a co-free non-associative permutative coalgebra. In the end, we give an explicit duality between the non-associative permutative product and the proposed non-associative permutative coproduct. Finally, we prove that the results in this paper remain true for the finite connected topological spaces.
Distinct Angles in General Position
Published
• View Publication
• BIB
The Erdős distinct distance problem is a ubiquitous problem in discrete geometry. Somewhat less well known is Erdős' distinct angle problem, the problem of finding the minimum number of distinct angles between $n$ non-collinear points in the plane. Recent work has introduced bounds on a wide array of variants of this problem, inspired by similar variants in the distance setting.
In this short note, we improve the best known upper bound for the minimum number of distinct angles formed by $n$ points in general position from $O(n^{\log_2(7)})$ to $O(n^2)$. Before this work, similar bounds relied on projections onto a generic plane from higher dimensional space. In this paper, we employ the geometric properties of a logarithmic spiral, sidestepping the need for a projection.
We also apply this configuration to reduce the upper bound on the largest integer such that any set of $n$ points in general position has a subset of that size with all distinct angles. This bound is decreased from $O(n^{\log_2(7)/3})$ to $O(n^{1/2})$.
A bijection between Tamari intervals and extended fighting fish
Published
• View Publication
• BIB
We introduce extended fighting fish as branching surfaces that can also be seen as walks in the quarter plane defined by simple rewriting rules. The main result we present in the article is a direct bijection between extended fighting fish and intervals of the Tamari lattice that exchanges multiple natural statistics. The model includes the recently introduced fighting fish of (Duchi, Guerrini, Rinaldi, Schaeffer 2017) that were shown to be equinumerated with synchronized Tamari intervals. Using the dual surface/walk points of view on extended fighting fish, we show that the area statistics on these fish corresponds to the distance statistics (or maximal length of a chain) in Tamari invervals. We also show that the average area of a uniform random extended fighting fish of size $n$, and hence the average distance over the set of Tamari intervals of size $n$, is of order $n^{5/4}$, in accordance with earlier result for the subclass fighting fish.