Showing 20 papers (Total: 83190 papers, 48060 authors in database)
On the geometry of stack-sorting simplices
Published
• View Publication
• BIB
We show that all stack-sorting polytopes are simplices. Furthermore, we show that the stack-sorting polytopes generated from $Ln1$ permutations have relative volume 1. We establish an upper bound for the number of lattice points in a stack-sorting polytope. In particular, stack-sorting polytopes generated from $2Ln1$ permutations have no interior points.
An explicit power series result for the two type ASEP
Research in combinatorics has often focused on the ASEP (asymmetric simple exclusion process). The ASEP is inspired by processes in statistical mechanics, and involves particles of various species moving around a lattice. The particles do not change species. In the present paper, based on earlier results of Mortimer and Prellberg and others, we obtain a new power series results for the two type ASEP.
How to Expand a Self-orthogonal Code
Published
• View Publication
• BIB
In this paper, we show how to expand Euclidean/Hermitian self-orthogonal code preserving their orthogonal property. Our results show that every $k$-dimension Hermitian self-orthogonal code is contained in a $(k+1)$-dimensional Hermitian self-orthogonal code. Also, for $k< n/2-1$, every $[n,k]$ Euclidean self-orthogonal code is contained in an $[n,k+1]$ Euclidean self-orthogonal code. Moreover, for $k=n/2-1$ and $p=2$, we can also fulfill the expanding process. But for $k=n/2-1$ and $p$ odd prime, the expanding process can be fulfilled if and only if an extra condition must be satisfied. We also propose two feasible algorithms on these expanding procedures.
Rook sums in the symmetric group algebra
Let $\mathcal{A}$ be the group algebra $\mathbf{k}[S_n]$ of the $n$-th symmetric group $S_n$ over a commutative ring $\mathbf{k}$. For any two subsets $A$ and $B$ of $[n]$, we define the elements \[ \nabla_{B,A}:=\sum_{\substack{w\in S_n;\\w\left( A\right) =B}} w \qquad \text{and} \qquad \widetilde{\nabla}_{B,A}:=\sum_{\substack{w\in S_n;\\w\left( A\right) \subseteq B}}w \] of $\mathcal{A}$. We study these elements, showing in particular that their minimal polynomials factor into linear factors (with integer coefficients). We express the product $\nabla_{D,C}\nabla_{B,A}$ as a $\mathbb{Z}$-linear combination of $\nabla_{U,V}$'s.
More generally, for any two set compositions (i.e., ordered set partitions) $\mathbf{A}$ and $\mathbf{B}$ of $\left\{ 1,2,\ldots,n\right\} $, we define $\nabla_{\mathbf{B},\mathbf{A}}\in\mathcal{A}$ to be the sum of all permutations $w\in S_n$ that send each block of $\mathbf{A}$ to the corresponding block of $\mathbf{B}$. This generalizes $\nabla_{B,A}$. The factorization property of minimal polynomials does not extend to the $\nabla_{\mathbf{B},\mathbf{A}}$, but we describe the ideal spanned by the $\nabla_{\mathbf{B},\mathbf{A}}$ and a further ideal complementary to it. These two ideals have a "mutually annihilative" relationship, are free as $\mathbf{k}$-modules, and appear as annihilators of tensor product $S_n$-representations; they are also closely related to Murphy's cellular bases, Specht modules, pattern-avoiding permutations and even some algebras appearing in quantum information theory.
An equality for balanced digraphs
Published
• View Publication
• BIB
Consider a directed multigraph $D$ that is balanced (i.e., at each vertex, the indegree equals the outdegree). Let $A$ be its set of arcs. Fix an integer $k$. Let $s$ be a vertex of $D$. We show that the number of $k$-element subsets $B$ of $A$ that contain no cycles but contain a path from each vertex to $s$ (we call them "$s$-convergences") is independent on $s$. This generalizes known facts about spanning arborescences, acyclic orientations and maximal acyclic subdigraphs (or, equivalently, minimum feedback arc sets). Moreover, this result can be generalized even further, replacing "contain no cycles" with "have a given set of cycles".
Structure of $k$-Matching-Planar Graphs
For $k \geqslant 0$, we define a simple topological graph $G$ (that is, a graph drawn in the plane such that every pair of edges intersect at most once, including endpoints) to be $k$-matching-planar if for every edge $e \in E(G)$, every matching amongst the edges of $G$ that cross $e$ has size at most $k$. The class of $k$-matching-planar graphs is a significant generalisation of many other existing beyond planar graph classes, including $k$-planar graphs. We prove that every simple topological $k$-matching-planar graph is isomorphic to a subgraph of the strong product of a graph with bounded treewidth and a path. This result qualitatively extends the planar graph product structure theorem of Dujmović, Joret, Micek, Morin, Ueckerdt, and Wood [J. ACM 2020] and recent product structure theorems for other beyond planar graph classes. Using this result, we deduce that the class of simple topological $k$-matching-planar graphs has several attractive properties, making it the broadest class of simple beyond planar graphs in the literature that has these properties. All of our results about simple topological $k$-matching-planar graphs generalise to the non-simple setting, where the maximum number of pairwise crossing edges incident to a common vertex becomes relevant.
The paper introduces several tools and results of independent interest. We show that every simple topological $k$-matching-planar graph admits an edge-colouring with $\mathcal{O}(k^{3}\log k)$ colours such that monochromatic edges do not cross. As a key ingredient of the proof of our main product structure theorem, we introduce the concept of weak shallow minors, which subsume and generalise shallow minors, a key concept in graph sparsity theory. We also establish upper bounds on the treewidth of graphs with well-behaved circular drawings that qualitatively generalise several existing results.
Is the space of reachable particle configurations dense?
Let $p_0,\ldots,p_n$ be a finite sequence of points in an Euclidean space $\R^d$. Suppose that there is a (pointlike) particle sitting at each point $p_i$. In a ``legal'' move, any one of them can jump over another, landing on the other side, at exactly the same distance. Under what circumstances can we guarantee that for any $\varepsilon>0$ and any other sequence of points $q_0,\ldots, q_n\in\R^d$, there is a finite sequence of legal moves that takes the particle at $p_i$ to the $\varepsilon$-neighborhood of $q_i$, simultaneously for every $i$?
We prove that this is possible if and only if the additive group generated by the vectors $p_1-p_0,\ldots,p_n-p_0$ is dense in $\R^d$.
A quasi-optimal upper bound for induced paths in sparse graphs
In 2012, Nešetřil and Ossona de Mendez proved that graphs of bounded degeneracy that have a path of order $n$ also have an induced path of order $Ω(\log \log n)$. In this paper we give an almost matching upper bound by describing, for arbitrarily large values of $n$, 2-degenerate graphs that have a path of order $n$ and where the longest induced paths have order $O((\log \log n)^{1+o(1)})$.
Spectral radius of simplicial complexes without holes
The Turán problem for hypergraphs and its spectral version is a central and challenging topic in extremal combinatorics. In this paper, we view hypergraphs from the perspective of simplicial complexes, and investigate the spectral version of Turán problem for simplicial complexes. We characterize the simplicial complex that maximizes the signless Laplacian spectral radius among all hole-free simplicial complexes, and establish an upper bound on the spectral radius for simplicial complexes with a prescribed Betti number. As an application, we derive bounds on Turán numbers for both hypergraphs and simplicial complexes via the connection between the spectral radius and the face numbers.
Maker playing against an invisible Breaker
We initiate the study of the phantom version of Maker-Breaker positional games. In a phantom game, the moves of one of the players are hidden from the other player, who still has the complete information. We look at the biased $(a:b)$ Maker-PhantomBreaker games where the board is the edge set of the complete graph on $n$ vertices, $K_n$, and Maker has no information about PhantomBreaker's choices of edges. We give randomized strategies for both players in four classical games: connectivity game, perfect matching game, mindegree-$k$ game and Hamiltonicity game. In particular, we focus on characterizing all biases $(a:b)$ for which Maker wins asymptotically almost surely.
Supersymmetric Schur polynomials have saturated Newton polytopes
We prove that every supersymmetric Schur polynomial has a saturated Newton polytope (SNP). Our approach begins with a tableau-theoretic description of the support, which we encode as a polyhedron with a totally unimodular constraint matrix. The integrality of this polyhedron follows from the Hoffman-Kruskal criterion, thereby establishing the SNP property.
Algorithm for computing the partition function of the Potts model for SP-graphs
The q-state Potts model is a fundamental framework in statistical physics and graph theory, with its partition function encoding rich information about spin configurations. The multivariate Tutte polynomial (known as the partition function of the Potts model) can be defined on an arbitrary finite graph $G$ and encodes a lot of important combinatorial information about the graph. As a special case, it contains the familiar Tutte polynomial with two variables and, consequently, its specialization with one variable, such as the chromatic polynomial, the flow polynomial and the reliability polynomial. The main goal of this paper is to present an efficient algorithm for computing the Potts model partition function on SP-graphs (series-parallel graphs) with arbitrary weights. The algorithm for SP-graphs is based on simplifying the graph by replacing several edges with a single edge of equivalent weight, which significantly reduces computational complexity. In this paper, we present a linear-time algorithm for exactly computing the Potts model partition function on series-parallel graphs (SP-graphs).
Hamiltonian paths in iterated line graphs
For integer $n$, the $n$-iterated line graph $L^n(G)$ of an undirected graph $G$ is defined to be $L(L^{n-1}(G))$, where $L^1(G)$ is the line graph $L(G)$ of $G$. In this paper we introduce hamiltonian path index. Hamiltonian path index, denoted by $h_p(G)$, is the minimum number $n$ such that $L^n(G)$ contains a hamiltonian path. We show that hamiltonian path index of $G$ exists for any graph $G$ and we set the exact value of hamiltonian path index for trees and discuss the problem about graphs with hamiltonian 2-connected blocks.
Domino tilings beyond 2D
Published
• View Publication
• BIB
There is a rich history of domino tilings in two dimensions. Through a variety of techniques we can answer questions such as: how many tilings are there of a given region or what does the space of all tilings look like? These questions and their answers become significantly more difficult in dimension three and above. Despite this curse of dimensionality, there have been exciting recent advances in the theory. Here we briefly review foundational results of two-dimensional domino tilings and highlight where challenges arise when generalizing to higher dimensions. We then survey results in higher dimensional domino tilings, focusing on the question of connectivity of the space of tilings, and the open problems that still remain.
Proof of the linkage conjecture for highly connected tournaments
A digraph $D$ is $k$-linked if for every $2k$ distinct vertices $ x_1,\ldots , x_k, y_1, \ldots , y_k$ in $D$, there exist $k$ pairwise vertex-disjoint paths $P_1,\ldots, P_k$ such that $P_i$ starts at $x_i$ and ends at $y_i$ for each $i\in [k]$. In 2021, Girão, Popielarz, and Snyder [Combinatorica 41 (2021) 815--837] conjectured that there exists a constant $C >0$ such that every $(2k+1)$-connected tournament with minimum out-degree at least $Ck$ is $k$-linked. In this paper, we disprove this conjecture by constructing a family of counterexamples with minimum out-degree at least $\frac{k^2+11k}{26}$ (for $k\geq 42$). Further, we prove that every $(2k+1)$-connected semicomplete digraph $D$ with minimum out-degree at least $ 7k^2 + 36k$ is $k$-linked. This result is optimal in terms of both connectivity and minimum out-degree (up to a multiplicative factor), which refines and generalizes the earlier result of Girão, Popielarz, and Snyder.
Catalan number sequences and generalized action graphs
Published in Mathematics Exchange 18 (2025) 88-106
• View Publication
• BIB
Action graphs emerged from work of Bergner and Hackney on category actions in the context of Reedy categories. Alvarez, Bergner, and Lopez showed that action graphs could be inductively generated without reference to category actions and have a close relationship with the sequence of Catalan numbers. These graphs were further generalized in work of Cressman, Lin, Nguyen, and Wiljanen, who showed that the Fuss-Catalan numbers have a similar relation to another set of inductively defined directed graphs. In our paper, we consider several other sequences related to the Catalan numbers, namely Catalan's triangle, $(a,b)$-Catalan numbers, internal triangles, and super Catalan numbers. We show action graphs cannot be generalized to Catalan's triangle, $(a,b)$-Catalan numbers, nor internal triangles. We also conjecture a method for constructing action graphs for the Super Catalan numbers.
Arnol'd's limit and the Lagrange inversion
We show how to prove by means of the Lagrange inversion the limit of Arnol'd that $$ \lim_{x\to0}\frac{\sin(\tan x)-\tan(\sin x)}{\arcsin(\arctan x)-\arctan(\arcsin x)}=1\,. $$ In fact, we obtain a more general result in terms of formal power series.
Hamilton cycles in pseudorandom graphs: resilience and approximate decompositions
Dirac's classical theorem asserts that, for $n \ge 3$, any $n$-vertex graph with minimum degree at least $n/2$ is Hamiltonian. Furthermore, if we additionally assume that such graphs are regular, then, by the breakthrough work of Csaba, Kühn, Lo, Osthus and Treglown, they admit a decomposition into Hamilton cycles and at most one perfect matching, solving the well-known Nash-Williams conjecture. In the pseudorandom setting, it has long been conjectured that similar results hold in much sparser graphs. We prove two overarching theorems for graphs that exclude excessively dense subgraphs, which yield asymptotically optimal resilience and Hamilton-decomposition results in sparse pseudorandom graphs. In particular, our results imply that for every fixed $γ> 0$, there exists a constant $C > 0$ such that if $G$ is a spanning subgraph of an $(n,d,λ)$-graph satisfying $δ(G) \ge (\tfrac12 + γ)d$ and $d/λ\ge C$, then $G$ must contain a Hamilton cycle. Secondly, we show that for every $\varepsilon > 0$, there is $C > 0$ so that every $(n,d,λ)$-graph with $d/λ\ge C$ contains at least $(\tfrac12 - \varepsilon)d$ edge-disjoint Hamilton cycles, and, finally, we prove that the entire edge set of $G$ can be covered by no more than $(\tfrac12 + \varepsilon)d$ such cycles. All bounds are asymptotically optimal and significantly improve earlier results on Hamiltonian resilience, packing, and covering in sparse pseudorandom graphs.
On a Ramsey--Turán variant of Roth's theorem
A classical theorem of Roth states that the maximum size of a solution-free set of a homogeneous linear equation $\mathcal{L}$ in $\mathbb{F}_p$ is $o(p)$ if and only if the sum of the coefficients of $\mathcal{L}$ is $0$. In this paper, we prove a Ramsey--Turán variant of Roth's theorem, with respect to a natural notion of ``structured'' sets introduced by Erdős and Sárközy in the 1970's. Namely, we show that the following statements are equivalent:
$(a)$ Every solution-free set $A$ of $\mathcal{L}$ in $\mathbb{F}_p$ with $α(\mathrm{Cay}_{\mathbb{F}_p}(A)) = o(p)$ has size $o(p)$.
$(b)$ There exists a non-empty \emph{subset} of coefficients of $\mathcal{L}$ with zero sum.
Conditions for building generalized action graphs from sequences
Published
• View Publication
• BIB
This paper explores the properties of directed graphs, termed generalized action graphs, which exhibit a strong connection to certain number sequences. Focusing on the structural and combinatorial aspects, we investigate the conditions under which specific sequences can generate generalized action graphs. Building upon prior research in this field, we analyze specific features of these graphs and how they correspond to patterns and properties in their sequences. These findings support a broader conclusion that establishes framework for identifying which sequences can produce generalized action graphs.