sequence
6845 papers tagged with this keyword
Popa's "Recurrent Sequences" and Reciprocity
Dumitru Popa found asymptotic expansions for certain nonlinear recurrences, but left open the numerical evaluation of associated constants. We address this issue. A change of variables involving reciprocals and the algorithm of Mavecha & Laohakosol play a key role in our computations.
A Fundamental Theorem on Graph Operators
A graph operator is a function $Γ$ defined on some set of graphs such that whenever two graphs $G$ and $H$ are isomorphic, written $G\simeq H$, then $Γ(G)\simeq Γ(H)$. For a graph $G$ not in the domain of $Γ$, we put $Γ(G)=\emptyset$. Also, let us define $Γ^0(G)=G$, and for any integr $k\ge1$, $Γ^k(G)=Γ(Γ^{k-1}(G))$
We prove that if $Γ$ is a graph operator, then the sequence $\langle Γ^k(G)\rangle_{k=0}^\infty$ has only three possible types of behaviour. Either $Γ^k(G)=\emptyset$ for some integer $k>0$, or $\displaystyle\lim_{k\to\infty}|V(Γ^k(G))|=\infty$, or there exist integers $m\ge0$, $p>0$ such that the graphs $Γ^j(G)$ are non-isomorphic ($0\le j\le m)$, and $Γ^{n+p}\simeq Γ^n(G)$ for all integers $n\ge m$. We illustrate this using two new graph operators, namely, the path graph operator and the claw graph operator.
Galois orbits of torsion points over polytopes near atoral sets
Given an essentially atoral Laurent polynomial $P$, we show an equidistribution theorem for the function $\operatorname{log}|P|$ on specific subsets of Galois orbits of torsion points of the $d$-dimensional algebraic torus $\mathbb{G}^d_m(\overline{\mathbb{Q}})$. The specific subsets under consideration are the preimages of $d$-dimensional polytopes within the hypercube $[0,1]^d$ under the cotropicalization map. This generalises an equidistribution theorem of V. Dimitrov and P. Habegger, who considered only all Galois orbits that correspond to the entire hypercube $[0,1]^d$. In addition, we provide an estimate for the convergence speed of this equidistribution, expressed as a negative power of the strictness degree. Our approach is to derive an alternative version of Koksma's inequality over polytopes.
As an application, we provide the convergence speed of heights on a sequence of projective points for a specific two-dimensional example, answering a question posed by R. Gualdi and M. Sombra. In the appendix, we present an algorithm to compute the explicit value of the power of the strictness degree.
Hiring Strategies
Published in J. Stat. Mech. 033402 (2025)
• View Publication
• BIB
We investigate the hiring problem where a sequence of applicants is sequentially interviewed, and a decision on whether to hire an applicant is immediately made based on the applicant's score. For the maximal and average improvement strategies, the decision depends on the applicant's score and the scores of all employees, i.e., previous successful applicants. For local improvement strategies, an interviewing committee randomly chosen for each applicant makes the decision depending on the score of the applicant and the scores of the members of the committee. These idealized hiring strategies capture the challenges of decision-making under uncertainty. We probe the average score of the best employee, the probability of hiring all first $N$ applicants, the fraction of superior companies in which, throughout the evolution, every hired applicant has a score above expected, etc.
Helmholtz-Hodge Decomposition on Graphs
We propose a definition of the curl of a vector field X on a finite simple graph as the projection of X onto the orthogonal complement of circulation-free vector fields, where a vector field is circulation-free provided its line integral around every simple circuit vanishes. We justify the definition by observing that X and curl X have the same circulation and curl of the gradient and divergence of the curl vanish. This shows the gradient, curl, and divergence operators form an exact sequence, in analogy with the classical case of vector fields on Euclidean domains and yields the Helmholtz-Hodge decomposition of a vector field on a graph as the sum of a gradient, a curl, and a harmonic field. Along the way, we also prove analogues of the divergence theorem, Green's identities, and Helmholtz's theorem. A consequence of our definition is that the curl is a non-local operator, in sharp contrast to the classical case and existing notions of curl on a graph.
Arbitrary Spectral Edge of Regular Graphs
We prove that for each $d\geq 3$ and $k\geq 2$, the set of limit points of the first $k$ eigenvalues of sequences of $d$-regular graphs is
\[
\{(μ_1,\dots,μ_k): d=μ_1\geq \dots\geq μ_{k}\geq2\sqrt{d-1}\}.
\] The result for $k=2$ was obtained by Alon and Wei, and our result confirms a conjecture of theirs. Our proof uses an infinite random graph sampled from a distribution that generalizes the random regular graph distribution. To control the spectral behavior of this infinite object, we show that Huang and Yau's proof of Friedman's theorem bounding the second eigenvalue of a random regular graph generalizes to this model. We also bound the trace of the non-backtracking operator, as was done in Bordenave's separate proof of Friedman's theorem.
Tilings of the sphere by congruent pentagons IV: Edge combination $a^4b$ with general angles
We classify edge-to-edge tilings of the sphere by congruent pentagons with the edge combination $a^4b$ and with any irrational angle in degree: they are three $1$-parameter families of pentagonal subdivisions of the Platonic solids, with $12, 24$ and $60$ tiles; and a sequence of $1$-parameter families of pentagons admitting non-symmetric $3$-layer earth map tilings together with their various rearrangements under extra conditions. Their parameter moduli and geometric data are all computed in both exact and numerical form. The total numbers of different tilings for any fixed such pentagon are counted explicitly. As a byproduct, the degenerate pentagons produce naturally many new non-edge-to-edge quadrilateral tilings. A sequel of this paper will handle $a^4b$-pentagons with all angles being rational in degree by solving some trigonometric Diophantine equations, to complete our full classification of edge-to-edge tilings of the sphere by congruent pentagons.
Higher order invariants of a graph based on the path sequence
Let $G=(V,E)$ be a simple and connected graph. A $h$-order invariant of $G$ based on the path sequence is defined from a set of real numbers ${f(x_{0},x_{1},\cdots,x_{h})}$ as $^{h}I_f(G)=\sum\limits_{v_{0}v_{1}v_{2}\cdots v_{h}}f\left(d_{0},d_{1},\cdots,d_{h}\right)$, where the sum runs over all paths $v_{0}v_{1}v_{2}\cdots v_{h}$ of length $h$ and $d_{i}$ is the degree of vertex $v_i$ in $G$. In this paper, we first show that the $h$-order invariant of a starlike tree $S_{n}$ can be determined completely by its branches whose length does not exceed $h$. And then we find conditions on the function $f$ for some graph families $\mathcal{G}$ such that any graph $G\in\mathcal{G}$ can be determined by the higher order invariants $^{h}I_f(G)$ for $0\leqslant h\leqslant ρ$, where $ρ$ is the length of a longest path in $G$.
A novel approach to the giant component fluctuations
We present a novel approach to study the evolution of the size (i.e. the number of vertices) of the giant component of a random graph process. It is based on the exploration algorithm called simultaneous breadth-first walk, introduced by Limic in 2019, that encodes the dynamic of the evolution of the sizes of the connected components of a large class of random graph processes. We limit our study to the variant of the Erdős-Rényi graph process $(G_n(s))_{s\geq 0}$ with $n$ vertices where an edge connecting a pair of vertices appears at an exponential rate 1 waiting time, independently over pairs. We first use the properties of the simultaneous breadth-first walk to obtain an alternative and self-contained proof of the functional central limit theorem recently established by Enriquez, Faraud and Lemaire in the super-critical regime ($s=\frac{c}{n}$ and $c>1$). Next, to show the versatility of our approach, we prove a functional central limit theorem in the barely super-critical regime ($s=\frac{1+tε_n}{n}$ where $t>0$ and $(ε_n)_n$ is a sequence of positive reals that converges to 0 such that $(nε_n^3)_n$ tends to $+\infty$).
On primality and atomicity of numerical power monoids
In the first part of this paper, we establish a variation of a recent result by Bienvenu and Geroldinger on the (almost) non-existence of absolute irreducibles in (restricted) power monoids of numerical monoids: we argue the (almost) non-existence of primal elements in the same class of power monoids. The second part of this paper, devoted to the study of the atomic density of $\mathcal{P}_{\text{fin}, 0}(\mathbb{N}_0)$, is motivated by work of Shitov, a recent paper by Bienvenu and Geroldinger, and some questions pointed out by Geroldinger and Tringali. In the same, we study atomic density through the lens of the natural partition $\{ \mathcal{A}_{n,k} : k \in \mathbb{N}_0\}$ of $\mathcal{A}_n$, the set of atoms of $\mathcal{P}_{\text{fin}, 0}(\mathbb{N}_0)$ with maximum at most $n$: \[ \mathcal{A}_{n,k} = \{A \in \mathcal{A} : \max A \le n \text{ and } |A| = k\} \] for all $n,k \in \mathbb{N}$, where $\mathcal{A}$ is the set of atoms of $\mathcal{P}_{\text{fin}, 0}(\mathbb{N}_0)$. We pay special attention to the sequence $(α_{n,k})_{n,k \ge 1}$, where $α_{n,k}$ denote the size of the block $\mathcal{A}_{n,k}$. First, we establish some bounds and provide some asymptotic results for $(α_{n,k})_{n,k \ge 1}$. Then, we take some probabilistic approach to argue that, for each $n \in \mathbb{N}$, the sequence $(α_{n,k})_{k \ge 1}$ is almost unimodal. Finally, for each $n \in \mathbb{N}$, we consider the random variable $X_n : \mathcal{A}_n \to \mathbb{N}_0$ defined by the assignments $X_n : A \mapsto |A|$, whose probability mass function is $\mathbb{P}(X_n=k) = α_{n,k}/| \mathcal{A}_n|$. We conclude proving that, for each $m \in \mathbb{N}$, the sequence of moments $(\mathbb{E}(X_n^m))_{n \ge 1}$ behaves asymptotically as that of a sequence $(\mathbb{E}(Y_n^m))_{n \ge 1}$, where $Y_n$ is a binomially distributed random variable with parameters $n$ and $\frac12$.
A note on Diagonal sequences of integer partitions
Let \(\mathcal{P}(n)\) be the set of partitions of the positive integer \(n\). For \(α=(α_1,...,α_t) \in \mathcal{P}(n)\) define the diagonal sequence \(δ(α)=(d_k(α))_{k \geq 1}\) via \( d_k(α) = \big\lvert \{ i \, \rvert \, 1 \leq i \leq k \mbox{ and } α_i + i- 1\geq k \} \big\rvert.\) We show that the set of all partitions in \(\mathcal{P}(n)\) with the same diagonal sequence is a partially ordered set under majorization with unique maximal and minimal elements and we give an explicit formula for the number of partitions with the same diagonal sequence.
Tor Groups of the Stanley-Reisner Ring of a Matroid
We introduce the Tor groups $ \mathop{Tor}_{\bullet}^{S_{\mathrm{M}}^{\circ}} \left( \mathbb{C}[Σ_{\mathrm{M}}], \mathbb{C} \right)_{\bullet} $ for a loopless matroid $\mathrm{M}$ as a way to study the extra relations occurring in the linear ideal of the Feichtner-Yuzvinsky presentation of the Chow ring $ A^{\bullet}(\mathrm{M}) $. This extends the definition of the Chow ring of a matroid since $ \mathop{Tor}_{0}^{S_{\mathrm{M}}^{\circ}} \left( \mathbb{C}[Σ_{\mathrm{M}}], \mathbb{C} \right)_{\bullet} \cong A^{\bullet}(\mathrm{M}) $. Our main tool in studying these groups is to recognize them as cohomology of the toric variety associated to the Bergman fan of the matroid. With this geometric approach, we show that these Tor groups fit into a long exact sequence arising from the matroidal flips of Adiprasito, Huh, and Katz, extending the short exact sequence in the case of Chow rings. Using this long exact sequence we give a recursive formula for the Hilbert series of the Tor algebra of a uniform matroid.
A conjecture of Radu and Sellers on congruences modulo powers of 2 for broken 3-diamond partitions
In 2007, Andrews and Paule introduced the family of functions $Δ_k(n)$, which enumerate the number of broken $k$-diamond partitions for a fixed positive integer $k$. In 2013, Radu and Sellers completely characterized the parity of $Δ_3(8n + r)$ for some $r$ and gave a conjecture on congruences modulo powers of 2 for broken 3-diamond partitions. We use an unconventional $U$-sequence to solve the revised conjecture proposed by Radu and Sellers.
Hypercurveball algorithm for sampling hypergraphs with fixed degrees
Comparative analysis between a network and a random graph model can uncover network properties that significantly deviate from those in random networks. The standard random graph model used for comparison uniformly samples random graphs with the same degrees as the network data, often achieved through edge-swap algorithms. However, for hypergraphs, fewer such methodologies are available. This study introduces the Hypercurveball algorithm, designed to sample random, potentially directed, hypergraphs with fixed degrees. Minor adjustments enable the sampling of hypergraphs without degenerate hyperedges, self-loops, or multi-hyperedges. For most of these algorithms, we prove whether they sample uniformly or with bias. We experimentally show that the Hypercurveball algorithm can be significantly faster or slower than the standard hyperedge-shuffling algorithm, which is the hyperedge-equivalent of the edge-swap algorithm. We present criteria on the hypergraph degree sequence that indicate when the Hypercurveball algorithm is more efficient than the standard hyperedge-shuffling method. Finally, our experimental results suggest polynomial scaling of the mixing time for both the Hypercurveball and hyperedge-shuffling algorithms.
Pin Classes I: Growth Rates and Bounds
Pin sequences play an important role in the structural study of permutation classes. In this paper, we study the permutation classes that comprise all the finite subpermutations contained in an infinite pin sequence. We prove that these permutation classes have proper growth rates and establish a procedure for calculating these growth rates.
A family of orthogonal functions on the unit circle and a new multilateral matrix inverse
Using Bailey's very-well-poised $_6ψ_6$ summation, we show that a specific sequence of well-poised bilateral basic hypergeometric $_3ψ_3$ series form a family of orthogonal functions on the unit circle. We further extract a bilateral matrix inverse from Dougall's ${}_2H_2$ summation which we use, in combination with the Pfaff--Saalschütz summation, to derive a summation for a particular bilateral hypergeometric $_3H_3$ series. We finally provide multivariate extensions of the bilateral matrix inverse and the $_3H_3$ summation in the setting of hypergeometric series associated to the root system $A_r$.
Representation stability in the (co)homology of vertical configuration spaces
In this paper, we study sequences of topological spaces called "vertical configuration spaces" of points in Euclidean space. We apply the theory of FI$_G$-modules, and results of Bianchi-Kranhold, to show that their (co)homology groups are "representation stable" with respect to natural actions of wreath products $S_k \wr S_n$. In particular, we show that in each (co)homological degree, the (co)homology groups (viewed as $S_k \wr S_n$-representations) can be expressed as induced representations of a specific form. Consequently, the characters of their rational (co)homology groups, and the patterns of irreducible $S_k \wr S_n$-representation constituents of these groups, stabilize in a strong sense. In addition, we give a new proof of rational (co)homological stability for unordered vertical configuration spaces, with an improved stable range.
An end degree for digraphs
In this paper we define a degree for ends of infinite digraphs. The well-definedness of our definition in particular resolves a problem by Zuther. Furthermore, we extend our notion of end degree to also respect, among others, the vertices dominating the end, which we denote as combined end degree. Our main result is a characterisation of the combined end degree in terms of certain sequences of vertices, which we call end-exhausting sequences. This establishes a similar, although more complex relationship as known for the combined end degree and end-defining sequences in undirected graphs.
Quasi-fixed points of substitutive systems
We study automatic sequences and automatic systems generated by general constant length (nonprimitive) substitutions. While an automatic system is typically uncountable, the set of automatic sequences is countable, implying that most sequences within an automatic system are not themselves automatic. We provide a complete and succinct classification of automatic sequences that lie in a given automatic system in terms of the quasi-fixed points of the substitution defining the system. Our result extends to factor maps between automatic systems and highlights arithmetic properties underpinning these systems. We conjecture that a similar statement holds for general nonconstant length substitutions.
Categorical approach to graph limits
We define and study a natural category of graph limits. The objects are pairs $(π,μ)$, where $π$ (the distribution of vertices) is an abstract probability measure on some abstract measurable space $(X,\mathcal{A})$ and $μ$ (the distribution of edges) is an abstract finite measure on the square $(X,\mathcal{A})^2$. Morphisms are random maps between the underlying measurable spaces which preserve the distribution of vertices as well as the distribution of edges. We also define a convergence notion (inspired by s-convergence) for sequences of graph limits. We apply tools from category theory to prove the compactness of the space of all graph limits.