Showing 20 papers (Total: 83842 papers, 48355 authors in database)
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.
Exact values and improved bounds on the clique number of cyclotomic graphs
Published in Des. Codes Cryptogr. 93 (2025), no. 12, 5131-5142
• View Publication
• BIB
Let $q$ be an odd power of a prime $p$, and $S \subset \mathbb{F}_q^*$ such that $S=-S$ and $S/S \neq \mathbb{F}_q^*$. We show that the clique number of the Cayley graph $\operatorname{Cay}(\mathbb{F}_q^+,S)$ is at most $\sqrt{|S/S|}+\sqrt{q/p}$, improving the best-known $\sqrt{q}$ upper bound for many families of such graphs substantially. Such a new bound is strongest for cyclotomic graphs and in particular, it implies the first nontrivial upper bound on the clique number of all generalized Paley graphs of non-square order, extending the work of Hanson and Pertidis. Moreover, our new bound is asymptotically sharp for an infinite family of generalized Paley graphs, and we further discover the first nontrivial family among them for which the clique number can be exactly determined. We also obtain a new lower bound on the number of directions determined by a large Cartesian product in the affine Galois plane $AG(2,q)$, which is sharp for infinite families.
Reconfiguration of the Union of Arborescences
Published
• View Publication
• BIB
An arborescence in a digraph is an acyclic arc subset in which every vertex execpt a root has exactly one incoming arc. In this paper, we reveal the reconfigurability of the union of $k$ arborescences for fixed $k$ in the following sense: for any pair of arc subsets that can be partitioned into $k$ arborescences, one can be transformed into the other by exchanging arcs one by one so that every intermediate arc subset can also be partitioned into $k$ arborescences. This generalizes the result by Ito et al. (2023), who showed the case with $k=1$. Since the union of $k$ arborescences can be represented as a common matroid basis of two matroids, our result gives a new non-trivial example of matroid pairs for which two common bases are always reconfigurable to each other.
Invariants of Binomial Edge Ideals via Linear Programs
Published
• View Publication
• BIB
We associate to every graph a linear program for packings of vertex disjoint paths. We show that the optimal primal and dual values of the corresponding integer program are the binomial grade and height of the binomial edge ideal of the graph. We deduce from this a new combinatorial characterization of graphs of König type and use it to show that all trees are of König type.
The log canonical threshold and the F-threshold are important invariants associated to the singularities of a variety in characteristic $0$ and characteristic $p$. We show that the optimal value of the linear program (computed over the rationals) agrees with both the F-threshold and the log canonical threshold of the binomial edge ideal if the graph is a block graph or of König type. We conjecture that this linear program computes the log canonical threshold of the binomial edge ideal of any graph.
Our results resemble theorems on monomial ideals arising from hypergraphs due to Howald and others.
A study of 2-ended graphs via harmonic functions
We prove that every recurrent graph $G$ quasi-isometric to $\mathbb{R}$ admits an essentially unique Lipschitz harmonic function $h$. If $G$ is vertex-transitive, then the action of $Aut(G)$ preserves $\partial h$ up to a sign, a fact that we exploit to prove various combinatorial results about $G$. As a consequence, we prove the 2-ended case of the conjecture of Grimmett & Li that the connective constant of a non-degenerate vertex-transitive graph is at least the golden mean.
Moreover, answering a question of Watkins from 1990, we construct a cubic, 2-ended, vertex-transitive graph which is not a Cayley graph.
Fast Evaluation of Generalized Todd Polynomials: Applications to MacMahon's Partition Analysis and Integer Programming
Published
• View Publication
• BIB
The Todd polynomials, denoted as $td_k(b_1,b_2,\ldots,b_m)$, are characterised by their generating functions: $$\sum_{k\ge 0} td_k s^k = \prod_{i=1}^m \frac{b_i s}{e^{b_i s}-1}.$$ These polynomials serve as fundamental components in the Todd class of toric varieties, a concept of significant relevance in the study of lattice polytopes and number theory. We identify that generalised Todd polynomials emerge naturally within the framework of MacMahon's partition analysis, particularly in the context of computing Ehrhart series. We introduce an efficient method for the evaluation of generalised Todd polynomials for numerical values of $b_i$. This is achieved through the development of expedited operations in the quotient ring $\mathbb{Z}_p[[s]]$ modulo $s^{d}$, where $p$ is a large prime. The practical implications of our work are demonstrated through two applications: firstly, we facilitate a recalculated resolution of the Ehrhart series for magic squares of order 6, a problem initially addressed by the first author, reducing computation time from 70 days to approximately 1 day; secondly, we present a polynomial-time algorithm for Integer Linear Programming when the dimension is fixed, exhibiting a notable enhancement in computational efficiency.
Large deviations of the largest eigenvalue of supercritical sparse Wigner matrices
Published
• View Publication
• BIB
Consider a random symmetric matrix with i.i.d.~entries on and above its diagonal that are products of Bernoulli random variables and random variables with sub-Gaussian tails. Such a matrix will be called a sparse Wigner matrix and can be viewed as the adjacency matrix of a random network with sub-Gaussian weights on its edges. In the regime where the mean degree is at least logarithmic in dimension, the edge eigenvalues of an appropriately scaled sparse Wigner matrix stick to the edges of the support of the semicircle law. We show that in this sparsity regime, the large deviations upper tail event of the largest eigenvalue of a sparse Wigner matrix with sub-Gaussian entries is generated by either the emergence of a high degree vertex with a large vertex weight or that of a clique with large edge weights. Interestingly, the rate function obtained is discontinuous at the typical value of the largest eigenvalue, which accounts for the fact that its large deviation behaviour is generated by finite rank perturbations. This complements the results of Ganguly and Nam, and Ganguly, Hiesmayr, and Nam which considered the case where the mean degree is constant.
Design and analysis of bent functions using $\mathcal{M}$-subspaces
Published
• View Publication
• BIB
In this article, we provide the first systematic analysis of bent functions $f$ on $\mathbb{F}_2^{n}$ in the Maiorana-McFarland class $\mathcal{MM}$ regarding the origin and cardinality of their $\mathcal{M}$-subspaces, i.e., vector subspaces on which the second-order derivatives of $f$ vanish. By imposing restrictions on permutations $π$ of $\mathbb{F}_2^{n/2}$, we specify the conditions, such that Maiorana-McFarland bent functions $f(x,y)=x\cdot π(y) + h(y)$ admit a unique $\mathcal{M}$-subspace of dimension $n/2$. On the other hand, we show that permutations $π$ with linear structures give rise to Maiorana-McFarland bent functions that do not have this property. In this way, we contribute to the classification of Maiorana-McFarland bent functions, since the number of $\mathcal{M}$-subspaces is invariant under equivalence. Additionally, we give several generic methods of specifying permutations $π$ so that $f\in\mathcal{MM}$ admits a unique $\mathcal{M}$-subspace. Most notably, using the knowledge about $\mathcal{M}$-subspaces, we show that using the bent 4-concatenation of four suitably chosen Maiorana-McFarland bent functions, one can in a generic manner generate bent functions on $\mathbb{F}_2^{n}$ outside the completed Maiorana-McFarland class $\mathcal{MM}^\#$ for any even $n\geq 8$. Remarkably, with our construction methods it is possible to obtain inequivalent bent functions on $\mathbb{F}_2^8$ not stemming from two primary classes, the partial spread class $\mathcal{PS}$ and $\mathcal{MM}$. In this way, we contribute to a better understanding of the origin of bent functions in eight variables, since only a small fraction, of which size is about $2^{76}$, stems from $\mathcal{PS}$ and $\mathcal{MM}$, whereas the total number of bent functions on $\mathbb{F}_2^8$ is approximately $2^{106}$.
Strong stability of 3-wise $t$-intersecting families
Published
• View Publication
• BIB
Let ${\mathcal G}$ be a family of subsets of an $n$-element set. The family ${\mathcal G}$ is called $3$-wise $t$-intersecting if the intersection of any three subsets in ${\mathcal G}$ is of size at least $t$. For a real number $p\in(0,1)$ we define the measure of the family by the sum of $p^{|G|}(1-p)^{n-|G|}$ over all $G\in{\mathcal G}$. For example, if ${\mathcal G}$ consists of all subsets containing a fixed $t$-element set, then it is a $3$-wise $t$-intersecting family with the measure $p^t$.
Let $0<p\leq 2/(\sqrt{4t+9}-1)$, $δ>0$, and let ${\mathcal G}$ be a $3$-wise $t$-intersecting family. It is known that the measure of ${\mathcal G}$ is at most $p^t$. Suppose, moreover, that ${\mathcal G}$ has the measure at least $(\frac12+δ)p^t$. We show that, by choosing $t$ sufficiently large depending on $δ$, the structure of ${\mathcal G}$ is one of (i) and (ii): (i) every subset in ${\mathcal G}$ contains a fixed $t$-element set, (ii) every subset in ${\mathcal G}$ contains at least $t+2$ elements from a fixed $(t+3)$-element set.
Powers in finite unitary groups
Published
• View Publication
• BIB
Let $\text{U}(n,\mathbb{F}_{q^2})$ denote the subgroup of unitary matrices of the general linear group $\text{GL}(n,\mathbb{F}_{q^2})$ which fixes a Hermitian form and $M\geq 2$ an integer. This is a companion paper to the previous works where the elements of the groups $\text{GL}(n,\mathbb{F}_{q})$, $\text{Sp}(2n,\mathbb{F}_{q})$, $\text{O}^{\pm}(2n,\mathbb{F}_{q})$ and $\text{O}(2n+1,\mathbb{F}_{q})$ which has an $M$-th root in the concerned group, have been described. Here we will describe the $M$-th powers in unitary groups for the regular semisimple, semisimple and cyclic elements. Our methods are parallel to those of the Memoir ``A generating function approach to the enumeration of matrices in classical groups over finite fields" by Fulman, Neumann and Praeger.
Topology of Cut Complexes of Graphs
Published in SIAM J. on Discrete Mathematics,Vol. 38 (2), 1630--1675 (2024)
• View Publication
• BIB
We define the $k$-cut complex of a graph $G$ with vertex set $V(G)$ to be the simplicial complex whose facets are the complements of sets of size $k$ in $V(G)$ inducing disconnected subgraphs of $G$. This generalizes the Alexander dual of a graph complex studied by Fröberg (1990), and Eagon and Reiner (1998). We describe the effect of various graph operations on the cut complex, and study its shellability, homotopy type and homology for various families of graphs, including trees, cycles, complete multipartite graphs, and the prism $K_n \times K_2$, using techniques from algebraic topology, discrete Morse theory and equivariant poset topology.
Counting Ideals in Numerical Semigroups
If $S$ is a numerical semigroup, let $m(S,k)$ denote the number of ideals of $S$ with codimension $k$ and let $n(S,k)$ denote the number of ideals of $S$ with conductor $k$. We compute the generating function of the sequence $m(S,k)$ for all numerical semigroups of embedding dimension $2$ and for $S = \langle 3,n+2,2n+1\rangle$. We also prove that the sequence $n(S,k)$ becomes stationary after a certain term and compute the stationary terms for numerical semigroups of the form $\langle a,a+1 \rangle$.