Showing 20 papers (Total: 81756 papers, 47371 authors in database)
The reachability homology of a directed graph
Published in International Mathematics Research Notices, 2025(3):1-18, 2025
• View Publication
• BIB
The last decade has seen the development of path homology and magnitude homology -- two homology theories of directed graphs, each satisfying classic properties such as Kunneth and Mayer-Vietoris theorems. Recent work of Asao has shown that magnitude homology and path homology are related, appearing in different pages of a certain spectral sequence. Here we study the target of that spectral sequence, which we call reachability homology. We prove that it satisfies appropriate homotopy invariance, Kunneth, excision, and Mayer-Vietoris theorems, these all being stronger than the corresponding properties for either magnitude or path homology.
Lascoux polynomials and subdivisions of Gelfand-Zetlin polytopes
Published in International Mathematics Research Notices, volume 2024, issue 19, October 2024, pages 12954-12977
• View Publication
• BIB
We give a new combinatorial description for stable Grothendieck polynomials in terms of subdivisions of Gelfand-Zetlin polytopes. Moreover, these subdivisions also provide a description of Lascoux polynomials. This generalizes a similar result on key polynomials by Kiritchenko, Smirnov, and Timorin.
Finding and counting small tournaments in large tournaments
Published
• View Publication
• BIB
We present new algorithms for counting and detecting small tournaments in a given tournament. In particular, it is proved that every tournament on four vertices (there are four) can be detected in $O(n^2)$ time and counted in $O(n^ω)$ time where $ω< 2.373$ is the matrix multiplication exponent. It is also proved that any tournament on five vertices (there are $12$) can be counted in $O(n^{ω+1})$ time. As for lower-bounds, we prove that for almost all $k$-vertex tournaments, the complexity of the detection problem is not easier than the complexity of the corresponding well-studied counting problem for {\em undirected cliques} of order $k-O(\log k)$.
Indivisibility for Classes of Graphs
Published
• View Publication
• BIB
We examine indivisibility for classes of graphs. We show that the class of hereditarily $α$-sparse graphs is indivisible if and only if $α> 2$. Additionally, we show that the following classes of graphs are indivisible: perfect graphs, cographs, and chordal graphs, and the following classes of graphs are not indivisible: threshold graphs, split graphs, and distance-hereditary graphs.
When Effort May Fail: Equilibria of Shared Effort with a Threshold
Published
• View Publication
• BIB
People, robots, and companies mostly divide time and effort between projects, and \defined{shared effort games} model people investing resources in public endeavors and sharing the generated values. In linear $θ$ sharing (effort) games, a project's value is linear in the total contribution, thus modelling predictable, uniform, and scalable activities. The threshold $θ$ for effort defines which contributors win and receive their share, equal share modelling standard salaries, equity-minded projects, etc. Thresholds between 0 and 1 model games such as paper co-authorship and shared assignments, where a minimum positive contribution is required for sharing in the value. We constructively characterise the conditions for the existence of a pure equilibrium for $θ\in\{0,1\}$, and for two-player games with a general threshold, and find the prices of anarchy and stability. We also provide existence and efficiency results for more than two players, and use generalised fictitious play simulations to show when a pure equilibrium exists and what its efficiency is. We propose a novel method for studying solution concepts by defining a new concept and proving its equivalence to a previously known on a large subclass of games. This means that the original concept narrows down to a more demanding concepts on certain games, providing new insights and opening a path to study both concepts conveniently. We also prove mixed equilibria always exist and bound their efficiency.
Quantum properties of $\mathcal F$-cographs
We initiate a systematic study of quantum properties of finite graphs, namely, quantum asymmetry, quantum symmetry, and quantum isomorphism. We define the Schmidt alternative for a class of graphs, which reveals to be a useful tool for studying quantum symmetries of graphs. After showing that quantum isomorphic graphs have quantum isomorphic centers and connected components, we solve the aforementioned problems for the classes of cographs and forests. We also compute their quantum automorphism groups for the first time. In doing so, we extend to the noncommutative setting a theorem of Jordan. Using general results on $\mathcal F$-cographs, we extend the precedent results to $\mathcal G_5$-cographs and tree-cographs, two distinct strictly proper superclasses of cographs and forests respectively. Finally, we show that quantum isomorphic planar graphs are isomorphic.
Combinatorics of $(m,n)$-Word Lattices
Published in The Electronic Journal of Combinatorics 31, 4 (2024). P4.1
• View Publication
• BIB
We study the $(m,n)$-word lattices recently introduced by V. Pilaud and D. Poliakova in their study of generalized Hochschild polytopes. We prove that these lattices are extremal and constructable by interval doublings. Moreover, we describe further combinatorial properties of these lattices, such as their cardinality, their canonical join representations and their Galois graphs.
Recoloring some hereditary graph classes
Published in Discrete Applied Mathematics 361, 2025
• View Publication
• BIB
The reconfiguration graph of the $k$-colorings, denoted $R_k(G)$, is the graph whose vertices are the $k$-colorings of $G$ and two colorings are adjacent in $R_k(G)$ if they differ in color on exactly one vertex. A graph $G$ is said to be recolorable if $R_{\ell}(G)$ is connected for all $\ell\geq χ(G)$+1. In this paper, we study the recolorability of several graph classes restricted by forbidden induced subgraphs. We prove some properties of a vertex-minimal graph $G$ which is not recolorable. We show that every (triangle, $H$)-free graph is recolorable if and only if every (paw, $H$)-free graph is recolorable. Every graph in the class of $(2K_2,\ H)$-free graphs, where $H$ is a 4-vertex graph except $P_4$ or $P_3$+$P_1$, is recolorable if $H$ is either a triangle, paw, claw, or diamond. Furthermore, we prove that every ($P_5$, $C_5$, house, co-banner)-free graph is recolorable.
A structure theorem for pseudo-segments and its applications
Published
• View Publication
• BIB
We prove a far-reaching strengthening of Szemerédi's regularity lemma for intersection graphs of pseudo-segments. It shows that the vertex set of such a graph can be partitioned into a bounded number of parts of roughly the same size such that almost all bipartite graphs between different pairs of parts are complete or empty. We use this to get an improved bound on disjoint edges in simple topological graphs, showing that every $n$-vertex simple topological graph with no $k$ pairwise disjoint edges has at most $n(\log n)^{O(\log k)}$ edges.
On SAT Solvers and Ramsey-type Numbers
We created and parallelized two SAT solvers to find new bounds on some Ramsey-type numbers. For $c > 0$, let $R_c(L)$ be the least $n$ such that for all $c$-colorings of the $[n]\times [n]$ lattice grid there will exist a monochromatic right isosceles triangle forming an $L$. Using a known proof that $R_c(L)$ exists we obtained $R_3(L) \leq 2593$. We formulate the $R_c(L)$ problem as finding a satisfying assignment of a boolean formula. Our parallelized probabilistic SAT solver run on eight cores found a 3-coloring of $20\times 20$ with no monochromatic $L$, giving the new lower bound $R_3(L) \geq 21$. We also searched for new computational bounds on two polynomial van der Waerden numbers, the "van der Square" number $R_c(VS)$ and the "van der Cube" number $R_c(VC)$. $R_c(VS)$ is the least positive integer $n$ such that for some $c > 0$, for all $c$-colorings of $[n]$ there exist two integers of the same color that are a square apart. $R_c(VC)$ is defined analogously with cubes. For $c \leq 3$, $R_c(VS)$ was previously known. Our parallelized deterministic SAT solver found $R_4(VS)$ = 58. Our parallelized probabilistic SAT solver found $R_5(VS) > 180$, $R_6(VS) > 333$, and $R_3(VC) > 521$. All of these results are new.
The Orbits of the Action of the Cactus Group on Arc Diagrams
The cactus group $J_n$ is the $S_n$-equivariant fundamental group of the real locus of the Deligne-Mumford moduli space of stable rational curves with marked points. This group plays the role of the braid group for the monoidal category of Kashiwara crystals attached to a simple Lie algebra. Following Frenkel, Kirillov and Varchenko, one can identify the multiplicity set in a tensor product of $\mathfrak{sl}_2$-crystals with the set of arc diagrams on a disc, thus allowing a much simpler description of the corresponding $J_n$-action. We address the problem of classifying the orbits of this cactus group action. Namely, we describe some invariants of this action and show that in some (fairly general) classes of examples there are no other invariants. Furthermore, we describe some additional relations, including the braid relation, that this action places on the generators of $J_n$.
Thresholds for patterns in random permutations with a given number of inversions
Published
• View Publication
• BIB
We explore how the asymptotic structure of a random permutation of $[n]$ with $m$ inversions evolves, as $m$ increases, establishing thresholds for the appearance and disappearance of any classical, consecutive or vincular pattern. The threshold for the appearance of a classical pattern depends on the greatest number of inversions in any of its sum indecomposable components.
The likely maximum size of twin subtrees in a large random tree
We call a pair of vertex-disjoint, induced subtrees of a rooted trees twins if they have the same counts of vertices by out-degrees. The likely maximum size of twins in a uniformly random, rooted Cayley tree of size $n\to\infty$ is studied. It is shown that the expected number of twins of size $(2+δ)\sqrt{\log n\cdot\log\log n}$ approaches zero, while the expected number of twins of size $(2-δ)\sqrt{\log n\cdot\log\log n}$ approaches infinity.
Piecewise convex embeddability on linear orders
Published in Annals of Pure and Applied Logic 176 (2025), article 103581
• View Publication
• BIB
Given a nonempty set $\mathcal{L}$ of linear orders, we say that the linear order $L$ is $\mathcal{L}$-convex embeddable into the linear order $L'$ if it is possible to partition $L$ into convex sets indexed by some element of $\mathcal{L}$ which are isomorphic to convex subsets of $L'$ ordered in the same way. This notion generalizes convex embeddability and (finite) piecewise convex embeddability (both studied in arXiv:2309.09910), which are the special cases $\mathcal{L} = \{\mathbf{1}\}$ and $\mathcal{L} = \mathsf{Fin}$. We focus mainly on the behavior of these relations on the set of countable linear orders, first characterizing when they are transitive, and hence a quasi-order. We then study these quasi-orders from a combinatorial point of view, and analyze their complexity with respect to Borel reducibility. Finally, we extend our analysis to uncountable linear orders.
Saturation results around the Erdős--Szekeres problem
In this paper, we consider saturation problems related to the celebrated Erdős--Szekeres convex polygon problem. For each $n \ge 7$, we construct a planar point set of size $(7/8) \cdot 2^{n-2}$ which is saturated for convex $n$-gons. That is, the set contains no $n$ points in convex position while the addition of any new point creates such a configuration. This demonstrates that the saturation number is smaller than the Ramsey number for the Erdős--Szekeres problem. The proof also shows that the original Erdős--Szekeres construction is indeed saturated.
Our construction is based on a similar improvement for the saturation version of the cups-versus-caps theorem. Moreover, we consider the generalization of the cups-versus-caps theorem to monotone paths in ordered hypergraphs. In contrast to the geometric setting, we show that this abstract saturation number is always equal to the corresponding Ramsey number.
Constructing maximal pipedreams of double Grothendieck polynomials
Published
• View Publication
• BIB
Pechenik, Speyer and Weigandt defined a statistic $\mathsf{rajcode}(\cdot)$ on permutations which characterizes the leading monomial in top degree components of double Grothendieck polynomials. Their proof is combinatorial: They showed there exists a unique pipedream of a permutation $w$ with row weight $\mathsf{rajcode}(w)$ and column weight $\mathsf{rajcode}(w^{-1})$. They proposed the problem of finding a ``direct recipe'' for this pipedream. We solve this problem by providing an algorithm that constructs this pipedream via ladder moves.
Growth Diagrams for Schubert RSK
Motivated by classical combinatorial Schubert calculus on the Grassmannian, Huang--Pylyavskyy introduced a generalized theory of Robinson-Schensted-Knuth (RSK) correspondence for studying Schubert calculus on the complete flag variety via insertion algorithms. The inputs of the correspondence are certain biwords, the insertion objects are bumpless pipe dreams, and the recording objects are certain chains in Bruhat order. In particular, they defined plactic biwords and showed that classical Knuth relations can be generalized to plactic biwords. In this paper, we give an analogue of Fomin's growth diagrams for this generalized RSK correspondence on plactic biwords. We show that this growth diagram recovers the bijection between pipe dreams and bumpless pipe dreams of Gao--Huang.
The upper bound of the spectral radius for the hypergraphs without Berge-graphs
Published
• View Publication
• BIB
The spectral analogue of the Turán type problem for hypergraphs is to determine the maximum spectral radius for the hypergraphs of order $n$ that do not contain a given hypergraph. For the hypergraphs among the set of the connected linear $3$-uniform hypergraphs on $n$ vertices without the Berge-$C_l$, we present two upper bounds for their spectral radius and $α$-spectral radius, which are related to $n$,$l$ and $α$, where $C_l$ is a cycle of length $l$ with $l\geqslant 5$, $n\geqslant 3$ and $0 \leqslant α<1$. Let $B_s$ be an $s$-book with $s\geqslant2$ and $K_{s,t}$ be a complete bipartite graph with two parts of size $s$ and $t$, respectively, where $s,t \geqslant 1$. For the hypergraphs among the set of the connected linear $k$-uniform hypergraphs on $n$ vertices without the Berge-$\{B_s, K_{2,t}\}$, we derive two upper bounds for their spectral radius and $α$-spectral radius, which depend on $n$, $k$, $s$, and $α$, where $n$,$k\geqslant 3$,$s\geqslant 2$,$1\leqslant t\leqslant \frac{1}{2}(6k^2-15k+10)(s-1)+1$, and $0\leqslant α<1$.
On the automorphism group of a distance-regular graph
Published
• View Publication
• BIB
The motion of a graph is the minimal degree of its full automorphism group. Babai conjectured that the motion of a primitive distance-regular graph on $n$ vertices of diameter greater than two is at least $n/C$ for some universal constant $C > 0$, unless the graph is a Johnson or Hamming graph. We prove that the motion of a distance-regular graph of diameter $d \geq 3$ on $n$ vertices is at least $Cn/(\log n)^6$ for some universal constant $C > 0$, unless it is a Johnson, a Hamming or a crown graph. This follows using an improvement of an earlier result by Kivva who gave a lower bound on motion of the form $n/c_d$, where $c_d$ depends exponentially on $d$. As a corollary we derive a quasipolynomial upper bound for the automorphism group of a primitive distance-regular graph acting edge-transitively on the graph and on its distance-2 graph. The proofs use elementary combinatorial arguments and do not depend on the classification of finite simple groups.
The Collatz map analogue in polynomial rings and in completions
Published
• View Publication
• BIB
We study an analogue of the Collatz map in the polynomial ring $R[x]$, where $R$ is an arbitrary commutative ring. We prove that if $R$ is of positive characteristic, then every polynomial in $R[x]$ is eventually periodic with respect to this map. This extends previous works of the authors and of Hicks, Mullen, Yucas and Zavislak, who studied the Collatz map on $\mathbb{F}_p[x]$ and $\mathbb{F}_2[x]$, respectively. We also consider the Collatz map on the ring of formal power series $R[[x]]$ when $R$ is finite: we characterize the eventually periodic series in this ring, and give formulas for the number of cycles induced by the Collatz map, of any given length. We provide similar formulas for the original Collatz map defined on the ring $\mathbb{Z}_2$ of $2$-adic integers, extending previous results of Lagarias.