Showing 20 papers (Total: 83190 papers, 48060 authors in database)
Impartial Games with Activeness
A combinatorial game is a two-player game without hidden information or chance elements. The main object of combinatorial game theory is to obtain the outcome, which player has a winning strategy, of a given combinatorial game. Positions of many well-known combinatorial games are naturally decomposed into a disjunctive sum of multiple components and can be analyzed independently for each component. Therefore, the study of disjunctive sums is a major topic in combinatorial game theory. Combinatorial games in which both players have the same set of possible moves for every position are called impartial games. In the normal-play convention, it is known that the outcome of a disjunctive sum of impartial games can be obtained by computing the Grundy number of each term. The theory of impartial games is generalized in various forms. This paper proposes another generalization of impartial games to a new framework, impartial games with activeness: each game is assigned a status of either ``active'' or ``inactive''; the status may change by moves; a disjunctive sum of games ends immediately, not only when no further moves can be made, but also when all terms become inactive. We formally introduce impartial games with activeness and investigate their fundamental properties.
Even with AI, Bijection Discovery is Still Hard: The Opportunities and Challenges of OpenEvolve for Novel Bijection Construction
Evolutionary program synthesis systems such as AlphaEvolve, OpenEvolve, and ShinkaEvolve offer a new approach to AI-assisted mathematical discovery. These systems utilize teams of large language models (LLMs) to generate candidate solutions to a problem as human readable code. These candidate solutions are then 'evolved' with the goal of improving them beyond what an LLM can produce in a single shot. While existing mathematical applications have mostly focused on problems of establishing bounds (e.g., sphere packing), the program synthesis approach is well suited to any problem where the solution takes the form of an explicit construction. With this in mind, in this paper we explore the use of OpenEvolve for combinatorial bijection discovery. We describe the results of applying OpenEvolve to three bijection construction problems involving Dyck paths, two of which are known and one of which is open. We find that while systems like OpenEvolve show promise as a valuable tool for combinatorialists, the problem of finding novel, research-level bijections remains a challenging task for current frontier systems, reinforcing the need for human mathematicians in the loop. We describe some lessons learned for others in the field interested in exploring the use of these systems.
Density of rainbow triangles and properly colored $K_4$'s
T.-W. Chao and H.-H. H. Yu showed in 2023 that a graph with $R$ red, $G$ green, and $B$ blue edges has at most $\sqrt{2 RGB}$ rainbow triangles. They proved this bound using the entropy method. We give a computer-free flag-algebra proof of this bound, and we also convert our proof into a classical counting proof. The ideas in our proof lead to an even shorter entropy proof. We also show uniqueness of the extremal construction.
Additionally, we prove a similar result that gives a sharp upper bound on the number of properly $3$-edge-colored $K_4$'s in graphs with $R$ red, $G$ green and $B$ blue edges.
A hypergraph analogue of Alon-Frankl Theorem
Recently, Alon and Frankl (JCTB, 2024) determined the maximum number of edges in $K_{\ell+1}$-free $n$-vertex graphs with bounded matching number. For integers $\ell\ge r \ge 2$, the family $\mathcal{K}_{\ell+1}^{r}$ consists of all $r$-graphs $F$ with at most $\binom{\ell+1}{2}$ edges such that, for some $(\ell+1)$-set $K$, every pair $\{x,y\} \subseteq K$ is covered by an edge in $F$. In this paper, we study the maximum number of edges in $\mathcal{K}_{\ell+1}^r$-free $r$-uniform hypergraphs that have the matching number at most $s$, that is, $\mathrm{ex}_r(n, \{\mathcal{K}_{\ell+1}^r, M^r_{s+1}\})$, and obtain the exact value for sufficiently large $n$, along with the corresponding extremal hypergraph. This result can be viewed as a hypergraph extension of the work of Alon and Frankl. In addition, for the $3$-uniform Fano plane $\mathbb{F}$, we determine the exact value of $\mathrm{ex}_3(n, \{\mathbb{F}, M^3_{s+1}\})$, and characterize the corresponding extremal hypergraph.
On Coalition Graphs and Coalition Count of Graphs
Let $G$ be graph with vertex set $V(G)$ and order $n$. A coalition in a graph $G$ consists of two disjoint sets of vertices $V_1$ and $V_2$, neither of which is a dominating set but whose union $V_1 \cup V_2$ is a dominating set. A coalition partition, abbreviated $c$-partition, in a graph $G$ is a vertex partition $π=\left\{V_1 , V_2,\dots, V_k\right\}$ such that every set $V_i$ of $π$ is either a singleton dominating set, or is not a dominating set but forms a coalition with another set $V_j$ in $π$. The sets $V_i$ and $V_j$ are coalition partners in $G$. The coalition number $C(G)$ equals the maximum order $k$ of a $c$-partition of $G$. For any graph $G$ with a $c$-partition $π=\left\{V_1,V_2,\dots,V_k\right\}$, the coalition graph $CG(G,π)$ of $G$ is a graph with vertex set $V_1,V_2,\dots, V_k$, corresponding one-to-one with the set $π$, and two vertices $V_i$ and $V_j$ are adjacent in $CG(G,π)$ if and only if the sets $V_i$ and $V_j$ are coalition partners in $π$. In [4], authors proved that for every graph $G$ there exist a graph $H$ and $c$-partition $π$ such that $CG(H,π)\cong G$, and raised the question: Does there exist a graph $H^*$ of smaller order $n^*$ and size $m^*$ with a $c$-partition $π^*$ such that $CG(H^*,π^*)\cong G$?. In this paper, we constructed a graph $H^*$ of small order and size and a $c$- partition $π^*$ such that $CG(H^*,π^*)\cong G$. Recently, Haynes et al.[5] defined the coalition count $c(G)$ of a graph $G$ as the maximum number of different coalition in any $c$-partition of $G$. We characterize all graphs $G$ with $c(G)=1$. Further, imposing some suitable conditions on coalition number, we study the properties of coalition count of graph.
Secure coalitions in graphs
A secure coalition in a graph $G$ consists of two disjoint vertex sets $V_1$ and $V_2$, neither of which is a secure dominating set, but whose union $V_1 \cup V_2$ forms a secure dominating set. A secure coalition partition ($sec$-partition) of $G$ is a vertex partition $π= \{V_1, V_2, \dots, V_k\}$ where each set $V_i$ is either a secure dominating set consisting of a single vertex of degree $n-1$, or a set that is not a secure dominating set but forms a secure coalition with some other set $V_j \in π$. The maximum cardinality of a secure coalition partition of $G$ is called the secure coalition number of $G$, denoted $SEC(G)$. For every $sec$-partition $π$ of a graph $G$, we associate a graph called the secure coalition graph of $G$ with respect to $π$, denoted $SCG(G,π)$, where the vertices of $SCG(G,π)$ correspond to the sets $V_1, V_2, \dots, V_k$ of $π$, and two vertices are adjacent in $SCG(G,π)$ if and only if their corresponding sets in $π$ form a secure coalition in $G$. In this study, we prove that every graph admits a $sec$-partition. Further, we characterize the graphs $G$ with $SEC(G) \in \{1,2,n\}$ and all trees $T$ with $SEC(T) = n-1$. Finally, we show that every graph $G$ without isolated vertices is a secure coalition graph.
Local generation of languages
Given a language, which in this article is a set of strings of some fixed length, we study the problem of producing its elements by a procedure in which each position has its own local rule. We introduce a way of measuring how much communication is needed between positions. The communication structure is captured by a simplicial complex whose vertices are the positions and the simplices are the communication channels between positions. The main problem is then to identify the simplicial complexes that can be used to generate a given language. We develop the theory and apply it to a number of languages.
Varieties of Lines in 3-Space
We consider configurations of lines in 3-space with incidences prescribed by a graph. This defines a subvariety in a product of Grassmannians. Leveraging a connection with rigidity theory in the plane, for any graph, we determine the dimension of the incidence variety and characterize when it is irreducible or a complete intersection. We study its multidegree and the family of Schubert problems it encodes. Our spanning-tree coordinates enable efficient symbolic computations. We also provide numerical irreducible decompositions for incidence varieties with up to eight lines. These constructions with lines play a key role in the Landau analysis of scattering amplitudes in particle physics.
Spectrally indistinguishable pseudorandom graphs
We construct explicit families of graphs whose eigenvalues are asymptotically distributed according to Wigner's semicircle law; in other words, that are spectrally indistinguishable from random graphs. However, in other respects they are strikingly dissimilar from random graphs; for example, they are $K_{2,3}$-free graphs with almost the maximum possible edge density.
On the existence of neutral graph
Graph is considered neutral if its assortativity coefficient $r$ is equal to zero. In this paper, we address an outstanding conjecture, i.e., whether is there a neutral graph on $n$ vertices? First, we show that for $n\geq7$, there is at least one neutral tree, which suggests that we find a representative of any order neutral graph. Additionally, we obtain that given $n\geq13$, there exists at least one neutral non-tree graph.
The Self-Projecting Grassmannian
We introduce the self-projecting Grassmannian, an irreducible subvariety of the Grassmannian parametrizing linear subspaces that satisfy a generalized self-duality condition. We study its relation to classical moduli spaces, such as the moduli spaces of pointed curves of genus $g$, as well as to other natural subvarieties of the Grassmannian. We further translate the self-projectivity condition in the combinatorial language of matroids, introducing self-projecting matroids, and we computationally investigate their realization spaces inside the self-projecting Grassmannian.
A PTR polynomial for the Hughes planes and a new class of permutation polynomials involving Catalan numbers
Hughes introduced the projective planes that bear his name in 1957 and they have since been studied extensively. However, until now, no polynomial representation of a planar ternary ring that represents them has been determined. In this paper, we rectify this omission by determining a reduced PTR polynomial for any Hughes plane defined over a regular nearfield. The polynomials obtained provide a new surprising connection: both the Catalan numbers and generalized Catalan numbers occur among the coefficients, depending on the representation. Since every PTR polynomial has connections with several classes of permutation polynomials, we obtain three new infinite classes of permutation polynomials as a consequence of our main result, and these, too, involve the Catalan numbers. The differential uniformity of new permutation polynomials is also determined.
Scaling limits of critical FK-decorated random planar maps with $q=4$
We establish the first scaling limit for FK($q$)-weighted planar maps in the critical case $q=4$, resolving a problem that has remained open since Sheffield's seminal work arXiv:1108.2241. In that work, Sheffield proved a scaling limit for $q<4$ via the celebrated hamburger-cheeseburger bijection, which initiated the peanosphere (mating-of-trees) approach to Liouville quantum gravity. We prove that, at criticality, the associated burger count $\mathcal{S}$ and discrepancy $\mathcal{D}$ satisfy \[ \left(\frac{\mathcal{S}_{\lfloor nt \rfloor}}{\sqrt{n}}, \frac{\log(n)}{{2π}\sqrt{n}} \mathcal{D}_{\lfloor nt \rfloor}\right)_{t\in\mathbb{R}} \stackrel{\text{d}}{\longrightarrow} (B^1_t, B^2_{t})_{t\in\mathbb{R}}, \] where $B^1$ and $B^2$ are independent two-sided Brownian motions. To the best of our knowledge, no conjecture for the correct discrepancy scaling factor had previously been formulated. Matching the limiting process with the critical mating of trees arXiv:2109.00275, we establish the first rigorous planar map convergence towards CLE$_4$ and critical ($γ=2$) Liouville quantum gravity, in the peanosphere sense. Our proof is based on a novel approach that reveals the exactly solvable nature of the model through a correspondence with the (bicoloured) fully packed loop-$O(2)$ model on triangulations, and yields critical geometric exponents matching the predictions of conformal field theory.
Weihrauch reducibility between Ramsey-type theorems and well-ordering principles at the level of $Σ^0_2$-induction: A pilot study
Published
• View Publication
• BIB
We study the relations under Weihrauch reducibility of the well-ordering preservation principle for the operator $X \mapsto X^ω$ and the Ordered Ramsey Theorem. Both principles are known to be equivalent to $Σ^0_2$-induction in Reverse Mathematics.
We show that the Ordered Ramsey Theorem is Weihrauch-equivalent to the parallel product of the well-ordering preservation principle for the operator $X \mapsto X^ω$ and the Eventually Constant Tail principle.
By previous work from Pauly, Pradic and Soldà, the Ordered Ramsey Theorem is known to be Weihrauch-equivalent to the parallel product of the Eventually Constant Tail principle and the parallelization of the jump of the Limited Principle of Omniscience. We show that the latter pinciple and the well-ordering preservation principle for $X \mapsto X^ω$ are Weihrauch-incomparable.
$k$-path graphs: experiments and conjectures about algebraic connectivity and $α$-index
This work presents conjectures about eigenvalues of matrices associated with $k$-path graphs, the algebraic connectivity, defined as the second smallest eigenvalue of the Laplacian matrix, and the $α$-index, as the largest eigenvalue of the $A_α$-matrix. For this purpose, a process based in Pereira et al., is presented to generate lists of $k$-path graphs containing all non-isomorphic 2-paths, 3-paths, and 4-paths of order $n$, for $6 \leq n \leq 26, 8 \leq n \leq 19$, and $10 \leq n \leq 18$, respectively. Using these lists, exhaustive searches for extremal graphs of fixed order for the mentioned eigenvalues were performed. Based on the empirical results, conjectures are suggested about the structure of extremal $k$-path graphs for these eigenvalues.
Ealy's conjecture in odd characteristic
We solve Ealy's conjecture from 1977 by showing that for each odd prime $p$, a finite generalized quadrangle each point of which admits a central symmetry of order $p$, is either a classical symplectic quadrangle in dimension $3$, or a Hermitian quadrangle in dimension $3$ or $4$. As a byproduct, we vastly generalize the aforementioned result by determining the finite generalized quadrangles whose every point admits at least one nontrivial central symmetry.
Relative Turán densities for ordered graphs: all and nothing
Reiher, Rödl, Sales, and Schacht initiated the study of relative Turán densities of ordered graphs and showed that it is more subtle and interesting than the unordered case. For an ordered graph $F$, its relative Turán density, $ρ_{<}(F)$, is the greatest $α$ such that every ordered graph $G$ has an $F$-free subgraph with at least $αe(G)$ edges.
This paper contains two main results about relative Turán densities. First, we find a family of host graphs that is optimal for all $F$. Second, we characterise the ordered graphs with zero relative Turán density: precisely those with no monotone path of length two.
A complete solution of the Erdős-Kleitman matching problem for $n\le 3s$
Given integers $n\ge s\ge 2$, let $e(n,s)$ stand for the maximum size of a family of subsets of an $n$-element set that contains no $s$ pairwise disjoint members. The study of this quantity goes back to the 1960s, when Kleitman determined $e(sm-1,s)$ and $e(sm,s)$ for all integer $m,s\ge 1$. The question of determining $e(n,s)$ is closely connected to its uniform counterpart, the subject of the famous Erdős Matching Conjecture.
The problem of determining $e(n,s)$ has proven to be very hard and, in spite of some progress during these years, even a general conjecture concerning the value of $e(n,s)$ is missing. In this paper, we completely solve the problem for $n\le 3s$. In this regime, the average size of a set in an $s$-matching is at most $3$, and it is a delicate interplay between the `missing' $2$- and $3$-element sets that plays a key role here. Four types of extremal families appear in the characterization. Our result sheds light on how the extremal function $e(n,s)$ may behave in general.
Simple proofs of discretised projection theorems
We give a simple, short and self-contained presentation of Bourgain's discretised projection theorem from 2010, which is a fundamental tool in many recent breakthroughs in geometric measure theory, harmonic analysis, and homogeneous dynamics. Our main innovation is a short elementary argument that shows that a discretised subset of $\R$ satisfying a weak ``two-ends'' spacing condition is expanded by a polynomial to a set of positive Lebesgue measure.
Nearly Tight Lower Bounds for Relaxed Locally Decodable Codes via Robust Daisies
Published
• View Publication
• BIB
We show a nearly optimal lower bound on the length of linear relaxed locally decodable codes (RLDCs). Specifically, we prove that any $q$-query linear RLDC $C\colon \{0,1\}^k \to \{0,1\}^n$ must satisfy $n = k^{1+Ω(1/q)}$. This bound closely matches the known upper bound of $n = k^{1+O(1/q)}$ by Ben-Sasson, Goldreich, Harsha, Sudan, and Vadhan (STOC 2004).
Our proof introduces the notion of robust daisies, which are relaxed sunflowers with pseudorandom structure, and leverages a new spread lemma to extract dense robust daisies from arbitrary distributions.