sequence
6845 papers tagged with this keyword
Pebbling on Jahangir graphs
The pebbling number of a graph $G$, $f(G)$, is the least $p$ such that, however $p$ pebbles are placed on the vertices of $G$, we can move a pebble to any vertex by a sequence of moves, each move taking two pebbles off one vertex and placing one on an adjacent vertex. In this paper, we will show the pebbling number of Jahangir graphs $J_{n,m}$ with $n$ even, $m\geq8$.
Graham's pebbling conjecture on Cartesian product of the middle graphs of even cycles
A pebbling move on a graph $G$ consists of taking two pebbles off one vertex and placing one on an adjacent vertex. The pebbling number of a graph $G$, denoted by $f(G)$, is the least integer $n$ such that, however $n$ pebbles are located on the vertices of $G$, we can move one pebble to any vertex by a sequence of pebbling moves. Let $M(G)$ be the middle graph of $G$. For any connected graphs $G$ and $H$, Graham conjectured that $f(G\times H)\leq f(G)f(H)$. In this paper, we give the pebbling number of some graphs and prove that Graham's conjecture holds for the middle graphs of some even cycles.
A word property for twisted involutions in Coxeter groups
Published
• View Publication
• BIB
Given an involutive automorphism $θ$ of a Coxeter system $(W,S)$, let $\mathfrak{I}(θ) \subseteq W$ denote the set of twisted involutions. We provide a minimal set of moves that can be added to the braid moves, in order to connect all reduced $\underline{S}$-expressions (also known as admissible sequences, reduced $I_θ$-expressions, or involution words) for any given $w \in \mathfrak{I}(θ)$. This can be viewed as an analogue of the well-known word property for Coxeter groups. It improves upon a result of Hamaker, Marberg, and Pawlowski, and generalises similar statements valid in certain types due to Hu, Zhang, Wu, and Marberg.
Some New Balanced and Almost Balanced Quaternary Sequences with Low Autocorrelation
Published
• View Publication
• BIB
Quaternary sequences of both even and odd period having low autocorrelation are studied. We construct new families of balanced quaternary sequences of odd period and low autocorrelation using cyclotomic classes of order eight, as well as investigate the linear complexity of some known quaternary sequences of odd period. We discuss a construction given by Chung et al. in "New Quaternary Sequences with Even Period and Three-Valued Autocorrelation" [IEICE Trans. Fundamentals Vol. E93-A, No. 1 (2010)] first by pointing out a slight modification (thereby obtaining new families of balanced and almost balanced quaternary sequences of even period and low autocorrelation), then by showing that, in certain cases, this slight modification greatly simplifies the construction given by Shen et al. in "New Families of Balanced Quaternary Sequences of Even Period with Three-level Optimal Autocorrelation" [IEEE Comm. Letters DOI10.1109/LCOMM.2017.26611750 (2017)]. We investigate the linear complexity of these sequences as well.
A bijection between the set of nesting-similarity classes and L & P matchings
Published in Discrete Mathematics & Theoretical Computer Science, Vol. 19 no. 2, Permutation Patterns 2016, Permutation Patterns (January 22, 2018) dmtcs:3291
• View Publication
• BIB
Matchings are frequently used to model RNA secondary structures; however, not all matchings can be realized as RNA motifs. One class of matchings, called the L $\&$ P matchings, is the most restrictive model for RNA secondary structures in the Largest Hairpin Family (LHF). The L $\&$ P matchings were enumerated in $2015$ by Jefferson, and they are equinumerous with the set of nesting-similarity classes of matchings, enumerated by Klazar. We provide a bijection between these two sets. This bijection preserves noncrossing matchings, and preserves the sequence obtained reading left to right of whether an edge begins or ends at that vertex.
Packing tree degree sequences
We consider special cases of the two tree degree sequences problem. We show that if two tree degree sequences do not have common leaves then they always have edge-disjoint caterpillar realizations. By using a probabilistic method, we prove that two tree degree sequences always have edge-disjoint realizations if each vertex is a leaf in at least one of the trees. This theorem can be extended to more trees: we show that the edge packing problem is in P for an arbitrary number of tree sequences with the property that each vertex is a non-leaf in at most one of the trees.
We also consider the following variant of the degree matrix problem: given two degree sequences $D_1$ and $D_2$ such that $D_2$ is a tree degree sequence, decide if there exists edge-disjoint realizations of $D_1$ and $D_2$ where the realization of $D_2$ is not necessarily a tree. We show that this problem is already $\NP$-complete.
Counting, or just estimating the number of distinct realizations of degree sequences is challenging in general. We show that efficient approximations for the number of solutions as well as an almost uniform sampler exist for two tree degree sequences if each vertex is a leaf in at least one of the trees.
Graph Invariants with Connections to the Feynman Period in $φ^4$ Theory
Feynman diagrams in $φ^4$ theory have as their underlying structure 4-regular graphs. In particular, any 4-point $φ^4$ graph can be uniquely derived from a 4-regular graph by deleting a vertex. The Feynman period is a simplified version of the Feynman integral, and is of special interest, as it maintains much of the important number theoretic information from the Feynman integral. It is also of structural interest, as it is known to be preserved by a number of graph theoretic operations. In particular, the vertex deleted in constructing the 4-point graph does not affect the Feynman period, and it is invariant under planar duality and the Schnetz twist, an operation that redirects edges incident to a 4-vertex cut. Further, a 4-regular graph may be produced by a 3-sum operation on triangles in two 4-regular graphs. The Feynman period of this graph with a vertex deleted is equal to the product of the Feynman periods of the two smaller graphs with one vertex deleted each. These operations currently explain all known instances of non-isomorphic 4-point $φ^4$ graphs with equal periods.
With this in mind, other graph invariants that are preserved by these operations for 4-point $φ^4$ graphs are of interest, as they may provide insight into the Feynman period. In this thesis the extended graph permanent is introduced; an infinite sequence of residues from prime order finite fields. It is shown that this sequence is preserved by these three operations, and has a product property. Additionally, computational techniques will be established, and an alternate interpretation will be presented as the point count of a novel graph polynomial.
Further, the previously existing $c_2$ invariant and Hepp bound are examined, two graph invariants that are conjectured to be preserved by these graph operations. A combinatorial approach to the $c_2$ invariant is introduced.
A matrix generalization of a theorem of Fine
Published in Integers 18A (2018) #A18 (11 pages)
• Search Publication
In 1947 Nathan Fine gave a beautiful product for the number of binomial coefficients $\binom{n}{m}$, for $m$ in the range $0 \leq m \leq n$, that are not divisible by $p$. We give a matrix product that generalizes Fine's formula, simultaneously counting binomial coefficients with $p$-adic valuation $α$ for each $α\geq 0$. For each $n$ this information is naturally encoded in a polynomial generating function, and the sequence of these polynomials is $p$-regular in the sense of Allouche and Shallit. We also give a further generalization to multinomial coefficients.
Quiver Hall-Littlewood functions and Kostka-Shoji polynomials
Published in Pacific J. Math. 319 (2022) 397-437
• View Publication
• BIB
For any triple $(i,a,μ)$ consisting of a vertex $i$ in a quiver $Q$, a positive integer $a$, and a dominant $GL_a$-weight $μ$, we define a quiver current $H^{(i,a)}_μ$ acting on the tensor power $Λ^Q$ of symmetric functions over the vertices of $Q$. These provide a quiver generalization of parabolic Garsia-Jing creation operators in the theory of Hall-Littlewood symmetric functions. For a triple $(\mathbf{i},\mathbf{a},μ(\bullet))$ of sequences of such data, we define the quiver Hall-Littlewood function $H^{\mathbf{i},\mathbf{a}}_{μ(\bullet)}$ as the result of acting on $1\inΛ^Q$ by the corresponding sequence of quiver currents. The quiver Kostka-Shoji polynomials are the expansion coefficients of $H^{\mathbf{i},\mathbf{a}}_{μ(\bullet)}$ in the tensor Schur basis. These polynomials include the Kostka-Foulkes polynomials and parabolic Kostka polynomials (Jordan quiver) and the Kostka-Shoji polynomials (cyclic quiver) as special cases.
We show that the quiver Kostka-Shoji polynomials are graded multiplicities in the equivariant Euler characteristic of a vector bundle on Lusztig's convolution diagram determined by the sequences $\mathbf{i},\mathbf{a}$. For certain compositions of currents we conjecture higher cohomology vanishing of the associated vector bundle on Lusztig's convolution diagram. For quivers with no branching we propose an explicit positive formula for the quiver Kostka-Shoji polynomials in terms of catabolizable multitableaux.
We also relate our constructions to $K$-theoretic Hall algebras, by realizing the quiver Kostka-Shoji polynomials as natural structure constants and showing that the quiver currents provide a symmetric function lifting of the corresponding shuffle product. In the case of a cyclic quiver, we explain how the quiver currents arise in Saito's vertex representation of the quantum toroidal algebra of type $\mathfrak{sl}_r$.
Oscillating sequences, Gowers norms and Sarnak's conjecture
It is shown that there is an oscillating sequence of higher order which is not orthogonal to the class of dynamical flow with topological entropy zero. We further establish that any oscillating sequence of order $d$ is orthogonal to any $d$-nilsequence arising from the skew product on the $d$-dimensional torus $\mathbb{T}^d$. The proof yields that any oscillating sequence of higher order is orthogonal to any dynamical sequence arising from topological dynamical systems with quasi-discrete spectrum. however, we provide an example of oscillating sequence of higher order with large Gowers norms. We further obtain a new estimation of the average of Möbius function on the short interval by appealing to Bourgain's double recurence argument.
Limit Theorems for Monochromatic Stars
Published
• View Publication
• BIB
Let $T(K_{1, r}, G_n)$ be the number of monochromatic copies of the $r$-star $K_{1, r}$ in a uniformly random coloring of the vertices of the graph $G_n$. In this paper we provide a complete characterization of the limiting distribution of $T(K_{1, r}, G_n)$, in the regime where $\mathbb E(T(K_{1, r}, G_n))$ is bounded, for any growing sequence of graphs $G_n$. The asymptotic distribution is a sum of mutually independent components, each term of which is a polynomial of a single Poisson random variable of degree at most $r$. Conversely, any limiting distribution of $T(K_{1, r}, G_n)$ has a representation of this form. Examples and connections to the birthday problem are discussed.
A common limit in large rank for Markov chains defined from representations of classical Lie algebras
From the datum of an integer partition and a classical Lie algebra, one can define a Markov chain on an associated multiplicative graph. For each classical family A, C, B, D, we thus obtain a sequence of Markov chain which is indexed by the rank of the considered algebra. In this article we show that, for each type, the transition kernel of the Markov chain has a limit when the rank tends to infinity. Moreover, the limit kernel does not depend on the considered type.
Configuration spaces, $\operatorname{FS^{op}}$-modules, and Kazhdan-Lusztig polynomials of braid matroids
The equivariant Kazhdan-Lusztig polynomial of a braid matroid may be interpreted as the intersection cohomology of a certain partial compactification of the configuration space of n distinct labeled points in the plane, regarded as a graded representation of the symmetric group. We show that, in fixed cohomological degree, this sequence of representations of symmetric groups naturally admits the structure of an FS-module, and that the dual FS^op-module is finitely generated. Using the work of Sam and Snowden, we give an asymptotic formula for the dimensions of these representations and obtain restrictions on which irreducible representations can appear in their decomposition.
Passing through a stack $k$ times
Published
• View Publication
• BIB
We consider the number of passes a permutation needs to take through a stack if we only pop the appropriate output values and start over with the remaining entries in their original order. We define a permutation $π$ to be $k$-pass sortable if $π$ is sortable using $k$ passes through the stack. Permutations that are $1$-pass sortable are simply the stack sortable permutations as defined by Knuth. We define the permutation class of $2$-pass sortable permutations in terms of their basis. We also show all $k$-pass sortable classes have finite bases by giving bounds on the length of a basis element of the permutation class for any positive integer $k$. Finally, we define the notion of tier of a permutation $π$ to be the minimum number of passes after the first pass required to sort $π$. We then give a bijection between the class of permutations of tier $t$ and a collection of integer sequences studied by Parker. This gives an exact enumeration of tier $t$ permutations of a given length and thus an exact enumeration for the class of $(t+1)$-pass sortable permutations. Finally, we give a new derivation for the generating function in Parker's thesis and an explicit formula for the coefficients.
Packing tree degree sequences
Published
• View Publication
• BIB
We consider packing tree degree sequences in this paper. We set up a conjecture that any arbitrary number of tree degree sequences without common leaves have edge disjoint tree realizations. This conjecture is known to be true for $2$ and $3$ tree degree sequences. In this paper, we give a proof for $4$ tree degree sequences and a computer aided proof for $5$ tree degree sequences. We also prove that for arbitrary $k$, $k$ tree degree sequences without common leaves and at least $2k-4$ vertices which are not leaves in any of the trees always have edge disjoint tree realizations. The main ingredient in all of the presented proofs is to find rainbow matchings in certain configurations.
Proof of the $(α,β)$--inversion formula conjectured by Hsu and Ma
In light of the well-known fact that the $n$th divided difference of any polynomial of degree $m$ must be zero while $m<n$,the present paper proves the $(α,β)$-inversion formula conjectured by Hsu and Ma [J. Math. Res. $\&$ Exposition 25(4) (2005) 624].
As applications of $(α,β)$-inversion, we not only recover some known matrix inversions due to Gasper, Schlosser, and Warnaar, but also fin three new matrix inversions related to elliptic divisibility sequence and theta functions.
Controlling Lipschitz functions
Published in Mathematika 64 (2018) 898-910
• View Publication
• BIB
Given any positive integers $m$ and $d$, we say the a sequence of points $(x_i)_{i\in I}$ in $\mathbb R^m$ is {\em Lipschitz-$d$-controlling} if one can select suitable values $y_i\; (i\in I)$ such that for every Lipschitz function $f:\mathbb R^m\rightarrow \mathbb R^d$ there exists $i$ with $|f(x_i)-y_i|<1$. We conjecture that for every $m\le d$, a sequence $(x_i)_{i\in I}\subset\mathbb R^m$ is $d$-controlling if and only if $$\sup_{n\in\mathbb N}\frac{|\{i\in I\, :\, |x_i|\le n\}|}{n^d}=\infty.$$ We prove that this condition is necessary and a slightly stronger one is already sufficient for the sequence to be $d$-controlling. We also prove the conjecture for $m=1$.
Noether resolutions in dimension $2$
Published
• View Publication
• BIB
Let $R:= K[x_1,\ldots,x_{n}]$ be a polynomial ring over an infinite field $K$, and let $I \subset R$ be a homogeneous ideal with respect to a weight vector $ω= (ω_1,\ldots,ω_n) \in (\mathbb{Z}^+)^n$ such that $\dim(R/I) = d$. In this paper we study the minimal graded free resolution of $R/I$ as $A$-module, that we call the Noether resolution of $R/I$, whenever $A :=K[x_{n-d+1},\ldots,x_n]$ is a Noether normalization of $R/I$. When $d=2$ and $I$ is saturated, we give an algorithm for obtaining this resolution that involves the computation of a minimal Gröbner basis of $I$ with respect to the weighted degree reverse lexicographic order. In the particular case when $R/I$ is a $2$-dimensional semigroup ring, we also describe the multigraded version of this resolution in terms of the underlying semigroup. Whenever we have the Noether resolution of $R/I$ or its multigraded version, we obtain formulas for the corresponding Hilbert series of $R/I$, and when $I$ is homogeneous, we obtain a formula for the Castelnuovo-Mumford regularity of $R/I$. Moreover, in the more general setting that $R/I$ is a simplicial semigroup ring of any dimension, we provide its Macaulayfication.
As an application of the results for $2$-dimensional semigroup rings, we provide a new upper bound for the Castelnuovo-Mumford regularity of the coordinate ring of a projective monomial curve. Finally, we describe the multigraded Noether resolution and the Macaulayfication of either the coordinate ring of a projective monomial curve $\mathcal{C} \subseteq \mathbb{P}_K^{n}$ associated to an arithmetic sequence or the coordinate ring of any canonical projection $π_{r}(\mathcal{C})$ of $\mathcal{C}$ to $\mathbb{P}_K^{n-1}$.
Infinite rank surface cluster algebras
We generalise surface cluster algebras to the case of infinite surfaces where the surface contains finitely many accumulation points of boundary marked points. To connect different triangulations of an infinite surface, we consider infinite mutation sequences.
We show transitivity of infinite mutation sequences on triangulations of an infinite surface and examine different types of mutation sequences. Moreover, we use a hyperbolic structure on an infinite surface to extend the notion of surface cluster algebras to infinite rank by giving cluster variables as lambda lengths of arcs. Furthermore, we study the structural properties of infinite rank surface cluster algebras in combinatorial terms, namely we extend "snake graph combinatorics" to give an expansion formula for cluster variables. We also show skein relations for infinite rank surface cluster algebras.
Swap connectivity for two graph spaces between simple and pseudo graphs and disconnectivity for triangle constraints
With sufficient time, double edge-swap Markov chain Monte Carlo (MCMC) methods are able to sample uniformly at random from many different and important graph spaces. For instance, for a fixed degree sequence, MCMC methods can sample any graph from: simple graphs; multigraphs (which may have multiedges); and pseudographs (which may have multiedges and/or multiple self-loops). In this note we extend these MCMC methods to `multiloop-graphs', which allow multiple self-loops but not multiedges and `loopy-multigraphs' which allow multiedges and single self-loops. We demonstrate that there are degree sequences on which the standard MCMC methods cannot uniformly sample multiloop-graphs, and exactly characterize which degree sequences can and cannot be so sampled. In contrast, we prove that such MCMC methods can sample all loopy-multigraphs. Taken together with recent work on graphs which allow single self-loops but no multiedges, this work completes the study of the connectivity (irreducibility) of double edge-swap Markov chains for all combinations of allowing self-loops, multiple self-loops and/or multiedges. Looking toward other possible directions to extend edge swap sampling techniques, we produce examples of degree and triangle constraints which have disconnected spaces for all edges swaps on less than or equal to 8 edges.