Showing 20 papers (Total: 82064 papers, 47505 authors in database)
Unimodality of $k$-Regular Partitions into Distinct Parts with Bounded Largest Part
Published
• View Publication
• BIB
A $k$-regular partition into distinct parts is a partition into distinct parts with no part divisible by $k$. In this paper, we provide a general method to establish the unimodality of $k$-regular partition into distinct parts where the largest part is at most $km+k-1$. Let $d_{k,m}(n)$ denote the number of $k$-regular partition of $n$ into distinct parts where the largest part is at most $km+k-1$. In line with this method, we show that $d_{4,m}(n)\geq d_{4,m}(n-1)$ for $m\geq 0$, $1\leq n\leq 3(m+1)^2$ and $n\neq 4$ and $d_{8,m}(n)\geq d_{8,m}(n-1)$ for $m\geq 2$ and $1\leq n\leq 14(m+1)^2$. When $5\leq k\leq 10$ and $k\neq 8$, we show that $d_{k,m}(n)\geq d_{k,m}(n-1)$ for $m\geq 0$ and $1\leq n\leq \left\lfloor\frac{k(k-1)(m+1)^2}{4}\right\rfloor$.
Grading of affine Weyl semi-groups of Kac-Moody type
Published in Pacific J. Math. 332 (2024) 273-320
• View Publication
• BIB
For any Kac-Moody root data $\mathcal D$, D. Muthiah and D. Orr have defined a partial order on the semi-direct product $W^+$ of the integral Tits cone with the vectorial Weyl group of $\mathcal D$, and a strictly compatible $\mathbb Z$-valued length function. We classify covers for this order and show that this length function defines a $\mathbb Z$-grading of $W^+$, generalizing the case of affine ADE root systems and giving a positive answer to a conjecture of Muthiah and Orr.
On large regular (1,1,k)-mixed graphs
An $(r,z,k)$-mixed graph $G$ has every vertex with undirected degree $r$, directed in- and out-degree $z$, and diameter $k$. In this paper, we study the case $r=z=1$, proposing some new constructions of $(1,1,k)$-mixed graphs with a large number of vertices $N$. Our study is based on computer techniques for small values of $k$ and the use of graphs on alphabets for general $k$. In the former case, the constructions are either Cayley or lift graphs. In the latter case, some infinite families of $(1,1,k)$-mixed graphs are proposed with diameter of the order of $2\log_2 N$.
Prime sum graphs and the induced trees they contain
Published
• View Publication
• BIB
In this paper we show that prime sum graphs on $n$ vertices -- which are graphs on vertex set $\{1,2,...,n\}$ where $ij$ is an edge when $i+j$ is prime -- contain all trees with at most $\exp( c \log n / \log\log n)$ vertices as induced subgraphs. We also prove some results for related graphs, and end with some unsolved problems.
$\varepsilon$-Almost collision-flat universal hash functions and mosaics of designs
Published
• View Publication
• BIB
We introduce, motivate and study $\varepsilon$-almost collision-flat (ACFU) universal hash functions $f:\mathcal X\times\mathcal S\to\mathcal A$. Their main property is that the number of collisions in any given value is bounded. Each $\varepsilon$-ACFU hash function is an $\varepsilon$-almost universal (AU) hash function, and every $\varepsilon$-almost strongly universal (ASU) hash function is an $\varepsilon$-ACFU hash function. We study how the size of the seed set $\mathcal S$ depends on $\varepsilon,|\mathcal X|$ and $|\mathcal A|$. Depending on how these parameters are interrelated, seed-minimizing ACFU hash functions are equivalent to mosaics of balanced incomplete block designs (BIBDs) or to duals of mosaics of quasi-symmetric block designs; in a third case, mosaics of transversal designs and nets yield seed-optimal ACFU hash functions, but a full characterization is missing. By either extending $\mathcal S$ or $\mathcal X$, it is possible to obtain an $\varepsilon$-ACFU hash function from an $\varepsilon$-AU hash function or an $\varepsilon$-ASU hash function, generalizing the construction of mosaics of designs from a given resolvable design (Gnilke, Greferath, Pav{\v c}ević, Des. Codes Cryptogr. 86(1)). The concatenation of an ASU and an ACFU hash function again yields an ACFU hash function. Finally, we motivate ACFU hash functions by their applicability in privacy amplification.
Combinatorial study of morsifications of real univariate singularities
Published in Mathematische Nachrichten, 2024
• View Publication
• BIB
We study a broad class of morsifications of germs of univariate real analytic functions. We characterize the combinatorial types of the resulting Morse functions, via planar contact trees constructed from Newton-Puiseux roots of the polar curves of the morsifications.
Sun's Series via Cyclotomic Multiple Zeta Values
Published in SIGMA 19 (2023), 074, 20 pages
• View Publication
• BIB
We prove and generalize several recent conjectures of Z.-W. Sun surrounding binomial coefficients and harmonic numbers. We show that Sun's series and their analogs can be represented as cyclotomic multiple zeta values of levels $N\in\{4,8,12,16,24\}$, namely Goncharov's multiple polylogarithms evaluated at $N$-th roots of unity.
On heroes in digraphs with forbidden induced forests
Published
• View Publication
• BIB
We continue a line of research which studies which hereditary families of digraphs have bounded dichromatic number. For a class of digraphs $\mathcal{C}$, a hero in $\mathcal{C}$ is any digraph $H$ such that $H$-free digraphs in $\mathcal{C}$ have bounded dichromatic number. We show that if $F$ is an oriented star of degree at least five, the only heroes for the class of $F$-free digraphs are transitive tournaments. For oriented stars $F$ of degree exactly four, we show the only heroes in $F$-free digraphs are transitive tournaments, or possibly special joins of transitive tournaments. Aboulker et al. characterized the set of heroes of $\{H, K_{1} + \vec{P_{2}}\}$-free digraphs almost completely, and we show the same characterization for the class of $\{H, rK_{1} + \vec{P_{3}}\}$-free digraphs. Lastly, we show that if we forbid two "valid" orientations of brooms, then every transitive tournament is a hero for this class of digraphs.
Machine-Learning Kronecker Coefficients
Published
• View Publication
• BIB
The Kronecker coefficients are the decomposition multiplicities of the tensor product of two irreducible representations of the symmetric group. Unlike the Littlewood--Richardson coefficients, which are the analogues for the general linear group, there is no known combinatorial description of the Kronecker coefficients, and it is an NP-hard problem to decide whether a given Kronecker coefficient is zero or not. In this paper, we show that standard machine-learning algorithms such as Nearest Neighbors, Convolutional Neural Networks and Gradient Boosting Decision Trees may be trained to predict whether a given Kronecker coefficient is zero or not. Our results show that a trained machine can efficiently perform this binary classification with high accuracy ($\approx 0.98$).
Infinite families of $k$-vertex-critical ($P_5$, $C_5$)-free graphs
Published
• View Publication
• BIB
A graph is $k$-vertex-critical if $χ(G)=k$ but $χ(G-v)<k$ for all $v\in V(G)$. We construct a new infinite families of $k$-vertex-critical $(P_5,C_5)$-free graphs for all $k\ge 6$. Our construction generalizes known constructions for $4$-vertex-critical $P_7$-free graphs and $5$-vertex-critical $P_5$-free graphs and is in contrast to the fact that there are only finitely many $5$-vertex-critical $(P_5,C_5)$-free graphs. In fact, our construction is actually even more well-structured, being $(2P_2,K_3+P_1,C_5)$-free.
New scattered sequences of order 3
Scattered sequences are a generalization of scattered polynomials. So far, only scattered sequences of order one and two have been constructed. In this paper an infinite family of scattered sequences of order three is obtained. Equivalence issues are also considered.
On the Frobenius Number and Genus of a Collection of Semigroups Generalizing Repunit Numerical Semigroups
Published
• View Publication
• BIB
Let $A=(a_1, a_2, \ldots, a_n)$ be a sequence of relative prime positive integers with $a_i\geq 2$. The Frobenius number $F(A)$ is the largest integer not belonging to the numerical semigroup $\langle A\rangle$ generated by $A$. The genus $g(A)$ is the number of positive integer elements not in $\langle A\rangle$. The Frobenius problem is to determine $F(A)$ and $g(A)$ for a given sequence $A$. In this paper, we study the Frobenius problem of $A=\left(a,h_1a+b_1d,h_2a+b_2d,\ldots,h_ka+b_kd\right)$ with some restrictions. An innovation is that $d$ can be a negative integer. In particular, when $A=\left(a,ba+d,b^2a+\frac{b^2-1}{b-1}d,\ldots,b^ka+\frac{b^k-1}{b-1}d\right)$, we obtain formulas for $F(A)$ and $g(A)$ when $a\geq k-1-\frac{d-1}{b-1}$. Our formulas simplify further for some special cases, such as Mersenne, Thabit, and repunit numerical semigroups. Finally, we partially solve an open problem for the Proth numerical semigroup.
Non-empty pairwise cross-intersecting families
Published
• View Publication
• BIB
Two families $\mathcal{A}$ and $\mathcal{B}$ are cross-intersecting if $A\cap B\ne \emptyset$ for any $A\in \mathcal{A}$ and $B\in \mathcal{B}$. We call $t$ families $\mathcal{A}_1, \mathcal{A}_2,\dots, \mathcal{A}_t$ pairwise cross-intersecting families if $\mathcal{A}_i$ and $\mathcal{A}_j$ are cross-intersecting when $1\le i<j \le t$. Additionally, if $\mathcal{A}_j\ne \emptyset$ for each $j\in [t]$, then we say that $\mathcal{A}_1, \mathcal{A}_2,\dots, \mathcal{A}_t$ are non-empty pairwise cross-intersecting. Let $\mathcal{A}_1\subset{[n]\choose k_1}, \mathcal{A}_2\subset{[n]\choose k_2}, \dots, \mathcal{A}_t\subset{[n]\choose k_t}$ be non-empty pairwise cross-intersecting families with $t\geq 2$, $k_1\geq k_2\geq \cdots \geq k_t$, $n\ge k_1+k_2$ and $d_1, d_2, \dots, d_t$ be positive numbers. In this paper, we give a sharp upper bound of $\sum_{j=1}^td_j|\mathcal{A}_j|$ and characterize the families $\mathcal{A}_1, \mathcal{A}_2,\dots, \mathcal{A}_t$ attaining the upper bound. Our results unifies results of Frankl and Tokushige [J. Combin. Theory Ser. A 61 (1992)], Shi, Frankl and Qian [Combinatorica 42 (2022)], Huang and Peng \cite{huangpeng}, and Zhang-Feng \cite{ZF2023}. Furthermore, our result can be applied in the treatment for some $n<k_1+k_2$ while all previous known results do not have such an application. In the proof, a result of Kruskal-Katona is applied to allow us to consider only families $\mathcal{A}_i$ whose elements are the first $|\mathcal{A}_i|$ elements in lexicographic order. We bound $\sum_{i=1}^t{|\mathcal{A}_i|}$ by a single variable function $g(R)$, where $R$ is the last element of $\mathcal{A}_1$ in lexicographic order. One crucial and challenge part is to verify that $-g(R)$ has unimodality. We think that the unimodality of functions in this paper are interesting in their own, in addition to the extremal result.
Optimization in graphical small cancellation theory
Published in Discrete Mathematics 347(4) (2024), 113842
• View Publication
• BIB
Gromov (2003) constructed finitely generated groups whose Cayley graphs contain all graphs from a given infinite sequence of expander graphs of unbounded girth and bounded diameter-to-girth ratio. These so-called Gromov monster groups provide examples of finitely generated groups that do not coarsely embed into Hilbert space, among other interesting properties. If graphs in Gromov's construction admit graphical small cancellation labellings, then one gets similar examples of Cayley graphs containing all the graphs of the family as isometric subgraphs. Osajda (2020) recently showed how to obtain such labellings using the probabilistic method. In this short note, we simplify Osajda's approach, decreasing the number of generators of the resulting group significantly.
Extremal spectral behavior of weighted random $d$-regular graphs
Analyzing the spectral behavior of random matrices with dependency among entries is a challenging problem. The adjacency matrix of the random $d$-regular graph is a prominent example that has attracted immense interest. A crucial spectral observable is the extremal eigenvalue, which reveals useful geometric properties of the graph. According to the Alon's conjecture, which was verified by Friedman, the (nontrivial) extremal eigenvalue of the random $d$-regular graph is approximately $2\sqrt{d-1}$.
In the present paper, we analyze the extremal spectrum of the random $d$-regular graph (with $d\ge 3$ fixed) equipped with random edge-weights, and precisely describe its phase transition behavior with respect to the tail of edge-weights. In addition, we establish that the extremal eigenvector is always localized, showing a sharp contrast to the unweighted case where all eigenvectors are delocalized. Our method is robust and inspired by a sparsification technique developed in the context of Erdős-Rényi graphs (Ganguly and Nam, '22), which can also be applied to analyze the spectrum of general random matrices whose entries are dependent.
On Seymour's and Sullivan's Second Neighbourhood Conjectures
Published
• View Publication
• BIB
For a vertex $x$ of a digraph, $d^+(x)$ ($d^-(x)$, resp.) is the number of vertices at distance 1 from (to, resp.) $x$ and $d^{++}(x)$ is the number of vertices at distance 2 from $x$. In 1995, Seymour conjectured that for any oriented graph $D$ there exists a vertex $x$ such that $d^+(x)\leq d^{++}(x)$. In 2006, Sullivan conjectured that there exists a vertex $x$ in $D$ such that $d^-(x)\leq d^{++}(x)$. We give a sufficient condition in terms of the number of transitive triangles for an oriented graph to satisfy Sullivan's conjecture. In particular, this implies that Sullivan's conjecture holds for all orientations of planar graphs and of triangle-free graphs. An oriented graph $D$ is an oriented split graph if the vertices of $D$ can be partitioned into vertex sets $X$ and $Y$ such that $X$ is an independent set and $Y$ induces a tournament. We also show that the two conjectures hold for some families of oriented split graphs, in particular, when $Y$ induces a regular or an almost regular tournament.
Local Antimagic Coloring of Some Graphs
Given a graph $G =(V,E)$, a bijection $f: E \rightarrow \{1, 2, \dots,|E|\}$ is called a local antimagic labeling of $G$ if the vertex weight $w(u) = \sum_{uv \in E} f(uv)$ is distinct for all adjacent vertices. The vertex weights under the local antimagic labeling of $G$ induce a proper vertex coloring of a graph $G$. The \textit{local antimagic chromatic number} of $G$ denoted by $χ_{la}(G)$ is the minimum number of weights taken over all such local antimagic labelings of $G$. In this paper, we investigate the local antimagic chromatic numbers of the union of some families of graphs, corona product of graphs, and necklace graph and we construct infinitely many graphs satisfying $χ_{la}(G) = χ(G)$.
Transversals via regularity
Published
• View Publication
• BIB
Given graphs $G_1,\ldots,G_s$ all on the same vertex set and a graph $H$ with $e(H) \leq s$, a copy of $H$ is transversal or rainbow if it contains at most one edge from each $G_c$. When $s=e(H)$, such a copy contains exactly one edge from each $G_i$. We study the case when $H$ is spanning and explore how the regularity blow-up method, that has been so successful in the uncoloured setting, can be used to find transversals. We provide the analogues of the tools required to apply this method in the transversal setting. Our main result is a blow-up lemma for transversals that applies to separable bounded degree graphs $H$.
Our proofs use weak regularity in the $3$-uniform hypergraph whose edges are those $xyc$ where $xy$ is an edge in the graph $G_c$. We apply our lemma to give a large class of spanning $3$-uniform linear hypergraphs $H$ such that any sufficiently large uniformly dense $n$-vertex $3$-uniform hypergraph with minimum vertex degree $Ω(n^2)$ contains $H$ as a subhypergraph. This extends work of Lenz, Mubayi and Mycroft.
Representative set statements for delta-matroids and the Mader delta-matroid
We present representative sets-style statements for linear delta-matroids, which are set systems that generalize matroids, with important connections to matching theory and graph embeddings. Furthermore, our proof uses a new approach of sieving polynomial families, which generalizes the linear algebra approach of the representative sets lemma to a setting of bounded-degree polynomials. The representative sets statements for linear delta-matroids then follow by analyzing the Pfaffian of the skew-symmetric matrix representing the delta-matroid. Applying the same framework to the determinant instead of the Pfaffian recovers the representative sets lemma for linear matroids. Altogether, this significantly extends the toolbox available for kernelization.
As an application, we show an exact sparsification result for Mader networks: Let $G=(V,E)$ be a graph and $\mathcal{T}$ a partition of a set of terminals $T \subseteq V(G)$, $|T|=k$. A $\mathcal{T}$-path in $G$ is a path with endpoints in distinct parts of $\mathcal{T}$ and internal vertices disjoint from $T$. In polynomial time, we can derive a graph $G'=(V',E')$ with $T \subseteq V(G')$, such that for every subset $S \subseteq T$ there is a packing of $\mathcal{T}$-paths with endpoints $S$ in $G$ if and only if there is one in $G'$, and $|V(G')|=O(k^3)$. This generalizes the (undirected version of the) cut-covering lemma, which corresponds to the case that $\mathcal{T}$ contains only two blocks.
To prove the Mader network sparsification result, we furthermore define the class of Mader delta-matroids, and show that they have linear representations. This should be of independent interest.
From coordinate subspaces over finite fields to ideal multipartite uniform clutters
Published
• View Publication
• BIB
Take a prime power $q$, an integer $n\geq 2$, and a coordinate subspace $S\subseteq GF(q)^n$ over the Galois field $GF(q)$. One can associate with $S$ an $n$-partite $n$-uniform clutter $\mathcal{C}$, where every part has size $q$ and there is a bijection between the vectors in $S$ and the members of $\mathcal{C}$.
In this paper, we determine when the clutter $\mathcal{C}$ is ideal, a property developed in connection to Packing and Covering problems in the areas of Integer Programming and Combinatorial Optimization. Interestingly, the characterization differs depending on whether $q$ is $2,4$, a higher power of $2$, or otherwise. Each characterization uses crucially that idealness is a minor-closed property: first the list of excluded minors is identified, and only then is the global structure determined. A key insight is that idealness of $\mathcal{C}$ depends solely on the underlying matroid of $S$.
Our theorems also extend from idealness to the stronger max-flow min-cut property. As a consequence, we prove the Replication and $τ=2$ Conjectures for this class of clutters.