Showing 20 papers (Total: 81378 papers, 47165 authors in database)
On weak cop numbers of transitive graphs
The weak cop number of infinite graphs can be seen as a coarse-geometric analogue to the cop number of finite graphs. We show that every vertex transitive graph with at least one thick end has infinite weak cop number. It follows that every connected, vertex transitive graph has weak cop number $1$ or $\infty$, answering a question posed by Lee, Martínez-Pedroza, and Rodríguez-Quinche, and reiterated in recent preprints by Appenzeller and Klinge, and by Esperet, Gahlawat, and Giocanti.
New recursion formula for the interior polynomial based on non-expanding sets
The interior polynomial was originally defined for hypergraphs and later shown to coincide with the Ehrhart polynomial of the root polytope of an associated bipartite graph. In previous work, we derived an alternating cycle recursion formula for the interior polynomial. Here, we introduce a new, more transparent recursion formula based on the structure of non-expanding sets. This formula offers a clearer combinatorial interpretation of the interior polynomial and its connection to polyhedral geometry.
Disjoint $X$-paths in bidirected graphs
Let $B$ be a bidirected multigraph with signing $σ$, let $X$ be a set of vertices in $B$, and let $k$ be a non-negative integer. For any pair of vertex sets $S,T\subset V(B)$ satisfying $X\cap S = X\cap T$, we denote by $B_{S,T}$ the multigraph with the same vertex set as $B$ and with edge set consisting of those edges $e$ of $B$ each of whose endvertices $v$ satisfies $v\notin S\cup T$ or $v\in S\setminus T$, $σ(v,e)=-$ or $v\in T\setminus S$, $σ(v,e)=+$. We prove that $B$ admits a set of $k$ pairwise disjoint $X$-paths if and only if for any $S,T\subseteq V(B)$ with $X\cap S = X\cap T$, the inequality $\left\lvert S\cap T \right\rvert +\sum \lfloor \tfrac{1}{2} \left\lvert V(C)\cap (X\cup S\cup T) \right\rvert \rfloor \geq k$ holds where the sum is indexed by the components of $B_{S,T}$. This result is a generalization of a result of Gallai from undirected graphs to bidirected ones. Furthermore, we will deduce from this a kind of an Erdős-Pósa property for $X$-paths in bidirected multigraphs.
Frobenius subalgebra lattices in tensor categories
This paper studies Frobenius subalgebra posets in abelian monoidal categories and shows that, under general conditions--satisfied in all semisimple tensor categories over the complex field--they collapse to lattices through a rigidity invariance perspective. Based on this, we extend Watatani's finiteness theorem for intermediate subfactors by proving that, under a weak positivity assumption--met by all semisimple tensor categories over the complex field--and a compatibility condition--fulfilled by all pivotal ones--the lattices arising from connected Frobenius algebras are finite. We also derive a non-semisimple version via semisimplification. Our approach relies on the concept of a formal angle, and the extension of key results--such as the planar algebraic exchange relation and Landau's theorems--to linear monoidal categories.
Major applications of our findings include a stronger version of the Ino-Watatani result: we show that the finiteness of intermediate C*-algebras holds in a finite-index unital irreducible inclusion of C*-algebras without requiring the simple assumption. Moreover, for a finite-dimensional semisimple Hopf algebra H, we prove that H* is a Frobenius algebra object in Rep(H) and has a finite number of rigid invariant Frobenius subalgebras. Finally, we explore a range of applications, including abstract spin chains, vertex operator algebras and speculations on quantum arithmetic involving the generalization of Ore's theorem, Euler's totient and sigma functions, and RH.
Digital Convexity and Combinatorics on Words
An upward (resp. downward) digitally convex word is a binary word that best approximates from below (resp. from above) an upward (resp. downward) convex curve in the plane. We study these words from the combinatorial point of view, formalizing their geometric properties and highlighting connections with Christoffel words and finite Sturmian words. In particular, we study from the combinatorial perspective the operations of inflation and deflation on digitally convex words.
Algebraic Machine Learning: Learning as computing an algebraic decomposition of a task
Statistics and Optimization are foundational to modern Machine Learning. Here, we propose an alternative foundation based on Abstract Algebra, with mathematics that facilitates the analysis of learning. In this approach, the goal of the task and the data are encoded as axioms of an algebra, and a model is obtained where only these axioms and their logical consequences hold. Although this is not a generalizing model, we show that selecting specific subsets of its breakdown into algebraic atoms obtained via subdirect decomposition gives a model that generalizes. We validate this new learning principle on standard datasets such as MNIST, FashionMNIST, CIFAR-10, and medical images, achieving performance comparable to optimized multilayer perceptrons. Beyond data-driven tasks, the new learning principle extends to formal problems, such as finding Hamiltonian cycles from their specifications and without relying on search. This algebraic foundation offers a fresh perspective on machine intelligence, featuring direct learning from training data without the need for validation dataset, scaling through model additivity, and asymptotic convergence to the underlying rule in the data.
Algebraic study on permutation graphs
Let $G$ be a permutation graph. We show that $G$ is Cohen-Macaulay if and only if $G$ is unmixed and vertex decomposable. When this is the case, we obtain a combinatorial description for the $a$-invariant of $G$. Moreover, we characterize the Gorenstein permutation graphs.
Symbolic powers of polymatroidal ideals
In this paper, we investigate the componentwise linearity and the Castelnuovo-Mumford regularity of symbolic powers of polymatroidal ideals. For a polymatroidal ideal $I$, we conjecture that every symbolic power $I^{(k)}$ is componentwise linear and $$ \text{reg}\,I^{(k)}=\text{reg}\,I^k $$ for all $k \ge 1$. We prove that $\text{reg}\,I^{(k)}\ge\text{reg}\,I^k$ for all $k \ge 1$ when $I$ has no embedded associated primes, for instance if $I$ is a matroidal ideal. Moreover, we establish a criterion on the symbolic Rees algebra $\mathcal{R}_s(I)$ of a monomial ideal of minimal intersection type which guarantees that every symbolic power $I^{(k)}$ has linear quotients and, hence, is componentwise linear for all $k\ge1$. By applying our criterion to squarefree Veronese ideals and certain matching-matroidal ideals, we verify both conjectures for these families. We establish the Conforti-Cornuéjols conjecture for any matroidal ideal, and we show that a matroidal ideal is packed if and only if it is the product of monomial prime ideals with pairwise disjoint supports. Furthermore, we identify several classes of non-squarefree polymatroidal ideals for which the ordinary and symbolic powers coincide. Hence, we confirm our conjectures for transversal polymatroidal ideals and principal Borel ideals. Finally, we verify our conjectures for all polymatroidal ideals either generated in small degrees or in a small number of variables.
Aggregation of evaluations without unanimity
Dokow and Holzman determined which predicates over $\{0, 1\}$ satisfy an analog of Arrow's theorem: all unanimous aggregators are dictatorial. Szegedy and Xu, extending earlier work of Dokow and Holzman, extended this to predicates over arbitrary finite alphabets.
Mossel extended Arrow's theorem in an orthogonal direction, determining all aggregators without the assumption of unanimity. We bring together both threads of research by extending the results of Dokow-Holzman and Szegedy-Xu to the setting of Mossel. As an application, we determine, for each symmetric predicate over $\{0,1\}$, all of its aggregators.
Computational Complexity of Covering Colored Mixed Multigraphs with Simple Degree Partitions
The notion of graph covers (also referred to as locally bijective homomorphisms) plays an important role in topological graph theory and has found its computer science applications in models of local computation. For a fixed target graph $H$, the {\sc $H$-Cover} problem asks if an input graph $G$ allows a graph covering projection onto $H$. Despite the fact that the quest for characterizing the computational complexity of {\sc $H$-Cover} had been started more than 30 years ago, only a handful of general results have been known so far.
In this paper, we present a complete characterization of the computational complexity of covering coloured graphs for the case that every equivalence class in the degree partition of the target graph has at most two vertices. We prove this result in a very general form. Following the lines of current development of topological graph theory, we study graphs in the most relaxed sense of the definition. In particular, we consider graphs that are mixed (they may have both directed and undirected edges), may have multiple edges, loops, and semi-edges. We show that a strong P/NP-complete dichotomy holds true in the sense that for each such fixed target graph $H$, the {\sc $H$-Cover} problem is either polynomial-time solvable for arbitrary inputs, or NP-complete even for simple input graphs.
The polytope of all matroids
It is possible to write the indicator function of any matroid polytope as an integer combination of indicator functions of Schubert matroid polytopes. In this way, every matroid on $n$ elements of rank $r$ can be thought of as a lattice point in the space having a coordinate for each Schubert matroid on $n$ elements of rank $r$.
We study the convex hull of all these lattice points, with particular focus on the vertices, which come from the matroids we call extremal matroids. We show that several famous classes of matroids arise as faces of the polytopes, and in many cases we determine the dimension of this face explicitly. As an application, we show that there exist valuative invariants that attain non-negative values at all representable matroids, but fail to be non-negative in general.
On coarse tree decompositions and coarse balanced separators
It is known that there is a linear dependence between the treewidth of a graph and its balanced separator number: the smallest integer $k$ such that for every weighing of the vertices, the graph admits a balanced separator of size at most $k$. We investigate whether this connection can be lifted to the setting of coarse graph theory, where both the bags of the considered tree decompositions and the considered separators should be coverable by a bounded number of bounded-radius balls.
As the first result, we prove that if an $n$-vertex graph $G$ admits balanced separators coverable by $k$ balls of radius $r$, then $G$ also admits tree decompositions ${\cal T}_1$ and ${\cal T}_2$ such that:
- in ${\cal T}_1$, every bag can be covered by $O(k\log n)$ balls of radius $r$; and
- in ${\cal T}_2$, every bag can be covered by $O(k^2\log k)$ balls of radius $r(\log k+\log\log n+O(1))$.
As the second result, we show that if we additionally assume that $G$ has doubling dimension at most $m$, then the functional equivalence between the existence of small balanced separators and of tree decompositions of small width can be fully lifted to the coarse setting. Precisely, we prove that for a positive integer $r$ and a graph $G$ of doubling dimension at most $m$, the following conditions are equivalent, with constants $k_1,k_2,k_3,k_4,Δ_3,Δ_4$ depending on each other and on $m$:
- $G$ admits balanced separators consisting of $k_1$ balls of radius $r$;
- $G$ has a tree decomposition with bags coverable by $k_2$ balls of radius $r$;
- $G$ has a tree-partition of maximum degree $\leq Δ_3$ with bags coverable by $k_3$ balls of radius $r$;
- $G$ is quasi-isometric to a graph of maximum degree $\leq Δ_4$ and tree-partition width $\leq k_4$.
Nut graphs with a prescribed number of vertex and edge orbits
Published in J. Algebraic Combin. 63 (2026) Art. No. 9
• View Publication
• BIB
A nut graph is a nontrivial graph whose adjacency matrix has a one-dimensional null space spanned by a vector without zero entries. Recently, it was shown that a nut graph has more edge orbits than vertex orbits. It was also shown that for any even $r \ge 2$ and any $k \ge r + 1$, there exist infinitely many nut graphs with $r$ vertex orbits and $k$ edge orbits. Here, we extend this result by finding all the pairs $(r, k)$ for which there exists a nut graph with $r$ vertex orbits and $k$ edge orbits. In particular, we show that for any $k \ge 2$, there are infinitely many Cayley nut graphs with $k$ edge orbits and $k$ arc orbits.
Polynomial time classical versus quantum algorithms for representation theoretic multiplicities
Littlewood-Richardson, Kronecker and plethysm coefficients are fundamental multiplicities of interest in Representation Theory and Algebraic Combinatorics. Determining a combinatorial interpretation for the Kronecker and plethysm coefficients is a major open problem, and prompts the consideration of their computational complexity. Recently it was shown that they behave relatively well with respect to quantum computation, and for some large families there are polynomial time quantum algorithms [Larocca,Havlicek, arXiv:2407.17649] (also [BCGHZ,arXiv:2302.11454]). In this paper we show that for many of those cases the Kronecker and plethysm coefficients can also be computed in polynomial time via classical algorithms, thereby refuting some of the conjectures in [LH24]. This vastly limits the cases in which the desired super-polynomial quantum speedup could be achieved.
Solving Maker-Breaker Games on 5-uniform hypergraphs is PSPACE-complete
Let $(X, \mathcal{F})$ be a hypergraph. The Maker-Breaker game on $(X, \mathcal{F})$ is a combinatorial game between two players, Maker and Breaker. Beginning with Maker, the players take turns claiming vertices from $X$ that have not yet been claimed. Maker wins if she manages to claim all vertices of some hyperedge $F \in \mathcal{F}$. Breaker wins if he claims at least one vertex in every hyperedge.
M. L. Rahman and Thomas Watson proved in 2021 that, even when only Maker-Breaker games on 6-uniform hypergraphs are considered, the decision problem of determining which player has a winning strategy is PSPACE-complete. They also showed that the problem is NL-hard when considering hypergraphs of rank 5.
In this paper, we improve the latter result by showing that deciding who wins Maker-Breaker games on 5-uniform hypergraphs is still a PSPACE-complete problem. We achieve this by polynomial transformation from the problem of solving the generalized geography game on bipartite digraphs with vertex degrees 3 or less, which is known to be PSPACE-complete.
Asymmetric results about graph homomorphisms
Many important results in extremal graph theory can be roughly summarised as "if a triangle-free graph $G$ has certain properties, then it has a homomorphism to a triangle-free graph $Γ$ of bounded size". For example, bounds on homomorphism thresholds give such a statement if $G$ has sufficiently high minimum degree, and the approximate homomorphism theorem gives such a statement for all $G$, if one weakens the notion of homomorphism appropriately.
In this paper, we study asymmetric versions of these results, where the assumptions on $G$ and $Γ$ need not match. For example, we prove that if $G$ is a graph with odd girth at least $9$ and minimum degree at least $δ|G|$, then $G$ is homomorphic to a triangle-free graph whose size depends only on $δ$. Moreover, the odd girth assumption can be weakened to odd girth at least $7$ if $G$ has bounded VC dimension or bounded domination number. This gives a new and improved proof of a result of Huang et al.
We also prove that in the asymmetric approximate homomorphism theorem, the bounds exhibit a rather surprising ``double phase transition'': the bounds are super-exponential if $G$ is only assumed to be triangle-free, they become exponential if $G$ is assumed to have odd girth $7$ or $9$, and become linear if $G$ has odd girth at least $11$.
Our proofs use a wide variety of techniques, including entropy arguments, the Frieze--Kannan weak regularity lemma, properties of the generalised Mycielskian construction, and recent work on abundance and the asymmetric removal lemma.
Moderate-length lifted quantum Tanner codes
We introduce new families of quantum Tanner codes, a class of quantum codes that first appeared in the work of Leverrier and Zémor (FOCS 2022). These codes are built from two classical Tanner codes, for which the underlying graphs are extracted from coverings of 2D geometrical complexes, and the local linear codes are tensor-products of cyclic or double-circulant linear codes. The advantage of code lifting is that, for any lift of odd index $t$ of an $[[n,k,d]]$-code, we can adapt the study of the transfer homomorphism arising in cellular homology to describe symmetries of its logical operators and to establish that its dimension is lower bounded by $k$, and its distance is upper bounded by $t\cdot d$. Moreover, when the dimension of the lifted code is equal to $k$, its distance is lower bounded by $d$. These parameter bounds also apply to the previous methods of code lifting of Guémard (IEEE Trans. Inf. Theory, 2025). Finally, We present several explicit families, and identify instances of moderate length quantum codes which are degenerate, have low check weight, and whose distance surpasses the square root of the code length. Among them, we report the existence of a $[[96,2,12]]$-code whose distance growth saturates our bound, and for which half of the checks are of weight 8 and the other half of weight 4.
A Polynomial Ramsey Statement for Bounded VC-dimension
A theorem by Ding, Oporowski, Oxley, and Vertigan states that every sufficiently large bipartite graph without twins contains a matching, co-matching, or half-graph of any given size as an induced subgraph. We prove that this Ramsey statement has polynomial dependency assuming bounded VC-dimension of the initial graph, using the recent verification of the Erdős-Hajnal property for graphs of bounded VC-dimension. Since the theorem of Ding et al. plays a role in (finite) model theory, which studies even more restricted structures, we also comment on further refinements of the theorem within this context.
New $q$-identities Via $q$-Derivative of Basic Hypergeometric Series with Respect to Parameters
In this paper, we use the effect of the $q$-differential and deformed $q$-exponential operators on basic hypergeometric series to find new $q$-identities from the $q$-Gauss sum, the $q$-Chu-Vandermonde's sum, and Jackson's transformation formula.
Planar graphs without 4-, 7-, 9-cycles and 5-cycles normally adjacent to 3-cycles
Published in Discrete Applied Mathematics, 358 (2024) 158--166
• View Publication
• BIB
A graph is \emph{$(\mathcal{I}, \mathcal{F})$-partitionable} if its vertex set can be partitioned into two parts such that one part $\mathcal{I}$ is an independent set, and the other $\mathcal{F}$ induces a forest. A graph is \emph{$k$-degenerate} if every subgraph $H$ contains a vertex of degree at most $k$ in $H$. Bernshteyn and Lee defined a generalization of $k$-degenerate graphs, which is called \emph{weakly $k$-degenerate}. In this paper, we show that planar graphs without $4$-, $7$-, $9$-cycles, and $5$-cycles normally adjacent to $3$-cycles are both $(\mathcal{I}, \mathcal{F})$-partitionable and weakly $2$-degenerate.