Showing 20 papers (Total: 82064 papers, 47505 authors in database)
On Monoids of plus-minus weighted Zero-Sum Sequences: The Isomorphism Problem and the Characterization Problem
Published
• View Publication
• BIB
Let $G$ be an additive abelian group. A sequence $S=g_1\cdot\ldots\cdot g_{\ell}$ of terms from $G$ is a plus-minus weighted zero-sum sequence if there are $\varepsilon_1,\ldots,\varepsilon_{\ell}\in\{-1,1\}$ such that $\varepsilon_1 g_1+\ldots+\varepsilon_{\ell} g_{\ell}=0$. We first characterize (in terms of $G$) when the monoid $\mathcal{B}_{\pm}(G)$ of plus-minus weighted zero-sum sequences is Mori resp. Krull resp. finitely generated. After that we study the Isomorphism and the Characterization Problem for monoids of plus-minus weighted zero-sum sequences.
Hardness of Finding Combinatorial Shortest Paths on Graph Associahedra
Published
• View Publication
• BIB
We prove that the computation of a combinatorial shortest path between two vertices of a graph associahedron, introduced by Carr and Devadoss, is NP-hard. This resolves an open problem raised by Cardinal. A graph associahedron is a generalization of the well-known associahedron. The associahedron is obtained as the graph associahedron of a path. It is a tantalizing and important open problem in theoretical computer science whether the computation of a combinatorial shortest path between two vertices of the associahedron can be done in polynomial time, which is identical to the computation of the flip distance between two triangulations of a convex polygon, and the rotation distance between two rooted binary trees. Our result shows that a certain generalized approach to tackling this open problem is not promising. As a corollary of our theorem, we prove that the computation of a combinatorial shortest path between two vertices of a polymatroid base polytope cannot be done in polynomial time unless P = NP. Since a combinatorial shortest path on the matroid base polytope can be computed in polynomial time, our result reveals an unexpected contrast between matroids and polymatroids.
Directed hypergraph connectivity augmentation by hyperarc reorientations
The orientation theorem of Nash-Williams states that an undirected graph admits a $k$-arc-connected orientation if and only if it is $2k$-edge-connected. Recently, Ito et al. showed that any orientation of an undirected $2k$-edge-connected graph can be transformed into a $k$-arc-connected orientation by reorienting one arc at a time without decreasing the arc-connectivity at any step, thus providing an algorithmic proof of Nash-Williams' theorem. We generalize their result to hypergraphs and therefore provide an algorithmic proof of the characterization of hypergraphs with a $k$-hyperarc-connected orientation originally given by Frank et al. We prove that any orientation of an undirected $(k,k)$-partition-connected hypergraph can be transformed into a $k$-hyperarc-connected orientation by reorienting one hyperarc at a time without decreasing the hyperarc-connectivity in any step. Furthermore, we provide a simple combinatorial algorithm for computing such a transformation in polynomial time.
On The Random Turán number of linear cycles
Published
• View Publication
• BIB
Given two $r$-uniform hypergraphs $G$ and $H$ the Turán number $\rm{ex}(G, H)$ is the maximum number of edges in an $H$-free subgraph of $G$. We study the typical value of $\rm{ex}(G, H)$ when $G=G_{n,p}^{(r)}$, the Erdős-Rényi random $r$-uniform hypergraph, and $H=C_{2\ell}^{(r)}$, the $r$-uniform linear cycle of length $2\ell$. The case of graphs ($r=2$) is a longstanding open problem that has been investigated by many researchers. We determine the order of magnitude of $\rm{ex}\left(G_{n,p}^{(r)}, C_{2\ell}^{(r)}\right)$ for all $r\geq 4$ and all $\ell\geq 2$ up to polylogarithmic factors for all values of $p=p(n)$.
Our proof is based on the container method and uses a balanced supersaturation result for linear even cycles which improves upon previous such results by Ferber-Mckinley-Samotij and Balogh-Narayanan-Skokan.
Restricted partition functions and the $r$-log-concavity of quasi-polynomial-like functions
Published
• View Publication
• BIB
Let $\mathcal{A}=\left(a_i\right)_{i=1}^\infty$ be a weakly increasing sequence of positive integers and let $k$ be a fixed positive integer. For an arbitrary integer $n$, the restricted partition $p_\mathcal{A}(n,k)$ enumerates all the partitions of $n$ whose parts belong to the multiset $\{a_1,a_2,\ldots,a_k\}$. In this paper we investigate some generalizations of the log-concavity of $p_\mathcal{A}(n,k)$. We deal with both some basic extensions like, for instance, the strong log-concavity and a more intriguing challenge that is the $r$-log-concavity of both quasi-polynomial-like functions in general, and the restricted partition function in particular. For each of the problems, we present an efficient solution.
Minimal relations for the balanced algebra
Motivated by a problem in graph theory, this article introduces an algebra called the balanced algebra. This algebra is defined by generators and relations, and the main goal is to find a minimal set of relations for it.
Enumeration of Anti-Invariant Subspaces and Touchard's Formula for the Entries of the $q$-Hermite Catalan Matrix
Published in Advances in Applied Mathematics, Volume 154, March 2024, 102654
• View Publication
• BIB
We express the number of anti-invariant subspaces for a linear operator on a finite vector space in terms of the number of its invariant subspaces. When the operator is diagonalizable with distinct eigenvalues, our formula gives a finite-field interpretation for the entries of the $q$-Hermite Catalan matrix. We also obtain an interesting new proof of Touchard's formula for these entries.
Counting unate and balanced monotone Boolean functions
We show that the problem of counting the number of $n$-variable unate functions reduces to the problem of counting the number of $n$-variable monotone functions. Using recently obtained results on $n$-variable monotone functions, we obtain counts of $n$-variable unate functions up to $n=9$. We use an enumeration strategy to obtain the number of $n$-variable balanced monotone functions up to $n=7$. We show that the problem of counting the number of $n$-variable balanced unate functions reduces to the problem of counting the number of $n$-variable balanced monotone functions, and consequently, we obtain the number of $n$-variable balanced unate functions up to $n=7$. Using enumeration, we obtain the numbers of equivalence classes of $n$-variable balanced monotone functions, unate functions and balanced unate functions up to $n=6$. Further, for each of the considered sub-class of $n$-variable monotone and unate functions, we also obtain the corresponding numbers of $n$-variable non-degenerate functions.
An Overview of Universal Obstructions for Graph Parameters
Published
• View Publication
• BIB
In a recent work, we introduced a parametric framework for obtaining obstruction characterizations of graph parameters with respect to a quasi-ordering $\leqslant$ on graphs. Towards this, we proposed the concepts of class obstruction, parametric obstruction, and universal obstruction as combinatorial objects that determine the approximate behaviour of a graph parameter. In this work, we explore its potential as a unifying framework for classifying graph parameters. Under this framework, we survey existing graph-theoretic results on many known graph parameters. Additionally, we provide some unifying results on their classification.
Categorification of Group Equivariant Neural Networks
We present a novel application of category theory for deep learning. We show how category theory can be used to understand and work with the linear layer functions of group equivariant neural networks whose layers are some tensor power space of $\mathbb{R}^{n}$ for the groups $S_n$, $O(n)$, $Sp(n)$, and $SO(n)$. By using category theoretic constructions, we build a richer structure that is not seen in the original formulation of these neural networks, leading to new insights. In particular, we outline the development of an algorithm for quickly computing the result of a vector that is passed through an equivariant, linear layer for each group in question. The success of our approach suggests that category theory could be beneficial for other areas of deep learning.
An Algorithm for Computing with Brauer's Group Equivariant Neural Network Layers
The learnable, linear neural network layers between tensor power spaces of $\mathbb{R}^{n}$ that are equivariant to the orthogonal group, $O(n)$, the special orthogonal group, $SO(n)$, and the symplectic group, $Sp(n)$, were characterised in arXiv:2212.08630. We present an algorithm for multiplying a vector by any weight matrix for each of these groups, using category theoretic constructions to implement the procedure. We achieve a significant reduction in computational cost compared with a naive implementation by making use of Kronecker product matrices to perform the multiplication. We show that our approach extends to the symmetric group, $S_n$, recovering the algorithm of arXiv:2303.06208 in the process.
On sum-intersecting families of positive integers
Published
• View Publication
• BIB
We study the following natural arithmetic question regarding intersecting families: how large can a family of subsets of integers from $\{1, \ldots n\}$ be such that, for every pair of subsets in the family, the intersection contains a sum $x + y = z$? We conjecture that any such sum-intersecting family must have size at most $\frac14 \cdot 2^{n}$ (which would be tight if correct). Towards this conjecture, we show that every sum-intersecting family has at most $0.32 \cdot 2^n$ subsets.
A sufficient condition for a hypergraph to have a Berge-$k$-factor
Published
• View Publication
• BIB
For any graph (hypergraph) $G$ with vertex set $V$ and edge set $E$, we define its incidence bipartite graph $\mathcal{I}(G)$ as the bipartite graph with bipartition $(E, V)$, where an edge $e \in E$ is adjacent to a vertex $v \in V$ in $\mathcal{I}(G)$ if and only if $e$ is incident to $v$ in $G$. This representation allows all concepts and properties of $G$ to be reformulated in terms of those of $\mathcal{I}(G)$. In this paper, we investigate the notions of graph toughness and $k$-factors in bipartite graphs through this incidence perspective. As an application, our result implies the classic theorem of Enomoto, Jackson, Katerinis, and Saito: for any integer $k \geq 1$, a $k$-tough graph $G$ has a $k$-factor if $k |V(G)|$ is even and $|V(G)| \geq k+1$. Furthermore, we extend this result to hypergraphs, without requiring uniformity.
On the period of Pell-Narayana sequence in some groups
In this paper, the Pell-Narayana sequence modulo m is studied. The paper outlines the definition of Pell-Narayana numbers and some of their combinatorial links with Eulerian, Catalan and Delannoy numbers and other special functions. From the definition, the Pell-Narayana orbit of a 2-generator group for a generating pair $(x, y) \in G$ is defined, so that the lengths of the period of the Pell-Narayana orbit can be examined. These yield in turn the Pell-Narayana lengths of the polyhedral group and the binary polyhedral group for the generating pair $(x,y)$ and associated properties. Also, the period of the Pell-Narayana orbit of the groups $Q_8$, $Q_8 \times\mathbb{Z}_{2m} $ and $Q_8 \times_φ\mathbb{Z}_{2m} $ for $m \geq 3$ were obtained.
On $d$-dimensional nowhere-zero $r$-flows on a graph
Published
• View Publication
• BIB
A $d$-dimensional nowhere-zero $r$-flow on a graph $G$, an $(r,d)$-NZF from now on, is a flow where the value on each edge is an element of $\mathbb{R}^d$ whose (Euclidean) norm lies in the interval $[1,r-1]$. Such a notion is a natural generalization of the well-known concept of circular nowhere-zero $r$-flow (i.e.\ $d=1$). For every bridgeless graph $G$, the $5$-flow Conjecture claims that $φ_1(G)\leq 5$, while a conjecture by Jain suggests that $φ_d(G)=1$, for all $d \geq 3$. Here, we address the problem of finding a possible upper-bound also for the remaining case $d=2$. We show that, for all bridgeless graphs, $φ_2(G) \le 1 + \sqrt{5}$ and that the oriented $5$-cycle double cover Conjecture implies $φ_2(G)\leq τ^2$, where $τ$ is the Golden Ratio. Moreover, we propose a geometric method to describe an $(r,2)$-NZF of a cubic graph in a compact way, and we apply it in some instances. Our results and some computational evidence suggest that $τ^2$ could be a promising upper bound for the parameter $φ_2(G)$ for an arbitrary bridgeless graph $G$. We leave that as a relevant open problem which represents an analogous of the $5$-flow Conjecture in the $2$-dimensional case (i.e. complex case).
The Best Ways to Slice a Polytope
Published in Mathematics of Computation, 94 (352), 1003-1042 (2025)
• View Publication
• BIB
We study the structure of the set of all possible affine hyperplane sections of a convex polytope. We present two different cell decompositions of this set, induced by hyperplane arrangements. Using our decomposition, we bound the number of possible combinatorial types of sections and craft algorithms that compute optimal sections of the polytope according to various combinatorial and metric criteria, including sections that maximize the number of $k$-dimensional faces, maximize the volume, and maximize the integral of a polynomial. Our optimization algorithms run in polynomial time in fixed dimension, but the same problems show hardness otherwise. Our tools can be extended to intersection with halfspaces and projections onto hyperplanes. Finally, we present several experiments illustrating our theorems and algorithms on famous polytopes.
Fast Sampling of $b$-Matchings and $b$-Edge Covers
Published
• View Publication
• BIB
For an integer $b \ge 1$, a $b$-matching (resp. $b$-edge cover) of a graph $G=(V,E)$ is a subset $S\subseteq E$ of edges such that every vertex is incident with at most (resp. at least) $b$ edges from $S$. We prove that for any $b \ge 1$ the simple Glauber dynamics for sampling (weighted) $b$-matchings and $b$-edge covers mixes in $O(n\log n)$ time on all $n$-vertex bounded-degree graphs. This significantly improves upon previous results which have worse running time and only work for $b$-matchings with $b \le 7$ and for $b$-edge covers with $b \le 2$.
More generally, we prove spectral independence for a broad class of binary symmetric Holant problems with log-concave signatures, including $b$-matchings, $b$-edge covers, and antiferromagnetic $2$-spin edge models. We hence deduce optimal mixing time of the Glauber dynamics from spectral independence.
The core of our proof is a recursive coupling inspired by (Chen and Zhang '23) which upper bounds the Wasserstein $W_1$ distance between distributions under different pinnings. Using a similar method, we also obtain the optimal $O(n\log n)$ mixing time of the Glauber dynamics for the hardcore model on $n$-vertex bounded-degree claw-free graphs, for any fugacity $λ$. This improves over previous works which have at least cubic dependence on $n$.
Continued fractions using a Laguerre digraph interpretation of the Foata--Zeilberger bijection and its variants
Published
• View Publication
• BIB
In the combinatorial theory of continued fractions, the Foata--Zeilberger bijection and its variants have been extensively used to derive various continued fractions enumerating several (sometimes infinitely many) simultaneous statistics on permutations (combinatorial model for factorials) and D-permutations (combinatorial model for Genocchi and median Genocchi numbers). A Laguerre digraph is a digraph in which each vertex has in- and out-degrees $0$ or $1$. In this paper, we interpret the Foata--Zeilberger bijection in terms of Laguerre digraphs, which enables us to count cycles in permutations. Using this interpretation, we obtain Jacobi-type continued fractions for multivariate polynomials enumerating permutations, and also Thron-type and Stieltjes-type continued fractions for multivariate polynomials enumerating D-permutations, in both cases including the counting of cycles. This enables us to prove some conjectured continued fractions due to Sokal and Zeng (2022 Advances in Applied Mathematics) in the case of permutations, and Randrianarivony and Zeng (1996 Electronic Journal of Combinatorics) and Deb and Sokal (2024 Advances in Applied Mathematics) in the case of D-permutations.
Down-left graphs and a connection to toric ideals of graphs
Published in Involve 18 (2025) 437-458
• View Publication
• BIB
We introduce a family of graphs, which we call down-left graphs, and study their combinatorial and algebraic properties. We show that members of this family are well-covered, $C_5$-free, and vertex decomposable. By applying a result of Hà-Woodroofe and Moradi--Khosh-Ahang, the (Castelnuovo-Mumford) regularity of the associated edge ideals is the induced matching number of the graph. As an application, we give a combinatorial interpretation for the regularity of the toric ideals of chordal bipartite graphs that are $(K_{3,3} \setminus e)$-free.
Lorentzian polynomials on cones
Published
• View Publication
• BIB
Inspired by the theory of hyperbolic polynomials and Hodge theory, we develop the theory of Lorentzian polynomials on cones. This notion captures the Hodge-Riemann relations of degree zero and one. Motivated by fundamental properties of volume polynomials of Chow rings of simplicial fans, we define a class of multivariate polynomials which we call hereditary polynomials. We give a complete and easily checkable characterization of hereditary Lorentzian polynomials. This characterization is used to give elementary and simple proofs of the Heron-Rota-Welsh conjecture for the characteristic polynomial of a matroid, and the Alexandrov-Fenchel inequalities for convex bodies.
We then characterize Chow rings of simplicial fans which satisfy the Hodge-Riemann relations of degree zero and one, and we prove that this property only depends on the support of the fan.
Several different characterizations of Lorentzian polynomials on cones are provided.