Showing 20 papers (Total: 81378 papers, 47165 authors in database)
Canonical Lattices and Integer Relations Associated to Rational Fans
We propose a canonical local-to-global lattice theory for rational fans. We define the $\textit{ray lattice } L_{\mathrm{rays}}(Σ)$ and the $\textit{relation lattice } L_{\mathrm{rel}}(Σ)$ as invariants functorial under fan isomorphisms. We introduce $\textit{star-local relation lattices}$, defined via the relation lattice of the localized quotient fan, which capture the linear dependencies visible within local neighborhoods. We define a $\textit{codimension filtration}$ on the global relation lattice and prove a generation theorem: the global lattice is generated by local relations supported on the stars of cones of codimension at least 1. This filtration is sensitive to the facial structure of $Σ$; explicit examples and a conjecture suggest that subdivisions can only preserve or lower filtration depths, distinguishing fans with different combinatorial topologies.
Bouchet's conjecture for cyclically 5-edge-connected, cubic signed graphs
A 1983 conjecture of Bouchet states that every flow-admissible signed graph has a nowhere-zero six-flow. We prove this conjecture for cyclically five-edge-connected, cubic signed graphs.
Small counterexamples to the fat minor conjecture
We narrow the gap between the family of graphs that do and the family of graphs that do not satisfy the fat minor conjecture by obtaining much simpler counterexamples than were previously known, including $K_t, t \geq 6$ and $K_{s,t}, s,t \geq 4$ and $K_{2,2,2}$.
This is achieved by establishing a `coarse self-similarity' property of the graphs used by Nguyen, Scott and Seymour to disprove the `coarse Menger conjecture'. This property may be of independent interest.
Structural and extremal properties of $l_1$-Fiedler value
The algebraic connectivity $a(G)$, defined as the second smallest eigenvalue of the Laplacian matrix $L(G)$, admits a well-known variational characterization involving the minimization of a quadratic form subject to an $\ell_{2}$-norm constraint. In a recent work, Andrade and Dahl (2024) proposed an analogous formulation based on the $\ell_{1}$-norm, leading to the introduction of a new graph parameter $b(G)$, referred to as the $l_1$-Fiedler value. In this article, we undertake a detailed investigation of the structural and extremal properties of $b(G)$. We first derive a Nordhaus--Gaddum type inequality for $b(G)$. For trees, we determine both global maximizer and minimizers of $b(G)$, and present extremal constructions for trees with prescribed diameter, maximum degree, and number of pendant vertices. We further establish a connection between $b(G)$ and Laplacian matrices, and obtain a bound for $b(G)$ in terms of the edge connectivity, along with a complete characterization of the graphs attaining equality. We derive an explicit formula that describes the behaviour of $b(G)$ under the addition of pendant vertices. We also investigate the connection between $b(G)$ and the isoperimetric number.
The n-queens solution count Q(n) is divisible by 4
We consider the classical $n$-queens problem, which asks how many ways one can place $n$ mutually non-attacking queens on an $n$ x $n$ chessboard. We prove that the total number of solutions to the $n$-queens problem $Q(n)$ is divisible by 4 whenever $n \ge 6$.
On Edge-Disjoint Maximal Outerplanar Graphs
We provide two constructions for $t$ edge-disjoint maximal outerplanar graphs on every number of $n \geq 4t$ vertices. The bound on the minimum number of vertices is tight. These constructions yield the existence of optimal outerthickness-$t$ graphs for every $t \in \mathbb{N}$. While one of the constructions works for all values of $t$ and extends graphs from Guy and Nowakowski (1990), the other one holds only for powers of $2$, but yields graphs with maximum degree logarithmic in the number of vertices. Thus, the latter may be helpful in tackling the open question of determining the outerthickness of all complete graphs.
Weisfeiler-Leman on graphs of small twin-width
Twin-width is a graph parameter introduced in the context of first-order model checking, and has since become a central parameter in algorithmic graph theory. While many algorithmic problems become easier on arbitrary classes of bounded twin-width, graph isomorphism on graphs of twin-width 4 and above is as hard as the general isomorphism problem. For each positive number $k$, the $k$-dimensional Weisfeiler-Leman algorithm is an iterative color refinement algorithm that encodes structural similarities and serves as a fundamental tool for distinguishing non-isomorphic graphs. We show that the graph isomorphism problem for graphs of twin-width 1 can be solved by the purely combinatorial 3-dimensional Weisfeiler-Leman algorithm, while there is no fixed $k$ such that the $k$-dimensional Weisfeiler-Leman algorithm solves the graph isomorphism problem for graphs of twin-width 4.
Moreover, we prove the conjecture of Bergougnoux, Gajarský, Guspiel, Hlinený, Pokrývka, and Sokolowski that stable graphs of twin-width 2 have bounded rank-width. This in particular implies that isomorphism of these graphs can be decided by a fixed dimension of the Weisfeiler-Leman algorithm.
Note on edge expansion and modularity in preferential attachment graphs
Edge expansion is a parameter indicating how well-connected a graph is. It is useful for designing robust networks, analysing random walks or information flow through a network and is an important notion in theoretical computer science. Modularity is a measure of how well a graph can be partitioned into communities and is widely used in clustering applications. We study these two parameters in two commonly considered models of random preferential attachment graphs, with $h \geq 2$ edges added per step. We establish new bounds for the likely edge expansion for both random models. Using bounds for edge expansion of small subsets of vertices, we derive new upper bounds also for the modularity values for small $h$.
Game connectivity and adaptive dynamics in many-action games
We study the typical structure of games in terms of their connectivity properties. A game is said to be `connected' if it has a pure Nash equilibrium and the property that there is a best-response path from every action profile which is not a pure Nash equilibrium to every pure Nash equilibrium, and it is generic if it has no indifferences. In previous work we showed that, among all $n$-player $k$-action generic games that admit a pure Nash equilibrium, the fraction that are connected tends to $1$ as $n$ gets sufficiently large relative to $k$. The present paper considers the large-$k$ regime, which behaves differently: we show that the connected fraction tends to $1-ζ_n$ as $k$ gets large, where $ζ_n>0$. In other words, a constant fraction of many-action games are not connected. However, $ζ_n$ is small and tends to $0$ rapidly with $n$, so as $n$ increases all but a vanishingly small fraction of many-player-many-action games are connected. Since connectedness is conducive to equilibrium convergence we obtain, by implication, that there is a simple adaptive dynamic that is guaranteed to lead to a pure Nash equilibrium in all but a vanishingly small fraction of generic games that have one. Our results are based on new probabilistic and combinatorial arguments which allow us to address the large-$k$ regime that the approach used in our previous work could not tackle. We thus complement our previous work to provide a more complete picture of game connectivity across different regimes.
Repetition in Permutation Wordle
In a game of permutation wordle, a player attempts to guess a secret permutation in the fewest number of guesses possible. Previously, Samuel Kutin and Lawren Smithline (arXiv:2408.00903) introduced this game and proposed a strategy called cyclic shift, which they conjecture performs optimally. We continue our investigation of this conjecture by considering how information is obtained and, at times, repeated during a game of permutation wordle using an arbitrary strategy. This analysis includes several algorithms to construct a secret permutation which prompts inefficient repetition according to the player's strategy, as well as proofs of their efficacy.
A Halász-type theorem for permutation anticoncentration
Given a set $A=\{a_1,\ldots,a_n\}$ of real numbers and real coefficients $b_1,\ldots,b_n$, consider the distribution of the sum obtained by pairing the $a_i$'s with the $b_i$'s according to a uniformly random permutation. A recent theorem of Pawlowski shows that as soon as the coefficients are not all equal, this distribution is always spread out at scale $n^{-1}$: no single value can occur with probability larger than $\frac{1}{2\lceil n/2\rceil + 1}$, and this bound is sharp in general.
We show that stronger anticoncentration holds when the coefficients have additional diversity. We quantify the structure of the coefficient multiset by a simple statistic depending on its multiplicity profile, and prove that the maximum point mass of the permuted sum decays polynomially faster as this statistic grows. In particular, when the coefficients are all distinct we obtain a bound of $n^{-5/2+o(1)}$, which can be regarded as an analogue of a classical theorem of Erdős and Moser.
Eigenvalues of $p$-adic random matrices
We develop the basic theory of eigenvalues of $p$-adic random matrices, analogous to the classical theory for random matrices over $\mathbb{R}$ and $\mathbb{C}$. Such eigenvalue statistics were proposed as a model for the zeroes of $p$-adic $L$-functions by Ellenberg-Jain-Venkatesh, who computed the limiting distribution of the number of eigenvalues in a unit disc. We compute the full joint distribution of the $n$ eigenvalues of an $n \times n$ matrix with Haar distribution, obtaining Coulomb gas type formulas as in the archimedean case, with Vandermonde terms leading to eigenvalue repulsion.
From these Coulomb gas density functions we derive asymptotics of eigenvalue statistics as $n \to \infty$. These include exact computations, such as a closed form
$$ρ(x,y) = 1 - θ_3(-\sqrt{p};||x-y||^2/p)$$
for the limiting pair correlation of eigenvalues in $\mathbb{Z}_p$, and similar results in quadratic extensions. Such formulas yield concrete numerical predictions on zeroes of $p$-adic $L$-functions.
For eigenvalues in arbitrary extensions of $\mathbb{Q}_p$ we also give precise estimates on their pair-repulsion and expected number of eigenvalues in each extension. Finally, we compute the asymptotic probability that all eigenvalues lie in $\mathbb{Z}_p$.
Our proofs combine results from several distinct areas: $p$-adic orbital integrals, roots of random $p$-adic polynomials, the Sawin-Wood moment method for random modules, and Markov chains associated with measures on integer partitions.
Plane partitions and spin adapted quantum states
We describe an explicit basis for the $\operatorname{SU}(2)$-invariant space of the exterior power $\wedge_{2k} \mathbb{C}^{2m}$ via the combinatorics of plane partitions. In quantum chemistry, this is the space of spin adapted quantum states of an electronic system with $m$ spin orbitals and $k$ electron pairs. We construct our basis by identifying the invariant space with an Artinian commutative ring called the excitation ring. We compute a Gröbner basis and enumerate its standard monomials via an explicit bijection to Dyck paths counted by the Narayana numbers.
Two conjectures in spectral hypergraph theory
Let $\mathcal{A}$ be a $k$-th order $n$-dimensional tensor, and we denote by ${\rm am}(λ, \mathcal{A})$ the algebraic multiplicity of the eigenvalue $λ$ of $\mathcal{A}$. The projective eigenvariety $\mathbb{V}_λ(\mathcal{A})$ is defined as the set of eigenvectors of $\mathcal{A}$ associated with $λ$, considered in the complex projective space. For a connected uniform hypergraph $H$, let $\mathcal{A}(H)$ and $\mathcal{L}(H)$ denote its adjacency tensor and Laplacian tensor, respectively. Let $ρ$ be the spectral radius of $\mathcal{A}(H)$, for which it is known that $|\mathbb{V}_ρ(\mathcal{A}(H))| = |\mathbb{V}_{0}(\mathcal{L}(H))|$. Recently, Fan [arXiv:2410.20830v2, 2024] conjectured that ${\rm am}(ρ, \mathcal{A}(H)) = |\mathbb{V}_ρ(\mathcal{A}(H))|$ and ${\rm am}(0, \mathcal{L}(H)) = {\rm am}(ρ, \mathcal{A}(H))$. In this paper, we prove these two conjectures, and thereby establish $$ {\rm am}(ρ, \mathcal{A}(H)) = |\mathbb{V}_ρ(\mathcal{A}(H))| = |\mathbb{V}_{0}(\mathcal{L}(H))| = {\rm am}(0, \mathcal{L}(H)). $$ As shown by Fan et al., $|\mathbb{V}_ρ(\mathcal{A}(H))|$ and $|\mathbb{V}_{0}(\mathcal{L}(H))|$ can be computed via the Smith normal form of the incidence matrix of $H$ over $\mathbb{Z}_{k}$. Consequently, we provide a method for computing the algebraic multiplicity of the spectral radius and zero Laplacian eigenvalue for connected uniform hypergraphs.
On identity Seidel switches
Seidel switching is a classical operation on graphs which plays a central role in the theory of two-graphs, signed graphs, and switching classes. In this paper we focus on those switches which leave a given graph invariant up to isomorphism. We call such subsets of the vertex set \emph{identity Seidel switches}. After recalling basic properties of Seidel switching and the associated abelian group structure, we introduce Seidel equivalence classes of graphs and then study the structure of the family of identity Seidel switches of a fixed graph. We show that this family forms a 14 pages; 2--group under composition, and we obtain structural constraints on graphs in which many vertices or edges give rise to identity switches. In particular, we derive necessary conditions in terms of degree parameters, and we characterize certain edge-identity switches via an automorphism of an induced subgraph. Several constructions and examples are presented, and some open problems are proposed.
Asymmetrically Weighted Dowker Persistence and Applications in Dynamical Systems
By their nature it is difficult to differentiate chaotic dynamical systems through measurement. In recent years, work has begun on using methods of Topological Data Analysis (TDA) to qualitatively type dynamical data by approximating the topology of the underlying attracting set. This comes with the additional challenges of high dimensionality incurring computational complexity along with the lack of directional information encoded in the approximated topology. Due to the latter fact, standard methods of TDA for this high dimensional dynamical data do not differentiate between periodic cycles and non-periodic cycles in the attractor. We present a framework to address both of these challenges. We begin by binning the dynamical data, and capturing the sequential information in the form of a coarse-grained weighted and directed network. We then calculate the persistent Dowker homology of the asymmetric network, encoding spatial and temporal information. Analytically, we highlight the differences in periodic and non-periodic cycles by providing a full characterization of their one-dimensional Dowker persistences. We prove how the homologies of graph wedge sums can be described in terms of the wedge component homologies. Finally, we generalize our characterization to cactus graphs with arbitrary edge weights and orientations. Our analytical results give insight into how our method captures temporal information in its asymmetry, producing a persistence framework robust to noise and sensitive to dynamical structure.
Large induced forests in planar multigraphs
For a graph $G$ on $n$ vertices, denote by $a(G)$ the number of vertices in the largest induced forest in $G$. The Albertson-Berman conjecture, which is open since 1979, states that $a(G) \geq \frac{n}{2}$ for all simple planar graphs $G$. We show that the version of this problem for multigraphs (allowing parallel edges) is easily reduced to the problem about the independence number of simple planar graphs. Specifically, we prove that $a(M) \geq \frac{n}{4}$ for all planar multigraphs $M$ and that this lower bound is tight. Then, we study the case when the number of pairs of vertices with parallel edges, which we denote by $k$, is small. In particular, we prove the lower bound $a(M) \geq \frac{2}{5}n-\frac{k}{10}$ and that the Albertson-Berman conjecture for simple planar graphs, assuming that it holds, would imply the lower bound $a(M) \geq \frac{n-k}{2}$ for planar multigraphs, which would be better than the general lower bound when $k$ is small. Finally, we study the variant of the problem where the plane multigraphs are prohibited from having $2$-faces, which is the main non-trivial problem that we introduce in this article. For that variant without $2$-faces, we prove the lower bound $a(M) \geq \frac{3}{10}n+\frac{7}{30}$ and give a construction of an infinite sequence of multigraphs with $a(M)=\frac{3}{7}n+\frac{4}{7}$.
More on spectral supersaturation for the bowtie
A central topic in extremal graph theory is the supersaturation problem, which studies the minimum number of copies of a fixed substructure that must appear in any graph with more edges than the corresponding Turán number. Significant works due to Erdős, Rademacher, Lovász and Simonovits investigated the supersaturation problem for the triangle. Moreover, Kang, Makai and Pikhurko studied the case for the bowtie, which consists of two triangles sharing a vertex. Building upon the pivotal results established by Bollobás, Nikiforov, Ning and Zhai on counting triangles via the spectral radius, we study in this paper the spectral supersaturation problem for the bowtie. Let $λ(G)$ be the spectral radius of a graph $G$, and let $K_{\lceil \frac{n}{2}\rceil, \lfloor \frac{n}{2}\rfloor}^q$ be the graph obtained from Turán graph $T_{n,2}$ by adding $q$ pairwise disjoint edges to the partite set of size $\lceil \frac{n}{2}\rceil$. Firstly, we prove that there exists an absolute constant $δ>0$ such that if $n$ is sufficiently large, $2\le q \le δ\sqrt{n}$, and $G$ is an $n$-vertex graph with $λ(G)\ge λ(K_{\lceil \frac{n}{2}\rceil, \lfloor \frac{n}{2}\rfloor}^q)$, then $G$ contains at least ${q\choose 2}\lfloor \frac{n}{2}\rfloor$ bowties, and $K_{\lceil \frac{n}{2}\rceil, \lfloor \frac{n}{2}\rfloor}^q$ is the unique spectral extremal graph. This solves an open problem proposed by Li, Feng and Peng. Secondly, we show that a graph $G$ whose spectral radius exceeds that of the spectral extremal graph for the bowtie must contain at least $\lfloor \frac{n-1}{2}\rfloor$ bowties. This sharp bound reveals a distinct phenomenon from the edge-supersaturation case, which guarantees at least $\lfloor \frac{n}{2}\rfloor$ bowties.
Linear identities for partition pairs with $5$-cores
We prove an infinite family of linear identities for the number $A_5(n)$ of partition pairs of $n$ with $5$-cores by using certain theta function identities involving the Ramanujan's parameter $k(q)$ due to Cooper, and Lee and Park. Consequently, we deduce an infinite family of congruences for $A_5(n)$ using these linear identities.
Branch-width of connectivity functions is fixed-parameter tractable
A connectivity function on a finite set $V$ is a symmetric submodular function $f \colon 2^V \to \mathbb{Z}$ with $f(\emptyset)=0$. We prove that finding a branch-decomposition of width at most $k$ for a connectivity function given by an oracle is fixed-parameter tractable (FPT), by providing an algorithm of running time $2^{O(k^2)} γn^6 \log n$, where $γ$ is the time to compute $f(X)$ for any set $X$, and $n = |V|$. This improves the previous algorithm by Oum and Seymour [J. Combin. Theory Ser. B, 2007], which runs in time $γn^{O(k)}$. Our algorithm can be applied to rank-width of graphs, branch-width of matroids, branch-width of (hyper)graphs, and carving-width of graphs. This resolves an open problem asked by Hliněný [SIAM J. Comput., 2005], who asked whether branch-width of matroids given by the rank oracle is fixed-parameter tractable. Furthermore, our algorithm improves the best known dependency on $k$ in the running times of FPT algorithms for graph branch-width, rank-width, and carving-width.