sequence
7073 papers tagged with this keyword
A subquadratic algorithm for the simultaneous conjugacy problem
Published
• View Publication
• BIB
The $d$-Simultaneous Conjugacy problem in the symmetric group $S_n$ asks whether there exists a permutation $τ\in S_n$ such that $b_j = τ^{-1}a_j τ$ holds for all $j = 1,2,\ldots, d$, where $a_1, a_2,\ldots , a_d$ and $b_1, b_2,\ldots , b_d$ are given sequences of permutations in $S_n$. The time complexity of existing algorithms for solving the problem is $O(dn^2)$. We show that for a given positive integer $d$ the $d$-Simultaneous Conjugacy problem in $S_n$ can be solved in $o(n^2)$ time.
Factorial supersymmetric skew Schur functions and ninth variation determinantal identities
Published
• View Publication
• BIB
The determinantal identities of Hamel and Goulden have recently been shown to apply to a tableau-based ninth variation of skew Schur functions. Here we extend this approach and its results to the analogous tableau-based ninth variation of supersymmetric skew Schur functions. These tableaux are built on entries taken from an alphabet of unprimed and primed numbers and that may be ordered in a myriad of different ways, each leading to a determinantal identity. At the level of the ninth variation the corresponding determinantal identities are all distinct but the original notion of supersymmetry is lost. It is shown that this can be remedied at the level of the sixth variation involving a doubly infinite sequence of factorial parameters. Moreover it is shown that the resulting factorial supersymmetric skew Schur functions are independent of the ordering of the unprimed and primed entries in the alphabet.
Growth of differential identities
Published
• View Publication
• BIB
In this paper we study the growth of the differential identities of some algebras with derivations, i.e., associative algebras where a Lie algebra $L$ (and its universal enveloping algebra $U(L)$) acts on them by derivations. In particular, we study in detail the differential identities and the cocharacter sequences of some algebras whose sequence of differential codimensions has polynomial growth. Moreover, we shall give a complete description of the differential identities of the algebra $UT_2$ of $2\times 2$ upper triangular matrices endowed with all possible action of a Lie algebra by derivations. Finally, we present the structure of the differential identities of the infinite dimensional Grassmann $G$ with respect to the action of a finite dimensional Lie algebra $L$ of inner derivations.
The uncertainty principle over finite fields
Published
• View Publication
• BIB
In this paper we study the uncertainty principle (UP) connecting a function over a finite field and its Mattson-Solomon polynomial, which is a kind of Fourier transform in positive characteristic. Three versions of the UP over finite fields are studied, in connection with the asymptotic theory of cyclic codes. We first show that no finite field satisfies the strong version of UP, introduced recently by Evra, Kowalsky, Lubotzky, 2017. A refinement of the weak version is given, by using the asymptotic Plotkin bound. A naive version, which is the direct analogue over finite fields of the Donoho-Stark bound over the complex numbers, is proved by using the BCH bound. It is strong enough to show that there exist sequences of cyclic codes of length $n$, arbitrary rate, and minimum distance $Ω(n^α)$ for all $0<α<1/2$. Finally, a connection with Ramsey Theory is pointed out.
The number of oriented rational links with a given deficiency number
Published
• View Publication
• BIB
Let $U_n$ be the set of un-oriented and rational links with crossing number $n$, a precise formula for $|U_n|$ was obtained by Ernst and Sumners in 1987. In this paper, we study the enumeration problem of oriented rational links. Let $Λ_n$ be the set of oriented rational links with crossing number $n$ and let $Λ_n(d)$ be the set of oriented rational links with crossing number $n$ ($n\ge 2$) and deficiency $d$. In this paper, we derive precise formulas for $|Λ_n|$ and $|Λ_n(d)|$ for any given $n$ and $d$ and show that $$ Λ_n(d)=F_{n-d-1}^{(d)}+\frac{1+(-1)^{nd}}{2}F^{(\lfloor \frac{d}{2}\rfloor)}_{\lfloor \frac{n}{2}\rfloor -\lfloor \frac{d+1}{2}\rfloor}, $$ where $F_n^{(d)}$ is the convolved Fibonacci sequence.
Subgraph probability of random graphs with specified degrees and applications to chromatic number and connectivity
Published
• View Publication
• BIB
Given a graphical degree sequence ${\bf d}=(d_1,\ldots, d_n)$, let $G(n, {\bf d})$ denote a uniformly random graph on vertex set $[n]$ where vertex $ i$ has degree $d_i$ for every $1\le i\le n$. We give upper and lower bounds on the joint probability of an arbitrary set of edges in $G(n,{\bf d})$. These upper and lower bounds are approximately what one would get in the configuration model, and thus the analysis in the configuration model can be translated directly to $G(n,{\bf d})$, without conditioning on that the configuration model produces a simple graph. Many existing results of $G(n,{\bf d})$ in the literature can be significantly improved with simpler proofs, by applying this new probabilistic tool. One example we give is about the chromatic number of $G(n,{\bf d})$.
In another application, we use these joint probabilities to study the connectivity of $G(n,{\bf d})$. When $Δ^2=o(M)$ where $Δ$ is the maximum component of ${\bf d}$, we fully characterise the connectivity phase transition of $G(n,{\bf d})$. We also give sufficient conditions for $G(n,{\bf d})$ being connected when $Δ$ is unrestricted.
New Classes of Quantum Codes Associated with Surface Maps
Published
• View Publication
• BIB
If the cyclic sequences of {face types} {at} all vertices in a map are the same, then the map is said to be a semi-equivelar map. In particular, a semi-equivelar map is equivelar if the faces are the same type. Homological quantum codes represent a subclass of topological quantum codes. In this article, we introduce {thirteen} new classes of quantum codes. These codes are associated with the following: (i) equivelar maps of type $ [k^k]$, (ii) equivelar maps on the double torus along with the covering of the maps, and (iii) semi-equivelar maps on the surface of \Echar{-1}, along with {their} covering maps. The encoding rate of the class of codes associated with the maps in (i) is such that $ \frac{k}{n}\rightarrow 1 $ as $ n\rightarrow\infty $, and for the remaining classes of codes, the encoding rate is $ \frac{k}{n}\rightarrow α$ as $ n\rightarrow \infty $ with $ α< 1 $.
Generalized Path Pairs and Fuss-Catalan Triangles
Path pairs are a modification of parallelogram polyominoes that provide yet another combinatorial interpretation of the Catalan numbers. More generally, the number of path pairs of length $n$ and distance $δ$ corresponds to the $(n-1,δ-1)$ entry of Shapiro's so-called Catalan triangle. In this paper, we widen the notion of path pairs $(γ_1,γ_2)$ to the situation where $γ_1$ and $γ_2$ may have different lengths, and then enforce divisibility conditions on runs of vertical steps in $γ_2$. This creates a two-parameter family of integer triangles that generalize the Catalan triangle and qualify as proper Riordan arrays for many choices of parameters. In particular, we use generalized path pairs to provide a new combinatorial interpretation for all entries in every proper Riordan array $\mathcal{R}(d(t),h(t))$ of the form $d(t) = C_k(t)^i$, $h(t) = t \kern+1pt C_k(t)^k$, where $1 \leq i \leq k$ and $C_k(t)$ is the generating function for some sequence of Fuss-Catalan numbers (some $k \geq 2$). Closed formulas are then provided for the number of generalized path pairs across an even broader range of parameters, as well as for the number of weak path pairs with a fixed number of non-initial intersections.
Metric Dimension of Hamming Graphs and Applications to Computational Biology
Genetic sequencing has become an increasingly affordable and accessible source of genomic data in computational biology. This data is often represented as $k$-mers, i.e., strings of some fixed length $k$ with symbols chosen from a reference alphabet. In contrast, some of the most effective and well-studied machine learning algorithms require numerical representations of the data. The concept of metric dimension of the so-called Hamming graphs presents a promising way to address this issue. A subset of vertices in a graph is said to be resolving when the distances to those vertices uniquely characterize every vertex in the graph. The metric dimension of a graph is the size of a smallest resolving subset of vertices. Finding the metric dimension of a general graph is a challenging problem, NP-complete in fact. Recently, an efficient algorithm for finding resolving sets in Hamming graphs has been proposed, which suffices to uniquely embed $k$-mers into a real vector space. Since the dimension of the embedding is the cardinality of the associated resolving set, determining whether or not a node can be removed from a resolving set while keeping it resolving is of great interest. This can be quite challenging for large graphs since only a brute-force approach is known for checking whether a set is a resolving set or not. In this thesis, we characterize resolvability of Hamming graphs in terms of a linear system over a finite domain: a set of nodes is resolving if and only if the linear system has only a trivial solution over said domain. We can represent the domain as the roots of a polynomial system so the apparatus of Gröbner bases comes in handy to determine, whether or not a set of nodes is resolving. As proof of concept, we study the resolvability of Hamming graphs associated with octapeptides i.e. proteins sequences of length eight.
Coloring linear hypergraphs: the Erdős-Faber-Lovász conjecture and the Combinatorial Nullstellensatz
Published in Des. Codes Cryptogr. (2021)
• View Publication
• BIB
The long-standing Erdős-Faber-Lovász conjecture states that every $n$-uniform linear hypergaph with $n$ edges has a proper vertex-coloring using $n$ colors. In this paper we propose an algebraic framework to the problem and formulate a corresponding stronger conjecture. Using the Combinatorial Nullstellensatz, we reduce the Erdős-Faber-Lovász conjecture to the existence of non-zero coefficients in certain polynomials. These coefficients are in turn related to the number of orientations with prescribed in-degree sequences of some auxiliary graphs. We prove the existence of certain orientations, which verifies a necessary condition for our algebraic approach to work.
Typical structure of hereditary graph families. I. Apex-free families
Published
• View Publication
• BIB
A family of graphs $\mathcal{F}$ is hereditary if $\mathcal{F}$ is closed under isomorphism and taking induced subgraphs. The speed of $\mathcal{F}$ is the sequence $\{|\mathcal{F}^n|\}_{n \in \mathbb{N}}$, where $\mathcal{F}^n$ denotes the set of graphs in $\mathcal{F}$ with the vertex set $[n]$. Alon, Balogh, Bollobás and Morris [The structure of almost all graphs in a hereditary property, JCTB 2011] gave a rough description of typical graphs in a hereditary family and used it to show for every proper hereditary family $\mathcal{F}$ there exist $\varepsilon>0$ and an integer $l \geq 1$ such that $$|\mathcal{F}^n| = 2^{(1-1/l)n^2/2+o(n^{2-\varepsilon})}.$$ The main result of this paper gives a more precise description of typical structure for a restricted class of hereditary families. As a consequence we characterize hereditary families with the speed just above the threshold $2^{(1-1/l)n^2/2}$, generalizing a result of Balogh and Butterfield [Excluding induced subgraphs: Critical graphs, RSA 2011].
Some i-Mark games
Published
• View Publication
• BIB
Let $S$ be a set of positive integers, and let $D$ be a set of integers larger than $1$. The game $i$-Mark$(S,D)$ is an impartial combinatorial game introduced by Sopena (2016), which is played with a single pile of tokens. In each turn, a player can subtract $s \in S$ from the pile, or divide the size of the pile by $d \in D$, if the pile size is divisible by $d$. Sopena partially analyzed the games with $S=[1, t-1]$ and $D=\{d\}$ for $d \not\equiv 1 \pmod t$, but left the case $d \equiv 1 \pmod t$ open.
We solve this problem by calculating the Sprague-Grundy function of $i$-Mark$([1,t-1],\{d\})$ for $d \equiv 1 \pmod t$, for all $t,d \geq 2$. We also calculate the Sprague-Grundy function of $i$-Mark$(\{2\},\{2k + 1\})$ for all $k$, and show that it exhibits similar behavior. Finally, following Sopena's suggestion to look at games with $|D|>1$, we derive some partial results for the game $i$-Mark$(\{1\}, \{2, 3\})$, whose Sprague-Grundy function seems to behave erratically and does not show any clean pattern. We prove that each value $0,1,2$ occurs infinitely often in its SG sequence, with a maximum gap length between consecutive appearances.
Counting Phylogenetic Networks with Few Reticulation Vertices: Exact Enumeration and Corrections
In previous work, we gave asymptotic counting results for the number of tree-child and normal networks with $k$ reticulation vertices and explicit exponential generating functions of the counting sequences for $k=1,2,3$. The purpose of this note is two-fold. First, we make some corrections to our previous approach which overcounted the above numbers and thus gives erroneous exponential generating functions (however, the overcounting does not effect our asymptotic counting results). Secondly, we use our (corrected) exponential generating functions to derive explicit formulas for the number of tree-child and normal networks with $k=1,2,3$ reticulation vertices. This re-derives recent results of Carona and Zhang, answers their question for normal networks with $k=2$, and adds new formulas in the case $k=3$.
Asymptotic enumeration of digraphs and bipartite graphs by degree sequence
Published
• View Publication
• BIB
We provide asymptotic formulae for the numbers of bipartite graphs with given degree sequence, and of loopless digraphs with given in- and out-degree sequences, for a wide range of parameters. Our results cover medium range densities and close the gaps between the results known for the sparse and dense ranges. In the case of bipartite graphs, these results were proved by Greenhill, McKay and Wang in 2006 and by Canfield, Greenhill and McKay in 2008, respectively. Our method also essentially covers the sparse range, for which much less was known in the case of loopless digraphs. For the range of densities which our results cover, they imply that the degree sequence of a random bipartite graph with m edges is accurately modelled by a sequence of independent binomial random variables, conditional upon the sum of variables in each part being equal to m. A similar model also holds for loopless digraphs.
Badly approximable numbers, Kronecker's theorem, and diversity of Sturmian characteristic sequences
Published
• View Publication
• BIB
We give an optimal version of the classical ``three-gap theorem'' on the fractional parts of $n θ$, in the case where $θ$ is an irrational number that is badly approximable. As a consequence, we deduce a version of Kronecker's inhomogeneous approximation theorem in one dimension for badly approximable numbers. We apply these results to obtain an improved measure of sequence diversity for characteristic Sturmian sequences, where the slope is badly approximable.
Applying Skolem Sequences to Gracefully Label New Families of Triangular Windmills
A function $f$ is a \textit{graceful labelling} of a graph $G=(V,E)$ with $m$ edges if $f$ is an injection $f:V\mapsto \{0,1,2,\dots,m\}$ such that each edge $uv \in E$ is assigned the label $|f(u)-f(v)|$, and no two edge labels are the same. If a graph G has a graceful labelling, we say that $G$ itself is graceful.
In this paper, we prove any Dutch windmill with three pendant triangles is (near) graceful, which settles Rosa's conjecture for a new family of triangular cacti.
Pentagonal geometries with block sizes 3, 4 and 5
Published
• View Publication
• BIB
A pentagonal geometry PENT($k$, $r$) is a partial linear space, where every line, or block, is incident with $k$ points, every point is incident with $r$ lines, and for each point $x$, there is a line incident with precisely those points that are not collinear with $x$. An opposite line pair in a pentagonal geometry consists of two parallel lines such that each point on one of the lines is not collinear with precisely those points on the other line.
We give a direct construction for an infinite sequence of pentagonal geometries with block size 3 and connected deficiency graphs. Also we present 39 new pentagonal geometries with block size 4 and five with block size 5, all with connected deficiency graphs. Consequentially we determine the existence spectrum up to a few possible exceptions for PENT(4, $r$) that do not contain opposite line pairs and for PENT(4, $r$) with one opposite line pair. More generally, given $j$ we show that there exists a PENT(4, $r$) with $j$ opposite line pairs for all sufficiently large admissible $r$. Using some new group divisible designs with block size 5 (including types $2^{35}$, $2^{71}$ and $10^{23}$) we significantly extend the known existence spectrum for PENT(5, $r$).
Total positivity from the exponential Riordan arrays
Published
• View Publication
• BIB
Log-concavity and almost log-convexity of the cycle index polynomials were proved by Bender and Canfield [J. Combin. Theory Ser. A 74 (1996)]. Schirmacher [J. Combin. Theory Ser. A 85 (1999)] extended them to $q$-log-concavity and almost $q$-log-convexity. Motivated by these, we consider the stronger properties total positivity from the Toeplitz matrix and Hankel matrix.
By using exponential Riordan array methods, we give some criteria for total positivity of the triangular matrix of coefficients of the generalized cycle index polynomials, the Toeplitz matrix and Hankel matrix of the polynomial sequence in terms of the exponential formula, the logarithmic formula and the fractional formula, respectively.
Finally, we apply our criteria to some triangular arrays satisfying some recurrence relations, including Bessel triangles of two kinds and their generalizations, the Lah triangle and its generalization, the idempotent triangle and some triangles related to binomial coefficients, rook polynomials and Laguerre polynomials. We not only get total positivity of these lower-triangles, and $q$-Stieltjes moment properties and $3$-$q$-log-convexity of their row-generating functions, but also prove that their triangular convolutions preserve Stieltjes moment property. In particular, we solve a conjecture of Sokal on $q$-Stieltjes moment property of rook polynomials.
Bijections for restricted inversion sequences and permutations with fixed points
We provide a bijective proof of a formula of Auli and the author expressing the number of inversion sequences with no three consecutive equal entries in terms of the number of non-derangements, that is, permutations with fixed points. Additionally, we give bijective proofs of two simple recurrences for the number of non-derangements.
Spectral ordering and 2-switch transformations
Published
• View Publication
• BIB
We address the problem of ordering trees with the same degree sequence by their spectral radii. To achieve that, we consider 2-switch transformations which preserve the degree sequence and establish when the index decreases. Our main contribution is to determine a total ordering of a particular family by their indices according to a given parameter related to sizes in the tree.