natural ↗ reference
4908 papers tagged with this keyword
On the full Kostant-Toda lattice and the flag varieties. I. The singular solutions
The full Kostant-Toda (f-KT) lattice is a natural generalization of the classical tridiagonal Toda lattice. We study singular structure of solutions of the f-KT lattices defined on simple Lie algebras in two different ways: through the $τ$-functions and through the Kowalevski-Painlevé analysis. The $τ$-function formalism relies on and is equivalent to the representation theory of the underlying Lie algebras, while the Kowalevski-Painlevé analysis is representation independent and we are able to characterize all the terms in the Laurent series solutions of the f-KT lattices via the structure theory of the Lie algebras. Through the above analysis we compactify the initial condition spaces of f-KT lattice by the corresponding flag varieties, that is fixing the spectral parameters which are invariant under the f-KT flows, we build a one to one correspondence between solutions of the f-KT lattices and points in the corresponding flag varieties. As all the important characters we obtain in the Kowalevski-Painlevé analysis are integral valued, results in this paper are valid in any field containing the rational field.
On the column number and forbidden submatrices for $Δ$-modular matrices
Published
• View Publication
• BIB
An integer matrix $\mathbf{A}$ is $Δ$-modular if the determinant of each $\text{rank}(\mathbf{A}) \times \text{rank}(\mathbf{A})$ submatrix of $\mathbf{A}$ has absolute value at most $Δ$. The study of $Δ$-modular matrices appears in the theory of integer programming, where an open conjecture is whether integer programs defined by $Δ$-modular constraint matrices can be solved in polynomial time if $Δ$ is considered constant. The conjecture is only known to hold true when $Δ\in \{1,2\}$. In light of this conjecture, a natural question is to understand structural properties of $Δ$-modular matrices. We consider the column number question -- how many nonzero, pairwise non-parallel columns can a rank-$r$ $Δ$-modular matrix have? We prove that for each positive integer $Δ$ and sufficiently large integer $r$, every rank-$r$ $Δ$-modular matrix has at most $\binom{r+1}{2} + 80Δ^7 \cdot r$ nonzero, pairwise non-parallel columns, which is tight up to the term $80Δ^7$. This is the first upper bound of the form $\binom{r+1}{2} + f(Δ)\cdot r$ with $f$ a polynomial function. Underlying our results is a partial list of matrices that cannot exist in a $Δ$-modular matrix. We believe this partial list may be of independent interest in future studies of $Δ$-modular matrices.
Kneser graphs are Hamiltonian
Published
• View Publication
• BIB
For integers $k\geq 1$ and $n\geq 2k+1$, the Kneser graph $K(n,k)$ has as vertices all $k$-element subsets of an $n$-element ground set, and an edge between any two disjoint sets. It has been conjectured since the 1970s that all Kneser graphs admit a Hamilton cycle, with one notable exception, namely the Petersen graph $K(5,2)$. This problem received considerable attention in the literature, including a recent solution for the sparsest case $n=2k+1$. The main contribution of this paper is to prove the conjecture in full generality. We also extend this Hamiltonicity result to all connected generalized Johnson graphs (except the Petersen graph). The generalized Johnson graph $J(n,k,s)$ has as vertices all $k$-element subsets of an $n$-element ground set, and an edge between any two sets whose intersection has size exactly $s$. Clearly, we have $K(n,k)=J(n,k,0)$, i.e., generalized Johnson graph include Kneser graphs as a special case. Our results imply that all known natural families of vertex-transitive graphs defined by intersecting set systems have a Hamilton cycle, which settles an interesting special case of Lovász' conjecture on Hamilton cycles in vertex-transitive graphs from 1970. Our main technical innovation is to study cycles in Kneser graphs by a kinetic system of multiple gliders that move at different speeds and that interact over time, reminiscent of the gliders in Conway's Game of Life, and to analyze this system combinatorially and via linear algebra.
Universal Limit Theorem for Spectra of iterated inclusion-uniform Subdivisions
The main object of this work is the top-dimensional Laplacian operator of a simplicial complex $K$. We study its spectral limiting behavior under a given non-trivial subdivision procedure $\text{div}$. It will be shown that in case $\text{div}$ satisfies a property we call inclusion-uniformity its spectrum converges to a universal limiting distribution only depending on the dimension of $K$. This class of subdivisions contains important special cases such as the edgewise subdivision $\text{esd}_r$ for $r\geq 2$ and dimension $d=2$ or the barycentric subdivision $\text{sd}$. This parallels a result of Brenti and Welker showing that the roots of $f$-polynomials of iterated barycentric subdivisions converge to a universal set of roots only depending on the dimension of $K$.
Furthermore we determine the family of universal limiting functions for the particular subdivision where the top dimensional faces are replaced by a cone over their boundary. We will show that this choice of $\text{div}$ is the natural generalization of graph subdivision in the spectral sense. These limits are obtained by explicit spectral decimation of the sequence of its dual graphs which is represented as a sequence of Schreier graphs on a rooted regular tree.
Finally we will point out that a generic sequence of iterated subdivisions can be realized by a sequence of graphs as in spectral analysis on fractals. We will give a construction of a self-similar sequence of graphs which dualizes the iterated application of subdivision.
The Chvátal-Sankoff problem: Understanding random string comparison through stochastic processes
Given two equally long, uniformly random binary strings, the expected length of their longest common subsequence (LCS) is asymptotically proportional to the strings' length. Finding the proportionality coefficient $γ$, i.e. the limit of the normalised LCS length for two random binary strings of length $n \to \infty$, is a very natural problem, first posed by Chvátal and Sankoff in 1975, and as yet unresolved. This problem has relevance to diverse fields ranging from combinatorics and algorithm analysis to coding theory and computational biology. Using methods of statistical mechanics, as well as some existing results on the combinatorial structure of LCS, we link constant $γ$ to the parameters of a certain stochastic particle process, which we use to obtain a new estimate for $γ$.
Tutte Embeddings of Tetrahedral Meshes
Published in Discrete Comput Geom (2023)
• View Publication
• BIB
Tutte's embedding theorem states that every 3-connected graph without a $K_5$ or $K_{3,3}$ minor (i.e. a planar graph) is embedded in the plane if the outer face is in convex position and the interior vertices are convex combinations of their neighbors. We show that this result extends to simply connected tetrahedral meshes in a natural way: for the tetrahedral mesh to be embedded if the outer polyhedron is in convex position and the interior vertices are convex combination of their neighbors it is sufficient (but not necessary) that the graph of the tetrahedral mesh contains no $K_6$ and no $K_{3,3,1}$, and all triangles incident on three boundary vertices are boundary triangles.
Approximating binary longest common subsequence in almost-linear time
Published
• View Publication
• BIB
The Longest Common Subsequence (LCS) is a fundamental string similarity measure, and computing the LCS of two strings is a classic algorithms question. A textbook dynamic programming algorithm gives an exact algorithm in quadratic time, and this is essentially best possible under plausible fine-grained complexity assumptions, so a natural problem is to find faster approximation algorithms. When the inputs are two binary strings, there is a simple $\frac{1}{2}$-approximation in linear time: compute the longest common all-0s or all-1s subsequence. It has been open whether a better approximation is possible even in truly subquadratic time. Rubinstein and Song showed that the answer is yes under the assumption that the two input strings have equal lengths. We settle the question, generalizing their result to unequal length strings, proving that, for any $\varepsilon>0$, there exists $δ>0$ and a $(\frac{1}{2}+δ)$-approximation algorithm for binary LCS that runs in $n^{1+\varepsilon}$ time. As a consequence of our result and a result of Akmal and Vassilevska-Williams, for any $\varepsilon>0$, there exists a $(\frac{1}{q}+δ)$-approximation for LCS over $q$-ary strings in $n^{1+\varepsilon}$ time.
Our techniques build on the recent work of Guruswami, He, and Li who proved new bounds for error-correcting codes tolerating deletion errors. They prove a combinatorial "structure lemma" for strings which classifies them according to their oscillation patterns. We prove and use an algorithmic generalization of this structure lemma, which may be of independent interest.
Resolving Prime Modules: The Structure of Pseudo-cographs and Galled-Tree Explainable Graphs
Published
• View Publication
• BIB
The modular decomposition of a graph $G$ is a natural construction to capture key features of $G$ in terms of a labeled tree $(T,t)$ whose vertices are labeled as "series" ($1$), "parallel" ($0$) or "prime". However, full information of $G$ is provided by its modular decomposition tree $(T,t)$ only, if $G$ is a cograph, i.e., $G$ does not contain prime modules. In this case, $(T,t)$ explains $G$, i.e., $\{x,y\}\in E(G)$ if and only if the lowest common ancestor $\mathrm{lca}_T(x,y)$ of $x$ and $y$ has label "$1$". Pseudo-cographs, or, more general, GaTEx graphs $G$ are graphs that can be explained by labeled galled-trees, i.e., labeled networks $(N,t)$ that are obtained from the modular decomposition tree $(T,t)$ of $G$ by replacing the prime vertices in $T$ by simple labeled cycles. GaTEx graphs can be recognized and labeled galled-trees that explain these graphs can be constructed in linear time.
In this contribution, we provide a novel characterization of GaTEx graphs in terms of a set $\mathfrak{F}_{\mathrm{GT}}$ of 25 forbidden induced subgraphs. This characterization, in turn, allows us to show that GaTEx graphs are closely related to many other well-known graph classes such as $P_4$-sparse and $P_4$-reducible graphs, weakly-chordal graphs, perfect graphs with perfect order, comparability and permutation graphs, murky graphs as well as interval graphs, Meyniel graphs or very strongly-perfect and brittle graphs. Moreover, we show that every GaTEx graph as twin-width at most 1 and and provide linear-time algorithms to solve several NP-hard problems (clique, coloring, independent set) on GaTEx graphs by utilizing the structure of the underlying galled-trees they explain.
Characteristic Sets of Matroids
Published in European Journal of Combinatorics, Volume 118, May 2024, 103939
• View Publication
• BIB
We investigate possible linear, algebraic, and Frobenius flock characteristic sets of matroids. In particular, we classify possible combinations of linear and algebraic characteristic sets when the algebraic characteristic set is finite or cofinite. We also show that the natural density of an algebraic characteristic set in the set of primes may be arbitrarily close to any real number in the interval $[0,1]$.
Frobenius flock realizations can be constructed from algebraic realizations, but the converse is not true. We show that the algebraic characteristic set may be an arbitrary cofinite set even for matroids whose Frobenius flock characteristic set is the set of all primes. In addition, we construct Frobenius flock realizations in all positive characteristics from linear realizations in characteristic 0, and also from Frobenius flock realizations of the dual matroid.
The probability that a random triple of dice is transitive
Published
• View Publication
• BIB
An $n$-sided die is an $n$-tuple of positive integers. We say that a die $(a_1,\dots,a_n)$ beats a die $(b_1,\dots,b_n)$ if the number of pairs $(i,j)$ such that $a_i>b_j$ is greater than the number of pairs $(i,j)$ such that $a_i<b_j$. We show that for a natural model of random $n$-sided dice, if $A, B$ and $C$ are three random dice then the probability that $A$ beats $C$ given that $A$ beats $B$ and $B$ beats $C$ is approximately 1/2. In other words, the information that $A$ beats $B$ and $B$ beats $C$ has almost no effect on the probability that $A$ beats $C$. This proves a statement that was conjectured by Conrey, Gabbard, Grant, Liu and Morrison for a different model.
Central sets and infinite monochromatic exponential patterns
Published
• View Publication
• BIB
We use the combinatorial properties of central sets to prove a result about the existence of exponential monochromatic patterns, in the style of Hindman's Finite Sums Theorem. More precisely, we prove that for every finite coloring of the natural numbers there exists an infinite sequence such that all suitable exponential configurations originating from its distinct elements are monochromatic, including towers of exponentiations. (Some restrictions apply on the order in which elements are considered.)
On the number of subrings of $\mathbb{Z}^n$ of prime power index
Let $n$ and $k$ be positive integers, and $f_n(k)$ (resp. $g_n(k)$) be the number of unital subrings (resp. unital irreducible subrings) of $\mathbb{Z}^n$ of index $k$. The numbers $f_n(k)$ are coefficients of certain zeta functions of natural interest. The function $k\mapsto f_n(k)$ is multiplicative, and the study of the numbers $f_n(k)$ reduces to computing the values at prime powers $k=p^e$. Given a composition $α=(α_1, \dots, α_{n-1})$ of $e$ into $n-1$ positive integers, let $g_α(p)$ denote the number of irreducible subrings of $\mathbb{Z}^n$ for which the associated upper triangular matrix in Hermite normal form has diagonal $(p^{α_1}, \dots, p^{α_{n-1}},1)$. Via combinatorial analysis, the computation of $f_n(p^e)$ reduces to the computation of $g_α(p)$ for all compositions of $i$ into $j$ parts, where $i\leq e$ and $j\leq n-1$. We extend results of Liu and Atanasov-Kaplan-Krakoff-Menzel, who explicitly compute $f_n(p^e)$ for $e\leq 8$. The case $e=9$ proves to be significantly more involved. We evaluate $f_n(e^9)$ explicitly in terms of a polynomial in n and p up to a single term which is conjecturally a polynomial. Our results provide further evidence for a conjecture, which states that for any fixed pair $(n,e)$, the function $p\mapsto f_n(p^e)$ is a polynomial in $p$. A conjecture of Bhargava on the asymptotics for $f_n(k)$ as a function of $k$ motivates the study of the asymptotics for $g_α(p)$ for certain infinite families of compositions $α$, for which we are able to obtain general estimates using techniques from the geometry of numbers.
Values of binary partition function represented by a sum of three squares
Published
• View Publication
• BIB
Let $m$ be a positive integer and $b_{m}(n)$ be the number of partitions of $n$ with parts being powers of 2, where each part can take $m$ colors. We show that if $m=2^{k}-1$, then there exists the natural density of integers $n$ such that $b_{m}(n)$ can not be represented as a sum of three squares and it is equal to $1/12$ for $k=1, 2$ and $1/6$ for $k\geq 3$. In particular, for $m=1$ the equation $b_{1}(n)=x^2+y^2+z^2$ has a solution in integers if and only if $n$ is not of the form $2^{2k+2}(8s+2t_{s}+3)+i$ for $i=0, 1$ and $k, s$ are non-negative integers, and where $t_{n}$ is the $n$th term in the Prouhet-Thue-Morse sequence. A similar characterization is obtained for the solutions in $n$ of the equation $b_{2^k-1}(n)=x^2+y^2+z^2$.
A new upper bound to (a variant of) the pancake problem
The "pancake problem" asks how many prefix reversals are sufficient to sort any permutation $π\in \mathcal{S}_k$ to the identity. We write $f(k)$ to denote this quantity.
The best known bounds are that $\frac{15}{14}k -O(1) \le f(k)\le \frac{18}{11}k+O(1)$. The proof of the upper bound is computer-assisted, and considers thousands of cases.
We consider $h(k)$, how many prefix and suffix reversals are sufficient to sort any $π\in \mathcal{S}_k$. We observe that $\frac{15}{14}k -O(1)\le h(k)$ still holds, and give a human proof that $h(k) \le \frac{3}{2}k +O(1)$. The constant "$\frac{3}{2}$" is a natural barrier for the pancake problem and this variant, hence new techniques will be required to do better.
Modular flats of oriented matroids and poset quasi-fibrations
Published in Trans. Amer. Math. Soc. Ser. B 11 (2024), 306-328
• View Publication
• BIB
We study the combinatorics of modular flats of oriented matroids and the topological consequences for their Salvetti complexes. We show that the natural map to the localized Salvetti complex at a modular flat of corank one is what we call a poset quasi-fibration -- a notion derived from Quillen's fundamental Theorem B from algebraic $K$-theory. As a direct consequence, the Salvetti complex of an oriented matroid whose geometric lattice is supersolvable is a $K(π,1)$-space -- a generalization of the classical result for supersolvable hyperplane arrangements due to Falk, Randell and Terao. Furthermore, the fundamental group of the Salvetti complex of a supersolvable oriented matroid is an iterated semidirect product of finitely generated free groups -- analogous to the realizable case.
Our main tools are discrete Morse theory, the shellability of certain subcomplexes of the covector complex of an oriented matroid, a nice combinatorial decomposition of poset fibers of the localization map, and an isomorphism of covector posets associated to modular elements.
We provide a simple construction of supersolvable oriented matroids. This gives many non-realizable supersolvable oriented matroids and by our main result aspherical CW-complexes.
On the number of $A$-transversals in hypergraphs
A set $S$ of vertices in a hypergraph is \textit{strongly independent} if every hyperedge shares at most one vertex with $S$. We prove a sharp result for the number of maximal strongly independent sets in a $3$-uniform hypergraph analogous to the Moon-Moser theorem.
Given an $r$-uniform hypergraph ${\mathcal H}$ and a non-empty set $A$ of non-negative integers, we say that a set $S$ is an \textit{$A$-transversal} of ${\mathcal H}$ if for any hyperedge $H$ of ${\mathcal H}$, we have \mbox{$|H\cap S| \in A$}. Independent sets are $\{0,1,\dots,r{-}1\}$-transversals, while strongly independent sets are $\{0,1\}$-transversals. Note that for some sets $A$, there may exist hypergraphs without any $A$-transversals. We study the maximum number of $A$-transversals for every $A$, but we focus on the more natural sets, e.g., $A=\{a\}$, $A=\{0,1,\dots,a\}$ or $A$ being the set of odd or the set of even numbers.
Beyond the broken tetrahedron
Published
• View Publication
• BIB
Here we consider the hypergraph Turán problem in uniformly dense hypergraphs as was suggested by Erdős and Sós. Given a $3$-graph $F$, the uniform Turán density $π_u(F)$ of $F$ is defined as the supremum over all $d\in[0,1]$ for which there is an $F$-free uniformly $d$-dense $3$-graph, where uniformly $d$-dense means that every linearly sized subhypergraph has density at least $d$. Recently, Glebov, Král', and Volec and, independently, Reiher, Rödl, and Schacht proved that $π_u(K_4^{(3)-})=\frac{1}{4}$, solving a conjecture by Erdős and Sós. Despite substantial attention, the uniform Turán density is still only known for very few hypergraphs. In particular, the problem due to Erdős and Sós to determine $π_u(K_4^{(3)})$ remains wide open.
In this work, we determine the uniform Turán density of the $3$-graph on five vertices that is obtained from $K_4^{(3)-}$ by adding an additional vertex whose link forms a matching on the vertices of $K_4^{(3)-}$. Further, we point to two natural intermediate problems on the way to determining $π_u(K_4^{(3)})$, and solve the first of these.
Can the PageRank centrality be manipulated to obtain any desired ranking?
Published in Chaos 33, 083152 (2023)
• View Publication
• BIB
The significance of the PageRank algorithm in shaping the modern Internet cannot be overstated, and its Complex Network theory foundations continue to be a subject of research. In this article we carry out a systematic study of the structural and parametric controllability of PageRank's outcomes, translating a spectral Graph Theory problem into a geometric one, where a natural characterization of its rankings emerges. Furthermore, we show that the change of perspective employed can be applied to the biplex PageRank proposal, performing numerical computations on both real and synthetic network datasets to compare centrality measures used.
Exceptional scattered sequences
Published
• View Publication
• BIB
The concept of scattered polynomials is generalized to those of exceptional scattered sequences which are shown to be the natural algebraic counterpart of $\mathbb{F}_{q^n}$-linear MRD codes. The first infinite family in the first nontrivial case is also provided and equivalence issues are considered. As a byproduct, a new infinite family of MRD codes is obtained.
On the limit of the sequence $\left\{ C^m(D) \right\}_{m=1}^{\infty}$ for a multipartite tournament $D$
Published
• View Publication
• BIB
For an integer $k \ge 2$, let $A$ be a Boolean block matrix with blocks $A_{ij}$ for $1 \le i,j \le k$ such that $A_{ii}$ is a zero matrix and $A_{ij}+A_{ji}^T$ is a matrix with all elements $1$ but not both corresponding elements of $A_{ij}$ and $A_{ji}^T$ equal to $1$ for $i \neq j$.
Jung~{\em et al.} [Competition periods of multipartite tournaments. {\it Linear and Multilinear Algebra}, https://doi.org/10.1080/03081087.2022.2038057] studied the matrix sequence $\{A^m(A^T)^m\}_{m=1}^{\infty}$. This paper, which is a natural extension of the above paper and was initiated by the observation that $\{A^m(A^T)^m\}_{m=1}^{\infty}$ converges if $A$ has no zero rows, computes the limit of the matrix sequence $\{A^m(A^T)^m\}_{m=1}^{\infty}$ if $A$ has no zero rows. To this end, we take a graph theoretical approach: noting that $A$ is the adjacency matrix of a multipartite tournament $D$, we compute the limit of the graph sequence $\left\{ C^m(D) \right\}_{m=1}^{\infty}$ when $D$ has no sinks.