natural ↗ reference
4897 papers tagged with this keyword
A note on the natural density of product sets
Published
• View Publication
• BIB
Given two sets of natural numbers $\mathcal{A}$ and $\mathcal{B}$ of natural density $1$ we prove that their product set $\mathcal{A}\cdot \mathcal{B}:=\{ab:a\in\mathcal{A},\,b\in\mathcal{B}\}$ also has natural density $1$. On the other hand, for any $\varepsilon>0$, we show there are sets $\mathcal{A}$ of density $>1-\varepsilon$ for which the product set $\mathcal{A}\cdot\mathcal{A}$ has density $<\varepsilon$. This answers two questions of Hegyvári, Hennecart and Pach.
$C$-differential bent functions and perfect nonlinearity
Drawing inspiration from Nyberg's paper~\cite{Nyb91} on perfect nonlinearity and the $c$-differential notion we defined in~\cite{EFRST20}, in this paper we introduce the concept of $c$-differential bent functions in two different ways (thus extending Kumar et al.~\cite{Ku85} classical definition). We further extend the notion of perfect $c$-nonlinear introduced in~\cite{EFRST20}, also in two different ways, and show that, in both cases, the concepts of $c$-differential bent and perfect $c$-nonlinear are equivalent (under some natural restriction of the parameters). Some constructions of functions with these properties are also provided; one such construction provides a large class of PcN functions with respect to all $c$ in some subfield of the field under consideration. We also show that both our classes of $0$-differential bents are supersets of permutation polynomials, and that Maiorana-McFarland bent functions are not differential bent (of the first kind).
Combinatorics of antiprism triangulations
Published
• View Publication
• BIB
The antiprism triangulation provides a natural way to subdivide a simplicial complex $Δ$, similar to barycentric subdivision, which appeared independently in combinatorial algebraic topology and computer science. It can be defined as the simplicial complex of chains of multi-pointed faces of $Δ$, from a combinatorial point of view, and by successively applying the antiprism construction, or balanced stellar subdivisions, on the faces of $Δ$, from a geometric point of view.
This paper studies enumerative invariants associated to this triangulation, such as the transformation of the $h$-vector of $Δ$ under antiprism triangulation, and algebraic properties of its Stanley--Reisner ring. Among other results, it is shown that the $h$-polynomial of the antiprism triangulation of a simplex is real-rooted and that the antiprism triangulation of $Δ$ has the almost strong Lefschetz property over ${\mathbb R}$ for every shellable complex $Δ$. Several related open problems are discussed.
The damage throttling number of a graph
The cop throttling number of a graph, introduced in 2018 by Breen et al., optimizes the balance between the number of cops used and the number of rounds required to catch the robber in a game of Cops and Robbers. In 2019, Cox and Sanaei studied a variant of Cops and Robbers in which the robber tries to occupy (or damage) as many vertices as possible and the cop tries to minimize this damage. In their paper, they study the minimum number of vertices damaged by the robber over all games played on a given graph $G$, called the damage number of $G$. We introduce the natural parameter called the damage throttling number of a graph, denoted $\operatorname{th}_d(G)$, which optimizes the balance between the number of cops used and the number of vertices damaged in the graph. To this end, we formalize the definition of $k$-damage number, which extends the damage number to games played with $k$ cops. We show that damage throttling and cop throttling share many properties, yet they exhibit interesting differences. We prove that the damage throttling number is tightly bounded above by one less than the cop throttling number. Infinite families of examples and non-examples of tightness in this bound are given. We also find an infinite family of connected graphs $G$ of order $n$ for which $\operatorname{th}_d(G) = Ω(n^{2/3})$.
New Upper Bounds for the Erdős-Gyárfás Problem on Generalized Ramsey Numbers
Published
• View Publication
• BIB
A $(p,q)$-coloring of a graph $G$ is an edge-coloring of $G$ which assigns at least $q$ colors to each $p$-clique. The problem of determining the minimum number of colors, $f(n,p,q)$, needed to give a $(p,q)$-coloring of the complete graph $K_n$ is a natural generalization of the well-known problem of identifying the diagonal Ramsey numbers $r_k(p)$. The best-known general upper bound on $f(n,p,q)$ was given by Erdős and Gyárfás in 1997 using a probabilistic argument. Since then, improved bounds in the cases where $p=q$ have been obtained only for $p\in\{4,5\}$, each of which was proved by giving a deterministic construction which combined a $(p,p-1)$-coloring using few colors with an algebraic coloring.
In this paper, we provide a framework for proving new upper bounds on $f(n,p,p)$ in the style of these earlier constructions. We characterize all colorings of $p$-cliques with $p-1$ colors which can appear in our modified version of the $(p,p-1)$-coloring of Conlon, Fox, Lee, and Sudakov. This allows us to greatly reduce the amount of case-checking required in identifying $(p,p)$-colorings, which would otherwise make this problem intractable for large values of $p$. In addition, we generalize our algebraic coloring from the $p=5$ setting and use this to give improved upper bounds on $f(n,6,6)$ and $f(n,8,8)$.
Distance-constrained labellings of Cartesian products of graphs
Published in Discrete Applied Mathematics 304 (2021) 375-383
• View Publication
• BIB
An $L(h_1, h_2, \ldots, h_l)$-labelling of a graph $G$ is a mapping $φ: V(G) \rightarrow \{0, 1, 2, \ldots\}$ such that for $1\le i\le l$ and each pair of vertices $u, v$ of $G$ at distance $i$, we have $|φ(u) - φ(v)| \geq h_i$. The span of $φ$ is the difference between the largest and smallest labels assigned to the vertices of $G$ by $φ$, and $λ_{h_1, h_2, \ldots, h_l}(G)$ is defined as the minimum span over all $L(h_1, h_2, \ldots, h_l)$-labellings of $G$.
In this paper we study $λ_{h, 1, \ldots, 1}$ for Cartesian products of graphs, where $(h, 1, \ldots, 1)$ is an $l$-tuple with $l \ge 3$. We prove that, under certain natural conditions, the value of this and three related invariants on a graph $H$ which is the Cartesian product of $l$ graphs attain a common lower bound. In particular, the chromatic number of the $l$-th power of $H$ equals this lower bound plus one. We further obtain a sandwhich theorem which extends the result to a family of subgraphs of $H$ which contain a certain subgraph of $H$. All these results apply in particular to the class of Hamming graphs: if $q_1\ge \cdots \ge q_d\ge 2$ and $3\le l\le d$ then the Hamming graph $H=H_{q_1,q_2,\ldots ,q_d}$ satisfies $λ_{q_l,1,\ldots,1}(H) = q_1q_2\ldots q_l-1$ whenever $q_1q_2\ldots q_{l-1}>3(q_{l-1}+1)q_l\ldots q_d$. In particular, this settles a case of the open problem on the chromatic number of powers of the hypercubes.
Hamiltonian decompositions of 4-regular Cayley graphs of infinite abelian groups
Published
• View Publication
• BIB
A well-known conjecture of Alspach says that every $2k$-regular Cayley graph of an abelian group can be decomposed into Hamiltonian cycles. We consider an analogous question for infinite abelian groups. In this setting one natural analogue of a Hamiltonian cycle is a spanning double-ray. However, a naive generalisation of Alspach's conjecture fails to hold in this setting due to the existence of $2k$-regular Cayley graphs with finite cuts $F$ where $|F|$ and $k$ differ in parity, which necessarily preclude the existence of a decomposition into spanning double-rays.
We show that every $4$-regular Cayley graph of an infinite abelian group all of whose finite cuts are even can be decomposed into spanning double-rays, and so characterise when such decompositions exist. We also characterise when such graphs can be decomposed either into Hamiltonian circles, a more topological generalisation of a Hamiltonian cycle in infinite graphs, or into a Hamiltonian circle and a spanning double-ray.
Majorization and Spherical Functions
Published
• View Publication
• BIB
Majorization is a partial order on real vectors which plays an important role in a variety of subjects, ranging from algebra and combinatorics to probability and statistics. In this paper, we consider a generalized notion of majorization associated to an arbitrary root system $Φ,$ and show that it admits a natural characterization in terms of the values of spherical functions on any Riemannian symmetric space with restricted root system $Φ.$
The structure of Zeckendorf expansions
In this paper we classify the Zeckendorf expansions according to their digit blocks. It turns out that if we consider these digit blocks as labels on the Fibonacci tree, then the numbers ending with a given digit block in their Zeckendorf expansion appear as compound Wythoff sequences in a natural way on this tree. Here the digit blocks consisting of only $0$'s are an exception. We also give a second description of these occurrence sequences as generalized Beatty sequences. Finally, we characterize the numbers with a fixed digit block occurring at an arbitrary fixed position in their Zeckendorf expansions, and determine their densities.
Determinants of binary matrices achieve every integral value up to $Ω(2^n/n)$
Published
• View Publication
• BIB
This work shows that the smallest natural number $d_n$ that is not the determinant of some $n\times n$ binary matrix is at least $c\,2^n/n$ for $c=1/201$. That same quantity naturally lower bounds the number of distinct integers $D_n$ which can be written as the determinant of some $n\times n$ binary matrix. This asymptotically improves the previous result of $d_n=Ω(1.618^n)$ and slightly improves the previous result of $D_n\ge 2^n/g(n)$ for a particular $g(n)=ω(n^2)$ function.
Mather classes and conormal spaces of Schubert varieties in cominuscule spaces
Published
• View Publication
• BIB
Let $G/P$ be a complex cominuscule flag manifold. We prove a type independent formula for the torus equivariant Mather class of a Schubert variety in $G/P$, and for a Schubert variety pulled back via the natural projection $G/Q \to G/P$. We apply this to find formulae for the local Euler obstructions of Schubert varieties, and for the torus equivariant localizations of the conormal spaces of these Schubert varieties. We conjecture positivity properties for the local Euler obstructions and for the Schubert expansion of Mather classes. We check the conjectures in many cases, by utilizing results of Boe and Fu about the characteristic cycles of the intersection homology sheaves of Schubert varieties. We also conjecture that certain `Mather polynomials' are unimodal in general Lie type, and log concave in type A.
$H$-kernels in $H$-colored digraphs without $(ξ_{1}, ξ, ξ_{2})$-$H$-subdivisions of $\overrightarrow{C_{3}}$
Let $H$ be a digraph possibly with loops and $D$ a digraph without loops with a coloring of its arcs $c:A(D) \rightarrow V(H)$ ($D$ is said to be an $H$-colored digraph). A directed path $W$ in $D$ is said to be an $H$-path if and only if the consecutive colors encountered on $W$ form a directed walk in $H$. A subset $N$ of vertices of $D$ is said to be an $H$-kernel if (1) for every pair of different vertices in $N$ there is no $H$-path between them and (2) for every vertex $u$ in V($D$)$\setminus$$N$ there exists an $H$-path in $D$ from $u$ to $N$. Under this definition an $H$-kernel is a kernel whenever $A(H)=\emptyset$.
The color-class digraph $\mathscr{C}_C$($D$) of $D$ is the digraph whose vertices are the colors represented in the arcs of $D$ and ($i$,$j$) $\in$ $A$($\mathscr{C}_C$($D$)) if and only if there exist two arcs, namely ($u$,$v$) and ($v$,$w$) in $D$, such that ($u$,$v$) has color $i$ and ($v$,$w$) has color $j$. Since not every $H$-colored digraph has an $H$-kernel and $V(\mathscr{C}_C(D))= V(H)$, the natural question is: what structural properties of $\mathscr{C}_C(D)$, with respect to the $H$-coloring, imply that $D$ has an $H$-kernel?
In this paper we investigate the problem of the existence of an $H$-kernel by means of a partition $ξ$ of $V(H)$ and a partition \{$ξ_1$, $ξ_2$\} of $ξ$. We establish conditions on the directed cycles and the directed paths of the digraph $D$, with respect to the partition \{$ξ_1$, $ξ_2$\}. In particular we pay attention to some subestructures produced by the partitions $ξ$ and \{$ξ_1$, $ξ_2$\}, namely $(ξ_{1}, ξ, ξ_{2})$-$H$-subdivisions of $\overrightarrow{C_{3}}$ and $(ξ_{1}, ξ, ξ_{2})$-$H$-subdivisions of $\overrightarrow{P_{3}}$.
We give some examples which show that each hypothesis in the main result is tight.
Inverse problems for minimal complements and maximal supplements
Published
• View Publication
• BIB
Given a subset $W$ of an abelian group $G$, a subset $C$ is called an additive complement for $W$ if $W+C=G$; if, moreover, no proper subset of $C$ has this property, then we say that $C$ is a minimal complement for $W$. It is natural to ask which subsets $C$ can arise as minimal complements for some $W$. We show that in a finite abelian group $G$, every non-empty subset $C$ of size $|C| \leq 2^{2/3}|G|^{1/3}/((3e \log |G|)^{2/3}$ is a minimal complement for some $W$. As a corollary, we deduce that every finite non-empty subset of an infinite abelian group is a minimal complement. We also derive several analogous results for ``dual'' problems about maximal supplements.
L^2-Betti numbers arising from the lamplighter group
Published
• View Publication
• BIB
We apply a construction developed in a previous paper by the authors in order to obtain a formula which enables us to compute $\ell^2$-Betti numbers coming from a family of group algebras representable as crossed product algebras. As an application, we obtain a whole family of irrational $\ell^2$-Betti numbers arising from the lamplighter group algebra $K[\mathbb{Z}_2 \wr \mathbb{Z}]$, being $K$ a subfield of the complex numbers closed under complex conjugation. This procedure is constructive, in the sense that one has an explicit description of the elements realizing such irrational numbers. This extends the work made by Grabowski, who first computed irrational $\ell^2$-Betti numbers from the algebras $\mathbb{Q}[\mathbb{Z}_n \wr \mathbb{Z}]$, where $n \geq 2$ is a natural number. We also apply the techniques developed to the (generalized) odometer algebra $\mathcal{O}(\overline{n})$, where $\overline{n}$ is a supernatural number. We compute its $*$-regular closure, and this allows us to fully characterize the set of $\ell^2$-Betti numbers arising from $\mathcal{O}(\overline{n})$.
A lower bound for splines on tetrahedral vertex stars
Published
• View Publication
• BIB
A tetrahedral complex all of whose tetrahedra meet at a common vertex is called a \textit{vertex star}. Vertex stars are a natural generalization of planar triangulations, and understanding splines on vertex stars is a crucial step to analyzing trivariate splines. It is particularly difficult to compute the dimension of splines on vertex stars in which the vertex is completely surrounded by tetrahedra -- we call these \textit{closed} vertex stars. A formula due to Alfeld, Neamtu, and Schumaker gives the dimension of $C^r$ splines on closed vertex stars of degree at least $3r+2$. We show that this formula is a lower bound on the dimension of $C^r$ splines of degree at least $(3r+2)/2$. Our proof uses apolarity and the so-called \textit{Waldschmidt constant} of the set of points dual to the interior faces of the vertex star. We also use an argument of Whiteley to show that the only splines of degree at most $(3r+1)/2$ on a generic closed vertex star are global polynomials.
Topology and local geometry of the Eden model
Published
• View Publication
• BIB
The Eden cell growth model is a simple discrete stochastic process which produces a "blob" in $\mathbb{R}^d$: start with one cube in the regular grid, and at each time step add a neighboring cube uniformly at random. This process has been used as a model for the growth of aggregations, tumors, and bacterial colonies and the healing of wounds, among other natural processes. Here, we study the topology and local geometry of the resulting structure, establishing asymptotic bounds for Betti numbers. Our main result is that the Betti numbers grow at a rate between the conjectured rate of growth of the site perimeter and the actual rate of growth of the site perimeter. We also present the results of computational experiments on finer aspects of the geometry and topology, such as persistent homology and the distribution of shapes of holes.
Independence of permutation limits at infinitely many scales
Published
• View Publication
• BIB
We introduce a new natural notion of convergence for permutations at any specified scale, in terms of the density of patterns of restricted width. In this setting we prove that limits may be chosen independently at a countably infinite number of scales.
Fragile minor-monotone parameters under random edge perturbation
Published in European J. Combin., 133:104305, 2026
• View Publication
• BIB
We conduct a quantitative analysis of how many random edges need to be added to a base graph $H$ in order to significantly increase natural minor-monotone graph parameters of the resulting graph $R$. Specifically, we show that if $R$ is obtained from a connected graph $H$ by adding only a few random edges, the tree-width, genus, and Hadwiger number of $R$ become very large, irrespective of the structure of $H$.
The Iteration Number of Colour Refinement
The Colour Refinement procedure and its generalisation to higher dimensions, the Weisfeiler-Leman algorithm, are central subroutines in approaches to the graph isomorphism problem. In an iterative fashion, Colour Refinement computes a colouring of the vertices of its input graph.
A trivial upper bound on the iteration number of Colour Refinement on graphs of order n is n-1. We show that this bound is tight. More precisely, we prove via explicit constructions that there are infinitely many graphs G on which Colour Refinement takes |G|-1 iterations to stabilise. Modifying the infinite families that we present, we show that for every natural number n >= 10, there are graphs on n vertices on which Colour Refinement requires at least n-2 iterations to reach stabilisation.
Diagonal Ramsey via effective quasirandomness
Published
• View Publication
• BIB
We improve the upper bound for diagonal Ramsey numbers to \[R(k+1,k+1)\le\exp(-c(\log k)^2)\binom{2k}{k}\] for $k\ge 3$. To do so, we build on a quasirandomness and induction framework for Ramsey numbers introduced by Thomason and extended by Conlon, demonstrating optimal "effective quasirandomness" results about convergence of graphs. This optimality represents a natural barrier to improvement.