Showing 20 papers (Total: 83342 papers, 48132 authors in database)
Rainbow triangles and the Erdős-Hajnal problem in projective geometries
We formulate a geometric version of the Erdős-Hajnal conjecture that applies to finite projective geometries rather than graphs, in both its usual 'induced' form and the multicoloured form. The multicoloured conjecture states, roughly, that a colouring $c$ of the points of $\mathsf{PG}(n-1,q)$ containing no copy of a fixed colouring $c_0$ of $\mathsf{PG}(k-1,q)$ for small $k$ must contain a subspace of dimension polynomial in $n$ that avoids some colour.
If $(k,q) = (2,2)$, then $c_0$ is a colouring of a three-element 'triangle', and there are three essentially different cases, all of which we resolve. We derive both the cases where $c_0$ assigns the same colour to two different elements from a recent breakthrough result in additive combinatorics due to Kelley and Meka. We handle the case that $c_0$ is a 'rainbow' colouring by proving that rainbow-triangle-free colourings of projective geometries are exactly those that admit a certain decomposition into two-coloured pieces. This is closely analogous to a theorem of Gallai on rainbow-triangle-free coloured complete graphs. We also show that existing structure theorems resolve certain two-coloured cases where $(k,q) = (2,3)$, and $(k,q) = (3,2)$.
On the Structure of Frames and Equiangular Lines over Finite Fields and their Connections to Design Theory
This paper concerns frames and equiangular lines over finite fields. We find a necessary and sufficient condition for systems of equiangular lines over finite fields to be equiangular tight frames (ETFs). As is the case over subfields of $\mathbb{C}$, it is necessary for the Welch bound to be saturated, but there is an additional condition required involving sums of triple products. We also prove that similar to the case over $\mathbb{C}$, collections of vectors are similar to a regular simplex essentially when the triple products of their scalar products satisfy a certain property. Finally, we investigate switching equivalence classes of frames and systems of lines focusing on systems of equiangular lines in finite orthogonal geometries with maximal incoherent sets, drawing connections to combinatorial design theory.
Elementary symmetric polynomials under the fixed point measure
We identify a surprising inequality satisfied by elementary symmetric polynomials under the action of the fixed point measure of a random permutation. Concretely, for any collection of $n$ non-negative real numbers $a_1, \dots, a_n \in \mathbb{R}_{\geq 0}$, we prove that
\[
\frac{1}{n!} \sum_{π\in S_n} \left[\prod_{\{i:i=π(i)\}} a_i\right] \ge \frac{1}{\binom{n}{2}} \sum_{S \in\binom{[n]}{2}} \left[ \left(\prod_{\{i \in S\}} a_i \right)^{1/2}\right],
\]
and this bound is sharp. To prove this elementary inequality, we construct a collection of differential operators to set up a monotone flow that then allows us to establish the inequality.
Improved Bounds on the Probability of a Union and on the Number of Events that Occur
Published
• View Publication
• BIB
Let $A_1, A_2, \ldots, A_n$ be events in a sample space. Given the probability of the intersection of each collection of up to $k+1$ of these events, what can we say about the probability that at least $r$ of the events occur? This question dates back to Boole in the 19th century, and it is well known that the odd partial sums of the Inclusion- Exclusion formula provide upper bounds, while the even partial sums provide lower bounds. We give a combinatorial characterization of the error in these bounds and use it to derive a very simple proof of the strongest possible bounds of a certain form, as well as a couple of improved bounds. The new bounds use more information than the classical Bonferroni-type inequalities, and are often sharper.
Arithmetic properties of $(\ell,m)$-regular colored partitions
Let $b^{k}_{\ell,m}(n)$ denotes the number of $k-$colored partitions of $n$ into parts that are not multiples of $\ell$ or $m$. We establish several congruence relations for $b_{\ell,m}(n)$. For instance, for any nonnegative integer $n$ $$b^{2}_{4,5}(8n+7) \equiv 0 \pmod{40}.$$
The asymptotic uniform distribution of subset sums
Published
• View Publication
• BIB
Let $G$ be a finite abelian group of order $n$, and for each $a\in G$ and integer $1\le h\le n$ let $\mathcal{F}_a(h)$ denote the family of all $h$-element subsets of $G$ whose sum is $a$. A problem posed by Katona and Makar-Limanov is to determine whether the minimum and maximum sizes of the families $\mathcal{F}_a(h)$ (as $a$ ranges over $G$) become asymptotically equal as $n\rightarrow \infty$ when $h=\left\lfloor\frac{n}{2}\right\rfloor$. We affirmatively answer this question and in fact show that the same asymptotic equality holds for every $4\leq h\leq \left\lfloor\frac{n}{2}\right\rfloor+1$.
Iwasawa theory for vertex-weighted graphs
Published
• View Publication
• BIB
Chung-Langlands established a matrix-tree theorem for positive-real valued vertex-weighted graphs, and Wu-Feng-Sato developed a theory of Ihara zeta functions for those graphs. In this paper, generalizing and refining these previous works, we initiate the Iwasawa theory for vertex-weighted graphs, which is a generalization of the Iwasawa theory for graphs initiated by Gonet and Vallières independently. First, we generalize the matrix-tree theorem by Chung-Langlands to arbitrary field-valued vertex-weighted graphs. Second, we refine and prove the so-called decomposition formula for vertex-weighted graphs and edge-weighted graphs without any assumption. Applying these results, we prove the Iwasawa-type formula and Kida's formula for $\mathbb{Z}_p^d$-towers of vertex-weighted graphs. Our refinement of the decomposition formulas allows us to estimate the root-wise growth of weighted complexities in $\mathbb{Z}_p^d$-towers. We also provide several numerical examples.
Generalized spectral characterization of signed bipartite graphs
Published
• View Publication
• BIB
Let $Σ$ be an $n$-vertex controllable or almost controllable signed bipartite graph, and let $Δ_Σ$ denote the discriminant of its characteristic polynomial $χ(Σ; x)$. We prove that if (\rmnum{1}) the integer $2^{ -\lfloor n/2 \rfloor }\sqrt{Δ_Σ}$ is squarefree, and (\rmnum{2}) the constant term (even $n$) or linear coefficient (odd $n$) of $χ(Σ; x)$ is $\pm 1$, then $Σ$ is determined by its generalized spectrum. This result extends a recent theorem of Ji, Wang, and Zhang [Electron. J. Combin. 32 (2025), \#P2.18], which established a similar criterion for signed trees with irreducible characteristic polynomials.
Equidistribution of subset sums
We answer a question of Katona and Makar-Limanov, by showing that in an abelian group of order $2h$ the $h$-element subset sums are asymptotically (as $h\to \infty$) equidistributed. In fact we prove a more general result where the order of the group can be arbitrary, also providing a bound for the ``error term''.
Bounds on Trees with Topological Indices Among Degree Sequence
In this paper, we investigate The relationship between the Albertson index and the first Zagreb index for trees. For a tree $T=(V,E)$ with $n=|V|$ vertices and $m=|E|$ edges, we provide several bounds and exact formulas for these two topological indices, and we show that the Albertson index $\irr(T)$ and the first Zagreb index $M_1(T)$ satisfy the association \[ \operatorname{irr}(T)=d_1^2+d_n^2+(n-2)\left(\frac{Δ+ δ}{2}\right)^2+\sum_{i=2}^{n-1} d_i+d_n - d_1-2n-2.\] Our goal of this paper is provide a topological indices, Albertson index, Sigma index among a degree sequence $\mathscr{D}=(d_1,\dots,d_n)$ where it is non-increasing and non-decreasing of tree $T$.
Multiplicative and mining property for stability numbers of graphs
$f$-vertex stability number $vs_f(G)=\min\{|X|: X\subseteq V(G) \enspace \text{and} \enspace f(G-X)\neq f(G)\}$, and $f$-edge stability number is defined similarly by setting $X\subseteq E(G)$. In this paper, for multiplicative and mining invariant $f$, we give some general bounds for $f$-vertex/edge stability numbers of graphs and some results about the relations between the $f$-vertex/edge stability numbers of graphs and their components.
Minkowski-Weyl theorem and Gordan's lemma up to symmetry
Published
• View Publication
• BIB
We investigate equivariant analogues of the Minkowski--Weyl theorem and Gordan's lemma in an infinite-dimensional setting, where cones and monoids are invariant under the action of the infinite symmetric group. Building upon the framework developed earlier, we extend the theory beyond the nonnegative case. Our main contributions include a local equivariant Minkowski--Weyl theorem, local-global principles for equivariant finite generation and stabilization of symmetric cones, and a full proof of the equivariant Gordan's lemma. We also classify non-pointed symmetric cones and non-positive symmetric normal monoids, addressing new challenges in the general setting.
Which Phylogenetic Networks are Level-k Networks with Additional Arcs? Structure and Algorithms
Reticulate evolution gives rise to complex phylogenetic networks, making their interpretation challenging. A typical approach is to extract trees within such networks. Since Francis and Steel's seminal paper, "Which Phylogenetic Networks are Merely Trees with Additional Arcs?" (2015), tree-based phylogenetic networks and their support trees (spanning trees with the same root and leaf set as a given network) have been extensively studied. However, not all phylogenetic networks are tree-based, and for the study of reticulate evolution, it is often more biologically relevant to identify support networks rather than trees. This study generalizes Hayamizu's structure theorem for rooted binary phylogenetic networks, which yielded optimal algorithms for various computational problems on support trees, to extend the theoretical framework for support trees to support networks. This allows us to obtain a direct-product characterization of each of three sets: all, minimal, and minimum support networks, for a given network. Each characterization yields optimal algorithms for counting and generating the support networks of each type. Applications include a linear-time algorithm for finding a support network with the fewest reticulations (i.e., the minimum tier). We also provide exact and heuristic algorithms for finding a support network with the minimum level, both running in exponential time but practical across a reasonably wide range of reticulation numbers.
An Ore-type theorem for $[3]$-graphs
Ore's Theorem states that if $G$ is an $n$-vertex graph and every pair of non-adjacent vertices has degree sum at least $n$, then $G$ is Hamiltonian.
A $[3]$-graph is a hypergraph in which every edge contains at most $3$ vertices. In this paper, we prove an Ore-type result on the existence of Hamiltonian Berge cycles in $[3]$-graph $\cH$, based on the degree sum of every pair of non-adjacent vertices in the $2$-shadow graph $\partial \cH$ of $\cH$. Namely, we prove that there exists a constant $d_0$ such that for all $n \geq 6$, if a $[3]$-graph $\cH$ on $n$ vertices satisfies that every pair $u,v \in V(\cH)$ of non-adjacent vertices has degree sum $d_{\partial \cH}(u) + d_{\partial \cH}(v) \geq n+d_0$, then $\cH$ contains a Hamiltonian Berge cycle. Moreover, we conjecture that $d_0=1$ suffices.
Symbolic Sets for Proving Bounds on Rado Numbers
Given a linear equation $\cal E$ of the form $ax + by = cz$ where $a$, $b$, $c$ are positive integers, the $k$-colour Rado number $R_k({\cal E})$ is the smallest positive integer $n$, if it exists, such that every $k$-colouring of the positive integers $\{1, 2, \dotsc, n\}$ contains a monochromatic solution to $\cal E$. In this paper, we consider $k = 3$ and the linear equations $ax + by = bz$ and $ax + ay = bz$. Using SAT solvers, we compute a number of previously unknown Rado numbers corresponding to these equations. We prove new general bounds on Rado numbers inspired by the satisfying assignments discovered by the SAT solver. Our proofs require extensive case-based analyses that are difficult to check for correctness by hand, so we automate checking the correctness of our proofs via an approach which makes use of a new tool we developed with support for operations on symbolically-defined sets -- e.g., unions or intersections of sets of the form $\{f(1), f(2), \dotsc, f(a)\}$ where $a$ is a symbolic variable and $f$ is a function possibly dependent on $a$. No computer algebra system that we are aware of currently has sufficiently capable support for symbolic sets, leading us to develop a tool supporting symbolic sets using the Python symbolic computation library SymPy coupled with the Satisfiability Modulo Theories solver Z3.
Extending Pólya's random walker beyond probability I. Complex weights
Working in combinatorial model $\mathrm{W_{co}}(d)$, $d=1,2,\dots$, of Pólya's random walker in $\mathbb{Z}^d$, we prove two theorems on recurrence to a vertex. We obtain an effective version of the first theorem if $d=2$. Using a semi-formal approach to generating functions, we extend both theorems beyond probability to a more general model $\mathrm{W_{\mathbb{C}}}$ with complex weights. We relate models $\mathrm{W_{co}}(d)$ to standard models $\mathrm{W_{Ma}}(d)$ based on Markov chains. The follow-up article will treat non-Archimedean models $\mathrm{W_{fo}}(k)$ in which weights are formal power series in $\mathbb{C}[[x_1,x_2,\dots,x_k]]$.
Odd Shifted Parking Functions
Published
• View Publication
• BIB
Stanley recently introduced the shifted parking function symmetric function $SH_n$, which is the shiftification of Haiman's parking function symmetric function $PF_n$. The function $SH_n$ lives in the subalgebra of symmetric functions generated by odd power sums. Stanley showed how to expand $SH_n$ into the $V-$basis of this algebra, which is indexed by partitions with all parts odd and is analogous to the complete homogeneous (or elementary) basis of symmetric functions. We introduce odd shifted parking functions to give combinatorial and representation-theoretic realizations of the $V-$expansion of $SH_n$, resolving the main open problem in his paper. Further, we present two representation-theoretic realizations of shiftification allowing us to interpret $SH_n$ as the spin character of a projective representation. We conclude with further directions, including a relationship between $SH_n$ and Haglund's $(q,t)-$Schröder theorem.
A local framework for proving combinatorial matrix inversion theorems
Published
• View Publication
• BIB
Combinatorial transition matrices arise frequently in the theory of symmetric functions and their generalizations. The entries of such matrices often count signed, weighted combinatorial structures such as semistandard tableaux, rim-hook tableaux, or brick tabloids. Bijective proofs that two such matrices are inverses of each other may be difficult to find. This paper presents a general framework for proving such inversion results in the case where the combinatorial objects are built up recursively by successively adding some incremental structure such as a single horizontal strip or rim-hook. In this setting, we show that a sequence of matrix inversion results $A_nB_n=I$ can be reduced to a certain ``local'' identity involving the incremental structures. Here, $A_n$ and $B_n$ are matrices that might be non-square, and the columns of $A_n$ and the rows of $B_n$ indexed by compositions of $n$. We illustrate the general theory with four classical applications involving the Kostka matrices, the character tables of the symmetric group, incidence matrices for composition posets, and matrices counting brick tabloids. We obtain a new, canonical bijective proof of an inversion result for rectangular Kostka matrices, which complements the proof for the square case due to Eğecioğlu and Remmel. We also give a new bijective proof of the orthogonality result for the irreducible $S_n$-characters that is shorter than the original version due to White.
On the properties of alternating invariant functions
Published
• View Publication
• BIB
Functions satisfying the functional equation \begin{align*} \sum_{r=0}^{n-1} (-1)^r f(x+ry, ny) = f(x,y), \quad \text{for any positive odd integer $n$}, \end{align*} are named the alternating invariant functions. Examples of such functions include Euler polynomials, alternating Hurwitz zeta functions and their associated Gamma functions. In this paper, we systematically investigate the fundamental properties of alternating invariant functions. We prove that the set of such functions is closed under translation, reflection, and differentiation. In addition, we define a convolution operation on alternating invariant functions and derive explicit convolution formulas for Euler polynomials and alternating Hurwitz zeta functions, respectively. Furthermore, using distributional relations, we construct new examples of alternating invariant functions, including suitable combinations of trigonometric, exponential, and logarithmic functions, among others.
Connected dom-forcing sets in graphs
In a graph G, a dominating set Df subset of V (G) is called a dom-forcing set if the sub-graph induced by Df must form a zero forcing set. The minimum cardinality of such a set is known as the dom-forcing number of the graph G, denoted by Fd(G). A connected dom-forcing forcing set of a graph G, is a dom-forcing set of G that induces a sub graph of G which is connected. The connected dom-forcing number of G, Fcd(G), is the minimum size of a connected dom-forcing set. This study delves into the concept of the connected dom-forcing number Fcd(G), examining its properties and characteristics. Furthermore, it seeks to accurately determine Fcd(G) for several well-known graphs and their graph products.