sequence
6845 papers tagged with this keyword
Reconfiguration Using Generalized Token Jumping
In reconfiguration, we are given two solutions to a graph problem, such as Vertex Cover or Dominating Set, with each solu tion represented by a placement of tokens on vertices of the graph. Our task is to reconfigure one into the other using small steps while ensuring the intermediate configurations of tokens are also valid solutions. The two commonly studied settings are Token Jumping and Token Sliding, which allows moving a single token to an arbitrary or an adjacent vertex, respectively.
We introduce new rules that generalize Token Jumping, parameterized by the number of tokens allowed to move at once and by the maximum distance of each move. Our main contribution is identifying minimal rules that allow reconfiguring any possible given solution into any other for Independent Set, Vertex Cover, and Dominating Set. For each minimal rule, we also provide an efficient algorithm that finds a corresponding reconfiguration sequence.
We further focus on the rule that allows each token to move to an adjacent vertex in a single step. This natural variant turns out to be the minimal rule that guarantees reconfigurability for Vertex Cover. We determine the computational complexity of deciding whether a (shortest) reconfiguration sequence exists under this rule for the three studied problems. While reachability for Vertex Cover is shown to be in P, finding a shortest sequence is shown to be NP-complete. For Independent Set and Dominating Set, even reachability is shown to be PSPACE-complete.
Improvements on Permutation Reconstruction from Minors
We study the reconstruction problem of permutation sequences from their $k$-minors, which are subsequences of length $k$ with entries renumbered by $1,2,\ldots,k$ preserving order. We prove that the minimum number $k$ such that any permutation of length $n$ can be reconstructed from the multiset of its $k$-minors is between $\exp{(Ω(\sqrt{\ln n}))}$ and $O(\sqrt{n\ln n})$. These results imply better bounds of a well-studied parameter $N_d$, which is the smallest number such that any permutation of length $n\ge N_d$ can be reconstructed by its $(n-d)$-minors. The new bounds are $ d+\exp(Ω(\sqrt{\ln d}))<N_d<d+O(\sqrt{d\ln d})$ asymptotically, and the previous bounds were $d+\log_2 d<N_d<d^2/4+2d+4$.
Longest subsequence for certain repeated up/down patterns in random permutations avoiding a pattern of length three
Let $S_n$ denote the set of permutations of $[n]$ and let $σ=σ_1\cdotsσ_n\in S_n$. For a subsequence $\{σ_{i_j}\}_{j=1}^k$ of $\{σ_i\}_{i=1}^n$ of length $k\ge2$, construct
the ``up/down'' sequence $V_1\cdots V_{k-1}$ defined by $$ V_j=\begin{cases} U,\ \text{if}\ σ_{i_j+1}-σ_{i_j}>0;\\ D,\ \text{if}\ σ_{i_j+1}-σ_{i_j}<0.\end{cases} $$ Consider now a fixed up/down pattern: $V_1\cdots V_l$, where $l\in\mathbb{N}$ and $V_j\in\{U, D\},\ j\in[l]$. Given a permutation $σ\in S_n$, consider the length of the longest subsequence of $σ$ that repeats this pattern.
For example, consider $l=3$ and $V_1V_2V_3=UUD$. Then for the permutation $342617985\in S_9$, the length of the longest subsequence that repeats the pattern $UUD$ is 7; it is obtained by 3461798 and 3461785.
The above framework includes two well-known cases. The pattern $U$ is the celebrated case of the longest increasing subsequence. The pattern $UD$ (or $DU$) is the case of the longest alternating subsequence. These have been studied both under the uniform distribution on $S_n$ as well as under the uniform distribution on those permutations in $S_n$ which avoid a particular pattern of length three.
In this paper, we consider the patterns $UUD$ and $UUUD$ under the uniform distribution on those permutations in $S_n$ which avoid the pattern $132$. We prove that the expected value of the longest increasing subsequence following the pattern $UUD$ is asymptotic to $\frac37n$ and the expected value of the longest increasing subsequence following the pattern $UUUD$ is asymptotic to $\frac4{11}n$. (For $UD$ (alternating subsequences) it is known to be $\frac12n$.) This leads directly to appropriate corresponding results for permutations avoiding any particular pattern of length three.
Which $L$-cospectral graphs have same degree sequences
Let $λ_{i}(G)$ be the $i$-th largest Laplacian eigenvalues of graph $G$, where $1\le i\le |V(G)|$. Liu, Yuan, You and Chen [Discrete Math., 341 (2018) 2969--2976] raised the problem for ``Which cospectral graphs have same degree sequences". In this paper, let $W_3$ and $W_5$ be the two graphs as shown in Fig. 2 and let $G$ be a connected graph with $n\ge 18$ vertices. We shall show that:
$(1)$ If $λ_{2}(G)<5<n-1<λ_{1}(G)$, $λ_{1}(G) \notin \{λ_{1}(W_3),λ_{1}(W_5)\}$ and $H$ is Laplacian cospectral with $G$, then $H$ must have the same degree sequence with $G$;
$(2)$ If $λ_2(G)\le 4.7<n-2< λ_1(G)$, and $H$ is Laplacian cospectral with $G$, then $H$ must have the same degree sequence with $G$.
The former result easily leads to the unique theorem result of [Discrete Math., 308 (2008) 4267--4271], that is: Every multi-fan graph $K_1\vee (P_{l_1}\cup P_{l_1}\cup\cdots \cup P_{l_t})$ is determined by the Laplacian spectrum. Moreover, it can also deduce a new conclusion: $K_1\vee (P_{l_1}\cup P_{l_1}\cup\cdots \cup P_{l_t}\cup C_{s_1}\cup C_{s_2}\cup\cdots \cup C_{s_k})$ $(t\ge 1, k\ge 1)$ is determined by the Laplacian spectrum if the graph order $n\ge 18$ and each $s_i$ $(i=1,2,\ldots, k)$ is odd.
Multiple Cylinder of Relations for Finite Spaces and Nerve Theorem for Strong-Good Cover
In this paper, we develop the concept of multiple cylinder of relations which is a generalization of the relation cylinder, extending the multiple non-Hausdorff mapping cylinder to sequences of finite T0-spaces linked by a series of relations. This construction is important in capturing complex homotopical structures across chains of finite spaces and, when the relations are induced by maps, it serves as a third space that collapses to two distinct finite spaces. Additionally, we introduce the concept of a strong-good cover for simplicial complexes and finite spaces, char acterized by collapsible (rather than merely contractible) intersections. This leads to a strengthened version of the Nerve Theorem, which we develop for simplicial complexes as well as for finite spaces with strong-good covers, demonstrating that these complexes and spaces and their associated nerves maintain the same simple homotopy type, thereby refining classical results for finite simplicial complexes and finite topological structures.
Inductive construction of path homology chains
Path homology plays a central role in digraph topology and GLMY theory more general. Unfortunately, the computation of the path homology of a digraph $G$ is a two-step process, and until now no complete description of even the underlying chain complex has appeared in the literature.
In this paper we introduce an inductive method of constructing elements of the path homology chain modules $Ω_n(G;R)$ from elements in the proceeding two dimensions. This proceeds via the formation of what we call upper and lower \emph{extensions}, that are parametrised by certain labeled multihypergraphs which we introduce and call \emph{face multihypergraphs}.
When the coefficient ring $R$ is a finite field the inductive elements we construct generate $Ω_*(G;R)$. With integral or rational coefficients, the inductive elements generate at least $Ω_i(G;R)$ for $i=0,1,2,3$. Since in low dimensions the inductive elements extended over labeled multigraphs coincide with naturally occurring generating sets up to sign, they are excellent candidates to reduce to a basis.
Inductive elements provide a new concrete structure on the path chain complex that can be directly applied to understand path homology, under no restriction on the digraph $G$. We employ inductive elements to construct a sequence of digraphs whose path Euler characteristic can differ arbitrarily depending on the choice of field coefficients. In particular, answering an open question posed by Fu and Ivanov.
Completely regular codes in graphs covered by a Hamming graph
In Cayley graphs on the additive group of a small vector space over GF$(q)$, $q=2,3$, we look for completely regular (CR) codes whose parameters are new in Hamming graphs over the same field. The existence of a CR code in such Cayley graph $G$ implies the existence of a CR code with the same parameters in the corresponding Hamming graph that covers $G$. In such a way, we find several completely regular codes with new parameters in Hamming graphs over GF$(3)$. The most interesting findings are two new CR-$1$ (with covering radius~$1$) codes that are independent sets (such CR are equivalent to optimal orthogonal arrays attaining the Bierbrauer--Friedman bound) and one new CR-$2$. By recursive constructions, every knew CR code induces an infinite sequence of CR codes (in particular, optimal orthogonal arrays if the original code was CR-$1$ and independent). In between, we classify feasible parameters of CR codes in several strongly regular graphs.
Generating strongly 2-connected digraphs
We prove that there exist four operations such that given any two strongly $2$-connected digraphs $H$ and $D$ where $H$ is a butterfly-minor of $D$, there exists a sequence $D_0,\dots, D_n$ where $D_0=H$, $D_n=D$ and for every $0\leq i\leq n-1$, $D_i$ is a strongly $2$-connected butterfly-minor of $D_{i+1}$ which is obtained by a single application of one of the four operations.
As a consequence of this theorem, we obtain that every strongly $2$-connected digraph can be generated from a concise family of strongly $2$-connected digraphs by using these four operations.
On the Partial Sum of Subword-Counting Sequences
Let $w$ be a finite word over the alphabet $\{0,1\}$. For any natural number $n$, let $s_w(n)$ denote the number of occurrence of $w$ in the binary expansion of $n$ as a scattered subsequence. We study the behavior of the partial sum $\sum_{n=0}^N(-1)^{s_w(n)}$ and characterize several classes of words $w$ satisfying $\sum_{n=0}^N(-1)^{s_w(n)}= O(N^{1-ε})$ for some $ε>0$.
Generating Series of Key Polynomials and Bounded Ascending Sequences of Integers
The fact that Schubert polynomials are the weighted counting functions for reduced RC-graphs, also known as reduced pipe dreams, was established using their generating functions inside an appropriate Demazure algebra. Here we investigate the generating functions of another family of polynomials, the key polynomials, also known as Demazure characters. Each component in that function is a rational function, whose denominator is an explicit product whose definition is based on bounded ascending sequences of integers. We determine the first terms of the polynomial numerator, and pose conjectures about these terms in general as well as some of the next ones. The form of our generating functions suggests relations between the coefficients in key polynomials and signed sums of numbers of integral points on polytopes.
Machines and Mathematical Mutations: Using GNNs to Characterize Quiver Mutation Classes
Machine learning is becoming an increasingly valuable tool in mathematics, enabling one to identify subtle patterns across collections of examples so vast that they would be impossible for a single researcher to feasibly review and analyze. In this work, we use graph neural networks to investigate \emph{quiver mutation} -- an operation that transforms one quiver (or directed multigraph) into another -- which is central to the theory of cluster algebras with deep connections to geometry, topology, and physics. In the study of cluster algebras, the question of \emph{mutation equivalence} is of fundamental concern: given two quivers, can one efficiently determine if one quiver can be transformed into the other through a sequence of mutations? In this paper, we use graph neural networks and AI explainability techniques to independently discover mutation equivalence criteria for quivers of type $\tilde{D}$. Along the way, we also show that even without explicit training to do so, our model captures structure within its hidden representation that allows us to reconstruct known criteria from type $D$, adding to the growing evidence that modern machine learning models are capable of learning abstract and parsimonious rules from mathematical data.
Optical orthogonal codes from a combinatorial perspective
Optical orthogonal codes (OOCs) are sets of $(0,1)$-sequences with good auto- and cross-correlation properties. They were originally introduced for use in multi-access communication, particularly in the setting of optical CDMA communications systems. They can also be formulated in terms of families of subsets of $\mathbb{Z}_v$, where the correlation properties can be expressed in terms of conditions on the internal and external differences within and between the subsets. With this link there have been many studies on their combinatorial properties. However, in most of these studies it is assumed that the auto- and cross-correlation values are equal; in particular, many constructions focus on the case where both correlation values are $1$. This is not a requirement of the original communications application. In this paper, we "decouple" the two correlation values and consider the situation with correlation values greater than $1$. We consider the bounds on each of the correlation values, and the structural implications of meeting these separately, as well as associated links with other combinatorial objects. We survey definitions, properties and constructions, establish some new connections and concepts, and discuss open questions.
Tight bounds for intersection-reverse sequences, edge-ordered graphs and applications
In 2006, Marcus and Tardos proved that if $A^1,\dots,A^n$ are cyclic orders on some subsets of a set of $n$ symbols such that the common elements of any two distinct orders $A^i$ and $A^j$ appear in reversed cyclic order in $A^i$ and $A^j$, then $\sum_{i} |A^i|=O(n^{3/2}\log n)$. This result is tight up to the logarithmic factor and has since become an important tool in Discrete Geometry. We improve this to the optimal bound $O(n^{3/2})$. In fact, we show that if $A^1,\dots,A^n$ are linear orders on some subsets of a set of $n$ symbols such that no three symbols appear in the same order in any two distinct linear orders, then $\sum_{i} |A^i|=O(n^{3/2})$. Using this result, we resolve several open problems in Discrete Geometry and Extremal Graph Theory as follows.
We prove that every $n$-vertex topological graph that does not contain a self-crossing four-cycle has $O(n^{3/2})$ edges. This resolves a problem of Marcus and Tardos from 2006. We also show that $n$ pseudo-circles in the plane can be cut into $O(n^{3/2})$ pseudo-segments, which, in turn, implies new bounds on point-circle incidences and on other geometric problems. Moreover, we prove that the edge-ordered Turán number of the four-cycle $C_4^{1243}$ is $Θ(n^{3/2})$. This answers a question of Gerbner, Methuku, Nagy, Pálvölgyi, Tardos and Vizer.
Using different methods, we determine the largest possible extremal number that an edge-ordered forest of order chromatic number two can have. Kucheriya and Tardos showed that every such graph has extremal number at most $n2^{O(\sqrt{\log n})}$, and conjectured that this can be improved to $n(\log n)^{O(1)}$. We disprove their conjecture by showing that for every $C>0$, there exists an edge-ordered tree of order chromatic number two whose extremal number is $Ω(n 2^{C\sqrt{\log n}})$.
The number of trees in distance-hereditary graphs and their friends
Counting the number of spanning trees in specific classes of graphs has attracted increasing attention in recent years. In this note, we present unified proofs and generalizations of several results obtained in the 2020s. The main method is to study the behavior of the vertex (degree) enumerator of a distance-hereditary graph under the operations of copying vertices.
Ehrenborg conjecture says that a Ferrer--Young graph maximizes the number of spanning trees among bipartite graphs with the same degree sequence. The second result of this paper is the equivalence of the Ehrenborg conjecture and its polynomial form.
Cochordal zero divisor graphs and Betti numbers of their edge ideals
We associate a sequence of positive integers, termed the type sequence, with a cochordal graph. Using this type sequence, we compute all graded Betti numbers of its edge ideal. We then classify all positive integer $n$ such that the zero divisor graph of $\mathbb{Z}/n \mathbb{Z}$ is cochordal and determine all the graded Betti numbers of its edge ideal.
The Double Almost-Riordan Arrays and Their Sequence Characterization, Compression, and Total Positivity
In this paper, we define double almost-Riordan arrays and find that the set of all double almost-Riordan arrays forms a group, called the double almost-Riordan group. We also obtain the sequence characteristics of double almost-Riordan arrays and give the production matrices for double almost-Riordan arrays. We define the compression of double almost-Riordan arrays and present their sequence characterization. Finally we give a characteristic for the total positivity of double Riordan arrays, by using which we discuss the total positivity for compressed double almost-Riordan arrays.
Packing edge-colorings of subcubic outerplanar graphs
For a sequence $S = (s_1, s_2, \ldots, s_k)$ of non-decreasing positive integers, an $S$-packing edge-coloring (S-coloring) of a graph $G$ is a partition of $E(G)$ into $E_1, E_2, \ldots, E_k$ such that the distance between each pair of distinct edges $e_1,e_2 \in E_i$, $1 \le i \le k$, is at least $s_i + 1$. In particular, a $(1^{\ell},2^k)$-coloring is a partition of $E(G)$ into $\ell$ matchings and $k$ induced matchings, and it can be viewed as intermediate colorings between proper and strong edge-colorings. Hocquard, Lajou, and Lužar conjectured that every subcubic planar graph has a $(1,2^6)$-coloring and a $(1^2,2^3)$-coloring.
In this paper, we confirm the conjecture of Hocquard, Lajou, and Lužar for subcubic outerplanar graphs by showing every subcubic outerplanar graph has a $(1,2^5)$-coloring and a $(1^2,2^3)$-coloring. Our results are best possible since we found subcubic outerplanar graphs with no $(1,2^4)$-coloring and no $(1^2,2^2)$-coloring respectively. Furthermore, we explore the question "What is the largest positive integer $k_1$ and $k_2$ such that every subcubic outerplanar graph is $(1,2^4,k_1)$-colorable and $(1^2,2^2,k_2)$-colorable?". We prove $3 \le k_1 \le 6$ and $3 \le k_2 \le 4$. We also consider the question "What is the largest positive integer $k_1'$ and $k_2'$ such that every $2$-connected subcubic outerplanar graph is $(1,2^3,k_1')$-colorable and $(1^2,2^2,k_2')$-colorable?". We prove $k_1' = 2$ and $3 \le k_2' \le 11$.
Generating trees growing on the left for pattern-avoiding inversion sequences
Published in Discrete Mathematics & Theoretical Computer Science, vol. 27:1, Permutation Patterns 2024, Special issues (September 23, 2025) dmtcs:14716
• View Publication
• BIB
This work concerns a construction of pattern-avoiding inversion sequences from right to left we call the generating tree growing on the left. We first apply this construction to inversion sequences avoiding 201 and 210, resulting in a new way of computing their generating function. We then use a slightly modified construction to compute the generating function of inversion sequences avoiding 010 and 102, which was only conjectured before. These generating functions are algebraic in both instances. We end by discussing how the generating tree growing on the left can be applied in a more general setting.
Maximizing the number of rational-value sums or zero-sums
What is the maximum number of $r$-term sums admitting rational values in $n$-element sets of irrational numbers? We determine the maximum when $r<4$ or $r\geq n/2$ and also in case when we drop the condition on the number of summands. It turns out that the $r$-term sum problem is equivalent to determine the maximum number of $r$-term zero-sum subsequences in $n$-element sequences of integers, which can be seen as a variant of the famous Erdős-Ginzburg-Ziv theorem.
The Group Cohomology of Peroidized Hypertoric Variety
To a graph $Γ$, one can associate a hypertoric variety $\mathcal{M}(Γ)$ and its multiplicative version $\mathcal{M}^{\mathrm{mul}}(Γ)$. It was shown in [DMS24] that the cohomology of $\mathcal{M}^{\mathrm{mul}}(Γ)$ is computed by the CKS complex, which is a finite dimensional complex attached to $Γ$. The multiplicative hypertoric variety can be realized as the quotient of a periodized hypertoric variety by a lattice action. In this paper, we show that the group cohomology of the lattice with coefficients in the cohomology of the prequotient is isomorphic to the cohomology of the CKS complex using a spectral sequence argument. Therefore, the group cohomology can serve as an alternative way to compute the cohomology of multiplicative hypertoric varieties.
We also found graph-theoretic descriptions for the Euler characteristics of the graded pieces in a certain decomposition of $\mathrm{H}^\bullet(\mathcal{M}^{\mathrm{mul}}(Γ))$.