Showing 20 papers (Total: 81564 papers, 47262 authors in database)
On the jump of the cover time in random geometric graphs
In this paper we study the cover time of the simple random walk on the giant component of supercritical $d$-dimensional random geometric graphs on $\mathrm{Poi}(n)$ vertices. We show that the cover time undergoes a jump at the connectivity threshold radius $r_c$: with $r_g$ denoting the threshold for having a giant component, we show that if the radius $r$ satisfies $(1+\varepsilon)r_g \le r \le (1-\varepsilon)r_c$ for $\varepsilon > 0$ arbitrarily small, the cover time of the giant component is asymptotically almost surely $Θ(n \log^2 n$). On the other hand, we show that for $r \ge (1+\varepsilon)r_c$, the cover time of the graph is asymptotically almost surely $Θ(n \log n)$ (which was known for $d=2$ only for a radius larger by a constant factor). Our proofs also shed some light onto the behavior around $r_c$.
$q$-analogues of sums of consecutive powers of natural numbers and extended Carlitz $q$-Bernoulli numbers and polynomials
In this paper, we investigate a specific class of $q$-polynomial sequences that serve as a $q$-analogue of the classical Appell sequences. This framework offers an elegant approach to revisiting classical results by Carlitz and, more interestingly, to establishing an important extension of the Carlitz $q$-Bernoulli polynomials and numbers. In addition, we establish explicit series representations for our extended Carlitz $q$-Bernoulli numbers and express them in terms of $q$-Stirling numbers of the second kind. This leads to a novel formula that explicitly connects the Carlitz $q$-Bernoulli numbers with the $q$-Stirling numbers of the second kind.
Prime Multiple Missing Graphs
Published in Prime multiple missing graphs, Arai, K.(eds) Intelligent Computing. CompCom 2025. Lecture Notes in Networks and Systems, vol 1423. Springer, Cham
• View Publication
• BIB
The famous Goldbach conjecture remains open for nearly three centuries. Recently Goldbach graphs are introduced to relate the problem with the literature of Graph Theory. It is shown that the connectedness of the graphs is equivalent to the affirmative answer of the conjecture. Some modified version of the graphs, say, near Goldbach graphs are shown to be Hamiltonian for small number of vertices. In this context, we introduce a class of graphs, namely, prime multiple missing graphs such that near Goldbach graphs are finite intersections of these graphs. We study these graphs for primes 3,5 and in general for any odd prime p. We prove that these graphs are connected with diameter at most 3 and Hamiltonian for even (>2) vertices. Next the intersection of prime multiple missing graphs for primes 3 and 5 are studied. We prove that these graphs are connected with diameter at most 4 and they are also Hamiltonian for even (>2) vertices. We observe that the diameters of finite Goldbach graphs and near Goldbach graphs are bounded by 5 (up to 10000 vertices). We believe further study on these graphs with big data analysis will help to understand structures of near Goldbach graphs.
($P_2+P_4$, $K_4-e$)-free graphs are nearly $ω$-colorable
For a graph $G$, $χ(G)$ and $ω(G)$ respectively denote the chromatic number and clique number of $G$. In this paper, we show the following results: (i) If $G$ is a ($P_2+P_4$, $K_4-e$)-free graph with $ω(G)\geq 3$, then $χ(G)\leq \max\{6, ω(G)\}$, and the bound is tight for each $ω(G)\notin \{4,5\}$. (ii) If $G$ is a ($P_2+P_4$, $K_4-e$)-free graph with $ω(G)= 4$, then $χ(G)= 4$. These results extend the chromatic bounds known for the class of ($P_2+P_2$, $K_4-e$)-free graphs and for the class of ($P_2+P_3$, $K_4-e$)-free graphs, improve the bound of Chen and Zhang [arXiv:2412.14524 [math.CO], 2024] given for the class of ($P_2+P_4$, $K_4-e$)-free graphs, partially answer a question of Ju and the third author [Theor. Comp. Sci. 993 (2024) Article No.: 114465] on `near optimal colorable graphs', and a question of Schiermeyer (unpublished) on the chromatic bound for ($P_7$, $K_4-e$)-free graphs.
Coalgebras, bialgebras and Rota-Baxter algebras from shuffles of rooted forests
We construct and study new generalisations to rooted trees and forests of some properties of shuffles of words. First, we build a coproduct on rooted trees which, together with their shuffle, endow them with bialgebra structure. We then caracterize the coproduct dual to the shuffle product of rooted forests and build a product on rooted trees to obtain the bialgebra dual to the shuffle bialgebra. We then characterize and enumerate primitive trees for the dual coproduct. Finally, using modified shuffles of rooted forests, we prove a property in the category of Rota-Baxter algebras.
On graphs with large third eigenvalue
Given a graph $G$, let $λ_3$ denote the third largest eigenvalue of its adjacency matrix. In this paper, we prove various results towards the conjecture that $λ_3(G) \le \frac{|V(G)|}{3}$, motivated by a question of Nikiforov. We generalise the known constructions that yield $λ_3(G) = \frac{|V(G)|}{3} - 1$ and prove the inequality holds for $G$ strongly regular, a regular line graph or a Cayley graph on an abelian group. We also consider the extended problem of minimising $λ_{n-1}$ on weighted graphs and reduce the existence of a minimiser with simple final eigenvalue to a vertex multiplication of a graph on 11 vertices. We prove that the minimal $λ_{n-1}$ over weighted graphs is at most $O(\sqrt{n})$ from the minimal $λ_{n-1}$ over unweighted graphs.
Reidemeister spectra of free nilpotent groups and plethysms of Schur functions
We establish a strong link between two open problems: determining the Reidemeister spectrum of free nilpotent groups and determining the coefficients in the Schur expansion of plethysms of Schur functions. Specifically, we show that the expressions occurring in the computations for the Reidemeister spectrum are sums of plethysms of the form $s_{1^{i}}[g]$, where $g$ is a Schur function or a Schur positive function.
Size, diversity, minimum degree, sturdiness, dömdödöm
For a family $\mathcal{F}$ of sets and a disjoint pair $A,B$ we let $\mathcal{F}(A,\overline{B})=\{F\in \mathcal{F}: A\subseteq F, ~B\cap F=\emptyset\}$. The \textbf{$(p,q)$-dömdödöm} of a family $\mathcal{F}\subseteq 2^{[n]}$ is $β_{p,q}(\mathcal{F})=\min\{|\mathcal{F}(A,\overline{B})|:|A|=p,|B|=q, A\cap B=\emptyset, A,B\subseteq [n]\} $. This definition encompasses size, diversity, minimum degree, and sturdiness as special cases. We investigate the maximum possible value $β_{p,q}(n,k)$ of $β_{p,q}(\mathcal{F})$ over all $k$-uniform intersecting families $\mathcal{F}\subset 2^{[n]}$. We determine the order of magnitude of $β_{p,q}(n,k)$ for all fixed $p,q,k$. We relate the asymptotics of $β_{p,q}(n,k)$ to the constant value of $β_{0,q}(n,q+1)$ and establish $β_{p,1}(n,k)=\binom{n-3-p}{k-2-p}$ and $β_{p,2}(n,k)=2\binom{n-5}{k-3-p}-\binom{n-7}{k-5-p}$ if $n$ is large enough.
Parsings of Stationary Processes, Stopping Times and the Fundamental Pointwise Convergence Theorems of Ergodic Theory
The idea of a parsing of a stationary process according to a collection of words is introduced, and the basic framework required for the asymptotic analysis of these parsings is presented. We demonstrate how the pointwise ergodic theorem and the Shannon-McMillan-Breiman theorem can be deduced from their respective weaker convergence in probability versions combined with our observations regarding parsings, where the parsings are done according to collections that originate in stopping times tailored for that purpose.
Isomorphism in Union-Closed Sets
We prove that for any isomorphism $h: \mathcal{K}_1 \to \mathcal{K}_2$ between pure union-closed families, there exists a hyperisomorphism $H: \bigcup \mathcal{K}_1 \to \bigcup \mathcal{K}_2$ such that $h(A) = \{ H(a) \mid a \in A \}$, for all $A \in \mathcal{K}_1$. Since every union-closed family forms a lattice under inclusion, this result establishes a strong connection between the two frameworks. More precisely, any such family can be uniquely reconstructed from its lattice up to isomorphism. Hence, the lattice representation provides a faithful encoding, offering a perspective that may yield new insights into problems on union-closed families, including Frankl's union-closed sets conjecture.
An alternative construction of the G2(2)-hexagon
In this note, we give an alternative and explicit construction of the $G_2(2)$-hexagon from a $U_3(2)$-geometry.
Extremal chemical graphs of maximum degree at most 3 for 33 degree-based topological indices
We consider chemical graphs that are defined as connected graphs of maximum degree at most 3. We characterize the extremal graphs, meaning those that maximize or minimize 33 degree-based topological indices. This study shows that five graph families are sufficient to characterize the extremal graphs of 29 of these 33 indices. In other words, the extremal properties of this set of degree-based topological indices vary very little.
How Associative Can a Non-Associative Moufang Loop Be?
We prove a non-associative analog to the well-known $\frac{5}{8}$ Theorem. Namely, for a finite Moufang loop with nuclear commutators, we show that if the probability that three randomly chosen elements associate is greater than $\frac{43}{64}$, then the loop must be a group. The bound is tight as demonstrated by the 16-element Octonion loop.
Optimal Bounds for Open Addressing Without Reordering
In this paper, we revisit one of the simplest problems in data structures: the task of inserting elements into an open-addressed hash table so that elements can later be retrieved with as few probes as possible. We show that, even without reordering elements over time, it is possible to construct a hash table that achieves far better expected search complexities (both amortized and worst-case) than were previously thought possible. Along the way, we disprove the central conjecture left by Yao in his seminal paper ``Uniform Hashing is Optimal''. All of our results come with matching lower bounds.
Efficient $d$-ary Cuckoo Hashing at High Load Factors by Bubbling Up
A $d$-ary cuckoo hash table is an open-addressed hash table that stores each key $x$ in one of $d$ random positions $h_1(x), h_2(x), \ldots, h_d(x)$. In the offline setting, where all items are given and keys need only be matched to locations, it is possible to support a load factor of $1 - ε$ while using $d = \lceil \ln ε^{-1} + o(1) \rceil$ hashes. The online setting, where keys are moved as new keys arrive sequentially, has the additional challenge of the time to insert new keys, and it has not been known whether one can use $d = O(\ln ε^{-1})$ hashes to support $\poly(ε^{-1})$ expected-time insertions.
In this paper, we introduce bubble-up cuckoo hashing, an implementation of $d$-ary cuckoo hashing that achieves all of the following properties simultaneously:
(1) uses $d = \lceil \ln ε^{-1} + α\rceil$ hash locations per item for an arbitrarily small positive constant $α$.
(2) achieves expected insertion time $O(δ^{-1})$ for any insertion taking place at load factor $1 - δ\le 1 - ε$.
(3) achieves expected positive query time $O(1)$, independent of $d$ and $ε$.
The first two properties give an essentially optimal value of $d$ without compromising insertion time. The third property is interesting even in the offline setting: it says that, even though \emph{negative} queries must take time $d$, positive queries can actually be implemented in $O(1)$ expected time, even when $d$ is large.
Permutations minimizing the number of collinear triples
We characterize the permutations of $\mathbb{F}_q$ whose graph minimizes the number of collinear triples and describe the lexicographically-least one, affirming a conjecture of Cooper-Solymosi. This question is closely connected to Dudeney's No-3-in-a-Line problem, the Heilbronn triangle problem, and the structure of finite plane Kakeya sets. We discuss a connection with complete sets of mutually orthogonal latin squares and state a few open problems primarily about general finite affine planes.
A note on multidimensional Ramsey numbers
Fix integers $d,r\ge 2$ and suppose that the edge set of the $d$-fold Cartesian product of the $N$-clique $K_N^d$ is $r$-colored. We show that there is a copy of $K_n^d$ whose edges in each direction are monochromatic provided $N > 2^{2^{c n^{d-1}}}$, where $c$ depends only on $r$ and $d$. This improves the previous best exponent of $n^d$ proved by Girão, Kronenberg, and Scott while also improving the best known bound due to them for a multidimensional Erd\H os-Szekeres monotone subsequence theorem introduced by Fishburn and Graham.
Skewness, crossing number and Euler's bound for graphs on surfaces
For every connected graph $G$ and surface $S$, we consider the well-known string of inequalities $δ_S(G) \leq μ_S(G) \leq ν_S(G)$, where $μ$ and $ν$ denote skewness and crossing number and $δ$ is the Euler-formula lower bound. Recent developments are surveyed; new results are given for the ``folded'' cube including its genus.
Reflexive Digraph Reconfiguration by Orientation Strings
The reconfiguration problem for homomorphisms of digraphs to a reflexive digraph cycle, which amounts to deciding if a `reconfiguration graph' is connected, is known to by polynomially time solvable via a greedy algorithm based on certain topological requirements. Even in the case that the instance digraph is a cycle of length $m$, the algorithm, being greedy, takes time $Ω(m^2)$.
Encoding homomorphisms between two cycles as a relation on strings that represent the orientations of the cycles, we give a characterization of the components of the reconfiguration graph that can be computed in linear time and logarithmic space. In particular, this solves the reconfiguration problem for homomorphisms of cycles to cycles in log-space.
Finding Large Sets Without Arithmetic Progressions of Length Three: An Empirical View and Survey II
There has been much work on the following question: given n how large can a subset of {1,...,n} be that has no arithmetic progressions of length 3. We call such sets 3-free. Most of the work has been asymptotic. In this paper we sketch applications of large 3-free sets, review the literature of how to construct large 3-free sets, and present empirical studies on how large such sets actually are. The two main questions considered are (1) How large can a 3-free set be when n is small, and (2) How do the methods in the literature compare to each other? In particular, when do the ones that are asymptotically better actually yield larger sets? (This paper overlaps with our previous paper with the title { Finding Large 3-Free Sets I: the Small n Case}.)