Showing 20 papers (Total: 81378 papers, 47165 authors in database)
Tricyclic graphs for which the second largest distance eigenvalue less than $-\frac{1}{2}$
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
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
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
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
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}$
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
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
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.
New Helly-type results for discrete boxes: Quantitative colorful and $(p,q)$-variants
In 2008, Halman showed that for any finite set $P\subset \mathbb R^d$ and any finite family $\mathcal{B}$ of axis-parallel boxes in $\mathbb{R}^d$, if the intersection of $P$ and any subfamily $\mathcal{B}' \subseteq\mathcal{B}$ of size at most $2d$ is non-empty, then the intersection of $P$ and $\mathcal{B}$ is also non-empty. Very recently Edwards and Soberón initiated the study of quantitative colorful version for $2d$ families, $(p,q)$-type variation for $p\geq q\geq d+1$, and other extensions of this Helly-type result by Halman.
In this paper, we study the quantitative colorful Halman problem for $2d-1$ families as well its $(p,q)$-type variation for $p\geq q\geq 2$. Specifically, our main result asserts that for any finite set $P$ and finite families of boxes $\mathcal{B}_1,\dots,\mathcal{B}_{2d-1}$ in $\mathbb R^d$, where $d\geq 2$, if every transversal $\mathcal{B}$ for the families has an intersection $\bigcap \mathcal{B}$ containing at least $n$ points of $P$, then there exist $j\in[2d-1]$ and a subset of $P$ of size at most \[ 2n+\Big\lfloor \frac{n-1}{d \cdot 2^{d-1}} \Big\rfloor, \] such that each box of $\mathcal{B}_j$ contains at least $n$ points of this subset.
Elementary differentials from multi-indices to rooted trees
Rooted trees are essential for describing numerical schemes via the so-called B-series. They have also been used extensively in rough analysis for expanding solutions of singular Stochastic Partial Differential Equations (SPDEs). When one considers scalar-valued equations, the most efficient combinatorial set is multi-indices. In this paper, we investigate the existence of intermediate combinatorial sets that will lie between multi-indices and rooted trees. We provide a negative result stating that there is no combinatorial set encoding elementary differentials in dimension $d\neq 1$, and compatible with the rooted trees and the multi-indices aside from the rooted trees. This does not close the debate of the existence of such combinatorial sets, but it shows that it cannot be obtained via a naive and natural approach.
Parities in random Latin squares
In a Latin square, every row can be interpreted as a permutation, and therefore has a parity (even or odd). We prove that in a uniformly random $n\times n$ Latin square, the $n$ row parities are very well approximated by a sequence of $n$ independent unbiased coin flips: for example, the total variation error of this approximation tends to zero as $n\to\infty$. This resolves a conjecture of Cameron. In fact, we prove a generalisation of Cameron's conjecture for the joint distribution of the row parities, column parities and symbol parities (the latter are defined by the symmetry between rows, columns and symbols of a Latin square).
Along the way, we introduce several general techniques for the study of random Latin squares, including a new re-randomisation technique via `stable intercalate switchings', and a new approximation theorem comparing random Latin squares with a certain independent model.
A note on polynomials for character degrees
A recent result of Cohen and Zemel provides an elegant expansion of the Rasala polynomials for symmetric group character degrees. In this note we present an alternative short algebraic proof. Extensions to polynomials of character values follow.
Galois Automorphisms And Littlewood Decompositions
The study of modular representation theory of the double covering groups of the symmetric and alternating groups reveals rich and subtle combinatorial and algebraic phenomena involving their irreducible characters and the structure of their p-blocks, where p is an odd prime number. In this paper, we investigate the action of certain Galois automorphisms, those that act on p'-roots of unity by a power of p, on spin characters, with an emphasis on their interaction with perfect isometries and block theory. In particular, we prove that perfect isometries constructed by the first author and J.\,B. Gramain in \cite{BrGr3}, which were used to establish a weaker form of the Kessar--Schaps conjecture, remain preserved under this Galois action whenever certain natural compatibility conditions occur.
Signature 0 toric varieties, wall crossings, and cross polytope-like structures
We describe the structure of simplicial locally convex fans associated to even-dimensional complete toric varieties with signature 0. They belong to the set of such toric varieties whose even degree Betti numbers yield a top gamma vector component equal to 0. The gamma vector is an invariant of palindromic polynomials whose nonnegativity lies between unimodality and real-rootedness. It is known (and expected more generally) that the cases where this top component is 0 are among the "building blocks" of those where it is nonnegative. This means minimality with respect to a certain restricted class of blowups. However, this equality to 0 case is currently poorly understood. In the course of addressing this situation, we find that this interpretation encodes *intrinsic* combinatorial information on the fan in addition to earlier compatibility with existing natural combinatorial examples.
Our main method uses wall crossings. The links of the fan come from a repeated suspension of the maximal linear subspace in its realization in the ambient space of the fan. Conversely, the centers of these links containing any particular line form a cone or a repeated suspension of one. The intersection patterns between these "anchoring" linear subspaces come from how far certain submodularity inequalities are from equality and parity conditions on their dimensions. This involves linear dependence and containment relations between them which are connected to optimization. We obtain these relations by viewing the vanishing of certain mixed volumes from the perspective of the exponents. Finally, these wall crossings yield a simple method of generating induced 4-cycles covering the minimal objects described above. We intersect rational equivalence relations with 2-dimensional orbit closures instead of 1-dimensional ones as in most combinatorial applications.
Spanning Factorizations in Vertex-Transitive Digraphs of Degree 2
We investigate the existence of spanning 1-factorizations in vertex-transitive digraphs of out-degree d. The open question is whether every such digraph admits a spanning 1-factorization that includes, for each vertex v, all d out-edges (v,F_i(v)) from v.
This paper focuses on the case d=2. Using the structure of alternating cycles and block systems, we develop a block/phase framework that yields sufficient conditions for including both F_1,F_2. We show that certain block obstructions can prevent their simultaneous inclusion, while sharply transitive sets (and hence spanning 1-factorizations) always exist. Our results provide general constraints on feasible block sizes, describe the role of phase distributions, and illustrate the theory with concrete families, including coset digraphs on A_5. The necessity of the block criterion remains open, even in degree 2.