Showing 20 papers (Total: 81378 papers, 47165 authors in database)
Regular fat linear sets
In this work, we introduce $(r,i)$-regular fat linear sets, which are defined as linear sets containing exactly $r$ points of weight $i$ and all other points of weight one. This notion generalizes and unifies existing constructions; scattered linear sets, clubs, and other previously studied families are special cases. We present new classes of regular fat linear sets in PG$(k-1,q^n)$ for composite $n$ and study their equivalence classes. Finally, we show that regular fat linear sets naturally yield three-weight rank-metric codes, which we use to obtain bounds on their parameters.
From Brunn-Minkowski to Prékopa-Leindler and Borell-Brascamp-Lieb: discrete inequalities
We consider a general way to obtain Prékopa-Leindler and Borell-Brascamp-Lieb type inequalities from Brunn-Minkowski type inequalities and provide numerous examples. We use the same heuristic to prove a discrete version of the Prékopa-Leindler and Borell-Brascamp-Lieb inequalities for functions over $\mathbb{Z}^d$. These are the functional extensions of the discrete Brunn-Minkowski inequality conjectured by Ruzsa and recently established by Keevash, Tiba, and the author.
Parking trees and the toric g-vector of nestohedra
We express the toric g-vector entries of any simple polytope as a nonnegative integer linear combination of its gamma-vector entries. Using this expression we obtain that the toric g-vector of the associahedron is the ascent statistic of 123-avoiding parking functions. An analogous result holds for the cyclohedron and 123-avoiding functions. We prove that the toric g-vector of the permutahedron records the ascent statistics of parking trees representing 123-avoiding parking functions. We indicate how our approach extends to all chordal nestohedra.
A construction of Steiner Triple Systems of type $v\longrightarrow 2v+7$
A Steiner Triple System ($STS$) of order $v$ is a hypergraph uniform of rank 3, with $v$ vertices and such that every 2-subset of vertices has degree 1. In this paper we give a construction, by difference method, of type $v\longrightarrow 2v+7$ with $v=2^n-7$, which means that, given an $STS$ of order $v=2^n -7$, it is always possible to construct an $STS$ of order $2^{n+1}-7$. Through this construction it is possible to get for any $n\ge 5$ an $STS(2^n-7)$ with a maximal independent set of maximal cardinality and which is $(n-1)$-bicolorable.
Hall's theorem for reconfigurations and higher dimensional topological connectedness
One widely applied sufficient condition for the existence of a colorful simplex in a vertex-colored simplicial complex is a topological extension of Hall's transversal theorem due to Aharoni, Haxell, and Meshulam. We prove a similar topological Hall theorem that provides a sufficient condition for being able to transform any colorful simplex into any other through a sequence of one-vertex swaps while always maintaining a colorful simplex, meaning that the associated reconfiguration graph is connected. In fact, we prove a generalized topological Hall theorem about the homological connectedness of the space of colorful simplices, as well as a matroidal generalization of this result. We deduce sufficient conditions for reconfiguration graphs to be connected for various combinatorial structures of interest such as independent transversals in graphs, matchings in bipartite hypergraphs, and intersections of matroids. In particular, we give an alternative proof of a maximum degree condition for independent transversal reconfigurability by Buys, Kang, and Ozeki. We also deduce tight reconfiguration versions of the colorful Helly, colorful Carathéodory, and Tverberg theorems from discrete geometry, confirming a conjecture of Oliveros, Roldán, Soberón, and Torres.
Polynomials Arising from Sorted Binomial Coefficients
The triangle of sorted binomial coefficients $\left\langle {n \atop k} \right\rangle = \binom{n}{\lfloor \frac{n - k}{2} \rfloor}$ for $0 \leq k \leq n$ has appeared several times in recent combinatorial works but has evaded dedicated study. Here we refer to $\left\langle {n \atop k} \right\rangle$ as the Pascalian numbers and unify the various perspectives of $\left\langle {n \atop k} \right\rangle$. We then view each row of the $\left\langle {n \atop k} \right\rangle$ triangle as the coefficients of the $n$th Pascalian polynomial, which we denote $P_n(z)$. We derive recursions, formulae, and bounds on $P_n(z)$'s roots in $\mathbb{C}$, and characterize the asymptotics of these roots. We show the roots of $P_n(z)$ converge uniformly to a curve $\partial Γ\subset \mathbb{C}$ and asymptotically fill the curve densely. We conclude with a discussion of the reducibility and Galois groups of $P_n(z)$. Our work has natural connections to the truncated binomial polynomials, asymptotic analysis, and well-known integer families.
Cycle lengths in graphs of given minimum degree
In a graph, $k$ cycles are {\em admissible} if their lengths form an arithmetic progression with common difference one or two. Let $G$ be a 2-connected graph with minimum degree at least $k\geqslant 4$. We prove that
\begin{itemize}
\item [(1)] $G$ contains $k$ admissible cycles, unless $G\cong K_{k+1}$ or $K_{k,n-k}$;
\item [(2)] $G$ contains cycles of lengths $\ell$ modulo $k$ for all even $\ell$, unless $G\cong K_{k+1}$ or $K_{k,n-k}$;
\item [(3)] $G$ contains cycles of lengths $\ell$ modulo $k$ for all $\ell$, unless $G\cong K_{k+1}$ or $G$ is bipartite.
\end{itemize} In addition, we show that if $k$ is even and $G$ is 2-connected with minimum degree at least $k-1$ and order at least $k+2$, then $G$ contains cycles of lengths $\ell$ modulo $k$ for all even $\ell$. These findings provide a stability analysis of the main results on cycle lengths in graphs of given minimum degree in [J. Gao, Q. Huo, C. Liu, J. Ma, A unified proof of conjectures on cycle lengths in graphs, International Mathematics Research Notices 2022 (10) (2022) 7615--7653]. As a corollary, we determine the maximum number of edges in a graph that does not contain a cycle of length 0 modulo $k$ for all odd $k$.
A common generalization to strengthenings of Drisko's Theorem for intersections of two matroids
Let $\mathcal{M}$ and $\mathcal{N}$ be two matroids on the same ground set $V$. Let $A_1,\dots,A_{2n-1}$ be sets which are independent in both $\mathcal{M}$ and $\mathcal{N}$, satisfying $|A_i|\geq \textrm{min}(i,n)$ for all $i$. We show that there exists a partial rainbow set of size $n$, which is independent in both $\mathcal{M}$ and $\mathcal{N}$. This is a common generalization of rainbow matching results for bipartite graphs by Aharoni, Berger, Kotlar, and Ziv, and for the intersection of two matroid by Kotlar and Ziv.
Balanced contributions, consistency, and value for games with externalities
We consider fair and consistent extensions of the Shapley value for games with externalities. Based on the restriction identified by Casajus et al. (2024, Games Econ. Behavior 147, 88-146), we define balanced contributions, Sobolev's consistency, and Hart and Mas-Colell's consistency for games with externalities, and we show that these properties lead to characterizations of the generalization of the Shapley value introduced by Macho-Stadler et al. (2007, J. Econ. Theory 135, 339-356), that parallel important characterizations of the Shapley value.
The structure of $Δ(1, 2, 2)$-free tournaments
We extend the list of tournaments $S$ for which the complete structural description for tournaments excluding $S$ as a subtournament is known. Specifically, let $Δ(1, 2, 2)$ be a tournament on five vertices obtained from a cyclic triangle by substituting a two-vertex tournament for two of its vertices. In this paper, we show that tournaments excluding $Δ(1, 2, 2)$ as a subtournament are either isomorphic to one of three small tournaments, obtained from a transitive tournament by reversing edges in vertex-disjoint directed paths, or obtained from a smaller tournament with the same property by applying one of two operations. In particular, one of these operations creates a homogeneous set that induces a subtournament isomorphic to one of three fixed tournaments, and the other creates a homogeneous pair such that their union induces a subtournament isomorphic to a fixed tournament. As an application of this result, we present an upper bound for the chromatic number, a lower bound for the size of a largest transitive subtournament, and a lower bound for the number of vertex-disjoint cyclic triangles for such tournaments. The bounds that we present are all best possible.
Extension of the Gyárfás-Sumner conjecture to signed graphs
The balanced chromatic number of a signed graph G is the minimum number of balanced sets that cover all vertices of G. Studying structural conditions which imply bounds on the balanced chromatic number of signed graphs is among the most fundamental problems in graph theory. In this work, we initiate the study of coloring hereditary classes of signed graphs. More precisely, we say that a set F = {F_1, F_2, ..., F_l} is a GS (for Gyárfás-Sumner) set if there exists a constant c such that signed graphs with no induced subgraph switching equivalent to a member of F admit a balanced c-coloring. The focus of this work is to study GS sets of order 2. We show that if F is a GS set of order 2, then F_1 is either (K_3, -) or (K_4, -), and F_2 is a linear forest. In the case of F_1 = (K_3, -), we show that any choice of a linear forest for F_2 works. In the case of F_1 = (K_4, -), we show that if each connected component of F_2 is a path of length at most 4, then {F_1, F_2} is a GS set.
On the piecewise quasipolynomiality of double tropical Welschinger invariants
Ardila and Brugallé conjectured that double tropical Welschinger invariants of Hirzebruch surfaces are piecewise quasipolynomial. In this work, we prove the conjecture holds in full generality, i.e. for toric surfaces corresponding to h-transverse polygons. Furthermore, we define new combinatorial Welschinger-type numbers for h-transverse polygons and show that they are likewise piecewise quasipolynomial.
Pure minimal injective resolutions and perfect modules for lattices
In a recent article, Iyama and Marczinzik showed that a lattice is distributive if and only if the incidence algebra is Auslander regular, giving a new connection between homological algebra and lattice theory. In this article we study when a distributive lattice has a pure minimal injective coresolution, a notion first introduced and studied in a work of Ajitabh, Smith and Zhang. We will see that this problem naturally leads to studying when certain antichain modules are perfect modules. We give a classification of perfect antichain modules under the assumption that their canonical antichain resolution is minimal and use this to give a completion classification in lattice theoretic terms of incidence algebras of distributive lattices with pure minimal injective coresolution. We use our results to answer a question raised by Ajitabh, Smith and Zhang by showing that there exist Auslander-Gorenstein polynomial identity rings without a pure injective coresolution.
Terracini matroids: algebraic matroids of secants and embedded joins
Applications of algebraic geometry have sparked much recent work on algebraic matroids. An algebraic matroid encodes algebraic dependencies among coordinate functions on a variety.
We study the behavior of algebraic matroids under joins and secants of varieties. Motivated by Terracini's lemma, we introduce the notion of a Terracini union of matroids, which captures when the algebraic matroid of a join coincides with the matroid union of the algebraic matroids of its summands. We illustrate applications of our results with a discussion of the implications for toric surfaces and threefolds.
A new proof of the Lemmens-Seidel conjecture
In this paper, we give a new proof of the Lemmens-Seidel conjecture on the maximum number of equiangular lines with a common angle $\arccos(1/5)$. This conjecture was previously resolved by Cao, Koolen, Lin, and Yu in 2022 through an analysis involving forbidden subgraphs for the smallest Seidel eigenvalue $-5$. Our new proof is based on bounds on eigenvalue multiplicities of graphs with degree no larger than $14$. To control the maximum degree of the graph associated with equiangular lines, we employ a recent inequality of Balla derived by matrix projection techniques. Our strategy also leads to a new proof for the classical result obtained by Lemmens and Seidel in 1973 for the case where the common angle is $\arccos(1/3)$.
Uniqueness of the second eigenspace of the interchange process
The spectral gap theorem of Caputo, Liggett, and Richthammer states that on any connected graph equipped with edge weights, the 2nd eigenvalue of the interchange process equals the 2nd eigenvalue of the random walk process. In this work we characterize the 2nd eigenspace of the interchange process. We prove that this eigenspace is uniquely determined by the 2nd eigenvectors of the random walk process on every connected weighted graph except the $4$-cycle with uniform edge weights. The key to our proof is an induction scheme on the number of vertices, and involves the octopus (in)equality, representation theoretic computations, and graph Laplacian computations.
Delta invariant of $\mathbb{Q}$-Cartier curve germs and the genus of representable numerical semigroups
In this article, first we give two formulae for the delta invariant of a complex curve singularity that can be embedded as a ${\mathbb Q}$-Cartier divisor in a normal surface singularity with rational homology sphere link. Next, we consider representable numerical semigroups, they are semigroups associated with normal weighted homogeneous surface singularities with rational homology sphere links (via the degrees of the homogeneous functions). We then prove that such a semigroup can be interpreted as the value semigroup of a generic orbit (as a curve singularity) given by the $\mathbb{C}^*$-action on the weighted homogeneous germ. Furthermore, we use the delta invariant formula to derive a combinatorially computable formula for the genus of representable semigroups. Finally, we characterize topologically those representable semigroups which are symmetric.
Chords of longest cycles in graphs with large circumferences
A long-standing conjecture of Thomassen says that every longest cycle of a $3$-connected graph has a chord. Thomassen (2018) proved that if $G$ is a $2$-connected cubic graph, then any longest cycle must have a chord. He also showed that in any 3-connected graph with minimum degree at least four, some longest cycle must contain a chord. Harvey proved that every longest cycle has a chord for graphs with a large minimum degree. He also conjectured that any longest cycle in a 2-connected graph with minimum degree at least three has a chord. In this paper, we prove that both Thomassen's and Harvey's conjectures are true for graphs with large circumferences. We also prove a more general result for the existence of chords in longest cycles containing a linear forest.
Tropicalization and cluster asymptotic phenomenon of generalized Markov equations
The generalized Markov equations are deeply connected with the generalized cluster algebras of Markov type. We construct a deformed Fock-Goncharov tropicalization for the generalized Markov equations and prove that their tropicalized tree structure is essentially the same as that of the classical Euclid tree. We then define the generalized Euclid tree and prove that it converges to the classical Euclid tree up to a scalar multiple. Moreover, by means of cluster mutations, we exhibit an asymptotic phenomenon, up to some limit q, between the logarithmic generalized Markov tree and the classical Euclid tree. A rationality conjecture of q is then put forward. We also propose a generalized Markov uniqueness conjecture for the generalized Markov equations, which illustrates an application of the asymptotic phenomenon.
The problem of deciding the positivity of Kronecker coefficients and Saxl conjecture
Given an positive integer $k$, let $n:=\binom{k+1}{2}$. In 2012, during a talk at UCLA, Jan Saxl conjectured that all irreducible representations of the symmetric group $S_n$ occur in the decomposition of the tensor square of the irreducible representation corresponding to the staircase partition. In this paper, we investigate two useful methods to obtain some irreducible representations that occur in this decomposition. Our main tolls are the semi-group property for Kronecker coefficients and generalized blocks of symmetric groups.