Showing 20 papers (Total: 81378 papers, 47165 authors in database)
An unconditional lower bound for the active-set method in convex quadratic maximization
We prove that the active-set method needs an exponential number of iterations in the worst-case to maximize a convex quadratic function subject to linear constraints, regardless of the pivot rule used. This substantially improves over the best previously known lower bound [IPCO 2025], which needs objective functions of polynomial degrees $ω(\log d)$ in dimension $d$, to a bound using a convex polynomial of degree 2. In particular, our result firmly resolves the open question [IPCO 2025] of whether a constant degree suffices, and it represents significant progress towards linear objectives, where the active-set method coincides with the simplex method and a lower bound for all pivot rules would constitute a major breakthrough.
Our result is based on a novel extended formulation, recursively constructed using deformed products. Its key feature is that it projects onto a polygonal approximation of a parabola while preserving all of its exponentially many vertices. We define a quadratic objective that forces the active-set method to follow the parabolic boundary of this projection, without allowing any shortcuts along chords corresponding to edges of its full-dimensional preimage.
To see the forest for the trees: On the infinite divisibility of unlabeled forests
Inspired by Stufler's recent probabilistic proof of Otter's asymptotic number of unlabeled trees, we revisit work of Palmer and Schwenk, and study unlabeled forests from a probabilistic point of view. We show that the number of trees in a random forest converges, with all of its moments, to a shifted compound Poisson. We also find the asymptotic proportion of forests that are trees. The key fact is that the number of trees $t_n$ and forests $f_n$ are related by a Lévy process. As such, the results by Palmer and Schwenk follow by an earlier and far-reaching limit theory by Hawkes and Jenkins. We also show how this limit theory implies results by Schwenk and by Meir and Moon, related to degrees in large random trees. Our arguments apply, more generally, to the enumeration of sub-exponentially weighted integer partitions, or, in fact, any setting where the underlying Lévy process follows the one big jump principle.
Linear codes arising from the point-hyperplane geometry -- Part II: the twisted embedding
Let $\barΓ$ be the point-hyperplane geometry of a projective space $\mathrm{PG(V)},$ where $V$ is a $(n+1)$-dimensional vector space over a finite field $\mathbb{F}_q$ of order $q.$ Suppose that $σ$ is an automorphism of $\mathbb{F}_q$ and consider the projective embedding $\varepsilon_σ$ of $\barΓ$ into the projective space $\mathrm{PG}(V\otimes V^*)$ mapping the point $([x],[ξ])\in \barΓ$ to the projective point represented by the pure tensor $x^σ\otimes ξ$, with $ξ(x)=0.$ In [I. Cardinali, L. Giuzzi, Linear codes arising from the point-hyperplane geometry -- part I: the Segre embedding (Jun. 2025). arXiv:2506.21309, doi:10.48550/ARXIV.2506.21309] we focused on the case $σ=1$ and we studied the projective code arising from the projective system $Λ_1=\varepsilon_{1}(\barΓ).$ Here we focus on the case $σ\not=1$ and we investigate the linear code ${\mathcal C}(Λ_σ)$ arising from the projective system $Λ_σ=\varepsilon_σ(\barΓ).$ In particular, after having verified that $\mathcal{C}( Λ_σ)$ is a minimal code, we determine its parameters, its minimum distance as well as its automorphism group. We also give a (geometrical) characterization of its minimum and second lowest weight codewords and determine its maximum weight when $q$ and $n$ are both odd.
Almost all cographs have a cospectral mate
Complement-reducible graphs (or cographs) are the graphs formed from the single-vertex graph by the operations of complement and disjoint union. By combining the Johnson-Newman theorem on generalized cospectrality with the standard tools in the asymptotic enumeration of trees, we show that almost all cographs have a cospectral mate. This result can be viewed as an analogue to a well-known result by Schwenk, who proved that almost all trees have a cospectral mate.
Algorithmic methods of finite discrete structures. Topological graph drawing (part IV)
The chapter presents mathematical models intended for creating a topological drawing of a non-separable non-planar graph based on the methods of G. Ringel's vertex rotation theory. The induced system of cycles generates a topological drawing of a certain thickness. A method for determining the location of imaginary vertices by finding the intersection of connections on a plane is presented. A topological drawing of a maximum planar subgraph is used as a basis.
Elliptic Curves, Riordan arrays and Lattice Paths
In this note, we show that to each elliptic curve of the form $$y^2-axy-y=x^3-bx^2-cx,$$ we can associate a family of lattice paths whose step set is determined by the parameters of the elliptic curve. The enumeration of these lattice paths is by means of an associated Riordan array. The curves and the paths have associated Somos $4$ sequences which are essentially the same. For the curves the link to Somos $4$ sequences is a classical result, via the elliptic divisibility sequence. For the paths the link is via a Hankel transform.
Overpartitions with parts separated by parity
Published
• View Publication
• BIB
In this paper, we generalize Andrews' partitions separated by parity to overpartitions in two ways. We investigate the generating functions for 16 overpartition families whose parts are separated by parity, and we prove various $q$-series identities for these functions. These identities include relations to modular forms, $q$-hypergeometric series, and mock modular forms.
Random graphs, expanding families and the construction of noncompact hyperbolic surfaces with uniform spectral gaps
In this paper, we introduce and analyze a random graph model $\mathcal{F}_{χ,n}$, which is a configuration model consisting of interior and boundary vertices. We investigate the asymptotic behavior of eigenvalues for graphs in $\mathcal{F}_{χ,n}$ under various growth regimes of $χ$ and $n$. When $n = o\left(χ^{\frac{2}{3}}\right)$, we prove that almost every graph in the model is connected and forms an expander family. We also establish upper bounds for the first Steklov eigenvalue, identifying scenarios in which expanders cannot be constructed. Furthermore, we explicitly construct an expanding family in the critical regime $n \asymp g$, and apply it to build a sequence of complete, noncompact hyperbolic surfaces with uniformly positive spectral gaps.
Supersaturation via edge-gluing
In 1984, Erdős and Simonovits conjectured the following: given a bipartite graph $H$, there exist constants $β, C > 0$ such that any graph $G$ on $n$ vertices and $pn^2\geq C \mathrm{ex}(n, H)$ edges contains at least $βn^{\mathrm{v}(H)} p^{\mathrm{e}(H)}$ copies of $H$. We show that edge-gluing preserves the satisfiability of this conjecture under some mild symmetry conditions. Namely, if two graphs $H_1$ and $H_2$ satisfy this conjecture, and if furthermore, gluing them along a fixed edge produces a unique graph then the resulting graph satisfies the conjecture as well.
In the same paper, Erdős and Simonovits conjectured a weaker statement: for every $H$, there is some $α, β, C > 0$ such that any graph $G$ on $n$ vertices and $pn^2\geq C n^{1+ α}$ edges contains at least $βn^{\mathrm{v}(H)} p^{\mathrm{e}(H)}$ copies of $H$. We show that if $H$ satisfies this conjecture then by gluing several copies of labeled $H$ along the same copy of a subforest of $H$ produces a graph that also satisfies the conjecture.
On Cloitre's hiccup sequences
In 2003, Benoit Cloitre entered a family of sequences in the OEIS that we call hiccup sequences. We collect the various claims, observations, and proofs of properties of these sequences that have been entered in the OEIS over the years, and present a unified approach, inspired by a remarkable theorem of Bosma, Dekking, and Steiner.
Planar-Toroidal Decomposition of $K_{12}$
Published in Discrete Mathematics & Theoretical Computer Science, 28 2 (2026) #3
• View Publication
• BIB
In 1978, Anderson and White asked whether there is a decomposition of $K_{12}$ into two graphs, one planar and one toroidal. Using theoretical arguments and a computer search of all maximal planar graphs of order 12, we show that no such decomposition exists. We further show that if $G$ is planar of order 12 and $H\subseteq\overline{G}$ is toroidal, then $H$ has at least two fewer edges than $\overline{G}$. A computer search found all 123 unique pairs $\left(G,H\right)$ that make this an equality.
A Nakayama result for the quantum K theory of homogeneous spaces
Published in Épijournal de Géométrie Algébrique, Volume 9 (December 12, 2025) epiga:17016
• View Publication
• BIB
We prove that the ideal of relations in the (equivariant) quantum K ring of a homogeneous space is generated by quantizations of each of the generators of the ideal in the classical (equivariant) K ring. This extends to quantum K theory a result of Siebert and Tian in quantum cohomology. We illustrate this technique in the case of the quantum K ring of partial flag manifolds, using a set of quantum K Whitney relations conjectured by the authors, and recently proved by Huq-Kuruvilla.
Frostman random variables, entropy inequalities, and applications
We introduce Frostman conditions for bivariate random variables and study discretized entropy sum-product phenomena in both independent and dependent settings. Fix $0 < s < 1$, and let $(X,Y)$ be a bivariate real random variable with bounded support, whose distribution satisfies a Frostman condition of dimension $s$. Let $φ(x,y)$ be a polynomial obtained from a diagonal polynomial $ρ_1(x)+ρ_2(y)\in \mathbb{R}[x, y]$ of degree $d\ge 2$ by applying an invertible rational linear change of variables in $(x,y)$. We show that there exists $ε= ε(φ,s)>0$ such that $$ \max\{H_n(X+Y), H_n(φ(X,Y))\} \geq n(s+ε) $$ for all sufficiently large $n$, where the precise assumptions on $(X,Y)$ depend on the Frostman level. The proof introduces a novel multi-step entropy framework, combining the submodularity formula, the discretized entropy Balog-Szemerédi-Gowers theorem, and state-of-the-art results on the Falconer distance problem, to reduce general forms to a diagonal core case.
As an application, we obtain discretized sum-product type estimates. In particular, for a $δ$-separated set $A\subseteq [0, 1]$ of cardinality $δ^{-s}$, satisfying certain non-concentration conditions, and a dense subset $G\subseteq A\times A$, there exists $ε=ε(s, φ)>0$ such that $$ E_δ(A+_GA) + E_δ(φ_G(A, A)) \ggδ^{-ε}(\#A) $$ for all $δ$ small enough. Here $E_δ(A)$ denotes the $δ$-covering number of $A$, $A+_GA:=\{x+y\colon (x, y)\in G\}$, and $φ_G(A,A):=\{φ(x, y)\colon (x, y)\in G\}$.
Subgroup Perfect Codes of $\mathcal{A}_t$-Groups and Their Applications
A subset $C$ of the vertex set of a graph $Γ$ is called a perfect code in $Γ$ if every vertex of $Γ$ is at distance no more than 1 to exactly one vertex of $C$. A subgroup $H$ of a group $G$ is called a subgroup perfect code of $G$ if $H$ is a perfect code in some Cayley graph of $G$. Recently, Zhang reveals that the study of subgroup perfect codes of finite groups naturally reduces to the case of $p$-groups, especially $2$-groups. Based on the combined works of Berkovich, Janko and Zhang, every $p$-group is an $\mathcal{A}_t$-group. In this work, we establish a complete classification of subgroup perfect codes of $\mathcal{A}_t$-groups for $t \in\{0, 1\}$. Moreover, subgroup perfect codes of finite groups with abelian Sylow $2$-subgroups are also characterized.
Twists, Higher Dimer Covers, and Web Duality for Grassmannian Cluster Algebras
We study a twisted version of Fraser, Lam, and Le's higher boundary measurement map, using face weights instead of edge weights, thereby providing Laurent polynomial expansions, in Plücker coordinates, for twisted web immanants for Grassmannians. In some small cases, Fraser, Lam, and Le observe a phenomenon they call "web duality'', where web immanants coincide with web invariants, and they conjecture that this duality corresponds to transposing the standard Young tableaux that index basis webs. We show that this duality continues to hold for a large set of $\text{SL}_3$ and $\text{SL}_4$ webs. Combining this with our twisted higher boundary measurement map, we recover and extend formulas of Elkin-Musiker-Wright for twists of certain cluster variables. We also provide evidence supporting conjectures of Fomin-Pylyavskyy as well as one by Cheung-Dechant-He-Heyes-Hirst-Li concerning classification of cluster variables of low Plücker degree in $\mathbb{C}[\text{Gr}(3,n)]$.
The Labeled Coupon Collector Problem
We generalize the well-known Coupon Collector Problem (CCP) in combinatorics. Our problem is to find the minimum and expected number of draws, with replacement, required to recover $n$ distinctly labeled coupons, with each draw consisting of a random subset of $k$ different coupons and a random ordering of their associated labels. We specify two variations of the problem, Type-I in which the set of labels is known at the start, and Type-II in which the set of labels is unknown at the start. We show that our problem can be viewed as an extension of the separating system problem introduced by Rényi and Katona, provide a full characterization of the minimum, and provide a numerical approach to finding the expectation using a Markov chain model, with special attention given to the case where two coupons are drawn at a time.
Signless Laplacian spectral analysis of a class of graph joins
A graph is said to be determined by its signless Laplacian spectrum (abbreviated as DQS) if no other non-isomorphic graph shares the same signless Laplacian spectrum. In this paper, we establish the following results:
(1). Every graph of the form $K_1 \vee (C_s \cup qK_2)$, where $q \ge 0$, $s \ge 3$, and the number of vertices is at least $16$, is DQS;
(2). Every graph of the form $K_1 \vee (C_{s_1} \cup C_{s_2} \cup \cdots \cup C_{s_t} \cup qK_2)$, where $t \ge 2$, $q \ge 0$, $s_i \ge 3$, and the number of vertices is at least $52$, is DQS.
Here, $K_n$ and $C_n$ denote the complete graph and the cycle of order $n$, respectively, while $\cup$ and $\vee$ represent the disjoint union and the join of graphs. Moreover, the signless Laplacian spectrum of the graphs under consideration is computed explicitly.
Reflexive polytopes and the Picard ranks of Gorenstein toric Fano varieties
We prove that the sum of the Picard ranks of a polar pair of Gorenstein toric Fano varieties of dimension $d\geq 3$ is at most the minimum of the number of facets and vertices of the corresponding pair of reflexive polytopes minus $(d-1)$. This is a generalization of Eikelberg's theory of affine dependences describing the Picard groups of toric varieties. The upper bound is achieved if and only if the polar pair is a simple-simplicial pair.
On Hamiltonian bypasses in digraphs and bipartite digraphs
A Hamiltonian path in a digraph $D$ in which the initial vertex dominates the terminal vertex is called a Hamiltonian bypass. Let $D$ be a 2-strong digraph of order $p\geq 3$ and let $z$ be some vertex of $D$. Suppose that every vertex of $D$ other than $z$ has degree at least $p$. We introduce and study a conjecture which claims that there exists a smallest integer $k$ such that if $d(z)\geq k$, then $D$ contains a Hamiltonian bypass. In this paper, we prove: (i) If $D$ is Hamiltonian or $z$ has a degree greater than $(p-1)/3$,
then $D$ contains a Hamiltonian bypass. (ii) If a strong balanced bipartite digraph $B$ of order $2a\geq 6$ satisfies the condition that $d^+(u)+d^-(v)\geq a+1$ for all vertices $u$ and $v$ from different partite sets such that $B$ does not contain the arc $uv$, then $B$ contains a Hamiltonian bypass. Furthermore, the lower bound $a+1$ is sharp. The first result improves a result of Benhocine (J. of Graph Theory, 8, 1984) and a result of the author (Math. Problems of Computer Science,
54, 2020)
We also suggest some conjectures and problems.
Paired many-to-many 2-disjoint path cover of Johnson graphs
Given two 2 disjoint vertex-sets $S=\{u,x\}$ and $T=\{v,y\}$, a paired many-to-many 2-disjoint path cover joining S and T, is a set of two vertex-disjoint paths with endpoints $u,v$ and $x,y$, respectively, that cover every vertex of the graph. If the graph has a many-to-many 2-disjoint path cover for any two disjoint vertex-sets $S$ and $T$, then it is called paired 2-coverable. It is known that if a graph is paired 2-coverable, then it must be Hamilton-connected, but the reverse is not true. It has been proved that Johnson graphs $J(n,k)$, $0\le k\le n$, are Hamilton-connected by Brian Alspach in [Ars Math. Contemp. 6 (2013) 21--23]. In this paper, we prove that Johnson graphs are paired 2-coverable. Moreover, we obtain that another family of graphs $QJ(n,k)$ constructed from Johnson graphs by Alspach are also paired 2-coverable.