sequence
6966 papers tagged with this keyword
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
Published
• View Publication
• BIB
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
Published
• View Publication
• BIB
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.
A family of orthogonal functions on the unit circle and a new multilateral matrix inverse
Published
• View Publication
• BIB
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
Published
• View Publication
• BIB
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
Published
• View Publication
• BIB
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.
A formula for constructing Mignotte sequences
This article present a new, direct and simple formula for constructing Mignotte sequences.
Joint Poisson Convergence of Monochromatic Hyperedges in Multiplex Hypergraphs
Published
• View Publication
• BIB
Given a sequence of $r$-uniform hypergraphs $H_n$, denote by $T(H_n)$ the number of monochromatic hyperedges when the vertices of $H_n$ are colored uniformly at random with $c = c_n$ colors. In this paper, we study the joint distribution of monochromatic hyperedges for hypergraphs with multiple layers (multiplex hypergraphs). Specifically, we consider the joint distribution of ${\bf T} _n:= (T(H_n^{(1)}), T(H_n^{(2)}))$, for two sequences of hypergraphs $H_n^{(1)}$ and $H_n^{(2)}$ on the same set of vertices. We will show that the joint distribution of ${\bf T}_n$ converges to (possibly dependent) Poisson distributions whenever the mean vector and the covariance matrix of ${\bf T}_n$ converge. In other words, the joint Poisson approximation of ${\bf T}_n$ is determined only by the convergence of its first two moments. This generalizes recent results on the second moment phenomenon for Poisson approximation from graph coloring to hypergraph coloring and from marginal convergence to joint convergence. Applications include generalizations of the birthday problem, counting monochromatic subgraphs in randomly colored graphs, and counting monochromatic arithmetic progressions in randomly colored integers. Extensions to random hypergraphs and weighted hypergraphs are also discussed.
Exponential Schur and Hindman Theorem in Ramsey Theory
Answering a conjecture of A. Sisto, J. Sahasrabudhe proved the exponential version of the Schur theorem: for every finite coloring of the naturals, there exists a monochromatic copy of $\{x,y,x^y:x\neq y\},$ which initiates the study of exponential Ramsey theory in arithmetic combinatorics. In this article, We first give two short proofs of the exponential Schur theorem, one using Zorn's lemma and another using $IP_r^\star$ van der Waerden's theorem. Then using the polynomial van der Waerden theorem iteratively we give a proof of the exponential Hindman theorem. Then applying our results we prove for every natural number $m,n$ the equation $x_n^{x_{n-1}^{\cdot^{\cdot^{\cdot^{x_1}}}}}=y_1\cdots y_m$ is partition regular, which can be considered as the exponential version of a more general version of the P. Csikvári, K. Gyarmati, and A. Sárközy conjecture, which was solved by V. Bergelson and N. Hindman independently. As a consequence of our results, we also prove that for every finite partition of $\mathbb{N},$ there exists two different sequences $\langle x_n\rangle_n$ and $\langle y_n\rangle_n$ such that both the multiplicative and exponential version of Hindman theorem generated by these sequences resp. are monochromatic, whereas in the counterpart in the finitary case, J. Sahasrabudhe proved that both sequences are the same. Our result can be considered as an exponential analog to the result of V. Bergelson and N. Hindman. We also prove that a large class of ultrafilters with certain properties do not exist, which could give us direct proof of the exponential Schur theorem. This result can be thought of as partial evidence of the nonexistence of Galvin-Glazer's proof of the exponential Hindman theorem.
Identification of a monotone Boolean function with $k$ "reasons" as a combinatorial search problem
Published
• View Publication
• BIB
We study the number of queries needed to identify a monotone Boolean function $f:\{0,1\}^n \rightarrow \{0,1\}$. A query consists of a 0-1-sequence, and the answer is the value of $f$ on that sequence. It is well-known that the number of queries needed is $\binom{n}{\lfloor n/2\rfloor}+\binom{n}{\lfloor n/2\rfloor+1}$ in general. Here we study a variant where $f$ has $k$ ``reasons'' to be 1, i.e., its disjunctive normal form has $k$ conjunctions if the redundant conjunctions are deleted. This problem is equivalent to identifying an upfamily in $2^{[n]}$ that has exactly $k$ minimal members. We find the asymptotics on the number of queries needed for fixed $k$. We also study the non-adaptive version of the problem, where the queries are asked at the same time, and determine the exact number of queries for most values of $k$ and $n$.
Complexity of graph evolutions
A permutation of the elements of a graph is a {\it construction sequence} if no edge is listed before either of its endpoints. The complexity of such a sequence is investigated by finding the delay in placing the edges, an {\it opportunity cost} for the construction sequence. Maximum and minimum cost c-sequences are provided for a variety of graphs and are used to measure the complexity of graph-building programs.
A Partial Characterization of Robinsonian $L^p$ Graphons
We present a characterization of Robinsonian $L^p$ graphons for $p > 5$. Each $L^p$ graphon $w$ is the limit object of a sequence of edge density-normalized simple graphs $\{G_n/\|G_n\|_1\}$ under the cut distance $δ_{\Box}$. A graphon $w$ is Robinson if it satisfies the Robinson property: if $x\leq y\leq z$, then $w(x,z)\leq \min\{w(x,y),w(y,z)\}$, and it is Robinsonian if $δ_{\Box}(w,u)=0$ for some Robinson $u$. In previous work, the author and collaborators introduced a graphon parameter $Λ$ that recognizes the Robinson property, where $Λ(w) = 0$ precisely when $w$ is Robinson. Using functional analytic arguments, we show here that for $p > 5$, the Robinsonian $L^p$ graphons $w$ are precisely those that are the cut distance limit object of graphs $G_n$ such that $Λ(G_n/\|G_n\|_1) \to 0$.
Generalized degree polynomials of trees
Published
• View Publication
• BIB
The generalized degree polynomial $\mathbf{G}_T(x,y,z)$ of a tree $T$ is an invariant introduced by Crew that enumerates subsets of vertices by size and number of internal and boundary edges. Aliste-Prieto et al. proved that $\mathbf{G}_T$ is determined linearly by the chromatic symmetric function $\mathbf{X}_T$, introduced by Stanley. We present several classes of information about $T$ that can be recovered from $\mathbf{G}_T$ and hence also from $\mathbf{X}_T$. Examples of such information include the double-degree sequence of $T$, which enumerates edges of $T$ by the pair of degrees of their endpoints, and the leaf adjacency sequence of $T$, which enumerates vertices of $T$ by degree and number of adjacent leaves. We also discuss a further generalization of $\mathbf{G}_T$ that enumerates tuples of vertex sets and show that this is also determined by $\mathbf{X}_T$.
A dichotomy theorem on the complexity of 3-uniform hypergraphic degree sequence graphicality
We present a dichotomy theorem on the parameterized complexity of the 3-uniform hypergraphicality problem. Given $0<c_1\le c_2 < 1$, the parameterized 3-uniform Hypergraphic Degree Sequence problem, $3uni-HDS_{c_1,c_2}$, considers degree sequences $D$ of length $n$ such that all degrees are between $c_1 {n-1 \choose 2}$ and $c_2 {n-1\choose 2}$ and it asks if there is a 3-uniform hypergraph with degree sequence $D$. We prove that for any $0<c_2< 1$, there exists a unique, polynomial-time computable $c_1^*$ with the following properties. For any $ c_1\in (c_1^*,c_2]$, $3uni-HDS_{c_1,c_2}$ can be solved in linear time. In fact, for any $c_1\in (c_1^*,c_2]$ there exists an easy-to-compute $n_0$ such that any degree sequence $D$ of length $n\ge n_0$ and all degrees between $c_1 {n-1\choose 2}$ and $c_2 {n-1\choose 2}$ has a 3-uniform hypergraph realization if and only if the sum of the degrees can be divided by $3$. Further, $n_0$ grows polynomially with the inverse of $c_1-c_1^*$. On the other hand, we prove that for all $c_1<c_1^*$, $3uni-HDS_{c_1,c_2}$ is NP-complete. Finally, we briefly consider an extension of the hypergraphicality problem to arbitrary $t$-uniformity. We show that the interval where degree sequences (satisfying divisibility conditions) always have $t$-uniform hypergraph realizations must become increasingly narrow, with interval width tending to $0$ as $t \rightarrow \infty$.
A geometric invariant of linear rank-metric codes
Published in SIAM Journal on Applied Algebra and Geometry 9.4 (2025): 741-764
• View Publication
• BIB
Rank-metric codes have been a central topic in coding theory due to their theoretical and practical significance, with applications in network coding, distributed storage, crisscross error correction, and post-quantum cryptography. Recent research has focused on constructing new families of rank-metric codes with distinct algebraic structures, emphasizing the importance of invariants for distinguishing these codes from known families and from random ones. In this paper, we introduce a novel geometric invariant for linear rank-metric codes, inspired by the Schur product used in the Hamming metric. By examining the sequence of dimensions of Schur powers of the extended Hamming code associated with a linear code, we demonstrate its ability to differentiate Gabidulin codes from random ones. From a geometric perspective, this approach investigates the vanishing ideal of the linear set corresponding to the rank-metric code.
Bilevel Programming for Pebbling Numbers of Lemke Graph Products
Given a configuration of indistinguishable pebbles on the vertices of a graph, a pebbling move consists of removing two pebbles from one vertex and placing one pebble on an adjacent vertex. The pebbling number of a graph is the least integer such that any configuration with that many pebbles and any target vertex, some sequence of pebbling moves can place a pebble on the target. Graham's conjecture asserts that the pebbling number of the cartesian product of two graphs is at most the product of the two graphs' pebbling numbers. Products of so-called Lemke graphs are widely thought to be the most likely counterexamples to Graham's conjecture, provided one exists.
In this paper, we introduce a novel framework for computing pebbling numbers using bilevel optimization. We use this approach to algorithmically show that the pebbling numbers of all products of 8-vertex Lemke graphs are consistent with Graham's conjecture, with the added assumption that pebbles can only be placed on a set of at most four vertices.
Some asymptotic results on $p$-lengths of factorizations for numerical semigroups and arithmetical congruence monoids
A factorization of an element $x$ in a monoid $(M, \cdot)$ is an expression of the form $x = u_1^{z_1} \cdots u_k^{z_k}$ for irreducible elements $u_1, \ldots, u_k \in M$, and the length of such a factorization is $z_1 + \cdots + z_k$. We introduce the notion of $p$-length, a generalized notion of factorization length obtained from the $\ell_p$-norm of the sequence $(z_1, \ldots, z_k)$, and present asymptotic results on extremal $p$-lengths of factorizations for large elements of numerical semigroups (additive submonoids of $\mathbb Z_{\ge 0}$) and arithmetical congruence monoids (certain multiplicative submonoids of $\mathbb Z_{\ge 1}$). Our results, inspired by analogous results for classical factorization length, demonstrate the types of combinatorial statements one may hope to obtain for sufficiently nice monoids, as well as the subtlety such asymptotic questions can have for general monoids.