Showing 20 papers (Total: 81378 papers, 47165 authors in database)
Maximum Likelihood Estimation on the Grassmannian of Lines
We study the positive Grassmannian through the lens of algebraic statistics. A closed formula is presented for the maximum likelihood degree of the Grassmannian of lines. We conjecture that the probability simplex contains a unique local maximum, and we present computational evidence for this.
Rational exponents near 3/2
Given a graph $H$, the extremal number $ex(n,H)$ is the maximum number of edges in an $n$-vertex graph not containing $H$ as a subgraph. The well-known rational exponents conjecture of Erdős and Simonovits states that for any rational $γ\in (1,2)$ there exists a single bipartite graph $H$ satisfying $ex(n,H)=Θ(n^γ)$. Among other results, the conjecture has been verified for all $γ=1+a/b$, where $b>a^2$, by Jiang and Qiu and for all $γ=2-a/b$, where $b>\max\{a, (a-1)^2\}$, by Conlon and Janzer.
In this paper, we establish the rational exponents conjecture for many $γ$ near the center of the interval, namely, for all $γ=1+\frac{rt-1}{2rt+2r}$, where $r,t$ are natural numbers satisfying $t\geq 2$, $r\geq 2t+3$.
Negative-index $u$-deformed homogeneous functions and Ramanujan partial theta functions
We introduce and study a class of \(u\)-deformed homogeneous functions of complex order \(\rr_α(x,y;u\,|\,q)\), obtained by extending \(u\)-deformed homogeneous polynomials beyond the nonnegative integer regime. We establish their basic analytic and algebraic properties, including convergence criteria, recurrence relations, \(q\)-derivative formulas, and an operator-theoretic realization through a deformed \(q\)-exponential operator. A central feature of the theory appears in the negative-index sector: for every nonnegative integer \(n\), the functions \(\rr_{\minus n\minus1}(x,y;u\,|\,q)\) admit finite triangular decompositions in terms of shifted Ramanujan partial theta functions. We also prove the inverse triangular transformation, showing that the corresponding partial theta functions can be recovered from the negative-index \(u\)-deformed homogeneous functions. We also derive pantograph-type \(q\)-difference equations for these functions. Finally, we derive specialized forms of the negative-index theory in Cauchy and Stieltjes--Wigert-type regimes, including a boundary geometric case and genuine partial-theta regimes.
Remainders of generalised Taylor expansions and a priori bounds for rough differential equations
In this article we establish global a priori estimates on the solution of a generic rough differential equation driven by an $α$-Hölder path covering the full range of regularity $α\in(0,1)$, under the hypothesis of Lipschitz continuity (but neither boundedness nor coercivity) of specific combinations of the coefficients and their derivatives, called elementary differentials. Our main tool is a closed formula for the remainder of a generalised Taylor expansion in terms of products of gradients of the elementary differentials, which allows to take advantage of cancellations in an optimal way.
Some New Sufficient Conditions for a Graph to be $l$-Deficient
For a (molecular) graph $G$ and any real number $α\ne 0$ , the zero-order general Randić index , denote by $^0R_α$, is defined by the following equation: \begin{align*}
{^0R_α} (G) =\sum_{v\in G}d_G (v) ^α (α\in \mathbb{R}-\left\{0\right\}) . \end{align*} The deficiency of $G$, denoted by $def(G)$, is equal to the cardinality of vertices which are not covered by a maximum matching in $G$. A graph G is called $l$-deficient if $def(G)\le l$.
In this paper, we use this index to give sufficient conditions for a connected graph, bipartite graph and a balanced bipartite graph $G$ to satisfy the $l$-deficient property, and show that none of these conditions can be dropped. We will also use these results to enhance and generalise the results that already obtained by M. An and K. C. Das in 2018 and G. Su et al. in 2022.
Proof of Barry's Four Hankel Determinant Conjectures
Barry introduced a central transform of integer sequences and proposed four conjectures concerning the Hankel transforms of central transform of four rational families. We prove these four conjectures. The proofs are unified within a common algebraic framework: we interpret the Hankel determinants as Gram determinants and use a basis of shifted monic Chebyshev polynomials to reveal the finite-band structure of the associated Gram matrices.
Acyclic Poset Multiplihedra and their Quotients
Two families of polytopes underlie the combinatorics of associative operations. Associahedra and multiplihedra respectively capture the information in the operation itself and in the morphisms that respect that operation. The first applications of these polytopes, from Stasheff, were for modeling homotopy associative spaces and their homotopy homomorphisms. Later, lax and weak higher categories used both as the shapes of commuting diagrams. More recently, the associahedra have been generalized to versions based on graphs, and then to posets: the acyclonestohedra. Here we use the graph multiplihedra to define and realize new multiplihedra for the acyclonestohedra. Quotients of these are also studied, concluding with the interval polytopes of the order polytopes of posets.
Strong Colouring of the Qualitative Independence Hypergraph $3\text{-}QI(11,2)$
We determine the strong independence number of the qualitative independence hypergraph, $3\text{-}QI(11, 2)$, using a technique that involves considering its vertices as subsets of $\{1,2, \ldots, 11\}$ and assessing them as intersecting set systems. This gives the maximum size of colour classes in any strong colouring and thus, a lower bound on the strong chromatic number of $3\text{-}QI(11,2)$. We leverage this bound along with an upper bound of the strong chromatic number of $3\text{-}QI(10,2)$, to consequently, establish that the covering array number of $3\text{-}QI(11, 2)$, $CAN(3\text{-}QI(11,2),2) = 11$ and give a sufficient condition for a hypergraph $H$ to have $CAN(H, 2)=11$.
On the Cores of Uniform and Almost-Uniform $3$-Qualitative Independence Hypergraphs
Qualitative independence hypergraphs provide a useful combinatorial framework for analyzing the existence and structure of covering arrays. In this work, we study the \emph{uniform} and \emph{almost-uniform $3$-qualitative independence hypergraphs} $3\text{-}UQI(n,2)$ and $3\text{-}AUQI(n,2)$, and establish a structural correspondence between these families and merged Johnson graphs, with emphasis on their cores. Focusing on the smallest unresolved instance, $3\text{-}QI(8,2)$, we classify all of its strongly independent sets and determine its strong independence number. Using this, along with its strong chromatic number and the size of the largest $3$-clique, we show that $3\text{-}QI(8,2)$ is a core. For $n>8$, we further identify sufficient conditions under which $3\text{-}UQI(n,2)$ and $3\text{-}AUQI(n,2)$ are cores.
Regularity and depth of binomial ideals arising from combinatorics
Regularity and depth of binomial ideals generated by adjacent $2$-minors together with those arising from finite lattices are studied.
A duality of misère games and play with a pass
In combinatorial game theory, the choice of play convention is a fundamental aspect of the theory. The two most widely studied conventions are normal play, in which the player who makes the last move wins, and misère play, in which the player who makes the last move loses. Another well-known variant is play with a single shared pass. In such games, at most one pass may be used in total during the game: once the pass has been used, neither player may pass thereafter. Moreover, once a terminal position has been reached, passing is no longer allowed. Recall that, for misère play, one sometimes defines SG values (or Sprague-Grundy values) in the same recursive manner as in normal play but assigns the terminal position the value 1. Also, SG values can be considered for normal-play games with a pass. In this work, we propose transformations that allow both misère play and play with a pass to be treated as normal-play games. As a consequence, we show that there is a certain duality between a generalization of misère play and a generalization of play with a pass.
A Local Classification of Four-Element Multiple Sumsets
For a finite set $A\subset\mathbb{Z}$, write $hA$ for its $h$-fold sumset, and let \[ R(h,k)=\{|hA|:A\subset\mathbb{Z},\ |A|=k\}. \] We determine the part of $R(h,4)$ lying between $4h+2$ and $6h-4$: for $h=4$ the only value is $5h-1$, while for $h\geq 5$ the only values are $5h-1$ and $5h+1$. This proves Rajagopal's conjectured gap $5h\notin R(h,4)$ for every $h\geq 4$. For $h\geq 6$, it also yields the new missing interval $[5h+2,6h-4]$, which lies outside Rajagopal's general excluded set. Lev's lower bound for the successive growth of multiple sumsets reduces the problem to normalized sets of affine diameter five, of which there are only six. Reflection and four elementary exact sumset computations finish the classification.
On the toric lifting properties for simplicial $3$-spheres
We study the lifting problem for mod $2$ characteristic maps over simplicial $3$-spheres. Using a bad-block partition of the universal complex $X(\mathbb{Z}_2^4)$, we prove an avoidance criterion for liftability. We show that every simplicial $3$-sphere with at most $20$ vertices has the toric lifting property. We also obtain image-size and join-type results, and prove sharpness of the image-size bound in the universal-complex sense.
On the possible values of the Rearrangement Number
The rearrangement number $\mathfrak{rr}$ is the least cardinality of a collection of permutations of $ω$ such that every conditionally convergent real series is disrupted by some permutation in the collection. Blass, Brendle, Brian, Hamkins, Hardy, and Larson proved that $\max\{\operatorname{cov}(\mathcal N),\mathfrak b\}\leq\mathfrak{rr}\leq\operatorname{non}(\mathcal M)$ and asked whether $\mathfrak{rr}<\mathrm{non}(\mathcal M)$ is consistent.
We prove that $\mathfrak{rr}<\operatorname{non}(\mathcal M)$ is consistent with ZFC. We also prove, in a different forcing extension, that $\max\{\operatorname{cov}(\mathcal N),\mathfrak b\}<\mathfrak{rr}$. We further derive consequences for the subseries number $\mathfrak{s}_{\mathrm{sub}}$ and the splitting number $\mathfrak s$.
Polynomiality of Stretched Schubert Structure Constants and Key Coefficients
We prove that monomial coefficients in affine families of key and Schubert polynomials are eventually polynomial. The proof combines Demazure operators with vector partition functions and, in the Schubert case, P.~Magyar's orthodontic formula. These coefficient results extend to finite products. Using M.~Watanabe's Schubert duality, we deduce that stretched Schubert structure constants are eventually polynomial, proving a conjecture of I.~Pak and Z.~Slonim. For key polynomials, this resolves the polynomiality part of a conjecture of P.~Alexandersson and E.~Alhajjar.
A classification of locally-quasiprimitive circulant digraphs
Circulant digraphs are Cayley digraphs over finite cyclic groups and constitute a fundamental class of objects in algebraic graph theory. Extending the classification of locally-primitive circulant graphs \cite{JZ-2026}, we completely determine all locally-quasiprimitive circulant digraphs. Our main theorem shows that a connected locally-quasiprimitive circulant digraph is isomorphic to one of the following: the complete graph \(\K_n\), the complete bipartite graph \(\K_{n/2,n/2}\), the graph \(\K_{n/2,n/2}-\frac{n}{2}\K_2\) (with \(n/2\) odd), the cycle \(\C_n\), the directed cycle \(\vec \C_n\), a normal circulant digraph of prime valency, the lexicographic product \(\vec \C_m[\overline{\K_b}]\), or the tensor product \(\vec \C_m\times \K_b\) with \(\gcd(m,b)=1\).
On the Computational Complexity of Local and Global Covering Numbers
The global and local $\mathcal{G}$-covering number $c_{\mathrm{g}}^{\mathcal{G}}(H)$ and $c_{\mathrm{l}}^{\mathcal{G}}(H)$ encode how well the edges of a graph $H$ can be covered with graphs from a graph class $\mathcal{G}$: in the global setting, we minimize the number of graphs from $\mathcal{G}$ required, in the local setting how often a vertex is hit by the graphs of the cover. Within this work we consider for $\mathcal{G}$ the graph classes $\mathcal{B}$ of all bipartite and $\mathcal{B}_{\mathrm{c}}$ of all complete bipartite graphs. We give a tight lower bound on $c_{\mathrm{l}}^{\mathcal{B}}(H)$ in terms of the fractional chromatic number of $H$, thereby giving a local analogue of a result by Harary, Hsu and Miller. Answering a question by Fishburn and Hammer, we show that it is NP-hard to determine $c_{\mathrm{l}}^{\mathcal{B}_{\mathrm{c}}}(H)$. Further, we provide a finite and monotone graph class $\mathcal{G}$ such that $c_{\mathrm{g}}^{\mathcal{G}}(H)$ can be computed in constant time for every graph $H$ while determining $c_{\mathrm{l}}^{\mathcal{G}}(H)$ is NP-hard. This yields a natural example to a question raised by Knauer and Ueckerdt.
On Diophantine $m$-tuples related to primitive elements of finite fields
Inspired by recent works on Diophantine tuples over finite fields, in this paper we consider Diophantine tuples related to primitive elements of finite fields. Let $\mathbb{F}_q$ be the finite field with $q$ elements and $\mathbb{F}_q^*=\mathbb{F}_q\setminus\{0\}$ be the multiplicative cyclic group of all non-zero elements over $\mathbb{F}_q$. An element $g\in\mathbb{F}_q$ is called primitive if $g$ generates the group $\mathbb{F}_q^*$. A set $\{x_1,x_2,\cdots,x_m\}\subseteq\mathbb{F}_q^*$ of $m$ elements is said to be a $\mathcal{P}$-Diophantine $m$-tuple over $\mathbb{F}_q$ if $x_ix_j+1$ is primitive for any $1\le i\le j\le m$. Let $N_m$ denote the number of $\mathcal{P}$-Diophantine tuples over $\mathbb{F}_q$. Then we obtain the asymptotic formula
$$m!\cdot N_m=\left(\frac{\varphi(q-1)}{q-1}\right)^{m(m+1)/2}q^m+O_{m,r}\left(q^{m-\frac{1}{2}+r}\right),$$
where $\varphi(\cdot)$ is the Euler totient function and $r\in(0, 1/2)$ is an arbitrary real number. Moreover, we prove that there exists a $\mathcal{P}$-Diophantine $m$-tuple over $\mathbb{F}_q$ whenever $q\ge \exp(\exp(m(m+1)))$.
Stretched exponential asymptotics for bases of triangular bootstrap percolation
In this paper, we study a bootstrap percolation process on the finite triangular grid $\mathfrak{T}_n$ of side length $n$. We say that a subset $η$ of points in $\mathfrak{T}_n$ percolates if the final configuration, starting from $η$, is the whole grid $\mathfrak{T}_n$. A basis of size $n$ is then a subset of points of $\mathfrak{T}_n$ of minimum cardinality which percolates. In this paper, we first prove that the generating function counting bases satisfies an algebraic differential equation. Then, by analysing a modified version of this equation, we prove that the number $t_n$ of bases of size $n$ exhibits a stretched exponential asymptotic behaviour. More precisely, we show that $t_n \sim c n!e^{\sqrt{12n}}n^{5/12}$, for some constant $c>0$. These bases were recently shown by the second author to be in bijection with $3$-permutations avoiding the patterns $(12, 12)$ and $(231, 312)$, so this represents to our knowledge the first proven example of an asymptotic stretched exponential appearing in the study of pattern avoiding permutations.
Cographs and Minimum Diamond-Generating Edge Sets in Boolean Lattices
We study a local closure operation on the cover edges of a Boolean lattice: whenever the two lower edges or the two upper edges of a square face are present, all four edges of that square are added. We prove that every set of cover edges generating the full cover graph of $\mathcal{B}_n$ has cardinality at least $n$, and we classify all generators attaining this bound. For a graph $G$ on $[n]$, let $S_G=\{N_G(i)\to N_G(i)\cup\{i\}:i\in[n]\}$. Then $S_G$ diamond-generates the full cover graph if and only if $G$ is a cograph, and every minimum-cardinality generator arises uniquely in this way. Consequently, labeled minimum diamond-generating sets of $\mathcal{B}_n$ are in bijection with labeled cographs on $n$ vertices.