Showing 20 papers (Total: 81378 papers, 47165 authors in database)
Efficient k-mer Dataset Compression Using Eulerian Covers of de Bruijn Graphs and BWT
Transforming an input sequence into its constituent k-mers is a fundamental operation in computational genomics. To reduce storage costs associated with k-mer datasets, we introduce and formally analyze MCTR, a novel two-stage algorithm for lossless compression of the k-mer multiset. Our core method achieves a minimal text representation (W) by computing an optimal Eulerian cover (minimum string count) of the dataset's de Bruijn graph, enabled by an efficient local Eulerization technique. The resulting strings are then further compressed losslessly using the Burrows-Wheeler Transform (BWT).
Leveraging de Bruijn graph properties, MCTR is proven to achieve linear time and space complexity and guarantees complete reconstruction of the original k-mer multiset, including frequencies.
Using simulated and real genomic data, we evaluated MCTR's performance (list and frequency representations) against the state-of-the-art lossy unitigging tool greedytigs (from matchtigs). We measured core execution time and the raw compression ratio cmpr = weight(M)/weight(W), where M is the input sequence data). Benchmarks confirmed MCTR's data fidelity but revealed performance trade-offs inherent to lossless representation. GreedyTigs was significantly faster. Regarding raw compression, GreedyTigs achieved high ratios (cmpr approx 14) on noisy real data for its lossy sequence output. On real data, MCTR (frequency) showed moderate raw compression (cmpr approx 1.5-2.7), while MCTR (list) showed none (cmpr approx 1). Importantly, the full MCTR+BWT pipeline significantly outperforms BWT alone for enhanced lossless compression. Our results establish MCTR as a valuable, theoretically grounded tool for applications demanding efficient, lossless storage and analysis of k-mer multisets, complementing lossy methods optimized for sequence summarization.
Enumeration of Polyominoes up to Size N=59
This paper reports the results of numerical computations for determining the number of polyominoes of size n (n-ominoes). We verify the existing counts for n <= 50 and newly compute the total number of polyominoes up to n <= 59, extending the counting limit. This work shows that, in addition to optimizing the search algorithm for the polyomino counting problem, multi-threading dramatically improves computational efficiency.
On the Number of Exceptional Pairs Over a Class of Nakayama Algebras
In this paper some combinatorial and homological tools are used to describe and give an explicit formula for the number of exceptional pairs (exceptional sequences of length two) for some classes of Nakayama Algebras and for the Auslander algebra of a radical square zero algebra of type $\mathbb{A}_n$. In addition, we explore how the number of exceptional pairs can be connected with some integer sequences in the OEIS (The On-line Encyclopedia of Integer Sequences).
Transformation of Third Order Mock Theta Functions and New $q$-Series Identities
Ramanujan introduced mock theta functions in his last letter to G.H.Hardy. He provided examples and various relations between them. G.N.Watson found transformations for the third order mock theta functions $f(q)$ and $ω$(q). Zwegers in 2000 built on Watson's techniques to complete these mock theta functions and connected them to real analytic modular forms. We show how to derive these transformations using Lerch sums. To show the equivalence of the results involves some new $q$-series identities thus resulting in a new proof of Zwegers' theorem.
Weingarten calculus with virtual isometries
In this paper, we develop a novel approach to the Weingarten calculus employing the notion of virtual isometries. Traditionally, Weingarten calculus provides explicit formulas for integrating polynomial functions over compact matrix groups with respect to the Haar measure, yet faces limitations when evaluating high-degree integrals due to the non-invertibility of the associated matrices. We revisit these classical computations from a new perspective: by constructing Haar-distributed matrices via sequences of complex reflections, we derive new recursive structures for the Weingarten functions across different dimensions. This framework leads to two main results: (1) an explicit Weingarten calculus for complex reflections, yielding systematic moment computations for associated rank-one matrices, and (2) a novel convolution formula that connects Weingarten functions in dimension $n$ to those in dimension $n-1$ through the introduction of ascension functions in the symmetric group algebra. Our approach not only provides a unified treatment for unitary groups, but also sheds light on the algebraic and probabilistic aspects of high-degree integral computations. Several examples and applications are presented.
Reconstruction of C_4-free graphs from the set of closed neighborhoods and digital convexity
Fomin, Kratochvíl, Lokshtanov, Mancini, and Telle showed that every $C_{4}$-free graph is reconstructible from the \emph{multiset} of closed neighborhoods. We strengthen their result proving that every $C_{4}$-free graph is reconstructible from the \emph{set} of closed neighborhoods.
This extends the work of Lafrance et al.\ by showing that all $C_{4}$-free graphs, and hence all graphs of girth at least five, are reconstructible from their digitally convex sets.
A subset $S$ of vertices in a graph $G$ is digitally convex if, for every vertex $v \notin S$, there is a private neighbor of $v$.
We establish that reconstruction from digitally convex sets is equivalent to reconstruction from the set of closed neighborhoods.
Improved Gilbert-Varshamov bound for sum-rank-metric codes via graph theory
We use a graph-theoretic approach which yields improvements on the known Gilbert-Varshamov (GV) bound for sum-rank-metric codes for certain parameters. In particular, we show that asymptotically $\mathbb{F}_q^{\mathbf{n} \times \mathbf{m}}$ can be partitioned into sum-rank-metric codes whose average size is bigger than the GV bound by a logarithmic factor for these parameters. Finally, we discuss the connection of such codes to set-coloring Ramsey numbers.
From brick manifolds to Grassmannians of bimodules
We study a class of Grassmannians of sub-bimodules over the path algebras of quivers. Our quiver Grassmannians include Escobar's brick manifolds as well as Labelle's generalizations. We give an explicit construction of the varieties in question, provide examples and clarify connection with the quiver representation spaces. We also prove smoothness of our Grassmannians, construct cellular decompositions and derive a realization as framed moduli spaces. The framed moduli realization leads to a recursive formula for the motives.
Sandwiching between random regular graphs and Erdős-Rényi graphs: configuration model and unions of perfect matchings
We establish new couplings among several random graph and multigraph models related to the random regular graph $G(n,d)$, including the configuration model and unions of random perfect matchings. As a main result, we verify the Kim-Vusandwich conjecture for all large degrees $d=n-O(\log^4 n)$ and prove a weakened version for $d=O(\log^4 n)$, which are the only remaining open cases. Our approach introduces a coupling framework that links $G(n,d)$ and $G(n,p)$ through a chain of intermediate models.
Assignment-Routing Optimization : Efficient Heuristic Solver with Shaking Algorithm
This paper works on heuristic solver for joint assignment and routing optimization problem. Study on previous works shows that MIP based exact solvers can only provide efficient solutions for small to moderate size problems, due to exponentially growing computational complexity. This paper proposes to start with high quality initial guess through Hungarian algorithm based assignment and heuristic cycle merging algorithm. Subsequently, the solution is improved based on a proposed shaking algorithm to improve the assignment and routing sequence. In addition, the shaking approach also enables the Simulated Annealing algorithm to further improve the solution, which is very difficult if it is purely based on random sampling updates of item and placeholder sequences. Extensive experimental validation comparing with ground truth from the previously shared database shows that the introduced solver is much more efficient than the Gurobi solver especially for large size problems, with a 1000 node pair problem being solved within 1 min in Python implementation. The solution accuracy is within a percent in general as compared with ground truth in database. Although there are spaces for the proposed solver to be further improved with better accuracy, it works for practical applications with acceptable path quality and sufficient solver efficiency. Such shaking algorithms based solvers can also be applied to more general joint assignment and routing optimization problem with multiple type of items and corresponding placeholders. GitHub repository: https://github.com/QL-YUAN/Joint-Assignment-Routing-Optimization-Heuristic.git
Products of Chern Classes and Chern Numbers on the Permutohedral Variety
A root system $Φ$ of rank $n$ determines an $n$-dimensional smooth projective toric variety $X(Φ)$ associated with the fan of its Weyl chambers. For the root system of type $A_n$, this variety is the well-known permutohedral variety $X_{A_n}$. Using purely combinatorial methods, we obtain an explicit closed formula expressing the product of Chern classes $c_k c_{n-k}$ as a multiple of the top Chern class $c_n$ in the rational cohomology ring $H^*(X_{A_n};\mathbb{Q})$. The resulting coefficient, which depends only on $k$ and $n$, is given by a closed-form expression. As an application, we compute the Chern number $\langle c_k c_{n-k}, [X_{A_n}] \rangle$.
Integrals of stable envelopes for cotangent bundles to Grassmannians
We consider cohomological stable envelopes for a natural torus action $\mathsf{T}$ on $X=T^*Gr(k,n)$, introduced by Maulik-Okounkov. We define the $\mathbb{C}^*_\hbar$-equivariant integral of the stable envelope using equivariant localization over the subtorus $\mathbb{C}^*_\hbar\subset\mathsf{T}$, and compute the integral as a non-equivariant limit of the localization over the full torus, $\mathsf{T}$. The integral of such a class is an integer times a power of $\hbar$, and the main result of this paper is a combinatorial formula for these integers. In 3d mirror symmetry, these non-equivariant limits are expected to reflect some curve counting phenomena on the 3d mirror dual, $X^\vee$. When $k=1$, we obtain the binomial coefficients, and we study some of the combinatorics of the integers for higher $k$, which haven't appeared in the literature before. We give some conjectures and interpretations on extending this phenomena to type A quiver and bow varieties.
Quantum Difference Equations for Grassmannians
We consider quantum difference equation (QDE) for equivariant quantum K-theory of the Grassmannian. In this paper we obtain a solution to the QDE and use the solution to asymptotically derive the Bethe ansatz equations. In the limit, we obtain similar results for the cohomological analogue. For both cases, we describe the nonequivariant solutions as well. As an application, we identify the quantum K-theory ring of $\mathrm{Gr}(k,n)$ with a quantum 5 vertex XXZ integrable spin chain.
O(1)-Distortion Planar Emulators for String Graphs
We show that every unweighted string graph $G$ has an $O(1)$-distortion planar emulator: that is, there exists an (edge-weighted) planar graph $H$ with $V(H) = V(G)$, such that every pair of vertices $(u,v)$ satisfies $δ_G(u,v) \le δ_H(u,v) \le O(1) \cdot δ_G(u,v).$
Evacuation of rectangular standard Young tableaux corresponds to reflection of $\mathfrak{sl}_n$ webs
Web graphs form a family of planar directed graphs with boundary that can be used to model quantum $\mathfrak{sl}_n$-invariant vectors. Standard Young tableaux on an $n \times k$ rectangle naturally index a basis for $\mathfrak{sl}_n$ web graphs. We prove that evacuation of the tableau $T$ corresponds to reflection of the associated web graph $w_T$ up to equivalence under a specific set of edge-flip relations. This extends a result of Patrias and Pechenik for the cases $n=2,3$ and mirrors analogous results about rotation of web graphs corresponding to promotion of tableau by Peterson-Pylyavskyy-Rhoades for $n=3$ and Gaetz-Pechenik-Pfannerer-Striker-Swanson for $n=4$. We use an intermediate object called a multicolored noncrossing matching, which is closely related to the notion of strandings recently introduced by Russell and the fourth author.
RSK via local transformations
We explain how to define the Robinson-Schensted-Knuth (RSK) correspondence in terms of local transformations called "toggles." (This note, which is not intended for publication and which is based on presentations of Alex Postnikov, was written in 2014 and has been circulating since then. We are finally posting it to the arXiv for preservation purposes.)
Point-Line Incidence Estimates in $(\mathbb{Z}/p^k\mathbb{Z})^2$
The point-line incidence problem has been widely studied in Euclidean spaces and vector spaces over finite fields, whereas the analogous problem has rarely been considered over finite $p$-adic rings. In this paper, we investigate incidences in the $p$-adic setting and prove new incidence bounds for points and lines in $(\mathbb{Z}/p^k\mathbb{Z})^2$. Our first two results extend previously known incidence bounds over finite fields, assuming lines are well-separated. For non-separated lines, we establish a general incidence result for weighted points and lines under certain dimensional spacing conditions using the Fourier analytic method and the induction-on-scales argument.
A Linear Representation for Functions on Finite Sets
We demonstrate that any function $f$ from a finite set $Y$ to itself can be represented linearly. Specifically, we prove the existence of an injective map $j$ from $Y$ into a modular ring $\mathbb{Z}/m\mathbb{Z}$ and a constant $a \in \mathbb{Z}/m\mathbb{Z}$ such that $j(f(y)) = a \cdot j(y)$ in $\mathbb{Z}/m\mathbb{Z}$ holds for all $y \in Y$. This result is established by analyzing the algebraic properties of the adjugate of the characteristic matrix associated with the function's digraph. The proof is constructive, providing a method for finding the embedding $j$, the modulus $m$, and the linear multiplier $a$.
Boundary vertices of Strongly Connected Digraphs with respect to `Sum Metric'
Suppose $D = (V, E)$ is a strongly connected digraph and $u, v \in V (D)$. Among the many metrics in graphs, the sum metric warrants further exploration. The sum distance $sd(u, v)$ defined as $sd(u, v) =\overrightarrow{d}(u, v)+\overrightarrow{d}(v, u)$ is a metric where $\overrightarrow{d}(u, v)$ denotes the length of the shortest directed $u - v$ path in $D$. The four main boundary vertices in the digraphs are ``boundary vertices, contour vertices, eccentric vertices'', and ``peripheral vertices'' and their relationships have been studied. Also, an attempt is made to study the boundary-type sets of corona product of (di)graphs. The center of the corona product of two strongly connected digraphs is established. All the boundary-type sets and the center of the corona product are established in terms of factor digraphs.
Erdős-Ko-Rado theorem and Hilton-Milner type theorem for $k$-partitions
A $k$-partition of an $n$-set $X$ is a collection of $k$ pairwise disjoint non-empty subsets whose union is $X$. A family of $k$-partitions of $X$ is called $t$-intersecting if any two of its members share at least $t$ blocks. A $t$-intersecting family is trivial if every $k$-partition in it contains $t$ fixed blocks, and is non-trivial otherwise. In this paper, we first prove that, for $n\geq L(k,t):=(t+1)+(k-t+1)\cdot\log_2(t+1)(k-t+1)$, a $t$-intersecting family with maximum size must consist of all $k$-partitions containing $t$ fixed singletons. This improves the results given by Erdős and Székely (2000), and by Kupavskii (2023). We further determine the non-trivial $t$-intersecting families of $k$-partitions with maximum size for $n \ge 2L(k,t)$, which turn out to be natural analogs of the corresponding families for finite sets. In addition, we prove a stability result.