Showing 20 papers (Total: 81564 papers, 47262 authors in database)
Partial Algebraic Shifting
We study algebraic shifting of uniform hypergraphs and finite simplicial complexes in the exterior algebra with respect to matrices which are not necessarily generic. Several questions raised by Kalai (2002) are addressed. For instance, it turns out that the combinatorial shifting of Erdős$\unicode{x2013}$Ko$\unicode{x2013}$Rado (1961) arises as a special case. Moreover, we identify a sufficient condition for partial shifting to preserve the Betti numbers of a simplicial complex; examples show that this condition is sharp.
RPS: A Generic Reservoir Patterns Sampler
Published
• View Publication
• BIB
Efficient learning from streaming data is important for modern data analysis due to the continuous and rapid evolution of data streams. Despite significant advancements in stream pattern mining, challenges persist, particularly in managing complex data streams like sequential and weighted itemsets. While reservoir sampling serves as a fundamental method for randomly selecting fixed-size samples from data streams, its application to such complex patterns remains largely unexplored. In this study, we introduce an approach that harnesses a weighted reservoir to facilitate direct pattern sampling from streaming batch data, thus ensuring scalability and efficiency. We present a generic algorithm capable of addressing temporal biases and handling various pattern types, including sequential, weighted, and unweighted itemsets. Through comprehensive experiments conducted on real-world datasets, we evaluate the effectiveness of our method, showcasing its ability to construct accurate incremental online classifiers for sequential data. Our approach not only enables previously unusable online machine learning models for sequential data to achieve accuracy comparable to offline baselines but also represents significant progress in the development of incremental online sequential itemset classifiers.
Using polynomials to find lower bounds for $r$-bond bootstrap percolation
The $r$-bond bootstrap percolation process on a graph $G$ begins with a set $S$ of infected edges of $G$ (all other edges are healthy). At each step, a healthy edge becomes infected if at least one of its endpoints is incident with at least $r$ infected edges (and it remains infected). If $S$ eventually infects all of $E(G)$, we say $S$ percolates. In this paper we provide recursive formulae for the minimum size of percolating sets in several large families of graphs. We utilise an algebraic method introduced by Hambardzumyan, Hatami, and Qian, and substantially extend and generalise their work.
Minimum number of distinct eigenvalues of distance-regular and signed Johnson graphs
We study the minimum number of distinct eigenvalues over a collection of matrices associated with a graph. Lower bounds are derived based on the existence or non-existence of certain cycle(s) in a graph. A key result proves that every Johnson graph has a signed variant with exactly two distinct eigenvalues. We also explore applications to weighing matrices, linear ternary codes, tight frames, and compute the minimum rank of Johnson graphs. Further results involve the minimum number of distinct eigenvalues for graphs in association schemes, distance-regular graphs, and Hamming graphs. We also draw some connections with simplicial complexes and higher-order Laplacians.
Packing Designs with large block size
Published
• View Publication
• BIB
Given positive integers $v$, $k$, $t$ and $λ$ with $v \geq k \geq t$, a packing design PD$_λ(v,k,t)$ is a pair $(V,\mathcal{B})$, where $V$ is a $v$-set and $\mathcal{B}$ is a collection of $k$-subsets of $V$ such that each $t$-subset of $V$ appears in at most $λ$ elements of $\mathcal{B}$. When $λ=1$, a PD$_1(v,k,t)$ is equivalent to a binary code with length $v$, minimum distance $2(k-t+1)$ and constant weight $k$. The maximum size of a PD$_λ(v,k,t)$ is called the {packing number}, denoted PDN$_λ(v,k,t)$. In this paper we consider packing designs with $k$ large relative to $v$. We prove that for a positive integer $n$, PDN$_λ(v,k,t) = n$ whenever $nk-(t-1)\binom{n}{λ+1} \leq λv < (n+1)k-(t-1)\binom{n+1}{λ+1}$.
We also prove that if no point appears in more than three blocks, then the blocks of a PD$_2(v,k,2)$ can be ordered so that no ordered pair occurs more than once. This produces a directed packing design and we show that the corresponding directed packing number is equal to $n$ when $nk-\binom{n}{3} \leq 2v < (n+1)k-\binom{n+1}{3}$. Such directed packing designs yield $(k-t)$-insertion/deletion codes.
Upper bounds of Steklov eigenvalues on graphs
Published
• View Publication
• BIB
Let $Δ$ and $B$ be the maximum vertex degree and a subset of vertices in a graph $G$ respectively. In this paper, we study the first (non-trivial) Steklov eigenvalue $σ_2$ of $G$ with boundary $B$. Using metrical deformation via flows, we first show that $σ_2 = \mathcal{O}\left(\frac{Δ(g+1)^3}{|B|}\right)$ for graphs of orientable genus $g$ if $|B| \geq \max\{3 \sqrt{g},|V|^{\frac{1}{4} + ε}, 9\}$ for some $ε> 0$. This can be seen as a discrete analogue of Karpukhin's bound. Secondly, we prove that $σ_2 \leq \frac{8Δ+4X}{|B|}$ based on planar crossing number $X$. Thirdly, we show that $σ_2 \leq \frac{|B|}{|B|-1} \cdot δ_B$, where $δ_B$ denotes the minimum degree for boundary vertices in $B$. At last, we compare several upper bounds on Laplacian eigenvalues and Steklov eigenvalues.
Algebraic approach to stability results for Erdős-Ko-Rado theorem
Celebrated results often unfold like episodes in a long-running series. In the field of extremal set thoery, Erdős, Ko, and Rado in 1961 established that any $k$-uniform intersecting family on $[n]$ has a maximum size of $\binom{n-1}{k-1}$, with the unique extremal structure being a star. In 1967, Hilton and Milner followed up with a pivotal result, showing that if such a family is not a star, its size is at most $\binom{n-1}{k-1} - \binom{n-k-1}{k-1} + 1$, and they identified the corresponding extremal structures. In recent years, Han and Kohayakawa, Kostochka and Mubayi, and Huang and Peng have provided the second and third levels of stability results in this line of research.
In this paper, we provide a unified approach to proving the stability result for the Erdős-Ko-Rado theorem at any level. Our framework primarily relies on a robust linear algebra method, which leverages appropriate non-shadows to effectively handle the structural complexities of these intersecting families.
On a conjecture of Tokushige for cross-$t$-intersecting families
Published
• View Publication
• BIB
Two families of sets $\mathcal{A}$ and $\mathcal{B}$ are called cross-$t$-intersecting if $|A\cap B|\ge t$ for all $A\in \mathcal{A}$, $B\in \mathcal{B}$. An active problem in extremal set theory is to determine the maximum product of sizes of cross-$t$-intersecting families. This incorporates the classical Erdős--Ko--Rado (EKR) problem. In the present paper, we prove that if $\mathcal{A}$ and $\mathcal{B}$ are cross-$t$-intersecting families of $\binom {[n]}k$ with $k\ge t\ge 3$ and $n\ge (t+1)(k-t+1)$, then $|\mathcal{A}||\mathcal{B}|\le {\binom{n-t}{k-t}}^2$; moreover, if $n>(t+1)(k-t+1)$, then equality holds if and only if $\mathcal{A}=\mathcal{B}$ is a maximum $t$-intersecting subfamily of $\binom{[n]}{k}$. This confirms a conjecture of Tokushige for $t\ge 3$.
Universal graph series and vertex-weighted version of chromatic symmetric function
We focus on two specific generalizations of the chromatic symmetric function: one involving universal graphs and the other concerning vertex-weighted graphs. In this paper, we introduce a unified generalization that incorporates both approaches and demonstrate that the resulting new invariants inherit characteristics from each, particularly the properties of complete invariants. Additionally, we construct complete invariants for directed acyclic graphs (DAGs) and partially ordered sets (posets). As a corollary, these invariants can distinguish hyperplane arrangements that are distinguishable by their intersection posets.
Erdős-Gyárfás conjecture on graphs without long induced paths
Erdős and Gyárfás conjectured in 1994 that every graph with minimum degree at least 3 has a cycle of length a power of 2. In 2022, Gao and Shan (Graphs and Combinatorics) proved that the conjecture is true for $P_8$-free graphs, i.e., graphs without any induced copies of a path on 8 vertices. In 2024, Hu and Shen (Discrete Mathematics) improved this result by proving that the conjecture is true for $P_{10}$ -free graphs. With the aid of a computer search, we improve this further by proving that the conjecture is true for $P_{13}$ -free graphs.
Sampling and counting triangle-free graphs near the critical density
Published
• View Publication
• BIB
We study the following combinatorial counting and sampling problems: can we efficiently sample from the Erdős-Rényi random graph $G(n,p)$ conditioned on triangle-freeness? Can we efficiently approximate the probability that $G(n,p)$ is triangle-free? These are prototypical instances of forbidden substructure problems ubiquitous in combinatorics. The algorithmic questions are instances of approximate counting and sampling for a hypergraph hard-core model.
Estimating the probability that $G(n,p)$ has no triangles is a fundamental question in probabilistic combinatorics and one that has led to the development of many important tools in the field. Through the work of several authors, the asymptotics of the logarithm of this probability are known if $p =o( n^{-1/2})$ or if $p =ω( n^{-1/2})$. The regime $p = Θ(n^{-1/2})$ is more mysterious, as this range witnesses a dramatic change in the the typical structural properties of $G(n,p)$ conditioned on triangle-freeness. As we show, this change in structure has a profound impact on the performance of sampling algorithms.
We give two different efficient sampling algorithms for triangle-free graphs (and complementary algorithms to approximate the triangle-freeness large deviation probability), one that is efficient when $p < c/\sqrt{n}$ and one that is efficient when $p > C/\sqrt{n}$ for constants $c, C>0$. The latter algorithm involves a new approach for dealing with large defects in the setting of sampling from low-temperature spin models.
Deduction, Constrained Zero Forcing, and Constrained Searching
Deduction is a recently introduced graph searching process in which searchers clear the vertex set of a graph with one move each, with each searcher's movement determined by which of its neighbors are protected by other searchers. In this paper, we show that the minimum number of searchers required to clear the graph is the same in deduction as in constrained versions of other previously studied graph processes, namely zero forcing and fast-mixed search. We give a structural characterization, new bounds and a spectrum result on the number of searchers required. We consider the complexity of computing this parameter, giving an NP-completeness result for arbitrary graphs, and exhibiting families of graphs for which the parameter can be computed in polynomial time. We also describe properties of the deduction process related to the timing of searcher movement and the success of terminal layouts.
Symmetric Domino Tilings of Aztec Diamonds
In this paper, we give inductive sum formulas to calculate the number of diagonally symmetric, and diagonally \& anti-diagonally symmetric domino tilings of Aztec Diamonds. As a byproduct, we also find such a formula for the unrestricted case as well. Our proofs rely on a new technique for counting the number of perfect matchings of graphs, proposed by the authors recently.
Bounding the parameter $β$ of a distance-regular graph with classical parameters
Published
• View Publication
• BIB
Let $Γ$ be a distance-regular graph with classical parameters $(D, b, α, β)$ satisfying $b\geq 2$ and $D\geq 3$. Let $r=1+b+b^2+\cdots+b^{D-1}$. In 1999, K. Metsch showed that there exists a positive constant $C(α,b)$ only depending on $α$ and $b$, such that if $β\geq C(α, b)r^2$, then either $Γ$ is a Grassmann graph or a bilinear forms graph.
In this work, we show that for $b\geq 2$ and $D\geq 3$, then there exists a constant $C_1(α, b)$ only depending on $α$ and $b$, such that if $β\geq C_1(α, b)r$, then either $Γ$ is a Grassmann graph, or a bilinear forms graph.
RSK as a linear operator
Published
• View Publication
• BIB
The Robinson-Schensted-Knuth correspondence (RSK) is a bijection between nonnegative integer matrices and pairs of Young tableaux. We study it as a linear operator on the coordinate ring of matrices, proving results about its diagonalizability, eigenvalues, trace, and determinant. Our criterion for diagonalizability involves the $ADE$ classification of Dynkin diagrams, as well as the diagram for $E_9$.
Residually finite groups with uniformly almost flat quotients
Published
• View Publication
• BIB
We show that if all the finite coset spaces of a polycyclic group have diameter bounded uniformly below by a polynomial in their size then the group is virtually nilpotent. We obtain the same conclusion for a finitely generated residually torsion-free nilpotent group under the weaker assumption that the finite quotient groups have diameter bounded uniformly below by a polynomial in their size. This extends work of Khukhro and Valette.
A proof of a conjecture on trivariate permutations
In this note we show (for a large enough dimension of the underlying field) a conjecture of [C. Beierle, C. Carlet, G. Leander, L. Perrin, {\em A further study of quadratic APN permutations in dimension nine}, Finite Fields Appl. 81 (2022), 102049] on a trivariate permutation. This function is a global representation of two new sporadic quadratic APN permutations in dimension $9$ found by [C. Beierle, G. Leander, {\em New instances of quadratic APN functions}, IEEE Trans. Inf. Theory 68(1) (2022), 670--678].
The Hadamard multiary quasigroup product
The Hadamard quasigroup product has recently been introduced as a natural generalization of the classical Hadamard product of matrices. It is defined as the superposition operator of three binary operations, one of them being a quasigroup operation. This paper delves into the fundamentals of this superposition operator by considering its more general version over multiary groupoids. Particularly, we show how this operator preserves algebraic identities, multiary groupoid structures, inverse elements, isotopes, conjugates and orthogonality. Then, we generalize the mentioned Hadamard quasigroup product to multiary quasigroups. Based on this product, we prove that the number of $m$-ary quasigroups defined on a given set $X$ coincides with the number of $m$-ary operations that are orthogonal to a given $m$-set of orthogonal $m$-ary operations over $X$.
Relative volume of comparable pairs under semigroup majorization
Published in Lett. Math. Phys. 115, 79 (2025)
• View Publication
• BIB
Any semigroup $\mathcal{S}$ of stochastic matrices induces a semigroup majorization relation $\prec^{\mathcal{S}}$ on the set $Δ_{n-1}$ of probability $n$-vectors. Pick $X,Y$ at random in $Δ_{n-1}$: what is the probability that $X$ and $Y$ are comparable under $\prec^{\mathcal{S}}$? We review recent asymptotic ($n\to\infty$) results and conjectures in the case of majorization relation (when $\mathcal{S}$ is the set of doubly stochastic matrices), discuss natural generalisations, and prove a new asymptotic result in the case of majorization, and new exact finite-$n$ formulae in the case of UT-majorization relation, i.e. when $\mathcal{S}$ is the set of upper-triangular stochastic matrices.
A descent-excedance correspondence in colored permutation groups
Published
• View Publication
• BIB
It is well known that descents and excedances are equidistributed in the symmetric group. We show that the descent and excedance enumerators, summed over permutations with a fixed first letter are identical when we perform a simple change of the first letter. We generalize this to type B and other colored permutation groups. We are led to defining descents and excedances through linear orders. With respect to a particular order, when the number of colors is even, we get a result that generalizes the type B results. Lastly, we get a type B counterpart of Conger's result which refines the well known Carlitz identity.