Showing 20 papers (Total: 82139 papers, 47531 authors in database)
Quasi-linear relation between partition and analytic rank
An important conjecture in additive combinatorics, number theory, and algebraic geometry posits that the partition rank and analytic rank of tensors are equal up to a constant, over any finite field. We prove the conjecture up to a logarithmic factor.
Our proof is largely independent of previous work, utilizing recursively constructed polynomial identities and random walks on zero sets of polynomials. We also introduce a new, vector-valued notion of tensor rank (``local rank''), which serves as a bridge between partition and analytic rank, and which may be of independent interest as a tool for analyzing higher-degree polynomials.
Finite $3$-connected-set-homogeneous locally $2\K_n$ graphs and $s$-arc-transitive graphs
Published
• View Publication
• BIB
In this paper, all graphs are assumed to be finite. For $s\geq 1$ and a graph $\G$, if for every pair of isomorphic connected induced subgraphs on at most $s$ vertices there exists an automorphism of $\G$ mapping the first to the second, then we say that $\G$ is $s$-connected-set-homogeneous, and if every isomorphism between two isomorphic connected induced subgraphs on at most $s$ vertices can be extended to an automorphism of $\G$, then we say that $\G$ is $s$-connected-homogeneous. For $n\geq 1$, a graph $\G$ is said to be locally $2\K_n$ if the subgraph $[\G(u)]$ induced on the set of vertices of $\G$ adjacent to a given vertex $u$ is isomorphic to $2\K_n$.
Note that $2$-connected-set-homogeneous but not $2$-connected-homogeneous graphs are just the half-arc-transitive graphs which are a quite active topic in algebraic graph theory. Motivated by this, we posed the problem of characterizing or classifying $3$-connected-set-homogeneous graphs of girth $3$ which are not $3$-connected-homogeneous in (Eur. J. Combin. 93 (2021) 103275). Until now, there have been only two known families of $3$-connected-set-homogeneous graphs of girth $3$ which are not $3$-connected-homogeneous, and these graphs are locally $2\K_n$ with $n=2$ or $4$. In this paper, we complete the classification of finite $3$-connected-set-homogeneous graphs which are locally $2\K_n$ with $n\geq 2$, and all such graphs are line graphs of some specific $2$-arc-transitive graphs. Furthermore, we give a good description of finite $3$-connected-set-homogeneous but not $3$-connected-homogeneous graphs which are locally $2\K_n$ and have solvable automorphism groups. This is then used to construct some new $3$-connected-set-homogeneous but not $3$-connected-homogeneous graphs as well as some new $2$-arc-transitive graphs.
Quantum Search Algorithm for Binary Constant Weight Codes
Published
• View Publication
• BIB
A binary constant weight code is a type of error-correcting code with a wide range of applications. The problem of finding a binary constant weight code has long been studied as a combinatorial optimization problem in coding theory. In this paper, we propose a quantum search algorithm for binary constant weight codes. Specifically, the search problem is newly formulated as a quadratic unconstrained binary optimization (QUBO) and Grover adaptive search (GAS) is used for providing the quadratic speedup. Focusing on the inherent structure of the problem, we derive an upper bound on the minimum of the objective function value and a lower bound on the exact number of solutions. In our algebraic analysis, it was found that this proposed algorithm is capable of reducing the number of required qubits, thus enhancing the feasibility. Additionally, our simulations demonstrated that it reduces the query complexities by 63% in the classical domain and 31% in the quantum domain. The proposed approach may be useful for other quantum search algorithms and optimization problems.
Barile-Macchia resolutions
Published in Journal of Algebraic Combinatorics (2024)
• View Publication
• BIB
We construct cellular resolutions for monomial ideals via discrete Morse theory. In particular, we develop an algorithm to create homogeneous acyclic matchings and we call the cellular resolutions induced from these matchings Barile-Macchia resolutions. These resolutions are minimal for edge ideals of weighted oriented forests and (most) cycles. As a result, we provide recursive formulas for graded Betti numbers and projective dimension. Furthermore, we compare Barile-Macchia resolutions to those created by Batzies and Welker and some well-known simplicial resolutions. Under certain assumptions, whenever the above resolutions are minimal, so are Barile-Macchia resolutions.
Directed Acyclic Outerplanar Graphs Have Constant Stack Number
Published in TheoretiCS, Volume 4 (October 17, 2025) theoretics:13453
• View Publication
• BIB
The stack number of a directed acyclic graph $G$ is the minimum $k$ for which there is a topological ordering of $G$ and a $k$-coloring of the edges such that no two edges of the same color cross, i.e., have alternating endpoints along the topological ordering. We prove that the stack number of directed acyclic outerplanar graphs is bounded by a constant, which gives a positive answer to a conjecture by Heath, Pemmaraju and Trenk [SIAM J. Computing, 1999]. As an immediate consequence, this shows that all upward outerplanar graphs have constant stack number, answering a question by Bhore et al. [Eur. J. Comb., 2023] and thereby making significant progress towards the problem for general upward planar graphs originating from Nowakowski and Parker [Order, 1989]. As our main tool we develop the novel technique of directed $H$-partitions, which might be of independent interest. We complement the bounded stack number for directed acyclic outerplanar graphs by constructing a family of directed acyclic 2-trees that have unbounded stack number, thereby refuting a conjecture by Nöllenburg and Pupyrev [GD 2023].
Modulo $d$ extension of parity results in Rogers-Ramanujan-Gordon type overpartition identities
Sang, Shi and Yee, in 2020, found overpartition analogs of Andrews' results involving parity in Rogers-Ramanujan-Gordon identities. Their result partially answered an open question of Andrews'. The open question was to involve parity in overpartition identities. We extend Sang, Shi, and Yee's work to arbitrary moduli, and also provide a missing case in their identities. We also unify proofs of Rogers-Ramanujan-Gordon identities for overpartitions due to Lovejoy and Chen et.al.; Sang, Shi, and Yee's results; and ours. Although verification type proofs are given for brevity, a construction of series as solutions of functional equations between partition generating functions is sketched.
Spanning trees in sparse expanders
Given integers $n\ge Δ\ge 2$, let $\mathcal{T}(n, Δ)$ be the collection of all $n$-vertex trees with maximum degree at most $Δ$. A question of Alon, Krivelevich and Sudakov in 2007 asks for determining the best possible spectral gap condition forcing an $(n, d,λ)$-graph to be $\mathcal{T}(n, Δ)$-universal, namely, it contains all members of $\mathcal{T}(n, Δ)$ as a subgraph simultaneously. In this paper we show that for sufficiently large integer $n$ and all $Δ\in \mathbb{N}$, every $(n, d,λ)$-graph with \[ λ\le\frac{d}{2Δ^{5\sqrt{\log n}}} \] is $\mathcal{T}(n, Δ)$-universal. As an immediate corollary, this implies that Alon's ingenious construction of triangle-free sparse expander is $\mathcal{T}(n, Δ)$-universal, which provides an explicit construction of such graphs and thus solves a question of Johannsen, Krivelevich and Samotij. Our main result is formulated under a much more general context, namely, the $(n,d)$-expanders. More precisely, we show that there exist absolute constants $C,c>0$ such that the following statement holds for sufficiently large integer $n$.
(1).For all $Δ\in \mathbb{N}$, every $(n, Δ^{5\sqrt{\log n}})$-expander is $\mathcal{T}(n, Δ)$-universal.
(2).For all $Δ\in \mathbb{N}$ with $Δ\le c\sqrt{n}$, every $(n, CΔn^{1/2})$-expander is $\mathcal{T}(n, Δ)$-universal.
Both results significantly improve a result of Johannsen, Krivelevich and Samotij, and have further implications in locally sparse expanders and Maker-Breaker games that also improve previously known results drastically.
An improvement of sufficient condition for $k$-leaf-connected graphs
Published
• View Publication
• BIB
For integer $k\geq2,$ a graph $G$ is called $k$-leaf-connected if $|V(G)|\geq k+1$ and given any subset $S\subseteq V(G)$ with $|S|=k,$ $G$ always has a spanning tree $T$ such that $S$ is precisely the set of leaves of $T.$ Thus a graph is $2$-leaf-connected if and only if it is Hamilton-connected. In this paper, we present a best possible condition based upon the size to guarantee a graph to be $k$-leaf-connected, which not only improves the results of Gurgel and Wakabayashi [On $k$-leaf-connected graphs, J. Combin. Theory Ser. B 41 (1986) 1-16] and Ao, Liu, Yuan and Li [Improved sufficient conditions for $k$-leaf-connected graphs, Discrete Appl. Math. 314 (2022) 17-30], but also extends the result of Xu, Zhai and Wang [An improvement of spectral conditions for Hamilton-connected graphs, Linear Multilinear Algebra, 2021]. Our key approach is showing that an $(n+k-1)$-closed non-$k$-leaf-connected graph must contain a large clique if its size is large enough. As applications, sufficient conditions for a graph to be $k$-leaf-connected in terms of the (signless Laplacian) spectral radius of $G$ or its complement are also presented.
The Stanley-Reisner ideal of the rook complex of polyominoes
Published
• View Publication
• BIB
We study the properties of the rook complex $\mathcal{R}$ of a polyomino $\mathcal{P}$ seen as independence complex of a graph $G$, and the associated Stanley--Reisner ideal $I_\mathcal{R}$. In particular, we characterize the polyominoes $\mathcal{P}$ having a pure rook complex, and the ones whose Stanley--Reisner ideal has linear resolution. Furthermore, we prove that for a class of polyominoes the Castelnuovo-Mumford regularity of $I_\mathcal{R}$ coincides with the induced matching number of $G$.
New transmission irregular chemical graphs
Published
• View Publication
• BIB
The transmission of a vertex $v$ of a (chemical) graph $G$ is the sum of distances from $v$ to other vertices in $G$. If any two vertices of $G$ have different transmissions, then $G$ is a transmission irregular graph. It is shown that for any odd number $n\geq 7$ there exists a transmission irregular chemical tree of order $n$. A construction is provided which generates new transmission irregular (chemical) trees. Two additional families of chemical graphs are characterized by property of transmission irregularity and two sufficient condition provided which guarantee that the transmission irregularity is preserved upon adding a new edge.
On 2-arc-transitive graphs of product action type
Published
• View Publication
• BIB
In this paper, we discuss the structural information about 2-arc-transitive (non-bipartite and bipartite) graphs of product action type. It is proved that a 2-arc-transitive graph of product action type requires certain restrictions on either the vertex-stabilizers or the valency. Based on the existence of some equidistant linear codes, a construction is given for 2-arc-transitive graphs of non-diagonal product action type, which produces several families of such graphs. Besides, a nontrivial construction is given for 2-arc-transitive bipartite graphs of diagonal product action type
Grand Dyck paths with air pockets
Published
• View Publication
• BIB
Grand Dyck paths with air pockets (GDAP) are a generalization of Dyck paths with air pockets by allowing them to go below the $x$-axis. We present enumerative results on GDAP (or their prefixes) subject to various restrictions such as maximal/minimal height, ordinate of the last point and particular first return decomposition. In some special cases we give bijections with other known combinatorial classes.
On the distance-edge-monitoring numbers of graphs
Published
• View Publication
• BIB
Foucaud et al. [Discrete Appl. Math. 319 (2022), 424-438] recently introduced and initiated the study of a new graph-theoretic concept in the area of network monitoring. For a set $M$ of vertices and an edge $e$ of a graph $G$, let $P(M, e)$ be the set of pairs $(x, y)$ with a vertex $x$ of $M$ and a vertex $y$ of $V(G)$ such that $d_G(x, y)\neq d_{G-e}(x, y)$. For a vertex $x$, let $EM(x)$ be the set of edges $e$ such that there exists a vertex $v$ in $G$ with $(x, v) \in P(\{x\}, e)$. A set $M$ of vertices of a graph $G$ is distance-edge-monitoring set if every edge $e$ of $G$ is monitored by some vertex of $M$, that is, the set $P(M, e)$ is nonempty. The distance-edge-monitoring number of a graph $G$, denoted by $dem(G)$, is defined as the smallest size of distance-edge-monitoring sets of $G$. The vertices of $M$ represent distance probes in a network modeled by $G$; when the edge $e$ fails, the distance from $x$ to $y$ increases, and thus we are able to detect the failure. It turns out that not only we can detect it, but we can even correctly locate the failing edge. In this paper, we continue the study of \emph{distance-edge-monitoring sets}. In particular, we give upper and lower bounds of $P(M,e)$, $EM(x)$, $dem(G)$, respectively, and extremal graphs attaining the bounds are characterized. We also characterize the graphs with $dem(G)=3$.
Decomposition of Probability Marginals for Security Games in Max-Flow/Min-Cut Systems
Published
• View Publication
• BIB
Given a set system $(E, \mathcal{P})$ with $ρ\in [0, 1]^E$ and $π\in [0,1]^{ \mathcal{P}}$, our goal is to find a probability distribution for a random set $S \subseteq E$ such that $\operatorname{Pr}[e \in S] = ρ_e$ for all $e \in E$ and $\operatorname{Pr}[P \cap S \neq \emptyset] \geq π_P$ for all $P \in \mathcal{P}$. We extend the results of Dahan, Amin, and Jaillet (MOR 2022) who studied this problem motivated by a security game in a directed acyclic graph (DAG).
We focus on the setting where $π$ is of the affine form $π_P = 1 - \sum_{e \in P} μ_e$ for $μ\in [0, 1]^E$. A necessary condition for the existence of the desired distribution is that $\sum_{e \in P} ρ_e \geq π_P$ for all $P \in \mathcal{P}$. We show that this condition is sufficient if and only if $\mathcal{P}$ has the weak max-flow/min-cut property. We further provide an efficient combinatorial algorithm for computing the corresponding distribution in the special case where $(E, \mathcal{P})$ is an abstract network. As a consequence, equilibria for the security game by Dahan et al. can be efficiently computed in a wide variety of settings (including arbitrary digraphs).
As a subroutine of our algorithm, we provide a combinatorial algorithm for computing shortest paths in abstract networks, partially answering an open question by McCormick (SODA 1996). We further show that a conservation law proposed by Dahan et al. for the requirement vector $π$ in DAGs can be reduced to the setting of affine requirements described above.
An iterative approach for counting reduced ordered binary decision diagrams
For three decades binary decision diagrams, a data structure efficiently representing Boolean functions, have been widely used in many distinct contexts like model verification, machine learning, cryptography and also resolution of combinatorial problems. The most famous variant, called reduced ordered binary decision diagram (ROBDD for short), can be viewed as the result of a compaction procedure on the full decision tree. A useful property is that once an order over the Boolean variables is fixed, each Boolean function is represented by exactly one ROBDD. In this paper we aim at computing the exact distribution of the Boolean functions in $k$ variables according to the ROBDD size}, where the ROBDD size is equal to the number of decision nodes of the underlying directed acyclic graph (DAG for short) structure. Recall the number of Boolean functions with $k$ variables is equal to $2^{2^k}$, which is of double exponential growth with respect to the number of variables. The maximal size of a ROBDD with $k$ variables is $M_k \approx 2^k / k$. Apart from the natural combinatorial explosion observed, another difficulty for computing the distribution according to size is to take into account dependencies within the DAG structure of ROBDDs. In this paper, we develop the first polynomial algorithm to derive the distribution of Boolean functions over $k$ variables with respect to ROBDD size denoted by $n$. The algorithm computes the (enumerative) generating function of ROBDDs with $k$ variables up to size $n$. It performs $O(k n^4)$ arithmetical operations on integers and necessitates storing $O((k+n) n^2)$ integers with bit length $O(n\log n)$. Our new approach relies on a decomposition of ROBDDs layer by layer and on an inclusion-exclusion argument.
Free-fermions and canonical Grothendieck polynomials
Published
• View Publication
• BIB
We give a presentation of refined (dual) canonical Grothendieck polynomials and their skew versions using free-fermions. Using this, we derive a number of identities, including the skew Cauchy identities, branching rules, expansion formulas, and integral formulas.
Rational Homotopy Type of Complements of Submanifold Arrangements
In this work we provide an explicit cdga that controls the rational homotopy type of the complement $X-\cup_i Z_i$, where $X$ is a smooth compact algebraic variety and $\{Z_i\}$ is a collection of subvarieties such that all set-theoretical intersections are smooth. The model is given in terms of the cohomology of all intersections of $Z_i$'s, and the natural maps induced by the inclusions. Our construction is inspired by the work of J.Morgan, who covered the fundamental case where $\{Z_i\}$ is a divisor with normal crossings, and it is built on developments of the theory of mixed Hodge diagrams by Cirici-Horel. We avoid any explicit reduction to the normal crossings divisor case, e.g. via the wonderful compactification of De Concini-Procesi. As an application of our approach we recover and generalize a few separate results on the complements of arrangements in a uniform manner. These include the Kritz-Totaro model for graph configuration spaces, Yuzvinsky's model for affine subspace arrangements and Dupont's model for complements of hypersurfaces with hyperplane-like intersection.
Paradoxical decompositions and finitary colouring rules
We define "paradoxical colouring rule", show its relation to measure theoretic paradoxes, and demonstrate that proper vertex colouring can be a paradoxical colouring rule.
On the coefficients of $q$-series and modular forms
In this Ph.D dissertation (University of Virginia, 2022), we prove results about the coefficients of partition-theoretic generating functions and of coefficients of integer weight modular forms. Using various forms of the circle method, we prove results about the distribution of partition statistics in residue classes modulo $t$. For example, we prove that the parts of partitions into distinct parts are equidistributed modulo $t$ (but that certain biases occur nonetheless) and that the number of $t$-hooks in a partition is generally not equidistributed modulo primes. We also obtain exact formulas for the $t$-hook counting functions using modular transformation laws. We also employ the circle method to prove a conjecture of Coll, Mayers and Mayers that the $q$-series $(q, -q^3; q^4)_\infty^{-1}$ has non-negative coefficients. These topics cover Chapters 3-6. Chapter 7 gives an application of partition asymptotics for proving hyperbolicity of Jensen polynomials using the criterion of Griffin, Ono, Rolen and Zagier. Chapter 8 gives a new method for solving equations of the form $a_f(n) = α$, where $α\in \mathbb{Z}$ is odd and $a_f(n)$ are the coefficients of a normalized Hecke eigenform with trivial mod 2 Galois representation. The method is based on the primitive prime divisor theorem of Bilu, Hanrot, and Voutier along with methods in effective algebraic geometry for elliptic curves, hyperelliptic curves, and Thue equations.
Improved Ramsey-type theorems for Fibonacci numbers and other sequences
Published in Integers 25 (2025)
• Search Publication
Van der Waerden's theorem states that for any positive integers $k$ and $r$, there exists a smallest value $n = w(k,r)$, called the van der Waerden number, such that every $r$-coloring of $\{1,\dots,n\}$ contains a monochromatic $k$-term arithmetic progression. We consider two variants of van der Waerden numbers: the numbers $n = n(AP_D,k;r)$, the smallest value where every $r$-coloring of $\{1,\dots,n\}$ contains a monochromatic $k$-term arithmetic progression with common difference in $D$, and the numbers $n = Δ(D,k;r)$, the smallest value $n$ where every $r$-coloring of $\{1,\dots,n\}$ contains a sequence $x_1 < \dots < x_k$ where the differences between consecutive terms are members of $D$. We study the case when $D$ is set of Fibonacci numbers $F$ and give improved bounds for the largest $r$ where $n(AP_F,k;r)$ and $Δ(F,k;r)$ exist for all $k$. Moreover, we give some computational data on $Δ(D,k;r)$ for other sets $D$.