sequence
6966 papers tagged with this keyword
On the $r$-Derangements of type B
Extensions of a set partition obtained by imposing bounds on the size of the parts and the coloring of some of the elements are examined. Combinatorial properties and the generating functions of some counting sequences associated with these partitions are established. Connections with Riordan arrays are presented.
Certifying the novelty of equichordal tight fusion frames
Published
• View Publication
• BIB
An equichordal tight fusion frame (ECTFF) is a finite sequence of equi-dimensional subspaces of a finite-dimensional Hilbert space that achieves equality in Conway, Hardin and Sloane's simplex bound. Every ECTFF is a type of optimal Grassmannian code, being a way to arrange a given number of members of a Grassmannian so that the minimal chordal distance between any pair of them is as large as possible. Any nontrivial ECTFF has both a Naimark complement and spatial complement which themselves are ECTFFs. It turns out that whenever the number of subspaces is at least five, taking iterated alternating Naimark and spatial complements of one ECTFF yields an infinite family of them with distinct parameters. This makes it challenging to certify the novelty of any recently discovered ECTFF: how can one guarantee that it does not arise from any previously known construction in such a Naimark-spatial way? In this paper, we propose a solution to this problem, showing that any ECTFF is a member of a Naimark-spatial family originating from either a trivial ECTFF or one with unique "minimal" parameters. In the latter case, if its minimal parameters do not match those of any previously known ECTFF, it is certifiably new. As a proof of concept, we then use these ideas to certify the novelty of some ECTFFs arising from a new method for constructing them from difference families for finite abelian groups. This method properly generalizes King's construction of ECTFFs from semiregular divisible difference sets.
Pseudoline arrangement graphs: degree sequences and eccentricities
A pseudoline arrangement graph is a planar graph induced by an embedding of a (simple) pseudoline arrangement. We study the corresponding graph realization problem and properties of pseudoline arrangement graphs. In the first part, we give a simple criterion based on the degree sequence that says whether a degree sequence will have a pseudoline arrangement graph as one of its realizations. In the second part, we study the eccentricities of vertices in such graphs. We observe that the diameter (maximum eccentricity of a vertex in the graph) of any pseudoline arrangement graph on $n$ pseudolines is $n-2$. Then we characterize the diametrical vertices (whose eccentricity is equal to the graph diameter) of pseudoline arrangement graphs. These results hold for line arrangement graphs as well.
Linear Recurrences over a Finite Field with Exactly Two Periods
Published
• View Publication
• BIB
In this paper, we study the periodicity structure of finite field linear recurring sequences whose period is not necessarily maximal and determine necessary and sufficient conditions for the characteristic polynomial~\(f\) to have exactly two periods in the sense that the period of any sequence generated by~\(f\) is either one or a unique integer greater than one.
On combinatorial properties and the zero distribution of certain Sheffer sequences
Published
• View Publication
• BIB
We present combinatorial and analytical results concerning a Sheffer sequence with a generating function of the form $G(x,z)=Q(z)^{x}Q(-z)^{1-x}$, where $Q$ is a quadratic polynomial with real zeros. By using the properties of Riordan matrices we address combinatorial properties and interpretations of our Sheffer sequence of polynomials and their coefficients. We also show that apart from two exceptional zeros, the zeros of polynomials with large enough degree in such a Sheffer sequence lie on the line $x=1/2+it$.
2-switch transition on unicyclic graphs and pseudoforest
In the present work we prove that given any two unicycle graphs (pseudoforests)
that share the same degree sequence there is a finite sequence of 2-switches
transforming one into the other such that all the graphs in the sequence
are also unicyclic graphs (pseudoforests).
A crank for bipartitions with designated summands
Published
• View Publication
• BIB
Andrews, Lewis and Lovejoy introduced the partition function $PD(n)$ as the number of partitions of $n$ with designated summands. A bipartition of $n$ is an ordered pair of partitions $(π_1, π_2)$ with the sum of all of the parts being $n$. In this paper, we introduce a generalized crank named the $pd$-crank for bipartitions with designated summands and give some inequalities for the $pd$-crank of bipartitions with designated summands modulo 2 and 3. We also define the $pd$-crank moments weighted by the parity of $pd$-cranks $μ_{2k,bd}(-1,n)$ and show the positivity of $(-1)^nμ_{2k,bd}(-1,n)$. Let $M_{bd}(m,n)$ denote the number of bipartitions of $n$ with designated summands with $pd$-crank $m$. We prove a monotonicity property of $pd$-cranks of bipartitions with designated summands and find that the sequence $\{M_{bd}(m,n)\}_{|m|\leq n}$ is unimodal for $n\not= 1,5,7$.
Primitive permutation IBIS groups
Published
• View Publication
• BIB
Let $G$ be a finite permutation group on $Ω$. An ordered sequence of elements of $Ω$, $(ω_1,\dots, ω_t)$, is an irredundant base for $G$ if the pointwise stabilizer $G_{(ω_1,\dots, ω_t)}$ is trivial and no point is fixed by the stabilizer of its predecessors. If all irredundant bases of $G$ have the same size we say that $G$ is an IBIS group. In this paper we show that if a primitive permutation group is IBIS, then it must be almost simple, of affine-type, or of diagonal type. Moreover we prove that a diagonal-type primitive permutation groups is IBIS if and only if it is isomorphic to $PSL(2,2^f)\times PSL(2,2^f)$ for some $f\geq 2,$ in its diagonal action of degree $2^f(2^{2f}-1).$
Random Graphs with Prescribed $K$-Core Sequences: A New Null Model for Network Analysis
Published
• View Publication
• BIB
In the analysis of large-scale network data, a fundamental operation is the comparison of observed phenomena to the predictions provided by null models: when we find an interesting structure in a family of real networks, it is important to ask whether this structure is also likely to arise in random networks with similar characteristics to the real ones. A long-standing challenge in network analysis has been the relative scarcity of reasonable null models for networks; arguably the most common such model has been the configuration model, which starts with a graph $G$ and produces a random graph with the same node degrees as $G$. This leads to a very weak form of null model, since fixing the node degrees does not preserve many of the crucial properties of the network, including the structure of its subgraphs.
Guided by this challenge, we propose a new family of network null models that operate on the $k$-core decomposition. For a graph $G$, the $k$-core is its maximal subgraph of minimum degree $k$; and the core number of a node $v$ in $G$ is the largest $k$ such that $v$ belongs to the $k$-core of $G$. We provide the first efficient sampling algorithm to solve the following basic combinatorial problem: given a graph $G$, produce a random graph sampled nearly uniformly from among all graphs with the same sequence of core numbers as $G$. This opens the opportunity to compare observed networks $G$ with random graphs that exhibit the same core numbers, a comparison that preserves aspects of the structure of $G$ that are not captured by more local measures like the degree sequence. We illustrate the power of this core-based null model on some fundamental tasks in network analysis, including the enumeration of networks motifs.
Generalized Outerplanar Turán numbers and maximum number of k-vertex subtrees
Published
• View Publication
• BIB
We prove an asymptotic result on the maximum number of k-vertex subtrees in binary trees of given order. This problem turns out to be equivalent to determine the maximum number of k+2-cycles in n-vertex outerplanar graphs, thus we settle the generalized outerplanar Turán number for all cycles. We also determine the exponential growth of the generalized outerplanar Turán number of paths Pk as a function of k which implies the order of magnitude of the generalized outerplanar Turán number of arbitrary trees. The bounds are strongly related to the sequence of Catalan numbers.
Automatic sequences: from rational bases to trees
Published in Discrete Mathematics & Theoretical Computer Science, vol. 24, no. 1, Automata, Logic and Semantics (July 19, 2022) dmtcs:8455
• View Publication
• BIB
The $n$th term of an automatic sequence is the output of a deterministic finite automaton fed with the representation of $n$ in a suitable numeration system. In this paper, instead of considering automatic sequences built on a numeration system with a regular numeration language, we consider those built on languages associated with trees having periodic labeled signatures and, in particular, rational base numeration systems. We obtain two main characterizations of these sequences. The first one is concerned with $r$-block substitutions where $r$ morphisms are applied periodically. In particular, we provide examples of such sequences that are not morphic. The second characterization involves the factors, or subtrees of finite height, of the tree associated with the numeration system and decorated by the terms of the sequence.
TS-Reconfiguration of Dominating Sets in circle and circular-arc graphs
Published
• View Publication
• BIB
We study the dominating set reconfiguration problem with the token sliding rule. It consists, given a graph G=(V,E) and two dominating sets D_s and D_t of G, in determining if there exists a sequence S=<D_1:=D_s,...,D_l:=D_t> of dominating sets of G such that for any two consecutive dominating sets D_r and D_{r+1} with r<t, D_{r+1}=(D_r\ u) U v, where uv is an edge of G.
In a recent paper, Bonamy et al studied this problem and raised the following questions: what is the complexity of this problem on circular arc graphs? On circle graphs? In this paper, we answer both questions by proving that the problem is polynomial on circular-arc graphs and PSPACE-complete on circle graphs.
Joint ergodicity of sequences
Published
• View Publication
• BIB
A collection of integer sequences is jointly ergodic if for every ergodic measure preserving system the multiple ergodic averages, with iterates given by this collection of sequences, converge in the mean to the product of the integrals. We give necessary and sufficient conditions for joint ergodicity that are flexible enough to recover most of the known examples of jointly ergodic sequences and also allow us to answer some related open problems. An interesting feature of our arguments is that they avoid deep tools from ergodic theory that were previously used to establish similar results. Our approach is primarily based on an ergodic variant of a technique pioneered by Peluse and Prendiville in order to give quantitative variants for the finitary version of the polynomial Szemerédi theorem.
Almost everywhere balanced sequences of complexity $2n+1$
Published in Moscow J. Comb. Number Th. 11 (2022) 287-333
• View Publication
• BIB
We study ternary sequences associated with a multidimensional continued fraction algorithm introduced by the first author. The algorithm is defined by two matrices and we show that it is measurably isomorphic to the shift on the set $\{1,2\}^\mathbb{N}$ of directive sequences. For a given set $\mathcal{C}$ of two substitutions, we show that there exists a $\mathcal{C}$-adic sequence for every vector of letter frequencies or, equivalently, for every directive sequence. We show that their factor complexity is at most $2n+1$ and is $2n+1$ if and only if the letter frequencies are rationally independent if and only if the $\mathcal{C}$-adic representation is primitive. It turns out that in this case, the sequences are dendric. We also prove that $μ$-almost every $\mathcal{C}$-adic sequence is balanced, where $μ$ is any shift-invariant ergodic Borel probability measure on $\{1,2\}^\mathbb{N}$ giving a positive measure to the cylinder $[12121212]$. We also prove that the second Lyapunov exponent of the matrix cocycle associated with the measure $μ$ is negative.
Distinguishing power-law uniform random graphs from inhomogeneous random graphs through small subgraphs
Published
• View Publication
• BIB
We investigate the asymptotic number of induced subgraphs in power-law uniform random graphs. We show that these induced subgraphs appear typically on vertices with specific degrees, which are found by solving an optimization problem. Furthermore, we show that this optimization problem allows to design a linear-time, randomized algorithm that distinguishes between uniform random graphs and random graph models that create graphs with approximately a desired degree sequence: the power-law rank-1 inhomogeneous random graph. This algorithm uses the fact that some specific induced subgraphs appear significantly more often in uniform random graphs than in rank-1 inhomogeneous random graphs.
The word problem for Hecke--Kiselman monoids of type $A_n$ and $\widetilde{A}_n$
Published
• View Publication
• BIB
We exhibit explicit and easily realisable bijections between Hecke--Kiselman monoids of type $A_n$/$\widetilde{A}_n$; certain braid diagrams on the plane/cylinder; and couples of integer sequences of particular types. This yields a fast solution of the word problem and an efficient normal form for these HK monoids. Yang--Baxter type actions play an important role in our constructions.
Reconstructing the degree sequence of a sparse graph from a partial deck
Published
• View Publication
• BIB
The deck of a graph $G$ is the multiset of cards $\{G-v:v\in V(G)\}$. Myrvold (1992) showed that the degree sequence of a graph on $n\geq7$ vertices can be reconstructed from any deck missing one card. We prove that the degree sequence of a graph with average degree $d$ can reconstructed from any deck missing $O(n/d^3)$ cards. In particular, in the case of graphs that can be embedded on a fixed surface (e.g. planar graphs), the degree sequence can be reconstructed even when a linear number of the cards are missing.
Designs in finite metric spaces: a probabilistic approach
Published
• View Publication
• BIB
A finite metric space is called here distance degree regular if its distance degree sequence is the same for every vertex. A notion of designs in such spaces is introduced that generalizes that of designs in $Q$-polynomial distance-regular graphs. An approximation of their cumulative distribution function, based on the notion of Christoffel function in approximation theory is given. As an application we derive limit laws on the weight distributions of binary orthogonal arrays of strength going to infinity. An analogous result for combinatorial designs of strength going to infinity is given.
Stirling number and periodic points
Published in Acta Arithmetica, 201 (2021), 421-435
• View Publication
• BIB
We introduce the notion of almost realizability, an arithmetic generalization of realizability for integer sequences, which is the property of counting periodic points for some map. We characterize the intersection between the set of Stirling sequences (of both the first and the second kind) and the set of almost realizable sequences.
Expansions in Cantor real bases
Published
• View Publication
• BIB
We introduce and study series expansions of real numbers with an arbitrary Cantor real base $\boldsymbolβ=(β_n)_{n\in\mathbb{N}}$, which we call $\boldsymbolβ$-representations. In doing so, we generalize both representations of real numbers in real bases and through Cantor series. We show fundamental properties of $\boldsymbolβ$-representations, each of which extends existing results on representations in a real base. In particular, we prove a generalization of Parry's theorem characterizing sequences of nonnegative integers that are the greedy $\boldsymbolβ$-representations of some real number in the interval $[0,1)$. We pay special attention to periodic Cantor real bases, which we call alternate bases. In this case, we show that the $\boldsymbolβ$-shift is sofic if and only if all quasi-greedy $\boldsymbolβ^{(i)}$-expansions of $1$ are ultimately periodic, where $\boldsymbolβ^{(i)}$ is the $i$-th shift of the Cantor real base $\boldsymbolβ$.