Showing 20 papers (Total: 81378 papers, 47165 authors in database)
Homotopy equivalence of Grassmannians and MacPhersonians in rank 3
We confirm a long standing conjecture in the case of rank 3 that MacPhersonians are homotopy equivalent to Grassmannians.
Stiffness matrices of graph blow-ups and the $d$-dimensional algebraic connectivity of complete bipartite graphs
The $d$-dimensional algebraic connectivity $a_d(G)$ of a graph $G=(V,E)$ is a quantitative measure of its $d$-dimensional rigidity, defined in terms of the eigenvalues of stiffness matrices associated with different embeddings of the graph into $\mathbb{R}^d$. For a function $a:V\to \mathbb{N}$, we denote by $G^{(a)}$ the $a$-blow-up of $G$, that is, the graph obtained from $G$ by replacing every vertex $v\in V$ with an independent set of size $a(v)$. We determine a relation between the stiffness matrix eigenvalues of $G^{(a)}$ and the eigenvalues of certain weighted stiffness matrices associated with the original graph $G$. This resolves, as a special case, a conjecture of Lew, Nevo, Peled and Raz on the stiffness eigenvalues of balanced blow-ups of the complete graph.
As an application, we obtain a lower bound on the $d$-dimensional algebraic connectivity of complete bipartite graphs. More precisely, we prove the following: Let $K_{n,m}$ be the complete bipartite graph with sides of size $n$ and $m$ respectively. Then, for every $d\ge 1$ there exists $c_d>0$ such that, for all $n,m\ge d+1$ with $n+m\ge \binom{d+2}{2}$, $a_d(K_{n,m})\ge c_d\cdot \min\{n,m\}$. This bound is tight up to the multiplicative constant. In the special case $d=2$, $n=m=3$, we obtain the improved bound $a_2(K_{3,3})\ge 2(1-λ)$, where $λ\approx 0.6903845$ is the unique positive real root of the polynomial $176 x^4-200 x^3+47 x^2+18 x-9$, which we conjecture to be tight.
BCFW tilings and cluster adjacency for the amplituhedron
Published in Proceedings of the National Academy of Sciences, Vol. 122, No. 12, March 25, 2025
• View Publication
• BIB
In 2005, Britto, Cachazo, Feng and Witten gave a recurrence (now known as the BCFW recurrence) for computing scattering amplitudes in N=4 super Yang Mills theory. Arkani-Hamed and Trnka subsequently introduced the amplituhedron to give a geometric interpretation of the BCFW recurrence. Arkani-Hamed and Trnka conjectured that each way of iterating the BCFW recurrence gives a "triangulation" or "tiling" of the m=4 amplituhedron. In this article we prove the BCFW tiling conjecture of Arkani-Hamed and Trnka. We also prove the cluster adjacency conjecture for BCFW tiles of the amplituhedron, which says that facets of tiles are cut out by collections of compatible cluster variables for the Grassmannian Gr(4,n). Moreover we show that each BCFW tile is the subset of the Grassmannian where certain cluster variables have particular signs.
The Borsuk Problem for Subsets of the Vertices of the 10-Dimensional Boolean Cube
In the papers Ziegler(2001) and Goldstein(2012) it was previously shown that any subset of the Boolean cube $ S \subset \{0,1\}^n $ for $ n \leq 9 $ can be partitioned into $n+1$ parts of smaller diameter, i.e., the Borsuk conjecture holds for such subsets. In this paper, it is shown that this is also true for $ n=10 $; however, the complexity of the computational verification increases significantly. In order to perform the computations in a reasonable time, several heuristics were developed to reduce the search tree. The SAT solver $\textbf{kissat}$ was used to cut off the search branches.
A robot that unknots knots
Consider a robot that remembers only the starting position and walks along a knot once on a knot diagram, switching every undercrossing it meets until it returns to the starting position. We observe that the robot produces an ascending diagram, and we provide a new combinatorial proof that every ascending or descending knot diagram can be transformed into the zero-crossing unknot diagram. Using the machinery developed from the combinatorial proof, we show that the minimal number of Reidemeister moves required for such a transformation is bounded above by (7C+1)C if the diagram has C crossings. Moreover, we provide a new alternative proof that there exist sequences of Reidemeister moves that do not increase the number of crossings and transform ascending or descending knot diagrams into zero-crossing unknot diagrams.
Counting plane arrangements via oriented matroids
Planes are familiar mathematical objects which lie at the subtle boundary between continuous geometry and discrete combinatorics. A plane is geometrical, certainly, but the ways that two planes can interact break cleanly into discrete sets: the planes can intersect or not. Here we review how oriented matroids can be used to try to capture the combinatorial aspect, giving a way to encode with finite sets all the ways that $n$ planes can interact. We mention how the one-to-one correspondence breaks down in 2 dimensions for 9 lines, and in 3D for 8 planes. We include illustrations of all the types of plane arrangements using $n=4$ and 5.
The spanning tree spectrum: improved bounds and simple proofs
The number of spanning trees of a graph $G$, denoted $τ(G)$, is a well studied graph parameter with numerous connections to other areas of mathematics. In a recent remarkable paper, answering a question of Sedláček from 1969, Chan, Kontorovich and Pak showed that $τ(G)$ takes at least $1.1103^n$ different values across simple (and planar) $n$-vertex graphs $G$, for large enough $n$. We give a very short, purely combinatorial proof that at least $1.55^n$ values are attained. We also prove that exponential growth can be achieved with regular graphs, determining the growth rate in another problem first raised by Sedláček in the late 1960's. We further show that the following modular dual version of the result holds. For any integer $N$ and any $u < N$ there exists a planar graph on $O(\log N)$ vertices whose number of spanning trees is $u$ modulo $N$.
The Face Group of a Simplicial Complex
The edge group of a simplicial complex is a well-known, combinatorial version of the fundamental group. It is a group associated to a simplicial complex that consists of equivalence classes of edge loops and that is isomorphic to the ordinary (topological) fundamental group of the spatial realization. We define a counterpart to the edge group that likewise gives a combinatorial version of the second (higher) homotopy group. Working entirely combinatorially, we show our group is an abelian group and also respects products. We show that our combinatorially defined group is isomorphic to the ordinary (topological) second homotopy group of the spatial realization.
The Stamp Folding Problem From a Mountain-Valley Perspective
Published in Discrete Mathematics & Theoretical Computer Science, vol. 27:3, Combinatorics (October 8, 2025) dmtcs:15454
• View Publication
• BIB
A strip of square stamps can be folded in many ways such that all of the stamps are stacked in a single pile in the folded state. The stamp folding problem asks for the number of such foldings and has previously been studied extensively. We consider this problem with the additional restriction of fixing the mountain-valley assignment of each crease in the stamp pattern. We provide a closed form for counting the number of legal foldings on specific patterns of mountain-valley assignments, including a surprising appearance of the Catalan numbers. We describe results on upper and lower bounds for the number of ways to fold a given mountain-valley assignment on the strip of stamps, provide experimental evidence suggesting more general results, and include conjectures and open problems.
Minimal solutions of tropical linear differential systems
We introduce and study minimal (with respect to inclusion) solutions of systems of tropical linear differential equations. We describe the set of all minimal solutions for a single equation. It is shown that any tropical linear differential equation in a single unknown has either a solution or a solution at infinity. For a generic system of $n$ tropical linear differential equations in $n$ unknowns, upper and lower bounds on the number of minimal solutions are established. The upper bound involves inversions of a family of permutations which generalize inversions of a single permutation. For $n=1, 2$, we show that the bounds are sharp.
Herscovici Conjecture on Pebbling
Consider a configuration of pebbles on the vertices of a connected graph. A pebbling move is to remove two pebbles from a vertex and to place one pebble at the neighbouring vertex of the vertex from which the pebbles are removed.
For a positive integer $t$, with every configuration of $π_t(G)$(least positive integer) pebbles, if we can transfer $t$ pebbles to any target through a number of pebbling moves then $π_t(G)$ is called the $t$-pebbling number of $G$.
We discuss the computation of the $t$-pebbling number, the $2t-$ pebbling property and Herscovici conjecture considering total graphs.
\bigskip \noindent Keywords: pebbling moves, $t$- pebbling number, $2t$-pebbling property, Herscovici conjecture, total graphs.
$q$-deformed rationals and irrationals
The concept of $q$-deformation, or ``$q$-analogue'' arises in many areas of mathematics. In algebra and representation theory, it is the origin of quantum groups; $q$-deformations are important for knot invariants, combinatorial enumeration, discrete geometry, analysis, and many other parts of mathematics. In mathematical physics, $q$-deformations are often understood as ``quantizations''.
The recently introduced notion of a $q$-deformed real number is based on the geometric idea of invariance by a modular group action. The goal of this lecture is to explain what is a $q$-rational and a $q$-irrational, demonstrate beautiful properties of these objects, and describe their relations to many different areas. We also tried to describe some applications of $q$-numbers.
On Cameron's Greedy Conjecture
A base for a permutation group $G$ acting on a set $Ω$ is a subset $\mathcal{B}$ of $Ω$ whose pointwise stabiliser $G_{(\mathcal{B})}$ is trivial. There is a natural greedy algorithm for constructing a base of relatively small size. We write $\mathcal{G}(G)$ the maximum size of a base it produces, and $b(G)$ for the size of the smallest base for $G$. In 1999, Peter Cameron conjectured that there exists an absolute constant $c$ such that every finite primitive group $G$ satisfies $\mathcal{G}(G)\leq cb(G)$. We show that if $G$ is $\mathrm{S}_n$ or $\mathrm{A}_n$ acting primitively then either Cameron's Greedy Conjecture holds for $G$, or $G$ falls into one class of possible exceptions.
Odd Cuts in Bipartite Grafts II: Structure and Universality of Decapital Distance Components
This paper is the second in a series of papers characterizing the maximum packing of \( T \)-cuts in bipartite grafts, following the first paper (N.~Kita, ``Tight cuts in bipartite grafts~I: Capital distance components,'' {arXiv:2202.00192v2}, 2022). Given a graft $(G, T)$, a minimum join $F$, and a specified vertex $r$ called the root, the distance components of $(G, T)$ are defined as subgraphs of $G$ determined by the distances induced by $F$. A distance component is called {\em capital} if it contains the root; otherwise, it is called {\em decapital}. In our first paper, we investigated the canonical structure of capital distance components in bipartite grafts, which can be described using the graft analogue of the Kotzig--Lovász decomposition. In this paper, we provide the counterpart structure for the decapital distance components. We also establish a necessary and sufficient condition for two vertices $r$ and $r'$ under which a decapital distance component with respect to root $r$ is also a decapital distance component with respect to root $r'$. As a consequence, we obtain that the total number of decapital distance components in a bipartite graft, taken over all choices of root, is equal to twice the number of edges in a minimum join of the graft.
Directed treewidth is closed under taking butterfly minors
Butterfly minors are a generalisation of the minor containment relation for undirected graphs to directed graphs. Many results in directed structural graph theory use this notion as a central tool next to directed treewidth, a generalisation of the width measure treewidth to directed graphs. Adler [JCTB'07] showed that the directed treewidth is not closed under taking butterfly minors. Over the years, many alternative definitions for directed treewidth appeared throughout the literature, equivalent to the original definition up to small functions. In this paper, we consider the major ones and show that not all of them share the problem identified by Adler.
Remarks on a certain restricted partition function of Lin
Let $b(n)$ be the number of partition triples $π=(π_1,π_2,π_3)$ of $n$ such that $π_1$ consists of distinct odd parts, and $π_2$ and $π_3$ consist of parts divisible by $4$. Utilizing modular forms, Lin obtained the generating functions for $b(3n+1)$ and $b(3n+2)$, which yields the congruence $b(3n+2)\equiv 0\pmod{3}$ for all $n\geq 0$. We provide in this note elementary proofs of these generating functions by employing $q$-series manipulations and dissection formulas. We also establish infinite families of internal congruences modulo $3$ for $b(n)$.
Infinite matrix associated to sequences
In this paper, we study the Euler-Seidel matrices with coefficients and determine the associated Riordan matrix to a given matrix, if it does exist. Computation of the generating fonction of the final sequence is established by the associated Riordan matrix. Applications are given.
On a question about real rooted polynomials and f-polynomials of simplicial complexes
For a polynomial $f(t) = 1+f_0t+\cdots +f_{d-1}t^d$ with positive integer coefficients Bell and Skandera ask if real rootedness of f(t) implies that there is a simplicial complex with f-vector $(1,f_0 \ldots,f_{d-1})$. In this paper we discover properties implied by the real rootedness of f(t) in terms of the binomial representation $f_i = \binom{x_{i+1}}{i+1}, i \geq 0$. We use these to provide a sufficient criterion for a positive answer to the question by Bell and Skandera. We also describe two further approaches to the conjecture and use one to verify that some well studied real rooted classical polynomials are f-polynomials. Finally, we provide a series of results showing that the set of f-vectors of simplicial complexes is closed under constructions also preserving real rootedness of their generating polynomials.
An elementary question of Erdős and Graham
Let $A_k=\{r(k-r): 1\leq r \leq k-1\}$. Erd\H os and Graham asked about the cardinality of the set of common elements. We answer this elementary question and apply our result to a sum-product type result.
Double-jump phase transition for the reverse Littlewood--Offord problem
Erdős conjectured in 1945 that for any unit vectors $v_1, \dotsc, v_n$ in $\mathbb{R}^2$ and signs $\varepsilon_1, \dotsc, \varepsilon_n$ taken independently and uniformly in $\{-1,1\}$, the random Rademacher sum $σ= \varepsilon_1 v_1 + \dotsb + \varepsilon_n v_n$ satisfies $\|σ\|_2 \leq 1$ with probability $Ω(1/n)$. While this conjecture is false for even $n$, Beck has proved that $\|σ\|_2 \leq \sqrt{2}$ always holds with probability $Ω(1/n)$. Recently, He, Juškevičius, Narayanan, and Spiro conjectured that the Erdős' conjecture holds when $n$ is odd. We disprove this conjecture by exhibiting vectors $v_1, \dotsc, v_n$ for which $\|σ\|_2 \leq 1$ occurs with probability $O(1/n^{3/2})$. On the other hand, an approximated version of their conjecture holds: we show that we always have $\|σ\|_2 \leq 1 + δ$ with probability $Ω_δ(1/n)$, for all $δ> 0$. This shows that when $n$ is odd, the minimum probability that $\|σ\|_2 \leq r$ exhibits a double-jump phase transition at $r = 1$, as we can also show that $\|σ\|_2 \leq 1$ occurs with probability at least $Ω((1/2+μ)^n)$ for some $μ> 0$. Additionally, and using a different construction, we give a negative answer to a question of Beck and two other questions of He, Juškevičius, Narayanan, and Spiro, concerning the optimal constructions minimising the probability that $\|σ\|_2 \leq \sqrt{2}$. We also make some progress on the higher dimensional versions of these questions.