Showing 20 papers (Total: 81378 papers, 47165 authors in database)
Erdős-Ko-Rado Theorems for Paths in Graphs
A family of sets is $s$-intersecting if every pair of its sets has at least $s$ elements in common. It is an $s$-star if all its members have some $s$ elements in common. A family of sets is called $s$-EKR
if all its $s$-intersecting subfamilies have size at most that of some $s$-star. For example, the classic 1961 Erdős-Ko-Rado theorem states essentially that the family of $r$-sized subsets of $\{1,2,\ldots,n\}$ is $s$-EKR when $n$ is a large enough function of $r$ and $s$, and the 1967 Hilton-Milner theorem provides the near-star structure of the largest non-star intersecting family of such sets. Two important conjectures along these lines followed: by Chvátal in 1974, that every family of sets that all subsets of its members is 1-EKR, and by Holroyd and Talbot in 2005, that, for every graph, the family of all its $r$-sized independent sets is 1-EKR when every maximal independent set has size at least $2r$.
In this paper we present similar 1-EKR results for families of length-$r$ paths in graphs, specifically for sun graphs, which are cycles with pendant edges attached in a uniform way, and theta graphs, which are collections of pairwise internally disjoint paths sharing the same two endpoints. We also prove $s$-EKR results for such paths in suns, and give a Hilton-Milner type result for them as well. A set is a transversal of a family of sets if it intersects each member of the family, and the transversal number of the family is the size of its smallest transversal. For example, stars have transversal number 1, and the Hilton-Milner family has transversal number 2. We conclude the paper with some transversal results involving what we call triangular families, including a few results for projective planes.
Signatures of Type $A$ Root Systems
Given a type $A$ root system $Φ$ of rank $n$, we introduce the concept of a signature for each subset $S$ of $Φ$ consisting of $n+1$ positive roots. For a subset $S$ represented by a tuple $(β_1, \ldots, β_{n+1})$, the signature of $S$ is defined as an unordered pair $\{a, b\}$, where $a$ and $b$ denote the numbers of $1$s and $-1$s, respectively, among the cofactors $(-1)^k \det(S \setminus \{β_k\})$ for $1 \le k \le n+1$. We prove that the number of tuples with a given signature can be expressed in terms of classical Eulerian numbers. The study of these signatures is motivated by their connections to the arithmetic and combinatorial properties of cones over deformed arrangements defined by $Φ$, including the Shi, Catalan, Linial, and Ish arrangements. We apply our main result to compute two important invariants of these arrangements: The minimum period of the characteristic quasi-polynomial, and the evaluation of the classical and arithmetic Tutte polynomials at $(1, 1)$.
On the structure of modular lattices -- Axioms for gluing
This paper explores alternative statements of the axioms for lattice gluing, focusing on lattices that are modular, locally finite, and have finite covers, but may have infinite height. We give a set of "maximal" axioms that maximize what can be immediately adduced about the structure of a valid gluing. We also give a set of "minimal" axioms that minimize what needs to be adduced to prove that a system of blocks is a valid gluing. This system appears to be novel in the literature. A distinctive feature of the minimal axioms is that they involve only relationships between elements of the skeleton which are within an interval $[x \wedge y, x \vee y]$ where either $x$ and $y$ cover $x \wedge y$ or they are covered by $x \vee y$. That is, they have a decidedly local scope, despite that the resulting sum lattice, being modular, has global structure, such as the diamond isomorphism theorem.
RSK linear operators and the Vershik-Kerov-Logan-Shepp curve
Stelzer and Yong (2024) studied the Robinson-Schensted-Knuth (RSK) correspondence as a linear operator on the coordinate ring of matrices. They showed that this operator is block diagonal and conjectured that, in a special block, most diagonal entries vanish. We establish this conjecture by identifying these zeros with certain Schensted insertion interactions and analyzing them probabilistically using the Vershik-Kerov-Logan-Shepp Limit Shape Theorem.
An analogue of the Herbrand-Ribet theorem in graph theory
We study an analogue of the Herbrand-Ribet theorem, and its refinement by Mazur and Wiles, in graph theory. For an odd prime number $p$, we let $\mathbb{F}_{p}$ and $\mathbb{Z}_{p}$ denote the finite field with $p$ elements and the ring of $p$-adic integers, respectively. We consider Galois covers $Y/X$ of finite graphs with Galois group $Δ$ isomorphic to $\mathbb{F}_{p}^{\times}$. Given a $\mathbb{Z}_{p}$-valued character of $Δ$, we relate the cardinality of the corresponding character component of the $p$-primary subgroup of the degree zero Picard group of $Y$ to the $p$-adic absolute value of the special value at $u=1$ of the corresponding Artin-Ihara $L$-function.
A Note on ID-Colorings and Symmetric Colorings of Cycles
A red-white coloring of a nontrivial connected graph $G$ is an assignment of red and white colors to the vertices of~$G$. Associated with each vertex $v$ of $G$ of diameter $d$ is a $d$-vector, called the code of $v$, whose $i$th coordinate is the number of red vertices at distance $i$ from $v$. A red-white coloring of $G$ for which distinct vertices have distinct codes is called an ID-coloring of $G$. In 2025, a criterion to determine whether a red-white coloring of a path is an ID-coloring or not was presented by Kono, with the aid of a result shown by Marcelo et al. in 2024. The criterion utilizes the fact that ID-colorings of paths are ``opposite'' of colorings with a certain symmetry. In this paper, we establish a similar criterion that can be applied for cycles whose order is a prime number at least 3. In order to do so, we employ an analogous approaches used for the criterion for paths, i.e., we pay attention to symmetries of given red-white colorings of cycles.
Planar and Outerplanar Spectral Extremal Problems based on Paths
Let SPEX$_\mathcal{P}(n,F)$ and SPEX$_\mathcal{OP}(n,F)$ denote the sets of graphs with the maximum spectral radius over all $n$-vertex $F$-free planar and outerplanar graphs, respectively. Define $tP_l$ as a linear forest of $t$ vertex-disjoint $l$-paths and $P_{t\cdot l}$ as a starlike tree with $t$ branches of length $l-1$. Building on the structural framework by Tait and Tobin [J. Combin. Theory Ser. B, 2017] and the works of Fang, Lin and Shi [J. Graph Theory, 2024] on the planar spectral extremal graphs without vertex-disjoint cycles, this paper determines the extremal graphs in $\text{SPEX}_\mathcal{P}(n,tP_l)$ and $\text{SPEX}_\mathcal{OP}(n,tP_l)$ for sufficiently large $n$. When $t=1$, since $tP_l$ is a path of a specific length, our results adapt Nikiforov's findings [Linear Algebra Appl. 2010] under the (outer)planarity condition. When $l=2$, note that $tP_l$ consists of $t$ independent $K_2$, then as a corollary, we generalize the results of Wang, Huang and Lin [arXiv: 2402.16419] and Yin and Li [arXiv:2409.18598v2]. Moreover, motivated by results of Zhai and Liu [Adv. in Appl. Math, 2024], we consider the extremal problems for edge-disjoint paths and determine the extremal graphs in $\text{SPEX}_\mathcal{P}(n,P_{t\cdot l})$ and $\text{SPEX}_\mathcal{OP}(n,P_{t\cdot l})$ for sufficiently large $n$.
Extremal graphs for the sum of the first two largest signless Laplacian eigenvalues
For a graph $G$, let $S_2(G)$ be the sum of the first two largest signless Laplacian eigenvalues of $G$, and $f(G)=e(G)+3-S_2(G)$. Very recently, Zhou, He and Shan proved that $K^+_{1,n-1}$ (the star graph with an additional edge) is the unique graph with minimum value of $f(G)$ among graphs on $n$ vertices. In this paper, we prove that $K^+_{1,e(G)-1}$ is the unique graph with minimum value of $f(G)$ among graphs with $e(G)$ edges.
Graph Laplacians with Higher Accuracy
Motivated by discrete Laplacian differential operators with various accuracy orders in numerical analysis, we introduce new matrices attached to a simple graph that can be considered graph Laplacians with higher accuracy. In particular, we show that the number of graphs having cospectral mates with these matrices is significantly less than the ones with other known matrices. We also investigate their spectral properties and explicitly compute their eigenvalues and eigenvectors for some graphs. Along the line, we also prove the existence of a weighted signed graph with given Laplacian eigenvalues.
Clonoids of Boolean functions with a linear source clone and a semilattice or 0- or 1-separating target clone
Extending Sparks's theorem, we determine the cardinality of the lattice of $(C_1,C_2)$-clonoids of Boolean functions for certain pairs $(C_1,C_2)$ of clones of Boolean functions. Namely, when $C_1$ is a subclone (a proper subclone, resp.) of the clone of all linear (affine) functions and $C_2$ is a subclone of the clone generated by a semilattice operation and constants (a subclone of the clone of all $0$- or $1$-separating functions, resp.), then the lattice of $(C_1,C_2)$-clonoids is uncountable. Combining this fact with several earlier results, we obtain a complete classification of the cardinalities of the lattices of $(C_1,C_2)$-clonoids for all pairs $(C_1,C_2)$ of clones on $\{0,1\}$.
Paper BOAT
We derive a formula for computing the size of lower Bruhat intervals for elements in the dominant cone of an affine Weyl group of type $A$. This enumeration problem is reduced to counting lattice points in certain polyhedra. Our main tool is a decomposition -- or tiling -- of each interval into smaller, combinatorially tractable pieces, which we call paper boats. We also conjecture a generalization of this formula to all affine Weyl groups, restricted to elements in the lowest two-sided Kazhdan-Lusztig cell, which contains almost all of the elements.
An Ore-type condition for hamiltonicity in graphs
The bipartite-hole-number of a graph $G$, denoted as $\widetildeα(G)$, is the minimum number $k$ such that there exist positive integers $s$ and $t$ with $s+t=k+1$ with the property that for any two disjoint sets $A,B\subseteq V(G)$ with $|A|=s$ and $|B|=t$, there is an edge between $A$ and $B$. In this paper, based on Ore-type conditions, we show that if a graph $G$ is 2-connected and the degree sum of any two nonadjacent vertices in $G$ is at least $ 2\widetildeα(G)$, then $G$ is hamiltonian. Furthermore, we prove that if $G$ is 3-connected and the degree sum of any two nonadjacent vertices in $G$ is at least $ 2\widetildeα(G)+1$, then $G$ is hamiltonian-connected.
Trisimplicial vertices in (fork, odd parachute)-free graphs
An {\em odd hole} in a graph is an induced subgraph which is a cycle of odd length at least five. An {\em odd parachute} is a graph obtained from an odd hole $H$ by adding a new edge $uv$ such that $x$ is adjacent to $u$ but not to $v$ for each $x\in V(H)$. A graph $G$ is perfectly divisible if for each induced subgraph $H$ of $G$, $V(H)$ can be partitioned into $A$ and $B$ such that $H[A]$ is perfect and $ω(H[B])<ω(H)$. A vertex of a graph is {\em trisimplicial} if its neighbourhood is the union of three cliques. In this paper, we prove that $χ(G)\leq \binom{ω(G)+1}{2}$ if $G$ is a (fork, odd parachute)-free graph by showing that $G$ contains a trisimplicial vertex when $G$ is nonperfectly divisible. This generalizes some results of Karthick, Kaufmann and Sivaraman [{\em Electron. J. Combin.} \textbf{29} (2022) \#P3.19], and Wu and Xu [{\em Discrete Math.} \textbf{347} (2024) 114121]. As a corollary, every nonperfectly divisible claw-free graph contains a trisimplicial vertex.
Binary Weight Allocation for Multi-Objective Path Optimization: Efficient Earliest and Latest Path Discovery in Network Systems
This paper proposes earliest and latest path algorithms based on binary weight allocation, assigning weights of 2(i-1) and 2(m-i) to the i-th arc in a network. While traditional shortest path algorithms optimize only distance, our approach leverages Binary-Addition-Tree ordering to efficiently identify lexicographically smallest and largest paths that establish connectivity. These paths partition the solution space into three regions: guaranteed disconnection, transitional connectivity, and guaranteed no simple paths. Our weight allocation enables implicit encoding of multiple objectives directly in binary representations, maintaining the O((|V|+|E|)log|V|) complexity of Dijkstra's algorithm while allowing simultaneous optimization of competing factors like reliability and cost. Experimental validation demonstrates significant computational time reduction compared to traditional multi-objective methods. Applications span telecommunications, transportation networks, and supply chain management, providing efficient tools for network planning and reliability analysis under multiple constraints.
Balanced colorings of Erdős-Rényi hypergraphs
An $r$-uniform hypergraph $H = (V, E)$ is $r$-partite if there exists a partition of the vertex set into $r$ parts such that each edge contains exactly one vertex from each part. We say an independent set in such a hypergraph is balanced if it contains an equal number of vertices from each partition. The balanced chromatic number of $H$ is the minimum value $q$ such that $H$ admits a proper $q$-coloring where each color class is a balanced independent set. In this note, we determine the asymptotic behavior of the balanced chromatic number for sparse $r$-uniform $r$-partite Erdős--Rényi hypergraphs. A key step in our proof is to show that any balanced colorable hypergraph of average degree $d$ admits a proper balanced coloring with $r(r-1)d + 1$ colors. This extends a result of Feige and Kogan on bipartite graphs to this more general setting.
Distinct Distances Between a Line and Strip
We introduce a new type of distinct distances result: a lower bound on the number of distances between points on a line and points on a two-dimensional strip. This can be seen as a generalization of the well-studied problems of distances between points on two lines or curves. Unlike these existing problems, this new variant only makes sense if the points satisfy an additional spacing condition.
Our work can also be seen as an exploration of the proximity technique that was recently introduced by Solymosi and Zahl. This technique lies at the heart of our analysis.
The Multiple Riordan Group and the Multiple Riordan Type Arrays
This is the first paper of a sequence papers on the multiple Riordan group and the multiple Riordon type arrays. We give a comprehensive discussion of the multiple Riordan arrays and characterize them by an $A$-sequence and multiple $Z$-sequences. The multiple Riordan group and some of its subgroups are defined. In addition, we give compressions of multiple Riordan arrays and their sequence characterizations. The total positivity of the compressions of multiple Riordan arrays is studied.
Dynamic and Programmatic Analysis of Fibonacci Word Density
Fibonacci word is the archetype of the Sturmian word, and it is one of the most studied of combinatorics on words. We studied the properties of the Fibonacci word and found its density for limited value then by calculating the limit associated with the general relation of $\frac{F(n)}{F(n+1)}$. We also generated the density function through the integral relation of $\int_a^b f(x) dx $ where $D(n)=\int_a^b f(x) dx$ and $f(x) = e^{-x/τ} g(x)$.
we presented the first study of the density of the Fibonacci word, in addition to some analysis through programming.
Spectra and eigenspaces of non-normal Cayley graphs
In this paper, we construct some non-normal Cayley graphs and explicitly provide their spectra and eigenspaces using representation theory of finite groups.
Homogeneous linear recurrence relations of the determinants of distance matrices of trees
In 1971, by induction on $n$ and using a two-term linear recurrence relation, Graham and Pollak got a beautiful formula $$\det(D_n)=-(n-1)(-2)^{n-2}$$ on the determinant of distance matrix $D_n$ of a tree $T_n$ on $n$ vertices. The recurrence relations are very crucial when proving this formula by inductive method: in 2006, Yan and Yeh used two-term and three-term recurrence relations; in 2020, Du and Yeh used a homogeneous linear three-term recurrence relation. In this paper, we analyze the subtree structure of the tree and find four-term, five-term, six-term and seven-term homogeneous linear recurrence relations on $\det(D_n)$, as a corollary new proofs of Graham and Pollak's formula can be given.