Search

Let $G$ be a simple Lie group. Consider a nilpotent element $e\in \mathfrak{g}$. Let $Z_G(e)$ be the centralizer of $e$ in $G$, and let $A_e:= Z_G(e)/Z_G(e)^{o}$ be its component group. Write $\text{Irr}(\mathcal{B}_e)$ for the set of irreducible components of the Springer fiber $\mathcal{B}_e$. We have an action of $A_e$ on $\text{Irr}(\mathcal{B}_e)$. When $\mathfrak{g}$ is exceptional, we give an explicit description of $\text{Irr}(\mathcal{B}_e)$ as an $A_e$-set. For $\mathfrak{g}$ of classical type, we describe the stabilizers for the $A_e$-action. With this description, we prove a conjecture of Lusztig and Sommers.

Let $D$ denote the set of directions determined by the graph of a polynomial $f$ of $\mathbb{F}_q[x]$, where $q$ is a power of the prime $p$. If $D$ is contained in a multiplicative subgroup $M$ of $\mathbb{F}_q^\times$, then by a result of Carlitz and McConnel it follows that $f(x)=ax^{p^k}+b$ for some $k\in \mathbb{N}$. Of course, if $D\subseteq M$, then $0\notin D$ and hence $f$ is a permutation. If we assume the weaker condition $D\subseteq M \cup \{0\}$, then $f$ is not necessarily a permutation, but Sziklai conjectured that $f(x)=ax^{p^k}+b$ follows also in this case. When $q$ is odd, and the index of $M$ is even, then a result of Ball, Blokhuis, Brouwer, Storme and Sz\H onyi combined with a result of McGuire and G\"olo\u{g}lu proves the conjecture. Assume $\deg f\geq 1$. We prove that if the size of $D^{-1}D=\{d^{-1}d' : d\in D\setminus \{0\},\, d'\in D\}$ is less than $q-\deg f+2$, then $f$ is a permutation of $\mathbb{F}_q$. We use this result to verify the conjecture of Sziklai.

In 1969, Erd\H{o}s and S\'{o}s initiated the study of the Ramsey-Tur\'{a}n type problems: Determine the maximum number of edges of an $n$-vertex $K_{p+1}$-free graph without large independent set. Given integers $p, q\ge2$, we say that a graph $G$ is $(K_p,K_q)$-free if there exists a red/blue edge coloring of $G$ such that it contains neither a red $K_p$ nor a blue $K_q$. Fix a function $f( n )$, the Ramsey-Tur\'{a}n number $RT( {n,p,q,f( n ))} $ is the maximum number of edges in an $n$-vertex $(K_p,K_q)$-free graph with independence number at most $f( n )$. For any $\delta>0$, let $\rho (p, q,\delta ) = \mathop {\lim }\limits_{n \to \infty } \frac{RT(n,p, q,\delta n)}{n^2}$. Kim, Kim and Liu (2019) determined the value of $\rho(3,p,\delta)$ for $p=3,4,5$ and sufficiently small $\delta>0$. Moreover, they showed $\rho(3,6,\delta)\ge \frac{5}{12}+\frac{\delta}{2}+2\delta^2$ from a skilful construction and conjectured the equality holds for sufficiently small $\delta>0$. In this paper, we obtain $\rho(3,6,\delta)\le\frac{5}{{12}} + \frac{\delta }{2}+ 2.1025\delta ^2$ for sufficiently small $\delta>0$, which is pretty close to solving the conjecture. The key step of the proof is to establish a stability lemma of the $n$-vertex graph that is $(K_3,K_6)$-free with independence number $\delta n$., Comment: 32 pages

This paper studies the stability of tensor ranks under field extensions. Our main contributions are fourfold: (1) We prove that the analytic rank is stable under field extensions. (2) We establish the equivalence between the partition rank vs. analytic rank conjecture and the stability conjecture for partition rank. We also prove that they are equivalent to other two important conjectures. (3) We resolve the Adiprasito-Kazhdan-Ziegler conjecture on the stability of the slice rank of linear subspaces under field extensions. (4) As an application of (1), we show that the geometric rank is equal to the analytic rank up to a constant factor., Comment: 18 pages

The $n$ queens problem considers the maximum number of safe squares on an $n \times n$ chess board when placing $n$ queens; the answer is only known for small $n$. Miller, Sheng and Turek considered instead $n$ randomly placed rooks, proving the proportion of safe squares converges to $1/e^2$. We generalize and solve when randomly placing $n$ hyper-rooks and $n^{k-1}$ line-rooks on a $k$-dimensional board, using combinatorial and probabilistic methods, with the proportion of safe squares converging to $1/e^k$. We prove that the proportion of safe squares on an $n \times n$ board with bishops in 2 dimensions converges to $2/e^2$. This problem is significantly more interesting and difficult; while a rook attacks the same number of squares wherever it's placed, this is not so for bishops. We expand to the $k$-dimensional chessboard, defining line-bishops to attack along $2$-dimensional diagonals and hyper-bishops to attack in the $k-1$ dimensional subspace defined by its diagonals in the $k-2$ dimensional subspace. We then combine the movement of rooks and bishops to consider the movement of queens in 2 dimensions, as well as line-queens and hyper-queens in $k$ dimensions., Comment: 19 pages, 6 figures

We prove a new lower bound for the Frobenius norm of the inverse of an non-negative matrix. This bound is only a modest improvement over previous results, but is sufficient for fully resolving a conjecture of Harwitz and Sloane, commonly referred to as the S-matrix conjecture, for all dimensions larger than a small constant.

Motivated by the $(q,\gamma)$-cumulants, introduced by Xu [arXiv:2303.13812] to study $\beta$-deformed singular values of random matrices, we define the $(n,d)$-rectangular cumulants for polynomials of degree $d$ and prove several moment-cumulant formulas by elementary algebraic manipulations; the proof naturally leads to quantum analogues of the formulas. We further show that the $(n,d)$-rectangular cumulants linearize the $(n,d)$-rectangular convolution from Finite Free Probability and that they converge to the $q$-rectangular free cumulants from Free Probability in the regime where $d\to\infty$, $1+n/d\to q\in[1,\infty)$. As an application, we employ our formulas to study limits of symmetric empirical root distributions of sequences of polynomials with nonnegative roots. One of our results is akin to a theorem of Kabluchko [arXiv:2203.05533] and shows that applying the operator $\exp(-\frac{s^2}{n}x^{-n}D_xx^{n+1}D_x)$, where $s>0$, asymptotically amounts to taking the rectangular free convolution with the rectangular Gaussian distribution of variance $qs^2/(q-1)$., Comment: 30 pages, 3 figures

The Euler characteristic of a very affine variety encodes the algebraic complexity of solving likelihood (or scattering) equations on this variety. We study this quantity for the Grassmannian with $d$ hyperplane sections removed. We provide a combinatorial formula, and explain how to compute this Euler characteristic in practice, both symbolically and numerically. Our particular focus is on generic hyperplane sections and on Schubert divisors. We also consider special Schubert arrangements relevant for physics. We study both the complex and the real case., Comment: 20 pages

We investigate a random geometric graph model introduced by Bonato and Janssen. The vertices are the points of a countable dense set $S$ in a (necessarily separable) normed vector space $X$, and each pair of points are joined independently with some fixed probability $p$ (with $0

Directed graphs provide more subtle and precise modelling tools for optimization in road networks than simple graphs. In particular, they are more suitable in the context of alternative fuel vehicles and new automotive technologies, like electric vehicles. In this paper, we introduce the new general concept of a reachability digraph associated with a road network to model the placement of refuelling facilities in road networks as k-dominating sets in the reachability digraph. Two new greedy heuristics are designed and experimentally tested to search for small k-dominating sets in two types of digraphs, including the reachability digraphs. Refined greedy strategies are shown to be efficient, capable of finding good quality solutions, and suitable for application in very large digraphs and road networks. Also, a probabilistic method is used to prove a new upper bound on the k-domination number of a digraph, which informs the development of a new randomized heuristic to search for k-dominating sets in the digraph. Generalizing the randomized heuristic ideas, making the heuristic more flexible, tuning and combining it with the greedy strategies allows us to obtain even better results for the reachability digraphs. Computational experiments are conducted for a case study of road networks in the West Midlands (UK)., Comment: 27 pages, 1 figure, 7 tables; preliminary results are presented in a short conference paper and at the International Network Optimization Conference INOC 2024, University College Dublin (Ireland) https://inoc2024.sciencesconf.org/

We study the problem of calculating noncommutative distances on graphs, using techniques from linear algebra, specifically, Birkhoff-James orthogonality. A complete characterization of the solutions is obtained in the case when the underlying graph is a path., Comment: 26 pages, 1 figure

Consider a fair lottery over the natural numbers in which the selected number is removed. This lottery is iterated countably infinite times, with a known ratio of iterations to natural numbers. Removed numbers are not replaced. The natural numbers are partitioned into two sets with a given ratio of elements, which is tracked along each iteration of the lottery. Hess and Polisetty considered and investigated such a process and reported the expected values of the densities for some particular cases. In this work, we provide a novel framework for computing these expected densities using infinite matrices. The results presented in this work generalize previous results., Comment: 17 pages, 1 figure, 6 appendices with derivations

Traditionally, inapproximability results for $\mathsf{Max\,k\,CSP\!-\!q}$ have been established using balanced $t$-wise independent distributions, which are related to orthogonal arrays of strength $t$. We contribute to the field by exploring such combinatorial designs in the context of the differential approximation measure. First, we establish a connection between the average differential ratio and orthogonal arrays. We deduce a differential approximation ratio of $1/q^k$ on $(k +1)$-partite instances of $\mathsf{k\,CSP\!-\!q}$, $\Omega(1/n^{k/2})$ on Boolean instances, $\Omega(1/n)$ when $k =2$, and $\Omega(1/\nu^{k -\lceil\log_{p^\kappa} k\rceil})$ when $k\geq 3$ and $q\geq 3$, where $p^\kappa$ is the smallest prime power greater than $q$. Secondly, by considering pairs of arrays related to balanced $k$-wise independence, we establish a reduction from $\mathsf{k\,CSP\!-\!q}$ to $\mathsf{k\,CSP\!-\!k}$ (with $q>k$), with an expansion factor of $1/(q -k/2)^k$ on the differential approximation guarantee. This, combined with the result of Yuri Nesterov, implies a lower differential approximability bound of $0.429/(q -1)^2$ for $\mathsf{2\,CSP\!-\!q}$. Finally, we prove that every Hamming ball with radius $k$ provides a $\Omega(1/n^k)$-approximation of the instance diameter. Our work highlights the utility of combinatorial designs in establishing approximation results., Comment: Preliminary versions of this work have been presented or published at the ISCO 2012, ISCO 2018 and IWOCA 2018 conferences

Given integers $k,c > 0$, we say that a digraph $D$ is $(k,c)$-linked if for every pair of ordered sets $\{s_1, \ldots, s_k\}$ and $\{t_1, \ldots, t_k\}$ of vertices of $D$, there are $P_1, \ldots, P_k$ such that for $i \in [k]$ each $P_i$ is a path from $s_i$ to $t_i$ and every vertex of $D$ appears in at most $c$ of those paths. Thomassen [Combinatorica, 1991] showed that for every fixed $k \geq 2$ there is no integer $p$ such that every $p$-strong digraph is $(k,1)$-linked. Edwards et al. [ESA, 2017] showed that every digraph $D$ with directed treewidth at least some function $f(k)$ contains a large bramble of congestion $2$ and that every $(36k^3 + 2k)$-strong digraph containing a bramble of congestion $2$ and size roughly $188k^3$ is $(k,2)$-linked. Since the directed treewidth of a digraph has to be at least its strong connectivity, this implies that there is a function $L(k)$ such that every $L(k)$-strong digraph is $(k,2)$-linked. This result was improved by Campos et al. [ESA, 2023], who showed that any $k$-strong digraph containing a bramble of size at least $2k(c\cdot k -c + 2) + c(k-1)$ and congestion $c$ is $(k,c)$-linked. Regarding the bramble, although the given bound on $f(k)$ is very large, Masa\v{r}\'{\i}k et al. [SIDMA, 2022] showed that directed treewidth $\mathcal{O}(k^{48}\log^{13} k)$ suffices if the congestion is relaxed to $8$. We first show how to drop the dependence on $c$, for even $c$, on the size of the bramble that is needed in the work of Campos et al. [ESA, 2023]. Then, by making two local changes in the proof of Masa\v{r}\'{\i}k et al. [SIDMA, 2022] we show how to build in polynomial time a bramble of size $k$ and congestion $8$ assuming that a large obstruction to directed treewidth (namely, a path system) is given. Applying these results, we show that there is a polynomial function $g(k)$ such that every $g(k)$-strong digraph is $(k,8)$-linked.

We compute the equivariant K-theory of torus fixed points of Cherkis bow varieties of affine type A. We deduce formulas for the generating series of the Euler numbers of these varieties and observe their modularity in certain cases. We also obtain refined formulas on the motivic level for a class of bow varieties strictly containing Nakajima quiver varieties. These series hence generalise results of Nakajima-Yoshioka. As a special case, we obtain formulas for certain Zastava spaces. We define a parabolic analogue of Nekrasov's partition function and find an equation relating it to the classical partition function., Comment: 32 pages. Comments are welcome

We investigate the structure of the minimal displacement set in weakly systolic complexes. We show that such set is systolic and that it embeds isometrically into the complex. As corollaries, we prove that any isometry of a weakly systolic complex either fixes the barycentre of some simplex (elliptic case) or it stabilizes a thick geodesic (hyperbolic case)., Comment: 11 pages, 4 figures

We study adjacency and Laplacian matrices of Erd\H{o}s-R\'{e}nyi $r$-uniform hypergraphs on $n$ vertices with hyperedge inclusion probability $p$, in the setting where $r$ can vary with $n$ such that $r / n \to c \in [0, 1)$. Adjacency matrices of hypergraphs are contractions of adjacency tensors and their entries exhibit long range correlations. We show that under the Erd\H{o}s-R\'{e}nyi model, the expected empirical spectral distribution of an appropriately normalised hypergraph adjacency matrix converges weakly to the semi-circle law with variance $(1 - c)^2$ as long as $\frac{d_{\avg}}{r^7} \to \infty$, where $d_{\avg} = \binom{n-1}{r-1} p$. In contrast with the Erd\H{o}s-R\'{e}nyi random graph ($r = 2$), two eigenvalues stick out of the bulk of the spectrum. When $r$ is fixed and $d_{\avg} \gg n^{r - 2} \log^4 n$, we uncover an interesting Baik-Ben Arous-P\'{e}ch\'{e} (BBP) phase transition at the value $r = 3$. For $r \in \{2, 3\}$, an appropriately scaled largest (resp. smallest) eigenvalue converges in probability to $2$ (resp. $-2$), the right (resp. left) end point of the support of the standard semi-circle law, and when $r \ge 4$, it converges to $\sqrt{r - 2} + \frac{1}{\sqrt{r - 2}}$ (resp. $-\sqrt{r - 2} - \frac{1}{\sqrt{r - 2}}$). Further, in a Gaussian version of the model we show that an appropriately scaled largest (resp. smallest) eigenvalue converges in distribution to $\frac{c}{2} \zeta + \big[\frac{c^2}{4}\zeta^2 + c(1 - c)\big]^{1/2}$ (resp. $\frac{c}{2} \zeta - \big[\frac{c^2}{4}\zeta^2 + c(1 - c)\big]^{1/2}$), where $\zeta$ is a standard Gaussian. We also establish analogous results for the bulk and edge eigenvalues of the associated Laplacian matrices.

We establish a Crapo complementation formula for the M\"obius function $\mu^X$ in a general decomposition space $X$ in terms of a convex subspace $K$ and its complement: $\mu^X \simeq \mu^{X\setminus K} + \mu^X*\zeta^K*\mu^X$. We work at the objective level, meaning that the formula is an explicit homotopy equivalence of $\infty$-groupoids. Almost all arguments are formulated in terms of (homotopy) pullbacks. Under suitable finiteness conditions on $X$, one can take homotopy cardinality to obtain a formula in the incidence algebra at the level of $\mathbb{Q}$-algebras. When $X$ is the nerve of a locally finite poset, this recovers the Bj\"orner--Walker formula, which in turn specialises to the original Crapo complementation formula when the poset is a finite lattice. A substantial part of the work is to introduce and develop the notion of convexity for decomposition spaces, which in turn requires some general preparation in decomposition-space theory, notably some results on reduced covers and ikeo and semi-ikeo maps. These results may be of wider interest. Once this is set up, the objective proof of the Crapo formula is quite similar to that of Bj\"orner--Walker., Comment: 24pp

We asymptotically resolve the the uniform Tur\'an density problem for the large stars. In particular, we show that the uniform Tur\'an density of the $k$-star $S_k$ is $\frac{k^2-5k+7}{(k-1)^2}$ for $k\ge 48$, matching a lower construction by Reiher, R\"odl and Schacht.

We say that a vertex $v$ in a connected graph $G$ is decisive if the numbers of walks from $v$ of each length determine the graph $G$ rooted at $v$ up to isomorphism among all connected rooted graphs with the same number of vertices. On the other hand, $v$ is called ambivalent if it has the same walk counts as a vertex in a non-isomorphic connected graph with the same number of vertices as $G$. Using the classical constructions of cospectral trees, we first observe that ambivalent vertices exist in almost all trees. If a graph $G$ is determined by spectrum and its characteristic polynomial is irreducible, then we prove that all vertices of $G$ are decisive. Note that both assumptions are conjectured to be true for almost all graphs. Without using any assumption, we are able to prove that the vertices of a random graph are with high probability distinguishable from each other by the numbers of closed walks of length at most 4. As a consequence, the closed walk counts for lengths 2, 3, and 4 provide a canonical labeling of a random graph. Answering a question posed in chemical graph theory, we finally show that all walk counts for a vertex in an $n$-vertex graph are determined by the counts for the $2n$ shortest lengths, and the bound $2n$ is here asymptotically tight., Comment: 31 pages, 4 Figures

Given $s \in (0,1]$ and $t \in [0,2]$, suppose a set $X$ in the plane has the following property:~there is a collection of lines of packing dimension $t$ such that every line from the collection intersects $X$ in a set of packing dimension at least $s$. We show that such sets must have packing dimension at least $\max\{s,t/2\}$ and that this bound is sharp. In particular this solves a variant of the Furstenberg set problem for packing dimension. We also solve the upper and lower box dimension variants of the problem. In both of these cases the sharp threshold is $\max\{s,t-1\}$., Comment: 10 pages

We provide a formula for the Poincar\'e dual of the Chern-Schwartz-MacPherson (CSM) cycle of a matroid in the Chow ring of the matroid. We derive the formula from the case of matroids realizable over the complex numbers and prove that it satisfies a contraction-deletion formula. From this fact, we prove it holds for all matroids, confirming a conjecture of Fife and Rinc\'on.

The second author introduced 2-associahedra as a tool for investigating functoriality properties of Fukaya categories, and he conjectured that they could be realized as face posets of convex polytopes. We introduce a family of posets called categorical $n$-associahedra, which naturally extend the second author's 2-associahedra and the classical associahedra. Categorical $n$-associahedra give a combinatorial model for the poset of strata of a compactified real moduli space of a tree arrangement of affine coordinate subspaces. We construct a family of complete polyhedral fans, called velocity fans, whose coordinates encode the relative velocities of pairs of colliding coordinate subspaces, and whose face posets are the categorical $n$-associahedra. In particular, this gives the first fan realization of 2-associahedra. In the case of the classical associahedron, the velocity fan specializes to the normal fan of Loday's realization of the associahedron. For proving that the velocity fan is a fan, we first construct a cone complex of metric $n$-bracketings and then exhibit a piecewise-linear isomorphism from this complex to the velocity fan. We demonstrate that the velocity fan, which is not simplicial, admits a canonical smooth flag triangulation on the same set of rays, and we describe a second, finer triangulation which provides a new extension of the braid arrangement. We describe piecewise-unimodular maps on the velocity fan such that the image of each cone is a union of cones in the braid arrangement, and we highlight a connection to the theory of building sets and nestohedra. We explore the local iterated fiber product structure of categorical $n$-associahedra and the extent to which this structure is realized by the velocity fan. For the class of concentrated $n$-associahedra we exhibit generalized permutahedra having velocity fans as their normal fans., Comment: 143 pages, 39 figures

We explore properties of generalized Paley graphs and we extend a result of Lim and Praeger by providing a more precise description of the connected components of disconnected generalized Paley graphs. This result leads to a new characterization of when generalized Paley graphs are disconnected. We also provide necessary and sufficient divisibility conditions for the multiplicative group of the prime subfield of certain finite fields to be contained in the multiplicative subgroup of nonzero $k$-th powers. This latter result plays a crucial role in our development of a sorting algorithm on generalized Paley graphs that exploits the vector space structure of finite fields to partition certain subsets of vertices in a manner that decomposes the induced bipartite subgraph between them into complete balanced bipartite subgraphs. As a consequence, we establish a matching condition between these subsets of vertices that results in an explicit formula for the condensed Ricci curvature on certain Paley graphs and their generalizations.

In 1995, Erd\H{o}s and Gy\'{a}rf\'{a}s proved that in every $2$-edge-coloured complete graph on $n$ vertices, there exists a collection of $2\sqrt{n}$ monochromatic paths, all of the same colour, which cover the entire vertex set. They conjectured that it is possible to replace $2\sqrt{n}$ by $\sqrt{n}$. We prove this to be true for all sufficiently large $n$., Comment: 7 pages

Standard techniques for treating linear recurrences no longer apply for quadratic recurrences. It is not hard to determine asymptotics for a specific parametrized model over a wide domain of values (all $p \neq 1/2$ here). The gap between theory and experimentation seems insurmountable, however, at a single outlier ($p = 1/2$)., Comment: 9 pages

In this paper we investigate the regimes where an Erdos-Renyi random graph has torsion free eulerian magnitude homology groups. To this end, we start be introducing the eulerian Asao-Izumihara complex - a quotient CW-complex whose homology groups are isomorphic to direct summands of the graph eulerian magnitude homology group. We then proceed by producing a vanishing threshold for a shelling of eulerian Asao-Izumihara complex. This will lead to a result establishing the regimes where eulerian magnitude homology of Erdos-Renyi random graphs is torsion free., Comment: 14 pages

Let $p_1,\dots,p_d$ be integral polynomials vanishing at $0$. It was asked by Bergelson and Hindman whenever $A$ is large, whether the set $\{(m,n)\in \mathbb{N}^2:m+p_1(n),m+p_2(n),\dots,m+p_d(n)\in A\}$ be large in the same sense. In this paper, we give negative answers to this question when ``large'' being the notions of ``central*'', ``IP*'', ``IP$_n$*'', ``IP$_{<\omega}$*'' and ``$\Delta$*''.

Erd\H{o}s and Simonovits asked the following question: For an integer $c\geq 2$ and a family of graphs $\mathcal{F}$, what is the infimum of $\alpha$ such that any $\mathcal{F}$-free $n$-vertex graph with minimum degree at least $\alpha n$ has chromatic number at most $c$? Denote the infimum as $\delta_{\chi}(\mathcal{F}, c)$. A fundamental result of Erd\H{o}s, Stone and Simonovits \cite{ES46, ES66} implies that for any $c\le r-1$, $\delta_{\chi}(\mathcal{F}, c)=1-{1 \over r}$, where $r+1=\chi(\mathcal{F})=\min\{\chi (F): F\in \mathcal{F}\}$. So the remaining challenge is to determine $\delta_{\chi}(\mathcal{F}, c)$ for $c\ge \chi (\mathcal{F})-1$. Most previous known results are under the condition $c= \chi (\mathcal{F})-1$. When $c\ge \chi (\mathcal{F})$, the only known exact results are $\delta_{\chi}(K_3, 3)$ by H\"aggkvist and Jin, and $\delta_{\chi}(K_3, c)$ for every $c\ge4$ by Brandt and Thomass\'{e}, $\delta_{\chi}(K_r, r)$ and $\delta_{\chi}(K_r, r+1)$ by Nikiforov. In this paper, we focus on odd cycles. Combining results of Thomassen and Ma, we have $\Omega\bigg((c+1)^{-8(k+1)}\bigg)=\delta_{\chi}(C_{2k+1}, c)=O(\frac{k}{c})$ for $c\ge 3$. In this paper, we determine $\delta_{\chi}(C_{2k+1}, c)$ for all $c\ge 2$ and $k\ge 3c+4$ ($k\ge 5$ if $c=2$). We also obtain the following corollary. If $G$ is a non-$c$-partite graph on $n$ vertices with $c\ge 3$ and $\delta(G)> {n \over 2c+2}$, then $C_{2k+1} \subset G$ for all $k\in [3c+4, {n \over 108(c+1)^c}]$., Comment: arXiv admin note: text overlap with arXiv:2408.15487

Given an $r$-colouring of the edges of a graph $G$, we say that it can be partitioned into $p$ monochromatic cycles when there exists a set of $p$ vertex-disjoint monochromatic cycles covering all the vertices of $G$. In the literature of this problem, an edge and a single vertex both count as a cycle. We show that for every $2$-colouring of the edges of a complete balanced bipartite graph, $K_{n,n}$, it can be partitioned into at most 4 monochromatic cycles. This type of question was first studied in 1970 for complete graphs and in 1983, by Gy\'arf\'as and Lehel, for $K_{n,n}$. In 2014, Pokrovskiy, has showed that any $2$-colouring of the edges of $K_{n,n}$ can be partitioned into at most $3$ paths. It turns out that finding monochromatic cycles instead of paths is a natural question that has also being asked for other graphs. In 2015, Schaudt and Stein have showed that at most 14 cycles are necessary., Comment: 17 pages, 21 figures

Let $\mathcal{F}$ be a family of $r$-uniform hypergraphs. Denote by $\ex^{\mathrm{conn}}_r(n,\mathcal{F})$ the maximum number of hyperedges in an $n$-vertex connected $r$-uniform hypergraph which contains no member of $\mathcal{F}$ as a subhypergraph. Denote by $\mathcal{B}C_k$ the Berge cycle of length $k$, and by $\mathcal{B}P_k$ the Berge path of length $k$. F\"{u}redi, Kostochka and Luo, and independently Gy\H{o}ri, Salia and Zamora determined $\ex^{\mathrm{conn}}_r(n,\mathcal{B}P_k)$ provided $k$ is large enough compared to $r$ and $n$ is sufficiently large. For the case $k\le r$, Kostochka and Luo obtained an upper bound for $\ex^{\mathrm{conn}}_r(n,\mathcal{B}P_k)$. In this paper, we continue investigating the case $k\le r$. We precisely determine $\ex^{\mathrm{conn}}_r(n,\mathcal{B}P_k)$ when $n$ is sufficiently large and $n$ is not a multiple of~$r$. For the case $k=r+1$, we determine $\ex^{\mathrm{conn}}_r(n,\mathcal{B}P_k)$ asymptotically.

Let $\eta_{1}\ge \eta_{2}\ge\cdots\ge \eta_{n}$ be the eigenavalues of $\mathcal{ABS}$ matrix. In this paper, we characterize connected graphs with $\mathcal{ABS}$ eigenvalue $\eta_{n}>-1$. As a result, we determine all connected graphs with exactly two distinct $\mathcal{ABS}$ eigenvalues. We show that a connected bipartite graph has three distinct $\mathcal{ABS}$ eigenvalues if and only if it is a complete bipartite graph. Furthermore, we present some bounds for the $\mathcal{ABS}$ spectral radius (resp. $\mathcal{ABS}$ energy) and characterize extremal graphs. Also, we obtain a relation between $\mathcal{ABC}$ energy and $\mathcal{ABS}$ energy. Finally, the chemical importance of $\mathcal{ABS}$ energy is investigated and it shown that the $\mathcal{ABS}$ energy is useful in predicting certain properties of molecules.

For each $n \geq 2$, $l \geq 3$, let ${ES}_L (l,n)$ be the minimum $N$ such that every family of $N$-lines in the plane contains either $l$ concurrent lines or $n$ lines in convex position. In this papar, we give the upper and lower bounds for $ES_L (l,n)$.

We revisit the problem of algorithmically deciding whether a given infinite connected graph has an Eulerian path, namely, a path that uses every edge exactly once. It has been recently observed that this problem is $D_3^0$-complete for graphs that have a computable description, whereas it is $\Pi_2^0$-complete for graphs that have a highly computable description, and that this same bound holds for the class of automatic graphs. A closely related problem consists of determining the number of ends of a graph, namely, the maximum number of distinct infinite connected components the graph can be separated into after removing a finite set of edges. The complexity of this problem for highly computable graphs is known to be $\Pi_2^0$-complete as well. The connection between these two problems lies in that only graphs with one or two ends can have Eulerian paths. In this paper we are interested in understanding the complexity of the infinite Eulerian path problem in the setting where the input graphs are known to have the right number of ends. We find that in this setting the problem becomes strictly easier, and that its exact difficulty varies according to whether the graphs have one or two ends, and to whether the Eulerian path we are looking for is one-way or bi-infinite. For example, we find that deciding existence of a bi-infinite Eulerian path for one-ended graphs is only $\Pi_1^0$-complete if the graphs are highly computable, and that the same problem becomes decidable for automatic graphs. Our results are based on a detailed computability analysis of what we call the Separation Problem, which we believe to be of independent interest. For instance, as a side application, we observe that K\"onig's infinity lemma, well known to be non-effective in general, becomes effective if we restrict to graphs with finitely many ends., Comment: 33 pages, 27 figures

We consider the cokernel $G_n = \mathbf{Cok}(A_{k} \cdots A_2 A_1)$ of a product of independent $n \times n$ random integer matrices with iid entries from generic nondegenerate distributions, in the regime where both $n$ and $k$ are sent to $\infty$ simultaneously. In this regime we show that the cokernel statistics converge universally to the reflecting Poisson sea, an interacting particle system constructed in arXiv:2312.11702, at the level of $1$-point marginals. In particular, $\operatorname{corank}(A_{k} \cdots A_2 A_1 \pmod{p}) \sim \log_p k$, and its fluctuations are $O(1)$ and converge to a discrete random variable defined in arXiv:2310.12275. The main difference with previous works studying cokernels of random matrices is that $G_n$ does not converge to a random finite group; for instance, the $p$-rank of $G_n$ diverges. This means that the usual moment method for random groups does not apply. Instead, we proceed by proving a `rescaled moment method' theorem applicable to a general sequence of random groups of growing size. This result establishes that fluctuations of $p$-ranks and other statistics still converge to limit random variables, provided that certain rescaled moments $\mathbb{E}[\#\operatorname{Hom}(G_n,H)]/C(n,H)$ converge., Comment: 35 pages. First version, comments welcome!

In this chapter, we give an overview of Billey-Postnikov (BP) decompositions which have become an important tool for understanding the geometry and combinatorics of Schubert varieties. BP decompositions are factorizations of Coxeter group elements with many nice properties in relation to Bruhat partial order. They have played an important role in the classification and enumeration of smooth Schubert varieties. They have also been used in the study of inversion hyperplane arrangements and permutation pattern avoidance. We survey many of these applications.

For each pair of positive integers $(a,b)$ such that $a \geq 0$ and $b > 1$, the present paper provides a necessary and sufficient condition for the existence of Hamiltonian cycles visiting all the vertices of any $k$-dimensional grid $\{0,1\}^k \subset \mathbb{R}^k$ and whose associated Euclidean distance is equal to $\sqrt{a^2+b^2}$. Our solution extends previously stated results in fairy chess on the existence of closed Euclidean $(a,b)$-leapers tours for $2 \times 2 \times \cdots \times 2$ chessboards, where the (Euclidean) knight identifies the $(1,2)$-leaper., Comment: 6 pages

In this paper, we focus on constructing and refining geometric Markov partitions for pseudo-Anosov homeomorphisms that may contain spines. We introduce a systematic approach to constructing \emph{adapted Markov partitions} for these homeomorphisms. Our primary result is an algorithmic construction of \emph{adapted Markov partitions} for every generalized pseudo-Anosov map, starting from a single point. This algorithm is applied to the so-called \emph{first intersection points} of the homeomorphism, producing \emph{primitive Markov partitions} that behave well under iterations. We also prove that the set of \emph{primitive geometric types} of a given order is finite, providing a canonical tool for classifying pseudo-Anosov homeomorphisms. We then construct new geometric Markov partitions from existing ones, maintaining control over their combinatorial properties and preserving their geometric types. The first geometric Markov partition we construct has a binary incidence matrix, which allows for the introduction of the sub-shift of finite type associated with any Markov partition's incidence matrix -- this is known as the \emph{binary refinement}. We also describe a process that cuts any Markov partition along stable and unstable segments prescribed by a finite set of periodic codes, referred to as the $s$ and $U$-boundary refinements. Finally, we present an algorithmic construction of a Markov partition where all periodic boundary points are located at the corners of the rectangles in the partition, called the \emph{corner refinement}. Each of these Markov partitions and their intrinsic combinatorial properties plays a crucial role in our algorithmic classification of pseudo-Anosov homeomorphisms up to topological conjugacy.

We present an exact formula for the number of distinct crease patterns in a square shaped region of a given size that appear in the 2 dimensional paperfolding structure., Comment: 32 pages, 36 figures

We prove a KKM-type theorem for matroid colored families of set coverings of a polytope. This generalizes Gale's colorful KKM theorem as well as recent sparse-colorful variants by Sober\'on, and McGinnis and Zerbib.

In this paper, we introduce classical algorithms for random sampling of permutations, drawing inspiration from the Steinhaus-Johnson-Trotter algorithm. Our approach takes a comprehensive view of permutation sampling by expressing them as products of adjacent transpositions. Building on this, we develop a quantum analogue of these classical algorithms using a quantum circuit model for random sampling of permutations for $n$-qubit systems. As an application, we present a quantum algorithm for the two-sample randomization test to assess the difference of means in classical data, utilizing a quantum circuit model. Finally, we propose a nested corona product graph generative model for symmetric groups, which facilitates random sampling of permutations from specific sets of permutations through a quantum circuit model.

Answering a question of Erd\H{o}s and Ne\v{s}et\v{r}il, we show that the maximum number of inclusion-wise minimal vertex cuts in a graph on $n$ vertices is at most $1.8899^n$ for large enough $n$.

The permutations of horse racing, where ties are possible, are counted by the $\textit{Fubini numbers}$, also called the $\textit{horse numbers}$. The $\textit{r-horse numbers}$ are a counting of such horse race finishes where some subset of $r$ horses agree to finish the race in a specific strong ordering. The $r$-horse numbers for fixed $r$ are expressed as a sum of $r$ index shifted sequences of Fubini numbers weighted with the $\textit{signed Stirling numbers of the first kind}$. Then eventual modular periodicity of $\textit{r-Fubini numbers}$ is shown and their maximum period is determined to be the $\textit{Carmichael function}$ of the modulus. The maximum period is attained in the case of an odd modulus for Fubini numbers., Comment: 12 pages, 0 figures

Let $G\sim G(n,p)$ be a (hidden) Erd\H{o}s-R\'enyi random graph with $p=(1+ \varepsilon)/n$ for some fixed constant $ \varepsilon >0$. Ferber, Krivelevich, Sudakov, and Vieira showed that to reveal a path of length $\ell=\Omega\left(\frac{\log(1/ \varepsilon)}{ \varepsilon}\right)$ in $G$ with high probability, one must query the adjacency of $\Omega\left(\frac{\ell}{p \varepsilon\log(1/ \varepsilon)}\right)$ pairs of vertices in $G$, where each query may depend on the outcome of all previous queries. Their result is tight up to the factor of $\log(1/ \varepsilon)$ in both $\ell$ and the number of queries, and they conjectured that this factor could be removed. We confirm their conjecture. The main ingredient in our proof is a result about path-packings in random labelled trees of independent interest. Using this, we also give a partial answer to a related question of Ferber, Krivelevich, Sudakov, and Vieira. Namely, we show that when $\ell=o\left((t/\log t)^{1/3}\right)$, the maximum number of vertices covered by edge-disjoint paths of length at least $\ell$ in a random labelled tree of size $t$ is $\Theta(t/\ell)$ with high probability., Comment: 18 pages

We conjecture an algorithm to construct spin multipartitions, prove that the reduced signature is well-defined and give evidence to support our choice of the combinatorics of the spin multipartitions.

We use Gr\"obner bases to compute the Sinkhorn limit of a positive $3 \times 3$ matrix $A$, showing that the entries are algebraic numbers with degree at most 6. The polynomial equation satisfied by each entry is large, but we show that it has a natural representation in terms of linear combinations of products of minors of $A$. We then use this representation to interpolate a polynomial equation satisfied by an entry of the Sinkhorn limit of a positive $4 \times 4$ matrix. Finally, we use the PSLQ algorithm and 1.5 years of CPU time to formulate a conjecture, up to certain signs that we have not been able to identify, for a polynomial equation satisfied by an entry of the Sinkhorn limit of a positive $m \times n$ matrix. In particular, we conjecture that the entries are algebraic numbers with degree at most $\binom{m + n - 2}{m - 1}$. This degree has a combinatorial interpretation as the number of minors of an $(m - 1) \times (n - 1)$ matrix, and the coefficients reflect new combinatorial structure on sets of minor specifications., Comment: 25 pages; Mathematica package and documentation available as ancillary files

Piga, Sanhueza-Matamala, and Schacht recently established that the codegree Tur\'an density of 3-uniform tight cycles $C_\ell$ is $1/3$ for $\ell\in \{10, 13, 16\}$ and for all $\ell\geq 19$. In this note, we extend their proof to determine the codegree Tur\'an density of the 3-uniform tight cycle $C_{11}$, thereby completing the picture for tight cycles of length at least 10., Comment: 3 pages

We introduce in this paper a definition of (non necessarily positive) opetopes where faces are organised in a poset. Then we show that this description is equivalent to that given in terms of constellations by Kock, Joyal, Batanin and Mascari.

We identify all minimal chordal graphs that are not circular-arc graphs, thereby resolving one of ``the main open problems'' concerning the structures of circular-arc graphs as posed by Dur{\'{a}}n, Grippo, and Safe in 2011. The problem had been attempted even earlier, and previous efforts have yielded partial results, particularly for claw-free graphs and graphs with an independence number of at most four. The answers turn out to have very simple structures: all the nontrivial ones belong to a single family. Our findings are based on a structural study of McConnell's flipping, which transforms circular-arc graphs into interval graphs with certain representation patterns.

We give a complete characterisation of the cubic graphs with no eigenvalues in the open interval $(-1,1)$. There are two infinite families, one due to Guo and Mohar [Linear Algebra Appl. 449:68--75] the other due to Koll\'ar and Sarnak [Communications of the AMS. 1,1--38], and $14$ "sporadic" graphs on at most $32$ vertices. This allows us to show that $(-1,1)$ is a maximal spectral gap set for cubic graphs. Our techniques including examination of various substructure and an application of the classification of generalized line graphs.