Showing 20 papers (Total: 83190 papers, 48060 authors in database)
Equiangular tight frames in real symplectic space: Zauner's conjecture and the skew Hadamard conjecture
Published
• View Publication
• BIB
We introduce the notion of equiangular tight frames in real symplectic spaces and formulate a conjecture on their existence in terms of the dimension and number of vectors. Our main results shows the "symplectic Zauner's conjecture" is equivalent to the skew Hadamard conjecture. The proof involves counting subgraphs called "diamonds" in tournaments.
Spectra of Corona Products of Digraphs
Published
• View Publication
• BIB
Two types of corona products for simple directed graphs are introduced, extending the classical notions from the undirected setting: the vertex-corona and the arc-corona. Their structural and spectral properties are investigated through the use of digraph coronals, with particular emphasis on the adjacency, Laplacian, and signless Laplacian spectra. Finally, the coronals corresponding to these three matrices are computed for several families of digraphs.
An averaging result for union-closed families of sets
Let $\mathcal{A}$ be a union-closed family of sets with base set $b(\mathcal{A})=\bigcup_{A \in \mathcal{A}}A$ denoted by $[n]=\{1, \cdots, n\}$, and for any real $x>0$, let $\mathcal{A}_{<x} = \{A \in \mathcal{A} \ | \ |A| < x\}$. Also, denote by $\mathcal{B}$ any smallest irredundant subfamily of $\mathcal{A}_{<n/2}$ such that $b(\mathcal{B})=b(\mathcal{A}_{<n/2})$. We prove that if $\mathcal{A}$ is separating with height $h = 4 \leq n$ and $0 \leq |\mathcal{B}| \leq 2$, then the average size of a member set from $\mathcal{A}$ is at least $n/2$. We show that $h=4$ is greatest possible with respect to this result, and conclude by considering the remaining domain $3 \leq |\mathcal{B}| \leq 4$.
Remarks on proper conflict-free degree-choosability of graphs with prescribed degeneracy
Published
• View Publication
• BIB
A proper coloring $φ$ of $G$ is called a proper conflict-free coloring of $G$ if for every non-isolated vertex $v$ of $G$, there is a color $c$ such that $|φ^{-1}(c)\cap N_G(v)|=1$. As an analogy of degree-choosability of graphs, we introduced the notion of proper conflict-free $({\rm degree}+k)$-choosability of graphs. For a non-negative integer $k$, a graph $G$ is proper conflict-free $({\rm degree}+k)$-choosable if for any list assignment $L$ of $G$ with $|L(v)|\geq d_G(v)+k$ for every vertex $v\in V(G)$, $G$ admits a proper conflict-free coloring $φ$ such that $φ(v)\in L(v)$ for every vertex $v\in V(G)$. In this note, we first remark if a graph $G$ is $d$-degenerate, then $G$ is proper conflict-free $({\rm degree}+d+1)$-choosable. Furthermore, when $d=1$, we can reduce the number of colors by showing that every tree is proper conflict-free $({\rm degree}+1)$-choosable. This motivates us to state a question.
Proof of a conjecture of Garvan and Jennings-Shaffer on the nonnegativity of M_{C1}(m,n) and M_{C5}(m,n)
Published
• View Publication
• BIB
In their 2016 paper on exotic Bailey--Slater SPT-functions, Garvan and Jennings-Shaffer introduced many new spt-crank-type functions and proposed a conjecture that the spt-crank-type functions $M_{C1}(m,n)$ and $M_{C5}(m,n)$ are both nonnegative for all $m\in\mathbb{Z}$ and $n\in\mathbb{N}.$ Applying Wright\textquoteright s circle method, Jang and Kim showed that $M_{C1}(m,n)$ and $M_{C5}(m,n)$ are both positive for a fixed integer $m$ and large enough integers $n.$ Up to now, no complete proof of this conjecture has been given. In this paper, we provide a complete proof for this conjecture by using the theory of lattice points. Our proof is quite different from that of Jang and Kim.
Sharp lower bounds and extremal graphs for the generalized $k$-independence number
A vertex set $S$ is a generalized $k$-independent set if the induced subgraph $G[S]$ contains no tree on $k$ vertices. The generalized $k$-independence number $α_k(G)$ is the maximum size of such a set. For a tree $T$ with $n$ vertices, Bock et al. [J. Graph Theory 103 (2023) 661-673] and Li et al. [Taiwanese J. Math. 27 (2023) 647-683] independently showed that $α_3(G)\geq \frac{2}{3}n$ and identified the extremal trees that attain this lower bound. Subsequently, Li and Zhou [Appl. Math. Comput. 484 (2025) 129018] established that $α_4(T) \geq \frac{3}{4}n$ and they further characterized all trees achieving this bound. This result was recently extended by Huang, who proved that $α_4(G)\geq \frac{3}{4}(n-ω(G))$ holds for every $n$-vertex graph, where $ω(G)$ denotes the dimension of the cycle space of $G.$ The extremal graphs attaining this lower bound were also fully characterized. Based on these findings, Huang proposed a conjecture concerning a lower bound for $α_k(G)\ (k\geq2)$ together with the corresponding extremal graphs, which naturally generalizes all the aforementioned results. In this paper, we confirm this conjecture here. We further quantify strict improvements over this bound when the equality conditions fail, and we provide a linear-time algorithm that constructs a generalized $k$-independent set of size at least $\left\lceil\frac{k-1}{k}\left(n-ω(G)\right)\right\rceil$.
The Insertion Chain Complex: A Topological Approach to the Structure of Word Sets
We introduce the Insertion Chain Complex, a higher-dimensional extension of insertion graphs, as a new framework for analyzing finite sets of words. We study its topological and combinatorial properties, in particular its homology groups, as measures of the complexity for word sets. After establishing its theoretical foundations, we investigate the computational and combinatorial aspects of these complexes. Among other results, we classify minimal 1-dimensional cycles and prove that every finitely generated abelian group can be realized as the homology of the insertion complex for some set of words. We also identify conditions that guarantee vanishing homology. These results provide new invariants for characterizing finite sets of words through word-based topological structures and their properties.
Tricyclic graphs for which the second largest distance eigenvalue less than $-\frac{1}{2}$
Published
• View Publication
• BIB
Let $G$ be a simple connected graph with vertex set $V(G)=\{v_{1}, v_{2}, \ldots, v_{n}\}$. The distance $d_G(v_i,v_j)$ between two vertices $v_i$ and $v_j$ of $G$ is the length of a shortest path between $v_i$ and $v_j$. The distance matrix of $G$ is defined as $D(G)=(d_G(v_i,v_j))_{n\times n}$. The second largest distance eigenvalue of \( G \) is the second largest eigenvalues of $D(G)$. Guo and Zhou [Discrete Math. 347(2024), 114082] proved that any connected graph with the second largest distance eigenvalue less than $-\frac{1}{2}$ is chordal, and characterize all bicyclic graphs and split graphs with the second largest distance eigenvalue less than $-\frac{1}{2}$. Based on this, we characterize all tricyclic graphs with the second largest distance eigenvalue less than $-\frac{1}{2}$.
Labelled growth rates of $ω$-categorical structures and applications in choiceless set theory
We study the labelled growth rate of an $ω$-categorical structure $\mathfrak{A}$, i.e., the number of orbits of $Aut(\mathfrak{A})$ on $n$-tuples of distinct elements, and show that the model-theoretic property of monadic stability yields a gap in the spectrum of allowable labelled growth rates. As a further application, we obtain gap in the spectrum of allowable labelled growth rates in hereditary graph classes, with no a priori assumption of $ω$-categoricity. We also establish a way to translate results about labelled growth rates of $ω$-categorical structures into combinatorial statements about sets with weak finiteness properties in the absence of the axiom of choice, and derive several results from this translation.
Notes on the ordered set $A^A$ II. Higher Exponentials
For the finite ordered sets $A, D$, write $A^D$ for the ordered set of isotone maps $D \to A$ with the pointwise order. It was proved in earlier work that the order structure of $A^A$ determines~$A$ up to isomorphism. In this note we extend the result to higher function ordered sets such as $A^{(A^A)}$ and $(A^A)^A$. Our main theorem shows that the structure of $A^D$ determines~$A$.
Combinatorial Proofs for Overpartitions and Two-Colored Partitions II
Published
• View Publication
• BIB
Andrews and El Bachraoui recently studied various two-colored integer partitions, including those related to two-colored partitions into distinct parts with constraints and overpartitions. Their work raised questions about the existence of combinatorial proofs for these results, which were partially addressed by the first author and Zou. This paper provides combinatorial proofs for the remaining results concerning two-colored partitions and overpartitions with constraints.
Stoimenow matchings avoiding multiple Catalan patterns simultaneously
Published
• View Publication
• BIB
Motivated by Vassiliev's knot invariants, Stoimenow introduced a special class of matchings, now known as Stoimenow matchings. These matchings have since been linked to various combinatorial structures enumerated by the Fishburn numbers. In a recent paper, a problem posed by Bevan et al. was addressed concerning the identification of subsets of Stoimenow matchings counted by the Catalan numbers. Five such subsets were presented, each defined by the avoidance of a single pattern, referred to as a Catalan pattern, within Stoimenow matchings.
In the present paper, we extend this line of research by enumerating all cases of simultaneous avoidance of sets of Catalan patterns in Stoimenow matchings. This comprehensive analysis reveals connections to nine integer sequences listed in the OEIS.
Orthogonality of non-pretentious functions to polynomials over Function Fields
We prove that non-pretentious multiplicative functions are orthogonal to polynomials over $\mF_q[x]$ (up to characteristic conditions).
The Power Contamination Problem on Grids Revisited: Optimality, Combinatorics, and Links to Integer Sequences
Published
• View Publication
• BIB
This paper presents a combinatorial study of the power contamination problem, a dynamic variant of power domination modeled on grid graphs. We resolve a conjecture posed by Ainouche and Bouroubi (2021) by proving it is false and instead establish the exact value of the power contamination number on grid graphs. Furthermore, we derive recurrence relations for this number and initiate the enumeration of optimal contamination sets. We prove that the number of optimal solutions for specific grid families corresponds to well-known integer sequences, including those counting ternary words with forbidden subwords and the large Schröder numbers. This work settles the fundamental combinatorial questions of the power contamination problem on grids and reveals its rich connections to classical combinatorics.
Lifting of cycles in functional graphs
Published
• View Publication
• BIB
For a given function from a set to itself, we can define a directed graph called the functional graph, where the vertices are the elements of the set, and the edges are all the pairs of inputs and outputs for the function. In this article we consider functional graphs on Z/mZ with respect to polynomial functions. The main result describes the behavior of cycles in functional graphs on Z/p^nZ while $n$ is increasing, where $p$ is a prime number.
On the $P(t)$-adic Littlewood Conjecture in Characteristics $\ell \equiv 3\pmod{4}$
Published
• View Publication
• BIB
Given a prime $p$, the $p$-adic Littlewood Conjecture stands as a well-known arithmetic variant of the celebrated Littlewood Conjecture in Diophantine Approximation. In the same way as the latter, it admits a natural function field analogue depending on the choice of an irreducible polynomial $P(t)$ with coefficients in a field $\mathbb{K}$. This analogue is referred to as the $P(t)$-adic Littlewood Conjecture ($P(t)$-LC for short).
$P(t)$-LC is proved to fail for any choice of irreducible polynomial $P(t)$ over any ground field $\mathbb{K}$ with characteristic $ \ell \equiv 3\pmod{4}$. The counterexample refuting it is shown to present a local arithmetic obstruction emerging from the fact that -1 is not a quadratic residue modulo a prime $\ell\equiv 3\pmod{4}$.
The theory developed elucidates and generalises all previous approaches towards refuting the conjecture. They were all based on the computer-assisted method initiated by Adiceam, Nesharim and Lunnon (2021) which has been able to establish that $P(t)$-LC fails in some small characteristics (essentially up to 11). This computer-assisted method is, however, unable to provide a general statement as it relies on ad hoc computer verifications which, provided they terminate, refute $P(t)$--LC in a given characteristic. This limitation is overcome by exhibiting an arithmetic obstruction to the validity of $P(t)$--LC in infinitely many characteristics.
The existence of arithmetic obstructions within the context of $P(t)$--LC leaves the remaining case of odd characteristics $ \ell\equiv 1\pmod{4}$ dependent on their determination. This is shown to hold in an effective and explicit way.
Statistics of Erdős-Rényi random numerical semigroups
Published
• View Publication
• BIB
For $p>0$ a small parameter, let $\mathcal A \subseteq \mathbb{Z}_{>0}$ be a random subset where each positive integer is included independently with probability $p$. We show that, with high probability (as $p \to 0$), the numerical semigroup $\langle\mathcal A\rangle:=\{a_1+\cdots+a_k: k \geq 0, a_1, \ldots, a_k \in \mathcal A\}$ generated by $\mathcal A$ has Frobenius number and genus of size $\asymp p^{-1}(\log p^{-1})^2$ and embedding dimension of size $\asymp (\log p^{-1})^2$. This resolves an open problem of Bogart and the second author.
Between proportionnality and envy-freeness: k-proportionality
This article deals with the cake cutting problem. In this setting, there exists two notions of fair division: proportional division (when there are n players, each player thinks to get at least 1/n of the cake) and envy-free division (each player wants to keep his or her share because he or she does not envy the portion given to another player). Some results are valid for proportional division but not for envy-free division. Here, we introduce and study a scale between the proportional division and the envy-free division. The goal is to understand where is the gap between statements about proportional division and envy-free division. This scale comes from the notion introduced in this article: k-proportionality. When k = n this notion corresponds to the proportional division and when k = 2 it corresponds to envy-free division. With k-proportionality we can understand where some difficulties in fair division lie. First, we show that there are situations in which there is no k-proportional and equitable division of a pie with connected pieces when k $\le$ n -1. This result was known only for envy-free division, ie k = 2. Next, we prove that there are situations in which there is no Pareto-optimal k-proportional division of a cake with connected pieces when k $\le$ n -1. This result was known only for k = 2. These theorems say that we can get an impossibility result even if we do not consider an envy-free division but a weaker notion. Finally, k-proportionality allows to give a generalization with a uniform statement of theorems about strong envy-free and strong proportional divisions.
Asymptotics of higher Lie characters
Higher Lie characters form a distinguished family of symmetric group characters, which appear in many areas of algebra and combinatorics. An old open problem of Thrall is to decompose them into irreducibles. We propose a novel asymptotic approach to this problem, showing that many families of higher Lie characters tend to be proportional to the regular character. In particular, a random higher Lie character tends, in probability, to be proportional to the regular character.
An involution for trivariate symmetries of vincular patterns
Published
• View Publication
• BIB
We provide a bijective proof of the equidistribution of two pairs of vincular patterns in permutations, thereby resolving a recent open problem of Bitonti, Deb, and Sokal (arXiv:2412.10214). Since the bijection is involutive, we also confirm their conjecture on the equidistribution of triple vincular patterns. Somewhat unexpectedly, we show that this involution is closed on the set of Baxter permutations, thereby implying another trivariate symmetries of vincular patterns. The proof of this second result requires a variant of a characterization of Baxter permutations in terms of restricted Laguerre histories, first given by Viennot using the Françon-Viennot bijection.